@agentshouse/mdruntime 0.1.0-c2c52158b7381 → 0.1.0-c2e8a6f99866d

package/dist/tables.js

@@ -1,3 +1,24 @@
+import { answerQuery } from './compile.js';
+import { abandon, release, commit, counts, ended, entries, erase, fenceRooms, files, opened, rederive, referrers, refreshing, REPLICA_TABLES, searched, stage, typed, typedWithin, unrefresh, walk, } from './stored.js';
+export function sqliteConnection(engine, database) {
+    const decoder = new TextDecoder();
+    return {
+        run(sql, bind = []) {
+            database.exec({ sql, bind });
+        },
+        rows(sql, bind = []) {
+            return database.exec({ sql, bind, rowMode: 'object', returnValue: 'resultRows' });
+        },
+        collate(name, compare) {
+            const answered = engine.capi.sqlite3_create_collation_v2(database.pointer, name, engine.capi.SQLITE_UTF8, 0, (_argument, leftLength, left, rightLength, right) => {
+                const heap = engine.wasm.heap8u();
+                return Math.sign(compare(decoder.decode(heap.subarray(left, left + leftLength)), decoder.decode(heap.subarray(right, right + rightLength))));
+            }, 0);
+            if (answered !== 0)
+                throw new Error(`the database refused the collation ${name}`);
+        },
+    };
+}
 export const FILE_PART_BYTES = 1_048_576;
 const TABLES = [
     ['authored_facts', 'name TEXT PRIMARY KEY, value TEXT NOT NULL'],
@@ -19,6 +40,7 @@ export const RUNTIME_TABLES = [
     'CREATE TABLE file_parts (key TEXT NOT NULL, part INTEGER NOT NULL, bytes BLOB NOT NULL, PRIMARY KEY (key, part))',
     'CREATE TABLE opened_files (key TEXT PRIMARY KEY, locator TEXT NOT NULL, path TEXT NOT NULL, revision TEXT NOT NULL, media_type TEXT NOT NULL, sha256 TEXT, byte_length INTEGER) WITHOUT ROWID',
     'CREATE INDEX opened_files_name ON opened_files (locator, path, revision)',
+    ...REPLICA_TABLES,
 ];
 const OWNERS = ['authored_pending', 'authored_room_drafts', 'authored_calls'];
 const AUTHORED_KEYS = OWNERS.map((table) => `SELECT value FROM ${table}, json_each(${table}.files)`).join(' UNION ');
@@ -31,22 +53,43 @@ const READS = new Set([
     'authored.fences',
     'authored.fact',
     'authored.file',
+    'replica.open',
+    'replica.query',
+    'replica.entries',
+    'replica.typed',
+    'replica.referrers',
+    'replica.walk',
+    'replica.files',
+    'replica.typedWithin',
+    'replica.counts',
+    'replica.searched',
+    'replica.received',
+    'replica.receivedParts',
     'opened.find',
     'file.part',
 ]);
 const KINDS = new Set([
     ...READS,
-    'authored.keep',
     'authored.amend',
     'authored.roomDraft',
     'authored.chatDraft',
     'authored.call',
-    'authored.fence',
-    'authored.unfence',
-    'authored.discard',
     'authored.remember',
     'authored.claim',
     'authored.end',
+    'replica.stage',
+    'replica.refresh',
+    'replica.unrefresh',
+    'replica.commit',
+    'replica.fence',
+    'replica.erase',
+    'replica.abandon',
+    'replica.release',
+    'replica.rederive',
+    'replica.fact',
+    'replica.present',
+    'replica.receive',
+    'replica.unreceive',
     'opened.begin',
     'opened.part',
     'opened.keep',
@@ -143,7 +186,10 @@ function heldOrder(connection, locator) {
     const [held] = connection.rows('SELECT ids FROM authored_queues WHERE locator = ?', [locator]);
     return held === undefined ? [] : JSON.parse(text(held.ids));
 }
-function keptRows(connection, { locator, order, added, founded, roomDrafts, consumedRoomDrafts }) {
+function keptRows(connection, { locator, order, added, founded, roomDrafts, consumedRoomDrafts, amendments }) {
+    for (const { id, amendment } of amendments ?? []) {
+        amended(connection, { kind: 'authored.amend', locator, id, amendment });
+    }
     for (const path of consumedRoomDrafts ?? []) {
         connection.run('DELETE FROM authored_room_drafts WHERE locator = ? AND path = ?', [
             locator,
@@ -176,12 +222,13 @@ function keptRows(connection, { locator, order, added, founded, roomDrafts, cons
         connection.run('INSERT OR REPLACE INTO authored_pending (locator, id, batch, state, files) VALUES (?, ?, ?, ?, ?)', [locator, id, batch, state, owned(files)]);
     }
     for (const { id, batch, files } of founded ?? []) {
-        if (!before.has(id))
+        const [held] = connection.rows('SELECT files FROM authored_pending WHERE locator = ? AND id = ?', [locator, id]);
+        if (held === undefined || !before.has(id))
             continue;
-        connection.run('UPDATE authored_pending SET batch = ?, files = ? WHERE locator = ? AND id = ?', [batch, owned(files), locator, id]);
+        connection.run('UPDATE authored_pending SET batch = ?, files = ? WHERE locator = ? AND id = ?', [batch, owned([...JSON.parse(text(held.files)), ...files]), locator, id]);
     }
 }
-async function kept(connection, { writes, files, whole }) {
+async function kept(connection, { writes, files, whole, discards }) {
     const refused = writes.find(({ locator }) => fenced(connection, locator));
     if (refused !== undefined && whole)
         return refused.locator;
@@ -190,6 +237,8 @@ async function kept(connection, { writes, files, whole }) {
         if (!fenced(connection, write.locator))
             keptRows(connection, write);
     }
+    for (const locator of discards ?? [])
+        roomWork(connection, locator);
     unowned(connection);
     return refused?.locator ?? null;
 }
@@ -256,18 +305,14 @@ function fence(connection, locators) {
         connection.run('DELETE FROM opened_files WHERE locator = ?', [locator]);
     }
     unowned(connection);
-    return null;
+    return fenceRooms(connection, locators);
 }
-function unfence(connection, locators) {
-    for (const locator of locators) {
+function erased(connection, { locator, limit }) {
+    const done = erase(connection, locator, limit);
+    if (locator !== null && !done.remaining) {
         connection.run('DELETE FROM authored_fences WHERE locator = ?', [locator]);
     }
-    return null;
-}
-function discard(connection, locator) {
-    roomWork(connection, locator);
-    unowned(connection);
-    return null;
+    return done;
 }
 function claim(connection, holder) {
     const held = fact(connection, 'holder');
@@ -277,6 +322,7 @@ function claim(connection, holder) {
     return true;
 }
 function end(connection, holder) {
+    ended(connection);
     if (holder !== null && claim(connection, holder))
         return true;
     for (const [table] of TABLES)
@@ -350,6 +396,38 @@ function cleaned(connection) {
     unowned(connection);
     return count(freed?.bytes);
 }
+async function committed(connection, { authored, rooms }) {
+    const refused = authored === undefined ? null : await kept(connection, authored);
+    if (refused !== null && authored?.whole === true) {
+        return { fenced: refused, counts: {}, changed: {}, prepared: {} };
+    }
+    return {
+        fenced: refused,
+        ...commit(connection, rooms.filter(({ locator }) => !fenced(connection, locator))),
+    };
+}
+function receivedParts(connection, key, count) {
+    return connection
+        .rows('SELECT value FROM replica_received_parts WHERE key = ? AND part < ? ORDER BY part', [
+        key,
+        count,
+    ])
+        .map((row) => JSON.parse(text(row.value)));
+}
+function receive(connection, { key, head, part }) {
+    connection.run('INSERT OR REPLACE INTO replica_received (key, head) VALUES (?, ?)', [key, head]);
+    if (part !== undefined) {
+        connection.run('INSERT OR REPLACE INTO replica_received_parts (key, part, value) VALUES (?, ?, ?)', [key, part.index, part.value]);
+    }
+    return null;
+}
+function unreceive(connection, keys) {
+    for (const key of keys) {
+        connection.run('DELETE FROM replica_received WHERE key = ?', [key]);
+        connection.run('DELETE FROM replica_received_parts WHERE key = ?', [key]);
+    }
+    return null;
+}
 export function answerRuntime(connection, request, spool) {
     switch (request.kind) {
         case 'authored.queues':
@@ -366,8 +444,6 @@ export function answerRuntime(connection, request, spool) {
             return fact(connection, request.name);
         case 'authored.file':
             return spooled(connection, spool, request);
-        case 'authored.keep':
-            return kept(connection, request);
         case 'authored.amend':
             return amended(connection, request);
         case 'authored.roomDraft':
@@ -376,18 +452,73 @@ export function answerRuntime(connection, request, spool) {
             return chatDraft(connection, request);
         case 'authored.call':
             return call(connection, request);
-        case 'authored.fence':
-            return fence(connection, request.locators);
-        case 'authored.unfence':
-            return unfence(connection, request.locators);
-        case 'authored.discard':
-            return discard(connection, request.locator);
         case 'authored.remember':
             return remember(connection, request.name, request.value);
         case 'authored.claim':
             return claim(connection, request.holder);
         case 'authored.end':
             return end(connection, request.holder);
+        case 'replica.open':
+            return opened(connection);
+        case 'replica.query':
+            return answerQuery(connection, request.plan, request.rooms, request.budget);
+        case 'replica.entries':
+            return entries(connection, request.key, request.view, request.paths);
+        case 'replica.typed':
+            return typed(connection, request.key, request.view, request.paths);
+        case 'replica.referrers':
+            return referrers(connection, request.key, request.view, request.targets, request.kinds);
+        case 'replica.walk':
+            return walk(connection, request.key, request.view, request.after, request.bytes);
+        case 'replica.files':
+            return files(connection, request.key, request.view, request.after, request.limit);
+        case 'replica.typedWithin':
+            return typedWithin(connection, request.key, request.view, request.roots, request.within);
+        case 'replica.counts':
+            return counts(connection, request.rooms);
+        case 'replica.searched':
+            return searched(connection, request.key, request.locator, request.after, request.limit, request.paths);
+        case 'replica.received':
+            return connection.rows('SELECT key, head FROM replica_received').map((row) => ({
+                key: text(row.key),
+                head: JSON.parse(text(row.head)),
+            }));
+        case 'replica.receivedParts':
+            return receivedParts(connection, request.key, request.count);
+        case 'replica.stage':
+            return fenced(connection, request.locator) ? null : stage(connection, request);
+        case 'replica.refresh':
+            return refreshing(connection, request);
+        case 'replica.unrefresh':
+            return unrefresh(connection, request.key);
+        case 'replica.commit':
+            return committed(connection, request);
+        case 'replica.fence':
+            return fence(connection, request.locators);
+        case 'replica.erase':
+            return erased(connection, request);
+        case 'replica.abandon':
+            return abandon(connection, request.locator, request.kept);
+        case 'replica.release':
+            return release(connection, request.key);
+        case 'replica.rederive':
+            return rederive(connection, request.key, request.limit);
+        case 'replica.fact':
+            connection.run('INSERT OR REPLACE INTO replica_facts (name, value) VALUES (?, ?)', [
+                request.name,
+                request.value,
+            ]);
+            return null;
+        case 'replica.present':
+            connection.run('INSERT OR REPLACE INTO replica_presentation (app, value) VALUES (?, ?)', [
+                request.app,
+                request.value,
+            ]);
+            return null;
+        case 'replica.receive':
+            return receive(connection, request);
+        case 'replica.unreceive':
+            return unreceive(connection, request.keys);
         case 'opened.find':
             return openedFile(connection, request);
         case 'opened.begin':

package/dist/turn.d.ts

@@ -2,8 +2,8 @@ export declare function yielded(): Promise<void>;
 export declare const ROW_WEIGHT = 256;
 export type Later<T> = T | Promise<T>;
 export declare function after<T, R>(value: Later<T>, next: (value: T) => Later<R>): Later<R>;
+export declare function paced(): (weight: number) => Later<void>;
 export declare function inUnits<T>(items: Iterable<T>, each: (item: T) => number, ended?: () => void, paused?: () => Promise<void>): Later<void>;
 export declare function finished<R>(steps: Generator<number, R, void>): R;
 export declare function stepped<R>(steps: Generator<number, R, void>): Later<R>;
-export declare function inChunks<T>(items: Iterable<T>, weigh: (item: T) => number, each: (chunk: readonly T[]) => Later<void>): Promise<void>;
 //# sourceMappingURL=turn.d.ts.map

package/dist/turn.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"turn.d.ts","sourceRoot":"","sources":["../src/turn.ts"],"names":[],"mappings":"AAAA,wBAAgB,OAAO,IAAI,OAAO,CAAC,IAAI,CAAC,CASvC;AAID,eAAO,MAAM,UAAU,MAAM,CAAC;AAE9B,MAAM,MAAM,KAAK,CAAC,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;AAEtC,wBAAgB,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,KAAK,EAAE,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAEnF;AAqBD,wBAAgB,OAAO,CAAC,CAAC,EACvB,KAAK,EAAE,QAAQ,CAAC,CAAC,CAAC,EAClB,IAAI,EAAE,CAAC,IAAI,EAAE,CAAC,KAAK,MAAM,EACzB,KAAK,GAAE,MAAM,IAAe,EAC5B,MAAM,GAAE,MAAM,OAAO,CAAC,IAAI,CAAW,GACpC,KAAK,CAAC,IAAI,CAAC,CAWb;AAED,wBAAgB,QAAQ,CAAC,CAAC,EAAE,KAAK,EAAE,SAAS,CAAC,MAAM,EAAE,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAIhE;AAED,wBAAgB,OAAO,CAAC,CAAC,EAAE,KAAK,EAAE,SAAS,CAAC,MAAM,EAAE,CAAC,EAAE,IAAI,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAStE;AAED,wBAAsB,QAAQ,CAAC,CAAC,EAC9B,KAAK,EAAE,QAAQ,CAAC,CAAC,CAAC,EAClB,KAAK,EAAE,CAAC,IAAI,EAAE,CAAC,KAAK,MAAM,EAC1B,IAAI,EAAE,CAAC,KAAK,EAAE,SAAS,CAAC,EAAE,KAAK,KAAK,CAAC,IAAI,CAAC,GACzC,OAAO,CAAC,IAAI,CAAC,CAWf"}
+{"version":3,"file":"turn.d.ts","sourceRoot":"","sources":["../src/turn.ts"],"names":[],"mappings":"AAAA,wBAAgB,OAAO,IAAI,OAAO,CAAC,IAAI,CAAC,CASvC;AAOD,eAAO,MAAM,UAAU,MAAM,CAAC;AAE9B,MAAM,MAAM,KAAK,CAAC,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;AAEtC,wBAAgB,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,KAAK,EAAE,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAEnF;AAmBD,wBAAgB,KAAK,IAAI,CAAC,MAAM,EAAE,MAAM,KAAK,KAAK,CAAC,IAAI,CAAC,CAGvD;AAsBD,wBAAgB,OAAO,CAAC,CAAC,EACvB,KAAK,EAAE,QAAQ,CAAC,CAAC,CAAC,EAClB,IAAI,EAAE,CAAC,IAAI,EAAE,CAAC,KAAK,MAAM,EACzB,KAAK,GAAE,MAAM,IAAe,EAC5B,MAAM,GAAE,MAAM,OAAO,CAAC,IAAI,CAAW,GACpC,KAAK,CAAC,IAAI,CAAC,CAUb;AAED,wBAAgB,QAAQ,CAAC,CAAC,EAAE,KAAK,EAAE,SAAS,CAAC,MAAM,EAAE,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAIhE;AAED,wBAAgB,OAAO,CAAC,CAAC,EAAE,KAAK,EAAE,SAAS,CAAC,MAAM,EAAE,CAAC,EAAE,IAAI,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAStE"}

package/dist/turn.js

@@ -9,31 +9,51 @@ export function yielded() {
     });
 }
 const UNIT = 1 << 20;
+// A unit of runtime work ends within one 60 Hz frame so a port's next message waits at most a frame.
+const SLICE_MS = 16;
 export const ROW_WEIGHT = 256;
 export function after(value, next) {
     return value instanceof Promise ? value.then(next) : next(value);
 }
+function spending() {
+    let spent = 0;
+    let since = performance.now();
+    return {
+        spend(weight) {
+            spent += weight;
+            return spent >= UNIT || performance.now() - since >= SLICE_MS;
+        },
+        restart() {
+            spent = 0;
+            since = performance.now();
+        },
+    };
+}
+export function paced() {
+    const spent = spending();
+    return (weight) => (spent.spend(weight) ? yielded().then(() => spent.restart()) : undefined);
+}
 async function resumed(iterator, each, ended, paused) {
-    for (let spent = UNIT;;) {
-        if (spent >= UNIT) {
+    const spent = spending();
+    for (let due = true;;) {
+        if (due) {
             await paused();
-            spent = 0;
+            spent.restart();
         }
         const next = iterator.next();
         if (next.done === true)
             break;
-        spent += each(next.value);
-        if (spent >= UNIT)
+        due = spent.spend(each(next.value));
+        if (due)
             ended();
     }
     ended();
 }
 export function inUnits(items, each, ended = () => { }, paused = yielded) {
     const iterator = items[Symbol.iterator]();
-    let spent = 0;
+    const spent = spending();
     for (let next = iterator.next(); next.done !== true; next = iterator.next()) {
-        spent += each(next.value);
-        if (spent >= UNIT) {
+        if (spent.spend(each(next.value))) {
             ended();
             return resumed(iterator, each, ended, paused);
         }
@@ -53,15 +73,3 @@ export function stepped(steps) {
     };
     return after(inUnits(driven(), (weight) => weight), () => result);
 }
-export async function inChunks(items, weigh, each) {
-    const iterator = items[Symbol.iterator]();
-    for (let next = iterator.next(); next.done !== true;) {
-        await yielded();
-        const chunk = [];
-        for (let spent = 0; next.done !== true && spent < UNIT; next = iterator.next()) {
-            chunk.push(next.value);
-            spent += weigh(next.value);
-        }
-        await each(chunk);
-    }
-}

package/dist/validation.d.ts

@@ -0,0 +1,30 @@
+import { type Validation } from '@agentshouse/mdmodel';
+import { type Composition } from './collection.js';
+type Examined = {
+    readonly path: string;
+    readonly content: string | null;
+};
+export type Typed = {
+    readonly type: string | undefined;
+    readonly binary: boolean;
+};
+export type Walk = (after: string | null) => Promise<{
+    readonly entries: readonly Examined[];
+    readonly next: string | null;
+}>;
+export type Lookup = (paths: readonly string[]) => Promise<ReadonlyMap<string, Typed>>;
+export declare function validatedCollection(walk: Walk, lookup: Lookup, composition: Composition): Promise<Validation>;
+export type Changed = {
+    readonly path: string;
+    readonly was: string | null | undefined;
+    readonly now: string | null | undefined;
+};
+type CleanSource = {
+    readonly lookup: Lookup;
+    readonly texts: (paths: readonly string[]) => Promise<ReadonlyMap<string, string | null>>;
+    readonly referrers: ((targets: readonly string[]) => Promise<readonly string[]>) | null;
+};
+export declare function sameComposition(left: Composition, right: Composition): boolean;
+export declare function changedCleanly(changes: readonly Changed[], previous: Composition, composition: Composition, source: CleanSource): Promise<boolean>;
+export {};
+//# sourceMappingURL=validation.d.ts.map

package/dist/validation.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"validation.d.ts","sourceRoot":"","sources":["../src/validation.ts"],"names":[],"mappings":"AAAA,OAAO,EASL,KAAK,UAAU,EAGhB,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EAAuB,KAAK,WAAW,EAAE,MAAM,iBAAiB,CAAC;AAMxE,KAAK,QAAQ,GAAG;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,MAAM,GAAG,IAAI,CAAA;CAAE,CAAC;AAE3E,MAAM,MAAM,KAAK,GAAG;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,SAAS,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAA;CAAE,CAAC;AAEpF,MAAM,MAAM,IAAI,GAAG,CACjB,KAAK,EAAE,MAAM,GAAG,IAAI,KACjB,OAAO,CAAC;IAAE,QAAQ,CAAC,OAAO,EAAE,SAAS,QAAQ,EAAE,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI,CAAA;CAAE,CAAC,CAAC;AAEtF,MAAM,MAAM,MAAM,GAAG,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,KAAK,OAAO,CAAC,WAAW,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC;AAyBvF,wBAAsB,mBAAmB,CACvC,IAAI,EAAE,IAAI,EACV,MAAM,EAAE,MAAM,EACd,WAAW,EAAE,WAAW,GACvB,OAAO,CAAC,UAAU,CAAC,CAyCrB;AAED,MAAM,MAAM,OAAO,GAAG;IACpB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,GAAG,EAAE,MAAM,GAAG,IAAI,GAAG,SAAS,CAAC;IACxC,QAAQ,CAAC,GAAG,EAAE,MAAM,GAAG,IAAI,GAAG,SAAS,CAAC;CACzC,CAAC;AAEF,KAAK,WAAW,GAAG;IACjB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,KAAK,EAAE,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,KAAK,OAAO,CAAC,WAAW,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC,CAAC,CAAC;IAC1F,QAAQ,CAAC,SAAS,EAAE,CAAC,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,KAAK,OAAO,CAAC,SAAS,MAAM,EAAE,CAAC,CAAC,GAAG,IAAI,CAAC;CACzF,CAAC;AAaF,wBAAgB,eAAe,CAAC,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,WAAW,GAAG,OAAO,CAQ9E;AAqCD,wBAAsB,cAAc,CAClC,OAAO,EAAE,SAAS,OAAO,EAAE,EAC3B,QAAQ,EAAE,WAAW,EACrB,WAAW,EAAE,WAAW,EACxB,MAAM,EAAE,WAAW,GAClB,OAAO,CAAC,OAAO,CAAC,CAsDlB"}

package/dist/validation.js

@@ -0,0 +1,162 @@
+import { assess, checkDocument, parse, parseFrontmatter, resolves, verdicts, } from '@agentshouse/mdmodel';
+import { governing, selected } from './collection.js';
+import { sameTyping } from './model.js';
+import { paced, ROW_WEIGHT, yielded } from './turn.js';
+const NO_TYPES = { types: {} };
+function modelOf(model) {
+    return model.status === 'unavailable' ? NO_TYPES : { types: model.types };
+}
+function typedText(content) {
+    const read = parse(content);
+    return read.ok && read.document.type !== undefined && read.document.type !== 'any';
+}
+function partVerdict(part) {
+    return part.unmodeled !== null
+        ? { verdict: 'refuse', rule: 'model-unavailable', file: part.unmodeled }
+        : part.judged.verdict();
+}
+export async function validatedCollection(walk, lookup, composition) {
+    const collection = { model: composition.model, judged: verdicts(), unmodeled: null };
+    const selection = composition.selection === null
+        ? null
+        : { model: composition.selection.model, judged: verdicts(), unmodeled: null };
+    const partOf = (path) => selection !== null && selected(composition, path) ? selection : collection;
+    const pace = paced();
+    for (let after = null;;) {
+        const { entries, next } = await walk(after);
+        const assessed = [];
+        for (const { path, content } of entries) {
+            if (content === null)
+                continue;
+            const part = partOf(path);
+            if (part.model.status === 'unavailable' && part.unmodeled === null && typedText(content)) {
+                part.unmodeled = path;
+            }
+            const assessment = assess(path, content, false, modelOf(part.model), { anyRoom: true });
+            assessed.push({ part, assessment });
+            await pace(content.length + assessment.targets.length * ROW_WEIGHT);
+        }
+        const targets = [...new Set(assessed.flatMap(({ assessment }) => assessment.targets))];
+        const known = await lookup(targets);
+        for (const { part, assessment } of assessed) {
+            const within = (path) => partOf(path) === part;
+            part.judged.add(assessment, (path) => (within(path) ? known.get(path)?.type : undefined), (path) => within(path) && known.get(path)?.binary === true);
+            await pace((assessment.targets.length + 1) * ROW_WEIGHT);
+        }
+        if (next === null)
+            break;
+        after = next;
+        await yielded();
+    }
+    const judged = [partVerdict(collection), ...(selection === null ? [] : [partVerdict(selection)])];
+    const refusals = judged.filter((verdict) => verdict.verdict === 'refuse');
+    if (refusals.length === 0)
+        return judged[0];
+    return refusals.find((refusal) => refusal.rule !== 'model-unavailable') ?? refusals[0];
+}
+function declared(content) {
+    if (content === undefined || content === null)
+        return undefined;
+    const read = parseFrontmatter(content);
+    return read.ok ? (read.frontmatter.type ?? 'any') : undefined;
+}
+function typedIn(content) {
+    const type = declared(content);
+    return type !== undefined && type !== 'any';
+}
+export function sameComposition(left, right) {
+    return (sameTyping(left.model, right.model) &&
+        (left.selection === null || right.selection === null
+            ? left.selection === right.selection
+            : sameTyping(left.selection.model, right.selection.model)) &&
+        JSON.stringify(left.selection?.roots ?? null) === JSON.stringify(right.selection?.roots ?? null));
+}
+function checked(path, content, composition) {
+    const model = governing(composition, path);
+    return checkDocument(path, content, modelOf(model), { anyRoom: true });
+}
+async function reachingAll(checks, composition, next) {
+    const targets = [
+        ...new Set(checks.flatMap(({ check }) => check.ok ? check.references.flatMap(({ target }) => (target === null ? [] : [target])) : [])),
+    ];
+    const known = await next(targets);
+    const pace = paced();
+    for (const { path, check } of checks) {
+        if (!check.ok)
+            return false;
+        const part = (other) => selected(composition, other) === selected(composition, path);
+        const resolved = check.references.every((reference) => resolves(reference, (other) => (part(other) ? known.get(other)?.type : undefined), (other) => part(other) && known.get(other)?.binary === true));
+        if (!resolved)
+            return false;
+        await pace((check.references.length + 1) * ROW_WEIGHT);
+    }
+    return true;
+}
+export async function changedCleanly(changes, previous, composition, source) {
+    if (!sameComposition(previous, composition))
+        return false;
+    const changedAt = new Map(changes.map((change) => [change.path, change]));
+    const next = async (paths) => {
+        const asked = paths.filter((path) => !changedAt.has(path));
+        const known = new Map(await source.lookup(asked));
+        for (const path of paths) {
+            const change = changedAt.get(path);
+            if (change === undefined)
+                continue;
+            if (change.now === undefined)
+                known.delete(path);
+            else
+                known.set(path, { type: declared(change.now), binary: change.now === null });
+        }
+        return known;
+    };
+    const shifted = [];
+    const checks = [];
+    const pace = paced();
+    for (const { path, was, now } of changes) {
+        await pace((now?.length ?? 0) + (was?.length ?? 0) + ROW_WEIGHT);
+        const modeled = governing(composition, path).status !== 'unavailable';
+        if ((now === undefined) !== (was === undefined) ||
+            declared(now) !== declared(was) ||
+            (now === null) !== (was === null)) {
+            shifted.push(path);
+        }
+        if (!modeled && typedIn(was) && !typedIn(now))
+            return false;
+        if (now === undefined)
+            continue;
+        if (now === null)
+            return false;
+        if (!modeled) {
+            if (declared(now) === undefined)
+                return false;
+            if (typedIn(now))
+                continue;
+            const check = checked(path, now, composition);
+            if (!check.ok)
+                return false;
+            checks.push({ path, check });
+            continue;
+        }
+        checks.push({ path, check: checked(path, now, composition) });
+    }
+    if (!(await reachingAll(checks, composition, next)))
+        return false;
+    if (shifted.length === 0)
+        return true;
+    if (source.referrers === null)
+        return false;
+    const files = (await source.referrers(shifted)).filter((file) => !changedAt.has(file));
+    if (files.length === 0)
+        return true;
+    const texts = await source.texts(files);
+    const rechecked = [];
+    for (const file of files) {
+        const content = texts.get(file);
+        if (content === undefined || content === null)
+            return false;
+        await pace(content.length + ROW_WEIGHT);
+        rechecked.push({ path: file, check: checked(file, content, composition) });
+    }
+    return reachingAll(rechecked, composition, next);
+}

package/dist/windows.d.ts

@@ -14,7 +14,8 @@ interface Placed {
 }
 export declare function messageOrder(left: Placed, right: Placed): number;
 export declare function precedes(message: Placed, before: readonly [string, string] | null): boolean;
-export declare function beyond(values: readonly unknown[], cursor: readonly unknown[], orderings: readonly Ordering[]): boolean;
+export declare function byCodePoint(left: string, right: string): number;
+export declare function compared(left: unknown, right: unknown, ordering: Ordering): number;
 export declare function cursorOf(values: readonly unknown[]): string;
 export declare function decodedCursor(text: string): readonly unknown[] | null;
 export {};

package/dist/windows.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"windows.d.ts","sourceRoot":"","sources":["../src/windows.ts"],"names":[],"mappings":"AAAA,eAAO,MAAM,cAAc,OAAO,CAAC;AAEnC,eAAO,MAAM,UAAU,OAAO,CAAC;AAE/B,wBAAgB,MAAM,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI,GAAG,SAAS,GAAG,MAAM,CAE/D;AAED,MAAM,MAAM,QAAQ,GAAG;IACrB,QAAQ,CAAC,SAAS,EAAE,KAAK,GAAG,MAAM,CAAC;IACnC,QAAQ,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,CAAC;IACjC,QAAQ,CAAC,UAAU,EAAE,SAAS,GAAG,QAAQ,CAAC;IAC1C,QAAQ,CAAC,MAAM,EAAE,MAAM,GAAG,SAAS,CAAC;IACpC,QAAQ,CAAC,aAAa,EAAE,IAAI,CAAC,eAAe,GAAG,SAAS,CAAC;CAC1D,CAAC;AAEF,UAAU,MAAM;IACd,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;CAC3B;AAED,wBAAgB,YAAY,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,MAAM,CAIhE;AAED,wBAAgB,QAAQ,CAAC,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,SAAS,CAAC,MAAM,EAAE,MAAM,CAAC,GAAG,IAAI,GAAG,OAAO,CAE3F;AA0CD,wBAAgB,MAAM,CACpB,MAAM,EAAE,SAAS,OAAO,EAAE,EAC1B,MAAM,EAAE,SAAS,OAAO,EAAE,EAC1B,SAAS,EAAE,SAAS,QAAQ,EAAE,GAC7B,OAAO,CAMT;AAED,wBAAgB,QAAQ,CAAC,MAAM,EAAE,SAAS,OAAO,EAAE,GAAG,MAAM,CAE3D;AAED,wBAAgB,aAAa,CAAC,IAAI,EAAE,MAAM,GAAG,SAAS,OAAO,EAAE,GAAG,IAAI,CAOrE"}
+{"version":3,"file":"windows.d.ts","sourceRoot":"","sources":["../src/windows.ts"],"names":[],"mappings":"AAAA,eAAO,MAAM,cAAc,OAAO,CAAC;AAEnC,eAAO,MAAM,UAAU,OAAO,CAAC;AAE/B,wBAAgB,MAAM,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI,GAAG,SAAS,GAAG,MAAM,CAE/D;AAED,MAAM,MAAM,QAAQ,GAAG;IACrB,QAAQ,CAAC,SAAS,EAAE,KAAK,GAAG,MAAM,CAAC;IACnC,QAAQ,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,CAAC;IACjC,QAAQ,CAAC,UAAU,EAAE,SAAS,GAAG,QAAQ,CAAC;IAC1C,QAAQ,CAAC,MAAM,EAAE,MAAM,GAAG,SAAS,CAAC;IACpC,QAAQ,CAAC,aAAa,EAAE,IAAI,CAAC,eAAe,GAAG,SAAS,CAAC;CAC1D,CAAC;AAEF,UAAU,MAAM;IACd,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;CAC3B;AAED,wBAAgB,YAAY,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,MAAM,CAIhE;AAED,wBAAgB,QAAQ,CAAC,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,SAAS,CAAC,MAAM,EAAE,MAAM,CAAC,GAAG,IAAI,GAAG,OAAO,CAE3F;AAaD,wBAAgB,WAAW,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,MAAM,CAO/D;AA4BD,wBAAgB,QAAQ,CAAC,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,QAAQ,EAAE,QAAQ,GAAG,MAAM,CAMlF;AAED,wBAAgB,QAAQ,CAAC,MAAM,EAAE,SAAS,OAAO,EAAE,GAAG,MAAM,CAE3D;AAED,wBAAgB,aAAa,CAAC,IAAI,EAAE,MAAM,GAAG,SAAS,OAAO,EAAE,GAAG,IAAI,CAOrE"}