{
  "schema_version": "1.0",
  "case_study_slug": "math-research",
  "accepted_snapshot": "72fde44c1d4c227e02b8ca9166cd7db04d8e6048",
  "prepared_at": "2026-09-14T17:59:46Z",
  "artifacts": [
    {
      "id": "lean-core",
      "path": "artifacts/source/OrchardMath/Millennium/HardySign.lean",
      "bytes": 10301,
      "sha256": "25c1d66daed3ca7a3f84c6a4d79637559fb0bae1e69ffccc00c0e2dfd4a40195",
      "media_type": "text/plain",
      "provenance": {
        "kind": "exact_source_copy",
        "sources": [
          {
            "source_path": "OrchardMath/Millennium/HardySign.lean",
            "source_commit": "eb9e22342170488361813abce4bec22a73f6f523",
            "source_sha256": "25c1d66daed3ca7a3f84c6a4d79637559fb0bae1e69ffccc00c0e2dfd4a40195"
          }
        ],
        "transformation": "None; source bytes preserved."
      },
      "published_path": "/research/math/artifacts/25c1d66daed3ca7a3f84c6a4d79637559fb0bae1e69ffccc00c0e2dfd4a40195/HardySign.lean"
    },
    {
      "id": "lean-parity",
      "path": "artifacts/source/OrchardMath/Millennium/HardySignParity.lean",
      "bytes": 2158,
      "sha256": "9f0e743e74a492fbe0e762908025acaaefdf219a59a92f21000b330140fa91dc",
      "media_type": "text/plain",
      "provenance": {
        "kind": "exact_source_copy",
        "sources": [
          {
            "source_path": "OrchardMath/Millennium/HardySignParity.lean",
            "source_commit": "eb9e22342170488361813abce4bec22a73f6f523",
            "source_sha256": "9f0e743e74a492fbe0e762908025acaaefdf219a59a92f21000b330140fa91dc"
          }
        ],
        "transformation": "None; source bytes preserved."
      },
      "published_path": "/research/math/artifacts/9f0e743e74a492fbe0e762908025acaaefdf219a59a92f21000b330140fa91dc/HardySignParity.lean"
    },
    {
      "id": "lean-parity-audit",
      "path": "artifacts/source/OrchardMath/Millennium/HardySignParityAudit.lean",
      "bytes": 787,
      "sha256": "7489cfcd6f25fbc9f33909eefee6ebaebc45a152487ebf95e918d8f51f1580cf",
      "media_type": "text/plain",
      "provenance": {
        "kind": "exact_source_copy",
        "sources": [
          {
            "source_path": "OrchardMath/Millennium/HardySignParityAudit.lean",
            "source_commit": "eb9e22342170488361813abce4bec22a73f6f523",
            "source_sha256": "7489cfcd6f25fbc9f33909eefee6ebaebc45a152487ebf95e918d8f51f1580cf"
          }
        ],
        "transformation": "None; source bytes preserved."
      },
      "published_path": "/research/math/artifacts/7489cfcd6f25fbc9f33909eefee6ebaebc45a152487ebf95e918d8f51f1580cf/HardySignParityAudit.lean"
    },
    {
      "id": "lake-dependencies",
      "path": "artifacts/source/lake-manifest.json",
      "bytes": 3129,
      "sha256": "cc802998e7b047121983d1f25828473d3112679b2f07f5d98682048d9cb46ae7",
      "media_type": "application/json",
      "provenance": {
        "kind": "exact_source_copy",
        "sources": [
          {
            "source_path": "lake-manifest.json",
            "source_commit": "eb9e22342170488361813abce4bec22a73f6f523",
            "source_sha256": "cc802998e7b047121983d1f25828473d3112679b2f07f5d98682048d9cb46ae7"
          }
        ],
        "transformation": "None; source bytes preserved."
      },
      "published_path": "/research/math/artifacts/cc802998e7b047121983d1f25828473d3112679b2f07f5d98682048d9cb46ae7/lake-manifest.json"
    },
    {
      "id": "lake-config",
      "path": "artifacts/source/lakefile.toml",
      "bytes": 214,
      "sha256": "b5113e2f69cac9f4c789349542da823a47a445ef0e99e22f160cf69883522263",
      "media_type": "text/plain",
      "provenance": {
        "kind": "exact_source_copy",
        "sources": [
          {
            "source_path": "lakefile.toml",
            "source_commit": "eb9e22342170488361813abce4bec22a73f6f523",
            "source_sha256": "b5113e2f69cac9f4c789349542da823a47a445ef0e99e22f160cf69883522263"
          }
        ],
        "transformation": "None; source bytes preserved."
      },
      "published_path": "/research/math/artifacts/b5113e2f69cac9f4c789349542da823a47a445ef0e99e22f160cf69883522263/lakefile.toml"
    },
    {
      "id": "lean-toolchain",
      "path": "artifacts/source/lean-toolchain",
      "bytes": 25,
      "sha256": "3aac669c7a910ec2389f4e4f921b605adf6ebf2d1e0c9b9cd0be4d33f3f5db71",
      "media_type": "text/plain",
      "provenance": {
        "kind": "exact_source_copy",
        "sources": [
          {
            "source_path": "lean-toolchain",
            "source_commit": "eb9e22342170488361813abce4bec22a73f6f523",
            "source_sha256": "3aac669c7a910ec2389f4e4f921b605adf6ebf2d1e0c9b9cd0be4d33f3f5db71"
          }
        ],
        "transformation": "None; source bytes preserved."
      },
      "published_path": "/research/math/artifacts/3aac669c7a910ec2389f4e4f921b605adf6ebf2d1e0c9b9cd0be4d33f3f5db71/lean-toolchain.txt"
    },
    {
      "id": "interval-checker",
      "path": "artifacts/source/research/millennium/iterations/0024/check_hardy_sign.py",
      "bytes": 4649,
      "sha256": "d78f959a25999f4cb0e990dd2027261c8ec6c557ac26278595b13af4369efe44",
      "media_type": "text/x-python",
      "provenance": {
        "kind": "exact_source_copy",
        "sources": [
          {
            "source_path": "research/millennium/iterations/0024/check_hardy_sign.py",
            "source_commit": "eb9e22342170488361813abce4bec22a73f6f523",
            "source_sha256": "d78f959a25999f4cb0e990dd2027261c8ec6c557ac26278595b13af4369efe44"
          }
        ],
        "transformation": "None; source bytes preserved."
      },
      "published_path": "/research/math/artifacts/d78f959a25999f4cb0e990dd2027261c8ec6c557ac26278595b13af4369efe44/check_hardy_sign.py"
    },
    {
      "id": "sign-proof",
      "path": "artifacts/source/research/millennium/iterations/0024/hardy-sign-proof.md",
      "bytes": 7876,
      "sha256": "587708dd341c2e51d0a4299f5742827ae9df61081a7332abdefd57771002af71",
      "media_type": "text/plain",
      "provenance": {
        "kind": "exact_source_copy",
        "sources": [
          {
            "source_path": "research/millennium/iterations/0024/hardy-sign-proof.md",
            "source_commit": "eb9e22342170488361813abce4bec22a73f6f523",
            "source_sha256": "587708dd341c2e51d0a4299f5742827ae9df61081a7332abdefd57771002af71"
          }
        ],
        "transformation": "None; source bytes preserved."
      },
      "published_path": "/research/math/artifacts/587708dd341c2e51d0a4299f5742827ae9df61081a7332abdefd57771002af71/hardy-sign-proof.md"
    },
    {
      "id": "recurrence-checker",
      "path": "artifacts/source/research/millennium/iterations/0029/check_positive_recurrence.py",
      "bytes": 6136,
      "sha256": "4256ab672ec481028fbb10acf7f49db6c73bfa1abe6af9ae474b47cd64efbb1c",
      "media_type": "text/x-python",
      "provenance": {
        "kind": "exact_source_copy",
        "sources": [
          {
            "source_path": "research/millennium/iterations/0029/check_positive_recurrence.py",
            "source_commit": "eb9e22342170488361813abce4bec22a73f6f523",
            "source_sha256": "4256ab672ec481028fbb10acf7f49db6c73bfa1abe6af9ae474b47cd64efbb1c"
          }
        ],
        "transformation": "None; source bytes preserved."
      },
      "published_path": "/research/math/artifacts/4256ab672ec481028fbb10acf7f49db6c73bfa1abe6af9ae474b47cd64efbb1c/check_positive_recurrence.py"
    },
    {
      "id": "recurrence-results",
      "path": "artifacts/source/research/millennium/iterations/0029/positive-recurrence-checks.json",
      "bytes": 2344,
      "sha256": "2e284f0649afd952cbf9e8a6756cfcd62fb438d22110f2dfb21a6be63ab29086",
      "media_type": "application/json",
      "provenance": {
        "kind": "exact_source_copy",
        "sources": [
          {
            "source_path": "research/millennium/iterations/0029/positive-recurrence-checks.json",
            "source_commit": "eb9e22342170488361813abce4bec22a73f6f523",
            "source_sha256": "2e284f0649afd952cbf9e8a6756cfcd62fb438d22110f2dfb21a6be63ab29086"
          }
        ],
        "transformation": "None; source bytes preserved."
      },
      "published_path": "/research/math/artifacts/2e284f0649afd952cbf9e8a6756cfcd62fb438d22110f2dfb21a6be63ab29086/positive-recurrence-checks.json"
    },
    {
      "id": "magnitude-proof",
      "path": "artifacts/source/research/millennium/iterations/0029/sharp-factorization.md",
      "bytes": 6944,
      "sha256": "bac6ab41c3eaff2fff9e75b7ccaddabc141d121f05c46389d25145005c3287cc",
      "media_type": "text/plain",
      "provenance": {
        "kind": "exact_source_copy",
        "sources": [
          {
            "source_path": "research/millennium/iterations/0029/sharp-factorization.md",
            "source_commit": "eb9e22342170488361813abce4bec22a73f6f523",
            "source_sha256": "bac6ab41c3eaff2fff9e75b7ccaddabc141d121f05c46389d25145005c3287cc"
          }
        ],
        "transformation": "None; source bytes preserved."
      },
      "published_path": "/research/math/artifacts/bac6ab41c3eaff2fff9e75b7ccaddabc141d121f05c46389d25145005c3287cc/sharp-factorization.md"
    },
    {
      "id": "source-checker",
      "path": "artifacts/source/verification/hardy-sign/verify_from_source.py",
      "bytes": 7453,
      "sha256": "463f29a42c064e7ab649993e477a74f9ee388d5556e2d36a5fe86048b64280e3",
      "media_type": "text/x-python",
      "provenance": {
        "kind": "exact_source_copy",
        "sources": [
          {
            "source_path": "verification/hardy-sign/verify_from_source.py",
            "source_commit": "eb9e22342170488361813abce4bec22a73f6f523",
            "source_sha256": "463f29a42c064e7ab649993e477a74f9ee388d5556e2d36a5fe86048b64280e3"
          }
        ],
        "transformation": "None; source bytes preserved."
      },
      "published_path": "/research/math/artifacts/463f29a42c064e7ab649993e477a74f9ee388d5556e2d36a5fe86048b64280e3/verify_from_source.py"
    },
    {
      "id": "reproduction-guide",
      "path": "artifacts/REPRODUCE.md",
      "bytes": 2302,
      "sha256": "4a8a7a143c0bf16965c40b3c1c386930935fcb9e28ca2f7d30202eef21e381d9",
      "media_type": "text/plain",
      "provenance": {
        "kind": "editorial_derivative",
        "sources": [
          {
            "source_path": "research/millennium/iterations/0029/acceptance.json",
            "source_commit": "eb9e22342170488361813abce4bec22a73f6f523",
            "source_sha256": "f6d5ab626efa426b8766640c2f3de9a9cebc73867e0c52cfe7454e755f235a85"
          },
          {
            "source_path": "lake-manifest.json",
            "source_commit": "eb9e22342170488361813abce4bec22a73f6f523",
            "source_sha256": "cc802998e7b047121983d1f25828473d3112679b2f07f5d98682048d9cb46ae7"
          }
        ],
        "transformation": "Editorial reproduction instructions for the included source subset."
      },
      "published_path": "/research/math/artifacts/4a8a7a143c0bf16965c40b3c1c386930935fcb9e28ca2f7d30202eef21e381d9/REPRODUCE.md"
    },
    {
      "id": "analytic-review",
      "path": "artifacts/analytic-review.md",
      "bytes": 12909,
      "sha256": "dc9e2a9fa0148a298823bb6b78568651d4b640018bb33946bf573dc45d24b6fd",
      "media_type": "text/plain",
      "provenance": {
        "kind": "editorial_derivative",
        "sources": [
          {
            "source_path": "research/millennium/iterations/0029/sharp-factorization-audit.md",
            "source_commit": "eb9e22342170488361813abce4bec22a73f6f523",
            "source_sha256": "972ebfb2ff4ebfca690e50aa51275be45470352c33f05338317c7596bf773a65"
          }
        ],
        "transformation": "Public copy: removed runtime ownership/date-routing and recall paragraphs, removed the final parent closure sentence, retitled and adjusted the frozen target link. Mathematical body preserved."
      },
      "published_path": "/research/math/artifacts/dc9e2a9fa0148a298823bb6b78568651d4b640018bb33946bf573dc45d24b6fd/analytic-review.md"
    },
    {
      "id": "applicability-record",
      "path": "artifacts/applicability-record.md",
      "bytes": 1529,
      "sha256": "cf99bc399bd9aab98c3efc3b7e1e218cec1e508cc7e552af60f6930578d13567",
      "media_type": "text/plain",
      "provenance": {
        "kind": "editorial_derivative",
        "sources": [
          {
            "source_path": "research/millennium/iterations/0024/fourth-moment-inputs.md",
            "source_commit": "eb9e22342170488361813abce4bec22a73f6f523",
            "source_sha256": "f9acb7f00ac698d851ee1f3ebd2c7901f07f7b063814f84b3a52fe3126837435"
          }
        ],
        "transformation": "Editorial summary; internal runtime routing omitted."
      },
      "published_path": "/research/math/artifacts/cf99bc399bd9aab98c3efc3b7e1e218cec1e508cc7e552af60f6930578d13567/applicability-record.md"
    },
    {
      "id": "coordination-evidence",
      "path": "artifacts/coordination-evidence.json",
      "bytes": 4137,
      "sha256": "ce305e53533f59af6e700bbc092476e9b6ecc01b57e5d2c612014af1e5629d8e",
      "media_type": "application/json",
      "provenance": {
        "kind": "editorial_derivative",
        "sources": [
          {
            "source_path": "research/millennium/iterations/0024/acceptance.json",
            "source_commit": "eb9e22342170488361813abce4bec22a73f6f523",
            "source_sha256": "202841e6408a25c1c0a994bf58fb6638e60e908a0f2a8434b0233111a09a425a"
          },
          {
            "source_path": "research/millennium/iterations/0024/verification-addendum.json",
            "source_commit": "eb9e22342170488361813abce4bec22a73f6f523",
            "source_sha256": "356757a33a0437bbff85321dd65d856b85d20e93ea6c9793d03e6771e6c07a65"
          },
          {
            "source_path": "research/millennium/iterations/0029/acceptance.json",
            "source_commit": "eb9e22342170488361813abce4bec22a73f6f523",
            "source_sha256": "f6d5ab626efa426b8766640c2f3de9a9cebc73867e0c52cfe7454e755f235a85"
          }
        ],
        "transformation": "Editorial structured summaries with additional per-record hashed provenance; no simulated transcript."
      },
      "published_path": "/research/math/artifacts/ce305e53533f59af6e700bbc092476e9b6ecc01b57e5d2c612014af1e5629d8e/coordination-evidence.json"
    },
    {
      "id": "lean-axioms",
      "path": "artifacts/lean-axioms.txt",
      "bytes": 264,
      "sha256": "ce058a4e0cf3e427dba45dc9caedc6af62930ae03bbb71cdb87bc8017a0c244b",
      "media_type": "text/plain",
      "provenance": {
        "kind": "exact_source_copy",
        "sources": [
          {
            "source_path": "research/millennium/iterations/0029/lean-audit.log",
            "source_commit": "eb9e22342170488361813abce4bec22a73f6f523",
            "source_sha256": "ce058a4e0cf3e427dba45dc9caedc6af62930ae03bbb71cdb87bc8017a0c244b"
          }
        ],
        "transformation": "None; exact retained output."
      },
      "published_path": "/research/math/artifacts/ce058a4e0cf3e427dba45dc9caedc6af62930ae03bbb71cdb87bc8017a0c244b/lean-axioms.txt"
    },
    {
      "id": "lean-handoff",
      "path": "artifacts/lean-handoff.json",
      "bytes": 1259,
      "sha256": "4a7c265a1cbdd7ffdf0a879451472eb91f79b72f6e98ebc63ac1301ed5588304",
      "media_type": "application/json",
      "provenance": {
        "kind": "editorial_derivative",
        "sources": [
          {
            "source_path": "research/millennium/iterations/0029/lean-parity-notes.md",
            "source_commit": "eb9e22342170488361813abce4bec22a73f6f523",
            "source_sha256": "2dbb53c228131ba773f8ac2f924184340e9287d57be52742e6a1a186c6d06e1d"
          },
          {
            "source_path": "research/millennium/iterations/0029/acceptance.json",
            "source_commit": "eb9e22342170488361813abce4bec22a73f6f523",
            "source_sha256": "f6d5ab626efa426b8766640c2f3de9a9cebc73867e0c52cfe7454e755f235a85"
          }
        ],
        "transformation": "Editorial structured handoff summary; runtime identifiers omitted."
      },
      "published_path": "/research/math/artifacts/4a7c265a1cbdd7ffdf0a879451472eb91f79b72f6e98ebc63ac1301ed5588304/lean-handoff.json"
    },
    {
      "id": "next-step",
      "path": "artifacts/next-step.md",
      "bytes": 1437,
      "sha256": "33cccfbe82ca21128653bb708d8b1953de0d0bd09c824a903b4be1bd76ebc86d",
      "media_type": "text/plain",
      "provenance": {
        "kind": "editorial_derivative",
        "sources": [
          {
            "source_path": "research/millennium/iterations/0029/sharp-factorization.md",
            "source_commit": "eb9e22342170488361813abce4bec22a73f6f523",
            "source_sha256": "bac6ab41c3eaff2fff9e75b7ccaddabc141d121f05c46389d25145005c3287cc"
          },
          {
            "source_path": "research/millennium/iterations/0029/README.md",
            "source_commit": "eb9e22342170488361813abce4bec22a73f6f523",
            "source_sha256": "f05b846bed7997e328282a53cb84c13f4f264b177fc320546e43cdff5224b1d1"
          }
        ],
        "transformation": "Editorial next obligation at the cycle-29 accepted snapshot; no cycle-30 result claimed."
      },
      "published_path": "/research/math/artifacts/33cccfbe82ca21128653bb708d8b1953de0d0bd09c824a903b4be1bd76ebc86d/next-step.md"
    },
    {
      "id": "review-scope",
      "path": "artifacts/review-scope.md",
      "bytes": 2900,
      "sha256": "4f8d59db3e989836d4bf7b89523a8b26574bba5b572a10c4dd75e93f3d0f1aa9",
      "media_type": "text/plain",
      "provenance": {
        "kind": "editorial_derivative",
        "sources": [
          {
            "source_path": "research/millennium/iterations/0024/acceptance.json",
            "source_commit": "eb9e22342170488361813abce4bec22a73f6f523",
            "source_sha256": "202841e6408a25c1c0a994bf58fb6638e60e908a0f2a8434b0233111a09a425a"
          },
          {
            "source_path": "research/millennium/iterations/0028/agkw-accepted-priority.md",
            "source_commit": "eb9e22342170488361813abce4bec22a73f6f523",
            "source_sha256": "9fdb83e3674c8f69bb85e601e3158d2b33c6754fad72471615e212c4791bbb6d"
          },
          {
            "source_path": "research/millennium/iterations/0029/acceptance.json",
            "source_commit": "eb9e22342170488361813abce4bec22a73f6f523",
            "source_sha256": "f6d5ab626efa426b8766640c2f3de9a9cebc73867e0c52cfe7454e755f235a85"
          }
        ],
        "transformation": "Editorial scope summary; primary papers linked, not reproduced."
      },
      "published_path": "/research/math/artifacts/4f8d59db3e989836d4bf7b89523a8b26574bba5b572a10c4dd75e93f3d0f1aa9/review-scope.md"
    },
    {
      "id": "verification-scope",
      "path": "artifacts/verification-scope.md",
      "bytes": 2177,
      "sha256": "9df13b303967c413e0988170c215e9574aeff926cc4fd4cc835d5fd308c7a030",
      "media_type": "text/plain",
      "provenance": {
        "kind": "editorial_derivative",
        "sources": [
          {
            "source_path": "research/millennium/iterations/0024/verification-addendum.md",
            "source_commit": "eb9e22342170488361813abce4bec22a73f6f523",
            "source_sha256": "2c8bf9270bc87d332907f58e67466eea7ce5cb4a3c3c0c3c8ec7aeb1e8fef55b"
          },
          {
            "source_path": "research/millennium/iterations/0024/source-integral-replay-audit.md",
            "source_commit": "eb9e22342170488361813abce4bec22a73f6f523",
            "source_sha256": "f500a8433380747bed4fea5743b3f4c8054bc59067c95b226c83a331444404f4"
          }
        ],
        "transformation": "Editorial summary distinguishing earlier full replay from bounded correction checks."
      },
      "published_path": "/research/math/artifacts/9df13b303967c413e0988170c215e9574aeff926cc4fd4cc835d5fd308c7a030/verification-scope.md"
    },
    {
      "id": "verification-correction",
      "path": "artifacts/verification-correction.patch",
      "bytes": 8191,
      "sha256": "1a030856e063d13f76d34b8fabd6462463fb1160dfd054fb9046f44e14156339",
      "media_type": "text/plain",
      "provenance": {
        "kind": "editorial_derivative",
        "sources": [
          {
            "source_path": "verification/hardy-sign/verify_from_source.py",
            "source_commit": "eb9e22342170488361813abce4bec22a73f6f523",
            "source_sha256": "463f29a42c064e7ab649993e477a74f9ee388d5556e2d36a5fe86048b64280e3"
          },
          {
            "source_path": "OrchardMath/Millennium/HardySign.lean",
            "source_commit": "eb9e22342170488361813abce4bec22a73f6f523",
            "source_sha256": "25c1d66daed3ca7a3f84c6a4d79637559fb0bae1e69ffccc00c0e2dfd4a40195"
          },
          {
            "source_path": "verification/hardy-sign/README.md",
            "source_commit": "eb9e22342170488361813abce4bec22a73f6f523",
            "source_sha256": "21f504ed68c576967e52550f7c733ae290268ba958dd0916304a962997155a7e"
          }
        ],
        "transformation": "Exact git diff from 02d06acfb321256acb727d4c9c718893b859700e to f548c3264ead0873ccf0fa21f23d75be7e834e63 over the three listed paths."
      },
      "published_path": "/research/math/artifacts/1a030856e063d13f76d34b8fabd6462463fb1160dfd054fb9046f44e14156339/verification-correction.patch"
    },
    {
      "id": "lean-recurrence",
      "path": "artifacts/source/OrchardMath/Millennium/HardyRecurrence.lean",
      "bytes": 2731,
      "sha256": "66b5123294fac69e634751d8c16bdbbfe8f967f66f0111a797a6f4c9e372427c",
      "media_type": "text/plain",
      "provenance": {
        "kind": "exact_source_copy",
        "sources": [
          {
            "source_path": "OrchardMath/Millennium/HardyRecurrence.lean",
            "source_commit": "72fde44c1d4c227e02b8ca9166cd7db04d8e6048",
            "source_sha256": "66b5123294fac69e634751d8c16bdbbfe8f967f66f0111a797a6f4c9e372427c"
          }
        ],
        "transformation": "None; accepted source bytes preserved."
      },
      "published_path": "/research/math/artifacts/66b5123294fac69e634751d8c16bdbbfe8f967f66f0111a797a6f4c9e372427c/HardyRecurrence.lean"
    },
    {
      "id": "lean-recurrence-audit",
      "path": "artifacts/source/OrchardMath/Millennium/HardyRecurrenceAudit.lean",
      "bytes": 881,
      "sha256": "33be9cd6e102e5b8c8e95dc19836a2613a4094e9586ee5be718f75039c879fb2",
      "media_type": "text/plain",
      "provenance": {
        "kind": "exact_source_copy",
        "sources": [
          {
            "source_path": "OrchardMath/Millennium/HardyRecurrenceAudit.lean",
            "source_commit": "72fde44c1d4c227e02b8ca9166cd7db04d8e6048",
            "source_sha256": "33be9cd6e102e5b8c8e95dc19836a2613a4094e9586ee5be718f75039c879fb2"
          }
        ],
        "transformation": "None; accepted source bytes preserved."
      },
      "published_path": "/research/math/artifacts/33be9cd6e102e5b8c8e95dc19836a2613a4094e9586ee5be718f75039c879fb2/HardyRecurrenceAudit.lean"
    },
    {
      "id": "lean-recurrence-notes",
      "path": "artifacts/source/research/millennium/iterations/0030/recurrence-bridge-notes.md",
      "bytes": 3872,
      "sha256": "d99bc0f1d16da70e604e3b24bf7addb44567c37b2378ac9bb593c040ea92798e",
      "media_type": "text/plain",
      "provenance": {
        "kind": "exact_source_copy",
        "sources": [
          {
            "source_path": "research/millennium/iterations/0030/recurrence-bridge-notes.md",
            "source_commit": "72fde44c1d4c227e02b8ca9166cd7db04d8e6048",
            "source_sha256": "d99bc0f1d16da70e604e3b24bf7addb44567c37b2378ac9bb593c040ea92798e"
          }
        ],
        "transformation": "None; accepted source bytes preserved."
      },
      "published_path": "/research/math/artifacts/d99bc0f1d16da70e604e3b24bf7addb44567c37b2378ac9bb593c040ea92798e/recurrence-bridge-notes.md"
    },
    {
      "id": "lean-recurrence-axioms",
      "path": "artifacts/source/research/millennium/iterations/0030/lean-audit.log",
      "bytes": 251,
      "sha256": "4842cfc347f5713576847a14057436c342aa5ed0681576e3c93c37bb4f858450",
      "media_type": "text/plain",
      "provenance": {
        "kind": "exact_source_copy",
        "sources": [
          {
            "source_path": "research/millennium/iterations/0030/lean-audit.log",
            "source_commit": "72fde44c1d4c227e02b8ca9166cd7db04d8e6048",
            "source_sha256": "4842cfc347f5713576847a14057436c342aa5ed0681576e3c93c37bb4f858450"
          }
        ],
        "transformation": "None; accepted source bytes preserved."
      },
      "published_path": "/research/math/artifacts/4842cfc347f5713576847a14057436c342aa5ed0681576e3c93c37bb4f858450/lean-audit.log"
    },
    {
      "id": "lean-recurrence-handoff",
      "path": "artifacts/lean-recurrence-handoff.json",
      "bytes": 1721,
      "sha256": "1a469543a6ba039de0879e6b30c1f2c0aa675107c50ff0778587489e4f028245",
      "media_type": "application/json",
      "provenance": {
        "kind": "editorial_derivative",
        "sources": [
          {
            "source_path": "research/millennium/iterations/0030/recurrence-bridge-notes.md",
            "source_commit": "72fde44c1d4c227e02b8ca9166cd7db04d8e6048",
            "source_sha256": "d99bc0f1d16da70e604e3b24bf7addb44567c37b2378ac9bb593c040ea92798e"
          },
          {
            "source_path": "research/millennium/iterations/0030/acceptance.json",
            "source_commit": "72fde44c1d4c227e02b8ca9166cd7db04d8e6048",
            "source_sha256": "505ec949c4e42a4f08f9730da23e9c7b16c28d4e12b9bd785f1fa6b013adea72"
          }
        ],
        "transformation": "Structured summary of accepted worker/coordinator evidence; runtime routing and closure metadata omitted."
      },
      "published_path": "/research/math/artifacts/1a469543a6ba039de0879e6b30c1f2c0aa675107c50ff0778587489e4f028245/lean-recurrence-handoff.json"
    },
    {
      "id": "review-scope-cycle30",
      "path": "artifacts/review-scope-cycle30.md",
      "bytes": 1597,
      "sha256": "2138b2f569d7b9d7aedce5d9b06c72f04381db6219114b3cc9ec7dfcafe64730",
      "media_type": "text/markdown",
      "provenance": {
        "kind": "editorial_derivative",
        "sources": [
          {
            "source_path": "research/millennium/iterations/0030/recurrence-bridge-notes.md",
            "source_commit": "72fde44c1d4c227e02b8ca9166cd7db04d8e6048",
            "source_sha256": "d99bc0f1d16da70e604e3b24bf7addb44567c37b2378ac9bb593c040ea92798e"
          },
          {
            "source_path": "research/millennium/iterations/0030/acceptance.json",
            "source_commit": "72fde44c1d4c227e02b8ca9166cd7db04d8e6048",
            "source_sha256": "505ec949c4e42a4f08f9730da23e9c7b16c28d4e12b9bd785f1fa6b013adea72"
          }
        ],
        "transformation": "New scope summary for conditional recurrence positivity; the old scope artifact remains unchanged."
      },
      "published_path": "/research/math/artifacts/2138b2f569d7b9d7aedce5d9b06c72f04381db6219114b3cc9ec7dfcafe64730/review-scope-cycle30.md"
    },
    {
      "id": "next-step-cycle30",
      "path": "artifacts/next-step-cycle30.md",
      "bytes": 898,
      "sha256": "50b2e907f953969e0582836a468b679eb34c6e1a6183b056952f07303c794523",
      "media_type": "text/markdown",
      "provenance": {
        "kind": "editorial_derivative",
        "sources": [
          {
            "source_path": "research/millennium/iterations/0030/recurrence-bridge-notes.md",
            "source_commit": "72fde44c1d4c227e02b8ca9166cd7db04d8e6048",
            "source_sha256": "d99bc0f1d16da70e604e3b24bf7addb44567c37b2378ac9bb593c040ea92798e"
          },
          {
            "source_path": "research/millennium/iterations/0029/sharp-factorization.md",
            "source_commit": "72fde44c1d4c227e02b8ca9166cd7db04d8e6048",
            "source_sha256": "bac6ab41c3eaff2fff9e75b7ccaddabc141d121f05c46389d25145005c3287cc"
          }
        ],
        "transformation": "New next-obligation summary; no proof of the rational-series bridge claimed."
      },
      "published_path": "/research/math/artifacts/50b2e907f953969e0582836a468b679eb34c6e1a6183b056952f07303c794523/next-step-cycle30.md"
    },
    {
      "id": "reproduction-guide-cycle30",
      "path": "artifacts/REPRODUCE-cycle30.md",
      "bytes": 1004,
      "sha256": "274b20cb36ad7ed2133690584b44e85acdf1df61e96c557dfb85a2400f8fd940",
      "media_type": "text/markdown",
      "provenance": {
        "kind": "editorial_derivative",
        "sources": [
          {
            "source_path": "research/millennium/iterations/0030/recurrence-bridge-notes.md",
            "source_commit": "72fde44c1d4c227e02b8ca9166cd7db04d8e6048",
            "source_sha256": "d99bc0f1d16da70e604e3b24bf7addb44567c37b2378ac9bb593c040ea92798e"
          },
          {
            "source_path": "research/millennium/iterations/0030/acceptance.json",
            "source_commit": "72fde44c1d4c227e02b8ca9166cd7db04d8e6048",
            "source_sha256": "505ec949c4e42a4f08f9730da23e9c7b16c28d4e12b9bd785f1fa6b013adea72"
          },
          {
            "source_path": "lake-manifest.json",
            "source_commit": "72fde44c1d4c227e02b8ca9166cd7db04d8e6048",
            "source_sha256": "cc802998e7b047121983d1f25828473d3112679b2f07f5d98682048d9cb46ae7"
          }
        ],
        "transformation": "Instructions for the new explicit target with accepted scope and dependency limitation."
      },
      "published_path": "/research/math/artifacts/274b20cb36ad7ed2133690584b44e85acdf1df61e96c557dfb85a2400f8fd940/REPRODUCE-cycle30.md"
    }
  ],
  "bundle_files": [
    {
      "path": "README.md",
      "bytes": 1629,
      "sha256": "1da48d27da570e1c3ef3e0cec13c938b3c6001dd334f2eb8d281341c57937a7e"
    },
    {
      "path": "UPDATE_CONTRACT.md",
      "bytes": 5972,
      "sha256": "72aab8abd7f0d673101a9a0bc589398b5b67c377ed846f4f4b22531e06b3d564"
    },
    {
      "path": "case-study.json",
      "bytes": 9502,
      "sha256": "52edd4006bfd22d114e8d49d17b8215bac194aabccc9669b07b7a7c188fb6501"
    },
    {
      "path": "updates.json",
      "bytes": 9854,
      "sha256": "00d6bd7154945fe3aa7f9223a8ad50d8271e8fae62ffb188687e0d1d04badd06"
    },
    {
      "path": "validate.py",
      "bytes": 5681,
      "sha256": "88e3c1d011f32982d4ecfc91090a5e19242c184d73a7c9a107124dd36b0e7ea6"
    },
    {
      "path": "proof-display.json",
      "bytes": 11662,
      "sha256": "0fe103ed701604f1ee411c8adccad7c77c57d9a74aa035796f19ed04954be599"
    }
  ],
  "source_manifest_sha256": "ba9681a033eab20c741bcf792b4c1f0b7d0ab2fc693f10c68b8fcfede442b960"
}