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

Summary and scope

For the specified monitored recovery instruments, a register-access theorem limits which records can be generated by the registers that an instrument reads. Static validity predicates do not by themselves determine a recovery channel, an environment record or a rate. The generation example supplies a finite covariance and contact inventory; it does not derive lepton pole masses, a CP phase or a baryogenesis source. In particular, the exact fixed two-constant mass-spectrum claim is excluded under its stated no-theory-error assumptions (G97), while fitted-phase identities are a separate question. The instrument and its physical selection remain inputs.

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/}
}