Audit every scalar event in the actual P104 tensor code

[ToikY]

PR3979 supplies a shared P104 tensor code and an arbitrary-input derivation, with small-grid basis tests and actual dense fixtures. This adds a source-bound independent audit of its actual 104-port literal implementation at frozen head a8a1d74.

The checker consumes all 763,392 events across the four named words, localizes every global index, and certifies 1,056 fiber instances / eight exact 104- or 208-coordinate maps. A separate implementation imports neither primary nor predecessor executable, reconstructs all 768 ordered B coefficients independently, and checks eight global identities / 32 bank blocks on all 21,632 data coordinates by exact tensor Frobenius contractions. No coordinate sampling or floating tolerance. Original word builders and geometry constructor are the object under review; their evaluator, invoice and result routine are never used as an oracle.

The audit confirms PR3979's existing boundary/pair invoices and two-pair saving against its specified reference: 110,592 ADDs and 33,280 halves/doubles each. Construction, algebraic result and savings credit remain Chris R/Clear1nsight's. This adds implementation coverage, not a new code, optimality result, physical repeated caller, native supplier or κ. Identity completion still requires the full-dimensional N-P side maps. Logical helper identity follows from untouched indices; physical dirty return, owners/charts, routing, precision, actual repeated consumption, full favorable bill and all-size admission remain open.

Validation at exact public head b8dd4e0, tree bb950130af3df8400cfad32ae98979a13fca2462:

• Registered Python 3.12 metadata/pins and all three commands pass.
• Twelve semantic word cases plus seven actual CLI damaged-source/invoice cases reject normally and optimized: 38 primary/API rejections; four independent fixture rejections; four positive wrong-expression norms.
• Exact 13-file committed-byte/source-history preflight and official export/check pass. All three commands pass normally and optimized under -I -B, empty PATH, Git-free export, all 14 files read-only / all directories 0555; hashes, modes and inodes unchanged. Export SHA256: 11bc13f438c9f2ea4154e5564dad57b27528316dd1ddcfde9e042fde03f8c2ef.
• Hosted CI run39222334496 passes at this exact head: planning (265 onboarding tests, only this package selected), all three commands on CPython3.12.15, and unchanged committed inputs. No selected cold, complete predecessor, native compiler, human or kernel review is claimed.

Scope: 12 new files only under research/p104-tensor-word-audit/, one canonical-main parent 20ecf28. Three predecessor files are retained byte-exact locally; the sole executable external fixture is pinned canonical-main data. Reproduce: python3.12 -B scripts/research_package.py --package research/p104-tensor-word-audit.

Handoff-first selection records changed scope from p104-side-correction (scope_key 72dfbf0708467ad34793). Claim: #3979 (comment) . Main/priority 6 refreshed unchanged before submission. Complete open-body overlap covered 694 PRs including drafts, followed by the newest 100-body delta through 3995 and live 1166/current-source comments; broader Discussions/closed diffs remain partial. No competing independent literal-word audit was identified. The source head remains frozen and unchanged. README/TASK contain the smallest physical-interface and complete-paid-caller follow-ups and their blockers.

Credit Chris R/Clear1nsight PR3979; PR3961 and 3882/3940/3943/3954 caller lineage; Rohan Arun/1972, Chafik Boukhalfa/1991, Adam Gall/1940, Josie Elliston/E8, Sagar Thakrar/1012, Douglas Colkitt, Dominik Scholz and retained native/compiler/coverage/terminal-floor sources. ToikY 3956/3966 are context only. New audit/tests/packaging by ToikY with substantial OpenAI Codex assistance, including separate AI math/test review contexts. Apache-2.0. Maintainer edits disabled. No merge or selected-frontier change.

Discussion handoff and final verification receipt. Claim released; no continuing reservation.

[ToikY]

Final verification receipt — hosted run https://github.com/CrocSwap/integer-mult-bounds/actions/runs/39222334496 passes at exact head b8dd4e0: plan (265 onboarding tests, only this package selected), all three registered commands on CPython3.12.15, and committed-input preservation. The actual104 literal coverage, separate32-block all-coordinate identities and38+4 negative controls pass. Local Python3.12.14 normal/-O read-only Git-free export remains separate evidence; no scientific bytes changed after validation. Discussion handoff: #1166 (comment) . Claim released. Maintainer edits remain disabled, PR open/unmerged, no auto-merge or frontier change. Physical caller/completion/native/full-bill and all-size obligations remain explicit; this is not human/kernel acceptance.