@super-line/core 0.5.0 → 0.7.0

package/dist/index.cjs

@@ -28,6 +28,7 @@ __export(index_exports, {
   classifyContract: () => classifyContract,
   defineContract: () => defineContract,
   jsonSerializer: () => jsonSerializer,
+  removeAtPath: () => removeAtPath,
   validate: () => validate,
   validateSync: () => validateSync
 });
@@ -102,7 +103,10 @@ var InspectorContract = defineContract({
         getTopology: { input: s(), output: s() },
         listConnections: { input: s(), output: s() },
         getNode: { input: s(), output: s() },
-        getConn: { input: s(), output: s() }
+        getConn: { input: s(), output: s() },
+        listStores: { input: s(), output: s() },
+        listResources: { input: s(), output: s() },
+        readResource: { input: s(), output: s() }
       },
       serverToClient: {
         events: { payload: s(), subscribe: true }
@@ -153,6 +157,23 @@ function classifyContract(contract, convert) {
 
 // src/wire.ts
 var PROTOCOL = "superline.v1";
+
+// src/store.ts
+var removeAtPath = (root, path) => {
+  if (path.length === 0) return root;
+  if (typeof root !== "object" || root === null) return root;
+  const [head, ...rest] = path;
+  if (Array.isArray(root)) {
+    const next2 = root.slice();
+    if (rest.length === 0) next2.splice(Number(head), 1);
+    else next2[Number(head)] = removeAtPath(next2[Number(head)], rest);
+    return next2;
+  }
+  const next = { ...root };
+  if (rest.length === 0) delete next[head];
+  else next[head] = removeAtPath(next[head], rest);
+  return next;
+};
 // Annotate the CommonJS export names for ESM import in node:
 0 && (module.exports = {
   INSPECTOR_ROLE,
@@ -163,6 +184,7 @@ var PROTOCOL = "superline.v1";
   classifyContract,
   defineContract,
   jsonSerializer,
+  removeAtPath,
   validate,
   validateSync
 });

package/dist/index.d.cts

@@ -344,6 +344,19 @@ interface ConnView {
     /** Whether ctx/data could be read (false for conns on another node). */
     ctxAvailable: boolean;
 }
+/** A configured Store — what `listStores` returns. `model` is the backend's declared consistency model, if any. */
+interface StoreInfo {
+    name: string;
+    model?: 'lww' | 'crdt';
+}
+/** A Resource's current value — what `readResource` returns. Materialized + safe-serialized server-side. */
+interface StoreResourceView {
+    data: unknown;
+    accessRules: Record<string, {
+        read: boolean;
+        write: boolean;
+    }>;
+}
 /** A failed response/reply, carried on `msg.response` / `msg.serverReply`. */
 interface MessageError {
     code: string;
@@ -418,6 +431,14 @@ type InspectorEvent = {
     ok: boolean;
     output?: unknown;
     error?: MessageError;
+} | {
+    type: 'store.create';
+    store: string;
+    id: string;
+} | {
+    type: 'store.delete';
+    store: string;
+    id: string;
 } | {
     type: 'store.write';
     store: string;
@@ -483,6 +504,28 @@ declare const InspectorContract: {
                     }>;
                     readonly output: StandardSchemaV1<ConnView, ConnView>;
                 };
+                readonly listStores: {
+                    readonly input: StandardSchemaV1<void, void>;
+                    readonly output: StandardSchemaV1<StoreInfo[], StoreInfo[]>;
+                };
+                readonly listResources: {
+                    readonly input: StandardSchemaV1<{
+                        store: string;
+                    }, {
+                        store: string;
+                    }>;
+                    readonly output: StandardSchemaV1<string[], string[]>;
+                };
+                readonly readResource: {
+                    readonly input: StandardSchemaV1<{
+                        store: string;
+                        id: string;
+                    }, {
+                        store: string;
+                        id: string;
+                    }>;
+                    readonly output: StandardSchemaV1<StoreResourceView, StoreResourceView>;
+                };
             };
             readonly serverToClient: {
                 readonly events: {
@@ -617,6 +660,13 @@ type Frame = ClientFrame | ServerFrame;
  * siblings behind this interface.
  */
 type Awaitable<T> = T | Promise<T>;
+/**
+ * Return a structural clone of `root` with the value at `path` removed — the surgical-delete primitive shared
+ * by every Store's replica halves. Clones only along the path (not a deep clone): fed to a diff-and-patch
+ * `set`, only the removed key is rewritten, so concurrent edits to sibling keys still merge. Never mutates
+ * `root` (the live snapshot must stay intact). `path === []` returns `root` unchanged.
+ */
+declare const removeAtPath: (root: unknown, path: (string | number)[]) => unknown;
 /** The ACL identity a Resource's access is keyed by (`identify(conn) ?? conn.id`). */
 type Principal = string;
 /** Per-principal capabilities on a Resource. */
@@ -656,6 +706,8 @@ interface ServerStore {
      * or `self` (the store owns a shared backend and core fans only to local subscribers).
      */
     readonly clustering: 'relay' | 'self';
+    /** Consistency model, surfaced to the inspector for display. Optional; omit if a backend has no clean label. */
+    readonly model?: 'lww' | 'crdt';
     /** Current snapshot of a Resource (for catch-up on subscribe), or undefined if absent. */
     read(id: string): Awaitable<Resource | undefined>;
     /** Create a Resource with initial data + access rules (server-authoritative). */
@@ -670,6 +722,15 @@ interface ServerStore {
     list(): Awaitable<string[]>;
     /** Subscribe to every applied mutation — the single fan-out source. Returns an unsubscribe fn. */
     onChange(cb: (change: StoreChange) => void): () => void;
+    /**
+     * Open a reactive in-process replica over a Resource's canonical state — the server-side co-writer.
+     * Optional; stores opt in (those that don't, surface as "reactive open not supported"). Mutations made
+     * through it fan out via {@link ServerStore.onChange} exactly like {@link ServerStore.apply}. `origin`
+     * (default `"server"`) is stamped on its fan-out Changes for echo-break + inspector attribution.
+     */
+    open?(id: string, opts?: {
+        origin?: string;
+    }): ServerReplica;
     /** Release any resources held by the store. */
     close?(): Awaitable<void>;
 }
@@ -695,9 +756,27 @@ interface ResourceReplica {
     subscribe(cb: () => void): () => void;
     set(data: unknown): StoreChange | null;
     update(partial: unknown): StoreChange | null;
+    /** Remove the value at `path` (a surgical key removal that merges, unlike a full-doc `set`). */
+    delete(path: (string | number)[]): StoreChange | null;
     applyRemote(change: StoreChange): void;
     seed(snapshot: unknown): void;
 }
+/**
+ * A reactive **server-side** replica over one Resource's canonical state — the server half's mirror of
+ * {@link ResourceReplica}, simpler because the server mutates canonical state directly: there is no wire to
+ * send up (no return Change to forward) and no second copy to reconcile (no `applyRemote`/`seed`). `set`/
+ * `update`/`delete` mutate canonical state in place and fan out through {@link ServerStore.onChange}; reads
+ * are live and `subscribe` reflects every applied mutation (local co-writes AND relayed remote Changes).
+ * Returned by {@link ServerStore.open}; surfaced to apps as `srv.store(name).open(id)`.
+ */
+interface ServerReplica {
+    getSnapshot(): unknown;
+    subscribe(cb: () => void): () => void;
+    set(data: unknown): void;
+    update(partial: unknown): void;
+    delete(path: (string | number)[]): void;
+    close(): void;
+}
 
 /**
  * The client↔server transport seam. A transport moves opaque encoded bytes over a
@@ -777,4 +856,4 @@ interface ClientTransport {
     }): RawConn;
 }
 
-export { type AccessRules, type Adapter, type AnyData, type AuthOutcome, type ClientFrame, type ClientInput, type ClientStore, type ClientTransport, type ConnDescriptor, type ConnView, type Contract, type DataOf, type Directional, type EmitData, type ErrFrame, type ErrorCode, type EventData, type Events, type EvtFrame, type Frame, type Handshake, INSPECTOR_ROLE, INSPECTOR_SUBPROTOCOL, type InferIn, type InferOut, type InspectedContract, type InspectedDirectional, type InspectedMessage, InspectorContract, type InspectorEvent, type MessageFlavor, type NodeStat, type NodeView, type Output, PROTOCOL, type Perms, type PingFrame, type PongFrame, type PresenceStore, type Principal, type PubFrame, type RawConn, type ReqFrame, type RequestDef, type Requests, type ResFrame, type Resource, type ResourceReplica, type RoleBlock, type RoleOf, type RoleRequests, type RoleTopics, type SChangeFrame, type SCloseFrame, type SErrFrame, type SOpenFrame, type SReadFrame, type SReqFrame, type SResFrame, type SWriteFrame, type Schema, type SchemaConverter, type Serializer, type ServerEntry, type ServerFrame, type ServerInput, type ServerMessageDef, type ServerMessages, type ServerRequestDef, type ServerRequests, type ServerStore, type ServerTransport, type SharedEvents, type SharedRequests, type SharedServerRequests, type SharedTopics, type StoreChange, type SubFrame, SuperLineError, type SuperLineErrorCode, type Topics, type UnsubFrame, classifyContract, defineContract, jsonSerializer, validate, validateSync };
+export { type AccessRules, type Adapter, type AnyData, type AuthOutcome, type ClientFrame, type ClientInput, type ClientStore, type ClientTransport, type ConnDescriptor, type ConnView, type Contract, type DataOf, type Directional, type EmitData, type ErrFrame, type ErrorCode, type EventData, type Events, type EvtFrame, type Frame, type Handshake, INSPECTOR_ROLE, INSPECTOR_SUBPROTOCOL, type InferIn, type InferOut, type InspectedContract, type InspectedDirectional, type InspectedMessage, InspectorContract, type InspectorEvent, type MessageFlavor, type NodeStat, type NodeView, type Output, PROTOCOL, type Perms, type PingFrame, type PongFrame, type PresenceStore, type Principal, type PubFrame, type RawConn, type ReqFrame, type RequestDef, type Requests, type ResFrame, type Resource, type ResourceReplica, type RoleBlock, type RoleOf, type RoleRequests, type RoleTopics, type SChangeFrame, type SCloseFrame, type SErrFrame, type SOpenFrame, type SReadFrame, type SReqFrame, type SResFrame, type SWriteFrame, type Schema, type SchemaConverter, type Serializer, type ServerEntry, type ServerFrame, type ServerInput, type ServerMessageDef, type ServerMessages, type ServerReplica, type ServerRequestDef, type ServerRequests, type ServerStore, type ServerTransport, type SharedEvents, type SharedRequests, type SharedServerRequests, type SharedTopics, type StoreChange, type StoreInfo, type StoreResourceView, type SubFrame, SuperLineError, type SuperLineErrorCode, type Topics, type UnsubFrame, classifyContract, defineContract, jsonSerializer, removeAtPath, validate, validateSync };

package/dist/index.d.ts

@@ -344,6 +344,19 @@ interface ConnView {
     /** Whether ctx/data could be read (false for conns on another node). */
     ctxAvailable: boolean;
 }
+/** A configured Store — what `listStores` returns. `model` is the backend's declared consistency model, if any. */
+interface StoreInfo {
+    name: string;
+    model?: 'lww' | 'crdt';
+}
+/** A Resource's current value — what `readResource` returns. Materialized + safe-serialized server-side. */
+interface StoreResourceView {
+    data: unknown;
+    accessRules: Record<string, {
+        read: boolean;
+        write: boolean;
+    }>;
+}
 /** A failed response/reply, carried on `msg.response` / `msg.serverReply`. */
 interface MessageError {
     code: string;
@@ -418,6 +431,14 @@ type InspectorEvent = {
     ok: boolean;
     output?: unknown;
     error?: MessageError;
+} | {
+    type: 'store.create';
+    store: string;
+    id: string;
+} | {
+    type: 'store.delete';
+    store: string;
+    id: string;
 } | {
     type: 'store.write';
     store: string;
@@ -483,6 +504,28 @@ declare const InspectorContract: {
                     }>;
                     readonly output: StandardSchemaV1<ConnView, ConnView>;
                 };
+                readonly listStores: {
+                    readonly input: StandardSchemaV1<void, void>;
+                    readonly output: StandardSchemaV1<StoreInfo[], StoreInfo[]>;
+                };
+                readonly listResources: {
+                    readonly input: StandardSchemaV1<{
+                        store: string;
+                    }, {
+                        store: string;
+                    }>;
+                    readonly output: StandardSchemaV1<string[], string[]>;
+                };
+                readonly readResource: {
+                    readonly input: StandardSchemaV1<{
+                        store: string;
+                        id: string;
+                    }, {
+                        store: string;
+                        id: string;
+                    }>;
+                    readonly output: StandardSchemaV1<StoreResourceView, StoreResourceView>;
+                };
             };
             readonly serverToClient: {
                 readonly events: {
@@ -617,6 +660,13 @@ type Frame = ClientFrame | ServerFrame;
  * siblings behind this interface.
  */
 type Awaitable<T> = T | Promise<T>;
+/**
+ * Return a structural clone of `root` with the value at `path` removed — the surgical-delete primitive shared
+ * by every Store's replica halves. Clones only along the path (not a deep clone): fed to a diff-and-patch
+ * `set`, only the removed key is rewritten, so concurrent edits to sibling keys still merge. Never mutates
+ * `root` (the live snapshot must stay intact). `path === []` returns `root` unchanged.
+ */
+declare const removeAtPath: (root: unknown, path: (string | number)[]) => unknown;
 /** The ACL identity a Resource's access is keyed by (`identify(conn) ?? conn.id`). */
 type Principal = string;
 /** Per-principal capabilities on a Resource. */
@@ -656,6 +706,8 @@ interface ServerStore {
      * or `self` (the store owns a shared backend and core fans only to local subscribers).
      */
     readonly clustering: 'relay' | 'self';
+    /** Consistency model, surfaced to the inspector for display. Optional; omit if a backend has no clean label. */
+    readonly model?: 'lww' | 'crdt';
     /** Current snapshot of a Resource (for catch-up on subscribe), or undefined if absent. */
     read(id: string): Awaitable<Resource | undefined>;
     /** Create a Resource with initial data + access rules (server-authoritative). */
@@ -670,6 +722,15 @@ interface ServerStore {
     list(): Awaitable<string[]>;
     /** Subscribe to every applied mutation — the single fan-out source. Returns an unsubscribe fn. */
     onChange(cb: (change: StoreChange) => void): () => void;
+    /**
+     * Open a reactive in-process replica over a Resource's canonical state — the server-side co-writer.
+     * Optional; stores opt in (those that don't, surface as "reactive open not supported"). Mutations made
+     * through it fan out via {@link ServerStore.onChange} exactly like {@link ServerStore.apply}. `origin`
+     * (default `"server"`) is stamped on its fan-out Changes for echo-break + inspector attribution.
+     */
+    open?(id: string, opts?: {
+        origin?: string;
+    }): ServerReplica;
     /** Release any resources held by the store. */
     close?(): Awaitable<void>;
 }
@@ -695,9 +756,27 @@ interface ResourceReplica {
     subscribe(cb: () => void): () => void;
     set(data: unknown): StoreChange | null;
     update(partial: unknown): StoreChange | null;
+    /** Remove the value at `path` (a surgical key removal that merges, unlike a full-doc `set`). */
+    delete(path: (string | number)[]): StoreChange | null;
     applyRemote(change: StoreChange): void;
     seed(snapshot: unknown): void;
 }
+/**
+ * A reactive **server-side** replica over one Resource's canonical state — the server half's mirror of
+ * {@link ResourceReplica}, simpler because the server mutates canonical state directly: there is no wire to
+ * send up (no return Change to forward) and no second copy to reconcile (no `applyRemote`/`seed`). `set`/
+ * `update`/`delete` mutate canonical state in place and fan out through {@link ServerStore.onChange}; reads
+ * are live and `subscribe` reflects every applied mutation (local co-writes AND relayed remote Changes).
+ * Returned by {@link ServerStore.open}; surfaced to apps as `srv.store(name).open(id)`.
+ */
+interface ServerReplica {
+    getSnapshot(): unknown;
+    subscribe(cb: () => void): () => void;
+    set(data: unknown): void;
+    update(partial: unknown): void;
+    delete(path: (string | number)[]): void;
+    close(): void;
+}
 
 /**
  * The client↔server transport seam. A transport moves opaque encoded bytes over a
@@ -777,4 +856,4 @@ interface ClientTransport {
     }): RawConn;
 }
 
-export { type AccessRules, type Adapter, type AnyData, type AuthOutcome, type ClientFrame, type ClientInput, type ClientStore, type ClientTransport, type ConnDescriptor, type ConnView, type Contract, type DataOf, type Directional, type EmitData, type ErrFrame, type ErrorCode, type EventData, type Events, type EvtFrame, type Frame, type Handshake, INSPECTOR_ROLE, INSPECTOR_SUBPROTOCOL, type InferIn, type InferOut, type InspectedContract, type InspectedDirectional, type InspectedMessage, InspectorContract, type InspectorEvent, type MessageFlavor, type NodeStat, type NodeView, type Output, PROTOCOL, type Perms, type PingFrame, type PongFrame, type PresenceStore, type Principal, type PubFrame, type RawConn, type ReqFrame, type RequestDef, type Requests, type ResFrame, type Resource, type ResourceReplica, type RoleBlock, type RoleOf, type RoleRequests, type RoleTopics, type SChangeFrame, type SCloseFrame, type SErrFrame, type SOpenFrame, type SReadFrame, type SReqFrame, type SResFrame, type SWriteFrame, type Schema, type SchemaConverter, type Serializer, type ServerEntry, type ServerFrame, type ServerInput, type ServerMessageDef, type ServerMessages, type ServerRequestDef, type ServerRequests, type ServerStore, type ServerTransport, type SharedEvents, type SharedRequests, type SharedServerRequests, type SharedTopics, type StoreChange, type SubFrame, SuperLineError, type SuperLineErrorCode, type Topics, type UnsubFrame, classifyContract, defineContract, jsonSerializer, validate, validateSync };
+export { type AccessRules, type Adapter, type AnyData, type AuthOutcome, type ClientFrame, type ClientInput, type ClientStore, type ClientTransport, type ConnDescriptor, type ConnView, type Contract, type DataOf, type Directional, type EmitData, type ErrFrame, type ErrorCode, type EventData, type Events, type EvtFrame, type Frame, type Handshake, INSPECTOR_ROLE, INSPECTOR_SUBPROTOCOL, type InferIn, type InferOut, type InspectedContract, type InspectedDirectional, type InspectedMessage, InspectorContract, type InspectorEvent, type MessageFlavor, type NodeStat, type NodeView, type Output, PROTOCOL, type Perms, type PingFrame, type PongFrame, type PresenceStore, type Principal, type PubFrame, type RawConn, type ReqFrame, type RequestDef, type Requests, type ResFrame, type Resource, type ResourceReplica, type RoleBlock, type RoleOf, type RoleRequests, type RoleTopics, type SChangeFrame, type SCloseFrame, type SErrFrame, type SOpenFrame, type SReadFrame, type SReqFrame, type SResFrame, type SWriteFrame, type Schema, type SchemaConverter, type Serializer, type ServerEntry, type ServerFrame, type ServerInput, type ServerMessageDef, type ServerMessages, type ServerReplica, type ServerRequestDef, type ServerRequests, type ServerStore, type ServerTransport, type SharedEvents, type SharedRequests, type SharedServerRequests, type SharedTopics, type StoreChange, type StoreInfo, type StoreResourceView, type SubFrame, SuperLineError, type SuperLineErrorCode, type Topics, type UnsubFrame, classifyContract, defineContract, jsonSerializer, removeAtPath, validate, validateSync };

package/dist/index.js

@@ -67,7 +67,10 @@ var InspectorContract = defineContract({
         getTopology: { input: s(), output: s() },
         listConnections: { input: s(), output: s() },
         getNode: { input: s(), output: s() },
-        getConn: { input: s(), output: s() }
+        getConn: { input: s(), output: s() },
+        listStores: { input: s(), output: s() },
+        listResources: { input: s(), output: s() },
+        readResource: { input: s(), output: s() }
       },
       serverToClient: {
         events: { payload: s(), subscribe: true }
@@ -118,6 +121,23 @@ function classifyContract(contract, convert) {
 
 // src/wire.ts
 var PROTOCOL = "superline.v1";
+
+// src/store.ts
+var removeAtPath = (root, path) => {
+  if (path.length === 0) return root;
+  if (typeof root !== "object" || root === null) return root;
+  const [head, ...rest] = path;
+  if (Array.isArray(root)) {
+    const next2 = root.slice();
+    if (rest.length === 0) next2.splice(Number(head), 1);
+    else next2[Number(head)] = removeAtPath(next2[Number(head)], rest);
+    return next2;
+  }
+  const next = { ...root };
+  if (rest.length === 0) delete next[head];
+  else next[head] = removeAtPath(next[head], rest);
+  return next;
+};
 export {
   INSPECTOR_ROLE,
   INSPECTOR_SUBPROTOCOL,
@@ -127,6 +147,7 @@ export {
   classifyContract,
   defineContract,
   jsonSerializer,
+  removeAtPath,
   validate,
   validateSync
 };

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@super-line/core",
-  "version": "0.5.0",
+  "version": "0.7.0",
   "type": "module",
   "description": "Shared contract, validation, wire protocol and errors for super-line.",
   "license": "MIT",