fix-nonsemantic-failed-dependency-convergence

Metadata

Description

The live atomic-save rollout exposed a correctness hole after the deterministic planner landed: an open synthesis task had only failed prerequisites, `wg ready` returned no work, no owner was live, and no scheduled convergence action existed. The failures were non-semantic infrastructure/source failures: (1) provider-unavailable after streaming with a committed three-commit candidate and a temporary finish-lease conflict, (2) orphan reconciliation before any worker/session/worktree existed, and (3) source execution failure before model progress.

Extend the pure planner and production convergence adapter so non-semantic failure classes preserve exact WIP/session evidence and deterministically produce either a bounded scheduled retry or an explicit actionable NeedsReconciliation state. A failed prerequisite must never leave unfinished descendants silently open with no owner, runnable action, external wait, or durable deadline. Semantic validation rejection remains terminal and must never be auto-retried or reclassified. Seed versioned Lean/Rust replay fixtures from these exact three incidents and require byte-identical planner/replay outcomes.

## Validation
- Lean proves the descendant exhaustiveness property under typed failure classification assumptions, with no `sorry`, `admit`, `unsafe`, or hidden axioms.
- Rust/Lean conformance fixtures cover provider failure after durable candidate, zero-progress source failure, orphan-before-spawn, and true semantic rejection.
- Property tests show non-semantic failure yields one bounded retry/reconciliation action while semantic rejection never retries.
- Candidate-binary smoke proves an unfinished descendant cannot remain silently blocked after all live owners exit.
- `cargo fmt --check`; `cargo check`; focused planner/convergence tests; `(cd formal && lake build)`.

Depends on

• done atomic-save-daemon-convergence
• done .assign-fix-nonsemantic-failed-dependency-convergence

Required by

• open atomic-save-synthesis-canary
• failed fix-stale-worktree-spawn-owner-convergence

Log

• 2026-08-03T18:42:48.659035653+00:00 Task paused
• 2026-08-03T18:42:53.104352300+00:00 Task published
• 2026-08-03T18:43:02.416553600+00:00 Lightweight assignment: agent=Pi Lifecycle Hotfix Programmer (fbb2d89f), exec_mode=full, context_scope=graph, reason=Lifecycle convergence is a correctness-critical graph integration task, best matched by the lifecycle hotfix programmer with full implementation access.
• 2026-08-03T18:43:03.381675738+00:00 Spawned by coordinator --executor pi --model openai-codex:gpt-5.6-sol --isolation required-worktree
• 2026-08-03T18:59:13.927631095+00:00 Exact owner exited without a finish transaction; fenced once and scheduled same-session/worktree continuation (session=019fc8ef-be8e-7282-aad1-6609826f4051)
• 2026-08-03T18:59:15.874108416+00:00 Spawned by coordinator --executor pi --model openai-codex:gpt-5.6-sol --isolation required-worktree
• 2026-08-03T18:59:53.360714088+00:00 Starting implementation; initial message read returned no response from service, retrying while inspecting prior WIP.
• 2026-08-03T19:30:25.101565281+00:00 Exact owner exited without a finish transaction; fenced once and scheduled same-session/worktree continuation (session=019fc8ef-be8e-7282-aad1-6609826f4051)
• 2026-08-03T19:30:34.858908670+00:00 Spawned by coordinator --executor pi --model openai-codex:gpt-5.6-sol --isolation required-worktree
• 2026-08-03T19:34:15.815666084+00:00 Full cargo test attempted twice; the suite could not complete because the shared filesystem exhausted space during parallel incremental/link outputs (ENOSPC, rust-lld bus errors). Required focused tests, cargo check/build/clippy, Lean build, and candidate smoke pass.
• 2026-08-03T19:38:57.677620821+00:00 Exact owner exited without a finish transaction; fenced once and scheduled same-session/worktree continuation (session=019fc8ef-be8e-7282-aad1-6609826f4051)
• 2026-08-03T19:38:59.036456799+00:00 Spawned by coordinator --executor pi --model openai-codex:gpt-5.6-sol --isolation required-worktree
• 2026-08-03T19:41:26.026509696+00:00 Validated task criteria: Rust v1/v2 byte-identical replay and bounded retry properties pass; production adapter tests passed; Lean build proves descendant exhaustiveness and semantic non-retry with no placeholders; candidate-binary live daemon smoke passed; cargo fmt/check/build/clippy passed. Full all-target cargo test was attempted but shared disk ENOSPC prevented completion; task-focused tests pass.
• 2026-08-03T19:47:50.845861704+00:00 Committed: 38009232 — pushed to origin/wg/agent-999/fix-nonsemantic-failed-dependency-convergence; installed global candidate binaries.
• 2026-08-03T19:48:36.831854389+00:00 Bounded evaluator infrastructure state error[WG-EVAL-EVIDENCE-UNAVAILABLE]: automatic immutable evidence assembly failed without semantic rejection or cross-executor fallback; source remains in-progress
• 2026-08-03T19:49:03.224236974+00:00 Consumed deep-readonly FLIP report deep-report-29827e4a097bc999b2d81d95f0eacf072c85748c2832b6f1aecb738e6eb018ab; observations=12 findings=2 route=b3:07cbfd6e71528de4a03ba3051159b1a811230a2a0a97c83e9fcb743edd0c2466 usage=68496in/951out
• 2026-08-03T19:49:09.111579394+00:00 Bounded evaluator infrastructure state error[WG-EVAL-EVIDENCE-UNAVAILABLE]: automatic immutable evidence assembly failed without semantic rejection or cross-executor fallback; source remains in-progress
• 2026-08-03T19:49:33.187237674+00:00 Final task-owned promotion merge 5a6ab40d pushed; owned smoke gate accepted the candidate.
• 2026-08-03T19:49:41.239364782+00:00 Bounded evaluator infrastructure state error[WG-EVAL-EVIDENCE-UNAVAILABLE]: automatic immutable evidence assembly failed without semantic rejection or cross-executor fallback; source remains in-progress