Maclain Hunter · The Logos Architecture

Authored Proof Knowledge Base

Lean 4 verification registry: source fingerprints, actual axiom dependencies and independently signed timestamps

This is the public source-bound index of hand-typed Maclain Hunter foundational proofs and the formal theorem registry. It connects proof to Logic, Logos, God, and the self-evident Ground of Reality without treating every database record as authored work.

Provenance boundary: Only explicitly first-party-authored Maclain Hunter records, the authored formal theorem registry and exact first-party publication source versions are included. Registration and publication do not transfer verification.

Authored records (439)

Connected systems

4P Engine · MCB Core · 4P-MCB · Canon