[cursor]

Change and mathematical scope

Audit of one comparison. No new κ, no supplier edit, and no selected-frontier change.

artifact_identities in research/complex-sw4-frame8/code/generated_identity.py (blob c8af22719c0f3097a991a3f6ccac8f090afd2faba554745733d9ea88f2c25708) hashes seven provider files and excludes only the root seconds field of CLIFFORD-REVIEW.json. On the committed CrocSwap#626 ck and jp8 receipts, SCALAR-FRAME-AUDIT.json still holds scalar_operations. That key does not occur in the seven hashed files. Adding one changes the audit file's SHA-256 and leaves every returned identity unchanged.

The invoice still stores a whole-file digest of that receipt, so this is not a claim that admission accepts a wrong scalar count. local_rank_mass equals the profile mass on these two receipts. The executed witness is scalar_operations.

Task and overlap

Base: ef5f39403610d231a0c27e8a6b4f08c10209bcd6. Head: 82b21df592a535b5f7a8ee4d9c49d5f5a4568f52.

Chooser seed 389836d8052bd9fdef4b19ed38cc5aa3, track verifier-engineering, card portable-replay, scope key 91a9a2afec282c926282, priority revision 2. Scope is refined to one payload-field comparison: the selected identity on the committed CrocSwap#626 ck and jp8 directories.

Nearest work, and what this adds:

• PR Audit selected generated identities: complete field coverage, no defect found CrocSwap/integer-mult-bounds#1912 audits the seven files inside this identity and finds that only phase seconds is dropped from those trees. It does not open SCALAR-FRAME-AUDIT.json.
• research/pr695-digest-audit and the Conditional κ = 0.001661634653669567: four paired read exchanges on PR741's frame-coalesced word CrocSwap/integer-mult-bounds#799 review show that a non-timing edit of this file can follow a whole-file digest. The preserved Audit #695: selected #626 provenance digest differences are timing and directory order, reproduced byte for byte CrocSwap/integer-mult-bounds#806 control uses a synthetic key. This package uses the committed scalar_operations field.
• Discussion CLAIM: classify the three omitted PR626 assembly digests (seed c0d742be) CrocSwap/integer-mult-bounds#2690 / PR Audit: the three omitted #626 assembly digests are payload and JSON-file hashes CrocSwap/integer-mult-bounds#2695 classifies the three omitted Conditional κ = 0.001635527380375392: coordinated owner repair on PR623 CrocSwap/integer-mult-bounds#626 assembly digests. This package does not reclassify them and does not reconstruct the missing CI payloads.

Overlap refresh at 2026-11-10T12:14:56Z covered 398 open PRs and 7013 discussion records. No match is a novelty certificate.

Validation

python3 -B research/scalar-audit-identity-gap/verify.py
python3 scripts/research_package.py --package research/scalar-audit-identity-gap

Observed: Linux, CPython 3.12.3, PYTHONOPTIMIZE unset. g++ 13.3.0 and Boost 1.83 were installed and unused. Last line:

PASS_SCALAR_AUDIT_IDENTITY_GAP providers=2 omitted_non_timing_fields=22

Controls that passed inside that command: phase seconds stays excluded, a frames edit of CLIFFORD-REVIEW.json changes only that identity, and deleting CANONICAL-WORD.json.gz is rejected.

Not run: make frontier1094-verify, make frontier626-verify, and any reconstruction of CI run 38317651752. This is a finite identity check, not a proof of the multiplication theorem.

Credit

The identity and the CrocSwap#626 receipts belong to the selected-source and owner-repair lineage (Douglas Colkitt, Chafik Boukhalfa, and the predecessors in the selected review). Joshua Snider preserved the three omitted assembly digests. Rohan Guliani traced their whole-file propagation. Adam Gall's PR CrocSwap#1912 covered the seven hashed files. Maxime Fleury and Antoine Olivier recorded the payload-versus-container convention.

Prepared by hevlyo with substantial AI assistance. Apache-2.0. This is not independent human peer review.

Open next questions

Does a one-field change to hyperplane_end_pairs in the committed ck WRAPPER-CHECKS.json also leave artifact_identities unchanged? That file is in the CrocSwap#626 invoice artifact map and outside the same identity tuple. The first step is the same copy-and-increment check. This package stops at the scalar-frame receipt. Adopting a seconds-stripped digest into the selected identity would change pinned semantic hashes.

Workflow feedback (optional)

Task portable-replay at priority revision 2. The useful cut was the file the seven-file census does not open, after the card's general gzip search was already crowded. One improvement: the overlap helper's task search returns the whole card history before the object, so a second query with the file name is what separates a new sibling-receipt audit from PR CrocSwap#1912.