Skip to content

feat: add incremental semantic projection families - #643

Merged
kevinswiber merged 1 commit into
mainfrom
feat/plan-0156-incremental-semantic-families
Jul 27, 2026
Merged

feat: add incremental semantic projection families#643
kevinswiber merged 1 commit into
mainfrom
feat/plan-0156-incremental-semantic-families

Conversation

@kevinswiber

Copy link
Copy Markdown
Member

Summary

  • materialize bodyless revision, thread, attention, state, and revision-detail facts in SQLite
  • publish affected-family updates and the shared checkpoint atomically
  • preserve full replay as an exhaustive audit oracle while ordinary engagement reads remain selected and bounded

Validation

  • focused semantic differential suite: 11 passed
  • derived-access suite: 66 passed
  • cargo nextest run --features bench
  • just test
  • just lint
  • just fmt
  • non-timing store foundation smoke
  • derived-access contract publication and benchmark help
  • git diff --check

Boundary

This remains a qualification-only substrate. It does not activate production routing, persist bodies or search data, or claim the prospective on-disk allocation ceiling; allocation is measured separately.

Materialize bodyless revision, thread, attention, state, and revision-detail facts in the qualification SQLite substrate. Apply affected-family updates and the shared checkpoint atomically, retain full replay as the audit oracle, and prove selected engagement reads remain bounded while matching authoritative semantics.
@kevinswiber kevinswiber changed the title Add incremental semantic projection families feat: add incremental semantic projection families Jul 27, 2026
@kevinswiber
kevinswiber merged commit 5ec7610 into main Jul 27, 2026
20 checks passed
@kevinswiber
kevinswiber deleted the feat/plan-0156-incremental-semantic-families branch July 27, 2026 19:26
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant