{
  "cases": [
    {
      "id": "01",
      "title": "A clear extract",
      "tag": "The easy unit",
      "initial": "01-clean",
      "final": "01-clean",
      "story": "Four activities, one declared date convention, one authoritative snapshot. Every listed dependency agrees with the recorded dates.",
      "question": "Can the report correctly say that these six extract checks found no defect?",
      "rounds": 0,
      "revisions": 0,
      "lesson": "A clean report is a bounded finding about these records. It does not certify the project."
    },
    {
      "id": "02",
      "title": "Five definite findings",
      "tag": "A useful adverse answer",
      "initial": "02-defects",
      "final": "02-defects",
      "story": "The extract includes an early start, a circular pair, an absent predecessor and a finish before its own start.",
      "question": "Will the checker report every supported defect, including the awkward ones?",
      "rounds": 0,
      "revisions": 0,
      "lesson": "The deliverable can be accepted even though the supplied plan fails its checks. Paying for a clean bill of health would create the wrong unit."
    },
    {
      "id": "03",
      "title": "What does this date mean?",
      "tag": "Clarification has a cost",
      "initial": "03-ambiguous",
      "final": "03-clarified",
      "story": "Dates use slashes and the relationship type is unstated. Guessing would turn an interpretation into a finding.",
      "question": "Should the supplier guess, stop, or include a clarification round?",
      "rounds": 1,
      "revisions": 0,
      "clarification": "Synthetic owner reply: dates are DD/MM/YYYY; listed links are finish-to-start with zero lag; finishes denote the exclusive boundary. The reissued report finds B starts before A finishes.",
      "lesson": "A correct hold is not a completed audit. One supplied clarification resolves this fixture; there is no evidence that every real query would resolve in one round."
    },
    {
      "id": "04",
      "title": "Which version governs?",
      "tag": "Authority is an input",
      "initial": "04-conflicting",
      "final": "04-adjudicated",
      "story": "Two rows share activity A but disagree about its finish. Both extracts are supplied without a precedence rule.",
      "question": "Who is entitled to choose the controlling record?",
      "rounds": 1,
      "revisions": 0,
      "clarification": "Synthetic owner decision: plan-v2.csv is the governing snapshot; plan-v1.csv is superseded. This is a supplied decision, not something the checker discovered.",
      "lesson": "The supplier can detect the conflict. Resolving authority belongs to the authorised owner; picking the latest-looking filename is not an acceptance rule."
    },
    {
      "id": "05",
      "title": "All checks pass. Still impossible.",
      "tag": "The boundary counterexample",
      "initial": "05-outside",
      "final": "05-outside",
      "story": "Two test activities run in parallel. Both finish before release. The submitted dates and links satisfy the declared checks.",
      "question": "Does a correct extract check justify saying the plan is feasible?",
      "rounds": 0,
      "revisions": 0,
      "outside": {
        "fact": "Both activities need the same indivisible test bay for the full interval; capacity is one. This resource fact is absent from the submitted extract.",
        "capacity": 1,
        "demand": 2,
        "interval": "2\u20134 November 2026",
        "source": "Authored scenario sidecar; never supplied to either audit algorithm."
      },
      "lesson": "No. The narrow report is correct and the broad promise fails. Adding a polished graph cannot recover an absent resource constraint."
    },
    {
      "id": "06",
      "title": "The input changed",
      "tag": "One purchase, how many revisions?",
      "initial": "06-original",
      "final": "06-revised",
      "story": "The owner extends A by two days after the first report. Reusing that earlier receipt would hide a new A\u2192B conflict.",
      "question": "Is an earlier correct receipt still an acceptable delivery against the new input?",
      "rounds": 0,
      "revisions": 1,
      "lesson": "A source-bound receipt rejects stale reuse. Rechecking changed inputs is different work from correcting a supplier error; the offer must say who pays for each."
    }
  ],
  "packs": {
    "01-clean": {
      "revision": "clean-r1",
      "conventions": {
        "date_format": "ISO",
        "end_convention": "exclusive",
        "relationship": "FS0",
        "calendar": "calendar_days",
        "authority": "one_declared_snapshot"
      },
      "rows": [
        {
          "id": "A",
          "name": "Prepare test bay",
          "start": "2026-11-02",
          "finish": "2026-11-04",
          "predecessors": [],
          "source": "plan.csv"
        },
        {
          "id": "B",
          "name": "Assemble module",
          "start": "2026-11-04",
          "finish": "2026-11-06",
          "predecessors": [
            "A"
          ],
          "source": "plan.csv"
        },
        {
          "id": "C",
          "name": "Run acceptance test",
          "start": "2026-11-06",
          "finish": "2026-11-07",
          "predecessors": [
            "B"
          ],
          "source": "plan.csv"
        },
        {
          "id": "D",
          "name": "Release module",
          "start": "2026-11-07",
          "finish": "2026-11-08",
          "predecessors": [
            "C"
          ],
          "source": "plan.csv"
        }
      ]
    },
    "02-defects": {
      "revision": "defects-r1",
      "conventions": {
        "date_format": "ISO",
        "end_convention": "exclusive",
        "relationship": "FS0",
        "calendar": "calendar_days",
        "authority": "one_declared_snapshot"
      },
      "rows": [
        {
          "id": "A",
          "name": "Prepare test bay",
          "start": "2026-11-02",
          "finish": "2026-11-05",
          "predecessors": [],
          "source": "plan.csv"
        },
        {
          "id": "B",
          "name": "Assemble module",
          "start": "2026-11-04",
          "finish": "2026-11-06",
          "predecessors": [
            "A",
            "C"
          ],
          "source": "plan.csv"
        },
        {
          "id": "C",
          "name": "Run acceptance test",
          "start": "2026-11-06",
          "finish": "2026-11-07",
          "predecessors": [
            "B",
            "Z"
          ],
          "source": "plan.csv"
        },
        {
          "id": "D",
          "name": "Release module",
          "start": "2026-11-07",
          "finish": "2026-11-06",
          "predecessors": [
            "C"
          ],
          "source": "plan.csv"
        }
      ]
    },
    "03-ambiguous": {
      "revision": "ambiguous-r1",
      "conventions": {
        "date_format": "undeclared",
        "end_convention": "exclusive",
        "relationship": "undeclared",
        "calendar": "calendar_days",
        "authority": "one_declared_snapshot"
      },
      "rows": [
        {
          "id": "A",
          "name": "Prepare test bay",
          "start": "03/04/2026",
          "finish": "05/04/2026",
          "predecessors": [],
          "source": "plan.csv"
        },
        {
          "id": "B",
          "name": "Assemble module",
          "start": "04/04/2026",
          "finish": "06/04/2026",
          "predecessors": [
            "A"
          ],
          "source": "plan.csv"
        }
      ]
    },
    "03-clarified": {
      "revision": "ambiguous-r2",
      "conventions": {
        "date_format": "DD/MM/YYYY",
        "end_convention": "exclusive",
        "relationship": "FS0",
        "calendar": "calendar_days",
        "authority": "one_declared_snapshot"
      },
      "rows": [
        {
          "id": "A",
          "name": "Prepare test bay",
          "start": "03/04/2026",
          "finish": "05/04/2026",
          "predecessors": [],
          "source": "plan.csv"
        },
        {
          "id": "B",
          "name": "Assemble module",
          "start": "04/04/2026",
          "finish": "06/04/2026",
          "predecessors": [
            "A"
          ],
          "source": "plan.csv"
        }
      ]
    },
    "04-adjudicated": {
      "revision": "conflicting-r2",
      "conventions": {
        "date_format": "ISO",
        "end_convention": "exclusive",
        "relationship": "FS0",
        "calendar": "calendar_days",
        "authority": "one_declared_snapshot"
      },
      "rows": [
        {
          "id": "A",
          "name": "Prepare test bay",
          "start": "2026-11-02",
          "finish": "2026-11-06",
          "predecessors": [],
          "source": "plan-v2.csv"
        },
        {
          "id": "B",
          "name": "Assemble module",
          "start": "2026-11-04",
          "finish": "2026-11-08",
          "predecessors": [
            "A"
          ],
          "source": "plan-v2.csv"
        }
      ]
    },
    "04-conflicting": {
      "revision": "conflicting-r1",
      "conventions": {
        "date_format": "ISO",
        "end_convention": "exclusive",
        "relationship": "FS0",
        "calendar": "calendar_days",
        "authority": "two_sources_no_priority"
      },
      "rows": [
        {
          "id": "A",
          "name": "Prepare test bay",
          "start": "2026-11-02",
          "finish": "2026-11-04",
          "predecessors": [],
          "source": "plan-v1.csv"
        },
        {
          "id": "A",
          "name": "Prepare test bay",
          "start": "2026-11-02",
          "finish": "2026-11-06",
          "predecessors": [],
          "source": "plan-v2.csv"
        },
        {
          "id": "B",
          "name": "Assemble module",
          "start": "2026-11-04",
          "finish": "2026-11-08",
          "predecessors": [
            "A"
          ],
          "source": "plan-v2.csv"
        }
      ]
    },
    "05-outside": {
      "revision": "outside-r1",
      "conventions": {
        "date_format": "ISO",
        "end_convention": "exclusive",
        "relationship": "FS0",
        "calendar": "calendar_days",
        "authority": "one_declared_snapshot"
      },
      "rows": [
        {
          "id": "A",
          "name": "Test module east",
          "start": "2026-11-02",
          "finish": "2026-11-04",
          "predecessors": [],
          "source": "plan.csv"
        },
        {
          "id": "B",
          "name": "Test module west",
          "start": "2026-11-02",
          "finish": "2026-11-04",
          "predecessors": [],
          "source": "plan.csv"
        },
        {
          "id": "C",
          "name": "Release both modules",
          "start": "2026-11-04",
          "finish": "2026-11-05",
          "predecessors": [
            "A",
            "B"
          ],
          "source": "plan.csv"
        }
      ]
    },
    "06-original": {
      "revision": "change-r1",
      "conventions": {
        "date_format": "ISO",
        "end_convention": "exclusive",
        "relationship": "FS0",
        "calendar": "calendar_days",
        "authority": "one_declared_snapshot"
      },
      "rows": [
        {
          "id": "A",
          "name": "Prepare test bay",
          "start": "2026-11-02",
          "finish": "2026-11-04",
          "predecessors": [],
          "source": "plan.csv"
        },
        {
          "id": "B",
          "name": "Assemble module",
          "start": "2026-11-04",
          "finish": "2026-11-06",
          "predecessors": [
            "A"
          ],
          "source": "plan.csv"
        },
        {
          "id": "C",
          "name": "Run acceptance test",
          "start": "2026-11-06",
          "finish": "2026-11-07",
          "predecessors": [
            "B"
          ],
          "source": "plan.csv"
        },
        {
          "id": "D",
          "name": "Release module",
          "start": "2026-11-07",
          "finish": "2026-11-08",
          "predecessors": [
            "C"
          ],
          "source": "plan.csv"
        }
      ]
    },
    "06-revised": {
      "revision": "change-r2",
      "conventions": {
        "date_format": "ISO",
        "end_convention": "exclusive",
        "relationship": "FS0",
        "calendar": "calendar_days",
        "authority": "one_declared_snapshot"
      },
      "rows": [
        {
          "id": "A",
          "name": "Prepare test bay",
          "start": "2026-11-02",
          "finish": "2026-11-06",
          "predecessors": [],
          "source": "plan.csv"
        },
        {
          "id": "B",
          "name": "Assemble module",
          "start": "2026-11-04",
          "finish": "2026-11-06",
          "predecessors": [
            "A"
          ],
          "source": "plan.csv"
        },
        {
          "id": "C",
          "name": "Run acceptance test",
          "start": "2026-11-06",
          "finish": "2026-11-07",
          "predecessors": [
            "B"
          ],
          "source": "plan.csv"
        },
        {
          "id": "D",
          "name": "Release module",
          "start": "2026-11-07",
          "finish": "2026-11-08",
          "predecessors": [
            "C"
          ],
          "source": "plan.csv"
        }
      ]
    }
  },
  "deliveries": {
    "01-clean": {
      "ruleset": "extract-check-v1",
      "source_sha256": "97b7b9f6ba1c2bc42a399da7177e349131bd3c014761e1dd41949ee763926622",
      "source_revision": "clean-r1",
      "scope": "declared_extract_only",
      "claim": "No assertion of overall project feasibility or safety.",
      "job_complete": true,
      "outcome": "no_defects_in_scope",
      "checks": [
        {
          "id": "C1",
          "label": "Declared conventions and authority",
          "state": "checked"
        },
        {
          "id": "C2",
          "label": "Unique activity identity",
          "state": "checked"
        },
        {
          "id": "C3",
          "label": "Parseable dates and positive intervals",
          "state": "checked"
        },
        {
          "id": "C4",
          "label": "Predecessors present in extract",
          "state": "checked"
        },
        {
          "id": "C5",
          "label": "No directed dependency cycle",
          "state": "checked"
        },
        {
          "id": "C6",
          "label": "Recorded finish-to-start dates agree",
          "state": "checked"
        }
      ],
      "holds": [],
      "findings": [],
      "record_count": 4,
      "dependency_count": 3
    },
    "02-defects": {
      "ruleset": "extract-check-v1",
      "source_sha256": "cc762998795af227e70c1668ec75b895b652b9f9c722323f3ffd1c908990ce58",
      "source_revision": "defects-r1",
      "scope": "declared_extract_only",
      "claim": "No assertion of overall project feasibility or safety.",
      "job_complete": true,
      "outcome": "defects_found",
      "checks": [
        {
          "id": "C1",
          "label": "Declared conventions and authority",
          "state": "checked"
        },
        {
          "id": "C2",
          "label": "Unique activity identity",
          "state": "checked"
        },
        {
          "id": "C3",
          "label": "Parseable dates and positive intervals",
          "state": "checked"
        },
        {
          "id": "C4",
          "label": "Predecessors present in extract",
          "state": "checked"
        },
        {
          "id": "C5",
          "label": "No directed dependency cycle",
          "state": "checked"
        },
        {
          "id": "C6",
          "label": "Recorded finish-to-start dates agree",
          "state": "checked"
        }
      ],
      "holds": [],
      "findings": [
        {
          "code": "CYCLE",
          "subjects": [
            "B",
            "C"
          ],
          "evidence": [
            "plan.csv:row2",
            "plan.csv:row3"
          ],
          "detail": "These activities form a directed dependency cycle."
        },
        {
          "code": "FS_CONFLICT",
          "subjects": [
            "A",
            "B"
          ],
          "evidence": [
            "plan.csv:row1",
            "plan.csv:row2"
          ],
          "detail": "A finishes 2026-11-05, after B starts 2026-11-04."
        },
        {
          "code": "FS_CONFLICT",
          "subjects": [
            "B",
            "C"
          ],
          "evidence": [
            "plan.csv:row2",
            "plan.csv:row3"
          ],
          "detail": "C finishes 2026-11-07, after B starts 2026-11-04."
        },
        {
          "code": "INVALID_INTERVAL",
          "subjects": [
            "D"
          ],
          "evidence": [
            "plan.csv:row4"
          ],
          "detail": "Release module: finish must be after start for the positive-duration activities in this offer."
        },
        {
          "code": "MISSING_PREDECESSOR",
          "subjects": [
            "C",
            "Z"
          ],
          "evidence": [
            "plan.csv:row3"
          ],
          "detail": "C names Z, which is absent from the submitted extract."
        }
      ],
      "record_count": 4,
      "dependency_count": 5
    },
    "03-ambiguous": {
      "ruleset": "extract-check-v1",
      "source_sha256": "4d5309ac87e636b4d6ce805319faed7e764dc1f298be90badacd11b3b9e04998",
      "source_revision": "ambiguous-r1",
      "scope": "declared_extract_only",
      "claim": "No assertion of overall project feasibility or safety.",
      "job_complete": false,
      "outcome": "hold",
      "checks": [
        {
          "id": "C1",
          "label": "Declared conventions and authority",
          "state": "hold"
        },
        {
          "id": "C2",
          "label": "Unique activity identity",
          "state": "checked"
        },
        {
          "id": "C3",
          "label": "Parseable dates and positive intervals",
          "state": "withheld"
        },
        {
          "id": "C4",
          "label": "Predecessors present in extract",
          "state": "withheld"
        },
        {
          "id": "C5",
          "label": "No directed dependency cycle",
          "state": "withheld"
        },
        {
          "id": "C6",
          "label": "Recorded finish-to-start dates agree",
          "state": "withheld"
        }
      ],
      "holds": [
        {
          "code": "DATE_FORMAT_UNDECLARED",
          "subjects": [],
          "evidence": [
            "conventions.date_format"
          ],
          "detail": "Ask the owner to declare the date format."
        },
        {
          "code": "RELATIONSHIP_UNDECLARED",
          "subjects": [],
          "evidence": [
            "conventions.relationship"
          ],
          "detail": "Ask the owner to declare the dependency semantics; do not assume FS0."
        }
      ],
      "findings": [],
      "record_count": 2,
      "dependency_count": 1
    },
    "03-clarified": {
      "ruleset": "extract-check-v1",
      "source_sha256": "82da99d64077e834b52bfc244f46d47bce2e4b6a5991aa7e0963c5dfa79d62cb",
      "source_revision": "ambiguous-r2",
      "scope": "declared_extract_only",
      "claim": "No assertion of overall project feasibility or safety.",
      "job_complete": true,
      "outcome": "defects_found",
      "checks": [
        {
          "id": "C1",
          "label": "Declared conventions and authority",
          "state": "checked"
        },
        {
          "id": "C2",
          "label": "Unique activity identity",
          "state": "checked"
        },
        {
          "id": "C3",
          "label": "Parseable dates and positive intervals",
          "state": "checked"
        },
        {
          "id": "C4",
          "label": "Predecessors present in extract",
          "state": "checked"
        },
        {
          "id": "C5",
          "label": "No directed dependency cycle",
          "state": "checked"
        },
        {
          "id": "C6",
          "label": "Recorded finish-to-start dates agree",
          "state": "checked"
        }
      ],
      "holds": [],
      "findings": [
        {
          "code": "FS_CONFLICT",
          "subjects": [
            "A",
            "B"
          ],
          "evidence": [
            "plan.csv:row1",
            "plan.csv:row2"
          ],
          "detail": "A finishes 2026-04-05, after B starts 2026-04-04."
        }
      ],
      "record_count": 2,
      "dependency_count": 1
    },
    "04-adjudicated": {
      "ruleset": "extract-check-v1",
      "source_sha256": "ca6142ad70b85e1c362590a866e7ec47657024ccc4f1d68b00f2a52f64cd68af",
      "source_revision": "conflicting-r2",
      "scope": "declared_extract_only",
      "claim": "No assertion of overall project feasibility or safety.",
      "job_complete": true,
      "outcome": "defects_found",
      "checks": [
        {
          "id": "C1",
          "label": "Declared conventions and authority",
          "state": "checked"
        },
        {
          "id": "C2",
          "label": "Unique activity identity",
          "state": "checked"
        },
        {
          "id": "C3",
          "label": "Parseable dates and positive intervals",
          "state": "checked"
        },
        {
          "id": "C4",
          "label": "Predecessors present in extract",
          "state": "checked"
        },
        {
          "id": "C5",
          "label": "No directed dependency cycle",
          "state": "checked"
        },
        {
          "id": "C6",
          "label": "Recorded finish-to-start dates agree",
          "state": "checked"
        }
      ],
      "holds": [],
      "findings": [
        {
          "code": "FS_CONFLICT",
          "subjects": [
            "A",
            "B"
          ],
          "evidence": [
            "plan-v2.csv:row1",
            "plan-v2.csv:row2"
          ],
          "detail": "A finishes 2026-11-06, after B starts 2026-11-04."
        }
      ],
      "record_count": 2,
      "dependency_count": 1
    },
    "04-conflicting": {
      "ruleset": "extract-check-v1",
      "source_sha256": "5562458bf2be63b68e519869dcfce403bc762a5e0f86893a92bf40af1a500137",
      "source_revision": "conflicting-r1",
      "scope": "declared_extract_only",
      "claim": "No assertion of overall project feasibility or safety.",
      "job_complete": false,
      "outcome": "hold",
      "checks": [
        {
          "id": "C1",
          "label": "Declared conventions and authority",
          "state": "hold"
        },
        {
          "id": "C2",
          "label": "Unique activity identity",
          "state": "hold"
        },
        {
          "id": "C3",
          "label": "Parseable dates and positive intervals",
          "state": "withheld"
        },
        {
          "id": "C4",
          "label": "Predecessors present in extract",
          "state": "withheld"
        },
        {
          "id": "C5",
          "label": "No directed dependency cycle",
          "state": "withheld"
        },
        {
          "id": "C6",
          "label": "Recorded finish-to-start dates agree",
          "state": "withheld"
        }
      ],
      "holds": [
        {
          "code": "AUTHORITY_UNRESOLVED",
          "subjects": [],
          "evidence": [
            "conventions.authority"
          ],
          "detail": "Ask an authorised owner which snapshot governs."
        },
        {
          "code": "DUPLICATE_ID",
          "subjects": [
            "A"
          ],
          "evidence": [
            "plan-v1.csv:row1",
            "plan-v2.csv:row2"
          ],
          "detail": "Several rows use the same activity identifier. Do not choose one silently."
        }
      ],
      "findings": [],
      "record_count": 3,
      "dependency_count": 1
    },
    "05-outside": {
      "ruleset": "extract-check-v1",
      "source_sha256": "2ead66f762fd3014109127952440bac8a9d8c28cb2fd01cb5f459b31891bcbfc",
      "source_revision": "outside-r1",
      "scope": "declared_extract_only",
      "claim": "No assertion of overall project feasibility or safety.",
      "job_complete": true,
      "outcome": "no_defects_in_scope",
      "checks": [
        {
          "id": "C1",
          "label": "Declared conventions and authority",
          "state": "checked"
        },
        {
          "id": "C2",
          "label": "Unique activity identity",
          "state": "checked"
        },
        {
          "id": "C3",
          "label": "Parseable dates and positive intervals",
          "state": "checked"
        },
        {
          "id": "C4",
          "label": "Predecessors present in extract",
          "state": "checked"
        },
        {
          "id": "C5",
          "label": "No directed dependency cycle",
          "state": "checked"
        },
        {
          "id": "C6",
          "label": "Recorded finish-to-start dates agree",
          "state": "checked"
        }
      ],
      "holds": [],
      "findings": [],
      "record_count": 3,
      "dependency_count": 2
    },
    "06-original": {
      "ruleset": "extract-check-v1",
      "source_sha256": "ca66126f4986ae85c3aaa00a34329e90b6c5f53e87daf86a0d754ede4906ba7f",
      "source_revision": "change-r1",
      "scope": "declared_extract_only",
      "claim": "No assertion of overall project feasibility or safety.",
      "job_complete": true,
      "outcome": "no_defects_in_scope",
      "checks": [
        {
          "id": "C1",
          "label": "Declared conventions and authority",
          "state": "checked"
        },
        {
          "id": "C2",
          "label": "Unique activity identity",
          "state": "checked"
        },
        {
          "id": "C3",
          "label": "Parseable dates and positive intervals",
          "state": "checked"
        },
        {
          "id": "C4",
          "label": "Predecessors present in extract",
          "state": "checked"
        },
        {
          "id": "C5",
          "label": "No directed dependency cycle",
          "state": "checked"
        },
        {
          "id": "C6",
          "label": "Recorded finish-to-start dates agree",
          "state": "checked"
        }
      ],
      "holds": [],
      "findings": [],
      "record_count": 4,
      "dependency_count": 3
    },
    "06-revised": {
      "ruleset": "extract-check-v1",
      "source_sha256": "c04eaba40c9e7b0691e71610a92a63ca0b5368dad8c17bc470bc6e4d8646d534",
      "source_revision": "change-r2",
      "scope": "declared_extract_only",
      "claim": "No assertion of overall project feasibility or safety.",
      "job_complete": true,
      "outcome": "defects_found",
      "checks": [
        {
          "id": "C1",
          "label": "Declared conventions and authority",
          "state": "checked"
        },
        {
          "id": "C2",
          "label": "Unique activity identity",
          "state": "checked"
        },
        {
          "id": "C3",
          "label": "Parseable dates and positive intervals",
          "state": "checked"
        },
        {
          "id": "C4",
          "label": "Predecessors present in extract",
          "state": "checked"
        },
        {
          "id": "C5",
          "label": "No directed dependency cycle",
          "state": "checked"
        },
        {
          "id": "C6",
          "label": "Recorded finish-to-start dates agree",
          "state": "checked"
        }
      ],
      "holds": [],
      "findings": [
        {
          "code": "FS_CONFLICT",
          "subjects": [
            "A",
            "B"
          ],
          "evidence": [
            "plan.csv:row1",
            "plan.csv:row2"
          ],
          "detail": "A finishes 2026-11-06, after B starts 2026-11-04."
        }
      ],
      "record_count": 4,
      "dependency_count": 3
    }
  },
  "results": {
    "fixture_type": "authored_synthetic",
    "verification_type": "separately_implemented_machine_predicates_same_author",
    "professional_acceptance_observed": false,
    "buyer_acceptance_observed": false,
    "delivery_reports": 9,
    "receipt_events": 10,
    "valid_reports": 9,
    "completed_audits": 7,
    "correct_holds": 2,
    "stale_rejections": 1,
    "receipts": {
      "01-clean": {
        "report_valid": true,
        "job_complete": true,
        "verdict": "accepted_against_written_checks",
        "errors": [],
        "ordinary_table_findings": 0,
        "ordinary_table_holds": 0,
        "comparison": "same_supported_conclusions"
      },
      "02-defects": {
        "report_valid": true,
        "job_complete": true,
        "verdict": "accepted_against_written_checks",
        "errors": [],
        "ordinary_table_findings": 5,
        "ordinary_table_holds": 0,
        "comparison": "same_supported_conclusions"
      },
      "03-ambiguous": {
        "report_valid": true,
        "job_complete": false,
        "verdict": "correct_hold",
        "errors": [],
        "ordinary_table_findings": 0,
        "ordinary_table_holds": 2,
        "comparison": "same_supported_conclusions"
      },
      "03-clarified": {
        "report_valid": true,
        "job_complete": true,
        "verdict": "accepted_against_written_checks",
        "errors": [],
        "ordinary_table_findings": 1,
        "ordinary_table_holds": 0,
        "comparison": "same_supported_conclusions"
      },
      "04-adjudicated": {
        "report_valid": true,
        "job_complete": true,
        "verdict": "accepted_against_written_checks",
        "errors": [],
        "ordinary_table_findings": 1,
        "ordinary_table_holds": 0,
        "comparison": "same_supported_conclusions"
      },
      "04-conflicting": {
        "report_valid": true,
        "job_complete": false,
        "verdict": "correct_hold",
        "errors": [],
        "ordinary_table_findings": 0,
        "ordinary_table_holds": 2,
        "comparison": "same_supported_conclusions"
      },
      "05-outside": {
        "report_valid": true,
        "job_complete": true,
        "verdict": "accepted_against_written_checks",
        "errors": [],
        "ordinary_table_findings": 0,
        "ordinary_table_holds": 0,
        "comparison": "same_supported_conclusions"
      },
      "06-original": {
        "report_valid": true,
        "job_complete": true,
        "verdict": "accepted_against_written_checks",
        "errors": [],
        "ordinary_table_findings": 0,
        "ordinary_table_holds": 0,
        "comparison": "same_supported_conclusions"
      },
      "06-revised": {
        "report_valid": true,
        "job_complete": true,
        "verdict": "accepted_against_written_checks",
        "errors": [],
        "ordinary_table_findings": 1,
        "ordinary_table_holds": 0,
        "comparison": "same_supported_conclusions"
      },
      "06-stale-replay": {
        "report_valid": false,
        "job_complete": false,
        "verdict": "reject",
        "errors": [
          "SOURCE_CHANGED",
          "FINDING_OR_EVIDENCE_DIFFERS",
          "OUTCOME_DIFFERS"
        ],
        "ordinary_table_findings": 1,
        "ordinary_table_holds": 0,
        "comparison": "different_or_invalid"
      }
    },
    "mutation_checks": [
      {
        "mutation": "Remove all five adverse findings",
        "rejected": true,
        "errors": [
          "FINDING_OR_EVIDENCE_DIFFERS",
          "OUTCOME_DIFFERS"
        ]
      },
      {
        "mutation": "Claim overall project safety",
        "rejected": true,
        "errors": [
          "UNSUPPORTED_SCOPE_CLAIM"
        ]
      },
      {
        "mutation": "Reuse a receipt against a changed source hash",
        "rejected": true,
        "errors": [
          "SOURCE_CHANGED"
        ]
      },
      {
        "mutation": "Declare an unresolved ambiguity complete",
        "rejected": true,
        "errors": [
          "HOLD_SET_DIFFERS",
          "COMPLETION_DIFFERS",
          "OUTCOME_DIFFERS"
        ]
      },
      {
        "mutation": "Silently choose one conflicting source",
        "rejected": true,
        "errors": [
          "HOLD_SET_DIFFERS",
          "COMPLETION_DIFFERS",
          "OUTCOME_DIFFERS"
        ]
      },
      {
        "mutation": "Erase an adverse finding evidence reference",
        "rejected": true,
        "errors": [
          "FINDING_OR_EVIDENCE_DIFFERS"
        ]
      },
      {
        "mutation": "Invent a defect in the clean extract",
        "rejected": true,
        "errors": [
          "FINDING_OR_EVIDENCE_DIFFERS",
          "OUTCOME_DIFFERS"
        ]
      },
      {
        "mutation": "Pretend all withheld checks were performed",
        "rejected": true,
        "errors": [
          "COVERAGE_DIFFERS"
        ]
      }
    ],
    "human_timings_measured": false,
    "market_prices_observed": false
  }
}