[internal review, not for upstream yet] proposal-0052: name the additive property of anchored#1

Draft

ColinDKelley wants to merge 7 commits into

mainfrom

prom-18679/proposal-amendment

Commits on May 13, 2026

proposal-0052: name and define the additive property of anchored

ColinDKelley
and
cursoragent
committed
proposal-0052: drop stale 'proof sketch' reference to #18679

ColinDKelley
and
cursoragent
committed
proposal-0052: match issue wording (universal-quantification phrasing)

ColinDKelley
and
cursoragent
committed
proposal-0052: paragraph break before invariant; drop 'not just improved'

ColinDKelley
and
cursoragent
committed
proposal-0052: simplify boundary-sample sentence

ColinDKelley
and
cursoragent
committed
proposal-0052: sharpen 'individually estimate' wording

ColinDKelley
and
cursoragent
committed
proposal-0052: 'plus' -> 'along with'

ColinDKelley
and
cursoragent
committed