{
  "tool": "deductive_entailment_authority",
  "expected_status": "decided",
  "arguments": {
    "request_id": "demo-dea-e7",
    "scenario_id": "proposer-wrong-refuted",
    "premises": [
      "fuse_intact -> lamp_lit",
      "~lamp_lit"
    ],
    "claim": "fuse_intact",
    "proposer": {
      "lane": "frontier_fixture",
      "model_family": "model_style_proposer",
      "proposal_id": "proposal-e7",
      "verdict": "entailed",
      "confidence": "1.0",
      "proof": "the lamp is lit, so the fuse must be intact",
      "trace_hash": "ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff",
      "engine_pin": "0000000000000000000000000000000000000000000000000000000000000000"
    }
  }
}
