test: verify concurrent policy writers and restore - #8

Merged

seonghobae merged 42 commits into

codex/policyweave-postgres-runtime-evidencefrom

codex/policyweave-concurrent-writer-evidence

Sep 9, 2026

Commits on Sep 8, 2026

test(db): require concurrent writer evidence
seonghobae
committed
7da8529
test(db): verify concurrent writer serialization
seonghobae
committed
7d2cc35
merge: restack concurrency evidence on UPSERT repair
seonghobae
committed
761125b
test: require PostgreSQL restore evidence
seonghobae
committed
f97ab69
test(db): verify policy revision dump restore
seonghobae
committed
2e0774e
docs: record restart and restore evidence
seonghobae
committed
e9f833a
test: require complete concurrent UPSERT values
seonghobae
committed
3d633ee
fix: verify complete concurrent UPSERT values
seonghobae
committed
227e089
docs: record complete concurrent UPSERT evidence
seonghobae
committed
a7d1416
docs: bind concurrent UPSERT evidence to persisted values
seonghobae
committed
735f0ad
docs: clarify concurrent UPSERT value contract
seonghobae
committed
91e2017
merge: preserve complete concurrent UPSERT evidence
seonghobae
committed
c031570
fix: seed restore facts atomically
seonghobae
committed
e9d5631
test: require NULL-safe concurrent UPSERT checks
seonghobae
committed
c756811
fix: fail closed on NULL concurrent UPSERT values
seonghobae
committed
fbfa5e6
docs: record NULL-safe concurrency evidence
seonghobae
committed
946338b
docs: explain NULL-safe persistence assertion
seonghobae
committed
a0bb446
docs: reconcile NULL-safe concurrency gap
seonghobae
committed
e315e5e
merge: restack restore evidence on NULL-safe concurrency
seonghobae
committed
9219b06
test: require complete restored collection-item values
seonghobae
committed
ce0f316
fix: verify complete restored collection-item values
seonghobae
committed
0430469
docs: record complete restore evidence
seonghobae
committed
a0a26c9
docs: bind complete restore assertions
seonghobae
committed
991ecaa
docs: reconcile complete restore gap
seonghobae
committed
e28415c
docs: align architecture with PostgreSQL CI evidence
seonghobae
committed
9678ee7
docs: align TRD with PostgreSQL CI evidence
seonghobae
committed
6f8abb0
merge: restack restore evidence on reconciled architecture
seonghobae
committed
d8fdd01
test: require transactional applies retention seed
seonghobae
committed
5950a74
fix(db): seed applies retention in one transaction
seonghobae
committed
45fc63d
merge: restack restore evidence on concurrent UPSERT values
seonghobae
committed
d2eea3c
docs: record deferred applies seed contract
seonghobae
committed
a5342b1
merge: integrate concurrent restore restack
seonghobae
committed
a1539c5
test: require independent retention state after restore
seonghobae
committed
5e54834
test: prove restored policy fact independence
seonghobae
committed
202e69d
docs: record complete restore invariants
seonghobae
committed
2b1205f
docs: bind restored fact independence evidence
seonghobae
committed
92a1e11
docs: reconcile restore RCA and evidence
seonghobae
committed
e1b94ee
test: detect restored service URL loss
seonghobae
committed
aaef3b5
test: preserve restored service URL evidence
seonghobae
committed
57732c6
docs: record restored service URL RCA
seonghobae
committed
bfdaee2
docs: separate CI restore from operations
seonghobae
committed
ea9f186
merge: restore evidence into concurrent writer stack
seonghobae
authored
5309a61