fix(pm): teach check-widening-tells the declaring helpers, as a named list with a counterfactual pin - #18700

Merged

os-justin merged 3 commits into

mainfrom

claude/issue-18560-widening-tells-declaring-helpers

Sep 17, 2026

Commits on Sep 17, 2026

wip(pm): build check-widening-tells' T1 vocabulary from a named list
claude
committed
576715e
fix(pm): teach check-widening-tells the declaring helpers, as a named list with a counterfactual pin
claude
committed
1d2b7ed
fix(pm): keep the unwritable-form guard inert on import
claude
committed
7f1a814