seccompward-go-bpf-filter-reachability-v3

Task gallery / Security / cyber / Version 1

Reference solution (oracle): Pass
No-op resistance check: Pass
QA verdict: taxonomy: Evaluating; QA: QA-K READY (stub builds + solve.sh exit 0 as agent; or
Aggregate eligibility: Eligible version

The task

The seccompward program under /app/environment analyzes a Linux seccomp classic-BPF filter, the program a process installs to sandbox itself. For each query it resolves the action the kernel would take, and for each reachability goal it synthesizes a concrete syscall record that reaches the goal's action. A goal names a syscall number and an action; the witness record the program returns is a reachability certificat…

Excerpt only; not a complete executable task specification. Task ID task_dea4ffcded2a474f · 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)	3/3 · 100.0% [43.9%, 100.0%] · preliminary	2 / 3	0	GOOD_FAILURE: 0 BAD_FAILURE: 0 GOOD_SUCCESS: 2 BAD_SUCCESS: 0

Legacy evidence

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

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_d4fda7729d424f8b` oracle@@	Oct 13, 2026 console	1 · valid	GOOD_SUCCESS frozen-classifier	Tokens: — Turns: — Cost: —	Not publicly available
`trial_f4d30cbbb8484280` nop@@	Oct 13, 2026 console	0 · valid	GOOD_FAILURE frozen-classifier	Tokens: — Turns: — Cost: —	Not publicly available
`trial_56e3a7c8610d4d2a` Claude Opus 5 · default (unverified)	Oct 14, 2026 console	1 · valid	No diagnostic label derived	Tokens: 103,957 Turns: 65 Cost: $7.5748	Not publicly available
`trial_b7d5642627c94fb4` Claude Opus 5 · default (unverified)	Oct 14, 2026 console	1 · valid	GOOD_SUCCESS frozen-classifier	Tokens: 67,837 Turns: 46 Cost: $4.8801	Not publicly available
`trial_424b168595d24b5e` Claude Opus 5 · default (unverified)	Oct 14, 2026 console	1 · valid	GOOD_SUCCESS frozen-classifier	Tokens: 76,721 Turns: 37 Cost: $5.0599	Not publicly available