atomic-save-kernel-schema

Metadata

Description

Implement the `atomic-save-kernel-schema` work item from `docs/plans/atomic-graph-work-save-dag.json` and `docs/design-atomic-graph-work-save.md`.
This is the shared kernel/schema gate. Integrate with the landed deterministic daemon planner and replay schema; do not create a competing lifecycle authority. All runtime adapters remain blocked until this task is durably complete.

Owned files/modules:
- `src/completion_evidence.rs (new)`
- `src/save_transaction.rs (new)`
- `src/graph.rs`
- `src/lifecycle.rs`
- `src/finalization/mod.rs`
- `src/parser.rs`
- `src/lib.rs`

Non-goals:
- No CLI or daemon adapter conversion.
- No Git/worktree effect execution.
- No claim that the pure kernel proves storage or OS behavior.

## Validation
- `cargo test save_transaction`
- `cargo test lifecycle`
- `cargo fmt --check`
- `cargo clippy`

Depends on

• done formalize-daemon-planner-replay
• done .assign-atomic-save-kernel-schema

Required by

• failed atomic-save-adversarial-smokes
• done atomic-save-daemon-convergence
• failed atomic-save-dependency-archive-reset
• done atomic-save-formal-rust-traces
• done atomic-save-legacy-migration
• done atomic-save-terminal-adapters
• done atomic-save-worksave-capture

Log

• 2026-08-03T14:55:04.398774439+00:00 Task paused
• 2026-08-03T14:55:14.854742455+00:00 Task published
• 2026-08-03T14:55:20.846351005+00:00 Lightweight assignment: agent=Careful Programmer (02e87968), exec_mode=full, context_scope=graph, reason=Careful Programmer best fits a correctness-critical shared kernel/schema integration spanning multiple lifecycle and graph modules.
• 2026-08-03T14:57:04.487683847+00:00 Spawned by coordinator --executor pi --model openai-codex:gpt-5.6-sol --isolation required-worktree
• 2026-08-03T15:13:41.990449979+00:00 Implemented v2 evidence schema, complete-bundle verifier, monotone/idempotent SaveTransaction reducer, lifecycle GraphSaveCommitted projection, parser/finalization bridges. Validation: cargo test save_transaction and cargo test lifecycle pass; cargo fmt --check and cargo clippy pass.
• 2026-08-03T15:14:19.627096524+00:00 Committed and pushed c8718827.
• 2026-08-03T15:19:21.264596448+00:00 Bounded evaluator infrastructure state error[WG-EVAL-INSUFFICIENT-EVIDENCE]: bounded evidence insufficient [candidate-manifest:candidate-manifest:truncated,candidate-source:candidate-source:truncated,declared-artifact:declared-artifact-000:truncated,declared-artifact:declared-artifact-001:truncated,declared-artifact:declared-artifact-002:truncated,declared-artifact:declared-artifact-003:truncated,declared-artifact:declared-artifact-004:truncated,declared-artifact:declared-artifact-005:truncated,declared-artifact:declared-artifact-006:truncated] without semantic rejection or cross-executor fallback; source remains in-progress
• 2026-08-03T15:19:51.788712956+00:00 Consumed deep-readonly FLIP report deep-report-28190d33a00c8fc823fef7beff407ffb41e6d9d73865f5fccc32aeefa5c3a04a; observations=13 findings=4 route=b3:07cbfd6e71528de4a03ba3051159b1a811230a2a0a97c83e9fcb743edd0c2466 usage=56765in/1118out
• 2026-08-03T15:19:55.798978767+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-03T15:20:28.820594545+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-03T15:36:40.910886983+00:00 late-process-diagnostic:0:attempt-0-1:1:agent-exit-nonzero observed after durable landed receipt wgcid:v1:blake3:51942d93c62a86a647e130a8d7b2c05c9666db85fb29a88840510373669fa71f; lifecycle authority suppressed: Provider failure detected after streaming: provider-overloaded