Association for Symbolic Logic

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

Pre-Execution Restriction for Agentic AI: Realized versus Structural Admissibility

ML and agentic-AI evaluation certify systems on outcome metrics—accuracy, calibration, task completion—and treat them as evidence of reliable computation. We argue this rests on a substitution: outcome agreement standing in for computational admissibility, the condition that ever...

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