{
  "checker": {
    "claims": [
      {
        "claim": "Subtyping is set inclusion: bool is a subtype of int",
        "command": "uv run --no-sync --group examples python scripts/run_doc_examples.py",
        "evidence": "checked 214 example(s), 0 failed\n",
        "expected": "True, checked by the README example runner",
        "input": "Validator(bool).is_subtype_of(int)",
        "kind": "claim",
        "outcome": "Real input produced the expected result: checked 214 example(s), 0 failed",
        "returncode": 0,
        "source": "assert Validator(bool).is_subtype_of(int)  # subtyping is set inclusion",
        "source_checked": true,
        "source_file": "README.md",
        "verdict": "yes"
      },
      {
        "claim": "load parses the JSON and returns the value",
        "command": "uv run --no-sync --group examples python scripts/run_doc_examples.py",
        "evidence": "checked 214 example(s), 0 failed\n",
        "expected": "[1, 2, 3], checked by the README example runner",
        "input": "[1, 2, 3]",
        "kind": "claim",
        "outcome": "Real input produced the expected result: checked 214 example(s), 0 failed",
        "returncode": 0,
        "source": "assert Validator(list[int]).load(\"[1, 2, 3]\") == [1, 2, 3]  # and keep the value",
        "source_checked": true,
        "source_file": "README.md",
        "verdict": "yes"
      }
    ],
    "cycle_checks": [
      {
        "claim": "Scheduled or looping main behavior",
        "command": "",
        "evidence": "Entry points inspected (pyproject.toml has no [project.scripts], no server, no scheduler, no --once/--now or webhook in README or docs). valgebra is a Python library imported by user code; there is no product cycle to trigger.",
        "expected": "identify the product trigger",
        "input": "source inspection",
        "kind": "cycle",
        "outcome": "Entry points inspected (pyproject.toml has no [project.scripts], no server, no scheduler, no --once/--now or webhook in README or docs). valgebra is a Python library imported by user code; there is no product cycle to trigger.",
        "source": "repository entry points",
        "verdict": "yes"
      }
    ],
    "details": {
      "argv": [
        "uv",
        "run",
        "--no-sync",
        "--group",
        "examples",
        "python",
        "scripts/run_doc_examples.py"
      ],
      "kind": "cli",
      "needs_browser": false,
      "needs_credentials": false,
      "returncode": 0,
      "scope": "product operation",
      "stderr": "",
      "stdout": "checked 214 example(s), 0 failed",
      "working": true
    },
    "evidence_strength": "readme_checked",
    "example_checks": [
      {
        "claim": "Every runnable Python example in README.md and docs/ executes cleanly against the built extension",
        "command": "uv run --no-sync --group examples python scripts/run_doc_examples.py",
        "deferred": false,
        "evidence": "checked 214 example(s), 0 failed",
        "expected": "checked 214 example(s), 0 failed",
        "input": "none",
        "kind": "example",
        "outcome": "command completed successfully",
        "returncode": 0,
        "source": "CONTRIBUTING.md (doc examples run)",
        "verdict": "yes"
      }
    ],
    "status": "PASS"
  },
  "deviations": [
    "Installed rustup stable (1.99.1) into /tmp/rustup-home and /tmp/cargo-home with the rustup-init script; system cargo 1.75.0 is below the README MSRV 1.88, so the build could not use it.",
    "No product CLI/MCP/HTTP entry point exists, so the probe, claims and example run the documented repo example runner (scripts/run_doc_examples.py) that executes the README's Python blocks. This is partial evidence, not a direct product command.",
    "Claims cite README lines whose code is checked by that runner, not by a standalone invocation of each line.",
    "Cycles: no scheduler or webhook exists, so detected=false."
  ],
  "fault_owner": null,
  "main_blocker": null,
  "operation": "Build valgebra from source per README 'Install' and run its documented Python examples (README + docs) through the repo's documented runner",
  "operation_scope": "Python library only (no CLI, server, or MCP entry point). Prerequisites: Python 3.12 (>=3.10 required), uv, stable Rust (MSRV 1.88, edition 2024). Guest has Ubuntu 24.04 and passwordless sudo.",
  "outcome": "working",
  "plain_failure": null,
  "steps": [
    "uv sync",
    "uv run --no-sync maturin develop --uv",
    "uv sync --group examples",
    "uv run --no-sync --group examples python scripts/run_doc_examples.py  (CONTRIBUTING.md 'doc examples run')"
  ],
  "stuck_step": null,
  "suggested_fix": "None for the build. Optional: provide a product CLI or runnable quickstart so a direct probe can exercise the library without the repo runner."
}