This folder contains previous versions of the Zero Paradox documents, preserved to document the development process and evolution of the framework.
| File | Date Moved | Description | |||
|---|---|---|---|---|---|
| ZP-E_Bridge_Document_v3_18.pdf | 2026-05-31 | ZP-E v3.18 superseded by v3.19: version string removed from T-BUF li() call (Gemini review catch — li/label_box calls not covered by prose gate). | |||
| ZP-C_Information_Theory_v1_16.pdf | 2026-05-31 | ZP-C v1.16 superseded by v1.17: version strings removed from Remark R5 label_box (Gemini review catch — li/label_box calls not covered by prose gate). | |||
| ZP-K_Computational_Grounding_v1_6.pdf | 2026-05-31 | ZP-K v1.6 superseded by v1.7: version changelog removed from preamble; stale v1.5 refs stripped; palette rebuild. | |||
| ZP-J_AFA_Addendum_v1_1.pdf | 2026-05-31 | ZP-J AFA Addendum v1.1 superseded by v1.2: version changelog removed from preamble; palette rebuild. | |||
| ZP-J_Self_Reference_v2_0.pdf | 2026-05-31 | ZP-J Self-Reference v2.0 superseded by v2.1: version changelog removed from preamble; version strings stripped from section headers and endnote; “null state” → “⊥”; palette rebuild. | |||
| ZP-I_Inside_Zero_v1_9.pdf | 2026-05-31 | ZP-I v1.9 superseded by v1.10: vocab fixes — “null state” → “⊥”; version refs removed from body prose; palette rebuild. | |||
| ZP-H_Categorical_Bridge_v1_14.pdf | 2026-05-31 | ZP-H v1.14 superseded by v1.15: CC-1 framing updated — CC-1 is a derived theorem in ZP-J (cc1_derived, Lean 4); version ref stripped; palette rebuild. | |||
| ZP-G_Category_Theory_v1_10.pdf | 2026-05-31 | ZP-G v1.10 superseded by v1.11: local make_doc override removed; version subheader style fixed; version refs stripped from body prose; palette rebuild. | |||
| ZP-F_The_Counterexamples_v1_3.pdf | 2026-05-31 | ZP-F v1.3 superseded by v1.4: vocab fix — “null state” → “⊥” in preamble; palette rebuild. | |||
| ZP-E_Bridge_Document_v3_17.pdf | 2026-05-31 | ZP-E v3.17 superseded by v3.18: vocab fixes — “null state” → “⊥”; version refs removed from body prose; palette rebuild. | |||
| ZP-C_Information_Theory_v1_15.pdf | 2026-05-31 | ZP-C v1.15 superseded by v1.16: vocab fixes — “null state” → “⊥” throughout body prose; palette rebuild. | |||
| ZP-J_Illustrated_Companion_v1_21.pdf | 2026-05-30 | ZP-J companion v1.21 superseded by v1.22: “ZP lattice” and “bounded semilattice” replaced; AFAStructure typeclass used directly in key result box; Aczel specific claims replaced with generic AFA fixed-point framing. | |||
| ZP-I_Illustrated_Companion_v1_19.pdf | 2026-05-30 | ZP-I companion v1.19 superseded by v1.20: conditions added to “every chain” prose; “(axiom-free)” corrected to “(no sorryAx)” for theorems using Classical.choice. | |||
| ZP-J_Illustrated_Companion_v1_20.pdf | 2026-05-30 | ZP-J companion v1.20 superseded by v1.21: “ZP-A semilattice” replaced with structural description; section heading scoped; AFA/ZP-J framing clarified; “uniqueness half” hedged as analogous. | |||
| ZP-I_Illustrated_Companion_v1_18.pdf | 2026-05-30 | ZP-I companion v1.18 superseded by v1.19: norm bound corrected to include S(0) factor; IsDepthChain and IsStrictStateSequence added to key result box. | |||
| ZP-J_Illustrated_Companion_v1_19.pdf | 2026-05-30 | ZP-J companion v1.19 superseded by v1.20: Aczel attribution removed; open question stated without attribution. | |||
| ZP-I_Illustrated_Companion_v1_17.pdf | 2026-05-30 | ZP-I companion v1.17 superseded by v1.18: IsDepthChain hypothesis added to strict growth claim. | |||
| ZP-J_Illustrated_Companion_v1_18.pdf | 2026-05-30 | ZP-J companion v1.18 superseded by v1.19: plain-meaning table corrected; Aczel attribution hedged; AFA vs ZP-J scope clarified; sorry note added to key result box. | |||
| ZP-I_Illustrated_Companion_v1_16.pdf | 2026-05-30 | ZP-I companion v1.16 superseded by v1.17: blanket purity claim removed; per-theorem axiom scoping applied. | |||
| ZP-J_Illustrated_Companion_v1_17.pdf | 2026-05-30 | ZP-J companion v1.17 superseded by v1.18: three residual em-dashes in three_way_table removed. | |||
| ZP-I_Illustrated_Companion_v1_15.pdf | 2026-05-30 | ZP-I companion v1.15 superseded by v1.16: norm claim corrected from equality to inequality (“at most 2^{-n}”). | |||
| ZP-J_Illustrated_Companion_v1_16.pdf | 2026-05-30 | ZP-J companion v1.16 superseded by v1.17: em-dashes removed; Quine Atom added to tagline; 2-adic analogy caveat moved to front. | |||
| ZP-I_Illustrated_Companion_v1_14.pdf | 2026-05-30 | ZP-I companion v1.14 superseded by v1.15: em-dashes removed; “closed system” language scoped to derivation chain. | |||
| ZP-J_Illustrated_Companion_v1_15.pdf | 2026-05-30 | ZP-J companion v1.15 superseded by v1.16: title reverted to “The Self-Containing Null”. | |||
| ZP-I_Illustrated_Companion_v1_13.pdf | 2026-05-30 | ZP-I companion v1.13 superseded by v1.14: norm description clarified (2-adic depth n → norm 2^{-n}). | |||
| ZP-I_Illustrated_Companion_v1_12.pdf | 2026-05-30 | ZP-I companion v1.12 superseded by v1.13: disclaimer rewritten — “successor null” replaced with standard math (converges to zero in 2-adic metric). | |||
| ZP-J_Illustrated_Companion_v1_14.pdf | 2026-05-30 | ZP-J companion v1.14 superseded by v1.15: title changed to “The Quine Atom” (standard AFA term; replaces “The Self-Containing Null”). | |||
| ZP-J_Illustrated_Companion_v1_13.pdf | 2026-05-30 | ZP-J companion v1.13 superseded by v1.14: “full AFA decoration” scoped to finite APGs; Aczel quote paraphrased; sorry-free claim scoped (ER fixes). | |||
| ZP-J_Illustrated_Companion_v1_12b.pdf | 2026-05-30 | ZP-J companion v1.12 superseded by v1.13: disclaimer rewritten to lead with AFA math before brand name (AR fix). | |||
| ZP-J_Illustrated_Companion_v1_12.pdf | 2026-05-30 | ZP-J companion v1.12 superseded by final v1.12: docstring version corrected; stale formal-doc version string removed (ER fix). | |||
| ZP-J_Illustrated_Companion_v1_11b.pdf | 2026-05-30 | ZP-J companion v1.11 (second build) superseded by v1.12: “Zero Paradox” expanded in disclaimer; “Really” dropped from subtitle (AR fix). | |||
| ZP-J_Illustrated_Companion_v1_11.pdf | 2026-05-30 | ZP-J companion v1.11 superseded by v1.11 (rebuilt): opening paragraph rewritten to lead with AFA mathematical content; docstring version corrected (AR/ER fix). | |||
| ZP-J_Illustrated_Companion_v1_10.pdf | 2026-05-30 | ZP-J companion v1.10 superseded by v1.11: em-dashes removed from subtitle and first body paragraph (AR fix). | |||
| ZP-I_Illustrated_Companion_v1_11b.pdf | 2026-05-30 | ZP-I companion v1.11 superseded by v1.12: disclaimer rewritten to lead with p-adic math before brand name (AR fix). | |||
| ZP-I_Illustrated_Companion_v1_11.pdf | 2026-05-30 | ZP-I companion v1.11 superseded by final v1.11: docstring updated; KleeneStructure condition added to T-IZ key result box (ER fix). | |||
| ZP-I_Illustrated_Companion_v1_10.pdf | 2026-05-30 | ZP-I companion v1.10 superseded by v1.11: “Zero Paradox” expanded in disclaimer (AR fix). | |||
| ZP-I_Illustrated_Companion_v1_9.pdf | 2026-05-30 | ZP-I companion v1.9 superseded by v1.10: T-IZ step table updated to 4 steps all proved via t_iz_complete (AFA/Kleene path); disclaimer rewritten as self-contained (AR/ER fix). | |||
| ZP-I_Illustrated_Companion_v1_8.pdf | 2026-05-30 | ZP-I companion v1.8 superseded by v1.9: cover title retitled “Going Forward Brings You Back to Zero” (AR fix — original title contradicted thesis). | |||
| ZP-H_Illustrated_Companion_v1_12.pdf | 2026-05-30 | ZP-H companion v1.12 superseded by v1.13: “any state change” scoped to “transition from bottom state in this framework (ZP-C T1b)” — Category 5 precision fix from editorial review. | |||
| ZP-J_Illustrated_Companion_v1_9.pdf | 2026-05-30 | ZP-J companion v1.9 superseded by v1.10: header banner color corrected from INDIGO to COMP_BLUE (template consistency fix). | |||
| ZP-J_AFA_Addendum_v1_0.pdf | 2026-05-30 | ZP-J AFA Addendum v1.0 superseded by v1.1: COMP_BLUE header banner added — color template was not applied in initial release. | |||
| ZP-I_Illustrated_Companion_v1_7.pdf | 2026-05-30 | ZP-I companion v1.7 superseded by v1.8: well diagram state labels given black outline for visibility; DA-2 label centered (was overflowing right edge). | |||
| ZP-H_Illustrated_Companion_v1_11.pdf | 2026-05-30 | ZP-H companion v1.11 superseded by v1.12: T-SNAP diagram circles converted to open style (white fill, colored stroke) for legibility. | |||
| ZP-H_Illustrated_Companion_v1_10.pdf | 2026-05-30 | ZP-H companion v1.10 superseded by v1.11: subtitle/footer ‘Categorical Bridge’ replaced with ‘Functor Coherence’; footer date corrected to May 2026. | |||
| ZP-H_Illustrated_Companion_v1_9.pdf | 2026-05-30 | ZP-H companion v1.9 superseded by v1.10: CC-1 described as derived throughout; ‘independent’ → ‘distinct’ mathematical languages; T-H2 surprisal claim descoped. | |||
| ZP-H_Illustrated_Companion_v1_8.pdf | 2026-05-30 | ZP-H companion v1.8 superseded by v1.9: ‘(null)’ → ‘(⊥)’ in snap diagram; Q₂ scope added to T-H2 sequence claim; four_functor cy fixed to constant. | |||
| ZP-H_Illustrated_Companion_v1_7.pdf | 2026-05-30 | ZP-H companion v1.7 superseded by v1.8: T-SNAP diagram — ε₀ Unicode label (was ASCII ‘e0’), shortened framework labels to prevent overflow, fixed cy to constant. | |||
| ZP-G_Category_Theory_v1_9.pdf | 2026-05-29 | ZP-G v1.9 superseded by v1.10: hash sync rebuild — script had been modified without going through the full workflow; no substantive content change. | |||
| ZP-H_Categorical_Bridge_v1_13.pdf | 2026-05-29 | ZP-H v1.13 superseded by v1.14: K-13 vocabulary fix — “topological isolation” replaced with “clopen separation” throughout DP-1 and related prose. | |||
| ZP-E_Bridge_Document_v3_16.pdf | 2026-05-29 | ZP-E v3.16 superseded by v3.17: K-22 vocabulary fix — “informational extremity” replaced with “unbounded surprisal (L-INF)” in DA-1 Section II bridge prose. | |||
| ZP-F_The_Counterexamples_v1_2.pdf | 2026-05-29 | ZP-F v1.2 superseded by v1.3: K-16 vocabulary fix — “topological isolation of zero” replaced with “valuative gap at zero (v_p(0) = +∞)” in §VI body prose. | |||
| ZP-D_State_Layer_v1_10.pdf | 2026-05-29 | ZP-D v1.10 superseded by v1.11: K-11/K-18 vocabulary fixes — DP-1 label “Topological Isolation” renamed “Clopen Separation”; “first atomic state” replaced with “minimum nonzero state” in D1 and related prose. | |||
| ZP-C_Information_Theory_v1_14.pdf | 2026-05-29 | ZP-C v1.14 superseded by v1.15: K-19/K-21 vocabulary fixes — “First Atomic State” replaced with “minimum nonzero state” in T1; “Informational Extremity” replaced with “Unbounded Surprisal” in L-INF label, section header, and related prose. | |||
| ZP-B_pAdic_Topology_v1_8.pdf | 2026-05-29 | ZP-B v1.8 superseded by v1.9: K-17 vocabulary fix — “First Atomic State” replaced with “minimum nonzero state, ε₀” in §I existence notation. | |||
| ZP-A_Lattice_Algebra_v1_13.pdf | 2026-05-28 | ZP-A v1.13 superseded by v1.14: CC-2 label updated from “Conditional Claim” to “Forced Metatheoretic Commitment”; Lean 4 scope extended with ZPJ_ScaleBridge fixed-point verification; dual-framing note added to cross-framework section; both validation tables updated. | |||
| ZP-J_Self_Reference_v1_2.pdf | 2026-05-27 | ZP-J v1.2 superseded by v2.0: four new sections added — Aczel DC-free connection (§ VII), abstraction chain ValuationStructure → AbstractSelfApp → AFAStructure (§ VIII), concrete instances ℕ∞ and OntologicalStates (§ IX), APG decoration uniqueness (§ X). All new results sorry-free in Lean 4. | |||
| ZP-H_Categorical_Bridge_v1_12.pdf | 2026-05-26 | ZP-H v1.12 superseded by v1.13: version number removed from Open Items Register section header. | |||
| ZP-G_Category_Theory_v1_8.pdf | 2026-05-26 | ZP-G v1.8 superseded by v1.9: version number removed from Open Items Register section header. | |||
| ZP-D_State_Layer_v1_9.pdf | 2026-05-26 | ZP-D v1.9 superseded by v1.10: version number removed from Open Items Register section header. | |||
| ZP-C_Information_Theory_v1_13.pdf | 2026-05-26 | ZP-C v1.13 superseded by v1.14: version number removed from Open Items Register section header. | |||
| ZP-E_Bridge_Document_v3_15.pdf | 2026-05-26 | ZP-E v3.15 superseded by v3.16: version numbers removed from three internal register section headers (Open Items, Traceability, Validation Status). | |||
| ZP-F_The_Counterexamples_v1_1.pdf | 2026-05-26 | ZP-F v1.1 superseded by v1.2: vocabulary fix (“topologically isolated” → “valuatively distinguished” in §VI); three new bullets in Remark: The Dual Limit Condition — squeeze pattern as structural necessity, surreals as boundary test case, development path toward formal duality theorem. | |||
| ZP-E_Bridge_Document_v3_14.pdf | 2026-05-24 | ZP-E v3.14 superseded by v3.15: DA-1 Path 2 forward reference to ZP-M R-M.1 added at three locations. | |||
| ZP-E_Bridge_Document_v3_13.pdf | 2026-05-21 | ZP-E v3.13 superseded by v3.14: AR fixes — preamble version history removed; “AX-1 promoted to Theorem T-SNAP” → “AX-1 derived as Theorem T-SNAP”; “[AX-1 Promoted to Theorem]” tag removed from header; Section VII headers renamed to mathematical descriptions; “structural event” → “structural limit”. | |||
| ZP-C_Information_Theory_v1_12.pdf | 2026-05-21 | ZP-C v1.12 superseded by v1.13: AR fix — “forcing result” replaced with “structural constraint on the null state” to avoid borrowing set-theoretic forcing vocabulary. | |||
| ZP-B_pAdic_Topology_v1_7.pdf | 2026-05-21 | ZP-B v1.7 superseded by v1.8: AR fix — R1 consequence reworded; “universal ontology” language scoped to ZP-B algebraic and topological results only. | |||
| ZP-D_State_Layer_v1_8.pdf | 2026-05-21 | ZP-D v1.8 superseded by v1.9: AR fix — Import I-B preamble stale reference “Topological isolation of 0” updated to “Clopen gap at 0” (matching ZP-B v1.7 T3 rename). | |||
| ZP-I_Inside_Zero_v1_8.pdf | 2026-05-21 | ZP-I v1.8 superseded by v1.9: AR fixes — multi-version changelog paragraph removed from title block; “T-SNAP fires” → “T-SNAP apply, yielding a successor null ⊥’”. | |||
| ZP-K_Computational_Grounding_v1_5.pdf | 2026-05-21 | ZP-K v1.5 superseded by v1.6: AR fixes — date removed from body text; “philosophical vulnerability” → “informal gap in the DA-1 argument”. | |||
| Zero_Paradox_Foreword_v1_7.pdf | 2026-05-21 | Foreword v1.7 superseded by v1.8: AR fixes — verse epigraph removed; “directly describable by nothing” → plain structural description; Planck-scale analogy replaced with structural statement; Section VIII (four open problems) cut entirely. | |||
| ZP_Philosophical_Question_v1_1.pdf | 2026-05-21 | PhilQ v1.1 superseded by v1.2: AR restructure — opening reordered to lead with T-SNAP artifact (Lean repo link in sentence 1); Leibniz question repositioned as philosophical interpretation of the formal result, not as the opening claim. | |||
| ZP_Reals_Companion_v1_5.pdf | 2026-05-21 | Reals Companion v1.5 superseded by v1.6: AR fix — “That is definitional” removed; scope of the definitional claim narrowed to domains where state changes have nonzero extent. | |||
| ZP-K_Computational_Grounding_v1_4.pdf | 2026-05-20 | ZP-K v1.4 superseded by v1.5: precision fixes — periodicity framing throughout selfApply construction; typeclass commitment language for KleeneStructure (AFA and Kleene fixed point “taken to be” the same structural role, not derived equivalent); Kolmogorov/AIT claims removed from preamble. | |||
| ZP-B_pAdic_Topology_v1_6-1.pdf | 2026-05-20 | ZP-B v1.6 superseded by v1.7: T3 renamed from “Topological isolation of 0” to “Clopen gap at 0” — {0} is not open in ℚ₂ so the topological-isolation label was incorrect; clopen-ball separation is the accurate claim. | |||
| ZP-K_Computational_Grounding_v1_3-1.pdf | 2026-05-17 | ZP-K v1.3 superseded by v1.4: four-way equivalence claim scoped to this framework; verbose version history removed from PDF title block. | |||
| ZP-J_Self_Reference_v1_1-1.pdf | 2026-05-17 | ZP-J v1.1 superseded by v1.2: “not an asserted coincidence” removed — overstated the Lean formalization claim; version history trimmed. | |||
| ZP-H_Categorical_Bridge_v1_11-1.pdf | 2026-05-17 | ZP-H v1.11 superseded by v1.12: scaffolding note “ZP-H cannot be written until ZP-G is internally closed” removed from preamble — development artifact not appropriate in a public document. | |||
| ZP-G_Category_Theory_v1_7-1.pdf | 2026-05-17 | ZP-G v1.7 superseded by v1.8: “Internal Working Document” marker removed from footer and endnote. | |||
| ZP-E_Bridge_Document_v3_12-1.pdf | 2026-05-17 | ZP-E v3.12 superseded by v3.13: “topological isolation is maximal” replaced with “clopen separation is total — 0 and every nonzero element lie in disjoint clopen classes” (0 in ℚ₂ is not topologically isolated); “DA-1 unifies” replaced with “DA-1 establishes these as descriptions of the same structural event across four independent mathematical languages.” | |||
| ZP-F_The_Counterexamples_v1_0-1.pdf | 2026-05-10 | ZP-F v1.0 superseded by v1.1: §VI added — philosophical note on why ℝ is the wrong setting: inversion of richness, Ostrowski forcing argument, and zero as limit point versus structural origin. | |||
| ZP_Reals_Companion-1.pdf | 2026-05-08 | Standalone reals companion (v1.4) superseded by ZP-F_Illustrated_Companion.pdf — promoted to formal ZP-F layer with Lean verification. | |||
| ZP_Reals_Companion_v1_3-1.pdf | 2026-05-08 | Reals Companion v1.3 superseded by v1.4: Section V renamed “The Wrong Kind of Zero” — new structural argument that R models zero as a reachable point while any state-change domain requires zero to be an unrealizable asymptotic floor; Q2’s valuation +inf encodes this structurally. | |||
| ZP-A_Lattice_Algebra_v1_12-1.pdf | 2026-05-06 | ZP-A v1.12 superseded by v1.13: OQ-A1b note added distinguishing bounded chains from existence of minimal element above ⊥ — bounded chains do not guarantee ε₀ exists as a minimal non-null element; that is a metric result from ZP-B, outside the scope of A1-A4. No algebraic content changed. | |||
| ZP-H_Categorical_Bridge_v1_10-1.pdf | 2026-05-03 | ZP-H v1.10 superseded by v1.11: Remark R-FORCING added between Sections V and VI — explains structural forcing vs. categorical re-description; four domain functors each independently ground the snap, verified sorry-free in Lean 4. | |||
| ZP-G_Category_Theory_v1_6-1.pdf | 2026-05-03 | ZP-G v1.6 superseded by v1.7: Remark R-AX added after AX-G2 — explains non-triviality of the structural axioms; initial object is independently grounded via four concrete domain functors in ZP-H. | |||
| ZP-E_Bridge_Document_v3_11-1.pdf | 2026-05-03 | ZP-E v3.11 superseded by v3.12: Framework scope and failure-mode framing added to preamble — “why these four?” addressed (coverage not exhaustion); cross-framework failure-mode paragraph names the domain-specific limit at ⊥ for each layer. | |||
| ZP-C_Information_Theory_v1_11-1.pdf | 2026-05-03 | ZP-C v1.11 superseded by v1.12: Encoding commitment and information-theoretic failure mode added to preamble — conditionality of T1b (1 bit) stated upfront; unbounded-surprisal failure at ⊥ (L-INF) stated as the information-theoretic instance of the foundational claim. | |||
| ZP-H_Categorical_Bridge_v1_9-1.pdf | 2026-05-03 | ZP-H v1.9 superseded by v1.10: fc_functor and fd_functor added — F_C and F_D now have concrete Lean Functor terms (InfoDepth and HilbDimDepth appendices). OQ-G3 fully closed for all four functors. | |||
| ZP-I_Inside_Zero_v1_7-1.pdf | 2026-05-03 | ZP-I v1.7 superseded by v1.8: Lean scope updated — t_iz_h_bound_from_depth_chain and t_iz_complete_from_axioms added to Lean Scope section and traceability register as optional transparency variants; primary narrative unchanged. | |||
| ZP-B_pAdic_Topology_v1_5-1.pdf | 2026-05-03 | ZP-B v1.5 superseded by v1.6: Remark added after AX-B1 clarifying that 0 and 1 are both present as mathematical objects; “existence” in AX-B1 is a property the states represent, not a statement about set membership. No mathematical content changed. | |||
| ZP-I_Inside_Zero_v1_6-1.pdf | 2026-05-02 | ZP-I v1.6 superseded by v1.7: R-IZ-A formally closed — key result box, Remark R-IZ-A, Step 1, Null Balance callout, and Section V closure text updated to reflect that strict valuation growth is Lean-derived from ZP-A R1 + T3 via IsDepthChain (h_strict_from_r1_t3, §Ib). “Conditional on R-IZ-A” language replaced throughout. | |||
| ZP-D_State_Layer_v1_7-1.pdf | 2026-05-02 | ZP-D v1.7 superseded by v1.8: T5 strengthened — T5-b (strict orthogonality) added and Lean-verified (ZPD.t5_strict_orthogonal); T5 norm result disclosed as tautology of construction (all norms = 1). | |||
| ZP-E_Bridge_Document_v3_10-1.pdf | 2026-05-02 | ZP-E v3.10 superseded by v3.11: T-SNAP Step 7 corrected — ZP-G AX-G2 removed as formal dependency of T-SNAP; now labelled conceptual correspondence only. ZP-G is downstream of ZP-E; irreversibility grounded in ZP-A R1 and ZP-B C3 alone. No mathematical content changed. | |||
| ZP-B_pAdic_Topology_v1_4-1.pdf | 2026-05-02 | ZP-B v1.4 superseded by v1.5: T3 ZP interpretation bullets labelled explicitly — “ZP Interpretation:” prefix separates pure topology (theorem statement) from ZP-specific framing (Binary Snap). No mathematical content changed. | |||
| ZP-G_Category_Theory_v1_5-1.pdf | 2026-05-02 | ZP-G v1.5 superseded by v1.6: D7’ well-definedness note corrected — additive constant invariance now explicitly scoped to ZP-G’s qualitative claims (finite/zero/undefined), not stated as a general AIT property. No mathematical content changed. | |||
| ZP-C_Information_Theory_v1_10-1.pdf | 2026-05-02 | ZP-C v1.10 superseded by v1.11: L-INF semantic content corrected — “compressed limit of all possible binary programs” replaced with “limit point of the binary ball hierarchy under the 2-adic metric”; Section I (K-complexity) framing removed from a Section III (ball-hierarchy) result. No mathematical content changed. | |||
| ZP-C_Information_Theory_v1_9-1.pdf | 2026-05-02 | ZP-C v1.9 superseded by v1.10: R-BRIDGE “not a coincidence” clause given cross-reference to ZP-E R-AFA — the structural argument for why K and 2-adic surprisal converge at P₀ belongs to ZP-E, not ZP-C. No mathematical content changed. | |||
| ZP-H_Categorical_Bridge_v1_8-1.pdf | 2026-05-02 | ZP-H v1.8 superseded by v1.9: C-H3 AX-G1 no-terminal argument corrected — replaced “larger alphabets” appeal with the Lean-verified argument: ℝ≥0 has no greatest element (t + 1 > t), the categorical expression of ZP-A R1. | |||
| ZP-H_Categorical_Bridge_v1_7-1.pdf | 2026-05-02 | ZP-H v1.7 superseded by v1.8: C-H1 AX-G2 verification note added — ⊥-to-0 identification depends on CC-1/DA-2 (modelling commitment, not derived from ZP-A alone). No mathematical content changed. | |||
| ZP-I_Inside_Zero_v1_5-1.pdf | 2026-05-02 | ZP-I v1.5 superseded by v1.6: key result box first bullet qualified with R-IZ-A — “forces v₂(Sₙ) → ∞ given construction hypothesis R-IZ-A” — consistent with body text. No mathematical content changed. | |||
| ZP-D_State_Layer_v1_6-1.pdf | 2026-05-02 | ZP-D v1.6 superseded by v1.7: T5 DP-1 dependency made explicit in status line, Open Items Register, and Validation Status table — consistent with T4’s existing treatment. No mathematical content changed. | |||
| ZP-A_Lattice_Algebra_v1_11-1.pdf | 2026-05-02 | ZP-A v1.11 superseded by v1.12: OQ-A1b dual-status clarification — closure note now distinguishes ZP-specific result (bounded by AX-B1 via T5) from general semilattice case (unbounded chains permitted in bare join-semilattice without AX-B1). No algebraic content changed. | |||
| ZP-K_Computational_Grounding_v1_2-1.pdf | 2026-04-27 | ZP-K v1.2 superseded by v1.3: Forward references to “ZP-PQ” replaced with “The Philosophical Question That Started This” — that document already contained the dissolution argument; ZP-PQ was always a placeholder label | |||
| ZP-E_Bridge_Document_v3_9-1.pdf | 2026-04-27 | ZP-E v3.9 superseded by v3.10: Forward references to “ZP-PQ” replaced with “The Philosophical Question That Started This” — that document already contained the dissolution argument; ZP-PQ was always a placeholder label | |||
| ZP-A_Lattice_Algebra_v1_10-1.pdf | 2026-04-27 | ZP-A v1.10 superseded by v1.11: ZF+AFA metatheoretic declaration added before Section I (scope and plain-language explanation of AFA); plain English preface added immediately before CC-1 (§4.2) explaining T2 vs. CC-1 gap. No mathematical content changed. | |||
| ZP-G_Category_Theory_v1_4-1.pdf | 2026-04-27 | ZP-G v1.4 superseded by v1.5: Lean scope disclosure for T6-b and T6-c strengthened — Lean proofs verify only Nat.zero_le _ (non-negativity by type, trivially true for any N-valued function); T6-b strict inequality and T6-c subadditivity are not Lean-verified; status lines and validation table updated to make this explicit | |||
| ZP-I_Inside_Zero_v1_4-1.pdf | 2026-04-27 | ZP-I v1.4 superseded by v1.5: Section V “Complete Cycle” and Null Balance callout updated to carry R-IZ-A conditional caveat forward — “framework closure” now explicitly conditional on construction-level hypothesis v2(S(n)) >= n; key result box updated to match | |||
| ZP-E_Bridge_Document_v3_8-1.pdf | 2026-04-27 | ZP-E v3.8 superseded by v3.9: R-ε₀ remark reframed to lead with explicit informal-analogy disclaimer; “structural correspondence” changed to “structural analogy” throughout R-ε₀; hedge no longer buried at end of remark | |||
| ZP-A_Lattice_Algebra_v1_9-1.pdf | 2026-04-27 | ZP-A v1.9 superseded by v1.10: CC-1 box title updated from “Conditional Claim CC-1” to “CC-1 (Derived/Conditional)” — reflects dual derived/conditional status at first glance for ZP-A-only readers; status row inside box unchanged | |||
| ZP-I_Inside_Zero_v1_3-1.pdf | 2026-04-27 | ZP-I v1.3 superseded by v1.4: Remark R-IZ-A added — v2(S(n)) >= n hypothesis acknowledged as construction-level assumption, stronger than proved t_iz_valuation_unbounded; T-IZ hypothesis text updated from “forced by R1+T2” to “construction hypothesis”; title block version corrected from v1.2 to v1.3 | |||
| ZP-A_Lattice_Algebra_v1_8-1.pdf | 2026-04-27 | ZP-A v1.8 superseded by v1.9: CC-1 status updated — DERIVED (given AFAStructure grounding, ZP-J T-EXEC); structural consequence in any AFAStructure lattice; status line, validation table, and boundary conditions table updated; modelling commitment notation retained at ZP-A level | |||
| ZP-K_Computational_Grounding_v1_1-1.pdf | 2026-04-27 | ZP-K v1.1 superseded by v1.2: DA-1 Path 2 recharacterized from “outside Lean scope (ontological claim)” to “foundational commitment — a missing principle, not a missing proof”; forward paths listed (new axiom, Chalmers’ implementation, ZP-PQ dissolution); Open Items Register Path 2 status changed from OPEN to FOUNDATIONAL COMMITMENT | |||
| ZP-E_Bridge_Document_v3_7-1.pdf | 2026-04-27 | ZP-E v3.7 superseded by v3.8: DA-1 Path 2 recharacterized throughout — from “outside Lean scope (informational bridge)” to “foundational commitment: a missing principle, not a missing proof”; no computability library closes the gap; forward paths explicit; DA-1 does not depend on Path 2; ZP-PQ dissolution argument identified as forward resolution | |||
| ZP-I_Inside_Zero_v1_2-1.pdf | 2026-04-27 | ZP-I v1.2 superseded by v1.3: valuation-complexity bridge demoted from “critical step / required for full conclusion” to informational context — formal spine is Steps 1+6 (both axiom-free); DA-1 closed by ZP-K/Kleene | |||
| ZP-I_Inside_Zero_v1_1-1.pdf | 2026-04-27 | ZP-I v1.1 superseded by v1.2: t_iz_valuation_unbounded added — “sup v₂(Sₙ) = ∞” proved axiom-free in Lean; proof obligation table row 3 closed | |||
| ZP-K_Computational_Grounding_v1_0-1.pdf | 2026-04-27 | ZP-K v1.0 superseded by v1.1: Remark R-K.0 added — T-COMP “four-way equivalence” clarified: (1)-(3) equivalent by T-EXEC (derived); (4) combined by KleeneStructure typeclass requirement, not independently derived; equivalence flows through typeclass membership | |||
| ZP-J_Self_Reference_v1_0-1.pdf | 2026-04-27 | ZP-J v1.0 superseded by v1.1: Remark R-J.0 added — bot_self_mem := rfl in MachinePhase is a structural analogy (CIC encoding of selfMem x := x = ⊥), not a ZF+AFA set-theoretic derivation; AFAStructure concrete instances item CLOSED (ZP-K machinePhaseAFA) | |||
| ZP-I_Inside_Zero_v1_0-1.pdf | 2026-04-27 | ZP-I v1.0 superseded by v1.1: sorry-pending language cleared throughout — ZPI.lean has no open sorries; “no new axioms required” qualified: applies to topological core (Cauchy convergence, Steps 1-2); full conclusion (generation of ⊥’) depends on valuation-complexity bridge (outside Lean scope) | |||
| ZP-E_Bridge_Document_v3_6-1.pdf | 2026-04-26 | ZP-E v3.6 superseded by v3.7: DA-1 formally closed via ZP-K — da1_closed_concrete : IsQuineAtom(⊥ : MachinePhase) proved in Lean 4; KleeneStructure MachinePhase instance provides botCode_is_quine (Path 3 IN LEAN SCOPE); machinePhaseAFA gives AFAStructure instance (Path 1 IN LEAN SCOPE); “Outside Lean Scope” designation removed from ZPE.lean | |||
| ZP-E_Bridge_Document_v3_5-1.pdf | 2026-04-26 | ZP-E v3.5 superseded by v3.6: DA-1 Path 1 rewritten — self-execution argument now leads (nothing external to ⊥ can execute ⊥, therefore ⊥ = {⊥} is forced); ZP-J T-EXEC cited as formal verification; CC-1 and CC-2 status updated to derived rather than freestanding commitments | |||
| ZP-C_Information_Theory_v1_8-1.pdf | 2026-04-26 | ZP-C v1.8 superseded by v1.9: Remark R-TQ added after TQ-IH — external expert confirmation that TQ-IH holds and is domain-independent: a direct consequence of L-RUN alone, requiring no Turing-specific or Kolmogorov machinery; status updated to Closed — Confirmed | |||
| Zero_Paradox_Foreword-6.pdf | 2026-04-26 | Foreword superseded by v1.2: commitment table updated to include MC-1 (cross-framework identification), CC-1 (S₀ = ⊥), and CC-2 (⊥ = {⊥} Quine atom); layer count corrected from seven to eight throughout; ZP-I closure layer added to Section II; version string added | |||
| ZP-E_Bridge_Document_v3_4-1.pdf | 2026-04-26 | ZP-E v3.4 superseded by v3.5: DA-1 Open Items Register status updated to match v3.3 path-hierarchy framing — “CLOSED — DP-2 (formal core); CC-2 + L-INF + AIT (corroboration of precondition)” | |||
| ZP-E_Bridge_Document_v3_3-1.pdf | 2026-04-26 | ZP-E v3.3 superseded by v3.4: R-AFA “What remains conditional” paragraph expanded with explicit minimality argument — ⊥ = {⊥} is uniquely minimal among AFA non-well-founded sets: exactly one member, no internal differentiation; any extension adds membership chains beyond A4’s algebraic constraint | |||
| ZP-H_Categorical_Bridge_v1_6-1.pdf | 2026-04-26 | ZP-H v1.6 superseded by v1.7: T-H3 consistency note strengthened — independence-of-discovery foregrounded: each framework located its null-analog through its own domain logic prior to cross-framework identification; “frameworks are not independent” framing replaced with explicit independence-of-discovery statement | |||
| ZP-E_Bridge_Document_v3_2-1.pdf | 2026-04-26 | ZP-E v3.2 superseded by v3.3: DA-1 path hierarchy foregrounded — explicit framing paragraph added before Paths 1–3 stating that the three informal paths are corroboration of the precondition DP-2 formalizes, not parallel proofs of DA-1 | |||
| ZP-C_Information_Theory_v1_7-1.pdf | 2026-04-26 | ZP-C v1.7 superseded by v1.8: Remark R-BRIDGE added — explicit statement of the relationship between K (Kolmogorov complexity) and I(n) (2-adic surprisal): distinct measures converging at P₀; independence of L-INF and K paths preserved | |||
| ZP-A_Lattice_Algebra_v1_7-1.pdf | 2026-04-26 | ZP-A v1.7 superseded by v1.8: CC-2 cross-framework note added — Foundation ruled out by R3 and L-INF; AFA identified as forced rather than chosen; Foundation note updated; cross-reference to ZP-E Remark R-AFA | |||
| ZP-E_Bridge_Document_v3_1-1.pdf | 2026-04-26 | ZP-E v3.1 superseded by v3.2: Remark R-AFA added — Foundation incompatibility with R3 and L-INF established; AFA as forced metatheoretic replacement derived; CC-2 status clarified | |||
| ZP-E_Bridge_Document_v3_0-1.pdf | 2026-04-26 | ZP-E v3.0 superseded by v3.1: Remark R-ε₀ added — deliberate notation justification for ε₀ symbol choice; structural correspondence with Cantor-Gentzen proof-theoretic ordinal explained | |||
| ZP-H_Categorical_Bridge_v1_5-1.pdf | 2026-04-25 | ZP-H v1.5 superseded by v1.6: three identical fb/fc/fd_nnreal_initial_grounding Lean defs consolidated into one nnreal_initial_grounding; OQ-G3 register updated to reflect single shared witness; Section III header clarified | |||
| ZP-H_Categorical_Bridge_v1_4-1.pdf | 2026-04-25 | ZP-H v1.4 superseded by v1.5: OQ-G3 register entry updated — fb/fc/fd_nnreal_initial_grounding share identical proof term (nnrealZPCategory.zpIsInitial); domain theorems C3/T1b/T4 clarified as semantic context, not formal Lean dependencies; full abstract functor terms explicitly deferred | |||
| ZP-G_Category_Theory_v1_3-1.pdf | 2026-04-25 | ZP-G v1.3 superseded by v1.4: Lean scope note added after T6-c — T6-b strict inequality and T6-c subadditivity are K-specific AIT content outside ZPSurprisal skeleton; Lean proofs reduce to Nat.zero_le _ (structural skeleton only) | |||
| ZP-A_Lattice_Algebra_v1_6-1.pdf | 2026-04-25 | ZP-A v1.6 superseded by v1.7: R3 dependency note added — “no external interpreter → necessarily executing” requires D7’s exhaustive static/executing dichotomy (ZP-E) as background; R3 title updated; all three DA-1 paths share D7 as background | |||
| ZP-E_Bridge_Document_v2_9-1.pdf | 2026-04-25 | ZP-E v2.9 superseded by v3.0: DP-2 (Execution Distinguishability) added — TrackedOutput construction formally separates output value from machine state; da1_minimal_path proved axiom-free in Lean (ZPE.lean §VI); first Lean formalization of DA-1, conditional on DP-2 | |||
| ZP-E_Bridge_Document_v2_8-1.pdf | 2026-04-25 | ZP-E v2.8 superseded by v2.9: DA-1 Lean scope note added — functional role carried by ZPC.l_run/tq_ih; AIT+ZF+AFA bridge outside Lean scope (same category as ZP-A CC-2); ZPE.lean comment updated to match | |||
| ZP-D_State_Layer_v1_5-1.pdf | 2026-04-25 | ZP-D v1.5 superseded by v1.6: R3 added — topological type of T stated explicitly: locally constant, continuous from (Q2, 2-adic topology) to H; totally-disconnected/connected-space concern resolved | |||
| ZP-D_State_Layer_v1_4-1.pdf | 2026-04-25 | ZP-D v1.4 superseded by v1.5: D1 updated — n = 2 established as foundational minimum (binary existence/non-existence); extensions to n = 2^k consistent but not required; core claims T4 and T5 grounded at n = 2 | |||
| ZP-E_Bridge_Document_v2_7-1.pdf | 2026-04-25 | ZP-E v2.7 superseded by v2.8: DA-1 formal bridge added — incompressibility = self-description argument (ZP-C D1 + standard AIT). At P0, K(c1 | n)/ | c1 | = 1 eliminates the static description state; DA-1 derived without requiring CC-2. CC-2/R3 and L-INF retained as independent corroboration |
| ZP-G_Category_Theory_v1_2-1.pdf | 2026-04-25 | ZP-G v1.2 superseded by v1.3: R2 added connecting initial object structure (T2 + AX-G2) to ZP-A CC-2 (⊥ = {⊥} Quine atom); all prior results unchanged | |||
| ZP-E_Bridge_Document_v2_6-1.pdf | 2026-04-25 | ZP-E v2.6 superseded by v2.7: DA-1 upgraded from Design Principle to Derived Proposition — grounded in ZP-A CC-2 (⊥ = {⊥} Quine atom) and R3; L-INF retained as independent corroboration. Multiverse framing in R-DA2 corrected: multiverse follows from CC-2 + T-SNAP + DA-2 jointly, not “T-SNAP fires in all directions” | |||
| ZP-C_Information_Theory_v1_6-1.pdf | 2026-04-25 | ZP-C v1.6 superseded by v1.7: L-INF extended with structural second grounding — ZP-A CC-2 (⊥ = {⊥}) and R3 noted as independent convergence with the informational-extremity argument | |||
| ZP-A_Lattice_Algebra_v1_5-1.pdf | 2026-04-25 | ZP-A v1.5 superseded by v1.6: CC-2 (Self-Containment of ⊥) added — ⊥ = {⊥} as Quine atom under ZF + AFA; R3 added; DA-1 in ZP-E grounded as derivation from CC-2; foundation note (ZF + AFA, no AC) added | |||
| ZP-H_Categorical_Bridge_v1_3-1.pdf | 2026-04-25 | ZP-H v1.3 superseded by v1.4: T-H3 cross-framework consistency caveat expanded — four-framework agreement is coherence across representations of shared structural commitments (A1-A4, AX-B1, CC-1), not external replication | |||
| ZP-E_Bridge_Document_v2_5-1.pdf | 2026-04-25 | ZP-E v2.5 superseded by v2.6: DA-3 candidate applications (Skolem, CH, Russell) removed — speculative connections belong in applications documents, not the bridge layer | |||
| ZP-E_Bridge_Document_v2_4-1.pdf | 2026-04-25 | ZP-E v2.4 superseded by v2.5: physical analogies (Big Bang cosmological endpoints, quantum mechanics correspondence) removed from formal sections — such analogies belong only in Illustrated Companions | |||
| ZP-H_Categorical_Bridge_v1_2-1.pdf | 2026-04-25 | ZP-H v1.2 superseded by v1.3: F_B/F_C/F_D status corrected — PDF constructions complete; Lean proxy witness only; full abstract Lean functors future work; OQ-G3 framing updated | |||
| ZP-E_Bridge_Document_v2_3-1.pdf | 2026-04-25 | ZP-E v2.3 superseded by v2.4: R-DA2 “mandates” framing corrected to “structural consequence of T-SNAP + DA-2”; internal version string synced | |||
| ZP-C_Information_Theory_v1_5-1.pdf | 2026-04-25 | ZP-C v1.5 superseded by v1.6: CC-2 added (c₀ = ⊥ labeled as modeling commitment, parallel to CC-1 in ZP-A); RP-2 added (branching measure labeled as representational commitment) | |||
| ZP-D_State_Layer_v1_3-1.pdf | 2026-04-25 | ZP-D v1.3 superseded by v1.4: T5 proof corrected — D2(v) lower-bound argument replaced with ball-boundary argument; T5 renamed “Non-Decreasing Norms” | |||
| ZP-B_pAdic_Topology_v1_3-1.pdf | 2026-04-25 | ZP-B v1.3 superseded by v1.4: T0 (p=2) reframed as derived given MP-1 (design commitment); MP-1 acknowledged as the load-bearing design choice | |||
| ZP-E_Bridge_Document_v2_2-1.pdf | 2026-04-25 | ZP-E v2.2 superseded by v2.3: CC-1 added to T-SNAP dependency list; multiverse claim scoped correctly to T-SNAP + DA-2 jointly | |||
| ZP-H_Categorical_Bridge_v1_1-1.pdf | 2026-04-25 | ZP-H v1.1 superseded by v1.2: F_C composition preservation corrected — JSD subadditivity replaced with Q-stability argument (binary framework); subadditivity is an inequality, not equality | |||
| ZP-E_Bridge_Document_v2_1-1.pdf | 2026-04-25 | ZP-E v2.1 superseded by v2.2: DA-3 Skolem/CH/Russell connections reframed from derived results to candidate applications pending OQ-E2 | |||
| ZP_TQ_IH_Formal-1.pdf | 2026-04-21 | Early standalone formal treatment of TQ-IH; superseded by ZP-C v1.4 which integrates TQ-IH as a proved theorem | |||
| ZP_TQ_IH_Illustrated-1.pdf | 2026-04-21 | Early standalone illustrated treatment of TQ-IH; superseded by ZP-C Illustrated Companion | |||
| Zero_Paradox_Foreword-5.pdf | 2026-04-19 | Foreword before Section VIII (Generation 2 applications) was added | |||
| ZP-H_Categorical_Bridge_v1_0-1.pdf | 2026-04-19 | ZP-H v1.0 before consistency update: AX-1 treated as axiom; imported ZP-G v1.0; OQ-G1 incorrectly open | |||
| Zero_Paradox_Foreword-4.pdf | 2026-04-19 | Foreword before functor subscript fix (F_B rendered as Fᴇ in ZP-H section) | |||
| ZP-E_DA1_TSNAP_Insert-1.pdf | 2026-04-19 | ZP-E insert document (DA-1 + T-SNAP only); superseded by Bridge Document v2.0 which adds DA-2, DA-3, and full traceability register | |||
| Zero_Paradox_Foreword-3.pdf | 2026-04-19 | Foreword before April 2026 revision (geometry/logic/set-theory examples tightened; ZP-G and ZP-H added to architecture) | |||
| Zero_Paradox_Foreword-2.pdf | 2026-04-18 | Earlier version of the Foreword | |||
| ZP-G_Category_Theory_v1_1-1.pdf | 2026-04-24 | ZP-G v1.1 superseded by v1.2: Theorem/Proposition/Lemma hierarchy applied (T1 → Proposition, T2/T3 → Lemma, T4/T5 → Proposition, T6-a/T6-b → Lemma, T6-c → Proposition); companion cross-reference note added | |||
| ZP-A_Lattice_Algebra_v1_4-1.pdf | 2026-04-24 | ZP-A v1.4 superseded by v1.5: Theorem/Proposition/Lemma hierarchy applied (T1 → Proposition, T2 → Lemma); Remark R2 added connecting “state sequence” to “ascending chain”; CC-1 corollary clarified (T2 gives ⊥ ≤ S₀ unconditionally; CC-1 strengthens to equality); companion cross-reference note added | |||
| ZP-B_pAdic_Topology_v1_2-2.pdf | 2026-04-24 | ZP-B v1.2 superseded by v1.3: Theorem/Proposition hierarchy applied (T1, T2, T5 → Proposition); companion cross-reference note added | |||
| ZP-C_Information_Theory_v1_4-1.pdf | 2026-04-25 | ZP-C v1.4 superseded by v1.5: L-INF added (Informational Extremity of bottom); T-BUF Step 2 grounded in L-INF; T1b relabelled Corollary | |||
| ZP-E_Bridge_Document_v2_0-1.pdf | 2026-04-25 | ZP-E v2.0 superseded by v2.1: DA-1 redesigned from Definitional Alignment (D7-based) to Design Principle (L-INF-based); circular D7 grounding replaced with honest informational extremity argument | |||
| ZP-C_Information_Theory_v1_4-2.pdf | 2026-04-24 | ZP-C v1.4 superseded by v1.5: Theorem/Corollary hierarchy applied (T1b → Corollary); companion cross-reference note added | |||
| ZP-D_State_Layer_v1_2-2.pdf | 2026-04-24 | ZP-D v1.2 superseded by v1.3: Theorem/Proposition hierarchy applied (T3, T5 → Proposition); companion cross-reference note added | |||
| ZP-A_Lattice_Algebra_v1_3-1.pdf | 2026-04-23 | ZP-A v1.3 superseded by v1.4: OQ-A1 section header corrected from “Open Question” to “CLOSED”; status line expanded to answer both sub-questions explicitly | |||
| ZP-A_Lattice_Algebra_v1_2-1.pdf | 2026-04-23 | ZP-A v1.2 superseded by v1.3: D2 quantifier clarified; T3 iff symbol corrected; CC-1 reframed as direct modelling commitment | |||
| ZP-A_Lattice_Algebra_v1_1-2.pdf | 2026-04-21 | ZP-A v1.1 superseded by v1.2: D1 notation clarified; D2 equivalence proved; illustrated companion expanded | |||
| ZP-A_Lattice_Algebra_v1_1-1.pdf | 2026-04-18 | Earlier iteration of ZP-A (v1.1) | |||
| ZP-B_pAdic_Topology_v1_2-1.pdf | 2026-04-18 | Earlier iteration of ZP-B (v1.2) | |||
| ZP-C_Information_Theory_v1_3-2.pdf | 2026-04-18 | Earlier iteration of ZP-C (v1.3) | |||
| ZP-D_State_Layer_v1_2-1.pdf | 2026-04-18 | Earlier iteration of ZP-D (v1.2) | |||
| ZP-E_Bridge_Document_v1_4-1.pdf | 2026-04-18 | Earlier iteration of ZP-E (v1.4) |
For the complete commit history and detailed changes over time, use Git:
git log --oneline — See all commitsgit show <commit-hash>:filename — View a file’s content at a specific commitgit log -p filename — See all changes made to a specific fileSee the main README for more details on accessing version history.
| *Historical archive | April 2026* |