Published October 23, 2026 | Version v1

A Lattice Preservation Calculus: Exact Holding Laws, Deadline Certificates, and Thermodynamic Information Bounds for Relational Protection Architectures

Authors/Creators

Description

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. 

Files

A1-REGISTER.md

Files (3.1 MB)

Name Size
md5:9740ddbec8c4d95e600345a6536257fc
2.8 kB Preview Download
md5:552576010f45a42823d9f4547506299d
3.3 kB Preview Download
md5:c1e30d60ddae656a51d81f2724e563bd
6.0 kB Preview Download
md5:9055aaad4192bec893a9e64fb580027f
6.7 kB Preview Download
md5:d823690b185e6646f8bd214276340dd5
3.6 kB Preview Download
md5:f3e4f7cdf7898e61b5f70909882f0b58
5.7 kB Preview Download
md5:a72dd4763de78ccddcb1b771f90e6fb1
5.5 kB Download
md5:dd337c780c0df068ce41fbdde13df5b1
7.8 kB Download
md5:4c12b23abb60a77f43d1cd4d2034d9a6
380.2 kB Download
md5:606f80949d4de84095fdf1d8bf5ba200
981 Bytes Download
md5:f2041c5a9545cb1cc463c8921d6f91c2
9.4 kB Download
md5:a730d62baef2af36fac8d6b1b8bd295a
329.3 kB Download
md5:8902b11feda831fcbffbbeea8e7d61fd
3.0 kB Download
md5:8038fb04c05270b8b389d4e8b5e5ee53
6.6 kB Download
md5:23b3a30168e79fbf02df6cac7d803296
13.6 kB Download
md5:d27b4bfa7c0902dab612c10fd29b5d9b
14.7 kB Preview Download
md5:8c4a30c434a4625fa1655cde70e3c64e
11.6 kB Preview Download
md5:b174dbf1ae1c12c6890fc8f28ae40588
704 Bytes Preview Download
md5:411ca4a4f0a8dbd42d6f99cbcae45625
5.1 kB Download
md5:ae784491148876e91b4b03e688936de8
146.8 kB Download
md5:6dd99ea84e6220a2e829e4fd54e3fe93
855 Bytes Download
md5:6b6a4ef9d94741de6a2b8ade98439e2b
6.0 kB Download
md5:3f0488948df14dabde99f4ca397bd4c9
614.6 kB Download
md5:df6a4605295c5b5b2433b5600269ca57
295 Bytes Download
md5:dd279993f12bd580ae7b03bf5b969bda
9.3 kB Download
md5:6044a4c472bcace0c71ecb5b5e09d217
421.2 kB Download
md5:3ebd9dfc42e95b4c0359f680a194f2c7
2.6 kB Download
md5:bd4b59a4060dd58b350d7e81c333f9c7
97 Bytes Preview Download
md5:169731bac8a7b6b8d89f3ccfc0bdc2b3
2.8 kB Preview Download
md5:0b2f849a983d46b1726431c358512f69
2.7 kB Preview Download
md5:3566a217a4124144a591b063cc84c99b
7.0 kB Preview Download
md5:b2c7e76cdb98ace53c0a3ea0ce8e5dd7
4.2 kB Preview Download
md5:84ac4ff340d21909e909723ba7e7c65a
1.3 kB Preview Download
md5:85383ff3cb92dcdb811e91af77402bb6
4.9 kB Download
md5:02143f9e313407bced04d58148382fee
801.0 kB Preview Download
md5:54d3975f40aae4d44b6afb95e7730aeb
2.1 kB Preview Download
md5:ebef1e29a302d378d35b9a763a0d0750
7.6 kB Preview Download
md5:3a9873a956d05e098ad49dab3acd6067
4.2 kB Download
md5:5d0cc7250aa28db87aeeb75c9b68240c
263.5 kB Download
md5:1115f21f78e96bbdcc8d2a7dc9dd7825
312 Bytes Download