{
  "checker": {
    "claims": [
      {
        "claim": "The tool is an offline synthetic contract-testing tool",
        "command": "node src/cli.mjs scenario fixtures/scenario-denial.json",
        "evidence": "\u2026\"status\": \"PASS\",\n  \"scenario\": \"access-boundaries\",\n  \"checks\": 11,\n  \"actualFinal\": {\n    \"allowed\": 2,\n    \"denied\": 9,\n    \"reads\": 1,\n    \"writes\": 1,\n    \"notes\": 1\n  },\n  \"mismatches\": [],\n  \"steps\": [\n    {\n      \"step\": 1,\n      \"decision\": \"DENY\",\n      \"reason\": \"OWNER_MISMATCH\",\n      \"effect\": \"NONE\",\n      \"outcome\": \"SUCCESS\"\n    },\n    {\n      \"step\": 2,\n      \"decision\": \"DENY\",\n      \"reason\": \"AUDIENCE_MISMATCH\",\n      \"effect\": \"NONE\",\n      \"outcome\": \"SUCCESS\"\n    },\n    {\n      \"step\": 3,\n      \"decision\": \"DENY\",\n      \"reason\": \"INSUFFICIENT_SCOPE\",\n      \"effect\": \"NO",
        "expected": "PASS",
        "input": "fixtures/scenario-denial.json",
        "kind": "claim",
        "outcome": "Real input produced the expected result: \"status\": \"PASS\"",
        "returncode": 0,
        "source": "This is an **offline synthetic contract-testing tool**",
        "source_checked": true,
        "source_file": "README.md",
        "verdict": "yes"
      }
    ],
    "cycle_checks": [
      {
        "claim": "Scheduled or looping main behavior",
        "command": "",
        "evidence": "Inspected README entrypoints and package scripts; the documented operations are one-shot CLI contract checks, with no scheduler or recurring cycle.",
        "expected": "identify the product trigger",
        "input": "source inspection",
        "kind": "cycle",
        "outcome": "Inspected README entrypoints and package scripts; the documented operations are one-shot CLI contract checks, with no scheduler or recurring cycle.",
        "source": "repository entry points",
        "verdict": "yes"
      }
    ],
    "details": {
      "argv": [
        "node",
        "src/cli.mjs",
        "scenario",
        "fixtures/scenario-denial.json"
      ],
      "kind": "cli",
      "needs_browser": false,
      "needs_credentials": false,
      "returncode": 0,
      "scope": "product operation",
      "stderr": "",
      "stdout": "{\n  \"status\": \"PASS\",\n  \"scenario\": \"access-boundaries\",\n  \"checks\": 11,\n  \"actualFinal\": {\n    \"allowed\": 2,\n    \"denied\": 9,\n    \"reads\": 1,\n    \"writes\": 1,\n    \"notes\": 1\n  },\n  \"mismatches\": [],\n[excerpt truncated]",
      "working": true
    },
    "evidence_strength": "readme_checked",
    "example_checks": [
      {
        "claim": "Quickstart scenario run",
        "command": "node src/cli.mjs scenario fixtures/scenario-denial.json",
        "deferred": false,
        "evidence": "n\": \"DENY\",\n      \"reason\": \"APPROVAL_REQUIRED\",\n      \"effect\": \"NONE\",\n      \"outcome\": \"SUCCESS\"\n    },\n    {\n      \"step\": 10,\n      \"decision\": \"ALLOW\",\n      \"reason\": \"AUTHORIZED\",\n      \"effect\": \"WRITE\",\n      \"outcome\": \"SUCCESS\"\n    },\n    {\n      \"step\": 11,\n      \"decision\": \"ALLOW\",\n      \"reason\": \"AUTHORIZED\",\n      \"effect\": \"READ\",\n      \"outcome\": \"SUCCESS\"\n    }\n  ],\n  \"reportSchemaVersion\": 1,\n  \"command\": \"scenario\",\n  \"exitCode\": 0,\n  \"summary\": {\n    \"failureCount\": 0,\n    \"reportedFindings\": 0,\n    \"findingsTruncated\": false,\n    \"ruleCodes\": []\n  },\n  \"guidance\": []\n}",
        "expected": "PASS",
        "input": "fixtures/scenario-denial.json",
        "kind": "example",
        "outcome": "command completed successfully",
        "returncode": 0,
        "source": "README.md / Quickstart",
        "verdict": "yes"
      }
    ],
    "status": "PASS"
  },
  "deviations": [
    "None"
  ],
  "fault_owner": null,
  "main_blocker": null,
  "operation": "Run synthetic scenario contract check",
  "operation_scope": "README Quickstart scenario fixture; Node.js >=20 prerequisite",
  "outcome": "working",
  "plain_failure": null,
  "steps": [
    "Read README Quickstart and confirmed Node.js 22.23.4 satisfies the >=20 requirement",
    "Ran node src/cli.mjs scenario fixtures/scenario-denial.json; output reported PASS with 11 checks",
    "Saved probe, exact README claim, example and cycle assessment",
    "Validated and replayed evidence with the coldpass checker"
  ],
  "stuck_step": null,
  "suggested_fix": null
}