{
  "checker": {
    "claims": [
      {
        "claim": "The application is written in Rust.",
        "command": "<guest-path> --schema request",
        "evidence": "\"title\": \"OpRequest\",\n  \"description\": \"A request to do something to files. All paths must be absolute.\",\n  \"oneOf\": [\n    {\n      \"description\": \"Copy items into a folder. Symlinks are copied as symlinks.\",\n      \"type\": \"object\",\n      \"properties\": {\n        \"conflict\": {\n          \"description\": \"What to do when a name already exists in the destination.\",\n          \"$ref\": \"#/$defs/ConflictPolicy\",\n          \"default\": \"skip\"\n        },\n        \"destination\": {\n          \"type\": \"string\"\n        },\n        \"op\": {\n          \"type\": \"string\",\n          \"const\": \"copy\"\n        },\n        \"so",
        "expected": "JSON schema titled OpRequest",
        "input": "rada --schema request",
        "kind": "claim",
        "outcome": "Real input produced the expected result: \"title\": \"OpRequest\"",
        "returncode": 0,
        "source": "rada is written in Rust and driven by keyboard or mouse.",
        "source_checked": true,
        "source_file": "README.md",
        "verdict": "yes"
      }
    ],
    "cycle_checks": [
      {
        "claim": "Scheduled or looping main behavior",
        "command": "",
        "evidence": "Inspected README, usage, and binary entry point; rada performs user-triggered file operations and exposes no scheduling or recurring cycle trigger.",
        "expected": "identify the product trigger",
        "input": "source inspection",
        "kind": "cycle",
        "outcome": "Inspected README, usage, and binary entry point; rada performs user-triggered file operations and exposes no scheduling or recurring cycle trigger.",
        "source": "repository entry points",
        "verdict": "yes"
      }
    ],
    "details": {
      "argv": [
        "<guest-path>",
        "--schema",
        "request"
      ],
      "kind": "cli",
      "needs_browser": false,
      "needs_credentials": false,
      "returncode": 0,
      "scope": "product operation",
      "stderr": "",
      "stdout": "\n        \"conflict\": {\n          \"$ref\": \"#/$defs/ConflictPolicy\",\n          \"default\": \"skip\"\n        },\n        \"destination\": {\n          \"type\": \"string\"\n        },\n        \"op\": {\n          \"type\": \"string\",\n          \"const\": \"move\"\n        },\n[excerpt truncated]",
      "working": true
    },
    "evidence_strength": "readme_checked",
    "example_checks": [
      {
        "claim": "Print JSON Schema for requests",
        "command": "<guest-path> --schema request",
        "deferred": false,
        "evidence": "{\n              \"type\": \"string\",\n              \"const\": \"set\"\n            },\n            \"tags\": {\n              \"type\": \"array\",\n              \"items\": {\n                \"$ref\": \"#/$defs/Tag\"\n              }\n            }\n          },\n          \"required\": [\n            \"how\",\n            \"tags\"\n          ]\n        }\n      ]\n    },\n    \"TagColor\": {\n      \"description\": \"The Finder's colours, as the menu lists them.\",\n      \"type\": \"string\",\n      \"enum\": [\n        \"red\",\n        \"orange\",\n        \"yellow\",\n        \"green\",\n        \"blue\",\n        \"purple\",\n        \"gray\"\n      ]\n    }\n  }\n}",
        "expected": "schema output with OpRequest title",
        "input": "request schema",
        "kind": "example",
        "outcome": "command completed successfully",
        "returncode": 0,
        "source": "README.md, Requests as data",
        "verdict": "yes"
      }
    ],
    "status": "PASS"
  },
  "deviations": [
    "Initial system Rust was 1.75, below required 1.90; installed supported Rust 1.90 in the guest."
  ],
  "fault_owner": null,
  "main_blocker": null,
  "operation": "Build rada and print its request JSON Schema",
  "operation_scope": "Local Linux build using the documented Rust source workflow; Rust 1.90 installed in the guest",
  "outcome": "working",
  "plain_failure": null,
  "steps": [
    "Installed Rust 1.90 with the README-referenced rustup installer.",
    "Ran cargo build -p rada --locked.",
    "Ran target/debug/rada --schema request; it printed the OpRequest JSON Schema.",
    "Validated and replayed probe, claim, example, and cycle evidence successfully."
  ],
  "stuck_step": null,
  "suggested_fix": null
}