{
  "status": "REAL_PHYSICAL_TRANSPORT_PROOF_WITH_FLOAT53_REDS_NOT_BUSINESS_ACCEPTANCE",
  "sha256": {
    "C-REAL-PROPOSAL.md": "bc1ec3679cda6ce538e9570ed82304b7cca5bc7fa8167c668418715746e3f8f2",
    "C-AUTHORIZATION.md": "e688773d62a69927b7577925bc0cb7fe7692c766c5ad790fc24553fb4ab35bd6",
    "C-real-plan.json": "82cce0877e1b419d4c1c64dddc11e27d568d4cc13baca3b044e87de968e32300",
    "C-REAL-REPORT.md": "0f9bece225b0aecdf12a620bce91007448b93c90a5d6cf182aed515449cb952a",
    "C-schema-gate-verification.json": "6533411e7ab983f1a3f9788d48ae7653b04b2cb5de0beb81db59000448ab92e5",
    "C-real-verification.json": "1ebaf6bea8be1b6c28a18a5edf119e8479deb7fcf6a9f5180346037d1ffd8277",
    "C-runtime-cleanup.json": "248a55a74f2795bf80d862994fc7eebdeb7eab92538cef828f0e243c2d660c00",
    "verify-c-real.py": "4f30ce3e43b9249a828a18ea2b2aeab5b3876d0ee62c709410e1bd372de32e79",
    "private-evidence/c-real.php": "63d545fe7e0712ce10b82d09d6443f6d4d88708f81337482aa86197b63b960d4",
    "private-evidence/launch-c-real.php": "f5bb453fc59b641df08567984b5e6846cc9938eb6e25de1041fb0a4e6dcbf2bd",
    "private-evidence/c-real-schema.check.php": "faf75b887dbf4322dc2b70ca853e67a95ca3d15f005498633333f6daf033d33f",
    "private-evidence/C-run.jsonl": "c91a2b9bb76e87a794f300da79c251c7027285ca8570eb3d3ba2a690324ed8c3",
    "private-evidence/C-runtime-stdout.json": "61e0c612507eb2a7074d76254803ca296eefc0aff5cff876168ee70ffd1c582d"
  },
  "DDL": 2,
  "INSERT": 20,
  "rollbacks": 18,
  "diagnostics": 112,
  "events": 321,
  "assertions": 456,
  "mutations": 8,
  "REAL_points": 16,
  "REAL_aggregates": 2,
  "FLOAT53_point_reds": 4,
  "FLOAT53_aggregate_reds": 1,
  "object0": true,
  "natural": 0,
  "HTTP": 0,
  "own_runtime_files_removed": 4
}