[
  {
    "scenario": "clean-verdict-is-progress",
    "tool_result": {
      "round": 1,
      "verdict": {
        "status": "complete",
        "integrity": "clean",
        "contract": "aligned",
        "evidence_only": false,
        "downgraded": false,
        "downgrade_reasons": [],
        "workspace_mutated": false,
        "changed_paths": [],
        "evidence_gaps": []
      },
      "task_state": "artifact.txt verified.",
      "missing": [],
      "evidence": [
        "artifact.txt exists with the expected content"
      ],
      "verifier_provider": "spawn",
      "scope": "C:\\Users\\81521\\.dsh\\projects\\dsh-verified-progress\\verify\\scratch-RBzOSS\\s1-ws-O7E9GZ (workspace root)",
      "summary": "Round 1: COMPLETE (integrity: clean, contract: aligned)\nRecorded as VERIFIED PROGRESS.\nFingerprinted: C:\\Users\\81521\\.dsh\\projects\\dsh-verified-progress\\verify\\scratch-RBzOSS\\s1-ws-O7E9GZ (workspace root)\nWorkspace: workspace unchanged"
    },
    "ledger": "{\"schemaVersion\":1,\"eventId\":\"s-probe-session:000001\",\"ts\":1791554038880,\"type\":\"event\",\"event\":\"verify_started\",\"round\":1,\"claim\":\"artifact.txt exists\",\"workspace\":\"C:\\\\Users\\\\81521\\\\.dsh\\\\projects\\\\dsh-verified-progress\\\\verify\\\\scratch-RBzOSS\\\\s1-ws-O7E9GZ\",\"scope\":\"C:\\\\Users\\\\81521\\\\.dsh\\\\projects\\\\dsh-verified-progress\\\\verify\\\\scratch-RBzOSS\\\\s1-ws-O7E9GZ\",\"scopeNote\":\"C:\\\\Users\\\\81521\\\\.dsh\\\\projects\\\\dsh-verified-progress\\\\verify\\\\scratch-RBzOSS\\\\s1-ws-O7E9GZ (workspace root)\"}\n{\"schemaVersion\":1,\"eventId\":\"s-probe-session:000002\",\"ts\":1791554038897,\"type\":\"round\",\"round\":1,\"claim\":\"artifact.txt exists\",\"note\":\"\",\"acceptance\":\"artifact.txt contains done\",\"verdict\":\"complete\",\"integrity\":\"clean\",\"contract\":\"aligned\",\"downgraded\":false,\"downgradeReasons\":[],\"evidence\":[\"artifact.txt exists with the expected content\"],\"missing\":[],\"taskState\":\"artifact.txt verified.\",\"changedPaths\":[],\"evidenceGaps\":[],\"verifierProvider\":\"spawn\",\"verifierError\":\"\",\"workspaceMutated\":false,\"guardScope\":\"C:\\\\Users\\\\81521\\\\.dsh\\\\projects\\\\dsh-verified-progress\\\\verify\\\\scratch-RBzOSS\\\\s1-ws-O7E9GZ (workspace root)\"}\n"
  },
  {
    "scenario": "positive-control-mutation-voids-verdict",
    "tool_result": {
      "round": 1,
      "verdict": {
        "status": "blocked",
        "integrity": "violation",
        "contract": "unknown",
        "evidence_only": true,
        "downgraded": false,
        "downgrade_reasons": [
          "verifier changed workspace files during a read-only audit; its findings are void",
          "integrity reported as violation"
        ],
        "workspace_mutated": true,
        "changed_paths": [
          "app.js"
        ],
        "evidence_gaps": []
      },
      "task_state": "",
      "missing": [],
      "evidence": [],
      "verifier_provider": "spawn",
      "scope": "C:\\Users\\81521\\.dsh\\projects\\dsh-verified-progress\\verify\\scratch-RBzOSS\\s2-ws-2E8FHi (workspace root)",
      "summary": "Round 1: BLOCKED (integrity: violation, contract: unknown)\nRecorded as EVIDENCE ONLY — this claim is not progress and must not be counted as done.\nFingerprinted: C:\\Users\\81521\\.dsh\\projects\\dsh-verified-progress\\verify\\scratch-RBzOSS\\s2-ws-2E8FHi (workspace root)\nWorkspace: workspace mutated (~1)"
    },
    "ledger": "{\"schemaVersion\":1,\"eventId\":\"s-probe-session:000001\",\"ts\":1791554038919,\"type\":\"event\",\"event\":\"verify_started\",\"round\":1,\"claim\":\"app.js exports a = 1\",\"workspace\":\"C:\\\\Users\\\\81521\\\\.dsh\\\\projects\\\\dsh-verified-progress\\\\verify\\\\scratch-RBzOSS\\\\s2-ws-2E8FHi\",\"scope\":\"C:\\\\Users\\\\81521\\\\.dsh\\\\projects\\\\dsh-verified-progress\\\\verify\\\\scratch-RBzOSS\\\\s2-ws-2E8FHi\",\"scopeNote\":\"C:\\\\Users\\\\81521\\\\.dsh\\\\projects\\\\dsh-verified-progress\\\\verify\\\\scratch-RBzOSS\\\\s2-ws-2E8FHi (workspace root)\"}\n{\"schemaVersion\":1,\"eventId\":\"s-probe-session:000002\",\"ts\":1791554038935,\"type\":\"round\",\"round\":1,\"claim\":\"app.js exports a = 1\",\"note\":\"\",\"acceptance\":\"\",\"verdict\":\"blocked\",\"integrity\":\"violation\",\"contract\":\"unknown\",\"downgraded\":false,\"downgradeReasons\":[\"verifier changed workspace files during a read-only audit; its findings are void\",\"integrity reported as violation\"],\"evidence\":[],\"missing\":[],\"taskState\":\"\",\"changedPaths\":[\"app.js\"],\"evidenceGaps\":[],\"verifierProvider\":\"spawn\",\"verifierError\":\"\",\"workspaceMutated\":true,\"guardScope\":\"C:\\\\Users\\\\81521\\\\.dsh\\\\projects\\\\dsh-verified-progress\\\\verify\\\\scratch-RBzOSS\\\\s2-ws-2E8FHi (workspace root)\"}\n"
  },
  {
    "scenario": "scoped-guard-ignores-outside-churn-catches-inside-edits",
    "tool_result": {
      "round": 1,
      "verdict": {
        "status": "blocked",
        "integrity": "violation",
        "contract": "unknown",
        "evidence_only": true,
        "downgraded": false,
        "downgrade_reasons": [
          "verifier changed workspace files during a read-only audit; its findings are void",
          "integrity reported as violation"
        ],
        "workspace_mutated": true,
        "changed_paths": [
          "app.js"
        ],
        "evidence_gaps": []
      },
      "task_state": "",
      "missing": [],
      "evidence": [],
      "verifier_provider": "spawn",
      "scope": "C:\\Users\\81521\\.dsh\\projects\\dsh-verified-progress\\verify\\scratch-RBzOSS\\s4-ws-KfFzlQ\\src",
      "summary": "Round 1: BLOCKED (integrity: violation, contract: unknown)\nRecorded as EVIDENCE ONLY — this claim is not progress and must not be counted as done.\nFingerprinted: C:\\Users\\81521\\.dsh\\projects\\dsh-verified-progress\\verify\\scratch-RBzOSS\\s4-ws-KfFzlQ\\src\nWorkspace: workspace mutated (~1)"
    }
  },
  {
    "scenario": "ledger-survives-a-fresh-context",
    "tool_result": {
      "run_id": "s-probe-session",
      "rounds": 1,
      "verified_rounds": [
        1
      ],
      "rejected_rounds": [],
      "next_round": 2,
      "task_state": "",
      "open_items": [],
      "warnings": [],
      "entries": [
        {
          "round": 1,
          "verdict": "complete",
          "integrity": "clean",
          "contract": "aligned",
          "claim": "step one",
          "note": "",
          "missing": [],
          "task_state": ""
        }
      ],
      "summary": "Run s-probe-session: 1 verified round(s), 0 rejected.\nVerified state: (nothing verified yet)"
    }
  }
]