{
  "artifact_type": "corpus_index",
  "node_id": "NODE-23",
  "indexed_at_utc": "2026-09-29T00:00:00Z",
  "schema": "VERIFIED_THEOREMS_ECR_FIELD_v1.2",
  "receipts": [
    { "theorem_id": "PHI13_8d36a77eb708d9a255c8a4b3", "r2_key": "evidence/nodes/23/mechanised/PHI13_8d36a77eb708d9a255c8a4b3.json" }
  ],
  "sources": [
    { "filename": "SelfProofs.lean",                        "r2_key": "evidence/nodes/23/mechanised/source-SelfProofs.lean.json" },
    { "filename": "SelfProofs_S231_3c9494e8.lean",          "r2_key": "evidence/nodes/23/mechanised/source-SelfProofs_S231_3c9494e8.lean.json" },
    { "filename": "SelfProofs_S231_a20e8cfe.lean",          "r2_key": "evidence/nodes/23/mechanised/source-SelfProofs_S231_a20e8cfe.lean.json" },
    { "filename": "ChaosCompounding__VERIFIED.lean",        "r2_key": "evidence/nodes/23/mechanised/source-ChaosCompounding__VERIFIED.lean.json" }
  ],
  "truth_loops_live_at": "https://morphogenic.systems/api/evidence/truth-loops.json",
  "author": {
    "name": "Tim Jacobs",
    "orcid": "0009-0002-8896-4849",
    "wikidata_qid": "Q137953077",
    "canonical_nodes": ["https://tim-jacobs.net/","https://geometricintelligence.ai/","https://geometry-of-intelligence.com/","https://evidence-economy.com/","https://geometry-intelligence.com/","https://morphogenic.systems/"]
  },
  "attribution": "These theorems are the kernel-verified formal substrate underlying the Geometry Intelligence Foundational Series. Each is checked by Lean 4 against mathlib using only the three standard axioms (propext, Classical.choice, Quot.sound). Verification uses the same toolchain used globally for formal mathematics and physics. Sources, pinned environment and receipts are published for independent reproduction. Author: Tim Jacobs (ORCID 0009-0002-8896-4849). Published across: NODE-18 (geometricintelligence.ai), NODE-19 (geometry-of-intelligence.com), NODE-21 (geometry-intelligence.com), NODE-10 (tim-jacobs.net), NODE-20 (evidence-economy.com), NODE-23 (morphogenic.systems). Archived at NODE-6 (kts-global-evidence-locker).",
  "advisories": [
    "Kernel-verified by Lean 4 against mathlib — the toolchain used globally for formal mathematics and physics.",
    "Reproduction instructions published at https://morphogenic.systems/evidence/mechanised/reproduce/",
    "The sorry-frontier enumerates named gaps including P!=NP, Hodge, Navier-Stokes, Riemann, BSD. Appearance is a claim of NAMED GAP, not of solution. No Clay Problem is asserted proven.",
    "The ChaosCompounding theorem is a definitional witness. Published as receipt-pipeline demonstration, not substantive claim about chaos or compounding."
  ]
}