Repository navigation

CI-only: combined committed post-commit safety candidate - #229

Closed

philipgreat wants to merge 28 commits into

mainfrom

fix/committed-postcommit-reconcile-java

Closed

CI-only: combined committed post-commit safety candidate#229
philipgreat wants to merge 28 commits into
mainfrom
fix/committed-postcommit-reconcile-java

Commits on Oct 17, 2026
- feat(sqlite): add transactional committed-event outbox and inbox store
  Philip Z
  committed
  c12bb43
- Capture authoritative graph mutations in SQLite outbox
  Philip Z
  committed
  e2950af
- Freeze Java committed update facts from transaction preimages
  Philip Z
  committed
  5223153
- Apply committed events through model-checked Java SQLite target
  Philip Z
  committed
  1413c33
- Replay shared committed Order fixture in Java target test
  Philip Z
  committed
  409a8c0
- Add durable ordered Java committed-event publication
  Philip Z
  committed
  18850e2
- Prove DuckDB JDBC adapter rolls back replica state atomically
  Philip Z
  committed
  b03a35d
- Add transaction-owned DuckDB committed Inbox core
  Philip Z
  committed
  e09249f
- feat(duckdb): apply committed graph facts through model-checked target
  Philip Z
  committed
  842323e
- test(duckdb): replay shared committed Order fixture
  Philip Z
  committed
  b37911e
- fix(duckdb): verify canonical relation indexes on repeated schema
  Philip Z
  committed
  895d462
- Validate committed-event trace wire nodes
  Philip Z
  committed
  1a073c5
- Encode committed integral fields losslessly
  Philip Z
  committed
  9580529
- Validate committed calendar dates across runtimes
  Philip Z
  committed
  25e2368
- Reject inexact SQLite decimal replication
  Philip Z
  committed
  a034eb0
- Qualify committed scalar and null wire kinds
  Philip Z
  committed
  5f185b7
- Qualify committed nullable field transitions
  Philip Z
  committed
  6ec1f4f
- Qualify committed absolute instant codec on SQLite
  Philip Z
  committed
  26d4b75
- Reject unmodeled and out-of-range replicated Decimal values
  Philip Z
  committed
  d3f89cc
- Exercise committed SQLite-to-DuckDB delivery in runtime example
  Philip Z
  committed
  e1ac957
- Verify committed DuckDB target through generated Q API
  Philip Z
  committed
  35abd82
- Prove ordered lost-ack recovery in committed example
  Philip Z
  committed
  6c85892
Commits on Oct 18, 2026
- Reject duplicate inbox after target checkpoint rewind
  Philip Z
  committed
  7cfe9ff
- Keep nested JDBC save failures rollback-only
  Philip Z
  committed
  7f99d1e
- Mark JDBC transaction rollback-only after caught SQL failures
  Philip Z
  committed
  b81d975
- Rollback JDBC transaction after caught mapper failures
  Philip Z
  committed
  54d0f11
- fix: distinguish post-commit audit delivery failures
  Philip Z
  committed
  9389407
- fix: classify committed graph reconciliation failures
  Philip Z
  committed
  628991a

Commits

Commits on Oct 17, 2026

Commits on Oct 18, 2026