{
  "run_id": "plimsollmark--plimsoll-claude-haiku-5-5-1793145239219658611",
  "checker": {
    "claims": [
      {
        "claim": "The minimal example runs without a daemon, Docker, credentials or network",
        "command": "go run ./examples/minimal",
        "evidence": "\"Sales\":20300000,\"Operations\":9800000}\n",
        "expected": "JSON totals per department printed by the sandboxed snippet",
        "input": "go run ./examples/minimal with SANDBOX_PROVIDER=wasm",
        "kind": "claim",
        "outcome": "Real input produced the expected result: \"Sales\":20300000",
        "returncode": 0,
        "source": "The example's execution needs no daemon, Docker, credentials or outbound network.",
        "source_checked": true,
        "source_file": "README.md",
        "verdict": "yes"
      },
      {
        "claim": "The example explicitly selects a provider",
        "command": "go run ./examples/minimal",
        "evidence": "provider   wasm\nisolation  process\nexit code  0\ntimed out  false\ntruncated  stdout=false stderr=false\nduration   359ms\nstdout     {\"Engineering\":59000000,\"Sales\":20300000,\"Operations\":9800000}\n",
        "expected": "provider line reports wasm",
        "input": "go run ./examples/minimal with SANDBOX_PROVIDER=wasm",
        "kind": "claim",
        "outcome": "Real input produced the expected result: provider   wasm",
        "returncode": 0,
        "source": "The example explicitly selects a provider.",
        "source_checked": true,
        "source_file": "README.md",
        "verdict": "yes"
      }
    ],
    "cycle_checks": [
      {
        "claim": "Scheduled or looping main behavior",
        "command": "",
        "evidence": "README has no cron, schedule, --once, --now or webhook behaviour. The only loop found is cmd/plimsolld/main.go (time.NewTicker(time.Minute), ~line 658), a daemon-internal isolation re-check that logs only on a failed preflight; the wasm Preflight returns nil so a successful cycle has no observable output. The README quickstart does not start plimsolld, so no cycle was triggered.",
        "expected": "identify the product trigger",
        "input": "source inspection",
        "kind": "cycle",
        "outcome": "README has no cron, schedule, --once, --now or webhook behaviour. The only loop found is cmd/plimsolld/main.go (time.NewTicker(time.Minute), ~line 658), a daemon-internal isolation re-check that logs only on a failed preflight; the wasm Preflight returns nil so a successful cycle has no observable output. The README quickstart does not start plimsolld, so no cycle was triggered.",
        "source": "repository entry points",
        "verdict": "yes"
      }
    ],
    "details": {
      "argv": [
        "go",
        "run",
        "./examples/minimal"
      ],
      "kind": "cli",
      "needs_browser": false,
      "needs_credentials": false,
      "returncode": 0,
      "scope": "product operation",
      "stderr": "",
      "stdout": "provider   wasm\nisolation  process\nexit code  0\ntimed out  false\ntruncated  stdout=false stderr=false\nduration   354ms\nstdout     {\"Engineering\":59000000,\"Sales\":20300000,\"Operations\":9800000}",
      "working": true
    },
    "evidence_strength": "readme_checked",
    "example_checks": [
      {
        "claim": "Quickstart: run the minimal sandbox example with the wasm provider",
        "command": "go run ./examples/minimal",
        "deferred": false,
        "evidence": "provider   wasm\nisolation  process\nexit code  0\ntimed out  false\ntruncated  stdout=false stderr=false\nduration   346ms\nstdout     {\"Engineering\":59000000,\"Sales\":20300000,\"Operations\":9800000}",
        "expected": "provider wasm, isolation process, exit code 0, stdout with department totals",
        "input": "SANDBOX_PROVIDER=wasm go run ./examples/minimal",
        "kind": "example",
        "outcome": "command completed successfully",
        "returncode": 0,
        "source": "README.md#run-something-locally",
        "verdict": "yes"
      }
    ],
    "status": "PASS"
  },
  "diagnosis": null
}