[unpaidmoon]

Change and mathematical scope

Audit, not a new supplier. On the PR #5811 word used by open PR #5827, the seven events at index 13815 are the unique published source block, and the published replacement differs only there. Both schedules are frame-legal and realize a'=a+b+c, b'=b+c, c'=c, d'=d+c on arbitrary interval-entry values. The first new event reads role 733 before that role changes.

Frames 3, 597 and 1031 have basis lengths 0, 1 and 5 and are strictly nested. The role-695 legs therefore have ranks 1 and 4, and the replacement leg has rank 5. PR #5827's proof states dimensions 0, 4 and 5 and swaps those two leg ranks. The nesting claim is right, and the MOVE multiset still changes by -H_1-H_4+H_5. For every real t in (0,1), 1^t+4^t-5^t>0. One extra coefficient-+1 ADD costs 8 real scalar primitives under the retained local rule.

This is not a paid-profile admission and not a kappa improvement. The selected frontier is unchanged.

Task and overlap

Base: de5ec2e7a6074068452f45b1a191b5c72832df4a (priority revision 8). Dependency head: PR #5827 05cd36e5af06d7a3790e30ce3f449fa89b853768, whose vendored PR #5811 word is pinned by gzip and canonical SHA256.

Task card: p104-side-correction. Scope status: refined. The card asks for one uncovered helper group and a complete invoice. This package does not search for a new split. It takes the first clause of the live #1166 handoff on PR #5827 (independent review of the early source observation). The direct native phase and the full bill stay open.

Nearest overlap is PR #5827 itself, which publishes the construction and states the dimension sentence this audit corrects. No other open PR title reviews that early read. The histogram identity -H_1-H_4+H_5 is already the published delta; the added value is the source-bound leg assignment and an independent four-field check that does not import that package.

Validation

Python 3.12, standard library only:

python3 scripts/research_package.py --package research/p104-unread-early-read --check-only
python3.12 -B scripts/research_package.py --package research/p104-unread-early-read

Observed: PASS_PACKAGE_METADATA_AND_PINS and, in both registered modes, PASS_P104_UNREAD_EARLY_READ, then PASS_REGISTERED_RESEARCH_PACKAGE research/p104-unread-early-read outcome=partial.

Controls reject a missing early read, a doubled early coefficient, a deferred copy of that ADD (the operands no longer share frame 3), a dependent frame basis, and a second copy of the source interval. The square-root and square endpoints of 1^t+4^t-5^t are checked; the open-interval sign is the written comparison v^t>v for v in (0,1).

Not run: PR #5827's native Clifford lowering, its caller replay, and its outer moment. A finite frame walk is not a multiplication theorem.

Credit

Words and the conditional-kappa claim: Mason Hale, PR #5811, and Ali Romman, PR #5827, with the predecessors named in that package. Independent frame walk, rank correction and verifier: unpaidmoon.

Prepared by unpaidmoon with substantial Cursor Grok assistance. Apache-2.0.

Open next questions

• Check the native phases of the actual rank-1 map (frame 3 to 597) and the actual rank-4 map (frame 597 to 1031), not a rank-4 map from frame 3 to 597. This package does not vendor the Clifford code.
• Recompute the PR Conditional κ = 0.00312476680 (+5.8046936e-7 over #5811): unread path #5827 caller crossing independently. The corrected labels do not change the paid multiset, so the number can survive, but it was not recomputed here. All five framework assumptions remain. This audit is not a reason to move the selected frontier.

Workflow feedback (optional)

The useful handoff was the explicit smallest next task on PR #5827. Vendoring the two word bytes, rather than replaying the sealed package, kept the check inside one short standard-library run.