{
  "status": "PASS",
  "evidence_class": "synthetic_deterministic",
  "formula": "D/(10+A) \u2264 5",
  "interval_results": {
    "D45": "SUPPORTED_PASS",
    "D60": "UNRESOLVED",
    "D70": "SUPPORTED_FAIL",
    "D60_A2": "SUPPORTED_PASS"
  },
  "boundary_checks": {
    "D45_threshold_A": -1.0,
    "D60_threshold_A": 2.0,
    "D70_threshold_A": 4.0,
    "D60_at_A2": "PASS",
    "D60_below_A2": "FAIL",
    "D60_above_A2": "PASS"
  },
  "monotonicity": "ratio decreases as A increases for positive denominator; boundary debt increases 5 EURm per 1 EURm A",
  "outputs": [
    "figures/F2_decision_identifiability.png",
    "figures/F2_decision_identifiability.svg"
  ],
  "exclusions": [
    "no empirical frequency",
    "no probability",
    "no legal compliance",
    "no EOJI performance"
  ]
}