@astrosheep/square 0.3.105 → 0.4.0

package/dist/square-receive.d.ts

@@ -1,6 +1,5 @@
-import type { AudienceRoute } from './attention.js';
-import type { StoredAct } from './model.js';
+import type { DirectedNotificationRoute, HydratedAct } from './model.js';
 import type { DirectedFilter, SquareRead } from './ports.js';
 import type { ReceiveRead } from './receive.js';
 /** Transaction-local projections only; the artifact still owns indexed selection and bodies. */
-export declare function squareReceiveRead(facts: SquareRead): ReceiveRead<number, StoredAct, AudienceRoute, DirectedFilter>;
+export declare function squareReceiveRead(facts: SquareRead): ReceiveRead<number, HydratedAct, DirectedNotificationRoute, DirectedFilter>;

package/dist/square-sqlite.d.ts

@@ -1,7 +1,12 @@
 import { type DatabaseSync } from 'node:sqlite';
-import { SquareError, type ActivityObservation, type HardCap, type StoredAct, type WatchLease } from './model.js';
-import type { SquareHeader, SquareRead, DeliveryClaimInput, DeliveryClaimResult, DeliveryCompletion, DeliveryPreparation } from './ports.js';
-import { type LandingWriter } from './square-domain.js';
+import { type ActivityObservation, type HardCap, type Seat, type StoredAct, type HydratedAct, type WatchLease } from './model.js';
+import type { SquareHeader, SquareRead } from './ports.js';
+import type { ChannelWrite, EndpointRef } from './channel-ports.js';
+import type { StoreFormat } from './artifact-store.js';
+export { invalidArtifact } from './sqlite-values.js';
+export { endpointGeneration } from './sqlite-channel.js';
+export declare const APPLICATION_ID = 1397838405;
+export declare const CURRENT_USER_VERSION = 11;
 /** Explicit import/export DTOs, not a runtime transaction model. */
 export interface SquareRuntimeState {
     nextActIndex: number;
@@ -13,56 +18,52 @@ export interface SquareState {
     throttlePerMinute?: number;
     preamble: string[];
     warmup: string[];
-    acts: StoredAct[];
+    acts: HydratedAct[];
     runtime: SquareRuntimeState;
 }
 export declare function emptyRuntimeState(nextActIndex?: number): SquareRuntimeState;
-export declare const APPLICATION_ID = 1397838405;
-export declare const V2_USER_VERSION = 2;
-export declare const V3_USER_VERSION = 3;
-export declare const V4_USER_VERSION = 4;
-export declare const V5_USER_VERSION = 5;
-export declare const V6_USER_VERSION = 6;
-export declare const V7_USER_VERSION = 7;
-export declare const CURRENT_USER_VERSION = 8;
-export declare const V1_SNAPSHOT_TABLE = "square_snapshot";
-export interface LegacyFraming {
-    readonly applicationId: number;
-    readonly userVersion: number;
-    readonly journalMode: string;
+/** Agora owns only its allocator/configuration header and social tables; neutral storage owns the revision header. */
+export declare const AGORA_SCHEMA_SQL = "CREATE TABLE square_meta (\n  id INTEGER PRIMARY KEY CHECK (id = 1),\n  next_act_index INTEGER NOT NULL CHECK (next_act_index BETWEEN 0 AND 9007199254740991),\n  hard_cap INTEGER CHECK (hard_cap BETWEEN 1 AND 9007199254740991),\n  throttle_per_minute INTEGER CHECK (throttle_per_minute BETWEEN 1 AND 9007199254740991),\n  preamble_json TEXT NOT NULL CHECK (json_valid(preamble_json)),\n  warmup_json TEXT NOT NULL CHECK (json_valid(warmup_json))\n);\nCREATE TABLE activities (\n  act_index INTEGER PRIMARY KEY CHECK (act_index BETWEEN 0 AND 9007199254740991),\n  at REAL NOT NULL,\n  kind TEXT NOT NULL CHECK (kind IN ('join','done','say','read','listen','ignore','unlisten')),\n  actor_json TEXT COLLATE BINARY NOT NULL,\n  actor_key_json TEXT COLLATE BINARY NOT NULL,\n  reach TEXT CHECK (reach = 'bell'),\n  reply_index INTEGER CHECK (reply_index >= 0 AND reply_index < act_index),\n  message_index INTEGER CHECK (message_index IS NULL OR message_index BETWEEN 0 AND 9007199254740991),\n  payload_json TEXT NOT NULL CHECK (json_valid(payload_json)),\n  CHECK ((kind = 'say') = (message_index IS NOT NULL)),\n  CHECK (kind = 'say' OR (reach IS NULL AND reply_index IS NULL))\n);\nCREATE INDEX activity_kind_index ON activities(kind, act_index);\nCREATE INDEX activity_actor_index ON activities(actor_key_json, act_index);\nCREATE INDEX activity_say_actor_index ON activities(actor_key_json, act_index) WHERE kind='say';\nCREATE INDEX activity_say_time ON activities(at, act_index) WHERE kind='say';\nCREATE INDEX activity_bell_actor_time ON activities(actor_key_json, at, act_index) WHERE kind='say' AND reach='bell';\nCREATE UNIQUE INDEX activity_message ON activities(message_index) WHERE message_index IS NOT NULL;\nCREATE TABLE participants (\n  name_key_json TEXT COLLATE BINARY PRIMARY KEY NOT NULL,\n  name_json TEXT NOT NULL,\n  first_index INTEGER NOT NULL UNIQUE,\n  joined INTEGER NOT NULL CHECK (joined IN (0,1)),\n  done INTEGER NOT NULL CHECK (done IN (0,1)),\n  say_count INTEGER NOT NULL CHECK (say_count >= 0),\n  last_active_at REAL,\n  last_join_index INTEGER,\n  CHECK (NOT (joined=1 AND done=1))\n) WITHOUT ROWID;\nCREATE TABLE attention (\n  listener_key_json TEXT COLLATE BINARY NOT NULL,\n  target_key_json TEXT COLLATE BINARY NOT NULL,\n  target_json TEXT NOT NULL,\n  kind TEXT NOT NULL CHECK (kind IN ('listen','ignore')),\n  since_index INTEGER NOT NULL,\n  PRIMARY KEY (listener_key_json, target_key_json)\n) WITHOUT ROWID;\nCREATE INDEX attention_target ON attention(target_key_json, kind, listener_key_json);\nCREATE TABLE landed_audience (\n  act_index INTEGER NOT NULL,\n  recipient_key_json TEXT COLLATE BINARY NOT NULL,\n  recipient_order INTEGER NOT NULL CHECK (recipient_order >= 0),\n  reason TEXT NOT NULL CHECK (reason IN ('mention','reply','attention','bell')),\n  PRIMARY KEY (act_index, recipient_key_json),\n  UNIQUE (act_index, recipient_order)\n) WITHOUT ROWID;\nCREATE INDEX audience_recipient ON landed_audience(recipient_key_json, act_index);";
+export interface AgoraConfig {
+    readonly hardCap?: number | null;
+    readonly throttlePerMinute?: number;
+    readonly preamble?: readonly string[];
+    readonly warmup?: readonly string[];
+}
+export declare function initializeAgoraSqlite(db: DatabaseSync, configuration?: AgoraConfig): void;
+export declare function resetAgoraSqlite(db: DatabaseSync): void;
+/** The lower schema is supplied by the composition root; Agora never defines Channel tables. */
+export interface LowerSchema {
+    readonly schemaSql: string;
+    initialize(db: DatabaseSync): void;
+    reset(db: DatabaseSync): void;
 }
-/**
- * Read-only legacy framing: application id, format version, journal mode and the
- * exact owned snapshot schema. It decodes no snapshot payload, writes no pragma
- * and runs no DDL, so ordinary open can establish ownership before requiring
- * migration. Anything else is unrelated or unsupported, not repaired.
- */
-export declare function validateLegacyFraming(database: DatabaseSync, applicationId: number, location?: string): LegacyFraming;
-export declare const ACTIVITIES_TABLE_SQL = "CREATE TABLE activities (\n  act_index INTEGER PRIMARY KEY CHECK (act_index BETWEEN 0 AND 9007199254740991),\n  at REAL NOT NULL,\n  kind TEXT NOT NULL CHECK (kind IN ('join','done','say','read','listen','ignore','unlisten')),\n  actor_json TEXT COLLATE BINARY NOT NULL,\n  actor_key_json TEXT COLLATE BINARY NOT NULL,\n  reach TEXT CHECK (reach = 'bell'),\n  reply_index INTEGER CHECK (reply_index >= 0 AND reply_index < act_index),\n  payload_json TEXT NOT NULL CHECK (json_valid(payload_json)),\n  CHECK (kind = 'say' OR (reach IS NULL AND reply_index IS NULL))\n);";
-export declare const ACTIVITY_INDEXES_SQL: readonly ["CREATE INDEX activity_kind_index ON activities(kind, act_index)", "CREATE INDEX activity_actor_index ON activities(actor_key_json, act_index)", "CREATE INDEX activity_say_actor_index ON activities(actor_key_json, act_index) WHERE kind='say'", "CREATE INDEX activity_say_time ON activities(at, act_index) WHERE kind='say'", "CREATE INDEX activity_bell_actor_time ON activities(actor_key_json, at, act_index) WHERE kind='say' AND reach='bell'"];
-export declare const DELIVERY_DEFERRALS_SQL = "CREATE TABLE delivery_deferrals (\n  participant_key_json TEXT COLLATE BINARY NOT NULL,\n  participant_json TEXT NOT NULL,\n  generation_json TEXT NOT NULL,\n  deferral_id_json TEXT NOT NULL,\n  match_json TEXT NOT NULL CHECK (json_valid(match_json)),\n  expires_at REAL NOT NULL,\n  PRIMARY KEY (participant_key_json,generation_json,deferral_id_json)\n) WITHOUT ROWID;\nCREATE INDEX delivery_deferral_expiry ON delivery_deferrals(participant_key_json,generation_json,expires_at);";
-export declare const SCHEMA_SQL: string;
-export declare const FORMAT7_SCHEMA_SQL: string;
-export declare const FORMAT6_SCHEMA_SQL: string;
-export declare const FORMAT5_SCHEMA_SQL: string;
-export declare const FORMAT4_SCHEMA_SQL: string;
-export declare function invalidArtifact(detail: string): SquareError;
+/** Explicit full-Square framing and reset, composed from the neutral store and the supplied Channel schema. */
+export declare function squareStoreFormat(lower: LowerSchema, resetStorage: (db: DatabaseSync) => void): StoreFormat;
+/** A persisted upper activity. A say is a relation: it may not carry content and must name its message. */
 export declare function validateStoredActivity(value: unknown): StoredAct;
+/** The explicit upper projection of a stored say onto its authoritative message content. */
+export declare function validateHydratedActivity(value: unknown): HydratedAct;
 export declare function validateWatchLease(value: unknown): WatchLease;
-export declare function validateRowFraming(db: DatabaseSync, version: 2 | 3 | 4 | 5 | 6 | 7 | 8, location?: string): void;
-export declare function validateSqliteHeader(db: DatabaseSync, location?: string): SquareHeader;
-export interface SqliteDriver extends SquareRead, LandingWriter {
+export declare function readSquareHeader(db: DatabaseSync): SquareHeader;
+export interface SqliteDriver extends SquareRead {
+    readonly channel: ChannelWrite;
+    storeSeat(seat: Seat): boolean;
+    removeSeat(seat: EndpointRef): boolean;
+    applyLanding(effect: import('./square-domain.js').LandingEffect): void;
     readonly changed: boolean;
     readonly deliveryChanged: boolean;
-    claimDelivery(input: DeliveryClaimInput): DeliveryClaimResult;
-    prepareDelivery(input: DeliveryPreparation): boolean;
-    completeDelivery(input: DeliveryCompletion): boolean;
+    /** Explicit import replay: one message for every say, then the activity/audience facts. */
+    importLanding(activity: HydratedAct): StoredAct;
 }
-export declare function createSqliteDriver(db: DatabaseSync): SqliteDriver;
-/** Explicit import only. Caller owns transaction, legacy validation and format publication. */
-export declare function initializeSqlite(db: DatabaseSync, state: SquareState, revision?: number): void;
+export declare function createSqliteDriver(db: DatabaseSync, channelDriver?: ChannelWrite & {
+    readonly changed: boolean;
+    readonly deliveryChanged: boolean;
+}): SqliteDriver;
+/** Explicit import replay. Caller owns the transaction and format publication. */
+export declare function initializeSqlite(db: DatabaseSync, state: SquareState, revision: number, lower: LowerSchema): void;
 export declare function exportSqliteState(db: DatabaseSync): SquareState;
-/** Full read-only integrity inspection, including maintained-index replay comparison. */
-export declare function inspectSqlite(db: DatabaseSync): {
+/** Read-only integrity inspection; maintained-index replay runs when the lower schema is supplied. */
+export declare function inspectSqlite(db: DatabaseSync, lower?: LowerSchema): {
     standingCount: number;
 };