{
  "status": "EXECUTION_EVIDENCE_SEALED_STORAGE_DIFFERENCE_REMAINS",
  "original_plan_sha256": "68124d2e3fdafa943e70c8c4a4f0b4e0c4dfb67098bb67df8615d7d1da41fc94",
  "public_file_count": 51,
  "public_sha256": {
    "API-PROPOSAL.md": "82216d8076d23a3da280e8d8ac2d5a4c96c0f77e23204b7c5956a2082dafba6c",
    "B-observed-values.json": "8ab5c769922f214f218b178ca54efff4922e69a8cf1a077769d66d9a0786a24f",
    "EXECUTION-FINAL.md": "87ecf6bd2defbe07383e8e1fab29afb5f7bbd5115604c19abd1b52e37f8631e1",
    "EXECUTION-RECOVERY.md": "5f78532a094e1ea00bf189c1768a2348637fee9b6ba7d53106326f49b608ef53",
    "PROPOSAL.md": "50864dc165a83f451e3edffd502e5e613eb0946667134ab06bc2cbc237fbd144",
    "SHA256SUMS": "26c4905f02d41f1db7acb120e3f317743609bf94a0efc940f7817ccb77a6ef55",
    "STORAGE-REPORT.md": "e67a60e336ec874c6d7899159915436d4c53a92cc78c90ee24c1e0dfeece67b7",
    "analyze-evidence.py": "933c4112dc1d27ffa45eb4c265925f3da6b340f710db34b75d772a073b83dcbd",
    "binding-mode-invariance.json": "649ea4d52ad6697f2c501c07901ada2b14fcf77124152e5730c29d16e2481bee",
    "catalog-amendment-C.json": "f794d73cfa9e5288e382c6db87cb33882a7a806b66e95eeaf8956e15a95d7cf6",
    "catalog-amendment-green.json": "787125054df9c4fea95b08582d34777d778776b4dca4fca2a4d3e349182de789",
    "catalog-amendment.check.php": "743d768abd4050d147645579a9575e032919cc6b0df532c168951e14021fcf87",
    "catalog-amendment.php": "3235c131733a45f1acd5dacb87bc1dc8f4fc88a4daa5bcb2f34397c9a1c994d7",
    "cleanup-runtime.php": "b377d322dfc4e8731569c2b2d7a1a8f9e19023c828b71b841701d56f79171286",
    "compact-view.json": "7dbf737bba99e52199ec941c7c20c0c0f68b65ae03efdc83ddd2fd0be2e08a9a",
    "compact-view.md": "a4599f5d110c79fb631f510f4d2ee88eef3b02faeb048c2d8b85d6657140e2c3",
    "execution-tools-v1.sha256": "34ed51ba58c3df63bef93c026d1bbab7665e550c74531420634037754d291eb8",
    "execution-verification.json": "0d3a542592f4f6b518e36edccfc94bfd1102a8ec71b2bafaba2b4fc2a56abe98",
    "extract-resume-ledger.php": "ded54cef10399894172f7950b4d9a16a946a33e6f677f2209cac729970b311e4",
    "gate-green-B.json": "3aa7b8ddc0e461224a5110961a761cb9c5451d3f766b734420587ceb288dfa5a",
    "gate-green-C-final.json": "e7022ea56ab7094e19fd695ab1372f0921bd5ce32e68c0c2f8f7c057e1c55aec",
    "gate-green-C-own-default.json": "e7022ea56ab7094e19fd695ab1372f0921bd5ce32e68c0c2f8f7c057e1c55aec",
    "gate-green-C.json": "3aa7b8ddc0e461224a5110961a761cb9c5451d3f766b734420587ceb288dfa5a",
    "gate-red.json": "a29f424fc8633968e0af9e7a90b09877015d8e4308bc1d0bda9105ca44240c50",
    "gate-v2-executed.php": "4814d81237f4e8e28861524636296f3df7a6cc76669e7c3c5c0a19eac4c7189d",
    "gate.check.php": "2d83c61804e6199429e1f0c4a55d66ccc7d203968262f08fd9cac1f88b04bc9f",
    "gate.php": "a1905b929e60f2b10a24a62f8168cc7b7744d940a62e58bfd4a93c1a16cfeeb6",
    "index-representation-overlay-C.json": "6b071133cfcf66f7a2bafee9c758e59f7b405a3fc4a79bbd68aaa08e7557f42a",
    "launch-C.php": "690a922b2562c1434194a279f821e8e72e3129035a142839e329f5ccd0e8da81",
    "launch-resume-C.php": "ec8f24450cc7dd582c907c4c8e2683fbada75d4fe18b524f406d8e788e6c3f55",
    "offline-validation.json": "7366b3fa75f06b68c1ce8aecf925b89423360ac78fe09b8b16ef41909a2b4e23",
    "paired-values.csv": "8e67f8e510a736f92c19105f6db878117b86726685171ef3ae932fcd79d47a93",
    "probe-plan.json": "68124d2e3fdafa943e70c8c4a4f0b4e0c4dfb67098bb67df8615d7d1da41fc94",
    "raw-manifest.json": "2de2d0acecd093fdd7fe93097801d4f4860a744210ce70b644e0642bef94d138",
    "resume-gate-green.json": "802d67292bd792216692ce389e394fd043f5082ace070838e45139b7691c13c9",
    "resume-gate-red.json": "29372fd52e6c7e47f38aa55e24014e710659ea971220b8f7c74c8eceb3f7f0a9",
    "resume-plan-C.json": "644a36d53e40c1531284784a62ce149297e62f53a8af548c3d09c9adf1dbb8b3",
    "resume.check.php": "ed7e7e3347f7f8b914b2853c08cb00d6926ad9ad3dd9bd93246ebb7b5e65007d",
    "resume.php": "1e7d64e288b17476caddb753ab2a8237373738a3dbf1bc4fb08b230216453756",
    "runner-resume-C.php": "bb09357a158ec82c42656055fb0a166add6515d11c607f1895401e4ad3b628e2",
    "runner-v2-executed.php": "3bfa8361d699000f07972f83900ee2bc01b29ee98cfa32018f5e60f47f6c823d",
    "runner.php": "14587bbf9265e95ecf68a06a2b6d572d1d668e6374ea275b8f0612f7f8feb4ae",
    "runtime-cleanup-B.json": "ba613735ac8d54585f212ded7a02705a15f108c7cfd8663f5b1f9b4f7f35a96c",
    "runtime-cleanup-C.json": "fd4adf4df321e920f96ce89b82a259f3cd29e39110b4e2c6d2f75f8234e5a789",
    "scope-diagnostic.php": "05f2e9a48a7e2c53ebceb8356fbab523efd774ce384b7fda00c5376a5b2d009e",
    "source-manifest.json": "8c589e9729161003b758b6f5908edf96e8e8432411a5e516cad7e0e0da215991",
    "storage-comparison.json": "cd45e5dba289f277a1032bdd6fa396e99e4815411896228fa11b059884565435",
    "summary.md": "a8e06dae291dffbf225bfbb85778e8c8e557ecdf5984e21ee65a780a209879dc",
    "validate-compact.py": "2f3efb65df71f06821200c4dc0b7a1073cb486bf6b2710d9d11429bdc90cb3b4",
    "verify-execution.py": "c6da3dcbc6e3175020a3597970b150e98a95be111382069db25e5d84f3ed73f6",
    ".gitignore": "ba49f152634901a007ef58c7dca5297ae8c02ead72c2fcc29913d80c0e8c9b9d"
  },
  "raw_manifest_sha256": "2de2d0acecd093fdd7fe93097801d4f4860a744210ce70b644e0642bef94d138",
  "verified_baseline_assertions": 2744,
  "negative_execution_mutations": 10,
  "post_seal_scope": "only read-only primary-source derivation/new proposal; no new DDL/DML/businessHTTP"
}