Independent verification: all eight K492 emitter controls (no new bound)

[brianross93]

Change and mathematical scope

Add research/k492-emitter-independent-controls/, an independent reconstruction of all eight emit.* source-site controls in PROOF-NOTE-R.md on the historical #626/R492 fixture. The standard-library checker reconstructs helper-frame ranks, complete ownership, interval partitions, private storage geometry, retained controller expansion and source bindings. It adds 18 adversarial semantic corruptions with refreshed output hashes and two positive controls.

The scientific inputs remain pinned to 66849e1475c930fd7732b1a0067ffee7e1e95f60; all 24 pinned inputs are byte-identical at integration base ce7ad1b6ab09452c3478723a2e96ed5ff212dc08. #626 is a historical checkpoint. This contribution changes no construction, selected result, mathematical hypothesis or multiplication bound.

Prior work: #766 covers all 14 assembly source sites and explicitly excludes the emitter slice; #724 supplies invoice/assembly accounting and already explains the conceptual R/R0 distinction. #675 covers owner-window and bridge evidence; #780 independently checks owner footprints using interval endpoints, while #727 optimizes occupancy checks with bitmasks. Neither the R/R0 distinction nor the interval technique is claimed as a new discovery here. Existing construction and supplier attributions are retained in the package README.

#819 supplies related gzip-portable native-owner binding; gzip-insensitive comparisons are not claimed as a new technique. A publication refresh screened 767 open and 383 closed PR titles/bodies plus the exact emitter-site names in current main; no equivalent eight-emitter suite was identified within that non-atomic snapshot. OVERLAP.md records the precise overlap boundaries and screening limits.

Scope limits: this does not recover the unavailable original 32-site scratch suite or GlobalR/run504b, execute the other 24 source sites, rebuild the native providers, or independently re-prove scalar/Clifford/phase identities, owner-window feasibility, invoice/assembly inequalities, all-size compilation, physical hosting, precision/tape or analytic transfer. It is finite implementation evidence, not a full multiplication-theorem proof.

This contribution adapts Brian Ross’s Krenn independent-verification and semantic-corruption methodology. The checker is a standalone implementation. Development and a separate code review and rerun were assisted by OpenAI Codex / GPT-6 Astra. New files follow the repository's Apache-2.0 license.

Validation

python3 -B research/k492-emitter-independent-controls/run.py --out /tmp/k492-emitter-publication-review-20261013

Fresh run on 2026-10-13: exit 0, PASS_COMPLETE_EIGHT_EMITTER_SITE_SLICE (CPython 3.13.2, 38.96 seconds).

• The full baseline HOSTED.json equals the retained Conditional κ = 0.001635527380375392: coordinated owner repair on PR623 #626 receipt exactly.
• Eight source controls: five fail at their required emitter line/exception class, two emit artifacts rejected by the independent checker, and the cosmetic-label control passes.
• Eighteen semantic corruptions are rejected after hash refresh; cosmetic-label and actual gzip-recompression positive controls pass.
• Recount: 984 helper-frame pairs, 35,424 roles, 7,670 physical rows, 7,672 sigma charts and 596,848 exact Gram entries.
• Fresh BASELINE.json, RESULT.json, SEMANTIC-CONTROLS.json and INPUT-PINS.json match the retained receipts byte-for-byte. All non-command source-control fields match. All 24 input pins also match committed blobs at the integration base.

README.md, REVIEW.md and machine-readable receipts document the contract and limitations. PUBLICATION.md and evidence/PUBLICATION-NORMALIZATION.json document replacement of personal checkout prefixes in 20 provenance fields across 12 receipts. Original source/hash values and mathematical evidence are preserved; MANIFEST.json identifies the publication bytes. Broad construction tests and a new cold provider rebuild were not run because the change is confined to this independent finite-check package.