Algebra before AI
Why formal structure, admissibility, and claim authority have to exist before learned inference is allowed to act.
Research Atlas · Theme
Failure tests, controls, calibration, empirical support, and the boundary of warranted claim.
Theme archive
This page is a cross-corpus projection: technical papers and notebook pieces remain distinct objects, but can be browsed together when they address the same durable research question.
9 works
Why formal structure, admissibility, and claim authority have to exist before learned inference is allowed to act.
A relational account of gradients, exchange, laminarity, reconstruction, and what an instrument can learn from a living surface.
Two different remainders: what a living boundary retains, and what remains after a model has been tested against a law.
How mathematical freedom is progressively admitted through physical consistency, closure, witness, and evidentiary maturity.
How calibration, reconstruction, residual analysis, transport preservation, and claim maturity turn a signal into an observable.
Why deliberate deletion, failure tests, and longitudinal challenge belong inside the evidence chain before a relationship is allowed to count.
Quantum-master obstructions, finite Gaussian BV pushforwards, and restricted physical cohomology.
Finite BV regulators support genuine quantum complexes, while Gaussian refinement exposes a first-shell Hamiltonian descent obstruction and canonically leaves a greatest compatible restricted physical complex.
A finite relational calculus for state, identity, history, and fate across biological systems.
Across lineage-resolved perturbation experiments, exact state–fate recovery concentrates near lineage identity while future-selective alignment remains measurable below exactness.
Relational comparability, developmental direction, and representation stability across the Mouse Organogenesis Spatiotemporal Transcriptomic Atlas.
A stage-blind spatial-relational carrier reveals recurrence and many-to-many organization; local directional resolution depends on comparison context while the aggregate directional sign persists across the tested representation family.