Research P104 singular-mixing lifetime floor

[1337isnot1337]

Summary

Adds a scoped review of the P104 correction-matrix source-lifetime lower bound in research/p104-source-lifetime-216-review/.

For the frozen 104-row correction matrix C = I - G/2 and widened X-only monotone grammar G′, the reviewed counting proof yields L >= 216. The package records the finite census, exact source pins, proof audit, limitations, and a local arithmetic verifier. The pinned upstream replay reports 216 for the full singular-mixing model, 219 for the full invertible model, and 234 for the final-frame model.

This is a lower-bound review for the full 104-row correction matrix. It is distinct from the 208-flag endpoint construction. The bound remains below the 333-lifetime decision threshold and does not change the selected frontier or budget.

Verification

• Exact upstream replay from 743640530229e1821ae11dc104798871272d6f00 with frozen inputs: PASS_P104_RANK1_MIXER_TOP floor_full=219 floor_final_frame=234 floor_full_singular_mixing=216 pairs_passing_T_final_frame=288 pairs_passing_T_full=414 both_halves_T=0 demo_lifetimes=4974 controls=7 lemma_max_ST=48.
• Upstream source snapshot hash check: PASS_UPSTREAM_SOURCE_SNAPSHOT_HASHES 11.
• python3.12 -B scripts/research_package.py --package research/p104-source-lifetime-216-review --check-only: passed metadata and pins.
• python3.12 -B scripts/research_package.py --package research/p104-source-lifetime-216-review: passed arithmetic floor recomputation and registered package check.
• git diff --check: passed.

Limits and credit

The written argument and finite replay are scoped to the frozen PR1972/PR1991 paths and G′ as defined in the package. This does not prove a chronological executable correction, a complete hosting bill, a supplier, an all-size theorem, or a new κ. The written proof is not machine checked and no independent human review is claimed. The selected-frontier replay was not run.

Credit Sagar Thakrar, with substantial Claude assistance, for the pinned 216/219/234 theorem and checker; Philippe Van Velzen for the relay grammar and geometry lineage; and Rohan Arun, Chafik Boukhalfa, and Adam Gall for the P104 native-channel lineage. This package records a GPT-6 Luna xhigh (macbook-04) proof review.

Current overlap

Open PR #3882 submits a source-consuming P104 correction tail. This package audits a separate lower bound for the frozen 104-row correction matrix and constructs no correction word.

Publication validation

The registered package replay passed on CPython 3.12.3 with python3.12 scripts/research_package.py --package research/p104-source-lifetime-216-review. The optional --check-source-history preflight could not run because this MacBook checkout is shallow and the checker requires full Git history. This package's source manifest pins only files at its exact base commit 20ecf2891d80b5acf18d980b2164fb44ea7faa90; it contains no head: source pins. Any earlier pending note above refers to the state before this publication-time replay.