[pinterbanget]

Summary

This adds research/p17-chain-receipt/, a source-bound disposition receipt (overlap-receipt card) for the 10 open PRs of the p17 κ ≈ 0.003 chain and its independent checks. It makes no closures, no merge recommendations and no judgement of the κ claims.

Claim type: consolidation receipt. No new κ.

Findings

• Retention. Nothing is retained on main.
• Stacked content, not git ancestry. Conditional κ = 0.00296 via query-thinned productive controllers (+10.18%) #4440, Conditional κ = 0.00300105 (+4.105e-5 over #4440): combine query thinning and helper retiming #4441, Independent retimed p17 certificate: conditional kappa = 0.003001053 #4446, Conditional kappa = 0.00300123 via a missing three-dimensional contact span #4447 and Conditional κ = 0.00300120 (71.9× smaller uniform-rank exponent) #4453 agree blob-for-blob on 44 shared paths, including research/query-thinned-controllers and the docs edits. Conditional κ = 0.00296 via query-thinned productive controllers (+10.18%) #4440's paths are a subset of Conditional κ = 0.00300105 (+4.105e-5 over #4440): combine query thinning and helper retiming #4441's, Independent retimed p17 certificate: conditional kappa = 0.003001053 #4446's and Conditional kappa = 0.00300123 via a missing three-dimensional contact span #4447's.
• Only two shared paths differ: historical-1042-link/SOURCES.json and test-suite-locale-reads/SOURCES.json, and only in per-PR pin fields (git_blob and sha256 agree).
• Docs conflict with Bound compiler width by exp(O(N log N)) and route overlapping ranks #4436. All five carry identical edits to docs/ci-verification.md and docs/research/current-status.md, which differ from Bound compiler width by exp(O(N log N)) and route overlapping ranks #4436's edits of the same files.
• Unique content. Independent retimed p17 certificate: conditional kappa = 0.003001053 #4446 adds kappa-hybrid-controller, Conditional kappa = 0.00300123 via a missing three-dimensional contact span #4447 missing-join-frame and Conditional κ = 0.00300120 (71.9× smaller uniform-rank exponent) #4453 native-lattice-retiming. Conditional κ = 0.00296 via query-thinned productive controllers (+10.18%) #4440 and Conditional κ = 0.00300105 (+4.105e-5 over #4440): combine query thinning and helper retiming #4441 add nothing beyond the shared stack.
• Coverage map. Independently reconstruct PR4441 helper tariffs and complete p17 invoice #4448, Independently check the p17 chain #4440, #4441, #4446, #4447, #4453 (kappa 0.00296..0.0030012): invoices, strictification, roots and compiler ranks hold (no new κ) #4455, Independently execute #4440's controllers and #4447's native word on lifted operators and physical frames; check #4359's delayed cover (no new κ) #4457, research: certify the actual stage-zero Gaussian commutation premise #4464 and Independently check #4464's stage-zero commutation; the recorded translations are forced: t_i = [c_i ≡ 3 mod 4] (no new κ) #4466, per claim.

Evidence

python3.12 -B scripts/research_package.py --package research/p17-chain-receipt --check-only
  PASS_PACKAGE_METADATA_AND_PINS (not a mathematical acceptance check)
python3.12 -B scripts/research_package.py --package research/p17-chain-receipt
  PASS_REGISTERED_RESEARCH_PACKAGE research/p17-chain-receipt outcome=completed

Head: 383f4f8825b1bf134206786e71d2a526de338982. Base: canonical main 2a13eb18.

Prepared by Ryanson Jonathan with substantial Claude Code (Claude Opus 5.5) assistance.

🤖 Generated with Claude Code

[pinterbanget]

Addendum (not in the snapshot): #4470 (head b9a13c16, κ = 0.00302015), opened after this receipt, follows the same pattern. It shares 50 paths with #4447, all blob-identical, including the docs edits, so it also conflicts with #4436 on the two docs files. It is not a git descendant of #4447, and it adds one unique package, research/joint-helper-lattice. Its arithmetic is independently checked in #4478.