§12.1 schema fidelity: room-state provenance and quarantine keyed by (principal, room, event id) #148

New issue

Closed

opened 2026-08-27 19:21:14 +02:00 by thecrealm · 0 comments

thecrealm commented

2026-08-27 19:21:14 +02:00

Owner

Review finding 2026-08-27 (B7). Room-state rows carry no before/after/gap provenance (Facts.sq:12-18, FactStores.kt:226) although §12.1 and §3.7 require it; quarantine records are keyed by autoincrement seq (Facts.sq:112-120) so a replayed malformed event duplicates.

Acceptance: provenance column/field on the state entity in sqlite, IndexedDB and in-memory with a numbered migration; quarantine PK per §12.1; conformance rows; migration test incl. the untested "store newer than this katrix" refusal on both stores and a fault-injected failing migration leaving the store intact (§10.7.3).

Review finding 2026-08-27 (B7). Room-state rows carry no before/after/gap provenance (`Facts.sq:12-18`, `FactStores.kt:226`) although §12.1 and §3.7 require it; quarantine records are keyed by autoincrement `seq` (`Facts.sq:112-120`) so a replayed malformed event duplicates. Acceptance: provenance column/field on the state entity in sqlite, IndexedDB and in-memory with a numbered migration; quarantine PK per §12.1; conformance rows; migration test incl. the untested "store newer than this katrix" refusal on both stores and a fault-injected failing migration leaving the store intact (§10.7.3).

thecrealm added the

labels

2026-08-27 19:22:00 +02:00

thecrealm added

now

and removed

labels

2026-09-01 17:09:35 +02:00

thecrealm referenced this issue from a commit

2026-09-01 17:27:55 +02:00

§12.1 fidelity: state provenance on every store, quarantine keyed by event id; sqlite v13 + IndexedDB v2 with the §10.7.3 migration proofs (D94, closes #148)

thecrealm closed this issue