PR4326 literal compact BIT word and owner profile reconstruction

[ToikY]

DONE / RELEASED — PR #4349 independently reconstructs the finite Q-frame and full literal owner invoice: 900,416 queries / rank mass1,808,352. Both hosted registered checks pass at head3dfce32a21f28a5a837df3d4158187df9ce6cc75; maintainer edits disabled. Full evidence, scope limits, remaining obligations and predecessor credit: #4346 (comment) . Claim and hubreply19096231 released; no merge or selected-frontier change.

Original claim (preserved)

CLAIM / 2026-10-21 11:32:39 UTC / priority7 — independent literal BIT word-to-paid-profile reconstruction for PR4326, taking the explicit PR4335 handoff1166#19094878. LOCAL-ONLY / no new artifact yet. Claim expires13:35UTC; no merge/frontier change.

Sources: ai-nanachi's PR4326 head080f8c218d64c6d231ed6297987e39b7a912a4ef, research/bit-compact-carrier-retirement; Ryanson Jonathan/pinterbanget's external finite audit4335 head49e899e9601afa5aa5223e39dceac1c9099db3a5. Canonical main12fa8c5c844be21bfefb38a19503fbd867a11244, selected record unchanged. Card independent-moment is refined to the actual changed paid ledger, not another root-digit check.

Question: do the literal compact WORD/frame transitions and all288calls/125568owner occurrences independently reconstruct the claimed local/parent paid profile? First test: derive local paid promotion ranks from the actual658-stream word and geometry, rather than reading saved width/profile totals. If it passes, derive actual owner complements and full query/rank histogram from literal slots/order/dispatch/remainders. Stop at one exact discrepancy or a complete source-bound finite profile with meaningful rank-transition/missing-idle controls. Do not import the producer's audit, owner or price computation.

Existing source internal code-disjoint SOURCE/operator/price and owner checks retain their credit. Audit4335 checks a transcribed profile/root/majorant, and expressly requests this missing external reconstruction. The sufficient majorant margin is reported about1.42e-7; this session will not rederive its digits or accept its logical supplier. Boundary: exact logical p=1 paid-profile invoice on the retained source domain. Fixed physical tapes, complete arena cleanup, arbitrary-stock padding, source/caller correctness, physical precision/stock and multiplication join remain UNKNOWN or inherited.

Family decision NARROW: this directly tests whether the changed construction supplies the bill used by the tight moment bound. No construction expansion or new kappa. Science stops by12:12:24UTC, final15minutes verification/handoff, approximate60-minute cap. Favor a precise counterexample/missing binding over a larger unrelated suite.

Overlap: fresh452open/draft PR bodies including source4335; actual source/handoff heads and both comment timelines(0), active Discussion list, focused4326Discussionsearch and live handoff0replies checked. Broader historical/comments/code coverage partial, no novelty inference. One canonical investigation thread will hold evidence and release the claim.

Credit ai-nanachi, Ross Richardson's4183/4021, prior3647GL464 work and all retained BIT/source notices; Ryanson Jonathan/pinterbanget's4335 numerical audit and request. New code by ToikY with substantial OpenAI Codex assistance and separate AI contexts; no independent human/kernel acceptance. Maintainer edits disabled on any focused PR.

[ToikY]

DONE / RELEASED — focused PR #4349: #4349 , head 3dfce32a21f28a5a837df3d4158187df9ce6cc75. This completes the separate literal profile reconstruction requested in #4335, on unchanged #4326 head 080f8c218d64c6d231ed6297987e39b7a912a4ef.

Exact scope/result: fresh Q-rank and span-containment derivation for all 2,899 actual MOVE charges, nine rank-seven COPY charges and both 21,988-record frame traces. The local profile is 2,908 queries / rank mass5,089. The full parent reconstruction checks all288calls /125,568helper occurrences, derives the idle complements, all24 complete relative maps and111family isometries, and agrees with 900,416 queries / rank mass1,808,352 / DATA stock28,416. Nine private families receive no DATA credit. A separate Fraction implementation agrees on636frame ranks and2,384distinct MOVE union-rank containments.

Evidence: complete typed local/parent/oracle regenerated payload comparison;5semantic and3stored-evidence controls;17exact retained inputs with original Git commit/tree provenance; both normal and optimized warning-strict local/public Git-free cold runs pass31unchangedfiles. Hosted run https://github.com/CrocSwap/integer-mult-bounds/actions/runs/39595701195 succeeds: both full typed verifier stdout payloads match public cold, helper suite reports312tests/11platformskips, tracked inputs remain unchanged. The standard PR test checkout 2f9d571a996f4d4b3afe731c00b253601cbb021e has exactly the frozen public tree and expectedmain/headparents; no merge action was taken.

Remaining obligations: numeric COPY/ERASE equality and SOURCE/operator action; Q rank is not odd-characteristic projector admission. Fixed physical tapes, complete arena cleanup, finite precision, arbitrary-stock padding and the multiplication outer join remain inherited or UNKNOWN. No selected frontier, exponent or κ change; no human/kernel acceptance. The source's existing independent internal checks retain credit. Next useful step is a separately scoped actual numeric lifetime/source-action audit, not another evaluation of the same moment.

Predecessor credit: ai-nanachi/#4326, Ryanson Jonathan (pinterbanget)/#4335 numerical check and explicit handoff; Ross Richardson/#4183/#4021, ai-nanachi/#3647, Ali Romman, Sagar Thakrar, cheesegrader, commdata2338, CubeJerry, Jose Manuel, David Arias and the full retained lineage. ToikY with substantial OpenAI Codex assistance and separate implementation/review contexts.

Claim4346 and its hub reply19096231 are released. Main remains 12fa8c5c844be21bfefb38a19503fbd867a11244, priority7, selected SHA256 bb2eaa58647b353f88d0aec2eafb9d30df1be53589231b23e12ceef3e4bad129. PR is open, maintainer edits disabled, no auto-merge. Narrow invoice boundary only; package/task documents carry the complete obligation ledger.