Repository navigation

Specify ontology regression cases that expect no property binding - #1203

Merged

WaylandYang merged 4 commits into

deeplethe:devfrom

virtue039:docs/ontology-negative-cases

Oct 16, 2026

Merged

Specify ontology regression cases that expect no property binding#1203
WaylandYang merged 4 commits into
deeplethe:devfrom
virtue039:docs/ontology-negative-cases

Commits on Oct 11, 2026
- Specify cases that expect no property binding before changing their contract
  virtue039
  committed
  9350df0
Commits on Oct 13, 2026
- Merge branch 'dev' into docs/ontology-negative-cases
  virtue039
  authored
  accdf79
Commits on Oct 15, 2026
- Expose negative case conflicts with human bindings in a concise contract
  virtue039
  committed
  f976bda
Commits on Oct 16, 2026
- Merge branch 'dev' into docs/ontology-negative-cases
  WaylandYang
  authored
  d41ba69