{
  "artifact_type": "lean_source",
  "filename": "ChaosCompounding__VERIFIED.lean",
  "size_bytes": 2661,
  "sha256": "b7d4d8517bb764f77dd5aa4bcdf0cf58f26b046587a6f905e3ecd9377a43a8d7",
  "source_url": "https://morphogenic.systems/static/evidence/sources/ChaosCompounding__VERIFIED.lean",
  "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).",
  "node23_url": "https://morphogenic.systems/static/evidence/sources/ChaosCompounding__VERIFIED.lean",
  "archived_at": "NODE-6 (kts-global-evidence-locker)",
  "archived_by": "chaos-kts-production-agent via NODE-23 build 2026-09-29"
}