cp500/deterministic-reasoning-space

The Deterministic Reasoning Space

Interactive companion to The Deterministic Reasoning Space: Casting Hypergraphs onto Bitmap σ-Algebras. A tiny synthetic supply-chain ledger is cast onto bit columns in your browser; queries run as AND/OR/NOT + popcount; belief and plausibility come from polarity columns; Cactus Needle 3 (121M, on-device) compiles questions into typed tool calls; and the paper's property suite (σ-algebra axioms, Dempster–Shafer metric axioms, ultrametric contraction) runs live. All data is synthetic; nothing leaves the tab.