@oimlsmart/platform-server 0.2.6 → 0.2.7

package/migrations/0026_entity_changes_store_seq.sql

@@ -0,0 +1,15 @@
+-- The per-store journal high-water (the ServerStore seam's
+-- latestChangeSeqFor(store), the 2026-09-07 performance audit's G1):
+-- the seam's DOC-ONLY contract since 0.2.2 ("the (store, seq) walk —
+-- the index rides the same commit") lands. The read answers MAX(seq)
+-- over one store's slice of the ONE global journal — the seq stays
+-- global and monotone, this is a projection, never a second sequence.
+-- Without the index the projection scans the journal's rowid walk and
+-- filters; with it the read is a single indexed probe, which is the
+-- contract's whole point (per-store conditional revalidation / SSE
+-- resume probes paying one read, never a payload fetch).
+--
+-- CREATE INDEX IF NOT EXISTS is the idempotent guard (the migration
+-- contract's expand-only discipline; a consumer that already carries
+-- the index converges). schema.sql's mirror lands in the same commit.
+CREATE INDEX IF NOT EXISTS idx_entity_changes_store_seq ON entity_changes (store, seq);

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@oimlsmart/platform-server",
-  "version": "0.2.6",
+  "version": "0.2.7",
   "description": "The OIML SMART platform server kernel: the store seam (ServerStore + the D1 and SQLite implementations), the canonical D1 migration set both deployments apply, the instance profile, the mailer, the RBAC map, the OIDC/OAuth client cones, and the shared role/permission vocabulary. Consumed by the smart monorepo (browser/) and the identity service.",
   "type": "module",
   "repository": {

package/src/store/d1.ts

@@ -3480,6 +3480,16 @@ export class D1ServerStore implements ServerStore {
     return row?.seq ?? 0
   }
 
+  async latestChangeSeqFor(store: string): Promise<number> {
+    // One indexed probe over idx_entity_changes_store_seq (migration
+    // 0026) — the per-store projection of the one journal; 0 when the
+    // store carries no rows (MAX answers NULL on the empty set).
+    const row = await this.stmt(
+      'SELECT MAX(seq) AS seq FROM entity_changes WHERE store = ?', store,
+    ).first<{ seq: number | null }>()
+    return row?.seq ?? 0
+  }
+
   // ── the platform event store (TODO.notify/01) ─────────────────────
   // The event rows port directly (D1 is SQLite) — the same statements
   // as sqlite/events.ts's sync half.

package/src/store/sqlite/entities.ts

@@ -74,3 +74,14 @@ export function latestChangeSeq(): number {
   const row = getDb().prepare('SELECT MAX(seq) AS seq FROM entity_changes').get() as { seq: number | null }
   return row.seq ?? 0
 }
+
+/** The per-store projection of the one journal (the seam's contract):
+ *  MAX(seq) over the store's own slice, 0 on a store with no writes.
+ *  Walks idx_entity_changes_store_seq — one indexed probe, never a
+ *  journal scan. */
+export function latestChangeSeqFor(store: string): number {
+  const row = getDb()
+    .prepare('SELECT MAX(seq) AS seq FROM entity_changes WHERE store = ?')
+    .get(store) as { seq: number | null }
+  return row.seq ?? 0
+}

package/src/store/sqlite/schema.sql

@@ -132,6 +132,12 @@ CREATE TABLE IF NOT EXISTS entity_changes (
   id TEXT NOT NULL,
   at TEXT NOT NULL DEFAULT (datetime('now'))
 );
+-- The per-store high-water's walk (migration 0026, the seam's
+-- latestChangeSeqFor(store)): MAX(seq) over one store's slice of the
+-- one global journal costs a single indexed probe, never a journal
+-- scan. The seq stays global and monotone — a projection, never a
+-- second sequence.
+CREATE INDEX IF NOT EXISTS idx_entity_changes_store_seq ON entity_changes (store, seq);
 
 -- TODO.notify/01 — the platform event store (the notification system's
 -- source of truth): one row per DECLARED notifiable act (the catalog,

package/src/store/sqlite.ts

@@ -84,6 +84,7 @@ import {
   deleteEntity,
   getEntity,
   latestChangeSeq,
+  latestChangeSeqFor,
   listEntities,
   putEntity,
 } from './sqlite/entities'
@@ -1022,6 +1023,9 @@ export function createSqliteServerStore(): ServerStore {
     async latestChangeSeq(): Promise<number> {
       return latestChangeSeq()
     },
+    async latestChangeSeqFor(store: string): Promise<number> {
+      return latestChangeSeqFor(store)
+    },
 
     // ── the platform event store (TODO.notify/01) ──
     async appendEvent(input: {

package/src/store.ts

@@ -2353,20 +2353,20 @@ export interface ServerStore {
   changesAfter(seq: number, limit?: number): Promise<EntityChange[]>
   /** The GLOBAL journal high-water: the bootstrap snapshot's ETag leg
    *  (any write anywhere bumps the one seq — conservative, never
-   *  stale).
-   *
-   *  NAMED FOLLOW-UP, DOC ONLY (the smart side references it from
-   *  server/routes/bootstrap.ts: the per-store `seqs` snapshot carries
-   *  the journal position a delta-loading client would resume from):
-   *  the PER-STORE high-water — `latestChangeSeqFor(store)` — answering
-   *  MAX(seq) over one store's slice of the SAME journal. The contract
-   *  when it lands: the seq stays global and monotone (the per-store
-   *  read is a PROJECTION of the one journal, never a second
-   *  sequence); it exists so a per-store conditional revalidation /
-   *  SSE resume probe costs one indexed read instead of a payload
-   *  fetch; and its query wants the (store, seq) walk — the index
-   *  rides the same commit, expand-only per the migration contract. */
+   *  stale). */
   latestChangeSeq(): Promise<number>
+  /** The PER-STORE high-water: MAX(seq) over one store's slice of the
+   *  SAME journal. The seq stays global and monotone — the per-store
+   *  read is a PROJECTION of the one journal, never a second sequence.
+   *  A store with no writes answers 0 (the empty journal's floor, the
+   *  same as the global form's). The read is one indexed probe over
+   *  idx_entity_changes_store_seq (migration 0026 — the (store, seq)
+   *  walk rode that commit, expand-only per the migration contract),
+   *  so a per-store conditional revalidation / SSE resume probe never
+   *  pays a journal scan. Landed for the 2026-09-07 performance
+   *  audit's G1: the smart side's bootstrap composite ETag switches
+   *  from the global seq to the per-set composite of these. */
+  latestChangeSeqFor(store: string): Promise<number>
 
   // ── the platform event store (TODO.notify/01) ──
   /** Append one declared event (the emitter's write; one row inside the