{
  "authority_path": [
    "demos.deductive_entailment_authority.authority.validate_payload",
    "demos.deductive_entailment_authority.authority.enforce_atom_budget",
    "generate.proof_chain.entail.evaluate_entailment_with_trace",
    "evals.deductive_logic.oracle.oracle_entailment"
  ],
  "decision": null,
  "decision_reason": "out_of_regime_or_malformed",
  "engine_pin": "97a230949016e38d5e3f37a69e4245b320575ee70e5af92ff7607f7b05f74b5f",
  "entailment_trace": {
    "conjunction_key": "0:every_human_is_mortal?T:F",
    "entailment_check_key": null,
    "outcome": "refused",
    "premise_keys": [
      "0:every_human_is_mortal?T:F"
    ],
    "query_key": null,
    "reason": "out_of_regime_or_malformed",
    "refutation_check_key": null
  },
  "invalid_reason": null,
  "oracle_agreement": true,
  "oracle_verdict": "refused",
  "proposer_ignored_fields": [],
  "refusal_reason": "out_of_regime_or_malformed",
  "request_id": "demo-dea-e5",
  "scenario_id": "refused-out-of-regime-formula",
  "status": "refused",
  "tool": "deductive_entailment_authority",
  "trace_hash": "0d4fd1d1e1c7da5822d75d12494d6f386205c470e3444367e93ce4943f352bbc",
  "trace_summary": {
    "authority_evaluated": true,
    "defensive_refusal": false,
    "distinct_atom_budget": 12,
    "distinct_atom_estimate": 4,
    "engine_outcome": "refused",
    "engine_reason": "out_of_regime_or_malformed",
    "oracle_agreement": true,
    "oracle_verdict": "refused",
    "premise_count": 1,
    "proposer_fields_ignored": [],
    "regime_gate": null
  }
}
