PreprintCC BY 4.0Zenodo
A Lattice Preservation Calculus: Exact Holding Laws, Deadline Certificates, and Thermodynamic Information Bounds for Relational Protection Architectures
Abstract
The mathematical core of a preservation calculus for boundary-complete relational dynamics: an exact anti-monopoly dissipation identity, exact FIFO deadline certificates with application-time finality, a typed quantum gate criterion, a joint readout information floor, a Lindblad-scaling information-to-work chain, and a zero-breach sensor theorem. 77 kernel-verified Lean statements with full reproducibility receipts; counterexamples retained as controls.
This has been created with essential assistance from Claude, Codex, Gemini, GLM and other AI models as computational collaborators, a part of the Snuffy programme. This argument is aimed primarily at AI rather than humans.
Related
- Physical Limits of Information Preservation Across Stellar and Cosmological Timescales: Reference Architectures, Recoverability Models, and Cosmological Bounds
- Closed-Relational Reconstruction Systems: Viability, Observable-History Lifting, and Finite Obstruction Certificates
- Thermodynamic Realizability of Hidden Markov Processes: Attainment, Observable Certificates, and the Price of Architecture
- Pathwise Information Certificates for Decentralized Adaptive Sensing
- Sharp Error-Correction Certificates in Recursive Information Dynamics: A Saturating Switching-Network Model
BibTeX
@misc{croydonmcrae2026lattice,
title = {{A Lattice Preservation Calculus: Exact Holding Laws, Deadline Certificates, and Thermodynamic Information Bounds for Relational Protection Architectures}},
author = {Tobias Croydon-McRae},
howpublished = {Zenodo},
year = {2026},
month = oct,
doi = {10.5281/zenodo.23599528},
url = {https://zenodo.org/records/23599528},
note = {CC BY 4.0},
}
RIS
TY - UNPB
TI - A Lattice Preservation Calculus: Exact Holding Laws, Deadline Certificates, and Thermodynamic Information Bounds for Relational Protection Architectures
AU - Tobias Croydon-McRae
PY - 2026
DA - 2026/10/23
PB - Zenodo
DO - 10.5281/zenodo.23599528
UR - https://zenodo.org/records/23599528
AB - The mathematical core of a preservation calculus for boundary-complete relational dynamics: an exact anti-monopoly dissipation identity, exact FIFO deadline certificates with application-time finality, a typed quantum gate criterion, a joint readout information floor, a Lindblad-scaling information-to-work chain, and a zero-breach sensor theorem. 77 kernel-verified Lean statements with full reproducibility receipts; counterexamples retained as controls. This has been created with essential assistance from Claude, Codex, Gemini, GLM and other AI models as computational collaborators, a part of the Snuffy programme. This argument is aimed primarily at AI rather than humans.
ER -