{
  "f1_ok_direct.json":         { "as_of": "2026-08-16T17:00:00Z", "verdicts": [] },
  "f2_ok_derived.json":        { "as_of": "2026-10-04T16:00:00Z", "verdicts": ["EXPIRED_CLAIM", "EXPIRED_COUPLING"] },
  "f3_invisible_contract.json":{ "as_of": "2026-10-04T16:00:00Z", "verdicts": ["INVISIBLE_CONTRACT"] },
  "f4_missing_denominator.json":{ "as_of": "2026-10-02T00:00:00Z", "verdicts": ["MISSING_DENOMINATOR"] },
  "f5_expired_claim.json":     { "as_of": "2026-10-04T16:00:00Z", "verdicts": ["EXPIRED_CLAIM"] },
  "f6_unit_inflation.json":    { "as_of": "2026-10-03T00:00:00Z", "verdicts": ["UNIT_SCOPE_INFLATION"] },
  "f7_bound_violation.json":   { "as_of": "2026-10-05T00:00:00Z", "verdicts": ["BOUND_VIOLATION"] },
  "f8_bound_undeclared.json":  { "as_of": "2026-10-05T00:00:00Z", "verdicts": ["BOUND_UNDECLARED"] },
  "f9_ok_bounded.json":        { "as_of": "2026-10-05T00:00:00Z", "verdicts": [] },
  "f10_remediation_undeclared.json": { "as_of": "2026-10-05T00:00:00Z", "verdicts": ["REMEDIATION_UNDECLARED"] },
  "f11_ok_v12.json":           { "as_of": "2026-10-05T00:00:00Z", "verdicts": [] },
  "f17_channel_undeclared.json": { "as_of": "2026-10-05T12:00:00Z", "verdicts": ["CHANNEL_UNDECLARED"] },
  "f18_ok_v13.json":           { "as_of": "2026-10-05T12:00:00Z", "verdicts": [] },
  "sets": {
    "set1": {
      "as_of": "2026-10-05T12:00:00Z",
      "verdicts": {
        "f12_breached_overdue.json":     ["BOUND_VIOLATION", "REMEDIATION_OVERDUE"],
        "f13_dependent.json":            ["DEPENDENCY_BREACHED"],
        "f14_dangling_supersede.json":   ["SUPERSEDE_DANGLING"],
        "f15_breached_remediated.json":  ["BOUND_VIOLATION"],
        "f16_superseder.json":           []
      }
    }
  }
}
