Lean verification registry · Authored proofs · The Logos Architecture
Written formal sequents verified
Axiom-free: true · 1 checked theorem statements.
Lean establishes the listed formal statements and dependencies. The exact authored source, Ground, known premise meanings, application validation and empirical evidence remain separately typed. No unencoded section is certified by a neighboring theorem.
Original source author: Maclain Hunter. Machine formalization: Replit Agent. No original wording was rewritten.
Source registered: 2026-10-03T01:34:28.886Z (not original authorship).
Formalized: 2026-10-03T10:37:05.082Z.
Checked: 2026-10-03T10:38:57.272Z.
Independent timestamp: 2026-10-03T10:42:55.000Z.
Authored source SHA-256: 4a128d061214c71b5daf72d3e0cb4a81b02e4565d9932076473b7de4a5cce9c5
Lean source · Verification JSON · Exact archived source JSON · Compiler report · Current authored source page · Signed release and verification instructions
Lean (version 4.7.0, commit v4.7.0, Release) exitCode=0 'HunterAuthored.inference_1' does not depend on any axioms
{P, P <-> Q, R, R -> P, R -> Q, Q} |= (P & Q) & R
Exact source sequent under finite two-valued propositional semantics. Source proposition meanings and Logic/Logos/God Ground are preserved separately; this checks the inference, not unencoded prose.
Information Based Proof of Origin by Maclain Hunter:
Premises:
P: Information exists. If information didn’t exist you would never be informed of that since that information wouldn’t exist. This is tautological, establishing that information exists and we can be informed of this, which in turn (further) supports the claim.
Q: Logically, and especially by the Principle of Sufficient Reason (PSR), things need Cause and a Logical Origin. Information exists therefore it is logically consistent that the Source of Information (Logos) exists in a manner that must be coherent with Logic (and that must be Logic - fully coherent).
R: Assume that the Source of Information were not itself a piece of information, and if that piece of information were logically incoherent and not the most original, foundational, logical, rational, and valid piece of information (or concept). That would contradict Logic and cannot be logically true as it would represent a disruption of Logical Order (Logos) and the necessary hierarchy/structure of Logic and Reality (Logos).
Logical Proof:
{P, P <-> Q, R, R -> P, R -> Q, Q} |= (P & Q) & R
Conclusion:
Information exists and logically demonstrates the Source of Information (Logos) via principles of Logic that formalize what is inherent in Logic’s coherence and function as “Cause” like the PSR. Through the assumption of the that information’s Source is nothing or not a piece of information (itself) we arrive at logical contradictions, so we know it must be true that the Source of Information is an aspect of Information itself and that this foundational piece of information is necessarily coherent with Logic and is what all information is either coherent and true or incoherent and false according to.
Information (and thus matter and energy, or the entire Cosmos) don’t just come from “nowhere”, it comes from the most inherently valid and fully coherent piece/pieces of information (known as the Logos or God in philosophy and theology).