0.1.0 batch 5: harden State failures and SQLite recovery

[suraciii]

Goal

Make every failed State result preserve one trusted rule.

Scope

• Freeze State declarations before load.
• Keep memory unchanged after failed Set or Clear.
• Discard the Activation after Conflict, cancel, timeout, or Unknown Result.
• Add stable persistence context to errors.
• Set SQLite connection limits and test cold backup and restore.

Acceptance

• Store contract tests pass for memory and SQLite.
• Cancel and lost-reply tests discard the Activation.
• Absence, zero values, Clear, Conflict, and Unknown Result survive restart as specified.
• Cold restore covers State, Reminders, and SQLite WAL files.
• make ci passes.

References

design/release-0.1.0.md
design/persistence.md
design/testing.md

[suraciii]

Batch 5 started

• Worktree: /home/szf/.herdr/worktrees/gor/release-0.1-batch5-state
• Branch: release-0.1-batch5-state
• Base: dce07f33607d9c1cb5bded6a0a57fc7fa9c9f003
• Inherited make ci: passed, exit 0.
• Scope: failed State Set and Clear results, Activation discard, persistence error context, shared Store contract proof, SQLite connection limits, integrity checks, and cold backup and restore proof.
• Excluded: Reminder worker bounds, Reminder error expansion, generator hardening, release limits, and portability.

[suraciii]

Batch 5 handoff

• Branch: release-0.1-batch5-state
• Commit: 991a3452a248e7ab3f5750a7a1032761d1fc47bf
• Worktree: /home/szf/.herdr/worktrees/gor/release-0.1-batch5-state

Implemented:

• State write failures now discard the current Activation after Conflict, cancellation, timeout, or Unknown Result.
• Activation setup rejects an ignored State failure. Deactivation reports only new State failures and does not duplicate a returned error.
• Persistence errors name the operation, GrainId, and named State when applicable.
• Store contracts now cover invalid data, copied bytes, concurrent CAS, cancellation, Memory, and SQLite.
• SQLite read pools are bounded. Store readiness runs integrity checks for both databases.
• Old-layout migration checks the copied State database before it deletes the old State table.
• Cold backup and restore proof covers State, Reminders, both database files, and existing WAL files after all Store connections close.
• Product docs, design docs, mutation evidence, and ROADMAP now mark Batch 5 complete.

Verification:

• Focused State, conformance, Store, migration, and SQLite recovery tests passed 100 consecutive runs.
• Focused race tests passed.
• Targeted mutations failed at their owning behavior assertions and were restored.
• Three independent final reviews found no unresolved P1 or P2 findings.
• Final make ci: passed, exit 0. This includes format, constraint checks, vet, staticcheck, unit tests, full race tests, simulation tests, generator tests, and network tests.

The worktree is clean. No push or pull request was made. Keep this issue open until the batch is integrated.

[suraciii]

Completed in the integrated candidate #116: State failure semantics, Activation discard rules, stable persistence errors, bounded SQLite connections, and cold backup/restore are covered for memory and SQLite. Exact master 0c41f9f644905183d7d4fd8f7efed24e4396bf0d passed local make ci and hosted run https://github.com/suraciii/gor/actions/runs/31504300130.