A Selection-Rule Calculus for Finite Record Physics: Static predicates, monitored recovery instruments, and physics-bearing environment records

Abstract

Selection rules are usually treated as allowed/forbidden labels: a state is admissible if it obeys the rule and absent if it does not. 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 by itself generate a measurable response. A selection rule becomes physics-bearing only when it is 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. Consequently 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 framework's Dynamic-R1 mechanism. The forbidden fourth-generation corner G0G1 = 11 is not merely absent; under monitored recovery it is an active boundary whose allowed generation order ideal B2 \ {11} writes Hasse-edge environment records. The symmetric second moment of those records gives the covariance block K_R1 = BBᵀ, while the closed oriented cochain Ω_R1 is the sign-representation carrier for Majorana/CP orientation. Composed with the sector defect inventory, the CP-even Koide row closes in its type-correct form: the absolute contact ledger (e, ν, d, u) = (2, 3, 3, 2) over N_eff = (9, 9, 27, 27), equivalent to the reduced row (2, 3, 1, 2). The same calculus explicitly forbids using this closure to rescue the baryogenesis magnitude η = (3/14)α₀⁴: the numerator 3 remains an ideal-code count, not a physical B−L source count. The contribution is therefore both constructive and disciplinary: monitored selection rules can become new physics, but only in the registers they actually monitor.

Keywords

How to cite

Elliman, D. (2026). A Selection-Rule Calculus for Finite Record Physics: Static predicates, monitored recovery instruments, and physics-bearing environment records. Neuro-Symbolic Ltd technical report. https://neusym.ai/papers/selection_rule_calculus

@techreport{elliman2026selectionrulecalculus,
  author      = {Elliman, David},
  title       = {A Selection-Rule Calculus for Finite Record Physics: Static predicates, monitored recovery instruments, and physics-bearing environment records},
  institution = {Neuro-Symbolic Ltd},
  year        = {2026},
  url         = {https://neusym.ai/papers/selection_rule_calculus}
}