Commit History
-
toolchain rule: Rust 1.81 + clippy, integer/ternary only
acer +1: Claude Opus 5 (1M context)Pin channel 1.81.0 with clippy+rustfmt; rust-version = "1.81"; replace rust-1.97-independent-verification.yml with rust-1.81-clippy-verification.yml (clippy --all-targets -D warnings, hard fail on any f32/f64, tests, receipt). Re-run on real rustc 1.81.0 (eeb90cda1) before landing: clippy -D warnings clean, zero float types, all tests pass. The run records in docs/ now read 1.81 because the runs were actually repeated on 1.81 - not because the lines were edited. Lint fix needed to reach clippy-clean on 1.81 (behaviour-preserving): needless_range_loop: iterate axes.iter_mut().enumerate() instead of indexing 0..60 (src/lib.rs:690). 30/30 tests. Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>4c7442f
-
Add watcher gate and omnibit pixel
Kevin Crutt67cba62 -
Fix N-cylinder capacity receipts
Kevin Crutt62a5314 -
Measure N-Q-prism residual selector bits
Kevin Cruttfdbac42 -
Add PIE world-slice harness
Kevin Cruttaf42042 -
Add Liris multi-cylinder Q-PRISM slice harness
Kevin Crutt4ae6a28 -
Path 2 — two-shadow recovery with NO store (the double binary black hole)
The complement to Path 1 (content-addressed recall of a RETAINED object). Path 2 retains nothing: recover an object from TWO jointly-injective lossy shadows via CRT over prime cylinders. Each shadow (residue mod a prime) is provably non-injective alone; the two cut the fiber to a singleton and recover EXACTLY, no store. Honest Shannon boundary: Held::InsufficientJointCapacity when p1*p2 < range (two shadows can't jointly carry log2(range) bits). Federation form: acer holds only shadow_a, liris only shadow_b, object in no store; recovery is the consent of two poles, single pole recovers nothing = the capstone's I(X;S2|S1)>=H(X|S1) in code. 9/9 tests (5 unit + 4 federation), pure-Rust zero-dep, WSL rustc. Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01DAi1nuxgvuMBwsSsvc4eeT16855d7