Repository navigation

P1: Isolate transactional committed-mutation foundation - #216

Open

philipgreat wants to merge 84 commits into

mainfrom

feat/committed-foundation-main

Open

P1: Isolate transactional committed-mutation foundation#216
philipgreat wants to merge 84 commits into
mainfrom
feat/committed-foundation-main

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
- fix: deliver committed audits after reconciliation failure
  Philip Z
  committed
  092e483
Commits on Oct 19, 2026
- Merge remote-tracking branch 'origin/fix/committed-postcommit-reconcile-java' into test/p1-committed-integration-20261019
  Philip Z
  committed
  be9f94e
- fix: preserve committed outcome after JDBC cleanup failure
  Philip Z
  committed
  46f6c73
- fix: distinguish unknown JDBC transaction outcomes
  Philip Z
  committed
  4577185
- fix: fence graph after unconfirmed rollback of JVM Error
  Philip Z
  committed
  dee5bbe
- fix: fence unknown rollback without suppressed Error metadata
  Philip Z
  committed
  dd32106
- fix: fence JDBC Error outcomes and preserve committed cleanup
  Philip Z
  committed
  edbae2b
- fix(jdbc): avoid unsafe close after unconfirmed rollback
  Philip Z
  committed
  8135bcf
Commits on Oct 20, 2026
- test(jdbc): cover confirmed rollback retry before close
  Philip Z
  committed
  5ba882c
Commits on Oct 21, 2026
- [skip ci] Integrate approved post-commit reconciliation into audit fix
  Philip Z
  committed
  f61d8bd
- [skip ci] Integrate approved post-commit audit and reconciliation fixes
  Philip Z
  committed
  cdc8a1c
- [skip ci] Integrate approved JDBC transaction outcome and cleanup fixes
  Philip Z
  committed
  c2c6d12
- [skip ci] test: prove post-commit source-process crash recovery twice
  Philip Z
  committed
  e88defb
- [skip ci] test: prove mixed target operations rollback retry and deduplication (#248)
  Philip Z
  committed
  31938f8
- [skip ci] test: reject an unknown target entity before applying facts (#248)
  Philip Z
  committed
  a06b309
- [skip ci] test: prove numbered HTTP limits and recovery boundaries (#250)
  Philip Z
  committed
  aeabee8
- [skip ci] test: prove signed SDK coexistence and repeat one HTTP fixture (#252)
  Philip Z
  committed
  dcd6c3a
- [skip ci] test: gate stalled response expiry on a physical POST witness (#252)
  Philip Z
  committed
  40c6013
- [skip ci] test: preserve native exit status while retaining failed reports (#252)
  Philip Z
  committed
  db11717
- [skip ci] test: honor captured JDK wait budgets in the stalled POST fixture (#252)
  Philip Z
  committed
  94d7bc2
- [skip ci] Integrate governed CMR-03 process crash example (#247)
  Philip Z
  committed
  0ba2e81
- [skip ci] Integrate mixed target atomicity and strict model tests (#249)
  Philip Z
  committed
  b9643f4
- [skip ci] Integrate numbered HTTP boundaries and SDK isolation (#251)
  Philip Z
  committed
  c942d2f
- [skip ci] Isolate profile-scoped CA trust and prove HTTPS rotation (#253)
  Philip Z
  committed
  56f6e4c
- [skip ci] Keep the TLS test peer within existing JPMS dependencies (#253)
  Philip Z
  committed
  555f7a3
- test: deny business Context APIs during committed target apply [skip ci]
  Philip Z
  committed
  e5b4393
- feat: add model-aware SQLite snapshot bootstrap and strict tail boundary [skip ci]
  Philip Z
  committed
  0f7b48b
- example: demonstrate consistent legacy snapshot and portable tail [skip ci]
  Philip Z
  committed
  500a549
- test(sqlite): reject invalid snapshot authority and conflicting retries [skip ci]
  Philip Z
  committed
  0066413
- feat(sqlite): retain bootstrap publications and fence cursor initialization [skip ci]
  Philip Z
  committed
  e1d3be1
- test(sqlite): exercise managed bootstrap across owned process crashes [skip ci]
  Philip Z
  committed
  8acdd1a
- test(sqlite): retain crash-boundary readbacks and flush ready diagnostics [skip ci]
  Philip Z
  committed
  1a0018f
Commits on Oct 22, 2026
- test: define authenticated committed receiver contract (CMR-13 RED) [skip ci]
  Philip Z
  committed
  09c029d
- feat: authenticate committed delivery and persist safe rejection audit [skip ci]
  Philip Z
  committed
  8d0ccbd
- test: define authenticated snapshot ingress and cross-kind controls (RED) [skip ci]
  Philip Z
  committed
  ba81754
- feat: authenticate bounded snapshot ingress with separate signature domain [skip ci]
  Philip Z
  committed
  c80a8d0
- fix: keep bootstrap replacement explicit and startup-owned for receivers [skip ci]
  Philip Z
  committed
  0d4cd02
- test: add audited authenticated snapshot-tail example [skip ci]
  Philip Z
  committed
  e132833
- test: keep large identifiers exact in example receipts [skip ci]
  Philip Z
  committed
  ff0e699
- test: match namespaced snapshot audit code in example [skip ci]
  Philip Z
  committed
  0d3bbe3
- test: specify durable CMR-14 delivery observations (RED) [skip ci]
  Philip Z
  committed
  7374e5e
- feat: persist delivery observations and atomic acknowledgement journal [skip ci]
  Philip Z
  committed
  656c920
- test: cover permanent rejection snapshot stale ACK and safe target telemetry [skip ci]
  Philip Z
  committed
  60035ac
- fix: preserve rejection reason across retries and check observation integrity [skip ci]
  Philip Z
  committed
  28261f6
- test: observe real signed snapshot-tail delivery and lost acknowledgements [skip ci]
  Philip Z
  committed
  0ee4f61
- test: specify strict committed control-frame boundaries (RED) [skip ci]
  Philip Z
  committed
  1123c08
- fix: reject unknown replication protocol controls without inspecting text values [skip ci]
  Philip Z
  committed
  f975332
- test: reject replication controls at ordinary TFP entries [skip ci]
  Philip Z
  committed
  3e8bc36
- test: cover signed snapshot protocol controls (RED) [skip ci]
  Philip Z
  committed
  a96ea12
- fix: reject noncanonical signed snapshot controls [skip ci]
  Philip Z
  committed
  9dc9e41
- test: require ordinary analytical-target mutations to be read-only (RED) [skip ci]
  Philip Z
  committed
  849c194
- test: repair read-only probe API wiring before RED qualification [skip ci]
  Philip Z
  committed
  f236ca9
- fix: separate target replication authority from ordinary JDBC mutations [skip ci]
  Philip Z
  committed
  be8f8e3
- test: preserve target reads and deny dynamic JDBC writes [skip ci]
  Philip Z
  committed
  b91d509
- test: demonstrate generated audited-save denial on analytical targets [skip ci]
  Philip Z
  committed
  b607512
- test: exercise actual TFP reads and denied writes on a signed SQLite target [skip ci]
  Philip Z
  committed
  10c7fce

Commits

Commits on Oct 17, 2026

Commits on Oct 18, 2026

Commits on Oct 19, 2026

Commits on Oct 20, 2026

Commits on Oct 21, 2026

Commits on Oct 22, 2026