fix(pm): check-widening-tells T2 asks which construct encloses the element before asserting a closed set - #19438

Closed

os-steve wants to merge 16 commits into

mainfrom

claude/issue-19384-t2-closed-set-opener

Commits on Sep 20, 2026

fix(pm): check-widening-tells T2 asks which construct encloses the element before asserting a closed set
claude
committed
1b323fa
fix(pm): T2 membership reads the callee NAME, so a chain-wrapped closed set cannot go dark
claude
committed
9ce42b8
docs(pm): say what the first census could not contain, and measure one that can
claude
committed
02698d4
Merge origin/main into claude/issue-19384-t2-closed-set-opener
claude
committed
207045c
docs(pm): anchor the three censuses to a tree, and say which instrument each side is
claude
committed
faac683
test(pm): pin the callee reader on its own, and raise the battery floor to 45
claude
committed
3c6148f
fix(pm): T2 refuses on a CLOSED callee vocabulary, and reads a freeze wrapper through
claude
committed
4fbe743
refactor(pm): state the transparent loop's bound structurally instead of guarding it
claude
committed
5aca73c
test(pm): pin the `[`-only guard with a brace a REFUSING call opened
claude
committed
0609cb4
docs(pm): name the residual's carriers by their CONSUMERS, not by the record
claude
committed
cb46c2e

Commits on Sep 21, 2026