coldpass

cure-lang/cure-lang

GitHub ↗ · How this check works

Per-setup public labels: Linux / Haiku: Works

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

Works

Only older checks are saved; no current product test.

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

Tested on Linux
PlatformHaikuLuna
Linuxyes

Linux / Haiku 5.5: yes · Oct 17, 2026 · 8ec5fdfea6d9 · claude-code / 2.1.300 (Claude Code)
Recorded operation: ./cure check /tmp/cure-smoke/src/hello.cure

Needs keys or browser
None seen
Setup time
1 min 14 s to install
Issue
none found in recorded check

Safety: no observations were recorded for the selected revision. Functional results do not establish a safety result.

Repair history and test corrections
Run details

Haiku 5.5

Native agent · Checked operation passed

Checked operation ./cure check /tmp/cure-smoke/src/hello.cure

Agent-reported scope: Build the Cure compiler from source (README 'Building': mix deps.get, mix compile) and run the documented compile/check operation (README 'Usage' / 'cure compile') on a small module, then run it to confirm output (double(21)=42).

Run details
run
cure-lang--cure-lang-claude-haiku-5-5-1792244307390695707
date
Oct 17, 2026
time to working
785.4s
product hosting / execution
Local command in the guest
recorded operation scope
product operation
model
claude-haiku-5-5
agent / version
claude-code / 2.1.300 (Claude Code)
platform
linux
reported cost
$0.010200
Recorded source
https://github.com/cure-lang/cure-lang
Tool transport
mcp-assigned-vm
Test version
readme-0ba1bd83ee992e5266da14bd927c1b522fe2316cb76209abff7d5896636bdaef
revision
8ec5fdfea6d9a5544957a1427788085b8e85ccbd
Whose fault: not assigned · resolved

What the agent did

Build the Cure compiler from source (README 'Building': mix deps.get, mix compile) and run the documented compile/check operation (README 'Usage' / 'cure compile') on a small module, then run it to confirm output (double(21)=42).

apt-get install erlang-base erlang-dev elixir git make gcc unzip (yielded Elixir 1.14/OTP 24, insufficient)
Downloaded OTP-29.1.2 and Elixir v1.20.4-otp-29 from builds.hex.pm; installed to /opt/otp29 and /opt/elixir
mix local.hex --force; mix local.rebar --force
mix deps.get
mix compile (80 modules; escript 'cure' built at /workspace/cure)
./cure --help; ./cure check /tmp/cure-smoke/src/hello.cure; ./cure compile /tmp/cure-smoke/src/hello.cure; erl eval Cure.Hello.double(21)

run JSON · checker evidence · agent report + check · transcript excerpt · error excerpt

No product verdict. Run record.