feat(summarize): tower-tip reads the top floor — tip_mass 0.25 + MAP-containment law (ADR-019 Am. 3) → v1.9.0#201
Merged
Conversation
…containment law (ADR-019 Amendment 3) → v1.9.0 The tower-tip MAP is now the median of the TOP floor of the published tower (tip_mass default 0.5 → 0.25), matching the design intent the name always promised. Evidence (research/map_hdi/tip_mass_study.py: 1000-replicate accuracy/stability battery, duplicate-capture frontier, the real-cell C-44 gate): the 0.5 shorth carried a structural rightward bias that does not shrink with S; 0.25 roughly halves it, beats the shorth on RMSE at pooled S, reads zero-inflated cells exactly, and passes the real-cell zero-stack gate with margin (masses <= 0.15 resurrect the C-44 signal loss; 0.20 has zero margin). New MAP-containment law in assert_summarizer_contract: every floor holding more than half the tip floor's draws (a mass-m floor spans floor(m*S)+1 draws; asymptotically m > tip_mass/2 = 12.5%) provably contains the tip — wider floors by nesting, narrower qualifying floors by the sub-window trim argument. All published bands (50/90/95/99) qualify; the unguaranteed region shrinks vs 0.5. Also: research/figures/ — permanent seeded generators for the PRN06 tower figures (upright tower: 99% base at the bottom narrowing to the red 25% top floor with the tip on it; degenerate zero-width bands rendered as open diamonds), reports/plots/ as the gitignored output home, and the provenance/ placement research note (plotting lives under research/, never src/ — the sibling charters exclude it six times over). Governance: ADR-019 Amendment 3; Summarize CIC §3 + header amendment; CHANGELOG [1.9.0]; README banner + chronicle (banner guard green). Consumer note: published MAPs shift toward the mode on skewed cells — the intended C-32 direction. CONFORMANCE_FLOOR stays 1.0.0. Gate: ruff / mypy (3.10+3.11) / pytest 100% line+branch / validate_docs all green. Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
The tower-tip epoch: the MAP now reads the top floor of the published tower.
Behavior change shipped MINOR per the C-44/C-45 precedent (estimator amendment with ADR evidence);
CONFORMANCE_FLOORstays 1.0.0.Changed
tip_mass0.5 → 0.25 (config.py). Evidence —research/map_hdi/tip_mass_study.py(1000-replicate battery + duplicate-capture frontier + the real-cell C-44 gate): the 0.5 shorth's
rightward bias doesn't shrink with S; 0.25 halves it, wins RMSE at pooled S, reads zero-inflated
cells exactly, and passes the real-cell zero-stack gate with margin (≤0.15 resurrects the C-44
signal loss; 0.20 has zero margin). Consumer note: published MAPs shift toward the mode on
skewed cells — the intended C-32 direction.
Added
assert_summarizer_contract: every floor holding more than half thetip floor's draws (exact draw-count condition; asymptotically mass > 12.5%) provably contains
the tip. All published bands (50/90/95/99) qualify; the unguaranteed region shrinks vs 0.5.
research/figures/— permanent seeded PRN06 tower-figure generators (upright tower, red 25% topfloor, degenerate-band diamonds) + provenance/placement research note;
reports/plots/gitignored.research/map_hdi/tip_mass_study.py— the committed evidence trail.Release prep (in this PR)
pyproject→ 1.9.0 · CHANGELOG[1.9.0] — 2026-07-24· README banner + chronicle (bannerguard:
v1.9 ~ 1.9.0 OK).Ritual
Gate green (ruff · mypy 3.10+3.11 · pytest 100% line+branch · validate_docs) ·
/review-diffCLEAN (code↔ADR↔CIC↔CHANGELOG↔banner consistent; stale-0.5 sweep clean) · register: nothing new —
the change ships with its own evidence, law, and ADR.
After merge: release PR
development → main(merge commit), thengh release create v1.9.0.🤖 Generated with Claude Code