Theorem Map

The Theorem Map organizes the structural constraints, foundational logics, and invariant requirements spanning the corpus. It establishes what must be formalized, what must be proven, and what depends on what.

Scientific Review Dossier

REV

Scientific Review Dossier

This theory is indexed in the Scientific Review Dossier, where claims are mapped to evidence classes, source anchors, theorem targets, and review-readiness status.

Open the Scientific Review Dossier →

A theorem target is not a completed theorem.
A proof sketch is not a verified proof.
A formal stub is not mechanical verification.

Framework	Target	Status	Proof Obligation	Review Path
SFR	Fabric-reality admissibility tuple	formalization target	define (O,R,T,I,B,M) and admissibility relation	formalization gateway
PHYSICA	law-layer corpus spine	conceptual architecture	define law-layer relation and status taxonomy	source/review
Fabricon	minimal relational unit	theorem target	tuple semantics and closure	Lean/HoTT
FQFT	fractal field stabilization	research target	equations, invariants, predictions	physics review
DFT	invariant-preserving digital fabric	architecture target	object, transformation, invariant set	implementation audit