semver-pubgrub-resolver

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

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

The task

Build a NEW package resolver (github.com/Masterminds/semver/v3/resolver; stdlib + this module only) implementing PubGrub version solving: a version-set algebra, negative terms that also permit package absence, unit propagation, conflict-driven clause learning with backjumping, decision making, derivation reports. Output must be deterministic — never rely on map iteration order. API (S=VersionSet, V=semver.Version): …

Excerpt only; not a complete executable task specification. Task ID task_7b18be5807394275 · 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 Haiku 4.5 · default (unverified)	0/0	0 / 0	5	GOOD_FAILURE: 0 BAD_FAILURE: 0 GOOD_SUCCESS: 0 BAD_SUCCESS: 0

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_447a70830af64199` Claude Haiku 4.5 · default (unverified)	Sep 5, 2026 console	0 · excludedharness_error	HARNESS_ERROR frozen-classifier	Tokens: 0 Turns: 1 Cost: $0.0000	Not publicly available
`trial_67d14611cf0a4f12` Claude Haiku 4.5 · default (unverified)	Sep 5, 2026 console	0 · excludedharness_error	HARNESS_ERROR frozen-classifier	Tokens: 0 Turns: 1 Cost: $0.0000	Not publicly available
`trial_73abc473a16249f5` Claude Haiku 4.5 · default (unverified)	Sep 5, 2026 console	0 · excludedharness_error	HARNESS_ERROR frozen-classifier	Tokens: 0 Turns: 1 Cost: $0.0000	Not publicly available
`trial_a27fabc2d3b6463d` Claude Haiku 4.5 · default (unverified)	Sep 5, 2026 console	0 · excludedharness_error	HARNESS_ERROR frozen-classifier	Tokens: 0 Turns: 1 Cost: $0.0000	Not publicly available
`trial_bdabe5937b444b7f` Claude Haiku 4.5 · default (unverified)	Sep 5, 2026 console	0 · excludedharness_error	HARNESS_ERROR frozen-classifier	Tokens: 0 Turns: 1 Cost: $0.0000	Not publicly available