{
  "checks": 48,
  "passed": 48,
  "meaning": "Evidence and comparator checks passed; several PDA behaviours are demonstrated failures or gaps, not successful operations.",
  "results": [
    {
      "name": "source unchanged: case/initial_state.json",
      "passed": true
    },
    {
      "name": "source unchanged: case/baseline_checks.json",
      "passed": true
    },
    {
      "name": "source unchanged: case/DOSSIER.md",
      "passed": true
    },
    {
      "name": "source unchanged: case/README.md",
      "passed": true
    },
    {
      "name": "source unchanged: release/event_01.json",
      "passed": true
    },
    {
      "name": "source unchanged: case/documents/D01.md",
      "passed": true
    },
    {
      "name": "source unchanged: case/documents/D02.md",
      "passed": true
    },
    {
      "name": "source unchanged: case/documents/D03.md",
      "passed": true
    },
    {
      "name": "source unchanged: case/documents/D04.md",
      "passed": true
    },
    {
      "name": "source unchanged: case/documents/D05.md",
      "passed": true
    },
    {
      "name": "source unchanged: case/documents/D06.md",
      "passed": true
    },
    {
      "name": "source unchanged: case/documents/D07.md",
      "passed": true
    },
    {
      "name": "source unchanged: case/documents/D08.md",
      "passed": true
    },
    {
      "name": "source unchanged: case/documents/D09.md",
      "passed": true
    },
    {
      "name": "source unchanged: case/documents/D10.md",
      "passed": true
    },
    {
      "name": "source unchanged: case/documents/D11.md",
      "passed": true
    },
    {
      "name": "source unchanged: case/documents/D12.md",
      "passed": true
    },
    {
      "name": "source unchanged: case/documents/D13.md",
      "passed": true
    },
    {
      "name": "source unchanged: case/documents/D14.md",
      "passed": true
    },
    {
      "name": "source unchanged: case/documents/D15.md",
      "passed": true
    },
    {
      "name": "source unchanged: case/documents/D16.md",
      "passed": true
    },
    {
      "name": "pre-run design preserved: README.md",
      "passed": true
    },
    {
      "name": "pre-run design preserved: essai-01/PROTOCOL.md",
      "passed": true
    },
    {
      "name": "pre-run design preserved: essai-01/MAPPING.md",
      "passed": true
    },
    {
      "name": "baseline cash matches all twelve source-witness weeks",
      "passed": true
    },
    {
      "name": "baseline resource demand matches the author witness",
      "passed": true
    },
    {
      "name": "all original commitments survive every scenario",
      "passed": true
    },
    {
      "name": "W05 Morrow overload equals 5.5 demand / 4 capacity",
      "passed": true
    },
    {
      "name": "W08 Morrow overload equals 5.5 demand / 5 capacity",
      "passed": true
    },
    {
      "name": "same forecast cash is not called a performance receipt",
      "passed": true
    },
    {
      "name": "selected five jobs add four 600 margins and one 350 margin",
      "passed": true
    },
    {
      "name": "selected candidate retains qualified crews and capacity",
      "passed": true
    },
    {
      "name": "subset comparison covers all 2^7 options",
      "passed": true
    },
    {
      "name": "reference rejects unqualified skipper",
      "passed": true
    },
    {
      "name": "reference detects a lost original promise",
      "passed": true
    },
    {
      "name": "reference detects a cash floor breach",
      "passed": true
    },
    {
      "name": "native import failure preserved",
      "passed": true
    },
    {
      "name": "native resource write failure preserved",
      "passed": true
    },
    {
      "name": "caller mistake excluded from platform claim",
      "passed": true
    },
    {
      "name": "assumption identity, value and drift survive restart",
      "passed": true
    },
    {
      "name": "seven proposals remain submitted after restart",
      "passed": true
    },
    {
      "name": "same change identities survive restart",
      "passed": true
    },
    {
      "name": "native change-cost sum matches supplied seven job costs",
      "passed": true
    },
    {
      "name": "absence of approved baseline remains explicit",
      "passed": true
    },
    {
      "name": "forecast survives restart",
      "passed": true
    },
    {
      "name": "native retry doubles the hypothetical entry",
      "passed": true
    },
    {
      "name": "diagnostic reader retains demand but supplies no capacity comparison",
      "passed": true
    },
    {
      "name": "data gaps are named by red-flag scan",
      "passed": true
    }
  ]
}