CrocSwap/integer-mult-bounds

Per-setup public labels: Linux / Haiku: Works

Static status badge · SVG · read-only JSON. Embed with ![Coldpass status](https://coldpass.dev/badge/CrocSwap--integer-mult-bounds.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
Platform	Haiku	Luna
Linux	yes

Linux / Haiku 5.5: yes · Oct 17, 2026 · 997e6a9ca7b4 · claude-code / 2.1.300 (Claude Code)
Recorded operation: make selected-record-check

Needs keys or browser: None seen
Setup time: 1 min 43 s to install, 4 s to first use
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

Current diagnosis: unknown · resolved

Source archive and original-copy/JSONL manifest now live on VM disk /var/tmp, not the187484KiB /run tmpfs. Streamed source digest/copy/inventory use actual disk capacity and original remaining attempt deadline. Expired exact-owned teardown now queues new capacity wait; no fresh-target lease failure. Shared resource wait defers before native/model calls.

Repair record fix-cae49e0c180ba7ed9ad5 · current status JSON. Original run outcomes remain unchanged.

Failed run: CrocSwap/integer-mult-bounds · Oct 16, 2026 · Our test failed; no repo verdict.

Test-repair rerun: CrocSwap/integer-mult-bounds · Oct 16, 2026 · Not tested.

Current diagnosis: unknown · resolved

Coldpass condensed instruction text introduced newline controls rejected by the existing job schema before any model call. Job construction now normalizes instructional whitespace once, including repair context; exact original failure remains immutable. Default/repair schema regression passes.

Repair record fix-d8e01d5a8fb1b8cee260 · current status JSON. Original run outcomes remain unchanged.

Failed run: CrocSwap/integer-mult-bounds · Oct 16, 2026 · Our test failed; no repo verdict.

Test-repair rerun: CrocSwap/integer-mult-bounds · Oct 16, 2026 · Not tested.

Run details

Haiku 5.5

Native agent · Checked operation passed

Checked operation make selected-record-check

Agent-reported scope: make selected-record-check (README 'Current reviewed result' section; runs scripts/verify_selected_result.py), which validates the selected exponent kappa = 836330098538459/500000000000000000, the original source inventory and the proof supplement. Output: PASS.

Run details

run: CrocSwap--integer-mult-bounds-claude-haiku-5-5-1792221454174921503
date: Oct 17, 2026
time to working: 433.0s
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.005103
Recorded source: https://github.com/CrocSwap/integer-mult-bounds
Tool transport: mcp-assigned-vm
Test version: readme-d3659cd3f9210dfa5802d1e6a3b243d7ad5e3fc7dc58d619be334de899f21e50
revision: 997e6a9ca7b4f95d50e366f61412fd640d72a88a

Whose fault: not assigned · resolved

Agent report + check · CrocSwap--integer-mult-bounds-claude-haiku-5-5-1792221454174921503

What the agent did

make selected-record-check (README 'Current reviewed result' section; runs scripts/verify_selected_result.py), which validates the selected exponent kappa = 836330098538459/500000000000000000, the original source inventory and the proof supplement. Output: PASS.

apt-get install -y build-essential libboost-dev python3-pip python3-venv
python3 -m venv /tmp/venv && /tmp/venv/bin/pip install numpy sympy scipy (installed numpy 2.5.4, sympy 1.14.0, scipy 1.18.1; pip log showed a disk-full logging error but imports succeeded)
make selected-record-check -> PASS (rc=0); also verified with system python3 (rc=0)

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

Earlier attempts (1)

Haiku 5.5

Native agent · Not tested

Checked operation /workspace/.venv/bin/python -B scripts/verify_selected_result.py

Agent-reported scope: Fast selected-record admission check: scripts/verify_selected_result.py binds the published selection (kappa = 836330098538459/500000000000000000) to its frozen finite certificate, original source inventory and proof supplement. Output: PASS.

Run details

run: CrocSwap--integer-mult-bounds-claude-haiku-5-5-1792199180530697611
date: Oct 16, 2026
time to working: 324.5s
product hosting / execution: Local command in the guest
recorded operation scope: Only the fast record-binding check (the stated first step of make frontier1094-verify, selected-record-check). It does not replay the construction; the full frontier1094 replay, make verify, and the other verify-* quickstart targets were not run because the smoke task forbids suite runs. No browser, credentials, or git-dependent step were needed.
model: claude-haiku-5-5
agent / version: claude-code / 2.1.300 (Claude Code)
platform: linux
reported cost: $0.013619
Recorded source: https://github.com/CrocSwap/integer-mult-bounds
Tool transport: mcp-assigned-vm
Test version: readme-844b20ea4a8cf6a073caf3e3229282d0dc6020e3bca3f0115a472d798413ecfb
revision: 18aacb215fc3717b06be8ceb9fca62aeca0d3e99

Current diagnosis: unknown · resolved

Repair record fix-d8e01d5a8fb1b8cee260 · current status JSON. Original run outcomes remain unchanged.

Failed run: CrocSwap/integer-mult-bounds · Oct 16, 2026 · Our test failed; no repo verdict.

Test-repair rerun: CrocSwap/integer-mult-bounds · Oct 16, 2026 · Not tested.

Double-checks failed run: CrocSwap/integer-mult-bounds · Oct 16, 2026.

Fix: fix-d8e01d5a8fb1b8cee260.

What the agent did

Fast selected-record admission check: scripts/verify_selected_result.py binds the published selection (kappa = 836330098538459/500000000000000000) to its frozen finite certificate, original source inventory and proof supplement. Output: PASS.

README 'Reproduce' / 'Current reviewed result' quickstart: read full README; identified prerequisites 'python3 -m pip install numpy sympy scipy' and C++17 + Boost (needed only for the full arithmetic suite, not for the executed check)
Installed prerequisites in Ubuntu 24.04 guest: apt python3.12-venv, build-essential; created /workspace/.venv; .venv/bin/python -m pip install numpy sympy scipy (numpy 2.5.4, sympy 1.14.0, scipy 1.18.1)
Ran documented single check (Makefile selected-record-check): .venv/bin/python -B scripts/verify_selected_result.py -> PASS, rc=0
Did not run make frontier1094-verify or make verify (full replay/suite excluded by smoke-task limits)

run JSON · checker evidence · agent report unavailable · transcript excerpt unavailable · error excerpt unavailable

No product verdict. Run record.