{
  "checker": {
    "claims": [
      {
        "claim": "Forward lookup returns coordinates and address detail.",
        "command": "gridpin/target/release/gridpin query /tmp/gridpin-home/v0.4.0/france.bin '1 rue de la Paix Paris' -k 1",
        "evidence": "Rue de la Paix\",\"housenumber\":\"1\",\"commune\":\"Paris 2e Arrondissement\",\"postcode\":\"75002\",\"flags\":[\"street_exact\",\"commune_prefix\",\"house_rep\"]}\n",
        "expected": "Rue de la <email>, 2.33031",
        "input": "1 rue de la Paix Paris",
        "kind": "claim",
        "outcome": "Real input produced the expected result: Rue de la Paix",
        "returncode": 0,
        "source": "$ gridpin query france.bin \"1 rue de la Paix Paris\" -k 3",
        "source_checked": true,
        "source_file": "README.md",
        "verdict": "yes"
      }
    ],
    "cycle_checks": [
      {
        "claim": "Scheduled or looping main behavior",
        "command": "",
        "evidence": "GridPin is a request-driven geocoder; README entry points expose individual queries, and no product scheduler or cycle was found.",
        "expected": "identify the product trigger",
        "input": "source inspection",
        "kind": "cycle",
        "outcome": "GridPin is a request-driven geocoder; README entry points expose individual queries, and no product scheduler or cycle was found.",
        "source": "repository entry points",
        "verdict": "yes"
      }
    ],
    "details": {
      "argv": [
        "gridpin/target/release/gridpin",
        "query",
        "/tmp/gridpin-home/v0.4.0/france.bin",
        "1 rue de la Paix Paris",
        "-k",
        "1"
      ],
      "kind": "cli",
      "needs_browser": false,
      "needs_credentials": false,
      "returncode": 0,
      "scope": "product operation",
      "stderr": "",
      "stdout": "{\"lat\":48.868546,\"lon\":2.33031,\"precision\":\"house\",\"score\":0.08887005,\"confidence\":0.84,\"street\":\"Rue de la Paix\",\"housenumber\":\"1\",\"commune\":\"Paris 2e Arrondissement\",\"postcode\":\"75002\",\"flags\":[\"street_exact\",\"commune_prefix\",\"house_rep\"]}",
      "working": true
    },
    "evidence_strength": "readme_checked",
    "example_checks": [
      {
        "claim": "README CLI forward geocoding quick start",
        "command": "gridpin/target/release/gridpin query /tmp/gridpin-home/v0.4.0/france.bin '1 rue de la Paix Paris' -k 1",
        "deferred": false,
        "evidence": "{\"lat\":48.868546,\"lon\":2.33031,\"precision\":\"house\",\"score\":0.08887005,\"confidence\":0.84,\"street\":\"Rue de la Paix\",\"housenumber\":\"1\",\"commune\":\"Paris 2e Arrondissement\",\"postcode\":\"75002\",\"flags\":[\"street_exact\",\"commune_prefix\",\"house_rep\"]}",
        "expected": "Rue de la Paix coordinates and address details",
        "input": "1 rue de la Paix Paris",
        "kind": "example",
        "outcome": "command completed successfully",
        "returncode": 0,
        "source": "README.md / Quick start / CLI",
        "verdict": "yes"
      }
    ],
    "status": "PASS"
  },
  "deviations": [
    "Initial system Cargo 1.75 failed: lock file version 4 requires -Znext-lockfile-bump; installed stable Rust 1.99.1 and rebuilt successfully"
  ],
  "fault_owner": null,
  "main_blocker": null,
  "operation": "Build the Rust CLI, download the France sheet, and forward-geocode a Paris address",
  "operation_scope": "Python 3.12.3 venv for documented gridpin/gridpin-mcp installation; stable Rust installed in the guest to support the README source-build command",
  "outcome": "working",
  "plain_failure": null,
  "steps": [
    "Read README quick start and install instructions",
    "Installed python3-pip, python3-venv, cargo and rustc with apt",
    "Created /tmp/gridpin-venv and installed gridpin and gridpin-mcp with pip",
    "Ran gridpin-fetch fr and verified the package returned the France sheet path",
    "Installed stable Rust using the rustup installer after system Cargo 1.75 could not parse Cargo.lock format 4",
    "Ran cargo build --release --manifest-path gridpin/Cargo.toml successfully",
    "Ran the README CLI forward query; returned Rue de la Paix, house 1, Paris, lat 48.868546 lon 2.33031",
    "Validated and replayed .coldpass/probe.json, claims.json, examples.json and cycles.json successfully"
  ],
  "stuck_step": null,
  "suggested_fix": null
}