{
  "evidence_level": "E0",
  "status": "synthetic exercise only",
  "seed_set": "expiry-demo-v1",
  "configurations": [
    {
      "configuration": "sparse-example-oracle",
      "clean_controls": 2,
      "caught": 2,
      "total": 4,
      "catch_rate": 0.5,
      "outcomes": [
        {
          "seed_id": "expiry-off-by-one",
          "category": "boundary",
          "caught": false,
          "known_defect_witness": {
            "age_seconds": 30,
            "expected_expired": true
          }
        },
        {
          "seed_id": "always-valid",
          "category": "invariant",
          "caught": true,
          "known_defect_witness": {
            "age_seconds": 31,
            "expected_expired": true
          }
        },
        {
          "seed_id": "early-expiry",
          "category": "boundary",
          "caught": true,
          "known_defect_witness": {
            "age_seconds": 29,
            "expected_expired": false
          }
        },
        {
          "seed_id": "long-age-wraparound",
          "category": "long-horizon",
          "caught": false,
          "known_defect_witness": {
            "age_seconds": 3600,
            "expected_expired": true
          }
        }
      ]
    },
    {
      "configuration": "boundary-oracle",
      "clean_controls": 4,
      "caught": 3,
      "total": 4,
      "catch_rate": 0.75,
      "outcomes": [
        {
          "seed_id": "expiry-off-by-one",
          "category": "boundary",
          "caught": true,
          "known_defect_witness": {
            "age_seconds": 30,
            "expected_expired": true
          }
        },
        {
          "seed_id": "always-valid",
          "category": "invariant",
          "caught": true,
          "known_defect_witness": {
            "age_seconds": 31,
            "expected_expired": true
          }
        },
        {
          "seed_id": "early-expiry",
          "category": "boundary",
          "caught": true,
          "known_defect_witness": {
            "age_seconds": 29,
            "expected_expired": false
          }
        },
        {
          "seed_id": "long-age-wraparound",
          "category": "long-horizon",
          "caught": false,
          "known_defect_witness": {
            "age_seconds": 3600,
            "expected_expired": true
          }
        }
      ]
    }
  ],
  "limits": "Hand-constructed narrow functions; not representative defect sampling, statistical independence, a production verifier benchmark, or permission to gate releases. The surviving wraparound seed exposes absent long-age tests."
}