Skip to content

Compare and Swap - #241

Open
davidabram wants to merge 15 commits into
quint-connectfrom
compare-and-swap
Open

Compare and Swap#241
davidabram wants to merge 15 commits into
quint-connectfrom
compare-and-swap

Conversation

@davidabram

@davidabram davidabram commented Aug 27, 2026

Copy link
Copy Markdown
Member

No description provided.

@vercel

vercel Bot commented Aug 27, 2026 •
edited
Loading

Copy link
Copy Markdown

The latest updates on your projects. Learn more about Vercel for GitHub.

Project Deployment Actions Updated (UTC)
sce-config-json Ready Ready Preview Aug 29, 2026 11:48am

Request Review

@davidabram @shared-context-engineering
context: Add mutation cursor store persistence plan
87679e1 
Define the next build-out for durable mutation-cursor protocol state in the repository-scoped Agent Trace DB. The plan covers additive schema migration, explicit codecs, structural durable-transition projection, transactional CAS persistence, concurrency and restart coverage, and documentation.

Plan: mutation-cursor-store-persistence (T01-T11)

Co-authored-by: SCE <sce@crocoder.dev>
@davidabram @shared-context-engineering
storage: Add mutation-trace protocol persistence schema
c445eff 
Persist the verified mutation-cursor protocol in the repository database so later store operations have durable tables for worktrees, scopes, processed events, mutation events, and active scopes. Add migration 003 with strict revision BLOB checks, enum allow-lists, and payload-consistency constraints, and extend repository initialization tests with constraint coverage.

Plan: mutation-cursor-store-persistence (T01)

Co-authored-by: SCE <sce@crocoder.dev>
@davidabram @shared-context-engineering
mutation-trace: Add explicit revision and enum SQL codecs
aebcd47 
Persist mutation-trace domain values using stable, migration-aligned encodings before query and commit logic is added. Add big-endian revision codecs and explicit string codecs plus discriminant helpers, with rejection of invalid values and round-trip tests.

Plan: mutation-cursor-store-persistence, T02

Co-authored-by: SCE <sce@crocoder.dev>
@davidabram @shared-context-engineering
agent-trace-db: Remove redundant worktree identity from processed events
1027a98 
Use `(scope_id, event_id)` as the sole processed-event identity, matching
`EventKey` and avoiding duplicate worktree ownership data. Remove the redundant
column and index, and add a regression test covering the composite key.

Plan: mutation-cursor-store-persistence (T01, T03)

Co-authored-by: SCE <sce@crocoder.dev>
@davidabram @shared-context-engineering
mutation-trace: Add bounded store read projections
5029513 
Load one worktree's active and referenced scopes plus processed-event state without querying historical events on the hot path, and reconstruct cold-path mutation events with full attribution and boundary data. Preserve transient protocol fields as empty in widened projections and reject inconsistent persisted payloads.

Plan: mutation-cursor-store-persistence (T03)

Co-authored-by: SCE <sce@crocoder.dev>
@davidabram @shared-context-engineering
mutation-trace: Add idempotent worktree and scope initialization
54a6507 
Persist fresh worktree cursors and scope registrations without overwriting existing durable state. Validate existing scope ownership and actor identity before returning its state, while keeping terminal/status state unchanged. Complete T04 in `context/plans/mutation-cursor-store-persistence.md` and record targeted tests and verification.

Co-authored-by: SCE <sce@crocoder.dev>
@davidabram @shared-context-engineering
mutation-trace: Add structural durable transition diff
3748ce9 
Validate protocol state changes before persistence can apply a durable transition. Add a pure structural diff that captures worktree, scope, processed-event, and mutation-event changes while rejecting malformed or unrelated changes.

Plan: mutation-cursor-store-persistence (T05)

Co-authored-by: SCE <sce@crocoder.dev>
@davidabram @shared-context-engineering
runtime: Add transactional CAS batches to TursoDb
b72a420 
Provide a generic transaction primitive for mutation persistence to atomically apply a CAS guard and ordered statements. Retry only Busy and BusySnapshot failures from a fresh BEGIN IMMEDIATE transaction while returning deterministic failures without retrying; add coverage for no-op, success, rollback, and contention.

Plan: mutation-cursor-store-persistence (T06)

Co-authored-by: SCE <sce@crocoder.dev>
@davidabram @shared-context-engineering
mutation-trace: Implement durable transition commits
63be85e 
Persist mutation-trace transitions through a CAS-guarded transaction so worktree, scope, processed-event, mutation-event, and active-scope writes succeed or roll back together. Return explicit Applied/Conflict outcomes and preserve deterministic failures, with round-trip coverage for the full transition.

Update the mutation-trace context and plan to record the database-backed store implementation.
Plan: `mutation-cursor-store-persistence`, task `T07`.

Co-authored-by: SCE <sce@crocoder.dev>
@davidabram @shared-context-engineering
mutation-trace: Remove stale store implementation documentation
7a466ae 
Correct module documentation that described the store's persistence and database call sites as future work. Record the T07 correction and verification evidence in the mutation-cursor-store-persistence plan.

Co-authored-by: SCE <sce@crocoder.dev>
@davidabram @shared-context-engineering
tests: Add mutation trace commit persistence coverage
fda523e 
Cover CAS races, atomic rollback, boundary-value revisions, replay rejection, and recovery scope behavior against real repository databases. Mark plan mutation-cursor-store-persistence task T08 complete with verification evidence for the new store tests.

Co-authored-by: SCE <sce@crocoder.dev>
@davidabram @shared-context-engineering
tests: Add mutation trace persistence round-trip coverage
a65d944 
Exercise the real database load, protocol transition, commit, reopen, and reload flow across mutation trace boundaries and recovery cases. Cover Start, Advance, Close, Flush, taint, abandon, recovery, contention, and replay handling, including exact mutation-event decoding, and record T09 completion.

Plan: mutation-cursor-store-persistence (T09)

Co-authored-by: SCE <sce@crocoder.dev>
@davidabram @shared-context-engineering
tests: Add migration lifecycle coverage for mutation trace protocol
5a050cb 
Ensure existing databases with migrations 001 and 002 apply migration 003 through setup while hook-runtime opens don't apply it and retain setup guidance. Record the migration lifecycle coverage and verification for T10.

Plan: mutation-cursor-store-persistence (T10)

Co-authored-by: SCE <sce@crocoder.dev>
@davidabram @shared-context-engineering
context: Update mutation-trace persistence context
d65312c 
Record the completed mutation-cursor store persistence work so the repository's context reflects the durable protocol boundary, transactional CAS behavior, revision encoding, and bounded read paths. Capture the store design, shared Turso transactional primitive, completed acceptance criteria, and validation evidence, including the remaining test-isolation follow-up.

Ref: context/plans/mutation-cursor-store-persistence.md (T11, AC1-AC15)

Co-authored-by: SCE <sce@crocoder.dev>
@davidabram @shared-context-engineering
docs: Correct register_scope mismatch wording in mutation-trace-store.md
6df879a 
The Initialization section previously implied register_scope returns
Err whenever a scope's stored worktree_id/actor_kind merely happen to
match the request, inverting the actual behavior: a match returns the
existing ScopeState unchanged, and only a mismatch returns Err.

Co-authored-by: SCE <sce@crocoder.dev>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

1 participant

@davidabram