Self-hostable paraconsistent HoTT LLM-to-Lean acceptance gateway. Runs proof attempts through security preflight, Lean checks, theorem-fingerprint locks, and ShadowHoTT bilattice routing for accept/repair/reject/human-review decisions.

Shadow-HoTT: a Clifford/Pauli quantum-circuit linter with paraconsistent diagnostics.

a fork of Lean 4 (v4.28.0) implementing a true paraconsistent type-theoretic kernel — the principle of explosion — "ex falso quodlibet" — is disabled at the kernel level.

A complete theoretical framework for ternary computing architecture grounded in a 7+1 dimensional ontological model, Clifford algebra, and Bott periodicity. Binary logic is not a fundamental truth. It is an observational artifact. Prove me wrong.

A Complete Technical Translation of the Voynich Manuscript into Executable IMASM Architecture

A paraconsistent computer. It runs programs that sustain contradiction permanently and proves they cannot collapse