**The Epistemic Audit**: Inspect claim strength, evidence basis, and formalization status for every principal artifact.
The Verified Publications section houses the formal research output of Ivan Pasev and associated contributors. While the broader platform provides architectural outlines and systemic descriptions, this page indexes the formal manuscripts, proofs, and technical disclosures that serve as the rigorous foundation for the entire program. Every artifact listed here is archived with cryptographic and temporal permanence on the Zenodo Global Registry.
**Provenance Disclaimer**: Zenodo and ORCID provide public provenance and author identity signals. They do not by themselves constitute peer review, proof acceptance, or institutional endorsement.
Submission-Grade Core Research Manuscripts
The mathematical physics and precision metrology results of the Science of Fabric Reality program are crystallized into four core submission-grade journal manuscripts:
| Manuscript | Focus Domain | Key Contributions | Formal & Empirical Verification |
|---|---|---|---|
| Manuscript A | Relational Foundations & Invariance (OBJ-TH-SFR) | Constitutional 7-tuple state spaces, State-local admissibility (DEF-ADM-01), Admissibility composition (THM-INV-COMP-01), and Category of admissible transformations. | MACHINE_VERIFIED in Lean 4 (Fabrica.InvariantEngineering) |
| Manuscript B | Dirichlet Principles & Mosco Limits (OBJ-TH-FQFT) | Weak Euler-Lagrange Dirichlet stationarity (THM-FQFT-EL-WEAK-01), Common-fiber Mosco convergence (THM-FQFT-C4A-MOSCO-01), Scale-flow dynamics, and Non-linear | MACHINE_VERIFIED in Lean 4 (Fabrica.FQFT) + 4 Receipts |
| Manuscript C | Spectral Mediator Models & Metrology (OBJ-PRG-P2) | Operator Helmholtz Green functions, Convex Yukawa mixtures, Gauge-complete Stückelberg Model V1, and Exact hydrogenic | Closed-Form Analytical Proofs + 5 Receipts |
| Manuscript D | Negative Identifiability Theorems (OBJ-PRG-NEG) | Degree underdetermination (NEG-KP-R1-SPECTRAL-INCOMPLETE-01), Pullback universality (THM-KP-PULLBACK-UNIV-01), and Fisher information rank deficiency ( | Epistemic Firewall (ACTIVE_P4_SEALS = 0) + 3 Receipts |
Standalone Submission Packages
Each core manuscript is accompanied by a self-contained LaTeX journal submission package (research/r3/manuscript-*/latex/) and full mathematical proof bindings in the Formalization Roadmap.
Formal Publication Families
The scientific program is organized into distinct research families, reflecting the progression from foundational logic to systems synthesis and mathematical closure.
Digital Fabrica &
Stabilization Logic
Stabilization Logic
The formalization of recursive intelligence, invariant engineering, and sovereign systems architecture.
- Digital Fabrica Theory: Mathematical Logic and Core Foundations
- Pasev—s Infinite Symmetry Principle: A Unified Framework
- Synthesized Framework: Ramanujan-Mathias Infinity Stabilization
- Infinite Core Scaling: Logarithmic Growth in DFT
The Riemann Hypothesis
Proof Program
Proof Program
The application of structural closure and invariant geometry to resolve highest-order mathematical obstructions.
- A Pure Natural Mathematics Proof of the Riemann Hypothesis
- Proposed Proof Sketch for the Riemann Hypothesis
- Top 10 Pure Mathematical Discoveries: Unified Proof Framework
Geometric-Structural
Layer Closure
Layer Closure
The extension of the Fabric Reality program into physical field theory and the Geometric Unity discourse. A four-volume Zenodo-archived research program.
Quantum &
Field Extensions
Field Extensions
Steps into Quantum Biology: Unveiling Chirality through hat-Braid Dynamics
Evidentiary Architecture
Before engaging specific manuscripts, readers may consult the formal verification register-a structured index of claim strength, evidence basis, and formalization status for every principal artifact.
**The Curated Compendium**: Navigate the preserved knowledge architecture and synthesized "Reading Body".
— Live Scholarly Registry
The following feed represents the real-time record of publications indexed in the global Zenodo registry. Each entry is anchored by a unique DOI for permanent citation.
Scientific Identity
The research program is led by Ivan Pasev, a systems theorist dedicated to axiomatic formalization. All records are maintained with strict cryptographic continuity to ensure the permanence of the scientific archive.
**Researcher Profile**: The theoretical development arc and foundational research focus.
**Epistemic Audit**: Inspect claim strength and formalization status for principal artifacts.
**UKC Corpus**: Navigate the preserved knowledge architecture and systematic record.
Canonical Continuations
| Direction | Target Resource | Purpose |
|---|---|---|
| Research Hub | Science & Research Overview → | Survey active research programs and investigative tracks |
| Review Portal | SFR Review Portal & Critique Intake → | Five-gate critique protocol and formal referee inquiry gateway |
| Formal Mathematics | Formal Mathematics Spine → | Complete 9-tier status taxonomy and manuscript collection |
| Foundations Core | Foundations Theoretical Spine → | Foundational relational ontology, axiomatic frame, and FFE |