Hunterian Proof Network

Name: Hunterian Philosophy and 4P-MCB Proof Network
Creator: Replit Agent
License: https://4p-engine.com/terms

Logic-forward philosophy, independently checkable proof and constructive MCB innovation.

524 source-scoped proof nodes · 12 network laws · three proof assistants.

499 theorem witnesses across 344 authored source records, plus 25 native MCB witnesses. Lean and Coq check the whole-network conjunction and membership certificate with zero axiom dependencies. Isabelle/HOL checks the exported theorem schemas and a closed aggregate certificate without oracle or skipped-proof dependencies.

Ground: Logic / Logos / God. Authored sources and MCB design: Maclain Hunter. Machine formalization and network certificate: Replit Agent.

What the whole-network proof establishes

The conjunction and membership certificate for every included closed quantified theorem statement, plus scoped composition licenses. Source-local symbols and premises are not identified across records without an explicit bridge.

Each source retains its own symbols and explicit premises. Composition licenses cover chained implications, many-conclusion reasoning, explicit context unions and equivalence transport. Topic resemblance is not silently promoted into a proof edge.

Lean source · Coq source · Isabelle source · Source-bearing JSON-LD · Checker attestation

Coq checker witness · Isabelle checker witness · Lean checker witness

Independent existence timestamp: 2026-10-05T14:52:26.000Z from FreeTSA. Receipt and artifact hashes · Signed timestamp · Signature and nonce verification.

Independent signed existence timestamp for this manifest and its content-addressed artifacts. Not legal notarization, authorship adjudication, or retroactive dating of authored work.

The certificate binds the exact archived native MCB input linked above; later working-tree revisions are not silently included.

Checked 2026-10-05T14:52:26.457Z. Not an assertion that every unencoded passage or the union of every philosophical premise has been formalized. Not a metatheoretic proof of Lean's consistency. This new certificate does not inherit the older release timestamp.

Cross-assistant representation and exact verification scope

Lean Bool/Nat/Int map to bool/nat/Z; the universe-bound identity and LogicalGround record are retained.

Universe quantification becomes exported polymorphic HOL theorem schemas. The closed aggregate uses nat instances of carrier-polymorphic schemas. This is not a claim that HOL has first-class Type quantification. Code/data type equality is represented by equal reified alias codes, alongside identical HOL type synonyms. LogicalGround proof fields are law predicates, with the polymorphic identity law exported separately. ValidCycleUnit coherent/lawful proof fields are erased and their uniquely permitted Boolean values fixed to True.

Each checker verifies its displayed target statements and representation judgments. Translation correspondence is an explicit source-bound engineering mapping, not a kernel proof of equivalence between proof assistants. Source prose and empirical claims retain their original boundaries.

Original source context and deeper philosophical interpretation

The authored theological and personal claims remain intact in the linked original sources. The public entry point emphasizes demonstrated logical work; it neither deletes those claims nor assigns an unencoded claim a Lean certification.

Read the original proof archive · Read the Logos Architecture

Every source with zero-axiom witnesses

Open a source to inspect its exact title, every individually addressable theorem, and any unresolved formalization. The broader authored release also has six verified witnesses with named axiom dependencies; those remain visible in the complete registry and are not mislabeled as members of this zero-dependency network.

Logical work	Zero-axiom witnesses	Source coverage
Reason as the Cause of the Universe (God) is Rationally Consistent Source provenance and theorem records ‘Reason as the Cause of the Universe (God) is Rationally Consistent’ by Maclain Hunter Exact source and Lean evidence HunterAuthored.inference_1 HunterAuthored.inference_2	2	verified
A Demand of Proof for God Source provenance and theorem records A Demand of Proof for God by Maclain Hunter Exact source and Lean evidence HunterAuthored.inference_1	1	verified
A Logical Proof against Heat Death Source provenance and theorem records A Logical Proof against Heat Death Exact source and Lean evidence HunterAuthored.source_identity_rule	1	partial
A Proof of God and True Brilliance through Logic Source provenance and theorem records A Proof of God and True Brilliance through Logic Exact source and Lean evidence HunterAuthored.inference_1 HunterAuthored.inference_2 HunterAuthored.inference_3 HunterAuthored.source_identity_rule	4	verified
A Response to Opposition Source provenance and theorem records A Response to Opposition by Maclain Hunter Exact source and Lean evidence HunterAuthored.inference_1	1	verified
A Set of Rational Definitions of God Source provenance and theorem records A Set of Rational Definitions of God by Maclain Hunter Exact source and Lean evidence HunterAuthored.inference_1 HunterAuthored.source_identity_rule	2	partial
Absolute Logic in Universal Contingency Source provenance and theorem records Absolute Logic in Universal Contingency by Maclain Hunter Exact source and Lean evidence HunterAuthored.inference_1	1	verified
Ad Hominem and the Law of Reason Source provenance and theorem records Ad Hominem and the Law of Reason Exact source and Lean evidence HunterAuthored.inference_1	1	verified
AEP and Optimized Coherence Source provenance and theorem records AEP and Optimized Coherence Exact source and Lean evidence HunterAuthored.inference_1	1	verified
AEP Logical Reality Source provenance and theorem records AEP Logical Reality Exact source and Lean evidence HunterAuthored.inference_2	1	partial
AEP Logical Simulation Source provenance and theorem records AEP Logical Simulation Exact source and Lean evidence HunterAuthored.inference_2	1	partial
AEP Safety Systems and Controls Source provenance and theorem records AEP Safety Systems and Controls Exact source and Lean evidence HunterAuthored.inference_1	1	verified
Agnosticism and Knowability Source provenance and theorem records Agnosticism and Knowability Exact source and Lean evidence HunterAuthored.inference_1	1	verified
AI and Intellect Source provenance and theorem records AI and Intellect by Maclain Hunter Exact source and Lean evidence HunterAuthored.inference_1	1	verified
All Equals All Source provenance and theorem records All Equals All by Maclain Hunter Exact source and Lean evidence HunterAuthored.inference_1 HunterAuthored.source_identity_rule	2	verified
All, Contextual Identity, and Cooperative Coherence Source provenance and theorem records All, Contextual Identity, and Cooperative Coherence Exact source and Lean evidence HunterAuthored.inference_1 HunterAuthored.inference_2 HunterAuthored.inference_3 HunterAuthored.inference_4	4	verified
Allah as the Real Origin Source provenance and theorem records Allah as the Real Origin by Maclain Hunter Exact source and Lean evidence HunterAuthored.inference_1	1	verified
Ancient Myths and Logic Source provenance and theorem records Ancient Myths and Logic by Maclain Hunter Exact source and Lean evidence HunterAuthored.inference_1 HunterAuthored.source_identity_rule	2	verified
ASR Energy — Compiled Authored Archive Source provenance and theorem records ASR Energy — Compiled Authored Archive Exact source and Lean evidence HunterAuthored.inference_1 HunterAuthored.inference_2 HunterAuthored.inference_3 HunterAuthored.inference_4 HunterAuthored.inference_5 HunterAuthored.inference_6 HunterAuthored.inference_7 HunterAuthored.inference_8 HunterAuthored.inference_9 HunterAuthored.inference_11 HunterAuthored.inference_13 HunterAuthored.source_identity_rule	12	partial
Atheism and the Axiom of Theology Source provenance and theorem records Atheism and the Axiom of Theology Exact source and Lean evidence HunterAuthored.inference_1	1	verified
Atheism and the Defined Logical Source Source provenance and theorem records Atheism and the Defined Logical Source Exact source and Lean evidence HunterAuthored.inference_1	1	verified
Atheism and Theos — Post-Hoc Version Source provenance and theorem records Atheism and Theos — Post-Hoc Version Exact source and Lean evidence HunterAuthored.inference_1	1	verified
Atheism, Theism, and the Axiomatic Theos Source provenance and theorem records Atheism, Theism, and the Axiomatic Theos Exact source and Lean evidence HunterAuthored.inference_1	1	verified
Atheism’s Illogic and the Origin’s Divinity Source provenance and theorem records Atheism’s Illogic and the Origin’s Divinity by Maclain Hunter Exact source and Lean evidence HunterAuthored.inference_1 HunterAuthored.source_identity_rule	2	verified
Atheism’s Self-Refuting Reality Source provenance and theorem records Atheism’s Self-Refuting Reality by Maclain Hunter Exact source and Lean evidence HunterAuthored.inference_1	1	verified
Atheist’s Conscience Source provenance and theorem records Atheist’s Conscience by Maclain Hunter Exact source and Lean evidence HunterAuthored.inference_1	1	verified
Authored Coherence — Scientific-Test Passage Source provenance and theorem records Authored Coherence — Scientific-Test Passage Exact source and Lean evidence HunterAuthored.source_identity_rule	1	partial
Authored Identity and Proof of God Source provenance and theorem records Authored Identity and Proof of God Exact source and Lean evidence HunterAuthored.inference_1	1	verified
Authored Identity Form — Supplied Version Source provenance and theorem records Authored Identity Form — Supplied Version Exact source and Lean evidence HunterAuthored.inference_1 HunterAuthored.source_identity_rule	2	verified
Authored Identity Form and Necessary Reason Source provenance and theorem records Authored Identity Form and Necessary Reason Exact source and Lean evidence HunterAuthored.inference_1 HunterAuthored.source_identity_rule	2	verified
Authored Logos and Christian Standing Source provenance and theorem records Authored Logos and Christian Standing Exact source and Lean evidence HunterAuthored.inference_1	1	verified
Belief in God (Logos) is Knowledge Source provenance and theorem records Belief in God (Logos) is Knowledge by Maclain Hunter Exact source and Lean evidence HunterAuthored.inference_1 HunterAuthored.source_identity_rule	2	verified
Bell's Theorem and Global Coherence Source provenance and theorem records Bell's Theorem and Global Coherence Exact source and Lean evidence HunterAuthored.inference_1	1	verified
Biblical Logos and Absolute Truth Source provenance and theorem records Biblical Logos and Absolute Truth Exact source and Lean evidence HunterAuthored.inference_1	1	verified
Bivalence, Energy, and Computation Source provenance and theorem records Bivalence, Energy, and Computation Exact source and Lean evidence HunterAuthored.inference_1	1	verified
Burden and Presupposition Source provenance and theorem records Burden and Presupposition by Maclain Hunter Exact source and Lean evidence HunterAuthored.inference_1	1	verified
Certainty From Paradoxical Dichotomy Source provenance and theorem records Certainty From Paradoxical Dichotomy by Maclain Hunter Exact source and Lean evidence HunterAuthored.inference_1 HunterAuthored.source_identity_rule	2	verified
Certainty From Paradoxical Dichotomy by Maclain Hunter — directly pasted concise copy Source provenance and theorem records Certainty From Paradoxical Dichotomy by Maclain Hunter — directly pasted concise copy Exact source and Lean evidence HunterAuthored.inference_1	1	verified
CH, Set Identity, and Axiomatic Logic Source provenance and theorem records CH, Set Identity, and Axiomatic Logic Exact source and Lean evidence HunterAuthored.inference_1 HunterAuthored.source_identity_rule	2	verified
Christian Logos and Modal Coherence Source provenance and theorem records Christian Logos and Modal Coherence Exact source and Lean evidence HunterAuthored.inference_1	1	verified
Coherence and Debate Victory Source provenance and theorem records Coherence and Debate Victory Exact source and Lean evidence HunterAuthored.inference_1	1	verified
Coherence as Ultimate Wealth Source provenance and theorem records Coherence as Ultimate Wealth Exact source and Lean evidence HunterAuthored.inference_1	1	verified
Coherent Formal Systems of Logic Source provenance and theorem records Coherent Formal Systems of Logic Exact source and Lean evidence HunterAuthored.inference_1	1	verified
Coherent Personal Agency and Logic Source provenance and theorem records Coherent Personal Agency and Logic Exact source and Lean evidence HunterAuthored.inference_1	1	verified
Coherent Reality, Reason, Rationality, and Logic Source provenance and theorem records Coherent Reality, Reason, Rationality, and Logic by Maclain Hunter Exact source and Lean evidence HunterAuthored.inference_1 HunterAuthored.source_identity_rule	2	verified
Coherent Religion and the Superhuman Origin Source provenance and theorem records Coherent Religion and the Superhuman Origin Exact source and Lean evidence HunterAuthored.inference_1	1	verified
Coherent Theism and Exclusions Source provenance and theorem records Coherent Theism and Exclusions Exact source and Lean evidence HunterAuthored.inference_1	1	verified
Concise Proof and Process Source provenance and theorem records Concise Proof and Process Exact source and Lean evidence HunterAuthored.inference_1	1	verified
Conditional Determinism Source provenance and theorem records Conditional Determinism Exact source and Lean evidence HunterAuthored.conditional_returns_declared_branch	1	partial
Conditional Determinism Source provenance and theorem records Conditional Determinism Exact source and Lean evidence HunterAuthored.conditional_returns_declared_branch	1	partial
Consistency and Completeness Source provenance and theorem records Consistency and Completeness by Maclain Hunter Exact source and Lean evidence HunterAuthored.inference_1	1	partial
Debunking Maxwell’s Demon Source provenance and theorem records Debunking Maxwell’s Demon Exact source and Lean evidence HunterAuthored.inference_1 HunterAuthored.inference_2	2	verified
Defined God and Logical Existence Source provenance and theorem records Defined God and Logical Existence Exact source and Lean evidence HunterAuthored.inference_1	1	verified
Definitions, Etymology, and Elaborations Source provenance and theorem records Definitions, Etymology, and Elaborations by Maclain Hunter Exact source and Lean evidence HunterAuthored.inference_1	1	verified
Degree from the University of Universal Logic — Educational Attainment Proposal Source provenance and theorem records Degree from the University of Universal Logic — Educational Attainment Proposal Exact source and Lean evidence HunterAuthored.inference_1 HunterAuthored.source_identity_rule	2	verified
Deism and Monism Source provenance and theorem records Deism and Monism Exact source and Lean evidence HunterAuthored.inference_1	1	verified
Demonstrated Logical Knowledge and Standing Source provenance and theorem records Demonstrated Logical Knowledge and Standing Exact source and Lean evidence HunterAuthored.inference_1	1	verified
Disproving Universal and Physical Uncertainty Source provenance and theorem records Disproving Universal and Physical Uncertainty Exact source and Lean evidence HunterAuthored.inference_1 HunterAuthored.source_identity_rule	2	verified
Dynamic Universal Proof (Theorem of Logos) Source provenance and theorem records Dynamic Universal Proof (Theorem of Logos) Exact source and Lean evidence HunterAuthored.logical_ground_necessary_existence	1	partial
Dynamic Universal Proof (Theorem of Logos) Source provenance and theorem records Dynamic Universal Proof (Theorem of Logos) Exact source and Lean evidence HunterAuthored.logical_ground_necessary_existence HunterAuthored.source_identity_rule	2	partial
Empirical Coherence and Physical Fields Source provenance and theorem records Empirical Coherence and Physical Fields Exact source and Lean evidence HunterAuthored.inference_2	1	partial
Empirically Observable Formal Proof Source provenance and theorem records Empirically Observable Formal Proof Exact source and Lean evidence HunterAuthored.inference_1 HunterAuthored.source_identity_rule	2	verified
Empiricism and Existentialism Source provenance and theorem records Empiricism and Existentialism Exact source and Lean evidence HunterAuthored.inference_1	1	verified
Ergot, Ergotamine, LSD, and God Source provenance and theorem records Ergot, Ergotamine, LSD, and God by Maclain Hunter Exact source and Lean evidence HunterAuthored.inference_1 HunterAuthored.inference_4	2	partial
Essential Logic and Extraterrestrial Life Source provenance and theorem records Essential Logic and Extraterrestrial Life by Maclain Hunter Exact source and Lean evidence HunterAuthored.source_identity_rule	1	partial
Everything is Proof Source provenance and theorem records Everything is Proof by Maclain Hunter Exact source and Lean evidence HunterAuthored.inference_1	1	verified
Evidence Requires Logic Source provenance and theorem records Evidence Requires Logic by Maclain Hunter Exact source and Lean evidence HunterAuthored.inference_1	1	verified
Exploring Concepts of Nothing and Nowhere Source provenance and theorem records Exploring Concepts of Nothing and Nowhere by Maclain Hunter Exact source and Lean evidence HunterAuthored.inference_1	1	verified
Exploring Meaning’s Necessary Logical Roots Source provenance and theorem records Exploring Meaning’s Necessary Logical Roots Exact source and Lean evidence HunterAuthored.inference_1 HunterAuthored.source_identity_rule	2	verified
Exposing Euthyphro’s False Dilemma Source provenance and theorem records Exposing Euthyphro’s False Dilemma by Maclain Hunter Exact source and Lean evidence HunterAuthored.inference_1	1	verified
Fallacy and Loyalty to Reason Source provenance and theorem records Fallacy and Loyalty to Reason Exact source and Lean evidence HunterAuthored.inference_1	1	verified
Finite and Infinite Logos Source provenance and theorem records Finite and Infinite Logos Exact source and Lean evidence HunterAuthored.inference_1	1	verified
Finite Selves and True Logical Essence Source provenance and theorem records Finite Selves and True Logical Essence Exact source and Lean evidence HunterAuthored.inference_1	1	verified
Fixing Atheist Illogic Source provenance and theorem records Fixing Atheist Illogic by Maclain Hunter Exact source and Lean evidence HunterAuthored.inference_1 HunterAuthored.source_identity_rule	2	verified
Formal Proofs of Logos Existence — Compilation Source provenance and theorem records Formal Proofs of Logos Existence — Compilation Exact source and Lean evidence HunterAuthored.inference_1	1	verified
Foundation, Universal Law, and Interpretation Source provenance and theorem records Foundation, Universal Law, and Interpretation Exact source and Lean evidence HunterAuthored.inference_1	1	verified
Four Proofs (4P) Source provenance and theorem records Four Proofs (4P) Exact source and Lean evidence HunterAuthored.inference_2 HunterAuthored.inference_4 HunterAuthored.inference_5 HunterAuthored.source_identity_rule	4	partial
Fourth Sieve Source provenance and theorem records Fourth Sieve Exact source and Lean evidence HunterAuthored.inference_1	1	verified
G6 Doctrine Enforcement Source provenance and theorem records G6 Doctrine Enforcement Exact source and Lean evidence HunterAuthored.g6_assignment_enforcement	1	partial
G6 Doctrine Enforcement Source provenance and theorem records G6 Doctrine Enforcement Exact source and Lean evidence HunterAuthored.g6_assignment_enforcement	1	partial
Get That Gish Out of Here Source provenance and theorem records Get That Gish Out of Here by Maclain Hunter Exact source and Lean evidence HunterAuthored.inference_1	1	verified
God as the Origin of Logic and Reality Source provenance and theorem records God as the Origin of Logic and Reality by Maclain Hunter Exact source and Lean evidence HunterAuthored.inference_1	1	verified
God as Ultimate Reality Source provenance and theorem records God as Ultimate Reality Exact source and Lean evidence HunterAuthored.inference_1	1	verified
God Defines Judaism Source provenance and theorem records God Defines Judaism by Maclain Hunter Exact source and Lean evidence HunterAuthored.inference_1 HunterAuthored.source_identity_rule	2	verified
God, Attributes, and the Standard of Reality Source provenance and theorem records God, Attributes, and the Standard of Reality Exact source and Lean evidence HunterAuthored.inference_1	1	verified
God, Coherence, and Chaos Source provenance and theorem records God, Coherence, and Chaos Exact source and Lean evidence HunterAuthored.inference_1	1	verified
God, Non-Dual Reality, and Personhood Source provenance and theorem records God, Non-Dual Reality, and Personhood Exact source and Lean evidence HunterAuthored.inference_1	1	verified
God's Identity and Nothing's Identity Source provenance and theorem records God's Identity and Nothing's Identity Exact source and Lean evidence HunterAuthored.inference_1 HunterAuthored.source_identity_rule	2	verified
God’s Rational Existence and Definition Source provenance and theorem records God’s Rational Existence and Definition by Maclain Hunter Exact source and Lean evidence HunterAuthored.inference_1 HunterAuthored.source_identity_rule	2	verified
Gödelian Incompleteness and Logical Limits Source provenance and theorem records Gödelian Incompleteness and Logical Limits Exact source and Lean evidence HunterAuthored.inference_1	1	verified
Good Faith and Logical Argumentation Source provenance and theorem records Good Faith and Logical Argumentation Exact source and Lean evidence HunterAuthored.inference_1	1	verified
Grand Loop — Further Supplied Version Source provenance and theorem records Grand Loop — Further Supplied Version Exact source and Lean evidence HunterAuthored.inference_1	1	verified
Grounded FOL and FCL Source provenance and theorem records Grounded FOL and FCL Exact source and Lean evidence HunterAuthored.inference_1	1	verified
How I Know God Source provenance and theorem records How I Know God by Maclain Hunter Exact source and Lean evidence HunterAuthored.inference_1	1	verified
How Motion Works Source provenance and theorem records How Motion Works by Maclain Hunter Exact source and Lean evidence HunterAuthored.inference_1	1	verified
Human Reason and Reason in General Source provenance and theorem records Human Reason and Reason in General by Maclain Hunter Exact source and Lean evidence HunterAuthored.inference_1	1	verified
Humanity vs Reason Source provenance and theorem records Humanity vs Reason by Maclain Hunter Exact source and Lean evidence HunterAuthored.inference_1	1	verified
Hunter vs Musk and the Traditional Economy Source provenance and theorem records Hunter vs Musk and the Traditional Economy by Maclain Hunter Exact source and Lean evidence HunterAuthored.inference_1	1	verified
I Am and the Coherent Mind Source provenance and theorem records I Am and the Coherent Mind Exact source and Lean evidence HunterAuthored.inference_1	1	verified
I Know That I Know Source provenance and theorem records I Know That I Know by Maclain Hunter Exact source and Lean evidence HunterAuthored.inference_2	1	partial
I Know What I Know Source provenance and theorem records I Know What I Know Exact source and Lean evidence HunterAuthored.source_identity_rule	1	partial
I’m Right Either Way Source provenance and theorem records I’m Right Either Way by Maclain Hunter Exact source and Lean evidence HunterAuthored.inference_1 HunterAuthored.source_identity_rule	2	verified
Idealism and Grounded Duality Source provenance and theorem records Idealism and Grounded Duality Exact source and Lean evidence HunterAuthored.inference_1	1	verified
If, Then, But, Since Source provenance and theorem records If, Then, But, Since Exact source and Lean evidence HunterAuthored.inference_1 HunterAuthored.source_identity_rule	2	verified
Incoherent God <-> Incoherent Thought Source provenance and theorem records Incoherent God <-> Incoherent Thought by Maclain Hunter Exact source and Lean evidence HunterAuthored.inference_1	1	verified
Infinite Cause, Dynamic Reality, and the Axiom of Logic Source provenance and theorem records Infinite Cause, Dynamic Reality, and the Axiom of Logic Exact source and Lean evidence HunterAuthored.inference_1 HunterAuthored.inference_2 HunterAuthored.source_identity_rule	3	verified
Information Based Proof of Origin Source provenance and theorem records Information Based Proof of Origin by Maclain Hunter Exact source and Lean evidence HunterAuthored.inference_1	1	verified
Interpretation is Logic Source provenance and theorem records Interpretation is Logic by Maclain Hunter Exact source and Lean evidence HunterAuthored.inference_1	1	verified
Invariant Tautological Fragment Source provenance and theorem records Invariant Tautological Fragment by Maclain Hunter Exact source and Lean evidence HunterAuthored.inference_1 HunterAuthored.inference_2 HunterAuthored.inference_3 HunterAuthored.inference_4 HunterAuthored.inference_5 HunterAuthored.inference_6 HunterAuthored.inference_7 HunterAuthored.inference_8	8	verified
Irrelevant Acceptance Source provenance and theorem records Irrelevant Acceptance Exact source and Lean evidence HunterAuthored.inference_1 HunterAuthored.source_identity_rule	2	verified
Logic, Identity and Coherence — Authored Proof Source provenance and theorem records Jesus and I by Maclain Hunter Exact source and Lean evidence HunterAuthored.inference_1 HunterAuthored.inference_2	2	verified
Logic, Identity and Coherence — Authored Proof Source provenance and theorem records Jesus and the Shared Logos Essence Exact source and Lean evidence HunterAuthored.inference_1	1	verified
Knowing Logic and Proof — Full Supplied Copy Source provenance and theorem records Knowing Logic and Proof — Full Supplied Copy Exact source and Lean evidence HunterAuthored.inference_1	1	verified
Knowing Proof and Its Logos Source Source provenance and theorem records Knowing Proof and Its Logos Source Exact source and Lean evidence HunterAuthored.inference_1	1	verified
Knowing Proof and Logic Source provenance and theorem records Knowing Proof and Logic Exact source and Lean evidence HunterAuthored.inference_1	1	verified
Knowledge and Application of Logic — Supplied Concise Copy Source provenance and theorem records Knowledge and Application of Logic — Supplied Concise Copy Exact source and Lean evidence HunterAuthored.inference_1	1	verified
Knowledge and Application of Logic Source provenance and theorem records Knowledge and Application of Logic by Maclain Hunter Exact source and Lean evidence HunterAuthored.inference_1 HunterAuthored.source_identity_rule	2	verified
Leibniz's Monads and Universal Logos Source provenance and theorem records Leibniz's Monads and Universal Logos Exact source and Lean evidence HunterAuthored.inference_1	1	verified
Leveraging Lars’ Logic Source provenance and theorem records Leveraging Lars’ Logic by Maclain Hunter Exact source and Lean evidence HunterAuthored.inference_1 HunterAuthored.inference_2	2	verified
Life and Death Source provenance and theorem records Life and Death by Maclain Hunter Exact source and Lean evidence HunterAuthored.inference_1	1	verified
Logic and Incoherent Physical Models Source provenance and theorem records Logic and Incoherent Physical Models Exact source and Lean evidence HunterAuthored.inference_1 HunterAuthored.source_identity_rule	2	verified
Logic and Its Self-Meeting Standard Source provenance and theorem records Logic and Its Self-Meeting Standard Exact source and Lean evidence HunterAuthored.inference_1	1	verified
Logic and Logical Structure as the Source and Standard of Evidence Source provenance and theorem records Logic and Logical Structure as the Source and Standard of Evidence Exact source and Lean evidence HunterAuthored.inference_1	1	verified
Logic and the Battle of the Sexes Source provenance and theorem records Logic and the Battle of the Sexes Exact source and Lean evidence HunterAuthored.inference_1 HunterAuthored.source_identity_rule	2	verified
Logic and the Resolution of Problems Source provenance and theorem records Logic and the Resolution of Problems Exact source and Lean evidence HunterAuthored.inference_1	1	verified
Logic Applied to Needs Source provenance and theorem records Logic Applied to Needs by Maclain Hunter Exact source and Lean evidence HunterAuthored.inference_1	1	verified
Logic as Foundation, not Presupposition Source provenance and theorem records Logic as Foundation, not Presupposition Exact source and Lean evidence HunterAuthored.inference_1 HunterAuthored.source_identity_rule	2	verified
Logic as Reality’s Origin Source provenance and theorem records Logic as Reality’s Origin by Maclain Hunter Exact source and Lean evidence HunterAuthored.inference_1	1	verified
Logic as the Basis of Science, Education, and Qualified Teaching Source provenance and theorem records Logic as the Basis of Science, Education, and Qualified Teaching Exact source and Lean evidence HunterAuthored.inference_1	1	verified
Logic Beyond Infinity and Duality Source provenance and theorem records Logic Beyond Infinity and Duality Exact source and Lean evidence HunterAuthored.inference_1	1	verified
Logic Climbs Ladders Source provenance and theorem records Logic Climbs Ladders by Maclain Hunter Exact source and Lean evidence HunterAuthored.inference_1	1	verified
Logic Contains Energy Source provenance and theorem records Logic Contains Energy by Maclain Hunter Exact source and Lean evidence HunterAuthored.inference_1	1	verified
Logic in Physics Source provenance and theorem records Logic in Physics by Maclain Hunter Exact source and Lean evidence HunterAuthored.source_identity_rule	1	partial
Logic is God in Reality Source provenance and theorem records Logic is God in Reality by Maclain Hunter Exact source and Lean evidence HunterAuthored.inference_1	1	verified
Logic is Most Logical Source provenance and theorem records Logic is Most Logical by Maclain Hunter Exact source and Lean evidence HunterAuthored.inference_1	1	verified
Logic is Reason, Logos, and the Logical Foundation of Existence Source provenance and theorem records Logic is Reason, Logos, and the Logical Foundation of Existence Exact source and Lean evidence HunterAuthored.inference_1	1	verified
Logic Mandates MCB Source provenance and theorem records Logic Mandates MCB by Maclain Hunter Exact source and Lean evidence HunterAuthored.inference_1	1	verified
Logic Preserved through Coherent Transformations Source provenance and theorem records Logic Preserved through Coherent Transformations Exact source and Lean evidence HunterAuthored.inference_1 HunterAuthored.source_identity_rule	2	verified
Logic Says Ergo I Say Source provenance and theorem records Logic Says Ergo I Say by Maclain Hunter Exact source and Lean evidence HunterAuthored.inference_1 HunterAuthored.inference_2 HunterAuthored.inference_3 HunterAuthored.source_identity_rule	4	verified
Logic with YHVH Source provenance and theorem records Logic with YHVH by Maclain Hunter Exact source and Lean evidence HunterAuthored.inference_1	1	verified
Logic, Coherence, and Reality Source provenance and theorem records Logic, Coherence, and Reality Exact source and Lean evidence HunterAuthored.inference_1 HunterAuthored.source_identity_rule	2	verified
Logic, Energy, and Electrical Identity Source provenance and theorem records Logic, Energy, and Electrical Identity Exact source and Lean evidence HunterAuthored.inference_1 HunterAuthored.source_identity_rule	2	verified
Logic, Ethics, and Epistemology Source provenance and theorem records Logic, Ethics, and Epistemology by Maclain Hunter Exact source and Lean evidence HunterAuthored.inference_1 HunterAuthored.source_identity_rule	2	verified
Logic, Identity and Coherence — Authored Proof Source provenance and theorem records Logic, Identity, and Prophetic Insight Exact source and Lean evidence HunterAuthored.source_identity_rule	1	partial
Logic, Logical Reasoning, Forms, and Applications Source provenance and theorem records Logic, Logical Reasoning, Forms, and Applications Exact source and Lean evidence HunterAuthored.inference_2 HunterAuthored.source_identity_rule	2	partial
Logic, Nature, and Logical Supernature Source provenance and theorem records Logic, Nature, and Logical Supernature Exact source and Lean evidence HunterAuthored.source_identity_rule	1	partial
Logic, Proof, and Coherence Source provenance and theorem records Logic, Proof, and Coherence by Maclain Hunter Exact source and Lean evidence HunterAuthored.inference_1	1	verified
Logic, Reality, and Fact Source provenance and theorem records Logic, Reality, and Fact Exact source and Lean evidence HunterAuthored.inference_1	1	verified
Logic, Reality, and Reflexive Coherence Source provenance and theorem records Logic, Reality, and Reflexive Coherence Exact source and Lean evidence HunterAuthored.source_identity_rule	1	partial
Logic, Skepticism, and Pragmatism Source provenance and theorem records Logic, Skepticism, and Pragmatism Exact source and Lean evidence HunterAuthored.inference_1	1	verified
Logic’s Rightful Claim Source provenance and theorem records Logic’s Rightful Claim by Maclain Hunter Exact source and Lean evidence HunterAuthored.inference_1	1	verified
Logical Bootstrapping Source provenance and theorem records Logical Bootstrapping by Maclain Hunter Exact source and Lean evidence HunterAuthored.inference_1	1	verified
Logical Connections, Proof, and Evidence Source provenance and theorem records Logical Connections, Proof, and Evidence by Maclain Hunter Exact source and Lean evidence HunterAuthored.inference_1	1	verified
Logical Creation and Energy Conservation Source provenance and theorem records Logical Creation and Energy Conservation Exact source and Lean evidence HunterAuthored.inference_1	1	verified
Logical Glue Source provenance and theorem records Logical Glue by Maclain Hunter Exact source and Lean evidence HunterAuthored.inference_1 HunterAuthored.source_identity_rule	2	verified
Logical Ground Before Sensing Source provenance and theorem records Logical Ground Before Sensing Exact source and Lean evidence HunterAuthored.inference_1	1	verified
Logical Humility and Coherence Source provenance and theorem records Logical Humility and Coherence Exact source and Lean evidence HunterAuthored.inference_1	1	verified
Logical Knowledge and Grasp Source provenance and theorem records Logical Knowledge and Grasp Exact source and Lean evidence HunterAuthored.inference_1 HunterAuthored.source_identity_rule	2	verified
Logical Model for Solving the Halting Problem Source provenance and theorem records Logical Model for Solving the Halting Problem Exact source and Lean evidence HunterAuthored.inference_1	1	verified
Logical Ontology Source provenance and theorem records Logical Ontology by Maclain Hunter Exact source and Lean evidence HunterAuthored.inference_1 HunterAuthored.source_identity_rule	2	verified
Logical Proof is Empirical Data Source provenance and theorem records Logical Proof is Empirical Data by Maclain Hunter Exact source and Lean evidence HunterAuthored.inference_1	1	verified
Logical Rules and God Source provenance and theorem records Logical Rules and God by Maclain Hunter Exact source and Lean evidence HunterAuthored.inference_1 HunterAuthored.inference_2 HunterAuthored.source_identity_rule	3	verified
Logical Strategy Source provenance and theorem records Logical Strategy by Maclain Hunter Exact source and Lean evidence HunterAuthored.inference_1	1	verified
Logical Strategy by Maclain Hunter — supplied copy Source provenance and theorem records Logical Strategy by Maclain Hunter — supplied copy Exact source and Lean evidence HunterAuthored.inference_1	1	verified
Logos and Debate Source provenance and theorem records Logos and Debate Exact source and Lean evidence HunterAuthored.inference_1	1	verified
Logos and Rational Political Authority Source provenance and theorem records Logos and Rational Political Authority Exact source and Lean evidence HunterAuthored.inference_1	1	verified
Logos and Reflective Consciousness Source provenance and theorem records Logos and Reflective Consciousness Exact source and Lean evidence HunterAuthored.inference_1	1	verified
Logos as Living Reason Source provenance and theorem records Logos as Living Reason Exact source and Lean evidence HunterAuthored.inference_1	1	verified
Logos as Non-Local Life and Intellect Source provenance and theorem records Logos as Non-Local Life and Intellect Exact source and Lean evidence HunterAuthored.inference_1	1	verified
Logos Entails Coherent Morality Source provenance and theorem records Logos Entails Coherent Morality by Maclain Hunter Exact source and Lean evidence HunterAuthored.inference_1 HunterAuthored.inference_2	2	verified
Logos, Comprehension, Morality, and Forgiveness of Evil Source provenance and theorem records Logos, Comprehension, Morality, and Forgiveness of Evil by Maclain Hunter Exact source and Lean evidence HunterAuthored.inference_1	1	verified
Logos, Dust, and Biological Life Source provenance and theorem records Logos, Dust, and Biological Life Exact source and Lean evidence HunterAuthored.inference_1	1	verified
Logos, Identity, and Conservation Source provenance and theorem records Logos, Identity, and Conservation Exact source and Lean evidence HunterAuthored.inference_1	1	verified
Logos, Theological Interpretation, and Coherent Denial Source provenance and theorem records Logos, Theological Interpretation, and Coherent Denial Exact source and Lean evidence HunterAuthored.inference_1	1	verified
Logos, Theos, and Arche Source provenance and theorem records Logos, Theos, and Arche Exact source and Lean evidence HunterAuthored.inference_1	1	verified
Logos, Theos, and Arche — Arabic-Term Version Source provenance and theorem records Logos, Theos, and Arche — Arabic-Term Version Exact source and Lean evidence HunterAuthored.inference_1	1	verified
Loop Halting Guarantee Source provenance and theorem records Loop Halting Guarantee Exact source and Lean evidence HunterAuthored.fuel_iteration_bound	1	partial
Loop Halting Guarantee Source provenance and theorem records Loop Halting Guarantee Exact source and Lean evidence HunterAuthored.fuel_iteration_bound	1	partial
Machine Semantics Programming Platform Designed Source provenance and theorem records Machine Semantics Programming Platform Designed by Maclain Hunter Exact source and Lean evidence HunterAuthored.inference_1 HunterAuthored.inference_2	2	verified
Maclain Hunter on Monads Source provenance and theorem records Maclain Hunter on Monads Exact source and Lean evidence HunterAuthored.inference_1	1	verified
Maclain Hunter on the Rule(s) of Logic — Full Supplied Copy Source provenance and theorem records Maclain Hunter on the Rule(s) of Logic — Full Supplied Copy Exact source and Lean evidence HunterAuthored.inference_1 HunterAuthored.source_identity_rule	2	partial
Mastery of Self-Reference Source provenance and theorem records Mastery of Self-Reference by Maclain Hunter Exact source and Lean evidence HunterAuthored.inference_1	1	verified
Materialism and Nihilism Source provenance and theorem records Materialism and Nihilism Exact source and Lean evidence HunterAuthored.inference_1	1	verified
MCB Decidability Source provenance and theorem records MCB Decidability Exact source and Lean evidence HunterAuthored.integer_parity_range	1	partial
MCB Decidability Source provenance and theorem records MCB Decidability Exact source and Lean evidence HunterAuthored.integer_parity_range	1	partial
MCB Logic Router API Design — Exact Supplied Copy Source provenance and theorem records MCB Logic Router API Design — Exact Supplied Copy Exact source and Lean evidence HunterAuthored.inference_1	1	verified
MCB State Exclusivity Source provenance and theorem records MCB State Exclusivity Exact source and Lean evidence HunterAuthored.signed_state_exclusivity	1	partial
MCB State Exclusivity Source provenance and theorem records MCB State Exclusivity Exact source and Lean evidence HunterAuthored.signed_state_exclusivity	1	partial
Metaphysics and Ontological Ground Source provenance and theorem records Metaphysics and Ontological Ground Exact source and Lean evidence HunterAuthored.inference_1	1	verified
Modal Space and Reality Source provenance and theorem records Modal Space and Reality Exact source and Lean evidence HunterAuthored.inference_1	1	verified
Modus Ponens, Modus Tollens, and Logos Source provenance and theorem records Modus Ponens, Modus Tollens, and Logos by Maclain Hunter Exact source and Lean evidence HunterAuthored.inference_1	1	verified
Morality and Its Denial Source provenance and theorem records Morality and Its Denial Exact source and Lean evidence HunterAuthored.inference_1	1	verified
Morality is Divine Source provenance and theorem records Morality is Divine by Maclain Hunter Exact source and Lean evidence HunterAuthored.inference_1	1	verified
My Credo Source provenance and theorem records My Credo by Maclain Hunter Exact source and Lean evidence HunterAuthored.inference_1 HunterAuthored.source_identity_rule	2	verified
Myth, Truth, and the Coherent Foundation of Reality Source provenance and theorem records Myth, Truth, and the Coherent Foundation of Reality Exact source and Lean evidence HunterAuthored.inference_1	1	verified
Natural Creation, Law, and Cause — Logical Order Source provenance and theorem records Natural Creation, Law, and Cause — Logical Order Exact source and Lean evidence HunterAuthored.inference_1 HunterAuthored.source_identity_rule	2	verified
Necessary Correctness and Logical Proof Source provenance and theorem records Necessary Correctness and Logical Proof Exact source and Lean evidence HunterAuthored.inference_1	1	verified
Necessary Entailment Source provenance and theorem records Necessary Entailment by Maclain Hunter Exact source and Lean evidence HunterAuthored.inference_1 HunterAuthored.inference_2 HunterAuthored.source_identity_rule	3	verified
Necessary Logic and Logical Existence Source provenance and theorem records Necessary Logic and Logical Existence Exact source and Lean evidence HunterAuthored.inference_1 HunterAuthored.source_identity_rule	2	verified
Negation of Prior Order Source provenance and theorem records Negation of Prior Order by Maclain Hunter Exact source and Lean evidence HunterAuthored.inference_1 HunterAuthored.source_identity_rule	2	verified
Negation, Identity, and Logos Source provenance and theorem records Negation, Identity, and Logos by Maclain Hunter Exact source and Lean evidence HunterAuthored.inference_1 HunterAuthored.inference_2 HunterAuthored.inference_3 HunterAuthored.inference_4 HunterAuthored.inference_5 HunterAuthored.inference_6 HunterAuthored.source_identity_rule	7	verified
Nested Structure Source provenance and theorem records Nested Structure by Maclain Hunter Exact source and Lean evidence HunterAuthored.source_identity_rule	1	partial
No Logical Alternative to Logos Source provenance and theorem records No Logical Alternative to Logos Exact source and Lean evidence HunterAuthored.inference_1	1	verified
No One Is Truly Gone Source provenance and theorem records No One Is Truly Gone by Maclain Hunter Exact source and Lean evidence HunterAuthored.inference_1 HunterAuthored.source_identity_rule	2	verified
No True Scotsman and Axiomatic Ground Source provenance and theorem records No True Scotsman and Axiomatic Ground Exact source and Lean evidence HunterAuthored.inference_1	1	verified
NOT Involution Source provenance and theorem records NOT Involution Exact source and Lean evidence HunterAuthored.negation_value_involution	1	partial
NOT Involution Source provenance and theorem records NOT Involution Exact source and Lean evidence HunterAuthored.negation_value_involution	1	partial
Objective Perspective Source provenance and theorem records Objective Perspective by Maclain Hunter Exact source and Lean evidence HunterAuthored.inference_1	1	verified
Observable Formal Proof — Scientific-Test Version Source provenance and theorem records Observable Formal Proof — Scientific-Test Version Exact source and Lean evidence HunterAuthored.inference_1	1	verified
Observable Logic and Its Source Source provenance and theorem records Observable Logic and Its Source Exact source and Lean evidence HunterAuthored.inference_1	1	verified
Observable Logos and the Defined ET Source provenance and theorem records Observable Logos and the Defined ET Exact source and Lean evidence HunterAuthored.inference_1	1	verified
On Spinoza’s Axioms Source provenance and theorem records On Spinoza’s Axioms by Maclain Hunter Exact source and Lean evidence HunterAuthored.inference_1 HunterAuthored.source_identity_rule	2	verified
On the Logic of the Universe Source provenance and theorem records On the Logic of the Universe Exact source and Lean evidence HunterAuthored.inference_1 HunterAuthored.source_identity_rule	2	verified
Oneness, Solipsism, and Shared Reality Source provenance and theorem records Oneness, Solipsism, and Shared Reality Exact source and Lean evidence HunterAuthored.inference_1	1	verified
Ontology and Coherent Theology Source provenance and theorem records Ontology and Coherent Theology Exact source and Lean evidence HunterAuthored.inference_1	1	verified
OR Commutativity (magnitude distinct) Source provenance and theorem records OR Commutativity (magnitude distinct) Exact source and Lean evidence HunterAuthored.distinct_magnitude_or_commutative	1	partial
OR Commutativity (magnitude distinct) Source provenance and theorem records OR Commutativity (magnitude distinct) Exact source and Lean evidence HunterAuthored.distinct_magnitude_or_commutative	1	partial
Our Proofs Stand Source provenance and theorem records Our Proofs Stand by Maclain Hunter Exact source and Lean evidence HunterAuthored.inference_1	1	verified
Pantheism, Interconnection, and Hierarchy Source provenance and theorem records Pantheism, Interconnection, and Hierarchy Exact source and Lean evidence HunterAuthored.inference_1	1	verified
Performed Reflexive Proof and Logical Expertise Source provenance and theorem records Performed Reflexive Proof and Logical Expertise Exact source and Lean evidence HunterAuthored.inference_1	1	partial
Predicated Propositions Source provenance and theorem records Predicated Propositions by Maclain Hunter Exact source and Lean evidence HunterAuthored.inference_2 HunterAuthored.inference_3 HunterAuthored.inference_4 HunterAuthored.inference_5 HunterAuthored.source_identity_rule	5	partial
Predicated Propositions by Maclain Hunter — Logician-only supplied copy Source provenance and theorem records Predicated Propositions by Maclain Hunter — Logician-only supplied copy Exact source and Lean evidence HunterAuthored.inference_2 HunterAuthored.inference_3 HunterAuthored.inference_4 HunterAuthored.inference_5 HunterAuthored.source_identity_rule	5	partial
Predictions and Proof Source provenance and theorem records Predictions and Proof by Maclain Hunter Exact source and Lean evidence HunterAuthored.inference_1	1	verified
Primordial Reason — Scientific-Test Passage Source provenance and theorem records Primordial Reason — Scientific-Test Passage Exact source and Lean evidence HunterAuthored.source_identity_rule	1	partial
Proof Acknowledges First Cause Source provenance and theorem records Proof Acknowledges First Cause by Maclain Hunter Exact source and Lean evidence HunterAuthored.inference_1	1	verified
Proof Aligned with Objective Coherence Source provenance and theorem records Proof Aligned with Objective Coherence by Maclain Hunter Exact source and Lean evidence HunterAuthored.inference_1 HunterAuthored.source_identity_rule	2	verified
Proof I Know Proof Source provenance and theorem records Proof I Know Proof by Maclain Hunter Exact source and Lean evidence HunterAuthored.inference_1	1	verified
Proof Logic is Conscious Source provenance and theorem records Proof Logic is Conscious by Maclain Hunter Exact source and Lean evidence HunterAuthored.inference_1 HunterAuthored.inference_2	2	verified
Proof Logic is Conscious by Maclain Hunter — Further Supplied Source Source provenance and theorem records Proof Logic is Conscious by Maclain Hunter — Further Supplied Source Exact source and Lean evidence HunterAuthored.inference_1 HunterAuthored.inference_2	2	verified
Proof of (((P & Q) & R) & S) & T Source provenance and theorem records Proof of (((P & Q) & R) & S) & T by Maclain Hunter Exact source and Lean evidence HunterAuthored.inference_1 HunterAuthored.source_identity_rule	2	verified
Proof of Established Certainty Source provenance and theorem records Proof of Established Certainty by Maclain Hunter Exact source and Lean evidence HunterAuthored.inference_1 HunterAuthored.inference_2	2	verified
Proof of Foundational Coherence Source provenance and theorem records Proof of Foundational Coherence by Maclain Hunter Exact source and Lean evidence HunterAuthored.inference_1 HunterAuthored.source_identity_rule	2	verified
Proof of God as Universal Logic and Ontology Source provenance and theorem records Proof of God as Universal Logic and Ontology Exact source and Lean evidence HunterAuthored.source_identity_rule	1	partial
Proof of God's Self-Control and Wisdom Source provenance and theorem records Proof of God's Self-Control and Wisdom by Maclain Hunter Exact source and Lean evidence HunterAuthored.inference_1	1	verified
Proof of Logical Coherence Source provenance and theorem records Proof of Logical Coherence by Maclain Hunter Exact source and Lean evidence HunterAuthored.inference_1 HunterAuthored.source_identity_rule	2	verified
Proof of Proof’s Source in Logic Source provenance and theorem records Proof of Proof’s Source in Logic Exact source and Lean evidence HunterAuthored.inference_1	1	verified
Proof of Reality’s Narrative Source provenance and theorem records Proof of Reality’s Narrative Exact source and Lean evidence HunterAuthored.inference_1	1	verified
Proof of Reason Demanding Reasoning and the Realization of Emergent Properties and Reality Source provenance and theorem records Proof of Reason Demanding Reasoning and the Realization of Emergent Properties and Reality by Maclain Hunter Exact source and Lean evidence HunterAuthored.inference_1 HunterAuthored.source_identity_rule	2	verified
Proof of the Axiom of Universal Logic Source provenance and theorem records Proof of the Axiom of Universal Logic Exact source and Lean evidence HunterAuthored.inference_1	1	verified
Proof of the Principle of Sufficient Reason (PSR) Source provenance and theorem records Proof of the Principle of Sufficient Reason (PSR) by Maclain Hunter Exact source and Lean evidence HunterAuthored.source_identity_rule	1	partial
Proof of the PSR — Full Supplied Copy Source provenance and theorem records Proof of the PSR — Full Supplied Copy Exact source and Lean evidence HunterAuthored.inference_1	1	verified
Proof Terms and Valid Refutation Source provenance and theorem records Proof Terms and Valid Refutation Exact source and Lean evidence HunterAuthored.inference_1	1	verified
Proof, Evidence, Logic, and God Source provenance and theorem records Proof, Evidence, Logic, and God by Maclain Hunter Exact source and Lean evidence HunterAuthored.inference_1	1	partial
Proof, God, and Consistency Source provenance and theorem records Proof, God, and Consistency by Maclain Hunter Exact source and Lean evidence HunterAuthored.inference_1 HunterAuthored.inference_2	2	verified
Proven Facts Source provenance and theorem records Proven Facts by Maclain Hunter Exact source and Lean evidence HunterAuthored.inference_1	1	verified
Proving the Coherence and Equivalence of Turing Machines and Lambda Calculus Source provenance and theorem records Proving the Coherence and Equivalence of Turing Machines and Lambda Calculus by Maclain Hunter Exact source and Lean evidence HunterAuthored.inference_1 HunterAuthored.source_identity_rule	2	verified
Pythagorean Proofs Source provenance and theorem records Pythagorean Proofs by Maclain Hunter Exact source and Lean evidence HunterAuthored.inference_1 HunterAuthored.inference_2 HunterAuthored.inference_3 HunterAuthored.inference_4 HunterAuthored.inference_5	5	verified
Rationalism and Phenomenology Source provenance and theorem records Rationalism and Phenomenology Exact source and Lean evidence HunterAuthored.inference_1	1	verified
Reality’s Logical Coherence Source provenance and theorem records Reality’s Logical Coherence by Maclain Hunter Exact source and Lean evidence HunterAuthored.inference_1 HunterAuthored.inference_2 HunterAuthored.inference_3 HunterAuthored.source_identity_rule	4	verified
Reason as God and the Coherence of Love Source provenance and theorem records Reason as God and the Coherence of Love Exact source and Lean evidence HunterAuthored.inference_1	1	verified
Reason as the Ship of Theseus Source provenance and theorem records Reason as the Ship of Theseus by Maclain Hunter Exact source and Lean evidence HunterAuthored.inference_1 HunterAuthored.source_identity_rule	2	verified
Reason, Belief, and the PSR Source provenance and theorem records Reason, Belief, and the PSR Exact source and Lean evidence HunterAuthored.inference_1	1	verified
Reason’s Reasoning Source provenance and theorem records Reason’s Reasoning Exact source and Lean evidence HunterAuthored.inference_1	1	verified
Reasoned Love and God Source provenance and theorem records Reasoned Love and God Exact source and Lean evidence HunterAuthored.inference_1	1	verified
Sages and Observable God as Logic Source provenance and theorem records Sages and Observable God as Logic Exact source and Lean evidence HunterAuthored.inference_1	1	verified
Satisfying Reason Rather Than Incredulity Source provenance and theorem records Satisfying Reason Rather Than Incredulity Exact source and Lean evidence HunterAuthored.inference_1	1	verified
Science, Logic, and Contingencies Source provenance and theorem records Science, Logic, and Contingencies Exact source and Lean evidence HunterAuthored.inference_1	1	verified
Scientific Coherence Proves the Logos — Proof Source provenance and theorem records Scientific Coherence Proves the Logos — Proof by Maclain Hunter Exact source and Lean evidence HunterAuthored.inference_1	1	verified
Scientific Testing w/ Logic Source provenance and theorem records Scientific Testing w/ Logic by Maclain Hunter Exact source and Lean evidence HunterAuthored.inference_1 HunterAuthored.inference_2 HunterAuthored.inference_3	3	verified
Scripture and the Logical Standard Source provenance and theorem records Scripture and the Logical Standard Exact source and Lean evidence HunterAuthored.inference_1	1	verified
Search Logically and Find Logic Source provenance and theorem records Search Logically and Find Logic Exact source and Lean evidence HunterAuthored.source_identity_rule	1	partial
Second Sieve Source provenance and theorem records Second Sieve Exact source and Lean evidence HunterAuthored.inference_1	1	verified
Second Timeless-Superspace Theorem Source provenance and theorem records Second Timeless-Superspace Theorem Exact source and Lean evidence HunterAuthored.source_identity_rule	1	partial
Seeing Logos Through Identity Source provenance and theorem records Seeing Logos Through Identity Exact source and Lean evidence HunterAuthored.inference_1 HunterAuthored.source_identity_rule	2	verified
Self-Evident Credibility Source provenance and theorem records Self-Evident Credibility by Maclain Hunter Exact source and Lean evidence HunterAuthored.inference_1	1	verified
Self-Evident Proof of Logical Foundations Source provenance and theorem records Self-Evident Proof of Logical Foundations by Maclain Hunter Exact source and Lean evidence HunterAuthored.inference_1 HunterAuthored.source_identity_rule	2	verified
Self-Supporting Generation Source provenance and theorem records Self-Supporting Generation by Maclain Hunter Exact source and Lean evidence HunterAuthored.inference_1 HunterAuthored.inference_2 HunterAuthored.source_identity_rule	3	verified
Seven Cycle Logic Completeness Source provenance and theorem records Seven Cycle Logic Completeness Exact source and Lean evidence HunterAuthored.valid_unit_seven_checks HunterAuthored.source_identity_rule	2	partial
Seven Cycle Logic Completeness Source provenance and theorem records Seven Cycle Logic Completeness Exact source and Lean evidence HunterAuthored.valid_unit_seven_checks HunterAuthored.source_identity_rule	2	partial
Signature Verification Soundness Source provenance and theorem records Signature Verification Soundness Exact source and Lean evidence HunterAuthored.generated_signature_invariants	1	partial
Signature Verification Soundness Source provenance and theorem records Signature Verification Soundness Exact source and Lean evidence HunterAuthored.generated_signature_invariants	1	partial
Since-So Reasoning Source provenance and theorem records Since-So Reasoning by Maclain Hunter Exact source and Lean evidence HunterAuthored.inference_1	1	verified
Stipulated God and Judgement — Swapped-Premise Version Source provenance and theorem records Stipulated God and Judgement — Swapped-Premise Version Exact source and Lean evidence HunterAuthored.inference_1	1	verified
Stipulated God and the Ground of Judgement Source provenance and theorem records Stipulated God and the Ground of Judgement Exact source and Lean evidence HunterAuthored.inference_1	1	verified
Stoicism and Grounded Epistemology Source provenance and theorem records Stoicism and Grounded Epistemology Exact source and Lean evidence HunterAuthored.inference_1	1	verified
Subsistence, Existence, and Actualization Source provenance and theorem records Subsistence, Existence, and Actualization Exact source and Lean evidence HunterAuthored.inference_1	1	verified
Tautological Formal Systems of Logic Source provenance and theorem records Tautological Formal Systems of Logic Exact source and Lean evidence HunterAuthored.inference_1	1	verified
Tautological Sieve Source provenance and theorem records Tautological Sieve Exact source and Lean evidence HunterAuthored.inference_1	1	verified
Tautological Sieve Source provenance and theorem records Tautological Sieve Exact source and Lean evidence HunterAuthored.source_identity_rule	1	partial
Tautological True Statements & Convincing Deductive Reasoning Source provenance and theorem records Tautological True Statements & Convincing Deductive Reasoning by Maclain Hunter Exact source and Lean evidence HunterAuthored.inference_1 HunterAuthored.source_identity_rule	2	verified
The Appearance of a Paradox Source provenance and theorem records The Appearance of a Paradox by Maclain Hunter Exact source and Lean evidence HunterAuthored.inference_1	1	verified
The Atheist’s Truth Source provenance and theorem records The Atheist’s Truth by Maclain Hunter Exact source and Lean evidence HunterAuthored.inference_1	1	verified
The Axiom of Geometry — Full Supplied Copy Source provenance and theorem records The Axiom of Geometry — Full Supplied Copy Exact source and Lean evidence HunterAuthored.inference_1 HunterAuthored.inference_2 HunterAuthored.inference_3 HunterAuthored.source_identity_rule	4	verified
The Bonded Energy System and Physical Output Path Source provenance and theorem records The Bonded Energy System and Physical Output Path Exact source and Lean evidence HunterAuthored.inference_1	1	verified
The Dialogue of Cosmic Genesis Source provenance and theorem records The Dialogue of Cosmic Genesis Exact source and Lean evidence HunterAuthored.source_identity_rule	1	partial
The Ego of Logic and Reflexive Identity Source provenance and theorem records The Ego of Logic and Reflexive Identity Exact source and Lean evidence HunterAuthored.inference_1	1	verified
The Falseness of Falsifiability Source provenance and theorem records The Falseness of Falsifiability by Maclain Hunter Exact source and Lean evidence HunterAuthored.inference_1	1	verified
The Famous Logic Source provenance and theorem records The Famous Logic by Maclain Hunter Exact source and Lean evidence HunterAuthored.inference_1	1	verified
The Futility and Result of Conceiving Illogical Origins Source provenance and theorem records The Futility and Result of Conceiving Illogical Origins by Maclain Hunter Exact source and Lean evidence HunterAuthored.inference_1	1	verified
The Genuine Musician — Additional Supplied Copy Source provenance and theorem records The Genuine Musician — Additional Supplied Copy Exact source and Lean evidence HunterAuthored.inference_1	1	verified
The Genuine Musician Source provenance and theorem records The Genuine Musician by Maclain Hunter Exact source and Lean evidence HunterAuthored.inference_1	1	verified
The Gold is Mine Source provenance and theorem records The Gold is Mine by Maclain Hunter Exact source and Lean evidence HunterAuthored.inference_1 HunterAuthored.inference_2 HunterAuthored.source_identity_rule	3	verified
The Gold is Mine by Maclain Hunter — second supplied copy Source provenance and theorem records The Gold is Mine by Maclain Hunter — second supplied copy Exact source and Lean evidence HunterAuthored.inference_1 HunterAuthored.inference_2 HunterAuthored.source_identity_rule	3	verified
The Grand Loop Source provenance and theorem records The Grand Loop Exact source and Lean evidence HunterAuthored.inference_2	1	partial
The Greatest Logician and the Coherence Standard Source provenance and theorem records The Greatest Logician and the Coherence Standard Exact source and Lean evidence HunterAuthored.inference_1	1	verified
The Greatest Philosopher Source provenance and theorem records The Greatest Philosopher by Maclain Hunter Exact source and Lean evidence HunterAuthored.inference_1	1	verified
The Grounding of Logic Source provenance and theorem records The Grounding of Logic by Maclain Hunter Exact source and Lean evidence HunterAuthored.inference_1 HunterAuthored.inference_2 HunterAuthored.source_identity_rule	3	verified
The Holistic Integration Theorems Source provenance and theorem records The Holistic Integration Theorems Exact source and Lean evidence HunterAuthored.source_identity_rule	1	partial
The Illogic of the Atheist Mindset Source provenance and theorem records The Illogic of the Atheist Mindset by Maclain Hunter Exact source and Lean evidence HunterAuthored.inference_1	1	verified
The Law of Grounded Identity (LGI) Source provenance and theorem records The Law of Grounded Identity (LGI) Exact source and Lean evidence HunterAuthored.inference_1 HunterAuthored.source_identity_rule	2	verified
The Logic Before Time Source provenance and theorem records The Logic Before Time by Maclain Hunter Exact source and Lean evidence HunterAuthored.inference_1	1	verified
The Logic of Discovery Source provenance and theorem records The Logic of Discovery by Maclain Hunter Exact source and Lean evidence HunterAuthored.source_identity_rule	1	partial
The Logic of the Universe as the Logical Origin — Uppercase Version Source provenance and theorem records The Logic of the Universe as the Logical Origin — Uppercase Version Exact source and Lean evidence HunterAuthored.inference_1	1	verified
The Logical and Metaphysical Implications of Giving and Hearing Explanations Source provenance and theorem records The Logical and Metaphysical Implications of Giving and Hearing Explanations by Maclain Hunter Exact source and Lean evidence HunterAuthored.inference_1	1	verified
The Logical Derivation of Mathematics from Foundational Coherence Source provenance and theorem records The Logical Derivation of Mathematics from Foundational Coherence by Maclain Hunter Exact source and Lean evidence HunterAuthored.inference_1	1	verified
The Logical Shaping of Logic Source provenance and theorem records The Logical Shaping of Logic by Maclain Hunter Exact source and Lean evidence HunterAuthored.inference_1	1	verified
The Maker of the Syllogism Source provenance and theorem records The Maker of the Syllogism by Maclain Hunter Exact source and Lean evidence HunterAuthored.inference_1 HunterAuthored.source_identity_rule	2	verified
The Moral Standard and Service to Nations Source provenance and theorem records The Moral Standard and Service to Nations Exact source and Lean evidence HunterAuthored.inference_1	1	verified
The Non-Dual Ground of Personal and Impersonal Source provenance and theorem records The Non-Dual Ground of Personal and Impersonal Exact source and Lean evidence HunterAuthored.inference_1	1	verified
The One Law Source provenance and theorem records The One Law by Maclain Hunter Exact source and Lean evidence HunterAuthored.inference_1 HunterAuthored.source_identity_rule	2	verified
The Personal Logical Chain of Proof Source provenance and theorem records The Personal Logical Chain of Proof Exact source and Lean evidence HunterAuthored.inference_1	1	verified
The Pythagorean Syllogism Source provenance and theorem records The Pythagorean Syllogism by Maclain Hunter Exact source and Lean evidence HunterAuthored.inference_1	1	verified
The Rational Cause for Rational Causes Source provenance and theorem records The Rational Cause for Rational Causes by Maclain Hunter Exact source and Lean evidence HunterAuthored.inference_1	1	verified
The Rational Death of Agnosticism Source provenance and theorem records The Rational Death of Agnosticism by Maclain Hunter Exact source and Lean evidence HunterAuthored.inference_1	1	verified
The Redundancy of Proof for the Pythagorean Theorem Source provenance and theorem records The Redundancy of Proof for the Pythagorean Theorem by Maclain Hunter Exact source and Lean evidence HunterAuthored.inference_1 HunterAuthored.inference_2 HunterAuthored.source_identity_rule	3	verified
The Rule of Logic and Proof Knowledge Source provenance and theorem records The Rule of Logic and Proof Knowledge Exact source and Lean evidence HunterAuthored.inference_1 HunterAuthored.inference_2	2	verified
The Rule(s) of Logic and Logic Applied to Logic, Science, and Proof Source provenance and theorem records The Rule(s) of Logic and Logic Applied to Logic, Science, and Proof by Maclain Hunter Exact source and Lean evidence HunterAuthored.inference_2 HunterAuthored.inference_4 HunterAuthored.inference_5 HunterAuthored.inference_7 HunterAuthored.inference_8 HunterAuthored.source_identity_rule	6	partial
The Rules of Logic Applied to the Concept(s) of God, Logic, Logos, and Reason Source provenance and theorem records The Rules of Logic Applied to the Concept(s) of God, Logic, Logos, and Reason by Maclain Hunter Exact source and Lean evidence HunterAuthored.source_identity_rule	1	partial
The Rules of Logic, the Rule of Logic, and Logic Applied to Logic and Science Source provenance and theorem records The Rules of Logic, the Rule of Logic, and Logic Applied to Logic and Science by Maclain Hunter Exact source and Lean evidence HunterAuthored.inference_2 HunterAuthored.inference_4 HunterAuthored.inference_5 HunterAuthored.source_identity_rule	4	partial
The Solely Coherent Perspective Source provenance and theorem records The Solely Coherent Perspective Exact source and Lean evidence HunterAuthored.source_identity_rule	1	partial
The Tale of Zaqar — Additional Supplied Copy Source provenance and theorem records The Tale of Zaqar — Additional Supplied Copy Exact source and Lean evidence HunterAuthored.source_identity_rule	1	partial
Logic, Identity and Coherence — Authored Proof Source provenance and theorem records The Tale of Zaqar and the Patriarchs and Prophets of Memundi Exact source and Lean evidence HunterAuthored.source_identity_rule	1	partial
The Trinity — Supplied Version Source provenance and theorem records The Trinity — Supplied Version Exact source and Lean evidence HunterAuthored.inference_1	1	verified
The Universal Code and Coherent Decoding Source provenance and theorem records The Universal Code and Coherent Decoding Exact source and Lean evidence HunterAuthored.inference_1	1	verified
Things Happen Source provenance and theorem records Things Happen by Maclain Hunter Exact source and Lean evidence HunterAuthored.inference_1	1	verified
Third Sieve Source provenance and theorem records Third Sieve Exact source and Lean evidence HunterAuthored.inference_1	1	verified
Timeless Logos and Contingent Spacetime Source provenance and theorem records Timeless Logos and Contingent Spacetime Exact source and Lean evidence HunterAuthored.inference_1	1	verified
Trinity of Godhead Source provenance and theorem records Trinity of Godhead Exact source and Lean evidence HunterAuthored.inference_1	1	verified
Truth, Reality, and the Law of Identity Source provenance and theorem records Truth, Reality, and the Law of Identity Exact source and Lean evidence HunterAuthored.inference_1 HunterAuthored.source_identity_rule	2	verified
Truth’s Identity beyond Perception Source provenance and theorem records Truth’s Identity beyond Perception Exact source and Lean evidence HunterAuthored.inference_1 HunterAuthored.source_identity_rule	2	verified
Unified Formal Theory of Physics and Metaphysics Source provenance and theorem records Unified Formal Theory of Physics and Metaphysics Exact source and Lean evidence HunterAuthored.source_identity_rule	1	partial
Unity, Reason, and Non-Contradiction Source provenance and theorem records Unity, Reason, and Non-Contradiction Exact source and Lean evidence HunterAuthored.inference_1	1	verified
Universal Application of Logic, Proof, and Coherence Source provenance and theorem records Universal Application of Logic, Proof, and Coherence by Maclain Hunter Exact source and Lean evidence HunterAuthored.inference_1	1	verified
Universal Logic — Six-Stage Scientific-Test Submission Source provenance and theorem records Universal Logic — Six-Stage Scientific-Test Submission Exact source and Lean evidence HunterAuthored.inference_1	1	verified
Universal Logic and Local Framework Refutation Source provenance and theorem records Universal Logic and Local Framework Refutation Exact source and Lean evidence HunterAuthored.inference_1	1	verified
Universal Logic and Origin — Necessary Identity Source provenance and theorem records Universal Logic and Origin — Necessary Identity Exact source and Lean evidence HunterAuthored.inference_1	1	verified
Universal Logic Implication Cycle Source provenance and theorem records Universal Logic Implication Cycle by Maclain Hunter Exact source and Lean evidence HunterAuthored.inference_1	1	verified
Validating the Pythagorean Theorem Source provenance and theorem records Validating the Pythagorean Theorem by Maclain Hunter Exact source and Lean evidence HunterAuthored.inference_1	1	verified
Validation Via Tautological Sieve Source provenance and theorem records Validation Via Tautological Sieve Exact source and Lean evidence HunterAuthored.inference_1 HunterAuthored.inference_2 HunterAuthored.inference_3	3	verified
Version One — Self-Evident Truth and Logos Source provenance and theorem records Version One — Self-Evident Truth and Logos Exact source and Lean evidence HunterAuthored.inference_1 HunterAuthored.inference_2	2	verified
We Understand One God Source provenance and theorem records We Understand One God by Maclain Hunter Exact source and Lean evidence HunterAuthored.inference_1 HunterAuthored.source_identity_rule	2	verified
XOR Self-Inverse Source provenance and theorem records XOR Self-Inverse Exact source and Lean evidence HunterAuthored.exponent_xor_self_positive	1	partial
XOR Self-Inverse Source provenance and theorem records XOR Self-Inverse Exact source and Lean evidence HunterAuthored.exponent_xor_self_positive	1	partial
You’d Know If You Knew Source provenance and theorem records You’d Know If You Knew by Maclain Hunter Exact source and Lean evidence HunterAuthored.inference_1	1	verified
Native MCB mathematical proofs Source provenance and theorem records Native MCB mathematical proofs Exact source and Lean evidence NativeMCBEvidence.mcb_code_and_data_same_type NativeMCBEvidence.mcb_unquote_quote NativeMCBEvidence.mcb_quote_unquote NativeMCBEvidence.mcb_phase_bivalence NativeMCBEvidence.mcb_even_phase NativeMCBEvidence.mcb_data_execution_agrees NativeMCBEvidence.mcb_code_data_transformation_agrees NativeMCBEvidence.mcb_self_summation NativeMCBEvidence.mcb_normalization_preserves_meaning NativeMCBEvidence.mcb_normalization_idempotent NativeMCBEvidence.mcb_single_value NativeMCBEvidence.mcb_reason_noncontradiction NativeMCBEvidence.mcb_init_has_exact_phase_data NativeMCBEvidence.init_program_achieves_perfect_stasis NativeMCBEvidence.mcb_init_is_single_balance NativeMCBEvidence.mcb_init_outer_phase NativeMCBEvidence.mcb_complete_init_is_single_positive_state NativeMCBEvidence.mcb_init_literal_is_exact NativeMCBEvidence.mcb_compiled_literal_self_identity NativeMCBEvidence.mcb_balance_zero_is_not_fixed_ground NativeMCBEvidence.nand_signed_truth_table NativeMCBEvidence.single_root_preserves_conjunction NativeMCBEvidence.fixed_ground_encoding NativeMCBEvidence.negative_runtime_encoding NativeMCBEvidence.runtime_roundtrip	25	verified