{
  "checker": {
    "details": {
      "argv": [
        "<host-path>",
        "examples/meeting.py"
      ],
      "kind": "cli",
      "needs_browser": false,
      "needs_credentials": false,
      "returncode": 0,
      "scope": "product operation",
      "stderr": "",
      "stdout": "start=8 end=9 duration=1\n[Meeting(start=8, end=9, duration=1), Meeting(start=8, end=10, duration=2), Meeting(start=8, end=11, duration=3), Meeting(start=8, end=12, duration=4), Meeting(start=9, end=10, duration=1)]\n{'model': 'Meeting', 'mode': 'strict', 'fields': {'start': {'type': 'int', 'choices': None, 'default': 'generated'}, 'end': {'type': 'int', 'choices': None, 'default': 'generated'}, 'duration': {'type': 'int', 'choices': None, 'default': 'generated'}}, 'validators': [{'name': 'check', 'status': 'modeled', 'detail': 'pure rejection validator'}], 'unsupported': [], 'validator_constraints_active': True, 'can_prove_unsat': True, 'unsat_requires_explicit_fields': [], 'max_attempts': 100, 'work_limit_per_check': 1000000, 'timeout_ms_per_check': 1000}\nProven impossible: Meeting: start=17, duration=4 conflict with end <= 18, Meeting.check (line 15)",
      "working": true
    },
    "status": "PASS"
  },
  "deviations": [
    "README does not list uv installation; guest lacked uv and python3-venv, so installed python3-venv via apt and uv via pip into /tmp/uvtool."
  ],
  "main_blocker": null,
  "operation": "Ran the README example `uv run python examples/meeting.py` (modelfill Meeting model): fill() solves backwards, batch(), explain(), and proves an impossible input unsatisfiable.",
  "operation_scope": "Core library only; no external services, credentials or browser needed. Hypothesis extra and full test/lint suites intentionally not run.",
  "outcome": "working",
  "steps": [
    "Read README.md (Install, Quickstart, Development sections)",
    "Installed uv 0.13.1 via a venv at /tmp/uvtool, symlinked to /usr/local/bin/uv",
    "uv sync in <host-path> (installed modelfill 0.4.0, pydantic 2.14.1, z3-solver 4.16.0.0)",
    "uv run python examples/meeting.py (exit 0, printed 'Proven impossible: ...')"
  ],
  "stuck_step": null,
  "suggested_fix": null
}