A Physics Canon as a Replayable Algebraic Object: Verifier-Governed Extraction, Representation, and Minimality Classification

Abstract

A verifier-governed method for converting a changing foundational-physics corpus into a byte-pinned algebraic presentation, testing a representation against contracts frozen before evidence, and classifying its minimality. The accepted weak representation is irreducible and rigid but admits an exact proper quotient and a strictly smaller carrier, so the frozen cascade lands on quotient nonminimality. This record contains the zero-authority technical report and a compact replay bundle: 103 governed ABB artifacts, the three pinned source-canon files, a bank manifest, SHA-256 inventory, LaTeX source, and an exit-0 numerical verifier. It excludes unrelated repository data and simulation outputs. No empirical or ontological claim about the demonstration corpus is made.