Skip to content

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

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Closed
os-steve wants to merge 16 commits into from
+1,282 −28
Closed

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

Changes from all commits
Commits
Show all changes
16 commits
Select commit Hold shift + click to select a range
1b323fa
fix(pm): check-widening-tells T2 asks which construct encloses the el…
claude Sep 20, 2026
9ce42b8
fix(pm): T2 membership reads the callee NAME, so a chain-wrapped clos…
claude Sep 20, 2026
02698d4
docs(pm): say what the first census could not contain, and measure on…
claude Sep 20, 2026
207045c
Merge origin/main into claude/issue-19384-t2-closed-set-opener
claude Sep 20, 2026
faac683
docs(pm): anchor the three censuses to a tree, and say which instrume…
claude Sep 20, 2026
3c6148f
test(pm): pin the callee reader on its own, and raise the battery flo…
claude Sep 20, 2026
4fbe743
fix(pm): T2 refuses on a CLOSED callee vocabulary, and reads a freeze…
claude Sep 20, 2026
5aca73c
refactor(pm): state the transparent loop's bound structurally instead…
claude Sep 20, 2026
0609cb4
test(pm): pin the `[`-only guard with a brace a REFUSING call opened
claude Sep 20, 2026
cb46c2e
docs(pm): name the residual's carriers by their CONSUMERS, not by the…
claude Sep 20, 2026
54af264
docs(pm): re-take the T2 residual's statement on the reader that is a…
claude Sep 21, 2026
2608860
docs(pm): the census paragraph names its own denominators and dates t…
claude Sep 21, 2026
e9e9737
docs(pm): the AST_OPERATOR_MAP silence is a SHAPE gap, and every cens…
claude Sep 21, 2026
f1a3337
docs(pm): wrap the census paragraph's decline sentence onto its own line
claude Sep 21, 2026
091cab4
docs(pm): the loud-frame control shows the frame it claims to measure
claude Sep 21, 2026
c222a58
docs(pm): name the census the header's `(` and `{` counts are read from
claude Sep 21, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Loading
Loading