{
  "status": "ACTUAL_NEW_FULL27_S2_9VECTORS_PHYSICAL_NORMAL_TIMESTAMP_MATCH_DRIVER_NULL_OPEN",
  "counts": {
    "B": {
      "read": 105,
      "DML": 19,
      "DDL": 2
    },
    "C": {
      "read": 115,
      "DML": 19,
      "DDL": 4
    }
  },
  "old_seals_modified": false,
  "formal_business_DDL_DML_HTTP_Auth": 0,
  "independent_verification": "verify-final.mjs / FINAL_VERIFICATION.json:422 grouped existing-raw checks, no live SQL",
  "assets": [
    {
      "path": "B-tail-recovery/plan.json",
      "bytes": 9480,
      "sha256": "18fdaccc0b8fb5c5c799b19db18e81d739255271a0213a8cb6efd552e13cc427",
      "mode": "644"
    },
    {
      "path": "B-tail-recovery/recover.php",
      "bytes": 12426,
      "sha256": "99c669f50ab21bbffcd6337b467f7d4628bf71d1a8d718f005db0560b9ae6595",
      "mode": "644"
    },
    {
      "path": "B-tail-recovery/run.php",
      "bytes": 4508,
      "sha256": "4c00de274d6f161c41bab6c71b2ffb1dfccaeb987e27d436eae0f558111af193",
      "mode": "644"
    },
    {
      "path": "B-tail-recovery/test.php",
      "bytes": 1225,
      "sha256": "295b1f9d238721f948c70bd771e34a2dea13a759891fb304f957283d3d30a495",
      "mode": "644"
    },
    {
      "path": "C-launch.php",
      "bytes": 1377,
      "sha256": "4560067d85f077178cec8b48ef97932e2b380e2f4cc3d97ab8837074bccdfbc7",
      "mode": "644"
    },
    {
      "path": "C-resume-tail/RECOVERY.md",
      "bytes": 1284,
      "sha256": "d9becd0808404db41973291d21e6df0f187973d4c00e35e89afb69617220cc25",
      "mode": "644"
    },
    {
      "path": "C-resume-tail/launch.php",
      "bytes": 1383,
      "sha256": "e330f4c6af510a54b0d79130b2b0a81cbe9bdb0c57d25633296ab142e18e89c3",
      "mode": "644"
    },
    {
      "path": "C-resume-tail/plan.json",
      "bytes": 149696,
      "sha256": "b2ee476866368e17a6031772a8f758ba723381d249367e8a1f8b766b0c58abbe",
      "mode": "644"
    },
    {
      "path": "C-resume-tail/recover.php",
      "bytes": 155977,
      "sha256": "4e02396c73747ce51ed30a929b92ad3b3d8cfadb1060832b9f94ac2c7146d94f",
      "mode": "644"
    },
    {
      "path": "C-resume-tail/run.php",
      "bytes": 9809,
      "sha256": "46e9bf512789a8fd0b6f0275d760b1673a1195d88b54647a397742698a0797d3",
      "mode": "644"
    },
    {
      "path": "C-resume-tail/test.php",
      "bytes": 1955,
      "sha256": "50d21d574c1d9901d7193bd638d156482aecc764af896702dfa374de38468c86",
      "mode": "644"
    },
    {
      "path": "C-resume/PURE_REPAIR_NOTES.md",
      "bytes": 1301,
      "sha256": "a4cd803d95275b665020819bff5b805a391a83cecd2b6363293dfd4d27bb7637",
      "mode": "644"
    },
    {
      "path": "C-resume/RECOVERY.md",
      "bytes": 1464,
      "sha256": "f5980578fbf107d766a4fc9ded1366de38bbb8335c0a1d197c7bccc85e7b9a56",
      "mode": "644"
    },
    {
      "path": "C-resume/core-overlay.php",
      "bytes": 293829,
      "sha256": "4f5958c5a5b5fd696ae034d9eacc8914e78323c3f114e0001b4bb89da2b65029",
      "mode": "644"
    },
    {
      "path": "C-resume/launch.php",
      "bytes": 1383,
      "sha256": "e330f4c6af510a54b0d79130b2b0a81cbe9bdb0c57d25633296ab142e18e89c3",
      "mode": "644"
    },
    {
      "path": "C-resume/plan.json",
      "bytes": 145485,
      "sha256": "60096b6d1c4732f199444fc31b571fc12737a7f93a148bc39c387ef1ae5954e5",
      "mode": "644"
    },
    {
      "path": "C-resume/recover.php",
      "bytes": 150086,
      "sha256": "79b906c9fc2ae917b1336187f2bfd5944aa50f405525155f3849768fa17ca963",
      "mode": "644"
    },
    {
      "path": "C-resume/run.php",
      "bytes": 9669,
      "sha256": "2c0c17f61c2759d399f72637e50d8d6ee996b10f836528dc4dfeec10ad2e5951",
      "mode": "644"
    },
    {
      "path": "C-resume/test.php",
      "bytes": 2196,
      "sha256": "6cafd15d259c0c300d78757fc37a99e6e4b0acda9ce7f9c28dc6660404e673a0",
      "mode": "644"
    },
    {
      "path": "FINAL_REPORT.md",
      "bytes": 4036,
      "sha256": "8c6e7c079f7c12b15fc14f22d50fd1231fa10ce382db1f9af5b57bb7e0b73546",
      "mode": "644"
    },
    {
      "path": "FINAL_VERIFICATION.json",
      "bytes": 2577,
      "sha256": "49fd190d8a8091ee208383223d78f1975e8122ee69539355007f10168643af96",
      "mode": "644"
    },
    {
      "path": "HANDOFF.md",
      "bytes": 2607,
      "sha256": "bc061cd8c7acb6bc9b012a0a26c9e7854785e143ad44fe8b009e7991b908d4f9",
      "mode": "644"
    },
    {
      "path": "READ_LEDGER.md",
      "bytes": 2103,
      "sha256": "3678422bcca80f83fbb5840b3a1bb1c67dc324374110d8d800e5f78dc650e21b",
      "mode": "644"
    },
    {
      "path": "execute.php",
      "bytes": 9024,
      "sha256": "53414d2ecc6eacbd16f65e4251e0a32db0bbd013d31c513cecbae4cd493a8af6",
      "mode": "644"
    },
    {
      "path": "formal-2ddl-root-plan/ROOT_EXECUTION_GATE.md",
      "bytes": 3750,
      "sha256": "8dc45760a4b2dad22af090edfe5bee339a8103b9437b8b04d64443a53059f203",
      "mode": "644"
    },
    {
      "path": "formal-2ddl-root-plan/alter-five-date.sql",
      "bytes": 371,
      "sha256": "62353b2a3da056ca4f79608911c9d985876e0f19bf6269ecbaa60cd8405039ae",
      "mode": "644"
    },
    {
      "path": "formal-2ddl-root-plan/create-prepay-trigger.sql",
      "bytes": 9690,
      "sha256": "73a6824d79dabf3ead5cfd5580354e65677b3494e8e576a79f96517cb5e74c79",
      "mode": "644"
    },
    {
      "path": "formal-2ddl-root-plan/plan.json",
      "bytes": 34932,
      "sha256": "9a3df53e798ad01720a47bb1a1695ed0fd82df986c6228f9606826327123a86c",
      "mode": "644"
    },
    {
      "path": "manifest.json",
      "bytes": 1455,
      "sha256": "e9681acd76039893a5aa7c0140de685d3c752baeafc22387c25ac493d392f60b",
      "mode": "644"
    },
    {
      "path": "plan-B.json",
      "bytes": 125121,
      "sha256": "d79532c0ffd0032a8369ff7c143b230e600a389020bef97d0e310b3411d6568d",
      "mode": "644"
    },
    {
      "path": "plan-C.json",
      "bytes": 145862,
      "sha256": "246371adae570e88449b3784b8883db1523f6fa5acd8cbd8b29f4fe5dbc0d4a1",
      "mode": "644"
    },
    {
      "path": "runner.php",
      "bytes": 293426,
      "sha256": "c4e7e71840e70432f2cfa54823225e02620096d9338beb79e98cda2801fe4123",
      "mode": "644"
    },
    {
      "path": "test.php",
      "bytes": 3394,
      "sha256": "d5d1ab660786d7df4a604568ca6306367b339e4c5e91447a94c60418ec921fa3",
      "mode": "644"
    },
    {
      "path": "verification.json",
      "bytes": 791,
      "sha256": "740f2bae92b57eb1d6e5be40451bc1e4680a494be3d2ba7940846c1261369401",
      "mode": "644"
    },
    {
      "path": "verify-final.mjs",
      "bytes": 8360,
      "sha256": "ca958aa4307a14e238639da78208544a0b57a9bdd52b7664ebd201a5674503ef",
      "mode": "644"
    }
  ],
  "private": [
    {
      "path": "/tmp/cdx-prepay-full27-B-evidence-20261011/events-initial-stopped.jsonl",
      "bytes": 640041,
      "sha256": "6b6489fbadd049abd3f906d228a371efc3e13721f7c7e1aee01b2d9f9ef817e3",
      "mode": "600",
      "directory_mode": "700"
    },
    {
      "path": "/tmp/cdx-prepay-full27-B-evidence-20261011/events-tail-recovery-final.jsonl",
      "bytes": 52804,
      "sha256": "2d1c81a151cd56aa2b7ec4a462acc772cc5cc1a29b980a1da440c1d4e25d4274",
      "mode": "600",
      "directory_mode": "700"
    },
    {
      "path": "/tmp/cdx-prepay-full27-C-evidence-20261011/events-initial-stopped.jsonl",
      "bytes": 80603,
      "sha256": "2cea9b5144493090676fbb7cf49f7898f510445037dba7e5c3f6a658d28d9d0a",
      "mode": "600",
      "directory_mode": "700"
    },
    {
      "path": "/tmp/cdx-prepay-full27-C-evidence-20261011/events-resume-stopped.jsonl",
      "bytes": 75738,
      "sha256": "60660fef7f1dbd2a41ea29d273e8ddb72f2fb7dd14489a033f84edd6ed9dce36",
      "mode": "600",
      "directory_mode": "700"
    },
    {
      "path": "/tmp/cdx-prepay-full27-C-evidence-20261011/events-resume-tail-final.jsonl",
      "bytes": 867562,
      "sha256": "b0a0db9b9216328c72a461cceede66b0f0cabef882e836d46b72ad9d60ea58ff",
      "mode": "600",
      "directory_mode": "700"
    }
  ]
}