[unpaidmoon]

Change and mathematical scope

Overlap receipt for the eight pull requests named first in certificates/selected-result.json source_prs. No new κ and no ledger edit. The selected conditional exponent remains 605457647/200000000000.

On main 32890bc5de034ab8fc93ac88ead7279a6a416d04, each recorded head is an ancestor. Every research/ integration path in those ledger rows is byte-identical to its pull-request head. The 1,245-file selected execution closure matches this tree. Its three roots are the incorporated pulls CrocSwap#5407, CrocSwap#5413 and CrocSwap#5414.

CrocSwap#5398, CrocSwap#5400 and CrocSwap#5402 stay partially_reviewed. Their research trees are fully retained and the selected record names them, but they are not in the execution closure. The CrocSwap#5398 and CrocSwap#5400 rows still say archival publication does not admit an improved κ. The CrocSwap#5413 promotion says the final +5×10^-12 over those two pulls is compiler/outer headroom. This receipt keeps both sentences and does not reclassify the rows.

CrocSwap#4610 and CrocSwap#5241 research trees match their heads. certificates/selected-result.json has changed since those heads, and docs/research/pr-intake-evidence/pr4610/PROOF-REVIEW.md was added later. All eight GitHub closures are merged_for_archive_only.

This is a scoped retention receipt. It is not a replay of the frontier, a scientific acceptance of the partially reviewed rows, or a multiplication theorem.

Task and overlap

Base 32890bc5de034ab8fc93ac88ead7279a6a416d04 (upstream CrocSwap/integer-mult-bounds main). Card overlap-receipt, priority revision 7, scope refined.

Session r38, item 6 of the ordered eligible list recorded in research/frontier-source-retention/README.md. Open handoffs from the 19 October index come first, then priority-table rows that are still open, then catalogue cards that are not already those rows. Items 1–5 are the (w, q, v_N) caller, the L561 placement cost, the BIT.md weighted-leaf routes, the R437 blank-return visit count, and coverage-law-change on the current selection.

The fork PR targets cursor/upstream-main-32890bc-cfd2, the same upstream commit, so the diff is this package. Upstream review should use CrocSwap/integer-mult-bounds main at 32890bc5de034ab8fc93ac88ead7279a6a416d04.

Nearest records: the ledger rows for CrocSwap#5398, CrocSwap#5400, CrocSwap#5402, CrocSwap#5407, CrocSwap#5413, CrocSwap#5414, CrocSwap#4610 and CrocSwap#5241; docs/research/pr-intake-evidence/pr5413-promotion/PROMOTION.md; docs/research/community-neutral5413-contributors.md. No open pull request already states this eight-row byte table.

Validation

Python 3.12, standard library only:

python3 -B research/frontier-source-retention/verify.py
python3 -O -B research/frontier-source-retention/verify.py
python3 -B scripts/research_package.py --package research/frontier-source-retention

Normal, optimized and registered replay all print PASS_FRONTIER_SOURCE_RETENTION prs=8 identical_paths=26 manifest_files=1245 partial_but_named=5398,5400,5402 certificate_moved_after=4610,5241 no_ledger_edit=true no_new_kappa=true. Metadata replay prints PASS_REGISTERED_RESEARCH_PACKAGE research/frontier-source-retention outcome=partial.

The checker hashes every manifest path, compares each integration path with git diff under GIT_NO_REPLACE_OBJECTS=1, and rejects a forged incorporated label on CrocSwap#5398 and a one-path manifest mismatch.

Not run: make frontier5413-verify, Lean, Docker, and any edit of the ledger.

Credit

Ledger, promotion and contributor text retain Chris R / Clear1nsight (CrocSwap#5398, CrocSwap#5400, CrocSwap#5407, CrocSwap#5413, CrocSwap#5414, CrocSwap#5241), Dillon Amburgey / dillona (CrocSwap#5402) and Cao Yifan / intqwq (CrocSwap#4610), with the lineages those records already name.

Prepared by unpaidmoon with substantial Cursor Grok assistance.

Open next questions

1. Should the Conditional κ = 0.00302728823 (+3.823e-8 over #5392): direct backward caller CrocSwap/integer-mult-bounds#5398 and Independently validate κ = 0.00302728823 for the direct backward caller CrocSwap/integer-mult-bounds#5400 rows stay partially reviewed after the Complete coupled-output caller: conditional κ = 0.003027288235 (+5e-12 over #5400) CrocSwap/integer-mult-bounds#5413 promotion? Their unresolved sentence still denies an improved κ, while the promotion uses them as the base of a 5×10^-12 headroom term. The first step is to quote those two sentences together. This package does not edit the ledger.
2. Which fields of certificates/selected-result.json changed after the Conditional κ = 0.0030217758: joint helper interfaces and Lean compiler tightening CrocSwap/integer-mult-bounds#4610 head 20bb93cd990d2ff683e4d0fc56b87a42cd5d3296? The receipt only shows that the file differs.

Workflow feedback (optional)

The 19 October handoff index is still the ordering source, but several of its smallest tasks and several priority-table rows have since landed. A one-line “closed by” note on those handoffs would make the next eligible remainder easier to see.