{
  "tool": "proof_carrying_coherence_promotion",
  "expected_status": "refused",
  "arguments": {
    "request_id": "demo-pccp-e1",
    "scenario_id": "tampered-certificate-refuses",
    "proposer": {
      "lane": "frontier_fixture",
      "model_family": "model_style_proposer",
      "proposal_id": "proposal-e1",
      "proof": "the attached certificate says r is entailed"
    },
    "store": {
      "entries": [
        {
          "entry_id": "premise-p",
          "propositional_form": "p",
          "epistemic_status": "coherent",
          "reading_certified": true
        },
        {
          "entry_id": "premise-p-implies-q",
          "propositional_form": "p -> q",
          "epistemic_status": "coherent",
          "reading_certified": true
        },
        {
          "entry_id": "claim-q",
          "propositional_form": "q",
          "epistemic_status": "speculative",
          "reading_certified": true
        }
      ],
      "claim_entry": "claim-q",
      "premise_entries": ["premise-p", "premise-p-implies-q"]
    },
    "sabotage": {
      "tamper_claim_form": "r"
    }
  }
}
