@agentshouse/mdruntime 0.1.0-c1db74d14e5fa → 0.1.0-c1e540acf5f9d

package/dist/messages.d.ts

@@ -0,0 +1,56 @@
+import type { AcceptedMessage } from './adapter.js';
+import type { Connection } from './tables.js';
+export declare const MESSAGE_TABLES: readonly string[];
+export declare const ROWS = "WITH chosen AS (\n    SELECT listed.value AS conversation,\n      (SELECT id FROM conversation_messages WHERE conversation = listed.value AND json_extract(message, '$.role') = 'assistant' ORDER BY position DESC, identity DESC LIMIT 1) AS answer,\n      (SELECT id FROM conversation_messages WHERE conversation = listed.value AND text <> '' ORDER BY position DESC, identity DESC LIMIT 1) AS said,\n      (SELECT id FROM conversation_messages WHERE conversation = listed.value AND json_extract(message, '$.role') = 'house' ORDER BY position, identity LIMIT 1) AS opened,\n      (SELECT id FROM conversation_messages WHERE conversation = listed.value AND json_extract(message, '$.role') = 'house' AND json_extract(message, '$.waiting') = 1 ORDER BY position, identity LIMIT 1) AS asking\n    FROM json_each(?) AS listed\n  )\n  SELECT chosen.conversation AS conversation,\n    substr(said.text, 1, 512) AS said_text,\n    json_extract(said.message, '$.role') AS said_role,\n    json_extract(said.message, '$.accepted_at') AS said_at,\n    substr(json_extract(answer.message, '$.failure'), 1, 512) AS failure,\n    json_extract(opened.message, '$.source') AS opened_source,\n    json_extract(opened.message, '$.sender') AS opened_sender,\n    asking.identity AS asking_identity,\n    asking.text AS asking_text,\n    json_extract(asking.message, '$.accepted_at') AS asking_at,\n    json_extract(asking.message, '$.source') AS asking_source,\n    json_extract(asking.message, '$.sender') AS asking_sender\n  FROM chosen\n  LEFT JOIN conversation_messages said ON said.id = chosen.said\n  LEFT JOIN conversation_messages answer ON answer.id = chosen.answer\n  LEFT JOIN conversation_messages opened ON opened.id = chosen.opened\n  LEFT JOIN conversation_messages asking ON asking.id = chosen.asking";
+export type HeldConversation = {
+    readonly conversation: string;
+    readonly read: string | null | undefined;
+    readonly partial: boolean;
+};
+export type MessageWindow = {
+    readonly messages: AcceptedMessage[];
+    readonly more: boolean;
+};
+export type HeldSource = {
+    readonly source: unknown;
+    readonly sender: string | null;
+};
+export type HeldRow = {
+    readonly conversation: string;
+    readonly said: {
+        readonly text: string;
+        readonly role: string | null;
+        readonly at: string | null;
+    } | null;
+    readonly failure: string | null;
+    readonly opened: HeldSource | null;
+    readonly asking: (HeldSource & {
+        readonly identity: string;
+        readonly text: string;
+        readonly at: string | null;
+    }) | null;
+};
+export type ConversationFact = 'openedTurn' | 'dismissedSuggestion';
+export type HeldFact = {
+    readonly conversation: string;
+    readonly name: ConversationFact;
+    readonly value: string;
+};
+export type ConversationWrite = {
+    readonly conversation: string;
+    readonly messages: readonly AcceptedMessage[];
+    readonly read?: {
+        readonly at: string | null;
+        readonly partial: boolean;
+    };
+};
+export declare function heldConversations(connection: Connection, conversations: readonly string[] | null): HeldConversation[];
+export declare function keptMessages(connection: Connection, { conversation, messages, read }: ConversationWrite): null;
+export declare function messageWindow(connection: Connection, conversation: string, limit: number, before: readonly [string, string] | null, phrase: string | null): MessageWindow;
+export declare function messageCount(connection: Connection, conversation: string, phrase: string | null): number;
+export declare function conversationRows(connection: Connection, conversations: readonly string[]): HeldRow[];
+export declare function turnArrived(connection: Connection, conversation: string, turn: string): boolean;
+export declare function conversationFacts(connection: Connection): HeldFact[];
+export declare function keptFact(connection: Connection, { conversation, name, value }: HeldFact): null;
+export declare function forgottenConversations(connection: Connection): void;
+//# sourceMappingURL=messages.d.ts.map

package/dist/messages.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"messages.d.ts","sourceRoot":"","sources":["../src/messages.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC;AAGpD,OAAO,KAAK,EAAE,UAAU,EAAc,MAAM,aAAa,CAAC;AAM1D,eAAO,MAAM,cAAc,EAAE,SAAS,MAAM,EAQ3C,CAAC;AAQF,eAAO,MAAM,IAAI,qwDAwBqD,CAAC;AAEvE,MAAM,MAAM,gBAAgB,GAAG;IAC7B,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI,GAAG,SAAS,CAAC;IACzC,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;CAC3B,CAAC;AAEF,MAAM,MAAM,aAAa,GAAG;IAAE,QAAQ,CAAC,QAAQ,EAAE,eAAe,EAAE,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAA;CAAE,CAAC;AAE7F,MAAM,MAAM,UAAU,GAAG;IAAE,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,CAAA;CAAE,CAAC;AAEtF,MAAM,MAAM,OAAO,GAAG;IACpB,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,IAAI,EAAE;QACb,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;QACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI,CAAC;QAC7B,QAAQ,CAAC,EAAE,EAAE,MAAM,GAAG,IAAI,CAAC;KAC5B,GAAG,IAAI,CAAC;IACT,QAAQ,CAAC,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;IAChC,QAAQ,CAAC,MAAM,EAAE,UAAU,GAAG,IAAI,CAAC;IACnC,QAAQ,CAAC,MAAM,EACX,CAAC,UAAU,GAAG;QACZ,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;QAC1B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;QACtB,QAAQ,CAAC,EAAE,EAAE,MAAM,GAAG,IAAI,CAAC;KAC5B,CAAC,GACF,IAAI,CAAC;CACV,CAAC;AAEF,MAAM,MAAM,gBAAgB,GAAG,YAAY,GAAG,qBAAqB,CAAC;AAEpE,MAAM,MAAM,QAAQ,GAAG;IACrB,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,IAAI,EAAE,gBAAgB,CAAC;IAChC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB,CAAC;AAEF,MAAM,MAAM,iBAAiB,GAAG;IAC9B,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,QAAQ,EAAE,SAAS,eAAe,EAAE,CAAC;IAC9C,QAAQ,CAAC,IAAI,CAAC,EAAE;QAAE,QAAQ,CAAC,EAAE,EAAE,MAAM,GAAG,IAAI,CAAC;QAAC,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAA;KAAE,CAAC;CAC3E,CAAC;AAMF,wBAAgB,iBAAiB,CAC/B,UAAU,EAAE,UAAU,EACtB,aAAa,EAAE,SAAS,MAAM,EAAE,GAAG,IAAI,GACtC,gBAAgB,EAAE,CA0BpB;AAED,wBAAgB,YAAY,CAC1B,UAAU,EAAE,UAAU,EACtB,EAAE,YAAY,EAAE,QAAQ,EAAE,IAAI,EAAE,EAAE,iBAAiB,GAClD,IAAI,CAsBN;AAmBD,wBAAgB,aAAa,CAC3B,UAAU,EAAE,UAAU,EACtB,YAAY,EAAE,MAAM,EACpB,KAAK,EAAE,MAAM,EACb,MAAM,EAAE,SAAS,CAAC,MAAM,EAAE,MAAM,CAAC,GAAG,IAAI,EACxC,MAAM,EAAE,MAAM,GAAG,IAAI,GACpB,aAAa,CAWf;AAED,wBAAgB,YAAY,CAC1B,UAAU,EAAE,UAAU,EACtB,YAAY,EAAE,MAAM,EACpB,MAAM,EAAE,MAAM,GAAG,IAAI,GACpB,MAAM,CAOR;AAaD,wBAAgB,gBAAgB,CAC9B,UAAU,EAAE,UAAU,EACtB,aAAa,EAAE,SAAS,MAAM,EAAE,GAC/B,OAAO,EAAE,CAuBX;AAED,wBAAgB,WAAW,CAAC,UAAU,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,OAAO,CAO/F;AAED,wBAAgB,iBAAiB,CAAC,UAAU,EAAE,UAAU,GAAG,QAAQ,EAAE,CAMpE;AAED,wBAAgB,QAAQ,CAAC,UAAU,EAAE,UAAU,EAAE,EAAE,YAAY,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,QAAQ,GAAG,IAAI,CAM9F;AAED,wBAAgB,sBAAsB,CAAC,UAAU,EAAE,UAAU,GAAG,IAAI,CAEnE"}

package/dist/messages.js

@@ -0,0 +1,158 @@
+import { sql } from '@agentshouse/mdmodel';
+import { EXCERPT } from './read.js';
+import { tablesOf } from './stored.js';
+const SAID_BY_HOUSE = `json_extract(message, '$.role') = 'house'`;
+const ANSWERS_THE_TURN = `json_extract(message, '$.role') = 'assistant'`;
+export const MESSAGE_TABLES = [
+    'CREATE TABLE conversation_reads (conversation TEXT PRIMARY KEY, read TEXT, partial INTEGER NOT NULL) WITHOUT ROWID',
+    'CREATE TABLE conversation_messages (id INTEGER PRIMARY KEY, conversation TEXT NOT NULL, identity TEXT NOT NULL, turn TEXT NOT NULL, position TEXT NOT NULL, change TEXT NOT NULL, message TEXT NOT NULL, text TEXT NOT NULL)',
+    'CREATE UNIQUE INDEX conversation_messages_identity ON conversation_messages (conversation, identity)',
+    'CREATE INDEX conversation_messages_position ON conversation_messages (conversation, position, identity)',
+    'CREATE INDEX conversation_messages_turn ON conversation_messages (conversation, turn)',
+    `CREATE INDEX conversation_messages_house ON conversation_messages (conversation, position, identity) WHERE ${SAID_BY_HOUSE}`,
+    'CREATE TABLE conversation_facts (conversation TEXT NOT NULL, name TEXT NOT NULL, value TEXT NOT NULL, PRIMARY KEY (conversation, name)) WITHOUT ROWID',
+];
+const NEWEST_FIRST = 'ORDER BY position DESC, identity DESC LIMIT 1';
+const OLDEST_FIRST = 'ORDER BY position, identity LIMIT 1';
+const OF_THE_ROW = 'SELECT id FROM conversation_messages WHERE conversation = listed.value';
+export const ROWS = `WITH chosen AS (
+    SELECT listed.value AS conversation,
+      (${OF_THE_ROW} AND ${ANSWERS_THE_TURN} ${NEWEST_FIRST}) AS answer,
+      (${OF_THE_ROW} AND text <> '' ${NEWEST_FIRST}) AS said,
+      (${OF_THE_ROW} AND ${SAID_BY_HOUSE} ${OLDEST_FIRST}) AS opened,
+      (${OF_THE_ROW} AND ${SAID_BY_HOUSE} AND json_extract(message, '$.waiting') = 1 ${OLDEST_FIRST}) AS asking
+    FROM json_each(?) AS listed
+  )
+  SELECT chosen.conversation AS conversation,
+    substr(said.text, 1, ${EXCERPT}) AS said_text,
+    json_extract(said.message, '$.role') AS said_role,
+    json_extract(said.message, '$.accepted_at') AS said_at,
+    substr(json_extract(answer.message, '$.failure'), 1, ${EXCERPT}) AS failure,
+    json_extract(opened.message, '$.source') AS opened_source,
+    json_extract(opened.message, '$.sender') AS opened_sender,
+    asking.identity AS asking_identity,
+    asking.text AS asking_text,
+    json_extract(asking.message, '$.accepted_at') AS asking_at,
+    json_extract(asking.message, '$.source') AS asking_source,
+    json_extract(asking.message, '$.sender') AS asking_sender
+  FROM chosen
+  LEFT JOIN conversation_messages said ON said.id = chosen.said
+  LEFT JOIN conversation_messages answer ON answer.id = chosen.answer
+  LEFT JOIN conversation_messages opened ON opened.id = chosen.opened
+  LEFT JOIN conversation_messages asking ON asking.id = chosen.asking`;
+function text(value) {
+    return typeof value === 'string' ? value : String(value);
+}
+export function heldConversations(connection, conversations) {
+    const named = conversations === null ? '' : ' AND conversation IN (SELECT value FROM json_each(?))';
+    const bound = conversations === null ? [] : [JSON.stringify(conversations)];
+    const held = new Map();
+    for (const row of connection.rows(`SELECT conversation, read, partial FROM conversation_reads WHERE 1 = 1${named}`, bound)) {
+        held.set(text(row.conversation), {
+            conversation: text(row.conversation),
+            read: row.read === null ? null : text(row.read),
+            partial: Number(row.partial) === 1,
+        });
+    }
+    for (const row of connection.rows(`SELECT DISTINCT conversation FROM conversation_messages WHERE conversation NOT IN (SELECT conversation FROM conversation_reads)${named}`, bound)) {
+        held.set(text(row.conversation), {
+            conversation: text(row.conversation),
+            read: undefined,
+            partial: true,
+        });
+    }
+    return [...held.values()];
+}
+export function keptMessages(connection, { conversation, messages, read }) {
+    for (const message of messages) {
+        connection.run('INSERT INTO conversation_messages (conversation, identity, turn, position, change, message, text) VALUES (?, ?, ?, ?, ?, ?, ?) ON CONFLICT (conversation, identity) DO UPDATE SET turn = excluded.turn, position = excluded.position, change = excluded.change, message = excluded.message, text = excluded.text', [
+            conversation,
+            message.identity,
+            message.turn,
+            message.position,
+            message.change,
+            JSON.stringify(message.message ?? null),
+            message.text,
+        ]);
+    }
+    if (read !== undefined) {
+        connection.run('INSERT OR REPLACE INTO conversation_reads (conversation, read, partial) VALUES (?, ?, ?)', [conversation, read.at, read.partial ? 1 : 0]);
+    }
+    return null;
+}
+function accepted(row) {
+    return {
+        identity: text(row.identity),
+        turn: text(row.turn),
+        position: text(row.position),
+        change: text(row.change),
+        text: text(row.text),
+        message: JSON.parse(text(row.message)),
+    };
+}
+function holding(phrase) {
+    return phrase === null
+        ? { sql: '', bind: [] }
+        : { sql: ` AND ${sql.HOLDS_PHRASE}(text, ?)`, bind: [phrase.toLowerCase()] };
+}
+export function messageWindow(connection, conversation, limit, before, phrase) {
+    const held = holding(phrase);
+    const rows = connection.rows(`SELECT identity, turn, position, change, message, text FROM conversation_messages WHERE conversation = ?${held.sql}${before === null ? '' : ' AND (position < ? OR (position = ? AND identity < ?))'} ORDER BY position DESC, identity DESC LIMIT ?`, before === null
+        ? [conversation, ...held.bind, limit + 1]
+        : [conversation, ...held.bind, before[0], before[0], before[1], limit + 1]);
+    return { messages: rows.slice(0, limit).map(accepted).reverse(), more: rows.length > limit };
+}
+export function messageCount(connection, conversation, phrase) {
+    const held = holding(phrase);
+    const [counted] = connection.rows(`SELECT count(*) AS held FROM conversation_messages WHERE conversation = ?${held.sql}`, [conversation, ...held.bind]);
+    return Number(counted?.held ?? 0);
+}
+function textOrNull(value) {
+    return value === null ? null : text(value);
+}
+function heldSource(source, sender) {
+    return {
+        source: source === null ? null : JSON.parse(text(source)),
+        sender: textOrNull(sender),
+    };
+}
+export function conversationRows(connection, conversations) {
+    return connection.rows(ROWS, [JSON.stringify(conversations)]).map((row) => ({
+        conversation: text(row.conversation),
+        said: row.said_text === null
+            ? null
+            : {
+                text: text(row.said_text),
+                role: textOrNull(row.said_role),
+                at: textOrNull(row.said_at),
+            },
+        failure: textOrNull(row.failure),
+        opened: row.opened_source === null ? null : heldSource(row.opened_source, row.opened_sender),
+        asking: row.asking_identity === null
+            ? null
+            : {
+                ...heldSource(row.asking_source, row.asking_sender),
+                identity: text(row.asking_identity),
+                text: text(row.asking_text),
+                at: textOrNull(row.asking_at),
+            },
+    }));
+}
+export function turnArrived(connection, conversation, turn) {
+    return (connection.rows('SELECT 1 FROM conversation_messages WHERE conversation = ? AND turn = ? LIMIT 1', [conversation, turn]).length > 0);
+}
+export function conversationFacts(connection) {
+    return connection.rows('SELECT conversation, name, value FROM conversation_facts').map((row) => ({
+        conversation: text(row.conversation),
+        name: text(row.name),
+        value: text(row.value),
+    }));
+}
+export function keptFact(connection, { conversation, name, value }) {
+    connection.run('INSERT OR REPLACE INTO conversation_facts (conversation, name, value) VALUES (?, ?, ?)', [conversation, name, value]);
+    return null;
+}
+export function forgottenConversations(connection) {
+    for (const table of tablesOf(MESSAGE_TABLES))
+        connection.run(`DELETE FROM ${table}`);
+}

package/dist/model.d.ts

@@ -1,4 +1,4 @@
-import type { Definition, ValueFacts, VerifiedModel } from '@agentshouse/mdmodel';
+import type { Definition, VerifiedModel } from '@agentshouse/mdmodel';
 import type { Open } from './open.js';
 export type ModelIdentity = {
     identity: string;
@@ -8,7 +8,7 @@ export type ModelSnapshot = ModelIdentity & {
     schema: string | null;
     revision: string | null;
 };
-export type ModelUnavailableReason = Open<'not-readable' | 'revoked' | 'not-acquired' | 'invalid'>;
+export type ModelUnavailableReason = Open<'not-readable' | 'revoked' | 'not-acquired'>;
 export type ModelResult = {
     kind: 'model';
     snapshot: ModelSnapshot;
@@ -20,21 +20,23 @@ export type MdType = Definition;
 export type ModelState = {
     status: 'unavailable';
     reason: ModelUnavailableReason;
-    schema?: string | null;
-    revision?: string | null;
 } | {
     status: 'current' | 'cached';
     snapshot: ModelSnapshot;
     verifiedWith: ModelIdentity;
     types: VerifiedModel['types'];
 };
-export type TypesResult = {
+export type StoredModel = Extract<ModelState, {
     status: 'unavailable';
+}> | Omit<Extract<ModelState, {
+    status: 'current' | 'cached';
+}>, 'types'>;
+export type TypesResult = {
+    status: Open<'unavailable'>;
     reason: ModelUnavailableReason;
-    schema?: string | null;
-    revision?: string | null;
+    types: null;
 } | {
-    status: 'current' | 'cached';
+    status: Open<'current' | 'cached'>;
     identity: string;
     version: string;
     verifiedWith: ModelIdentity;
@@ -48,10 +50,6 @@ export type ValidationReceipt = {
     source: Open<'current' | 'cached'>;
 };
 export declare const NO_MODEL: ModelState;
-export declare function definitionOf(state: ModelState, type: string | undefined): Definition | undefined;
 export declare function modelTypes(state: ModelState): TypesResult;
-export declare function cached(state: ModelState): ModelState;
-export declare function sameModel(left: ModelIdentity, right: ModelIdentity): boolean;
-export declare function sameTyping(left: ModelState, right: ModelState): boolean;
-export declare function referenceField(facts: ValueFacts | undefined): boolean;
+export declare function storedModel(state: ModelState): StoredModel;
 //# sourceMappingURL=model.d.ts.map

package/dist/model.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"model.d.ts","sourceRoot":"","sources":["../src/model.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,UAAU,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAC;AAClF,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAEtC,MAAM,MAAM,aAAa,GAAG;IAAE,QAAQ,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,MAAM,CAAA;CAAE,CAAC;AAClE,MAAM,MAAM,aAAa,GAAG,aAAa,GAAG;IAAE,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;IAAC,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAA;CAAE,CAAC;AAC/F,MAAM,MAAM,sBAAsB,GAAG,IAAI,CAAC,cAAc,GAAG,SAAS,GAAG,cAAc,GAAG,SAAS,CAAC,CAAC;AACnG,MAAM,MAAM,WAAW,GACnB;IAAE,IAAI,EAAE,OAAO,CAAC;IAAC,QAAQ,EAAE,aAAa,CAAA;CAAE,GAC1C;IAAE,IAAI,EAAE,mBAAmB,CAAC;IAAC,MAAM,EAAE,sBAAsB,CAAA;CAAE,CAAC;AAClE,MAAM,MAAM,MAAM,GAAG,UAAU,CAAC;AAChC,MAAM,MAAM,UAAU,GAClB;IACE,MAAM,EAAE,aAAa,CAAC;IACtB,MAAM,EAAE,sBAAsB,CAAC;IAC/B,MAAM,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IACvB,QAAQ,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;CAC1B,GACD;IACE,MAAM,EAAE,SAAS,GAAG,QAAQ,CAAC;IAC7B,QAAQ,EAAE,aAAa,CAAC;IACxB,YAAY,EAAE,aAAa,CAAC;IAC5B,KAAK,EAAE,aAAa,CAAC,OAAO,CAAC,CAAC;CAC/B,CAAC;AACN,MAAM,MAAM,WAAW,GACnB;IACE,MAAM,EAAE,aAAa,CAAC;IACtB,MAAM,EAAE,sBAAsB,CAAC;IAC/B,MAAM,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IACvB,QAAQ,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;CAC1B,GACD;IACE,MAAM,EAAE,SAAS,GAAG,QAAQ,CAAC;IAC7B,QAAQ,EAAE,MAAM,CAAC;IACjB,OAAO,EAAE,MAAM,CAAC;IAChB,YAAY,EAAE,aAAa,CAAC;IAC5B,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;IACzB,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;IACtB,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAC;CACzB,CAAC;AACN,MAAM,MAAM,iBAAiB,GAAG;IAC9B,QAAQ,EAAE,MAAM,CAAC;IACjB,OAAO,EAAE,MAAM,CAAC;IAChB,MAAM,EAAE,IAAI,CAAC,SAAS,GAAG,QAAQ,CAAC,CAAC;CACpC,CAAC;AACF,eAAO,MAAM,QAAQ,EAAE,UAA8D,CAAC;AACtF,wBAAgB,YAAY,CAAC,KAAK,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,GAAG,SAAS,GAAG,UAAU,GAAG,SAAS,CAGhG;AACD,wBAAgB,UAAU,CAAC,KAAK,EAAE,UAAU,GAAG,WAAW,CAgBzD;AACD,wBAAgB,MAAM,CAAC,KAAK,EAAE,UAAU,GAAG,UAAU,CAEpD;AACD,wBAAgB,SAAS,CAAC,IAAI,EAAE,aAAa,EAAE,KAAK,EAAE,aAAa,GAAG,OAAO,CAE5E;AACD,wBAAgB,UAAU,CAAC,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,UAAU,GAAG,OAAO,CASvE;AACD,wBAAgB,cAAc,CAAC,KAAK,EAAE,UAAU,GAAG,SAAS,GAAG,OAAO,CAErE"}
+{"version":3,"file":"model.d.ts","sourceRoot":"","sources":["../src/model.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAC;AACtE,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAEtC,MAAM,MAAM,aAAa,GAAG;IAAE,QAAQ,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,MAAM,CAAA;CAAE,CAAC;AAClE,MAAM,MAAM,aAAa,GAAG,aAAa,GAAG;IAAE,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;IAAC,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAA;CAAE,CAAC;AAC/F,MAAM,MAAM,sBAAsB,GAAG,IAAI,CAAC,cAAc,GAAG,SAAS,GAAG,cAAc,CAAC,CAAC;AACvF,MAAM,MAAM,WAAW,GACnB;IAAE,IAAI,EAAE,OAAO,CAAC;IAAC,QAAQ,EAAE,aAAa,CAAA;CAAE,GAC1C;IAAE,IAAI,EAAE,mBAAmB,CAAC;IAAC,MAAM,EAAE,sBAAsB,CAAA;CAAE,CAAC;AAClE,MAAM,MAAM,MAAM,GAAG,UAAU,CAAC;AAChC,MAAM,MAAM,UAAU,GAClB;IAAE,MAAM,EAAE,aAAa,CAAC;IAAC,MAAM,EAAE,sBAAsB,CAAA;CAAE,GACzD;IACE,MAAM,EAAE,SAAS,GAAG,QAAQ,CAAC;IAC7B,QAAQ,EAAE,aAAa,CAAC;IACxB,YAAY,EAAE,aAAa,CAAC;IAC5B,KAAK,EAAE,aAAa,CAAC,OAAO,CAAC,CAAC;CAC/B,CAAC;AACN,MAAM,MAAM,WAAW,GACnB,OAAO,CAAC,UAAU,EAAE;IAAE,MAAM,EAAE,aAAa,CAAA;CAAE,CAAC,GAC9C,IAAI,CAAC,OAAO,CAAC,UAAU,EAAE;IAAE,MAAM,EAAE,SAAS,GAAG,QAAQ,CAAA;CAAE,CAAC,EAAE,OAAO,CAAC,CAAC;AACzE,MAAM,MAAM,WAAW,GACnB;IAAE,MAAM,EAAE,IAAI,CAAC,aAAa,CAAC,CAAC;IAAC,MAAM,EAAE,sBAAsB,CAAC;IAAC,KAAK,EAAE,IAAI,CAAA;CAAE,GAC5E;IACE,MAAM,EAAE,IAAI,CAAC,SAAS,GAAG,QAAQ,CAAC,CAAC;IACnC,QAAQ,EAAE,MAAM,CAAC;IACjB,OAAO,EAAE,MAAM,CAAC;IAChB,YAAY,EAAE,aAAa,CAAC;IAC5B,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;IACzB,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;IACtB,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAC;CACzB,CAAC;AACN,MAAM,MAAM,iBAAiB,GAAG;IAC9B,QAAQ,EAAE,MAAM,CAAC;IACjB,OAAO,EAAE,MAAM,CAAC;IAChB,MAAM,EAAE,IAAI,CAAC,SAAS,GAAG,QAAQ,CAAC,CAAC;CACpC,CAAC;AACF,eAAO,MAAM,QAAQ,EAAE,UAA8D,CAAC;AACtF,wBAAgB,UAAU,CAAC,KAAK,EAAE,UAAU,GAAG,WAAW,CAczD;AACD,wBAAgB,WAAW,CAAC,KAAK,EAAE,UAAU,GAAG,WAAW,CAI1D"}

package/dist/model.js

@@ -1,12 +1,7 @@
 export const NO_MODEL = { status: 'unavailable', reason: 'not-acquired' };
-export function definitionOf(state, type) {
-    if (state.status === 'unavailable' || type === undefined)
-        return undefined;
-    return Object.hasOwn(state.types, type) ? state.types[type] : undefined;
-}
 export function modelTypes(state) {
     return state.status === 'unavailable'
-        ? { ...state }
+        ? { ...state, types: null }
         : {
             status: state.status,
             identity: state.snapshot.identity,
@@ -14,24 +9,12 @@ export function modelTypes(state) {
             verifiedWith: { ...state.verifiedWith },
             schema: state.snapshot.schema,
             revision: state.snapshot.revision,
-            types: structuredClone(Object.values(state.types).sort((left, right) => left.name < right.name ? -1 : left.name > right.name ? 1 : 0)),
+            types: Object.values(state.types).sort((left, right) => left.name < right.name ? -1 : left.name > right.name ? 1 : 0),
         };
 }
-export function cached(state) {
-    return state.status === 'unavailable' ? state : { ...state, status: 'cached' };
-}
-export function sameModel(left, right) {
-    return left.identity === right.identity && left.version === right.version;
-}
-export function sameTyping(left, right) {
-    if (left === right)
-        return true;
-    if (left.status === 'unavailable' || right.status === 'unavailable') {
-        return left.status === right.status;
-    }
-    return (left.snapshot.schema === right.snapshot.schema &&
-        sameModel(left.verifiedWith, right.verifiedWith));
-}
-export function referenceField(facts) {
-    return facts?.reference !== undefined || facts?.items?.reference !== undefined;
+export function storedModel(state) {
+    if (state.status === 'unavailable')
+        return state;
+    const { types: _types, ...stored } = state;
+    return stored;
 }

package/dist/models.d.ts

@@ -0,0 +1,10 @@
+import type { RoomDeclaration, ScopedRefusal } from './adapter.js';
+import { type ModelState } from './model.js';
+import type { Runtime } from './runtime.js';
+import type { RuntimeStore } from './store.js';
+export declare function revoked(model: ModelState | undefined): boolean;
+export declare function retainModel(runtime: Runtime, locator: string, declaration: RoomDeclaration, given: ModelState | null, refused?: true): Promise<void>;
+export declare function scoped(runtime: Runtime, result: ScopedRefusal, locator: string, declaration: RoomDeclaration): Promise<void>;
+export declare function settleModels(runtime: Runtime, held: ReadonlyMap<string, RoomDeclaration>, status: 'current' | 'cached', local: RuntimeStore): Promise<void>;
+export declare function cachedModels(runtime: Runtime, local: RuntimeStore): Promise<void>;
+//# sourceMappingURL=models.d.ts.map

package/dist/models.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"models.d.ts","sourceRoot":"","sources":["../src/models.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,eAAe,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAOnE,OAAO,EAAY,KAAK,UAAU,EAAE,MAAM,YAAY,CAAC;AAGvD,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AAE5C,OAAO,KAAK,EAAc,YAAY,EAAS,MAAM,YAAY,CAAC;AAMlE,wBAAgB,OAAO,CAAC,KAAK,EAAE,UAAU,GAAG,SAAS,GAAG,OAAO,CAE9D;AA0DD,wBAAsB,WAAW,CAC/B,OAAO,EAAE,OAAO,EAChB,OAAO,EAAE,MAAM,EACf,WAAW,EAAE,eAAe,EAC5B,KAAK,EAAE,UAAU,GAAG,IAAI,EACxB,OAAO,CAAC,EAAE,IAAI,iBA2Bf;AAED,wBAAsB,MAAM,CAC1B,OAAO,EAAE,OAAO,EAChB,MAAM,EAAE,aAAa,EACrB,OAAO,EAAE,MAAM,EACf,WAAW,EAAE,eAAe,iBAkB7B;AAED,wBAAsB,YAAY,CAChC,OAAO,EAAE,OAAO,EAChB,IAAI,EAAE,WAAW,CAAC,MAAM,EAAE,eAAe,CAAC,EAC1C,MAAM,EAAE,SAAS,GAAG,QAAQ,EAC5B,KAAK,EAAE,YAAY,iBA8CpB;AAED,wBAAsB,YAAY,CAAC,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,YAAY,GAAG,OAAO,CAAC,IAAI,CAAC,CAkBvF"}

package/dist/models.js

@@ -0,0 +1,153 @@
+import { equalValue } from '@agentshouse/mdmodel';
+import { changeSet } from './change-set.js';
+import { composedOf } from './collection.js';
+import { declared, sameDeclaration } from './declaration.js';
+import { uncaught } from './failure.js';
+import { declarationOf, listedLocators } from './listing.js';
+import { loseRooms } from './lost.js';
+import { NO_MODEL } from './model.js';
+import { settle } from './queue.js';
+import { storedRecord } from './replica.js';
+import { emitRooms } from './shown.js';
+function declaredAsHeld(held, declaration) {
+    return held === undefined || sameDeclaration(held.declaration, declaration);
+}
+export function revoked(model) {
+    return model?.status === 'unavailable' && model.reason === 'revoked';
+}
+function unheldModelOf({ presence }, locator) {
+    return presence.unheldModel(locator) ?? NO_MODEL;
+}
+async function modelNow(runtime, locator) {
+    return (await runtime.store.record(locator))?.model ?? unheldModelOf(runtime, locator);
+}
+function restands(held, model, declaration) {
+    return (JSON.stringify(held.model) !== JSON.stringify(model) ||
+        !equalValue(held.declaration.typedSelection, declaration.typedSelection));
+}
+function recordAlone(store, record) {
+    return {
+        locator: record.locator,
+        key: record.key,
+        record: storedRecord(record),
+        composed: composedOf(store.composed(record)),
+    };
+}
+function unheld(runtime, locator, model) {
+    runtime.presence.modelled(locator, model);
+    emitRooms(runtime);
+}
+function recorded(runtime, locator, declaration, model) {
+    const { store, socket } = runtime;
+    return store.exclusive(async () => {
+        if (!socket.continuing())
+            return;
+        const current = await store.record(locator);
+        if (current === undefined) {
+            unheld(runtime, locator, model);
+            return;
+        }
+        const answer = await (await store.open()).commit({ rooms: [recordAlone(store, { ...current, declaration, model })] });
+        void store.changed(changeSet(locator, {
+            documents: answer.changed[locator] ?? [],
+            room: true,
+            unindexed: answer.indexed[locator] === false,
+        }));
+    });
+}
+export async function retainModel(runtime, locator, declaration, given, refused) {
+    const { store, socket } = runtime;
+    const held = await store.record(locator);
+    const previous = held?.model ?? unheldModelOf(runtime, locator);
+    const next = given ?? previous;
+    if (JSON.stringify(previous) === JSON.stringify(next) && declaredAsHeld(held, declaration))
+        return;
+    if (held !== undefined && !restands(held, next, declaration)) {
+        await recorded(runtime, locator, declaration, next);
+        return;
+    }
+    await settle(runtime, [locator], async (works) => {
+        if (!socket.continuing())
+            return [];
+        const current = works.get(locator)?.replica;
+        if (current === undefined) {
+            unheld(runtime, locator, next);
+            return [];
+        }
+        return [
+            {
+                locator,
+                record: { ...current.record, declaration, model: next },
+                ...(refused === undefined ? {} : { refused }),
+            },
+        ];
+    });
+}
+export async function scoped(runtime, result, locator, declaration) {
+    const { socket, presence } = runtime;
+    if (result.scope === 'content' && !result.retryable) {
+        await loseRooms(runtime, [locator]);
+        return;
+    }
+    presence.refused(locator, result);
+    if (result.scope === 'model')
+        await retainModel(runtime, locator, declaration, { status: 'unavailable', reason: 'not-readable' }, true);
+    if (!socket.continuing())
+        return;
+    emitRooms(runtime);
+}
+export async function settleModels(runtime, held, status, local) {
+    const { store, socket, presence } = runtime;
+    const owed = (model) => model.status !== 'unavailable' && model.status !== status;
+    const declaredAnew = await store.exclusive(async () => {
+        if (!socket.continuing())
+            return [];
+        const stored = await store.rooms([...held.keys()]);
+        const unchanged = [...held].filter(([locator, declaration]) => {
+            const record = stored.get(locator)?.record;
+            return (owed(record?.model ?? unheldModelOf(runtime, locator)) &&
+                declaredAsHeld(record, declaration));
+        });
+        const records = unchanged.flatMap(([locator]) => {
+            const record = stored.get(locator)?.record;
+            return record === undefined
+                ? []
+                : [{ ...record, model: { ...record.model, status } }];
+        });
+        if (records.length > 0) {
+            try {
+                await local.commit({ rooms: records.map((record) => recordAlone(store, record)) });
+            }
+            catch (error) {
+                uncaught(error);
+            }
+        }
+        for (const [locator] of unchanged) {
+            const unheldModel = presence.unheldModel(locator);
+            if (!stored.has(locator) && unheldModel !== null) {
+                presence.modelled(locator, { ...unheldModel, status });
+            }
+        }
+        if (unchanged.length > 0)
+            emitRooms(runtime);
+        const kept = new Set(unchanged.map(([locator]) => locator));
+        return [...held].filter(([locator]) => !kept.has(locator) &&
+            owed(stored.get(locator)?.record.model ?? unheldModelOf(runtime, locator)));
+    });
+    for (const [locator, declaration] of declaredAnew) {
+        const model = await modelNow(runtime, locator);
+        if (owed(model))
+            await retainModel(runtime, locator, declaration, { ...model, status });
+    }
+}
+export async function cachedModels(runtime, local) {
+    const { store, presence } = runtime;
+    const held = await store.rooms();
+    await settleModels(runtime, new Map(listedLocators(runtime, held).flatMap((locator) => {
+        const discovered = presence.room(locator);
+        const declaration = discovered === undefined
+            ? declarationOf(runtime, locator, held.get(locator))?.room
+            : declared(discovered);
+        return declaration === undefined ? [] : [[locator, declaration]];
+    })), 'cached', local);
+}

package/dist/name.d.ts

@@ -0,0 +1,4 @@
+export declare function transliterated(text: string): string;
+export declare function nameFrom(title: string): string;
+export declare function cutName(name: string, most: number): string;
+//# sourceMappingURL=name.d.ts.map

package/dist/name.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"name.d.ts","sourceRoot":"","sources":["../src/name.ts"],"names":[],"mappings":"AAgHA,wBAAgB,cAAc,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAEnD;AAED,wBAAgB,QAAQ,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CAK9C;AAED,wBAAgB,OAAO,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,MAAM,CAE1D"}

package/dist/name.js

@@ -0,0 +1,122 @@
+const LETTERS = {
+    а: 'a',
+    б: 'b',
+    в: 'v',
+    г: 'g',
+    ґ: 'g',
+    д: 'd',
+    ђ: 'dj',
+    ѓ: 'gj',
+    е: 'e',
+    ё: 'yo',
+    є: 'ye',
+    ж: 'zh',
+    з: 'z',
+    ѕ: 'dz',
+    и: 'i',
+    і: 'i',
+    ї: 'yi',
+    й: 'y',
+    ј: 'j',
+    к: 'k',
+    ќ: 'kj',
+    л: 'l',
+    љ: 'lj',
+    м: 'm',
+    н: 'n',
+    њ: 'nj',
+    о: 'o',
+    п: 'p',
+    р: 'r',
+    с: 's',
+    т: 't',
+    ћ: 'c',
+    у: 'u',
+    ў: 'u',
+    ф: 'f',
+    х: 'kh',
+    ц: 'ts',
+    ч: 'ch',
+    џ: 'dz',
+    ш: 'sh',
+    щ: 'shch',
+    ъ: '',
+    ы: 'y',
+    ь: '',
+    э: 'e',
+    ю: 'yu',
+    я: 'ya',
+    α: 'a',
+    β: 'v',
+    γ: 'g',
+    δ: 'd',
+    ε: 'e',
+    ζ: 'z',
+    η: 'i',
+    θ: 'th',
+    ι: 'i',
+    κ: 'k',
+    λ: 'l',
+    μ: 'm',
+    ν: 'n',
+    ξ: 'x',
+    ο: 'o',
+    π: 'p',
+    ρ: 'r',
+    σ: 's',
+    ς: 's',
+    τ: 't',
+    υ: 'y',
+    φ: 'f',
+    χ: 'ch',
+    ψ: 'ps',
+    ω: 'o',
+    ß: 'ss',
+    æ: 'ae',
+    œ: 'oe',
+    ø: 'o',
+    đ: 'd',
+    ð: 'd',
+    þ: 'th',
+    ł: 'l',
+    ı: 'i',
+};
+const MARKS = /\p{M}/gu;
+const ADMITTED = /^[a-z0-9]$/;
+const WORDLIKE = /^[\p{L}\p{N}]$/u;
+function lowerLetterOf(character) {
+    const known = LETTERS[character];
+    if (known !== undefined)
+        return known;
+    const bare = character.normalize('NFKD').replace(MARKS, '');
+    const mapped = LETTERS[bare];
+    if (mapped !== undefined)
+        return mapped;
+    return [...bare].every((one) => ADMITTED.test(one)) ? bare : null;
+}
+function codePoint(character) {
+    return WORDLIKE.test(character) ? `-u${character.codePointAt(0)?.toString(16) ?? ''}-` : '-';
+}
+function latin(text, unknown) {
+    return [...text]
+        .map((character) => {
+        if ((character.codePointAt(0) ?? 0) < 0x80)
+            return character;
+        const lower = character.toLowerCase();
+        const letter = lowerLetterOf(lower) ?? unknown(lower);
+        return lower === character ? letter : `${letter.charAt(0).toUpperCase()}${letter.slice(1)}`;
+    })
+        .join('');
+}
+export function transliterated(text) {
+    return latin(text, () => '-');
+}
+export function nameFrom(title) {
+    return latin(title, codePoint)
+        .toLowerCase()
+        .replace(/[^a-z0-9]+/g, '-')
+        .replace(/^-+|-+$/g, '');
+}
+export function cutName(name, most) {
+    return name.slice(0, most).replace(/-+$/, '');
+}