title: External Reader Brief description: Compact orientation for scientists, reviewers, editors, institutional readers, and collaborators inspecting the ivanpasev.com public science corpus. layout: doc aside: true outline: [2, 3] order: 2 editorial_tier: canonical_reader_flow search_scope: resources-reader-brief route: "/08-resources/external-reader-brief" status: "canonical-reader-brief" claim_boundary: "Compact orientation and review boundary overview for external scholars and referees."

External Reader Brief

This brief explains how to read the public science corpus on ivanpasev.com.

Spine Position

Resources Root · External Reader Brief & Review Routing

Epistemic Invariant Ledger.

• Machine Proofs: 35 machine-verified Lean 4 theorems across 11 formal modules (0 sorry, 0 admit, 0 quarantined axioms).
• Empirical Verification: ACTIVE_P4_SEALS = 0.
• Statistical Null Benchmark: Negative parity benchmark $p_{\text{null}}=0.62$ strictly preserved.
• Epistemic Invariance: $\text{Protocol Definition}\ne \text{Empirical Validation}$, $\text{Calibrated Retrodiction}\ne \text{Prospective Prediction}$.

One-Sentence Orientation

Ivan Pasev's public science corpus presents the Science of Fabric Reality as an authorial framework for relation, observer, boundary, invariant, and admissible transformation, with Digital Fabrica Theory translating the broader fabric-reality program into invariant-preserving digital systems architecture.

What the Site Is

The site is a public research corpus and orientation surface.

It organizes:

• scientific thesis pages,
• source and contributor routes,
• review pathways,
• formalization targets (35 Lean 4 machine proofs across 11 modules),
• publication and provenance records,
• institutional context.

What the Site Is Not

The site is not:

• a claim of peer-review acceptance,
• a claim of external empirical validation,
• a certified technical standard,
• a regulatory approval record,
• a completed physical proof repository,
• a replacement for independent scientific review.

Recommended Reading Order

1. Thesis Foundations: Start with Science of Fabric Reality.
2. Empirical & Theoretical Grounding: Read UKC:PHYSICA & Physica Nova for physical-law comparator grounding.
3. Ontological Topology: Open the Knowledge Atlas & Concept View for concept/source relations.
4. Epistemic Boundaries: Use the Academic Review Gateway to inspect claim boundaries and falsifiability.
5. Formal Proofs: Open Formalization Batch 1 and Theorem Map for 35 Lean 4 machine-verified proofs across 11 modules.
6. Archival Records: Inspect Institutional Publications & Provenance for public timestamp records and DOIs.
7. Scientific Intake: Use contact/collaboration routes only after reviewing the boundaries.

Review Questions & Routing Matrix

External readers seeking specific aspects of the corpus may use this routing directory:

Inquiry Area	Canonical Review Route	Epistemic Status
Main Core Thesis	Science of Fabric Reality	Authorial Candidate Framework
Grounded Science & Constants	Physica Nova · Bibliography	Established External Comparators
Authorial / Proposed Claims	Academic Review Gateway	Active Research Boundary
Formalization & Proofs	Formalization Batch 1 · Theorem Map	35 Machine-Verified Proofs (0 sorry)
Public Archival Records	Institutional Publications	Immutable DOI / SHA-256 Hashes
Source & Concept Topology	Universum Knowledge Atlas	Interactive Corpus Map
Critique & Intake Routing	Scientific Feedback & Collaboration	Direct Operator Intake

Review Boundary

NOTE

Review readiness signifies that the corpus is rigorously organized for public inspection, audit, and formal falsification. It does not imply external consensus, institutional endorsement, academic peer-review completion, or regulatory certification.

After Reading

After reviewing the corpus, external readers may route critique, source corrections, formalization suggestions, or collaboration inquiries through the Scientific Feedback and Collaboration portal.

Feedback is welcome for improving mathematical structure, formalization readiness, source grounding, and boundary precision.

---

Canonical Continuations

Direction	Target Resource	Purpose
Results Ledger	Scientific Results Ledger	35 machine-verified Lean 4 theorems across 11 modules and negative null benchmark ($p_{\text{null}}=0.62$)
Theorem Map	Theorem Map & Cartography	Complete 35-theorem dependency graph across 11 Lean 4 modules
Orientation Overview	Orientation Gateway	Main corpus welcome and multi-path navigation index
Public Reader Paths	Public Reader Paths	Role-tailored itineraries for physicists, mathematicians & engineers
Axiomatic Core	Science of Fabric Reality	Master theoretical spine and foundational invariant framework
Formalization Gateway	Lean 4 Formalization Roadmap	Multi-phase proof campaigns and lemma dependency DAGs