{
  "profile": "rethinking-agents/local-run-receipt/0.1",
  "evidence_status": "Fictional, NOT RUN; documentation example, not lab input",
  "task_id": "DEMO-read-review",
  "run_id": "DEMO-run-17",
  "attempt_id": "DEMO-attempt-1",
  "authorized_postcondition": "Identify the incompatible setting in a synthetic configuration; no edit required",
  "no_op_permitted": true,
  "adapter": { "name": "fixture-adapter", "version": "1", "effective_route": "local-only" },
  "worker_claim": "Review completed; no edit needed",
  "exit_code": 0,
  "outcome": "no_op",
  "effect_state": "none",
  "postcondition_verified": true,
  "capture_complete": true,
  "evidence": [
    { "id": "DEMO-check-1", "plane": "independent_checker", "claim": "Answer matches the requested synthetic configuration snapshot" },
    { "id": "DEMO-inventory-1", "plane": "supervisor", "claim": "No retained workloads within the fixture boundary" }
  ],
  "effects": [],
  "workloads": [],
  "workload_inventory_complete": true,
  "cost": { "state": "settled", "unit": "synthetic units", "settled": 0, "reserved": 0 },
  "scheduler_decision": "advance",
  "decision_reason": "Independent postcondition satisfied; no-op is permitted; fixture coverage complete",
  "next_action_owner": "DEMO-scheduler"
}