Repository navigation

v2 infer: checking-mode plan and its expected-red controls (no behaviour change) - #12935

Merged

briansrls merged 9 commits into

mainfrom

session/smart-newt-725-expected-type

Oct 2, 2026

Commits on Oct 1, 2026

WIP: a generic record construct is instantiated from its position's declared type

gunbc-ci-auto-heal
and
claude
committed
ca06765
Expected-type witness: current resolve entry point; the nested control asserts what the declared return decides

gunbc-ci-auto-heal
and
claude
committed
12e4ca8
Expected-type witness: the nested overcount names its trigger (the facts tree)

gunbc-ci-auto-heal
and
claude
committed
3ff4e71
Expected-type witness: the nested overcount's trigger is top-down expected-type propagation, not a facts revision

gunbc-ci-auto-heal
and
claude
committed
f1aeb1e
Withdraw the consumer-side mechanism; enrol its witness expected-red for checking mode and add the plan

gunbc-ci-auto-heal
and
claude
committed
63f5e7d
Expected-type witness: the refusal claim infers only the data member (floor measured 117906 eval steps over the whole module)

gunbc-ci-auto-heal
and
claude
committed
b1cb870

Commits on Oct 2, 2026

#12935: enroll two checking-mode controls now; the refusal claim lands with checking mode

gunbc-ci-auto-heal
and
claude
committed
94d0399
Merge remote-tracking branch 'origin/main' into work12935
gunbc-ci-auto-heal
committed
58c14b5
#12935: say two controls are enrolled, not three (review 74197)

gunbc-ci-auto-heal
and
claude
committed
187c8e4