Home MTL Proof Series

The Prism

One equation contains many domains because the system compresses through a prism of variables and lenses.

Faith thru Physics

TP-WORKER-AUDIO-PLAYER

Faith Through Physics - GOLD

How can 188 axioms, seven domains, and 33 intersections compress into one equation?

David Lowe - POF 2828

Final Audit

Every page ends with the same three-part check: what we got right, what we overstated, and what we got wrong.

Epistemic covenant: we present these claims as openly, fairly, and truthfully as we can. The evidence can be checked, the mechanisms can be challenged, the proof burden is named. Where the work moves from how the science behaves to why it means something, the choice is stated. We think the pattern is worth believing, but we will not hide where faith begins.

What We Got Right

Load-bearing claims, clear definitions, and the parts that clearly survived the check.

What We Overstated

Strong direction, but the language ran ahead of the evidence or the proof.

What We Got Wrong

Claims that need correction, tightening, or weaker formulation.

Proof & Research

The Math Behind the Claims

Master Equation

10 variables

Isomorphisms

38 mappings

Proof Explorer

Claims + grades

Rigor Cards

Bible + MDA

Lean 4 Proofs

267 theorems

Reference & Media

Everything Else

Glossary

300+ terms

Media Gallery

Visuals + slides

Podcast

Episodes + feed

Audio Library

TTS + narration

Paper Grader

NLP scoring

15 + 15 = 100

Our inputs don't match our outputs. That's the point.