Stratified Universality

Download original file

This is the original source text. Reading it does not run or verify the program.

Read the typeset paper

1 {
2   "edition": "Final Publication Edition, 2026-10-06",
3   "author": "Komorebi P.",
4   "mathematical_base": "Formal Foundations v2.0.0, 2026-09-23, with five documented amendment groups",
5   "traditional": {
6     "pages": 256,
7     "publication_checks": 77,
8     "publication_failures": 0,
9     "inherited_files_preserved": 316
10   },
11   "concordance": {
12     "components": 75,
13     "proved_internally": 52,
14     "classical_imported": 12,
15     "conditional": 2,
16     "framework": 3,
17     "conjectural": 6
18   },
19   "fresh_principal_regressions": {
20     "block15": 197099,
21     "block16": 1344823,
22     "block17": 3022,
23     "total": 1544944,
24     "failures": 0,
25     "results_match_inherited_bytes": true
26   },
27   "proof_review_scope": "Finite profiled lane/holonomy and semantic/carrier/admissibility cores; exact coverage in reviews/MATHEMATICAL_SCOPE_REVIEW.md. Not all native-stratum proofs or fresh authentication of every external input.",
28   "lean_execution": {
29     "fresh_compile": false,
30     "archive_retrieval": "Matching archives unavailable: HTTP 502",
31     "included_source": "Complete-read reconstructed standalone StratifiedFoundationsCore.lean, distinct from the inaccessible seven-module v0.7 package",
32     "full_monograph_certificate": false
33   },
34   "source_availability": "Complete amended manuscript tree plus frozen 397-member upstream source ZIP, all inherited .md files, companion TeX/Markdown, Python scripts, figures, data and evidence.",
35   "publishing_action": "No external repository publication performed.",
36   "lean_guide": {
37     "pages": 13,
38     "qa": "clean compilation; all pages visually reviewed",
39     "inspected_source_inventory": {
40       "theorems": 30,
41       "definitions": 12,
42       "structures": 2
43     },
44     "source_clause_mapping_rows": 14,
45     "recorded_historical_v07_theorem_lemma_declarations": 183
46   },
47   "visual_guide": {
48     "pages": 35,
49     "vector_figures": 14,
50     "exact_example_assertions": 137,
51     "qa": "clean compilation; all14 figures and representative final PDF pages reviewed; complete Markdown checked",
52     "source_anchors": {
53       "occurrences": 83,
54       "unique": 79,
55       "missing": 0
56     }
57   },
58   "reading_set_pages": 304,
59   "publication_state": "Complete reading/source package with explicit Lean source and execution limits"
60 }

Back to source controls

Back to Stratified Universality