debug-halt-step-fsm

Task gallery / Electrical engineering (RTL) / Version 1

Reference solution (oracle): Unverified
No-op resistance check: Unverified
QA verdict: Not recorded
Aggregate eligibility: Eligible version

The task

A control block stops and resumes a core over a debug port. Ports: clk, rst, haltreqi, resumereqi, stepreqi, dbusreni, dbusaddri (2 bits), dbusrdatao (8 bits), haltedo, fetcho. rst is synchronous, active high, clearing all state and outputs to 0. All outputs are registered. While running, fetcho is high every cycle and haltedo is low. When haltreqi is sampled high at edge E while running, fetcho stays high through e…

Excerpt only; not a complete executable task specification. Task ID task_125106d14ad9412a · version 1. Selection status: not fully recorded.

Results by model and effort

This exact task version only. Every rate is passes / valid runs with a Wilson 95% interval; n≤2 remains counts only. Macro aggregation does not apply within a single task. Baselines are summarized in the quality gates, not ranked. A passed no-op resistance check means that doing nothing did not solve the task.

Current evidence

Model / effort	Verifier result [95% Wilson]	Diagnostic labels / valid	HARNESS_ERROR · excluded	Outcome classes

Legacy evidence

Model / effort	Verifier result [95% Wilson]	Diagnostic labels / valid	HARNESS_ERROR · excluded	Outcome classes
Claude Opus 4.8 · default (unverified)	0/10 · 0.0% [0.0%, 27.8%]	0 / 10	0	GOOD_FAILURE: 0 BAD_FAILURE: 0 GOOD_SUCCESS: 0 BAD_SUCCESS: 0

Every recorded run

10 recorded trials, including controls. Diagnostic labels do not replace verifier reward. Labels and quality checks are source declarations, not independently attested here. Internal evidence remains private; a missing public URL is shown explicitly. Records with invalid or absent rewards are not scored.

Run / model	Date / source	Reward / eligibility	Diagnostic class / source	Resources	Evidence
`trial_6a048b7b8a0947af` Claude Opus 4.8 · default (unverified)	Jul 5, 2026 console	0 · valid	No diagnostic label derived	Tokens: 19,609 Turns: 4 Cost: $0.7536	Not publicly available
`trial_f474206509824095` Claude Opus 4.8 · default (unverified)	Jul 5, 2026 console	0 · valid	No diagnostic label derived	Tokens: 5,731 Turns: 2 Cost: $0.2527	Not publicly available
`trial_df31c0e51e334876` Claude Opus 4.8 · default (unverified)	Jul 5, 2026 console	0 · valid	No diagnostic label derived	Tokens: 21,914 Turns: 3 Cost: $0.8389	Not publicly available
`trial_719f9e36616f4ea0` Claude Opus 4.8 · default (unverified)	Jul 5, 2026 console	0 · valid	No diagnostic label derived	Tokens: 33,103 Turns: 8 Cost: $1.3625	Not publicly available
`trial_f40b072a6f5641d1` Claude Opus 4.8 · default (unverified)	Jul 5, 2026 console	0 · valid	No diagnostic label derived	Tokens: 26,523 Turns: 4 Cost: $1.0368	Not publicly available
`trial_4808f968b0984ed1` Claude Opus 4.8 · default (unverified)	Jul 5, 2026 console	0 · valid	No diagnostic label derived	Tokens: 19,671 Turns: 2 Cost: $0.7408	Not publicly available
`trial_36fcd67b41da43b7` Claude Opus 4.8 · default (unverified)	Jul 5, 2026 console	0 · valid	No diagnostic label derived	Tokens: 26,134 Turns: 10 Cost: $1.1356	Not publicly available
`trial_5d91c25a25b74732` Claude Opus 4.8 · default (unverified)	Jul 5, 2026 console	0 · valid	No diagnostic label derived	Tokens: 11,507 Turns: 2 Cost: $0.4566	Not publicly available
`trial_b66134abd7aa45a3` Claude Opus 4.8 · default (unverified)	Jul 5, 2026 console	0 · valid	No diagnostic label derived	Tokens: 18,576 Turns: 2 Cost: $0.7010	Not publicly available
`trial_1cc5f877f8764ed6` Claude Opus 4.8 · default (unverified)	Jul 5, 2026 console	0 · valid	No diagnostic label derived	Tokens: 35,311 Turns: 6 Cost: $1.4117	Not publicly available