{
  "tokens_out": 6923,
  "outcome": "unsupported",
  "suggested_fix": "Add a CLI or small server entry point (or an MCP wrapper) to up_kairos so the planning operation can be run from argv.",
  "cycle_checks": null,
  "fault": {
    "owner": "prerequisite",
    "status": "diagnosed",
    "reason": "No checker-runnable product command: the README operation is Python API only, and there is no CLI/server/MCP entry point.",
    "evidence": []
  },
  "runtime_revision": null,
  "agent_execution": "native_agent",
  "time_to_working_s": null,
  "usage_complete": true,
  "runtime": null,
  "architecture": null,
  "local_or_hosted": null,
  "agent_interfaces_note": null,
  "platform_details": null,
  "platforms_claimed": null,
  "maintenance": null,
  "evidence_strength": null,
  "purpose": "initial",
  "topic": null,
  "needs_which": null,
  "tested_with": null,
  "native_bundle": null,
  "agent_runtime": "claude-code",
  "maintenance_note": null,
  "runtime_version": null,
  "does_what_it_says": null,
  "commit": "2a4c8dbc6ecd2456e445616d4ef1f311c80e2a52",
  "failure_origin": null,
  "stuck_step": "/bin/bash -c 'o=$(mktemp);e=$(mktemp);/bin/bash -lc \"$1\" </dev/null >\"$o\" 2>\"$e\";c=$?;cat \"$o\";cat \"$e\" >&2;rm -f \"$o\" \"$e\";exit $c' coldpass 'export CDP_URL=http://<internal-ip>:9226; export <env-var>=http://<internal-ip>:9226; export <env-var>=<host-path>; cd <host-path> && cd <host-path> && rm -rf build up_kairos.egg-info && <env-var>=<host-path> python3 -I <host-path> --validate; echo rc=$?; ls -a <host-path>'",
  "repo_url": null,
  "needs": null,
  "checks": [
    {
      "status": "PASS",
      "details": {
        "working": false,
        "argv": [
          "show",
          "up-kairos"
        ],
        "kind": "cli",
        "returncode": 0,
        "stdout": "Name: up-kairos\nVersion: 0.2.1\nSummary: Kairos, a temporal and numeric PDDL planner, as an engine of the Unified Planning Framework\nHome-page: https://github.com/PlanSys2/up-kairos\nAuthor: \nAuthor-email: Francisco Mart\u00edn Rico <<email>>\nLicense-Expression: Apache-2.0\nLocation: <host-path>\nRequires: kairos-planner, unified-planning\nRequired-by: ",
        "stderr": "",
        "needs_credentials": false,
        "needs_browser": false,
        "scope": "partial: install"
      },
      "check": "install",
      "optional": false
    },
    {
      "status": "PASS",
      "details": {
        "working": false,
        "argv": [
          "-I",
          "/tmp/kairos_smoke/smoke.py"
        ],
        "kind": "cli",
        "returncode": 0,
        "stdout": "engines: ['kairos', 'kairos-val']\n[96m[1mNOTE: To disable printing of planning engine credits, add this line to your code: `up.shortcuts.get_environment().credits_stream = None`\n[0m[96m  *** Credits ***\n[0m[96m  * In operation mode `OneshotPlanner` at line 14 of `/tmp/kairos_smoke/smoke.py`, [0m[96myou are using the following planning engine:\n[0m[96m  * Engine name: Kairos\n  * Developers:  Intelligent Robotics Lab, Universidad Rey Juan Carlos\n[0m[96m  * Description: [0m[96mTemporal and numeric PDDL planner (PDDL 2.1-3.1, PDDL+) with proofs of unsolvability.[0m[96m\n[0m[96m\n[0mPlanGenerationResultStatus.SOLVED_SATISFICING SequentialPlan:\n    move(a, b)",
        "stderr": "",
        "needs_credentials": false,
        "needs_browser": false,
        "scope": "partial: start"
      },
      "check": "start",
      "optional": false
    }
  ],
  "open_issues": null,
  "agent_runtime_version": "2.1.300 (Claude Code)",
  "verifies_run_id": null,
  "total_s": 192.85516786575317,
  "license": null,
  "tool_calls": 13,
  "model_version": "claude-haiku-5-5",
  "example_checks": [],
  "mcp": null,
  "other_model": null,
  "first_use_s": null,
  "native_tool_calls": 13,
  "last_commit_at": null,
  "source": "https://github.com/PlanSys2/up-kairos",
  "models_agree": null,
  "maintenance_verdict": null,
  "cost_usd": 0.009022180000000001,
  "safety": null,
  "answered_issues": null,
  "what_failed": null,
  "steps": [
    "cd <host-path> && ls -la && cat README.md 2>/dev/null | head -300",
    "cat <host-path> 2>/dev/null | head -50; ls <host-path> 2>/dev/null; echo \"CDP=$CDP_URL $<env-var>\"; which node npm python3 uv pip3 2>&1",
    "cd <host-path> && cat pyproject.toml && ls .github/workflows && cat .github/workflows/*.yml | head -120 && ls up_kairos tests && python3 --version && (python3 -m pip --version; python3 -m venv --help >/dev/null && echo venv_ok)",
    "export DEBIAN_FRONTEND=noninteractive; (apt-get update -qq && apt-get install -y -qq python3-venv python3-pip) >/tmp/apt.log 2>&1; echo apt=$?; python3 -m venv <host-path> && <host-path> install -q --upgrade pip && cd <host-path> && <host-path> install -q \".[test]\" 2>&1 | tail -20; echo pip=$?; <host-path> show up-kairos unified-planning kairos-planner 2>&1 | grep -E '^(Name|Version)'",
    "export DEBIAN_FRONTEND=noninteractive; id -u; (sudo -n true 2>/dev/null && echo sudo_ok); apt-get update 2>&1 | tail -3; apt-get install -y python3.12-venv python3-pip 2>&1 | tail -5; echo apt=$?",
    "export DEBIAN_FRONTEND=noninteractive; sudo apt-get update -qq >/tmp/apt.log 2>&1; sudo apt-get install -y -qq python3.12-venv python3-pip >>/tmp/apt.log 2>&1; echo apt=$?; tail -3 /tmp/apt.log; rm -rf <host-path>; python3 -m venv <host-path> && <host-path> install -q --upgrade pip && cd <host-path> && <host-path> install -q \".[test]\" 2>&1 | tail -20; echo pip=$?; <host-path> show up-kairos unified-planning kairos-planner 2>&1 | grep -E '^(Name|Version)'",
    "cd <host-path> && cat up_kairos/__init__.py | head -60; grep -n \"argparse\\|__main__\\|console_scripts\\|scripts\" -r up_kairos pyproject.toml | head; ls <host-path> | grep -i kairos",
    "cd <host-path> && grep -n \"'checks'\\|\\\"checks\\\"\\|def validate\\|'check'\\|\\\"check\\\"\\|'kind'\\|needs_browser\\|stays_running\" check.py | head -60",
    "cd <host-path> && sed -n 505,535p check.py; grep -n \"def agent_written\" -A8 check.py | head -15",
    "mkdir -p /tmp/kairos_smoke && cd /tmp/kairos_smoke && cat > smoke.py <<'EOF'\nimport up_kairos\nfrom unified_planning.shortcuts import *\nfrom unified_planning.environment import get_environment\nup_kairos.register()\nprint(\"engines:\", [e for e in get_environment().factory.engines if e.startswith(\"kairos\")])\nLoc = UserType(\"Loc\")\nat = Fluent(\"at\", BoolType(), l=Loc)\na, b = Object(\"a\", Loc), Object(\"b\", Loc)\nmove = InstantaneousAction(\"move\", l_from=Loc, l_to=Loc)\nlf, lt = move.parameter(\"l_from\"), move.parameter(\"l_to\")\nmove.add_precondition(at(lf)); move.add_effect(at(lf), False); move.add_effect(at(lt), True)\np = Problem(\"p\"); p.add_fluent(at, default_initial_value=False); p.add_action(move)\np.add_object(a); p.add_object(b); p.set_initial_value(at(a), True); p.add_goal(at(b))\nwith OneshotPlanner(name=\"kairos\") as planner:\n    result = planner.solve(p, timeout=10)\n    print(result.status, result.plan)\nEOF\n<host-path> -I smoke.py 2>&1 | tail -15; echo rc=$?",
    "cd <host-path> && mkdir -p .coldpass && cat > .coldpass/probe.json <<'EOF'\n{\"checks\":[\n {\"check\":\"install\",\"kind\":\"cli\",\"argv\":[\"<host-path>\",\"show\",\"up-kairos\"],\"cwd\":\"<host-path>\",\"expected_text\":\"Name: up-kairos\"},\n {\"check\":\"start\",\"kind\":\"cli\",\"argv\":[\"<host-path>\",\"-m\",\"up_kairos\"],\"cwd\":\"/tmp\",\"expected_text\":\"x\"}\n]}\nEOF\ncat > .coldpass/report.json <<'EOF'\n{\"outcome\":\"unsupported\",\n \"operation\":\"Python API from README: up_kairos.register() then OneshotPlanner(name=\\\"kairos\\\").solve(problem) on a 2-location move problem; verified manually, returned SOLVED_SATISFICING with plan move(a, b).\",\n \"operation_scope\":\"Library only. The product has no CLI, server, or MCP entry point, and the README's only runnable command is pip install. The planning call is Python code, so the checker can only record partial evidence (install, start). Not exercised by checker: solve through a checker-accepted command.\",\n \"steps\":[\"apt-get install python3.12-venv python3-pip (via sudo)\",\"python3 -m venv <host-path>\",\"<host-path> install -q \\\".[test]\\\" in <host-path> (installed up-kairos 0.2.1, unified-planning 1.3.0, kairos-planner 1.0.4)\",\"<host-path> -I /tmp/kairos_smoke/smoke.py (README OneshotPlanner example, verified)\"],\n \"deviations\":[\"README: pip install up-kairos. Guest has no pip, and the venv needed python3.12-venv. Ran apt via sudo, then installed into a venv, and installed from the pinned checkout with [test] extras.\",\"Did not run pytest (full unit suite excluded by task instructions).\"],\n \"stuck_step\":null,\n \"main_blocker\":\"No checker-runnable product command: the README operation is Python API only, and there is no CLI/server/MCP entry point.\",\n \"suggested_fix\":\"Add a CLI or small server entry point (or an MCP wrapper) to up_kairos so the planning operation can be run from argv.\"}\nEOF\npython3 -m json.tool .coldpass/probe.json >/dev/null && python3 -m json.tool .coldpass/report.json >/dev/null && echo json_ok; <env-var>=<host-path> python3 -I <host-path> --validate; echo rc=$?",
    "cd <host-path> && cat > .coldpass/probe.json <<'EOF'\n{\"checks\":[\n {\"check\":\"install\",\"kind\":\"cli\",\"argv\":[\"<host-path>\",\"show\",\"up-kairos\"],\"cwd\":\"/tmp\",\"expected_text\":\"Name: up-kairos\"},\n {\"check\":\"start\",\"kind\":\"cli\",\"argv\":[\"<host-path>\",\"-I\",\"/tmp/kairos_smoke/smoke.py\"],\"cwd\":\"/tmp\",\"expected_text\":\"SOLVED_SATISFICING\"}\n]}\nEOF\ncd /tmp && <host-path> show up-kairos | head -2; <host-path> -I /tmp/kairos_smoke/smoke.py 2>&1 | grep -c SOLVED_SATISFICING; cd <host-path> && <env-var>=<host-path> python3 -I <host-path> --validate; ls <host-path>; git -C <host-path> status --short 2>/dev/null; ls -la <host-path>",
    "cd <host-path> && rm -rf build up_kairos.egg-info && <env-var>=<host-path> python3 -I <host-path> --validate; echo rc=$?; ls -a <host-path>"
  ],
  "platform_conflicts": null,
  "claims_note": null,
  "maintained_note": null,
  "repo": "PlanSys2/up-kairos",
  "service_tier": null,
  "maintained": null,
  "source_pin": null,
  "operation_scope": "partial checks",
  "reasoning": "low",
  "claims": [],
  "platform": "linux",
  "cost_to_try": null,
  "backend": null,
  "tool_transport": "mcp-assigned-vm",
  "hardware": null,
  "agent_interface": null,
  "profile": {
    "model": "claude-haiku-5-5",
    "reasoning": "low"
  },
  "date": "2026-10-18T17:42:42.995270+00:00",
  "kind": "repo",
  "resources": {
    "cpus": 2,
    "memory_mib": 4096,
    "disk_mib": 32768
  },
  "error_excerpt": "No checker-runnable product command: the README operation is Python API only, and there is no CLI/server/MCP entry point.",
  "pass": null,
  "evidence_version": null,
  "source_revision": null,
  "run_id": "PlanSys2--up-kairos-claude-haiku-5-5-1792345170140090025",
  "last_release_at": null,
  "furthest_model": null,
  "model": "claude-haiku-5-5",
  "what_it_did": "Python API from README: up_kairos.register() then OneshotPlanner(name=\"kairos\").solve(problem) on a 2-location move problem; verified manually, returned SOLVED_SATISFICING with plan move(a, b).",
  "sandbox_source": null,
  "other_run_id": null,
  "hosting": null,
  "tested_commit": null,
  "guest_setup": null,
  "mcp_context": null,
  "agent_interfaces": [],
  "setup_identity": null,
  "works": null,
  "install_s": null,
  "fix_id": null,
  "tokens_in": 197209,
  "tested_at": null,
  "test_version": "readme-50129ada4255164f0ea15af10e5fd3b6478bb717aeea9ab520723f8597db9e85",
  "recovery": {
    "source": "legacy-oct16-18",
    "original_run_id": "PlanSys2--up-kairos-claude-haiku-5-5-1792345170140090025",
    "historical": true,
    "ledger_sha256": "c5e6a833c182c1e2aecf69d0bd0020aec63c65d98f3e933e4b32232340312736"
  },
  "transcript_url": "/transcripts/PlanSys2--up-kairos-claude-haiku-5-5-1792345170140090025.txt",
  "report_url": "/reports/PlanSys2--up-kairos-claude-haiku-5-5-1792345170140090025.json"
}
