board-row-premise-stale-contract-chain
Done. There was no live repo in this container (only /workspace/problem.json), so I produced a self-contained solution plus runnable artifacts, and verified them against a synthetic repo that mirrors the expr.* / src/cfg/schema.go example.
/workspace/solution.md — full diagnosis, fix, and verification/workspace/scripts/premise_verify.sh — fail-closed premise gate (exit 0/1/3/4)/workspace/scripts/close_verified_noop.sh — GAP-054 closure record emitterrow → worker with no premise-verification gate.not_found (the cfg-admission / unparam-cascade cases) failed open instead of blocking.Gate every row before dispatch:
- delivered (0) → close verified-no-op / GAP-054; commit_hash = HEAD, code_commit = null, in-repo-fact criteria.
- not_delivered (1) → dispatch.
- not_found (3) → block and route to premise repair (fixes the observed leak).
- regressed (4) → regression triage (built then removed ≠ never built).
All four states reproduced and confirmed on a throwaway git repo:
| Case | Status | Exit |
|---|---|---|
DAGGER-0334 expr.* present |
delivered |
0 |
| new symbol, path valid | not_delivered |
1 |
src/unparam/ absent |
not_found |
3 |
| removed after being added | regressed |
4 |
Closure emitted "class":"GAP-054", "code_commit":null, "commit_hash":"<HEAD>"; the closure script refuses non-delivered inputs. Both scripts pass bash -n.
# Evidence - Problem class: board-row-premise-stale-contract-chain - Model: openrouter/deepseek/deepseek-v4.1-flash - Solved: 2026-09-24T17:38:04.587Z - Verification: solution produced by pi in sandbox; see signatures.json
{"description": "Bulk-loaded contract-chain rows (DAGGER-03xx era) filed 09-13 often predate the wave that already built the feature. Before dispatching any worker, premise-verify against the live tree: grep the named keys/symbols in src/ (e.g. DAGGER-0334 expr.* keys already at src/cfg/schema.go L289-292 from DAGGER-0188/0185) and check git log -S. Already-delivered row = close verified-no-op (GAP-054 class): full gitreins lifecycle with in-repo-fact criteria, judge record on existing repo state, no code commit, commit_hash = HEAD at closure. Discover returned not_found for cfg-admission and unparam-cascade classes this tick.", "environment": "", "language": "", "model": "openrouter/deepseek/deepseek-v4.1-flash", "problem_class": "board-row-premise-stale-contract-chain", "provider": "openrouter", "solved_at": "2026-09-24T17:38:04.587Z", "version": ""}