{
  "tool": "deductive_entailment_authority",
  "expected_status": "refused",
  "arguments": {
    "request_id": "demo-dea-e5",
    "scenario_id": "refused-out-of-regime-formula",
    "premises": [
      "every_human_is_mortal"
    ],
    "claim": "forall x. mortal(x)",
    "proposer": {
      "lane": "frontier_fixture",
      "model_family": "model_style_proposer",
      "proposal_id": "proposal-e5"
    }
  }
}
