reverse-engineer-bitmap-index

Task gallery / Security / cyber / Version 1

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

The task

Reverse Engineer a Bitmap Index The execute-only reference program at /app/oraclebinary/croaring is a deterministic, statically linked build with all x64 SIMD dispatch compiled out. Reimplement it. The frozen interface covers --help/-h, --version/-V, invalid argv, and a stateless one-command-per-physical-stdin-line protocol for card, contains, rank, select, minmax, and, or, xor, andnot, flip, serialize, and stats, i…

Excerpt only; not a complete executable task specification. Task ID task_4ecee91716c74f10 · 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
Claude Opus 5 · default (unverified)	0/5 · 0.0% [0.0%, 43.4%]	0 / 5	0	GOOD_FAILURE: 0 BAD_FAILURE: 0 GOOD_SUCCESS: 0 BAD_SUCCESS: 0

Legacy evidence

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

Difficulty, with uncertainty

Selected-best difficulty: 100.0% [56.6%, 100.0%]. This is one minus the best measured current-row pass rate among rows with at least five valid runs.

The maximum is selected from the observed rows, so the estimate is optimistic. Its Wilson interval is not adjusted for model selection. “Hard” requires qualifying GOOD_FAILURE evidence; the threshold flag additionally requires the interval and recorded quality gates to meet the documented rule. This is not independent validation. Threshold flag: no.

Every recorded run

5 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_cd62a1801a0349e7` Claude Opus 5 · default (unverified)	Oct 9, 2026 console	0 · valid	No diagnostic label derived	Tokens: 121,348 Turns: 81 Cost: $9.3030	Not publicly available
`trial_01bb552e434a4b28` Claude Opus 5 · default (unverified)	Oct 9, 2026 console	0 · valid	No diagnostic label derived	Tokens: 117,966 Turns: 59 Cost: $7.3558	Not publicly available
`trial_0d51ee5a6ff04cc9` Claude Opus 5 · default (unverified)	Oct 9, 2026 console	0 · valid	No diagnostic label derived	Tokens: 174,690 Turns: 158 Cost: $19.0037	Not publicly available
`trial_1b64876648474358` Claude Opus 5 · default (unverified)	Oct 9, 2026 console	0 · valid	No diagnostic label derived	Tokens: 119,850 Turns: 65 Cost: $7.9856	Not publicly available
`trial_3ed2d0cdacca447f` Claude Opus 5 · default (unverified)	Oct 9, 2026 console	0 · valid	No diagnostic label derived	Tokens: 122,400 Turns: 76 Cost: $8.5682	Not publicly available