{
  "run_id": "gridpin--gridpin-gpt-6-luna-1792780270049141118",
  "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"
  },
  "diagnosis": null
}