spec: hold a predicate to what the engine can run; declare its fault semantics (ADR-0136) - #18985

Merged

os-zhuang merged 16 commits into

mainfrom

claude/issue-17778-field-rule-predicate-fault-semantics

Sep 20, 2026

Commits on Sep 18, 2026

feat(spec)!: hold a predicate to what the engine can run; declare its fault semantics
claude
committed
059b422
docs(adr): record ADR-0136 — predicate fault semantics are contract
claude
committed
6120437
chore(spec): changeset + regenerate the reference docs for the narrowed predicate
claude
committed
4f9d0cf
fix(spec): declare what the expression author helpers actually emit
claude
committed
d3c1071
Merge remote-tracking branch 'origin/main' into claude/issue-17778-field-rule-predicate-fault-semantics
claude
committed
98b6fcd
chore(spec): regenerate api-surface-declarations after merging origin/main
claude
committed
8f8edb0
test(dogfood): roster `PredicateInputSchema` as an expression-surface schema
claude
committed
e1978a0
revert(spec): drop the predicate narrowing — #18638 owns every evaluated slot
claude
committed
9f30a18
docs(adr): renumber to ADR-0137; cite the rulings the record was silent about
claude
committed
a1840d7
test(dogfood): drop the `PredicateInputSchema` D7 roster entry — re-derived
claude
committed
b8805e4
chore(changeset): re-describe what this PR actually contains
claude
committed
89dfabb
docs(adr): cite the settings `visible` pair by symbol, not by line number
claude
committed
1bbe8f5

Commits on Sep 19, 2026