Consolidation: overlap receipt for the open selected-replay tooling PRs; #1142 fails on main and collides with #1108 (no new kappa)

[JosieElliston]

Consolidation receipt. No new κ, no disposition, nothing closed. The selected frontier, pinned files and upstream/ are unchanged.

This adds one package, research/selected-replay-tooling-receipt/, with three parts:

• RECEIPT.json: exact-head overlap and retention facts for eight open PRs;
• verify.py: a stdlib checker;
• a README.

Family. Seven of the PRs have the selected #1094 cold replay path (1094 → 1042 → 799 → 741) as their premise: #1101, #1142, #1151, #1277, #1361, #1509 and #1646. The eighth, #1108, is included because #1142 re-adds its package. Four of them (#1101, #1108, #1142, #1151) are in QUEUE-CURSOR.json's next batch.

Findings, at base 1f7a9349

• Nothing in this family is already on main. No changed path has an identical blob at the base. All eight heads apply cleanly.

• Independent verification: selected PR1042 replay-capsule closure (no new κ) #1142 (0c2873e6) fails on current main.

  • Its capsule audit pins certificates/selected-result.json to the Conditional κ = 0.001672188119205421: improved T16 owner packing on the seven-slot k8 word #1042 record (sha256 207d1f49…). That path now holds Conditional kappa 0.001672660197076918: rare-pattern T16 exchanges #1094's record.
  • The Conditional κ = 0.001672188119205421: improved T16 owner packing on the seven-slot k8 word #1042 record is retained byte for byte at certificates/checkpoints/frontier1042.json. Changing only that one path in PINS.json makes it pass; I tested this in scratch and did not include it here.
  • Its documented make frontier1042-capsule-closure-verify target does not exist.

• Independent verification: selected PR1042 replay-capsule closure (no new κ) #1142 bundles an earlier copy of Research: exact compact-control boundary cancellation obstruction (no new kappa) #1108's package research/compact-boundary-cancellation-seed51/.

  • 5 of the 7 files still differ after CRLF normalization. Independent verification: selected PR1042 replay-capsule closure (no new κ) #1142's copy pins the Conditional κ = 0.001661960547713947: T37 whole-owner packing and all-T bound #942 blob at selected-result.json and fails with Source drift; Research: exact compact-control boundary cancellation obstruction (no new kappa) #1108's copy passes.
  • Merging either PR and then the other gives an add/add conflict.

• The other six heads' own checks pass at the trial merge with main:

  • Tooling: overlap bit589 and complex741 in the #741 ancestry replay, 17% (50% with --complex-jobs 3) less wall time (no new kappa) #1101: 8 tests;
  • Research: exact compact-control boundary cancellation obstruction (no new kappa) #1108;
  • Tooling: opt-in parallel layer-end controls for the frontier1042 leaver chain, byte-identical receipts, 3.1x (extends #1059, no new kappa) #1151: verify.py, 155 s on a loaded host;
  • Research audit: the selected #1094 reuse replay discards its ancestry recheck; binding certified from committed archives (no new kappa) #1277;
  • Tooling: fast guard for the 35 live-checkout files the selected #1094 replay hash-asserts, plus complete replay triggers (no new kappa) #1361: 35 live pins, 0 drift, 21 tests;
  • Portability tooling: checked cpp_int stand-in runs the selected replay's only native step (bit589 step 4) without Boost, matching the committed Boost receipts (no new kappa) #1509.

  Tooling: exact sparse phase recipes reproduce the three frontier1042 phases pins, 12x on a shared host (no new kappa) #1646 is based on main and was not rerun.

• Research audit: the selected #1094 reuse replay discards its ancestry recheck; binding certified from committed archives (no new kappa) #1277's premise still holds: verify_frontier1094.py:82 discards check_selected's result.

• No overlap between members. Apart from the Research: exact compact-control boundary cancellation obstruction (no new kappa) #1108/Independent verification: selected PR1042 replay-capsule closure (no new κ) #1142 collision, no two PRs change the same file. The pairs that look alike cover different steps:

  • Tooling: opt-in parallel layer-end controls for the frontier1042 leaver chain, byte-identical receipts, 3.1x (extends #1059, no new kappa) #1151 and Tooling: exact sparse phase recipes reproduce the three frontier1042 phases pins, 12x on a shared host (no new kappa) #1646 cover the lec and phases steps of the frontier1042 chain;
  • Tooling: overlap bit589 and complex741 in the #741 ancestry replay, 17% (50% with --complex-jobs 3) less wall time (no new kappa) #1101 and Portability tooling: checked cpp_int stand-in runs the selected replay's only native step (bit589 step 4) without Boost, matching the committed Boost receipts (no new kappa) #1509 cover bit589 scheduling and Boost;
  • Research audit: the selected #1094 reuse replay discards its ancestry recheck; binding certified from committed archives (no new kappa) #1277, Tooling: fast guard for the 35 live-checkout files the selected #1094 replay hash-asserts, plus complete replay triggers (no new kappa) #1361 and Independent verification: selected PR1042 replay-capsule closure (no new κ) #1142 cover the reuse binding, CI drift and the archive bytes.

  The speed-ups (Tooling: overlap bit589 and complex741 in the #741 ancestry replay, 17% (50% with --complex-jobs 3) less wall time (no new kappa) #1101, Tooling: opt-in parallel layer-end controls for the frontier1042 leaver chain, byte-identical receipts, 3.1x (extends #1059, no new kappa) #1151, Tooling: exact sparse phase recipes reproduce the three frontier1042 phases pins, 12x on a shared host (no new kappa) #1646) are opt-in and unwired. Their equality evidence differs: Tooling: opt-in parallel layer-end controls for the frontier1042 leaver chain, byte-identical receipts, 3.1x (extends #1059, no new kappa) #1151 has byte-identical receipts, Tooling: exact sparse phase recipes reproduce the three frontier1042 phases pins, 12x on a shared host (no new kappa) #1646 the pinned digests, and Tooling: overlap bit589 and complex741 in the #741 ancestry replay, 17% (50% with --complex-jobs 3) less wall time (no new kappa) #1101 matches only after masking timing fields.

Checks

• python3 scripts/research_package.py --package research/selected-replay-tooling-receipt --check-only: PASS_PACKAGE_METADATA_AND_PINS.

• python3.12 scripts/research_package.py --package research/selected-replay-tooling-receipt: PASS_REGISTERED_RESEARCH_PACKAGE. The default verify.py checks the base-side facts and that five mutated receipts are rejected. It also passes on 3.10 and 3.14.

• verify.py --heads, after fetching pull/N/head for the eight PRs, recomputes these per-PR facts:

  • changed paths;
  • retention;
  • clean application;
  • the Research: exact compact-control boundary cancellation obstruction (no new kappa) #1108/Independent verification: selected PR1042 replay-capsule closure (no new κ) #1142 bytes, pin and conflict;
  • Independent verification: selected PR1042 replay-capsule closure (no new κ) #1142's capsule pin.

  It passes on 3.14.

• python3 -B -m unittest discover -s tests -p 'test_research_*.py': 20 OK, 1 skipped. git diff --check is clean.

• Not checked: any PR's mathematics or speed claims beyond its own verifier, the cold make frontier1094-verify, Linux, and PRs outside the family.

Task and overlap

• Card overlap-receipt (consolidation), chooser nonce 79f6b98a8835aa3644ac7e560756166d, priority revision 3.
• Scope refined to this named family; the reason is in TASK.json. The other card, scope-navigation, was dropped because Consolidation: stop historical status sections from claiming to be current (no new kappa) #1232 and docs: fix stale current-review routing in contribution index #1285 already cover its obvious targets.
• find_overlap.py --refresh (05:17Z, 595 open PRs and 296 discussions, complete pagination) found no family receipt. It is not a novelty proof.
• Claim and finding: Handoffs and requests for independent checks #1166 (comment)

Open next questions

1. Repin Independent verification: selected PR1042 replay-capsule closure (no new κ) #1142 and drop its seed51 copy? This needs the contributor or a maintainer.
2. Next-batch path collisions. I ran an unregistered scan of the 100 next_batch heads; details are in the README. Besides Research: exact compact-control boundary cancellation obstruction (no new kappa) #1108/Independent verification: selected PR1042 replay-capsule closure (no new κ) #1142, these conflict textually:
   • Research consolidation: reconcile PR225 five-stage pricing with exact intervals (no new kappa) #1110/Research consolidation: authenticate PR279's complete parent inventory (no new kappa) #1190 (pr-ledger.md);
   • Independent verification: selected PR1042 finite invoice, 9 guards, 14 bootstrap steps and 94 outer slacks (seed 81, no new kappa) #1112/Tooling: fast exact HPE transport audit for the layer-end controls, 2.53x, 480/480 trials cross-checked (seed 93, no new kappa) #1137 (Makefile);
   • .gitattributes across the gauge44-ends7 family and Conditional κ = 0.001675809683500501: mixed T37 allocation with X54 and fusions #1193;
   • research/gauge44-ends7-t16: cross-replica exchange extinguishing remainders 5 and 6 (kappa = 0.001672802407467250) #1172 against Conditional κ = 0.001672765980186726: rank-seven helper ends and T16 owner packing on the seven-slot k8 word #1107/Conditional κ = 0.001672846995880185: rank-seven helper ends and T16 owner packing on the seven-slot k8 word #1117/Conditional κ = 0.001672965558289236: rank-seven helper ends and T16 owner packing on the seven-slot k8 word #1121/Conditional κ = 0.001673005344598825: eighth triangle slot X54, rank-seven helper ends and T16 owner packing on the eight-slot k8 word #1124/Conditional κ = 0.001673006105142741: eighth triangle slot X54, rank-seven helper ends and T16 owner packing on the eight-slot k8 word #1130 inside research/gauge44-ends7-t16/. These look like competing package versions.
3. Whether to wire the opt-in speedups into the pinned cold chain. This needs a maintainer.

Credit

• The PR authors: rcfc-jreed, martinxxx9, thakrarsagar, and JosieElliston for Tooling: exact sparse phase recipes reproduce the three frontier1042 phases pins, 12x on a shared host (no new kappa) #1646.
• Douglas Colkitt: the efficient-review queue cursor and the selected replay archives.

AI disclosure. Prepared by Josie Elliston's donated session with Claude Code (Claude Opus). A Codex read-only review raised four points, all fixed. The equality claims of the speed-up PRs are now stated separately. --heads now checks pairwise path disjointness, with a control. The cold-chain and #1277 checks are tighter. The wording on #1646's base is corrected. There was no independent human review. Apache-2.0.

🤖 Generated with Claude Code

[Mister-Meeseeks]

Batch review at 13fb0d18b093d04909074f4e0498af7abbcbc2d4.

Merged to main, preserving the original contributor commits and package attribution.

Reviewed scope: Historical eight-head replay-tooling overlap receipt at pinned base, including stale capsule pointer and bundled-copy conflict. Base facts corroborated; author trial-merge timings are retained evidence, not new dispositions or current queue status.

The pinned scoped command passed; the batch ledger contains its command, input hashes, environment and log. This incorporates the research/tooling contribution and does not change the selected κ or discharge the inherited multiplication-theorem assumptions.

Batch review, attribution and evidence. Thank you for the contribution.