{
  "run_id": "jplauri--modelfill-claude-haiku-5-5-1792348722843982271",
  "checker": {
    "check": "operation",
    "status": "PASS",
    "details": {
      "working": true,
      "argv": [
        "<host-path>",
        "examples/meeting.py"
      ],
      "kind": "cli",
      "returncode": 0,
      "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)",
      "stderr": "",
      "needs_credentials": false,
      "needs_browser": false,
      "scope": "product operation"
    }
  },
  "diagnosis": null
}