Skip to content

Start Here — Public Traversal Map

The canonical 8-phase path designed to provide structured orientation for first-time scholarly and institutional visitors.

Spine Position

Corpus Sector: 01 — Orientation & Onboarding
Node ID: NAV-ORIENT-TRAJECTORY
Primary Function: Canonical sequential reader traversal ladder
Upstream Anchor: Orientation & Corpus Guide

Epistemic Invariant Ledger.

  • Machine Proofs: 28 machine-verified Lean 4 theorems across 9 formal modules (0 sorry, 0 unproven axioms).
  • Empirical Verification: ACTIVE_P4_SEALS = 0.
  • Statistical Null Benchmark: Negative parity benchmark pnull=0.62 strictly preserved.
  • Epistemic Invariance: Protocol DefinitionEmpirical Validation, Calibrated RetrodictionProspective Prediction.

The Eight-Phase Traversal Ladder


Continuation & Navigation Matrix

DirectionTarget NodeRouteFocus / Purpose
Results LedgerScientific Results Ledger/science/results28 machine-verified Lean 4 theorems and negative null benchmark (pnull=0.62)
ReproducibilityComputational Reproducibility/science/reproducibilityRFC 8785 JCS verification receipts and reproducible proof environment
Theorem MapTheorem Map & Cartography/03-research/theorem-mapFull 28-theorem dependency graph across 9 Lean 4 modules
UpstreamOrientation Gateway/01-orientation/Return to orientation hub
Current NodeStart Here (Trajectory Map)/01-orientation/start-here8-phase canonical reading ladder
Alternative TrackPublic Reader Paths/01-orientation/public-reader-pathsRole-tailored navigational tracks
Navigational IndexCorpus Route Atlas/01-orientation/route-atlasSector-by-sector directory mapping
Theoretical SpineTheory Atlas/02-foundations/theory-atlasMaster frame of the Science of Fabric Reality