David Elliman

Gravity and fermions on a bond-centred lattice

Can a lattice support the weak gravitational field and relativistic matter without introducing unstable or unwanted light modes? We examine two constructions on a lattice of cells centred on the bonds of a cubic grid. The first is a linearised gravitational action with continuous...

C2 algebra and gravitational response: Exact survival obstruction, local dictionary certificates, and continuum tests

We report an exact obstruction to complete original-active survival in the inherited C2 algebraic model and a separate constructive result for a conditional spatial field model. The native discarded-component matrix has rational rank 670; together with the certified rank-24 proje...

C2 algebra and gravitational response: Exact survival obstruction, local dictionary certificates, and continuum tests

We report an exact obstruction to complete original-active survival in the inherited C2 algebraic model and a separate constructive result for a conditional spatial field model. The native discarded-component matrix has rational rank 670; together with the certified rank-24 proje...

The Ledger Is Not Enough: Counts, Memory and Observable Content in a Finite Record Framework

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...

The Ledger Is Not Enough: Counts, Memory and Observable Content in a Finite Record Framework

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...

Described Twice? A finite audit of a possible gravity–measurement seam

A finite, exact audit of a possible gravity–measurement interface. The manuscript distinguishes algebraic consistency within a declared model from the additional premises needed for physical interpretation. It compares two conditional source rules using a common local tomography...

Special and General Relativity from the Finite-QEC Substrate: The Propagation Clock, the Equivalence Principle, and the Horizon Ledger

Corrected version. This revision retracts the physical identification of the nearest-neighbour simple-cubic Bloch mode with the asymptotic photon. The exact Bloch group velocity is excluded inside its own 10-100 MeV support by Fermi GRB 090510 timing: the effective quadratic scal...

When Does a Quantum Transition Become a Record? Instruments, export, and cadence in finite quantum dynamics

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...

When Does a Quantum Transition Become a Record? Instruments, export, and cadence in finite quantum dynamics

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...

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

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...

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

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...