Pinned Loading

1. BoP2026 BoP2026 Public

   Turn-based multipolar crisis simulation for IR research and war studies. Eight scenarios, thirteen domains, eight actors. Browser wargame plus headless Oracle API, batch sweeps, and optional LLM NPCs.

   JavaScript

2. aria-moebius aria-moebius Public

   Lean 4 formalization and exhaustive GF(256) Python verifier for the invert-and-affine Mobius Bridge class identity. ARIA instantiates four members of that class. No ARIA attack complexities are cla…

   Lean

3. ghidra-attestation-regime ghidra-attestation-regime Public

   Ghidra plugin that classifies embedded firmware functions into three attestation regimes: formally provable, statistically testable, or adversarial-input exposure.

   Java

4. mir-num-experiment mir-num-experiment Public

   Experimental infrastructure for shadow-price-guided inlining on the MIR JIT: synthetic profiling, the shadow-price mutation pass, and analysis scripts for the compiler-as-NUM papers.

   C

5. chokmah-me.github.io chokmah-me.github.io Public

   Public site for Chokmah LLC: research catalog, papers, and notes. Live at chokmah.me. This repository is the GitHub Pages mirror of the Cloudflare Pages deployment.

   HTML

6. lattice-GoldenDome-AOM lattice-GoldenDome-AOM Public

   Falsification suite for the Golden Dome AOM paper: executed claim gates, the Scenario A payload-spoof cliff, and Monte Carlo coverage sweeps. Software companion to the paper, not the paper itself.

   Python