feat(spec)!: every engine-evaluated expression slot requires a non-blank `source` - #18638

Open

os-litant wants to merge 18 commits into

mainfrom

claude/issue-15811-evaluated-slot-narrowing

Commits on Sep 17, 2026

wip(spec): compose EvaluatedExpressionInputSchema into all 36 evaluated slots
claude
committed
e3e5cfc
wip(formula): printCelAst — the lossless recovery path for an ast-only envelope
claude
committed
f597deb
wip(spec): one sentence at the outer unions, and close the inert tracing arm
claude
committed
b2c0357
chore(spec): regenerate migration registry, api-surface, export-origins and reference docs
claude
committed
9f377f1
refactor(spec): keep the union refusal helper package-internal
claude
committed
6909192
chore(spec): api-surface and export-origins return to their base content
claude
committed
950da7d
fix(spec): correct the two false arm claims and pin the tracing slot's messages
claude
committed
72dd999
chore(spec): regenerate the migration registry and the tracing reference page
claude
committed
56a8946
Merge remote-tracking branch 'origin/main' into claude/issue-15811-evaluated-slot-narrowing
claude
committed
559cbfb
fix(spec): drop the internal issue id from the published tracing describe
claude
committed
6290243
Merge remote-tracking branch 'origin/main' into claude/issue-15811-evaluated-slot-narrowing
claude
committed
fe2812a
chore(spec): regenerate the reference docs on the merged tree
claude
committed
a2a328c
fix(spec): the four expression constructors return EvaluatedExpression
claude
committed
115de33
docs(changeset): record the constructor return-type narrowing
claude
committed
9f7013f

Commits on Sep 18, 2026