SHA256SUMS

SHA-256 6136c5b9fcb23b10cbcbaec0be150bdac3be24f907a85988c59110942ce9739a · download the original

0f90ff71963af569905fb41e64838b8d05d104306f3241de8ecf07bd8a0dbb52  lean/SentinelProofs.lean
4005ce1b068194b0a141b583c861688c34cc7dfe4550bdd9d9d135dcbabcfc1b  lean/SentinelTheory.lean
17d7fc8b700f4609d12f12daf9e97b0da670a9945a8db9c4e65f5fca62523b8c  lean/SentinelTheory/Dynamics.lean
533e49412b47bb0b2fb21e1b3e943b1b267e08f4f81bc9b809c23c37c795c7ff  lean/SentinelTheory/Evidence.lean
a20dad0d1b8ff42d93671ac22089ba3db7e231b01c7afb6dc104c52e4e624e53  lean/SentinelTheory/Information.lean
b2785ef80e6f5826e68e9ffddd6ded59eb1dbfb7ad8a3f6fa08a38a2bbc94916  lean/SentinelTheory/Language.lean
1016eef2165c88340bd323c0b2db14c19a900e0db1ec0c9f0554c6c64afa2153  lean/SentinelTheory/Latest.lean
de9c2c01a48e27f352f1576184b67131790b39345e9ba3eaeef221c0a0cfbbb2  lean/SentinelTheory/Learning.lean
abeb643ef1a39dd7182593110dd00b83ffa4b7ae60f41e65dfaf7db97e2ea476  lean/SentinelTheory/Pathways.lean
922df5b1afd29122860b23bf61da5d020579a5d0375fdb7069cadc469eab877b  lean/SentinelTheory/Probability.lean
3f86943920e0bcb30e1fd4510f721b4fcb5cb3934c51117ea365bbe48c16db3d  lean/SentinelTheory/Signals.lean
63a131c02a40ec2000f946e162a62951015912159ef1b1d173267b6ca2e47dd8  lean/SentinelTheory/Structure.lean
bf2f02c6529ac6e65694e3763d7232d645252607719ae67e261117f18a52d82c  lean/SentinelTheory/Timing.lean
8f8d0f6e5e69b8b7b7fdc7eb8642fec1200b4671d27464eabec2b882737999bb  lean/SentinelTheory/Values.lean
38284392194bdbe1dd5093e781fa4a515f8971e9e39c142a5ff385450a31904b  lean/Audit.lean
358c8a23c3d9631b615074876fb9dee5c6800789faa606f52436e4f41b338f54  lean/lakefile.toml
42779d67b81608af8a12aa4328d2ab47ca201925b3b2bd68369587b5340bb434  lean/lean-toolchain
3ac00c566bbfca931e7e4785dd9012e378c8219711bb5796e603869acc387b58  lean/lake-manifest.json
011615d80e4d30f3374f9b9e1a1603d73a7452d7e69ca1433c889def00caea01  lean/check-proofs.sh
eb63e4a80167f7f603f726dbea62331a8166299709ba6eb4303aea493845a788  lean/setup-and-check.sh
9e3e6ca1fb839d65b20ff5e0b9366f3bd56b357d5e672d27c8e6fb227ef9b35d  lean/audit-axioms.py
5cc6012997aea270327145f2e1335473884e5bdee3be483412dd386f8b080254  lean/proof-inventory.py
de97a2afc8f0f1743ae55764722a37982f697f4eed0f4bb0fcb9774b9c748624  tests/axiom_audit_check.py
fa553f39047276bb9ae1aacdecaf393b573987fd19b58a18b63c9bc50d48a87e  docs/theory-coverage.json
bc9737d7febde947bc2856abac09db09e71890765094cf4e91831237887944e7  docs/theory-source-snapshot.json
6d6b1a2a9b1944b533492b837c75745dacfa6b2d299ca318b08676bc070efce5  docs/build-theory-inventory.py
4515b0e0d324dfec946f19c1a9708548a60bd9e177fb774dddc952bf7f7f4c25  docs/coverage-2026-10-29/evidence.json
17e228761fa91de8f65344053e0845a4c93982c6148cd2ae670e7560399cf31e  docs/coverage-2026-10-29/language.json
b61b3d4ced94c3307dcf7af8297fdf13ff934795ac63907564f4936c6d8ddfef  docs/coverage-2026-10-29/timing.json
d274ce91dab961da6a02dd1e41d7b1ebd8e505107d39bf1b13fa428ff5ce93da  docs/coverage-2026-10-29/values.json