Mathematics Publication Status & Maturity Register

Publication Provenance ($V0$–$V4$), Review Status ($R0$–$R3$) & Formal Interface

Spine Position

Mathematics Root · Mathematics Publication Status & Maturity Register

Public Status Boundary. This register tracks the publication provenance ($V0$–$V4$) and review status ($R0$–$R3$) of mathematical treatises, manuscripts, and formal artifacts across the corpus. Formal mathematical correctness is tracked independently on the formal axis ($F0$–$F5$).

$$\boxed{{\displaystyle \mathbf{\text{DOI Registration}}\ne \mathbf{\text{Peer Review}}\ne \mathbf{\text{Empirical Confirmation}}}}$$

---

1. Publication & Review Axes

In accordance with the Proof Governance & Verification Scale, publication status does not serve as a proof tier. Publication and review are governed by independent axes:

Publication / Provenance Axis ($V$)

• $V0$ — Internal Artifact: Private working document or draft.
• $V1$ — Public Corpus Artifact: Released as an authoritative part of the IvanPasev.com / Fabrica corpus.
• $V2$ — Archived / DOI Registered: Deposited in an open repository (Zenodo, arXiv, OSF) with persistent identifier.
• $V3$ — Submitted to External Venue: Formally submitted to an independent peer-reviewed academic journal or conference.
• $V4$ — Externally Published: Formally accepted and published by an independent external venue or publisher.

Review Axis ($R$)

• $R0$ — No Documented Review: Unreviewed internal authorial draft.
• $R1$ — Internal Critique Recorded: Evaluated via a documented internal critique protocol.
• $R2$ — External Critique Documented: Documented feedback or critical evaluation from independent external researchers.
• $R3$ — External Peer Review Outcome Recorded: Formal peer-review outcome recorded from an independent academic journal or conference.

---

2. Active Formalization & Publication Portfolio

The active mathematical portfolio coordinates formal verification with publication status. Dimensions without documented evidence are designated NOT_CLASSIFIED:

Manuscript / Package	Domain Focus	Formal Status ($F$)	Computational Status ($C$)	Prediction Status ($P$)	Review Status ($R$)	Publication Status ($V$)
Lean 4 Core Suite	35 verified theorems across 11 modules	$F4\text{-CHECKED}$	$C4$	NOT_CLASSIFIED	NOT_CLASSIFIED	$V1$
Manuscript A (sfr-axiomatic-foundations)	Core axioms and transformation laws	$F3$	NOT_CLASSIFIED	NOT_CLASSIFIED	NOT_CLASSIFIED	$V1$
Manuscript B (fqft-continuum-core)	Dirichlet forms with operator potentials	$F3$	$C3$	$P2$	NOT_CLASSIFIED	$V2$
Manuscript C (discrete-fabric-lattice)	Lattice models & spectral bounds	$F2$	$C3$	NOT_CLASSIFIED	NOT_CLASSIFIED	$V1$
Manuscript D (identifiability-obstructions)	Negative identifiability theorems	$F3$	$C3$	$P2$	NOT_CLASSIFIED	$V2$

---

3. Epistemic Demarcations

1. DOI Registration Is Not Peer Review: A persistent DOI (such as a Zenodo deposit, $V2$) establishes cryptographic provenance and timestamping; it does not constitute peer-reviewed acceptance ($R3$).
2. Public Manuscript Is Not Journal Acceptance: Public availability in this corpus ($V1$) indicates open scholarly access, not external accreditation.
3. Machine Verification Is Not Publication: Compiling cleanly in Lean 4 ($F4\text{-CHECKED}$) establishes kernel-checked derivability/type correctness of the encoded theorem under the declared formal environment and assumptions; it does not replace external scholarly engagement.

---

4. Canonical Continuations

Direction	Node	Route	Focus / Purpose
Proof Governance	Proof Governance & Verification Scale	/04-mathematics/proof-governance	Orthogonal coordinates $S=(F,C,P,R,V)$ and non-conflation laws
Proof Gateway	Lean 4 Formalization Roadmap	/04-mathematics/formalization-roadmap	35 machine-verified theorem records and lemma dependency DAGs
Results Ledger	Scientific Results Ledger	/science/results	Canonical compilation of formal theorems and empirical bounds
Review Portal	SFR Review Portal & Critique Intake	/03-research/sfr-review-portal/	Five-gate critique protocol and reviewer inquiry gateway

EXTERNAL REFERENCE