coldpass

sugarsweetrobotics/idl_parser

GitHub ↗ · How this check works

Per-setup public labels: Linux / Haiku: Works · Linux / Luna: Works

Static status badge · SVG · read-only JSON. Embed with ![Coldpass status](https://coldpass.dev/badge/sugarsweetrobotics--idl_parser.svg).

other

Works

The recorded run passed on 2 setups.

Answers apply to each recorded setup, revision and operation. Earlier observations remain in Run details.

Tested on Linux
PlatformHaikuLuna
Linuxyesyes

Linux / Haiku 5.5: yes · Oct 28, 2026 · 84ddf4339138 · claude-code / 2.1.310 (Claude Code)
Recorded operation: python3 examples/union_example.py

Linux / Luna: yes · Oct 28, 2026 · 84ddf4339138 · codex / codex-cli 0.164.0
Recorded operation: /tmp/idl-venv/bin/python examples/example.py

Does what it says
1 of 1 claims checked out
  • The example parses an IDL module and displays its interface.: Real input produced the expected result: interface my_module::Calculator

    Source: Run them with e.g. `python examples/union_example.py` (in a source checkout no install is needed).

    Input: examples/example.py

    Expected: interface my_module::Calculator

    Command: /tmp/idl-venv/bin/python examples/example.py

    Observed: interface my_module::Calculator long add(in long a, in long b) void reset() boolean divide(in double a, in double b, out double result)

MCP
No
Local or hosted
local
Local: runs on your machine
Needs keys or browser
None seen
Maintained
Maintained
actively maintained: last commit 0 days ago; 193 commits and 85 merged PRs in 90 days; 1 open issues, 0 open PRs; latest release 2026-10-28

Last commit Oct 27, 2026

Setup time
1 min 14 s
1 min 14 s to a working result
Issue
none found in recorded check
Examples
1 of 1 ran as expected
  • Run the smallest documented example: command completed successfully

    Source: README.md Example

    Input: examples/example.py

    Expected: Calculator interface summary

    Command: /tmp/idl-venv/bin/python examples/example.py

    Observed: interface my_module::Calculator long add(in long a, in long b) void reset() boolean divide(in double a, in double b, out double result)

Evidence
README behavior checked
Agent interfaces
CLI
CLI

Observed interfaces were exercised by the checker. Documentation alone does not confirm compatibility.

Tested with
Codex / Luna
  • Linux: Codex / Luna · agent codex-cli 0.164.0 · Checked operation passed · Oct 28, 2026 on 84ddf4339138

Each entry describes its recorded operation and source revision.

Safety
No unexpected network or file activity found in these checks

No problems traced to this repository code in these checks; a short run cannot prove safety.

Reviewed as expected for a test run: attempted writes that failed, so nothing was written.

Full event, path and process lists for each observed setup:

Run details

Haiku 5.5

Native agent · Checked operation passed

Checked operation python3 examples/union_example.py

Agent-reported scope: Parse OMG IDL files with idl_parser and print the parsed modules, interfaces, unions and structs via the README's documented example scripts

Run details
run
sugarsweetrobotics--idl_parser-claude-haiku-5-5-1793171962179109724
date
Oct 28, 2026
time to working
68.1s
product hosting / execution
Local command in the guest
recorded operation scope
product operation
model
claude-haiku-5-5
agent / version
claude-code / 2.1.310 (Claude Code)
platform
linux
reported cost
$0.009426
Recorded source
https://github.com/sugarsweetrobotics/idl_parser
Backend
hyperv
Tool transport
mcp-assigned-vm
Requested source pin (not an observed revision)
{"commit": "84ddf43391382521e765729858bf704e2c579215", "url": "https://github.com/sugarsweetrobotics/idl_parser"}
Test version
readme-a0d0e27a4d0fd4c50903587087c25799260ee2578ee1953a6356df3e4fd02c35
revision
84ddf43391382521e765729858bf704e2c579215
Whose fault: not assigned · resolved

Safety: No problems traced to this repository code in these checks.

No problems traced to this repository code in these checks.

Reviewed as expected for a test run: attempted writes that failed, so nothing was written.

OSV scanned supported lockfiles; unpinned dependencies and unsupported formats are outside this check.

A short run cannot establish that code is safe.

Connections show IP addresses; proxies can hide the final hostname.

Tracing covers dispatched commands and their children, not the whole OS; guest root can interfere with tracing.

Full safety evidence →

Answers recorded for this run
  • Examples run from a source checkout with the checkout's idl_parser and print the parsed union types: Real input produced the expected result: unions in module shapes

    Source: Run them with e.g. `python examples/union_example.py` (in a source checkout no install is needed).

    Input: examples/union_example.py

    Expected: prints unions in module shapes

    Command: python3 examples/union_example.py

    Observed: unions in module shapes: ['Shape', 'Value', 'Reading', 'OptionalDouble'] union shapes::Shape switch (ShapeKind) case CIRCLE -> radius: primitive double case RECTANGLE -> rect: struct shapes::Rect (members: top_left, width, height) case POLYGON -> vertices: typedef shapes::PointSeq = sequence of Point2D case POINT -> point: struct shapes::Point2D (members: x, y) union shapes::Value switch (long) case -1, 0 -> error_message: primitive string case 1 -> integer_value: primitive long long case 2 -> matrix: array double [3][3] default -> raw_points: typedef shapes::PointSeq = seque

  • example.py is the smallest example: it parses a module and an interface: Real input produced the expected result: interface my_module::Calculator

    Source: | [`example.py`](examples/example.py) | the smallest example: a module and an interface |

    Input: examples/example.py

    Expected: prints interface my_module::Calculator

    Command: python3 examples/example.py

    Observed: interface my_module::Calculator long add(in long a, in long b) void reset() boolean divide(in double a, in double b, out double result)

Examples

  • Run the smallest documented example from a source checkout: command completed successfully

    Source: README.md / examples/example.py

    Input: examples/example.py

    Expected: interface my_module::Calculator printed

    Command: python3 examples/example.py

    Observed: interface my_module::Calculator long add(in long a, in long b) void reset() boolean divide(in double a, in double b, out double result)

  • Run the struct example from the README examples table: command completed successfully

    Source: README.md examples table (struct_example.py)

    Input: examples/struct_example.py

    Expected: structs listed for my_module

    Command: python3 examples/struct_example.py

    Observed: structs in my_module: ['Time', 'Pose', 'Odometry'] struct my_module::Time sec long nsec long struct my_module::Pose position array double [3] orientation array double [4] struct my_module::Odometry stamp struct my_module::Time frame_id string pose struct my_module::Pose covariance sequence of double Odometry.stamp members: [('sec', 'long'), ('nsec', 'long')]

Local or hosted: local

What the agent did

Parse OMG IDL files with idl_parser and print the parsed modules, interfaces, unions and structs via the README's documented example scripts

cd <guest-path> && ls -la && cat README.md | head -c 6000 && python3 --version
cd <guest-path> && ls -la .coldpass examples && grep -n -i "python" pyproject.toml && ls <guest-path> /inputs 2>&1; python3 -m pip --version; git --version 2>&1 | head -1; cat examples/example.py | head -30
cd <guest-path> && git init -q && git remote add origin https://github.com/sugarsweetrobotics/idl_parser && git fetch --depth 1 origin 84ddf43391382521e765729858bf704e2c579215 2>&1 | tail -3; git reset --mixed FETCH_HEAD 2>&1 | tail -2; git log --oneline -1; git status --short | head -20
cd /tmp && sudo -n pip install idl_parser 2>&1 | tail -5; echo "exit=$?"; python3 -m pip show idl_parser 2>&1 | head -3
sudo -n apt-get -o DPkg::Lock::Timeout=300 install -y python3-venv >/tmp/apt.log 2>&1; echo "exit=$?"; tail -2 /tmp/apt.log; python3 -m venv <guest-path> && <guest-path> install -q idl_parser 2>&1 | tail -3; echo "pip_exit=$?"; <guest-path> show idl_parser | head -2
cd <guest-path> && cat examples/_path.py | head -20; echo ---; python3 examples/example.py; echo "exit=$?"; echo ---; python3 examples/union_example.py | head -20; echo "exit=$?"
cd <guest-path> && sed -n 1,60p pyproject.toml | grep -n -A3 -i "scripts\|dependencies"; ls idl_parser docs; ls .github/workflows && grep -n "run:" -A2 .github/workflows/*.yml | head -40
cd <guest-path> && grep -rn -i "cron\|--once\|webhook\|schedule\|while True\|sched" --include=*.py --include=*.md --include=*.toml --include=*.rst idl_parser README.md docs pyproject.toml | head; echo "grep_exit=$?"; python3 examples/struct_example.py | head -3; echo "exit=$?"; grep -n "Run them with e.g." README.md; grep -n "the smallest example" README.md
cd <guest-path> && cat > claims.json <<'EOF'
[
  {"kind":"claim","claim":"Examples run from a source checkout with the checkout's idl_parser and print the parsed union types","source":"Run them with e.g. `python examples/union_example.py` (in a source checkout no install is needed).","input":"examples/union_example.py","expected":"prints unions in module shapes","probe_kind":"cli","argv":["python3","examples/union_example.py"],"expected_text":"unions in module shapes","cwd":"<guest-path>"},
  {"kind":"claim","claim":"example.py is the smallest example: it parses a module and an interface","source":"| [`example.py`](examples/example.py) | the smallest example: a module and an interface |","input":"examples/example.py","expected":"prints interface my_module::Calculator","probe_kind":"cli","argv":["python3","examples/example.py"],"expected_text":"interface my_module::Calculator","cwd":"<guest-path>"}
]
EOF
cat > probe.json <<'EOF'
{"kind":"cli","argv":["python3","examples/union_example.py"],"cwd":"<guest-path>","expected_text":"unions in module shapes"}
EOF
cat > examples.json <<'EOF'
[
  {"kind":"example","claim":"Run the smallest documented example from a source checkout","source":"README.md / examples/example.py","input":"examples/example.py","expected":"interface my_module::Calculator printed","argv":["python3","examples/example.py"],"cwd":"<guest-path>","env":{},"expected_text":"interface my_module::Calculator"},
  {"kind":"example","claim":"Run the struct example from the README examples table","source":"README.md examples table (struct_example.py)","input":"examples/struct_example.py","expected":"structs listed for my_module","argv":["python3","examples/struct_example.py"],"cwd":"<guest-path>","env":{},"expected_text":"structs in my_module"}
]
EOF
cat > cycles.json <<'EOF'
{"detected":false,"checks":[],"reason":"Inspected README.md, pyproject.toml, docs/, examples/ and idl_parser/ sources. idl_parser is a parsing library with no cron, scheduler, loop-driven service, webhook, or --once/--now entry point; the only while True loops are parser iteration in enum.py, interface.py, struct.py, valuetype.py and definitions.py."}
EOF
cd .. && for f in .coldpass/*.json; do python3 -I -c 'import json,sys; json.load(open(sys.argv[1])); print("ok", sys.argv[1])' "$f"; done
cd <guest-path> && cat > report.json <<'EOF'
{"outcome":"working","fault_owner":null,"operation":"Parse OMG IDL files with idl_parser and print the parsed modules, interfaces, unions and structs via the README's documented example scripts","operation_scope":"Python 3.12.3 on Ubuntu (WSL2). Run from the pinned source checkout (84ddf43391382521e765729858bf704e2c579215) with no install, per README. A PyPI install (idl_parser 0.6.1, in <guest-path>) was also done per the README 'How to install' step. No MCP server, HTTP service or browser is involved.","steps":["git init; git remote add origin https://github.com/sugarsweetrobotics/idl_parser; git fetch --depth 1 origin 84ddf43391382521e765729858bf704e2c579215; git reset --mixed FETCH_HEAD","sudo -n pip install idl_parser (README 'How to install') -> blocked by PEP 668 externally-managed-environment error on Ubuntu 24.04","sudo -n apt-get -o DPkg::Lock::Timeout=300 install -y python3-venv; python3 -m venv <guest-path>; <guest-path> install idl_parser","python3 examples/example.py","python3 examples/union_example.py","python3 examples/struct_example.py"],"deviations":["README 'sudo pip install idl_parser' failed under PEP 668 (externally-managed-environment) on the system Python; worked around by installing python3-venv via apt and installing into a venv at <guest-path>","The venv install pulled idl_parser 0.6.1 from PyPI, which is not the pinned commit; the examples were run from the pinned checkout (examples/_path.py prefers the checkout package), so the checkout code is what was exercised.","No CLI or MCP entry point exists, so probe and claims are cli runs of the README's documented example scripts instead of MCP tool calls.","The sphinx docs build and unittest suite from CI were not run as evidence; they are not README commands."],"stuck_step":null,"main_blocker":null,"plain_failure":null,"suggested_fix":"Make the README install step work on PEP 668 systems (e.g. document a venv or pipx install), and document that examples are run from a checkout."}
EOF
python3 -I -c 'import json; json.load(open("report.json")); print("report ok")'; cd <guest-path> && <env-var>=<guest-path> python3 -I <guest-path> --validate --replay 2>&1 | tail -60
Earlier attempts (1)

Luna

Native agent · Checked operation passed

Checked operation /tmp/idl-venv/bin/python examples/example.py

Agent-reported scope: Parse IDL example

Run details
run
sugarsweetrobotics--idl_parser-gpt-6-luna-1793172101798590337
date
Oct 28, 2026
time to working
74.2s
product hosting / execution
Local command in the guest
recorded operation scope
product operation
model
gpt-6-luna
agent / version
codex / codex-cli 0.164.0
platform
linux
reported cost
not reported (not assumed free)
Recorded source
https://github.com/sugarsweetrobotics/idl_parser
Backend
hyperv
Tool transport
mcp-assigned-vm
Requested source pin (not an observed revision)
{"commit": "84ddf43391382521e765729858bf704e2c579215", "url": "https://github.com/sugarsweetrobotics/idl_parser"}
Test version
readme-aa754f4e5e27cce52510e3f31b42346f17ae7c45ce009399060d7315812d459d
revision
84ddf43391382521e765729858bf704e2c579215
Whose fault: not assigned · pending

Safety: No problems traced to this repository code in these checks.

No problems traced to this repository code in these checks.

Reviewed as expected for a test run: attempted writes that failed, so nothing was written.

OSV scanned supported lockfiles; unpinned dependencies and unsupported formats are outside this check.

A short run cannot establish that code is safe.

Connections show IP addresses; proxies can hide the final hostname.

Tracing covers dispatched commands and their children, not the whole OS; guest root can interfere with tracing.

Full safety evidence →

Answers recorded for this run
  • The example parses an IDL module and displays its interface.: Real input produced the expected result: interface my_module::Calculator

    Source: Run them with e.g. `python examples/union_example.py` (in a source checkout no install is needed).

    Input: examples/example.py

    Expected: interface my_module::Calculator

    Command: /tmp/idl-venv/bin/python examples/example.py

    Observed: interface my_module::Calculator long add(in long a, in long b) void reset() boolean divide(in double a, in double b, out double result)

Examples

  • Run the smallest documented example: command completed successfully

    Source: README.md Example

    Input: examples/example.py

    Expected: Calculator interface summary

    Command: /tmp/idl-venv/bin/python examples/example.py

    Observed: interface my_module::Calculator long add(in long a, in long b) void reset() boolean divide(in double a, in double b, out double result)

Local or hosted: local

What the agent did

Parse IDL example

pwd && rg --files -g 'README*' -g 'pyproject.toml' -g 'setup.py' -g 'requirements*' -g 'package.json' -g 'Makefile' -g '*.yml' -g '*.yaml' | head -80 && git status --short && python3 --version && sed -n '1,240p' README.md
ls -la; find . -maxdepth 3 -type f | head -100; python3 --version
cat README.md; cat pyproject.toml; cat README.rst
python3 -m pip install -e . && python3 examples/example.py
python3 -m venv /tmp/idl-venv && /tmp/idl-venv/bin/pip install -e . && /tmp/idl-venv/bin/python examples/example.py
git init && git remote add origin https://github.com/sugarsweetrobotics/idl_parser && git fetch --depth 1 origin 84ddf43391382521e765729858bf704e2c579215 && git reset --mixed FETCH_HEAD
python3 -m venv /tmp/idl-venv && /tmp/idl-venv/bin/pip install -e . && /tmp/idl-venv/bin/python examples/example.py
mkdir -p .coldpass; cat > .coldpass/probe.json <<'EOF'
{"kind":"cli","argv":["/tmp/idl-venv/bin/python","examples/example.py"],"cwd":"<guest-path>","expected_text":"interface my_module::Calculator"}
EOF
cat > .coldpass/claims.json <<'EOF'
[{"kind":"claim","claim":"The example parses an IDL module and displays its interface.","source":"Run them with e.g. `python examples/union_example.py` (in a source checkout no install is needed).","input":"examples/example.py","expected":"interface my_module::Calculator","probe_kind":"cli","argv":["/tmp/idl-venv/bin/python","examples/example.py"],"expected_text":"interface my_module::Calculator","cwd":"<guest-path>"}]
EOF
cat > .coldpass/examples.json <<'EOF'
[{"kind":"example","claim":"Run the smallest documented example","source":"README.md Example","input":"examples/example.py","expected":"Calculator interface summary","argv":["/tmp/idl-venv/bin/python","examples/example.py"],"cwd":"<guest-path>","expected_text":"interface my_module::Calculator"}]
EOF
cat > .coldpass/cycles.json <<'EOF'
{"detected":false,"checks":[],"reason":"Inspected README examples and package entrypoints; no scheduler, cron loop, webhook, or cycle trigger is documented."}
EOF

<env-var>=<guest-path> python3 -I <guest-path> --validate --replay
cat > .coldpass/report.json <<'EOF'
{"outcome":"working","fault_owner":"null","operation":"Parse IDL example","operation_scope":"Python 3.12.3 virtual environment; README example entrypoint","steps":["Read README and pyproject.toml","Initialized git metadata and fetched pinned commit 84ddf43391382521e765729858bf704e2c579215","Created /tmp/idl-venv and installed editable package","Ran examples/example.py","Validated and replayed probe, README claim and documented example successfully"],"deviations":["Initial system pip install was rejected by externally-managed-environment; used a venv.","Editable install initially lacked git metadata; initialized repository and fetched the supplied pin."],"stuck_step":null,"main_blocker":null,"plain_failure":null,"suggested_fix":null}
EOF