syncrope/oxigraph-shacl-core

Task gallery / DeepSWE (long-horizon SWE) / Version 2

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

The task

Oxigraph can store and query RDF but cannot validate data against a shapes graph. Implement a W3C SHACL Core validation engine as a new workspace crate oxshacl at lib/oxshacl, registered in the root Cargo.toml members list. Depend only on oxigraph (path dependency, default-features = false — RocksDB and test-suite git submodules are not vendored) plus crates already in Cargo.lock (the offline registry carries nothin…

Excerpt only; not a complete executable task specification. Task ID task_bb2e200d1de14882 · version 2. 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%]	5 / 5	0	GOOD_FAILURE: 5 BAD_FAILURE: 0 GOOD_SUCCESS: 0 BAD_SUCCESS: 0
GPT-5.6-sol · default (unverified)	2/5 · 40.0% [11.8%, 76.9%]	5 / 5	0	GOOD_FAILURE: 3 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

Difficulty, with uncertainty

Selected-best difficulty: 60.0% [23.1%, 88.2%]. 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

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_d81a3b4c71804ad6` Claude Opus 5 · default (unverified)	Sep 5, 2026 console	0 · valid	GOOD_FAILURE frozen-classifier	Tokens: 117,816 Turns: 65 Cost: $8.3613	Not publicly available
`trial_dcd68d22b8d94941` GPT-5.6-sol · default (unverified)	Sep 5, 2026 console	0 · valid	GOOD_FAILURE frozen-classifier	Tokens: — Turns: — Cost: —	Not publicly available
`trial_79929047a06e43f7` Claude Opus 5 · default (unverified)	Sep 5, 2026 console	0 · valid	GOOD_FAILURE frozen-classifier	Tokens: 128,958 Turns: 63 Cost: $8.2691	Not publicly available
`trial_8c89fca1a3f047c3` GPT-5.6-sol · default (unverified)	Sep 5, 2026 console	1 · valid	GOOD_SUCCESS frozen-classifier	Tokens: — Turns: — Cost: —	Not publicly available
`trial_cdf2f418f911462e` Claude Opus 5 · default (unverified)	Sep 5, 2026 console	0 · valid	GOOD_FAILURE frozen-classifier	Tokens: 124,068 Turns: 73 Cost: $8.9725	Not publicly available
`trial_64b5813627bd4f86` GPT-5.6-sol · default (unverified)	Sep 5, 2026 console	0 · valid	GOOD_FAILURE frozen-classifier	Tokens: — Turns: — Cost: —	Not publicly available
`trial_75d411b0ae2c4755` Claude Opus 5 · default (unverified)	Sep 5, 2026 console	0 · valid	GOOD_FAILURE frozen-classifier	Tokens: 105,388 Turns: 53 Cost: $7.1301	Not publicly available
`trial_24a655d515c24178` GPT-5.6-sol · default (unverified)	Sep 5, 2026 console	1 · valid	GOOD_SUCCESS frozen-classifier	Tokens: — Turns: — Cost: —	Not publicly available
`trial_75ec66e8d11e492c` Claude Opus 5 · default (unverified)	Sep 5, 2026 console	0 · valid	GOOD_FAILURE frozen-classifier	Tokens: 124,965 Turns: 77 Cost: $9.6074	Not publicly available
`trial_92c036b3956e469d` GPT-5.6-sol · default (unverified)	Sep 5, 2026 console	0 · valid	GOOD_FAILURE frozen-classifier	Tokens: — Turns: — Cost: —	Not publicly available