bcd-tens-rollover · Syncvals

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

Write /app/dut.sv defining TopModule with ports clk, rst, inci, tenso[3:0], and rollo; rst is synchronous active high. Track a two-digit BCD counter from 00 through 99, but expose only the tens digit. On a rising clock with rst high, clear the hidden units digit, tenso, and rollo to 0. On any other rising edge with inci high, increment the counter once; with inci low, hold the count. When the hidden units digit incr…

Excerpt only; not a complete executable task specification. Task ID task_5763254b63af4339 · 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)	10/10 · 100.0% [72.2%, 100.0%]	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_9824b6732efc4585` Claude Opus 4.8 · default (unverified)	Jul 5, 2026 console	1 · valid	No diagnostic label derived	Tokens: 3,126 Turns: 2 Cost: $0.1622	Not publicly available
`trial_4b8af5dc5d7840b0` Claude Opus 4.8 · default (unverified)	Jul 5, 2026 console	1 · valid	No diagnostic label derived	Tokens: 2,101 Turns: 2 Cost: $0.1274	Not publicly available
`trial_40e3ab23506b47bf` Claude Opus 4.8 · default (unverified)	Jul 5, 2026 console	1 · valid	No diagnostic label derived	Tokens: 2,629 Turns: 2 Cost: $0.1452	Not publicly available
`trial_8e625e2b0adf489c` Claude Opus 4.8 · default (unverified)	Jul 5, 2026 console	1 · valid	No diagnostic label derived	Tokens: 2,378 Turns: 2 Cost: $0.1373	Not publicly available
`trial_ae480ff87cb04464` Claude Opus 4.8 · default (unverified)	Jul 5, 2026 console	1 · valid	No diagnostic label derived	Tokens: 2,449 Turns: 2 Cost: $0.1390	Not publicly available
`trial_11d86a9bed2a406c` Claude Opus 4.8 · default (unverified)	Jul 5, 2026 console	1 · valid	No diagnostic label derived	Tokens: 2,943 Turns: 2 Cost: $0.1542	Not publicly available
`trial_49b82f56e8bf4633` Claude Opus 4.8 · default (unverified)	Jul 5, 2026 console	1 · valid	No diagnostic label derived	Tokens: 3,128 Turns: 2 Cost: $0.1630	Not publicly available
`trial_1edd27954eaf4f49` Claude Opus 4.8 · default (unverified)	Jul 5, 2026 console	1 · valid	No diagnostic label derived	Tokens: 2,729 Turns: 2 Cost: $0.1554	Not publicly available
`trial_008e3fcf7da34f36` Claude Opus 4.8 · default (unverified)	Jul 5, 2026 console	1 · valid	No diagnostic label derived	Tokens: 2,772 Turns: 2 Cost: $0.1506	Not publicly available
`trial_c60aecf254ef4a5d` Claude Opus 4.8 · default (unverified)	Jul 5, 2026 console	1 · valid	No diagnostic label derived	Tokens: 2,574 Turns: 2 Cost: $0.1432	Not publicly available