{
  "evidence_status": "SYNTHETIC_SOFTWARE_DEMONSTRATION",
  "model_calls": 0,
  "summary": {
    "unguarded": {
      "cases": 12,
      "invalid_warrant_cases": 7,
      "invalid_warrant_executed": 7,
      "invalid_warrant_blocked": 0,
      "valid_warrant_cases": 5,
      "valid_warrant_blocked": 0,
      "physical_invalid_executed": 3
    },
    "cached_gate": {
      "cases": 12,
      "invalid_warrant_cases": 7,
      "invalid_warrant_executed": 6,
      "invalid_warrant_blocked": 1,
      "valid_warrant_cases": 5,
      "valid_warrant_blocked": 0,
      "physical_invalid_executed": 3
    },
    "report_only": {
      "cases": 12,
      "invalid_warrant_cases": 7,
      "invalid_warrant_executed": 7,
      "invalid_warrant_blocked": 0,
      "valid_warrant_cases": 5,
      "valid_warrant_blocked": 0,
      "physical_invalid_executed": 3
    },
    "live_gate": {
      "cases": 12,
      "invalid_warrant_cases": 7,
      "invalid_warrant_executed": 0,
      "invalid_warrant_blocked": 7,
      "valid_warrant_cases": 5,
      "valid_warrant_blocked": 0,
      "physical_invalid_executed": 1
    }
  },
  "traces": [
    {
      "case": "valid_transfer",
      "mode": "unguarded",
      "executed": true,
      "warrant_valid": true,
      "physical_valid": true,
      "decision": null
    },
    {
      "case": "allocation_revoked",
      "mode": "unguarded",
      "executed": true,
      "warrant_valid": false,
      "physical_valid": false,
      "decision": null
    },
    {
      "case": "allocation_unknown",
      "mode": "unguarded",
      "executed": true,
      "warrant_valid": false,
      "physical_valid": true,
      "decision": null
    },
    {
      "case": "both_stale",
      "mode": "unguarded",
      "executed": true,
      "warrant_valid": false,
      "physical_valid": true,
      "decision": null
    },
    {
      "case": "allocation_missing",
      "mode": "unguarded",
      "executed": true,
      "warrant_valid": false,
      "physical_valid": true,
      "decision": null
    },
    {
      "case": "cooling_preserved",
      "mode": "unguarded",
      "executed": true,
      "warrant_valid": true,
      "physical_valid": true,
      "decision": null
    },
    {
      "case": "cooling_failed",
      "mode": "unguarded",
      "executed": true,
      "warrant_valid": false,
      "physical_valid": false,
      "decision": null
    },
    {
      "case": "just_before_expiry",
      "mode": "unguarded",
      "executed": true,
      "warrant_valid": true,
      "physical_valid": true,
      "decision": null
    },
    {
      "case": "exact_expiry",
      "mode": "unguarded",
      "executed": true,
      "warrant_valid": false,
      "physical_valid": true,
      "decision": null
    },
    {
      "case": "partial_refresh",
      "mode": "unguarded",
      "executed": true,
      "warrant_valid": false,
      "physical_valid": true,
      "decision": null
    },
    {
      "case": "hidden_physical_failure",
      "mode": "unguarded",
      "executed": true,
      "warrant_valid": true,
      "physical_valid": false,
      "decision": null
    },
    {
      "case": "fresh_reestablished_point_condition",
      "mode": "unguarded",
      "executed": true,
      "warrant_valid": true,
      "physical_valid": true,
      "decision": null
    },
    {
      "case": "valid_transfer",
      "mode": "cached_gate",
      "executed": true,
      "warrant_valid": true,
      "physical_valid": true,
      "decision": {
        "action": "transfer",
        "allowed": true,
        "reasons": [],
        "revision": 2,
        "checked_at": 0.0,
        "evidence": [
          [
            "allocation",
            "established",
            0.0,
            "fixture_initial"
          ],
          [
            "reservoir",
            "established",
            0.0,
            "fixture_initial"
          ]
        ]
      }
    },
    {
      "case": "allocation_revoked",
      "mode": "cached_gate",
      "executed": true,
      "warrant_valid": false,
      "physical_valid": false,
      "decision": {
        "action": "transfer",
        "allowed": true,
        "reasons": [],
        "revision": 2,
        "checked_at": 0.0,
        "evidence": [
          [
            "allocation",
            "established",
            0.0,
            "fixture_initial"
          ],
          [
            "reservoir",
            "established",
            0.0,
            "fixture_initial"
          ]
        ]
      }
    },
    {
      "case": "allocation_unknown",
      "mode": "cached_gate",
      "executed": true,
      "warrant_valid": false,
      "physical_valid": true,
      "decision": {
        "action": "transfer",
        "allowed": true,
        "reasons": [],
        "revision": 2,
        "checked_at": 0.0,
        "evidence": [
          [
            "allocation",
            "established",
            0.0,
            "fixture_initial"
          ],
          [
            "reservoir",
            "established",
            0.0,
            "fixture_initial"
          ]
        ]
      }
    },
    {
      "case": "both_stale",
      "mode": "cached_gate",
      "executed": true,
      "warrant_valid": false,
      "physical_valid": true,
      "decision": {
        "action": "transfer",
        "allowed": true,
        "reasons": [],
        "revision": 2,
        "checked_at": 0.0,
        "evidence": [
          [
            "allocation",
            "established",
            0.0,
            "fixture_initial"
          ],
          [
            "reservoir",
            "established",
            0.0,
            "fixture_initial"
          ]
        ]
      }
    },
    {
      "case": "allocation_missing",
      "mode": "cached_gate",
      "executed": false,
      "warrant_valid": false,
      "physical_valid": true,
      "decision": {
        "action": "transfer",
        "allowed": false,
        "reasons": [
          "allocation:missing"
        ],
        "revision": 1,
        "checked_at": 0.0,
        "evidence": [
          [
            "reservoir",
            "established",
            0.0,
            "fixture_initial"
          ]
        ]
      }
    },
    {
      "case": "cooling_preserved",
      "mode": "cached_gate",
      "executed": true,
      "warrant_valid": true,
      "physical_valid": true,
      "decision": {
        "action": "cool",
        "allowed": true,
        "reasons": [],
        "revision": 2,
        "checked_at": 0.0,
        "evidence": [
          [
            "reservoir",
            "established",
            0.0,
            "fixture_initial"
          ]
        ]
      }
    },
    {
      "case": "cooling_failed",
      "mode": "cached_gate",
      "executed": true,
      "warrant_valid": false,
      "physical_valid": false,
      "decision": {
        "action": "cool",
        "allowed": true,
        "reasons": [],
        "revision": 2,
        "checked_at": 0.0,
        "evidence": [
          [
            "reservoir",
            "established",
            0.0,
            "fixture_initial"
          ]
        ]
      }
    },
    {
      "case": "just_before_expiry",
      "mode": "cached_gate",
      "executed": true,
      "warrant_valid": true,
      "physical_valid": true,
      "decision": {
        "action": "transfer",
        "allowed": true,
        "reasons": [],
        "revision": 2,
        "checked_at": 0.0,
        "evidence": [
          [
            "allocation",
            "established",
            0.0,
            "fixture_initial"
          ],
          [
            "reservoir",
            "established",
            0.0,
            "fixture_initial"
          ]
        ]
      }
    },
    {
      "case": "exact_expiry",
      "mode": "cached_gate",
      "executed": true,
      "warrant_valid": false,
      "physical_valid": true,
      "decision": {
        "action": "transfer",
        "allowed": true,
        "reasons": [],
        "revision": 2,
        "checked_at": 0.0,
        "evidence": [
          [
            "allocation",
            "established",
            0.0,
            "fixture_initial"
          ],
          [
            "reservoir",
            "established",
            0.0,
            "fixture_initial"
          ]
        ]
      }
    },
    {
      "case": "partial_refresh",
      "mode": "cached_gate",
      "executed": true,
      "warrant_valid": false,
      "physical_valid": true,
      "decision": {
        "action": "transfer",
        "allowed": true,
        "reasons": [],
        "revision": 2,
        "checked_at": 0.0,
        "evidence": [
          [
            "allocation",
            "established",
            0.0,
            "fixture_initial"
          ],
          [
            "reservoir",
            "established",
            0.0,
            "fixture_initial"
          ]
        ]
      }
    },
    {
      "case": "hidden_physical_failure",
      "mode": "cached_gate",
      "executed": true,
      "warrant_valid": true,
      "physical_valid": false,
      "decision": {
        "action": "transfer",
        "allowed": true,
        "reasons": [],
        "revision": 2,
        "checked_at": 0.0,
        "evidence": [
          [
            "allocation",
            "established",
            0.0,
            "fixture_initial"
          ],
          [
            "reservoir",
            "established",
            0.0,
            "fixture_initial"
          ]
        ]
      }
    },
    {
      "case": "fresh_reestablished_point_condition",
      "mode": "cached_gate",
      "executed": true,
      "warrant_valid": true,
      "physical_valid": true,
      "decision": {
        "action": "transfer",
        "allowed": true,
        "reasons": [],
        "revision": 2,
        "checked_at": 0.0,
        "evidence": [
          [
            "allocation",
            "established",
            0.0,
            "fixture_initial"
          ],
          [
            "reservoir",
            "established",
            0.0,
            "fixture_initial"
          ]
        ]
      }
    },
    {
      "case": "valid_transfer",
      "mode": "report_only",
      "executed": true,
      "warrant_valid": true,
      "physical_valid": true,
      "decision": {
        "action": "transfer",
        "allowed": true,
        "reasons": [],
        "revision": 2,
        "checked_at": 1,
        "evidence": [
          [
            "allocation",
            "established",
            0.0,
            "fixture_initial"
          ],
          [
            "reservoir",
            "established",
            0.0,
            "fixture_initial"
          ]
        ]
      }
    },
    {
      "case": "allocation_revoked",
      "mode": "report_only",
      "executed": true,
      "warrant_valid": false,
      "physical_valid": false,
      "decision": {
        "action": "transfer",
        "allowed": false,
        "reasons": [
          "allocation:failed"
        ],
        "revision": 3,
        "checked_at": 1,
        "evidence": [
          [
            "allocation",
            "failed",
            1,
            "fixture_update"
          ],
          [
            "reservoir",
            "established",
            0.0,
            "fixture_initial"
          ]
        ]
      }
    },
    {
      "case": "allocation_unknown",
      "mode": "report_only",
      "executed": true,
      "warrant_valid": false,
      "physical_valid": true,
      "decision": {
        "action": "transfer",
        "allowed": false,
        "reasons": [
          "allocation:unknown"
        ],
        "revision": 3,
        "checked_at": 1,
        "evidence": [
          [
            "allocation",
            "unknown",
            1,
            "fixture_update"
          ],
          [
            "reservoir",
            "established",
            0.0,
            "fixture_initial"
          ]
        ]
      }
    },
    {
      "case": "both_stale",
      "mode": "report_only",
      "executed": true,
      "warrant_valid": false,
      "physical_valid": true,
      "decision": {
        "action": "transfer",
        "allowed": false,
        "reasons": [
          "allocation:stale",
          "reservoir:stale"
        ],
        "revision": 2,
        "checked_at": 6,
        "evidence": [
          [
            "allocation",
            "established",
            0.0,
            "fixture_initial"
          ],
          [
            "reservoir",
            "established",
            0.0,
            "fixture_initial"
          ]
        ]
      }
    },
    {
      "case": "allocation_missing",
      "mode": "report_only",
      "executed": true,
      "warrant_valid": false,
      "physical_valid": true,
      "decision": {
        "action": "transfer",
        "allowed": false,
        "reasons": [
          "allocation:missing"
        ],
        "revision": 1,
        "checked_at": 1,
        "evidence": [
          [
            "reservoir",
            "established",
            0.0,
            "fixture_initial"
          ]
        ]
      }
    },
    {
      "case": "cooling_preserved",
      "mode": "report_only",
      "executed": true,
      "warrant_valid": true,
      "physical_valid": true,
      "decision": {
        "action": "cool",
        "allowed": true,
        "reasons": [],
        "revision": 3,
        "checked_at": 1,
        "evidence": [
          [
            "reservoir",
            "established",
            0.0,
            "fixture_initial"
          ]
        ]
      }
    },
    {
      "case": "cooling_failed",
      "mode": "report_only",
      "executed": true,
      "warrant_valid": false,
      "physical_valid": false,
      "decision": {
        "action": "cool",
        "allowed": false,
        "reasons": [
          "reservoir:failed"
        ],
        "revision": 3,
        "checked_at": 1,
        "evidence": [
          [
            "reservoir",
            "failed",
            1,
            "fixture_update"
          ]
        ]
      }
    },
    {
      "case": "just_before_expiry",
      "mode": "report_only",
      "executed": true,
      "warrant_valid": true,
      "physical_valid": true,
      "decision": {
        "action": "transfer",
        "allowed": true,
        "reasons": [],
        "revision": 2,
        "checked_at": 4.999,
        "evidence": [
          [
            "allocation",
            "established",
            0.0,
            "fixture_initial"
          ],
          [
            "reservoir",
            "established",
            0.0,
            "fixture_initial"
          ]
        ]
      }
    },
    {
      "case": "exact_expiry",
      "mode": "report_only",
      "executed": true,
      "warrant_valid": false,
      "physical_valid": true,
      "decision": {
        "action": "transfer",
        "allowed": false,
        "reasons": [
          "allocation:stale",
          "reservoir:stale"
        ],
        "revision": 2,
        "checked_at": 5,
        "evidence": [
          [
            "allocation",
            "established",
            0.0,
            "fixture_initial"
          ],
          [
            "reservoir",
            "established",
            0.0,
            "fixture_initial"
          ]
        ]
      }
    },
    {
      "case": "partial_refresh",
      "mode": "report_only",
      "executed": true,
      "warrant_valid": false,
      "physical_valid": true,
      "decision": {
        "action": "transfer",
        "allowed": false,
        "reasons": [
          "allocation:stale"
        ],
        "revision": 3,
        "checked_at": 6,
        "evidence": [
          [
            "allocation",
            "established",
            0.0,
            "fixture_initial"
          ],
          [
            "reservoir",
            "established",
            6,
            "fixture_update"
          ]
        ]
      }
    },
    {
      "case": "hidden_physical_failure",
      "mode": "report_only",
      "executed": true,
      "warrant_valid": true,
      "physical_valid": false,
      "decision": {
        "action": "transfer",
        "allowed": true,
        "reasons": [],
        "revision": 2,
        "checked_at": 1,
        "evidence": [
          [
            "allocation",
            "established",
            0.0,
            "fixture_initial"
          ],
          [
            "reservoir",
            "established",
            0.0,
            "fixture_initial"
          ]
        ]
      }
    },
    {
      "case": "fresh_reestablished_point_condition",
      "mode": "report_only",
      "executed": true,
      "warrant_valid": true,
      "physical_valid": true,
      "decision": {
        "action": "transfer",
        "allowed": true,
        "reasons": [],
        "revision": 4,
        "checked_at": 6,
        "evidence": [
          [
            "allocation",
            "established",
            6,
            "fixture_update"
          ],
          [
            "reservoir",
            "established",
            6,
            "fixture_update"
          ]
        ]
      }
    },
    {
      "case": "valid_transfer",
      "mode": "live_gate",
      "executed": true,
      "warrant_valid": true,
      "physical_valid": true,
      "decision": {
        "action": "transfer",
        "allowed": true,
        "reasons": [],
        "revision": 2,
        "checked_at": 1,
        "evidence": [
          [
            "allocation",
            "established",
            0.0,
            "fixture_initial"
          ],
          [
            "reservoir",
            "established",
            0.0,
            "fixture_initial"
          ]
        ]
      }
    },
    {
      "case": "allocation_revoked",
      "mode": "live_gate",
      "executed": false,
      "warrant_valid": false,
      "physical_valid": false,
      "decision": {
        "action": "transfer",
        "allowed": false,
        "reasons": [
          "allocation:failed"
        ],
        "revision": 3,
        "checked_at": 1,
        "evidence": [
          [
            "allocation",
            "failed",
            1,
            "fixture_update"
          ],
          [
            "reservoir",
            "established",
            0.0,
            "fixture_initial"
          ]
        ]
      }
    },
    {
      "case": "allocation_unknown",
      "mode": "live_gate",
      "executed": false,
      "warrant_valid": false,
      "physical_valid": true,
      "decision": {
        "action": "transfer",
        "allowed": false,
        "reasons": [
          "allocation:unknown"
        ],
        "revision": 3,
        "checked_at": 1,
        "evidence": [
          [
            "allocation",
            "unknown",
            1,
            "fixture_update"
          ],
          [
            "reservoir",
            "established",
            0.0,
            "fixture_initial"
          ]
        ]
      }
    },
    {
      "case": "both_stale",
      "mode": "live_gate",
      "executed": false,
      "warrant_valid": false,
      "physical_valid": true,
      "decision": {
        "action": "transfer",
        "allowed": false,
        "reasons": [
          "allocation:stale",
          "reservoir:stale"
        ],
        "revision": 2,
        "checked_at": 6,
        "evidence": [
          [
            "allocation",
            "established",
            0.0,
            "fixture_initial"
          ],
          [
            "reservoir",
            "established",
            0.0,
            "fixture_initial"
          ]
        ]
      }
    },
    {
      "case": "allocation_missing",
      "mode": "live_gate",
      "executed": false,
      "warrant_valid": false,
      "physical_valid": true,
      "decision": {
        "action": "transfer",
        "allowed": false,
        "reasons": [
          "allocation:missing"
        ],
        "revision": 1,
        "checked_at": 1,
        "evidence": [
          [
            "reservoir",
            "established",
            0.0,
            "fixture_initial"
          ]
        ]
      }
    },
    {
      "case": "cooling_preserved",
      "mode": "live_gate",
      "executed": true,
      "warrant_valid": true,
      "physical_valid": true,
      "decision": {
        "action": "cool",
        "allowed": true,
        "reasons": [],
        "revision": 3,
        "checked_at": 1,
        "evidence": [
          [
            "reservoir",
            "established",
            0.0,
            "fixture_initial"
          ]
        ]
      }
    },
    {
      "case": "cooling_failed",
      "mode": "live_gate",
      "executed": false,
      "warrant_valid": false,
      "physical_valid": false,
      "decision": {
        "action": "cool",
        "allowed": false,
        "reasons": [
          "reservoir:failed"
        ],
        "revision": 3,
        "checked_at": 1,
        "evidence": [
          [
            "reservoir",
            "failed",
            1,
            "fixture_update"
          ]
        ]
      }
    },
    {
      "case": "just_before_expiry",
      "mode": "live_gate",
      "executed": true,
      "warrant_valid": true,
      "physical_valid": true,
      "decision": {
        "action": "transfer",
        "allowed": true,
        "reasons": [],
        "revision": 2,
        "checked_at": 4.999,
        "evidence": [
          [
            "allocation",
            "established",
            0.0,
            "fixture_initial"
          ],
          [
            "reservoir",
            "established",
            0.0,
            "fixture_initial"
          ]
        ]
      }
    },
    {
      "case": "exact_expiry",
      "mode": "live_gate",
      "executed": false,
      "warrant_valid": false,
      "physical_valid": true,
      "decision": {
        "action": "transfer",
        "allowed": false,
        "reasons": [
          "allocation:stale",
          "reservoir:stale"
        ],
        "revision": 2,
        "checked_at": 5,
        "evidence": [
          [
            "allocation",
            "established",
            0.0,
            "fixture_initial"
          ],
          [
            "reservoir",
            "established",
            0.0,
            "fixture_initial"
          ]
        ]
      }
    },
    {
      "case": "partial_refresh",
      "mode": "live_gate",
      "executed": false,
      "warrant_valid": false,
      "physical_valid": true,
      "decision": {
        "action": "transfer",
        "allowed": false,
        "reasons": [
          "allocation:stale"
        ],
        "revision": 3,
        "checked_at": 6,
        "evidence": [
          [
            "allocation",
            "established",
            0.0,
            "fixture_initial"
          ],
          [
            "reservoir",
            "established",
            6,
            "fixture_update"
          ]
        ]
      }
    },
    {
      "case": "hidden_physical_failure",
      "mode": "live_gate",
      "executed": true,
      "warrant_valid": true,
      "physical_valid": false,
      "decision": {
        "action": "transfer",
        "allowed": true,
        "reasons": [],
        "revision": 2,
        "checked_at": 1,
        "evidence": [
          [
            "allocation",
            "established",
            0.0,
            "fixture_initial"
          ],
          [
            "reservoir",
            "established",
            0.0,
            "fixture_initial"
          ]
        ]
      }
    },
    {
      "case": "fresh_reestablished_point_condition",
      "mode": "live_gate",
      "executed": true,
      "warrant_valid": true,
      "physical_valid": true,
      "decision": {
        "action": "transfer",
        "allowed": true,
        "reasons": [],
        "revision": 4,
        "checked_at": 6,
        "evidence": [
          [
            "allocation",
            "established",
            6,
            "fixture_update"
          ],
          [
            "reservoir",
            "established",
            6,
            "fixture_update"
          ]
        ]
      }
    }
  ]
}
