sqlite-sot-verify
Verify SQLite-backed source-of-truth changes with direct PRE/POST row reads, delta accounting, restart durability checks, and rejection of ORM-only proof.
Files1
View on GitHubSKILL.md.claude/skills/sqlite-sot-verify/SKILL.md
GitHubSQLite Source-of-Truth Verify
Workflow
- Identify the DB file, table, primary key, and transaction boundary.
- PRE: read rows directly from SQLite before the operation.
- ACT: perform the operation under test.
- POST: read rows directly from SQLite after the operation, preferably through a fresh connection when durability matters.
- DIFF: compute the expected row-level delta and compare exactly.
- HALT: reject proof based only on return values, mocks, logs, or in-memory objects.
Required Checks
- WAL/restart behavior for durable lifecycle state.
- Terminal trade states cannot transition.
- Partial-close deduplication survives process restart.
upsert_tradeupdates every intended mutable field and no unintended immutable fields.