Claim-to-Proof Map

This section provides the introductory context and foundational overview for this document.

Purpose

This map routes public claims into proof obligations, implementation tests, or external review paths.

Claim Routing Table

Public Claim	Corpus Node	Current Status	Required Evidence	Proof / Test Path	Boundary
SFR organizes a fabric-reality spine	SFR	authorial framework	definitions + source graph + review	concept map + review dossier	not accepted science
DFT defines a digital fabric architecture	DFT	architecture framework	definitions + implementation tests	formal architecture axioms + audits	not certified standard
FQFT proposes fractal field logic	FQFT	research extension	equations + predictions + simulations	mathematical model + falsifiability	not validated physics
Fabricon is minimal structural unit	Fabricon	theorem target	tuple semantics + invariants	Lean/HoTT target	not proven theorem
ISP Reciprocity is a trace theorem target	ISP	theorem target	formal definitions + proof	Lean/HoTT target	not accepted theorem
CodexStation is deterministic runtime	CodexStation	implementation architecture	tests + invariant registry	CLI/test suite + audits	not theory proof