STATUS (18 October 2026). The physics programme that motivated this work was concluded in October 2026 and its claim of a unified derivation withdrawn. The results in this paper do not depend on that programme and stand as stated. Records and Responses: Dressing-blind theorems for monitored quantum instruments. New records/responses instrument-theory paper; local LaTeX build, rendered PDF check, and records_responses_instrument_theorems.py certificate passed under py13_7.
STATUS (18 October 2026). The physics programme that motivated this work was concluded in October 2026 and its claim of a unified derivation withdrawn. The results in this paper do not depend on that programme and stand as stated. Records and Responses: Dressing-blind theorems for monitored quantum instruments. New records/responses instrument-theory paper; local LaTeX build, rendered PDF check, and records_responses_instrument_theorems.py certificate passed under py13_7.
A dated record of results from the author's research program on the contextuality degree of multi-qubit Pauli configurations, obtained on 20 October 2026. It gives statements and status labels only: lower bounds d(Q-(9,2)) ≥ 6,510 and d(W(9,2)) ≥ 28,830 (computer-assisted; not refereed); a characterization of the optimal assignments of Q+(7,2) as sign patterns of real Pauli-flat states, and a route to the Li-Gupta-Ganesh classification of its 240 optimal sets without computer enumeration (conditional on two cited classification results); a certification update for the four-qubit chain of record 10.5281/zenodo.23510634. Proofs, code and data are held privately. The record includes SHA-256 commitments to the evidence files and to a sealed document stating four further results. Not peer reviewed.
STATUS (18 October 2026). The physics programme that motivated this work was concluded in October 2026 and its claim of a unified derivation withdrawn. The results in this paper do not depend on that programme and stand as stated. A finite transition grammar does not by itself determine a measurement record. This report separates six layers: transition support, effects, instruments, environmental export, invocation cadence, and autonomous dissipative dynamics. Exact finite witnesses show which implications fail and what additional microscopic information would be required. The eight-register example comes explicitly from the author's finite-QEC substrate research programme. The cited framework papers motivate the construction but are not premises of the theorems; service-clock, cosmological, and gravitational interpretations are recorded as non-claims. The deposit includes the PDF, LaTeX source, bibliography, standard-library verifier, and machine-readable JSON and CSV verification reports.
STATUS (18 October 2026). The physics programme that motivated this work was concluded in October 2026 and its claim of a unified derivation withdrawn. The results in this paper do not depend on that programme and stand as stated. Its Koide inventory holds as a count, not as a physical phase [G97]. Selection rules are usually treated as allowed/forbidden labels. In a finite record-bearing substrate that is not enough: a static predicate can define a codespace, but it writes no environment record, carries no phase, produces no entropy, and cannot generate a measurable response. A selection rule becomes physics-bearing only when implemented as a monitored recovery instrument with syndrome bits, a recovery map, and a Stinespring environment. This paper formulates the resulting selection-rule calculus. The central theorem is a register-access rule: a monitored constraint can generate records only in the registers its syndrome and recovery actually read — so a colour rule cannot supply a generation phase, a sterile repair cannot generate a generation covariance, and a chirality lock cannot repair a colour-counting deficit. The worked example is the Dynamic-R1 mechanism: the forbidden fourth-generation corner G0G1=11 as an active recovery boundary; Hasse-edge environment records giving the covariance block KR1=BBT; the closed oriented cochain as the Majorana/CP sign carrier; and the CP-even Koide contact inventory (e,ν,d,u)=(2,3,3,2)/(9,9,27,27). The same calculus explicitly forbids using this closure to rescue the baryogenesis magnitude η=(3/14)α04: the numerator 3 remains an ideal-code count, not a physical B−L source count. The contribution is both constructive and disciplinary: monitored selection rules can become new physics, but only in the registers they actually monitor. All claims are backed by executable gates in the programme repository.
STATUS (18 October 2026). The physics programme that motivated this work was concluded in October 2026 and its claim of a unified derivation withdrawn. The results in this paper do not depend on that programme and stand as stated. Can an exact account of recorded events also determine what happens next? We examine this question in a finite quantum model with 48 preparations and an apparatus with ten distinguishable outcomes. Two reversible evolution rules reproduce exactly the same first-use specification but predict different results when the apparatus is used again. A separate example fixes one evolution rule: two possible histories then have identical counts of reads, commits and service events, yet different probabilities for the next outcome. Counts alone are therefore insufficient for prediction in this model. What remains visible depends on the observation. At eight preparations, even the complete individual-read distributions agree between the two rules, while correlations between the reads distinguish them. We classify two explicitly specified families of observations and determine exact ranges for the simpler family, showing both how distinctions are lost and how they can survive. The results separate event accounting, the choice of evolution, retained memory and the conversion of records into measured responses. They are conditional finite-model results, not a derivation of a physical dynamics or a measured coupling. The contribution is a set of exact counterexamples and classifications, rather than new principles of quantum theory. Exact computations and explicit proofs identify the additional response, weighting and sampling choices that a predictive physical interpretation must supply. Version 0.2 incorporates corrections following an author-requested preprint review. The deposit supplies the PDF, editable LaTeX with three TikZ figures, bibliography, exact fixture data for 96 two-read processes over 48 preparations, and a portable Python/SymPy verifier. The revised verifier passes 2,926 exact assertions. These are conditional finite-model results; no physical law, bridge, weighting or sampling measure is selected. The unchanged historical audit sources are available in a separately linked companion archive. Frozen audit sources and INT99 result dossier: https://doi.org/10.5281/zenodo.22541080.