@amalgm/live 0.2.26 → 0.2.28

package/dist-cjs/detection/diff.js

@@ -0,0 +1,193 @@
+"use strict";
+/**
+ * The compare core of detection: rows (store memory) + entries (disk
+ * truth) in, actions out. Pure — the walk that produces entries and the
+ * hashing that settles `checks` are the host's; only the identity
+ * verdicts live here. Ratified by entity-model.md ("Address and
+ * physical continuity are the two identity witnesses, never content").
+ *
+ * Three kinds of channel, three orderings of the same two witnesses:
+ *
+ *  - Files: path claims first; the inode rescues path-orphans. An
+ *    atomic save replaces a file's inode in place, so the address must
+ *    absorb that churn.
+ *  - Directories: physical continuity claims first; the address claims
+ *    what no inode claims. Nothing replaces a directory's inode in
+ *    place, so a known inode at a new address IS the directory, moved.
+ *  - Links: the FILE rules, for the file reason — retarget is unlink +
+ *    recreate, so the inode churns exactly like an atomic save.
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.matchByInode = matchByInode;
+exports.diffDirState = diffDirState;
+exports.diffLinkState = diffLinkState;
+exports.diffRootState = diffRootState;
+/**
+ * Physical continuity, shared by every compare function: a row and an
+ * entry sharing one device:inode, exactly one match on both sides → the
+ * same physical thing. Anything else is never guessed. For files this
+ * rescues path-orphans (rule 2); for directories it IS rule 1.
+ */
+function matchByInode(rows, entries) {
+    const one = (map, key, value) => map.set(key, map.has(key) ? 'many' : value);
+    const rowsByInode = new Map();
+    for (const row of rows)
+        one(rowsByInode, `${row.device}:${row.inode}`, row);
+    const entriesByInode = new Map();
+    for (const entry of entries)
+        one(entriesByInode, `${entry.device}:${entry.inode}`, entry);
+    const matched = [];
+    for (const [key, entry] of entriesByInode) {
+        const row = rowsByInode.get(key);
+        if (entry === 'many' || !row || row === 'many')
+            continue;
+        matched.push({ row, entry });
+    }
+    return matched;
+}
+/**
+ * The compare function for directory channels — the file identity rules
+ * in the OPPOSITE order, for the mirror reason. A file's inode is
+ * replaced in place on every atomic save, so for files the path must
+ * absorb that churn (path claims first). Nothing replaces a directory's
+ * inode in place: a known inode at a new address IS the directory,
+ * moved — even when its old address was reoccupied in the same interval
+ * (two directories exchanging names cross by inode, exactly like the
+ * files inside them). So:
+ *  1. Physical continuity claims the channel: unique device:inode,
+ *     whole sets, same path = continued, new path = rename.
+ *  2. The address claims what no inode claims — recreation under an old
+ *     name is the same channel wearing a never-seen inode (`retags`,
+ *     silent).
+ *  3. Leftover entries are creates; leftover rows are deletes.
+ * No content: a directory's membership is derived state upstream, so
+ * there is nothing to hash or check.
+ */
+function diffDirState(rows, entries) {
+    const matched = matchByInode(rows, entries);
+    const matchedRowIds = new Set(matched.map((pair) => pair.row.dirId));
+    const matchedEntries = new Set(matched.map((pair) => pair.entry));
+    const rowsByPath = new Map(rows.filter((row) => !matchedRowIds.has(row.dirId))
+        .map((row) => [row.relPath, row]));
+    const retags = [];
+    const creates = [];
+    for (const entry of entries) {
+        if (matchedEntries.has(entry))
+            continue;
+        const row = rowsByPath.get(entry.relPath);
+        if (row) {
+            rowsByPath.delete(entry.relPath);
+            retags.push({ row, entry });
+        }
+        else {
+            creates.push(entry);
+        }
+    }
+    return {
+        renames: matched.filter((pair) => pair.row.relPath !== pair.entry.relPath),
+        retags,
+        creates,
+        deletes: [...rowsByPath.values()],
+    };
+}
+/**
+ * The compare function for link channels — the FILE identity rules, for
+ * the file reason: a symlink cannot be retargeted in place (retarget is
+ * unlink + recreate, so the inode churns exactly like an atomic save),
+ * so the path absorbs that churn and claims first; the inode rescues
+ * path-orphans (`mv` preserves a symlink's inode). The payload is the
+ * target string, already read at walk time. A consequence worth naming:
+ * two links exchanging names read as two retargets (path-first),
+ * because a link's meaning IS its written address.
+ *  1. Path claims the channel: same target = continued (a new inode
+ *     under an old name with an old target is silent recreation),
+ *     different target = changed.
+ *  2. Inode rescues path-orphans: renames.
+ *  3. Leftover entries are creates; leftover rows are deletes.
+ */
+function diffLinkState(rows, entries) {
+    const changes = [];
+    const retags = [];
+    const rowsByPath = new Map(rows.map((row) => [row.relPath, row]));
+    const claimedRowIds = new Set();
+    const orphanEntries = [];
+    for (const entry of entries) {
+        const row = rowsByPath.get(entry.relPath);
+        if (!row) {
+            orphanEntries.push(entry);
+            continue;
+        }
+        claimedRowIds.add(row.linkId);
+        if (row.target !== entry.target)
+            changes.push({ row, entry });
+        else if (row.device !== entry.device || row.inode !== entry.inode)
+            retags.push({ row, entry });
+    }
+    const orphanRows = rows.filter((row) => !claimedRowIds.has(row.linkId));
+    const renames = matchByInode(orphanRows, orphanEntries);
+    const renamedRowIds = new Set(renames.map((pair) => pair.row.linkId));
+    const renamedEntries = new Set(renames.map((pair) => pair.entry));
+    return {
+        changes,
+        retags,
+        renames,
+        creates: orphanEntries.filter((entry) => !renamedEntries.has(entry)),
+        deletes: orphanRows.filter((row) => !renamedRowIds.has(row.linkId)),
+    };
+}
+/**
+ * The compare function for file channels — doorbells and rescans both
+ * end here. Hashing is deferred — `checks` name the files whose content
+ * must be read before an event may be claimed.
+ *
+ * Identity rules, in order:
+ *  1. Path claims the channel. Same rel_path = same file_id, even when
+ *     the inode changed (atomic saves replace the inode on every
+ *     write).
+ *  2. Inode rescues path-orphans (matchByInode above).
+ *  3. Leftover entries are creates; leftover rows are deletes.
+ *
+ * The single stat-shortcut this layer allows itself: a (size, mtime,
+ * inode) triple identical to the stored one is skipped as unchanged —
+ * but only when the mtime is strictly older than the moment we last
+ * read the bytes (git's "racily clean" rule), and only when nothing
+ * pointed at the file. A path named in `mustCheck` (the doorbell said
+ * so) is always hashed: timestamps can lie, a delivered watcher event
+ * cannot be un-delivered.
+ */
+function diffRootState(rows, entries, mustCheck = null) {
+    const checks = [];
+    let unchanged = 0;
+    const rowsByPath = new Map(rows.map((row) => [row.relPath, row]));
+    const claimedRowIds = new Set();
+    const orphanEntries = [];
+    for (const entry of entries) {
+        const row = rowsByPath.get(entry.relPath);
+        if (!row) {
+            orphanEntries.push(entry);
+            continue;
+        }
+        claimedRowIds.add(row.fileId);
+        const statsMatch = row.size === entry.size && row.mtimeMs === entry.mtimeMs && row.inode === entry.inode;
+        const provablyBeforeLastRead = typeof row.hashedAtMs === 'number' && entry.mtimeMs < row.hashedAtMs;
+        const named = mustCheck !== null && mustCheck.has(entry.relPath);
+        if (statsMatch && provablyBeforeLastRead && !named) {
+            unchanged += 1;
+        }
+        else {
+            checks.push({ row, entry });
+        }
+    }
+    const orphanRows = rows.filter((row) => !claimedRowIds.has(row.fileId));
+    const renames = matchByInode(orphanRows, orphanEntries);
+    const renamedRowIds = new Set(renames.map((pair) => pair.row.fileId));
+    const renamedEntries = new Set(renames.map((pair) => pair.entry));
+    return {
+        checks,
+        renames,
+        creates: orphanEntries.filter((entry) => !renamedEntries.has(entry)),
+        deletes: orphanRows.filter((row) => !renamedRowIds.has(row.fileId)),
+        unchanged,
+    };
+}
+//# sourceMappingURL=diff.js.map

package/dist-cjs/detection/diff.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"diff.js","sourceRoot":"","sources":["../../src/detection/diff.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;;;;;;GAiBG;;AAyDH,oCAiBC;AA2BD,oCAwBC;AAyBD,sCA2BC;AA+BD,sCAwCC;AArMD;;;;;GAKG;AACH,SAAgB,YAAY,CAC1B,IAAoB,EACpB,OAAyB;IAEzB,MAAM,GAAG,GAAG,CAAQ,GAAgC,EAAE,GAAW,EAAE,KAAY,EAAE,EAAE,CACjF,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;IAC9C,MAAM,WAAW,GAAG,IAAI,GAAG,EAAwB,CAAC;IACpD,KAAK,MAAM,GAAG,IAAI,IAAI;QAAE,GAAG,CAAC,WAAW,EAAE,GAAG,GAAG,CAAC,MAAM,IAAI,GAAG,CAAC,KAAK,EAAE,EAAE,GAAG,CAAC,CAAC;IAC5E,MAAM,cAAc,GAAG,IAAI,GAAG,EAA0B,CAAC;IACzD,KAAK,MAAM,KAAK,IAAI,OAAO;QAAE,GAAG,CAAC,cAAc,EAAE,GAAG,KAAK,CAAC,MAAM,IAAI,KAAK,CAAC,KAAK,EAAE,EAAE,KAAK,CAAC,CAAC;IAC1F,MAAM,OAAO,GAA6B,EAAE,CAAC;IAC7C,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,cAAc,EAAE,CAAC;QAC1C,MAAM,GAAG,GAAG,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACjC,IAAI,KAAK,KAAK,MAAM,IAAI,CAAC,GAAG,IAAI,GAAG,KAAK,MAAM;YAAE,SAAS;QACzD,OAAO,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,CAAC;IAC/B,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AASD;;;;;;;;;;;;;;;;;GAiBG;AACH,SAAgB,YAAY,CAAC,IAAuB,EAAE,OAA4B;IAChF,MAAM,OAAO,GAAG,YAAY,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAC5C,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC;IACrE,MAAM,cAAc,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;IAClE,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,aAAa,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;SAC3E,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;IACrC,MAAM,MAAM,GAAmC,EAAE,CAAC;IAClD,MAAM,OAAO,GAAe,EAAE,CAAC;IAC/B,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;QAC5B,IAAI,cAAc,CAAC,GAAG,CAAC,KAAK,CAAC;YAAE,SAAS;QACxC,MAAM,GAAG,GAAG,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;QAC1C,IAAI,GAAG,EAAE,CAAC;YACR,UAAU,CAAC,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;YACjC,MAAM,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,CAAC;QAC9B,CAAC;aAAM,CAAC;YACN,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACtB,CAAC;IACH,CAAC;IACD,OAAO;QACL,OAAO,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,KAAK,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC;QAC1E,MAAM;QACN,OAAO;QACP,OAAO,EAAE,CAAC,GAAG,UAAU,CAAC,MAAM,EAAE,CAAC;KAClC,CAAC;AACJ,CAAC;AAUD;;;;;;;;;;;;;;GAcG;AACH,SAAgB,aAAa,CAAC,IAAwB,EAAE,OAA6B;IACnF,MAAM,OAAO,GAAqC,EAAE,CAAC;IACrD,MAAM,MAAM,GAAqC,EAAE,CAAC;IACpD,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;IAClE,MAAM,aAAa,GAAG,IAAI,GAAG,EAAU,CAAC;IACxC,MAAM,aAAa,GAAgB,EAAE,CAAC;IACtC,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;QAC5B,MAAM,GAAG,GAAG,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;QAC1C,IAAI,CAAC,GAAG,EAAE,CAAC;YACT,aAAa,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YAC1B,SAAS;QACX,CAAC;QACD,aAAa,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QAC9B,IAAI,GAAG,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM;YAAE,OAAO,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,CAAC;aACzD,IAAI,GAAG,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM,IAAI,GAAG,CAAC,KAAK,KAAK,KAAK,CAAC,KAAK;YAAE,MAAM,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,CAAC;IACjG,CAAC;IACD,MAAM,UAAU,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,aAAa,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC;IACxE,MAAM,OAAO,GAAG,YAAY,CAAC,UAAU,EAAE,aAAa,CAAC,CAAC;IACxD,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC;IACtE,MAAM,cAAc,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;IAClE,OAAO;QACL,OAAO;QACP,MAAM;QACN,OAAO;QACP,OAAO,EAAE,aAAa,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,cAAc,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QACpE,OAAO,EAAE,UAAU,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,aAAa,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;KACpE,CAAC;AACJ,CAAC;AAWD;;;;;;;;;;;;;;;;;;;GAmBG;AACH,SAAgB,aAAa,CAC3B,IAAwB,EACxB,OAA6B,EAC7B,YAAwC,IAAI;IAE5C,MAAM,MAAM,GAAqC,EAAE,CAAC;IACpD,IAAI,SAAS,GAAG,CAAC,CAAC;IAClB,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;IAClE,MAAM,aAAa,GAAG,IAAI,GAAG,EAAU,CAAC;IACxC,MAAM,aAAa,GAAgB,EAAE,CAAC;IAEtC,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;QAC5B,MAAM,GAAG,GAAG,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;QAC1C,IAAI,CAAC,GAAG,EAAE,CAAC;YACT,aAAa,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YAC1B,SAAS;QACX,CAAC;QACD,aAAa,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QAC9B,MAAM,UAAU,GAAG,GAAG,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI,IAAI,GAAG,CAAC,OAAO,KAAK,KAAK,CAAC,OAAO,IAAI,GAAG,CAAC,KAAK,KAAK,KAAK,CAAC,KAAK,CAAC;QACzG,MAAM,sBAAsB,GAAG,OAAO,GAAG,CAAC,UAAU,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,GAAG,GAAG,CAAC,UAAU,CAAC;QACpG,MAAM,KAAK,GAAG,SAAS,KAAK,IAAI,IAAI,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;QACjE,IAAI,UAAU,IAAI,sBAAsB,IAAI,CAAC,KAAK,EAAE,CAAC;YACnD,SAAS,IAAI,CAAC,CAAC;QACjB,CAAC;aAAM,CAAC;YACN,MAAM,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,CAAC;QAC9B,CAAC;IACH,CAAC;IAED,MAAM,UAAU,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,aAAa,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC;IACxE,MAAM,OAAO,GAAG,YAAY,CAAC,UAAU,EAAE,aAAa,CAAC,CAAC;IACxD,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC;IACtE,MAAM,cAAc,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;IAElE,OAAO;QACL,MAAM;QACN,OAAO;QACP,OAAO,EAAE,aAAa,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,cAAc,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QACpE,OAAO,EAAE,UAAU,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,aAAa,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QACnE,SAAS;KACV,CAAC;AACJ,CAAC"}

package/dist-cjs/detection/echo.js

@@ -0,0 +1,25 @@
+"use strict";
+/**
+ * Echo judgment after incoming Apply.
+ *
+ * Apply never suppresses watcher rings. It verifies the incoming result and
+ * advances the notebook. The retained suspicion then uses this ordinary
+ * equality judgment: exact expected truth is silence; different truth is a
+ * real local change; unreadable truth is retried.
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.echoDecision = echoDecision;
+function echoDecision(notebook, observed) {
+    if (observed.truth === 'unsettled') {
+        return observed.reason === undefined
+            ? { kind: 'retry' }
+            : { kind: 'retry', reason: observed.reason };
+    }
+    if (notebook.status === 'active') {
+        return observed.truth === 'present' && observed.version === notebook.version
+            ? { kind: 'silence' }
+            : { kind: 'detect' };
+    }
+    return observed.truth === 'absent' ? { kind: 'silence' } : { kind: 'detect' };
+}
+//# sourceMappingURL=echo.js.map

package/dist-cjs/detection/echo.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"echo.js","sourceRoot":"","sources":["../../src/detection/echo.ts"],"names":[],"mappings":";AAAA;;;;;;;GAOG;;AAUH,oCAeC;AAfD,SAAgB,YAAY,CAC1B,QAAuD,EACvD,QAAsB;IAEtB,IAAI,QAAQ,CAAC,KAAK,KAAK,WAAW,EAAE,CAAC;QACnC,OAAO,QAAQ,CAAC,MAAM,KAAK,SAAS;YAClC,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE;YACnB,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,QAAQ,CAAC,MAAM,EAAE,CAAC;IACjD,CAAC;IACD,IAAI,QAAQ,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;QACjC,OAAO,QAAQ,CAAC,KAAK,KAAK,SAAS,IAAI,QAAQ,CAAC,OAAO,KAAK,QAAQ,CAAC,OAAO;YAC1E,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE;YACrB,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;IACzB,CAAC;IACD,OAAO,QAAQ,CAAC,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;AAChF,CAAC"}

package/dist-cjs/detection/enrollment.js

@@ -0,0 +1,189 @@
+"use strict";
+/**
+ * Detection enrollment policies.
+ *
+ * Current user ground enrolls everything except structural local state and
+ * paths excluded by its tracked `.amalgmignore`; `.gitignore` never decides
+ * Amalgm enrollment. `defaultShouldEnroll` remains only as the older explicit
+ * registration policy for additive API compatibility. Current portable paths
+ * already use `/`; a host converts its native separator at the boundary. A
+ * literal `\\` is therefore preserved as part of a POSIX filename. Both
+ * policies are pure strings-in/verdict-out and never inspect disk themselves.
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.defaultShouldEnroll = exports.DEFAULT_AMALGM_IGNORE = exports.AMALGM_IGNORE_FILE = exports.AMALGM_CONTROL_DIRECTORY = void 0;
+exports.normalizedRelativePath = normalizedRelativePath;
+exports.isAmalgmControlPath = isAmalgmControlPath;
+exports.isSqliteCoordinationPath = isSqliteCoordinationPath;
+exports.createUserGroundEnrollmentPolicy = createUserGroundEnrollmentPolicy;
+/** The Git-like names at the user-ground boundary. Structural coordination
+ * state is local and cannot be negated by user policy; the ignore file is
+ * portable ground so every machine evaluates the same user rules. */
+exports.AMALGM_CONTROL_DIRECTORY = '.amalgm';
+exports.AMALGM_IGNORE_FILE = '.amalgmignore';
+exports.DEFAULT_AMALGM_IGNORE = `/${exports.AMALGM_CONTROL_DIRECTORY}/\n`;
+const EXCLUDED_DIRECTORIES = new Set([
+    '.amalgm',
+    '.aws',
+    '.cache',
+    '.docker',
+    '.git',
+    '.gnupg',
+    '.gradle',
+    '.hg',
+    '.kube',
+    '.mypy_cache',
+    '.next',
+    '.nyc_output',
+    '.parcel-cache',
+    '.pytest_cache',
+    '.ruff_cache',
+    '.ssh',
+    '.svn',
+    '.svelte-kit',
+    '.turbo',
+    '.venv',
+    '.vite',
+    '__pycache__',
+    'coverage',
+    'node_modules',
+]);
+const EXCLUDED_FILES = new Set([
+    '.DS_Store',
+    'Thumbs.db',
+    'desktop.ini',
+    'npm-debug.log',
+    'pnpm-debug.log',
+    'yarn-debug.log',
+    'yarn-error.log',
+]);
+function isPrivateFile(name) {
+    if (/^\.env(?:\..+)?$/i.test(name) && !/\.example$/i.test(name))
+        return true;
+    if (/^(?:credentials?|secrets?)\.(?:json|ya?ml|toml|ini|conf)$/i.test(name))
+        return true;
+    if (/^id_(?:dsa|ecdsa|ed25519|rsa)$/i.test(name))
+        return true;
+    if (/^(?:\.git-credentials|\.netrc|\.npmrc|\.pypirc|auth\.json|kubeconfig)$/i.test(name))
+        return true;
+    if (/^(?:service[-_]?account|firebase[-_]?adminsdk).*\.json$/i.test(name))
+        return true;
+    return /\.(?:key|keystore|kdbx|p12|pfx|pem|ppk|tfstate(?:\.backup)?)$/i.test(name);
+}
+/**
+ * Legacy explicit-registration policy retained for additive API compatibility.
+ * Current user-ground Detect must use {@link createUserGroundEnrollmentPolicy};
+ * there are no implicit dependency, dotfile, cache, or secret exclusions.
+ * Both separators are path separators; '' never enrolls.
+ *
+ * @deprecated Use `createUserGroundEnrollmentPolicy` for current user ground.
+ */
+const defaultShouldEnroll = (relPath) => {
+    const parts = normalizedRelativePath(String(relPath || '').replace(/\\/g, '/')).split('/').filter(Boolean);
+    const name = parts.at(-1);
+    if (name === undefined || parts.some((part) => EXCLUDED_DIRECTORIES.has(part)))
+        return false;
+    if (EXCLUDED_FILES.has(name) || isPrivateFile(name))
+        return false;
+    return !name.startsWith('.#') && !name.endsWith('~') && !/\.(?:swp|swo)$/i.test(name);
+};
+exports.defaultShouldEnroll = defaultShouldEnroll;
+/**
+ * One normalized spelling for portable enrollment and ignore matching.
+ * Portable relative paths use `/`. Do not reinterpret `\\`: it is a valid,
+ * literal filename character on POSIX after the host has crossed this seam.
+ */
+function normalizedRelativePath(relPath) {
+    return String(relPath || '')
+        .replace(/^\.\//, '')
+        .replace(/^\/+|\/+$/g, '')
+        .replace(/\/{2,}/g, '/');
+}
+/** `.amalgm/` is local control state wherever a registered tree is rooted. */
+function isAmalgmControlPath(relPath) {
+    return normalizedRelativePath(relPath).split('/').includes(exports.AMALGM_CONTROL_DIRECTORY);
+}
+/** SQLite's WAL, shared-memory, and rollback-journal files coordinate one
+ * local database connection. They are not a portable copy of the database. */
+function isSqliteCoordinationPath(relPath) {
+    const name = normalizedRelativePath(relPath).split('/').at(-1) ?? '';
+    return /\.(?:db|sqlite|sqlite3)-(?:wal|shm|journal)$/i.test(name);
+}
+function escapeRegex(character) {
+    return /[\\^$.*+?()[\]{}|]/.test(character) ? `\\${character}` : character;
+}
+function globExpression(pattern) {
+    let expression = '';
+    for (let index = 0; index < pattern.length; index += 1) {
+        const character = pattern[index];
+        if (character === '*') {
+            if (pattern[index + 1] === '*') {
+                while (pattern[index + 1] === '*')
+                    index += 1;
+                if (pattern[index + 1] === '/') {
+                    index += 1;
+                    expression += '(?:.*/)?';
+                }
+                else {
+                    expression += '.*';
+                }
+            }
+            else {
+                expression += '[^/]*';
+            }
+        }
+        else if (character === '?') {
+            expression += '[^/]';
+        }
+        else {
+            expression += escapeRegex(character);
+        }
+    }
+    return expression;
+}
+function ignoreRule(line) {
+    let value = line.trim();
+    if (!value || value.startsWith('#'))
+        return null;
+    let negated = false;
+    if (value.startsWith('!')) {
+        negated = true;
+        value = value.slice(1);
+    }
+    if (!value)
+        return null;
+    const anchored = value.startsWith('/');
+    if (anchored)
+        value = value.slice(1);
+    if (value.endsWith('/'))
+        value = value.slice(0, -1);
+    if (!value)
+        return null;
+    const body = globExpression(value);
+    const prefix = anchored || value.includes('/') ? '^' : '(?:^|/)';
+    return { negated, expression: new RegExp(`${prefix}${body}(?:$|/)`) };
+}
+/**
+ * Compile the root `.amalgmignore` for a user ground. Rules are ordered and
+ * `!` negates a prior user rule. Reserved control state and transient SQLite
+ * coordination files are structural exclusions; every other path is ground
+ * unless this tracked file excludes it. The policy file itself always travels.
+ */
+function createUserGroundEnrollmentPolicy(ignoreText = '') {
+    const rules = String(ignoreText).split(/\r?\n/).map(ignoreRule)
+        .filter((rule) => rule !== null);
+    return (input) => {
+        const relPath = normalizedRelativePath(input);
+        if (!relPath || isAmalgmControlPath(relPath) || isSqliteCoordinationPath(relPath))
+            return false;
+        if (relPath === exports.AMALGM_IGNORE_FILE)
+            return true;
+        let excluded = false;
+        for (const rule of rules) {
+            if (rule.expression.test(relPath))
+                excluded = !rule.negated;
+        }
+        return !excluded;
+    };
+}
+//# sourceMappingURL=enrollment.js.map

package/dist-cjs/detection/enrollment.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"enrollment.js","sourceRoot":"","sources":["../../src/detection/enrollment.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;GAUG;;;AA+EH,wDAKC;AAGD,kDAEC;AAID,4DAGC;AA4DD,4EAaC;AApKD;;qEAEqE;AACxD,QAAA,wBAAwB,GAAG,SAAS,CAAC;AACrC,QAAA,kBAAkB,GAAG,eAAe,CAAC;AACrC,QAAA,qBAAqB,GAAG,IAAI,gCAAwB,KAAK,CAAC;AAEvE,MAAM,oBAAoB,GAAG,IAAI,GAAG,CAAC;IACnC,SAAS;IACT,MAAM;IACN,QAAQ;IACR,SAAS;IACT,MAAM;IACN,QAAQ;IACR,SAAS;IACT,KAAK;IACL,OAAO;IACP,aAAa;IACb,OAAO;IACP,aAAa;IACb,eAAe;IACf,eAAe;IACf,aAAa;IACb,MAAM;IACN,MAAM;IACN,aAAa;IACb,QAAQ;IACR,OAAO;IACP,OAAO;IACP,aAAa;IACb,UAAU;IACV,cAAc;CACf,CAAC,CAAC;AAEH,MAAM,cAAc,GAAG,IAAI,GAAG,CAAC;IAC7B,WAAW;IACX,WAAW;IACX,aAAa;IACb,eAAe;IACf,gBAAgB;IAChB,gBAAgB;IAChB,gBAAgB;CACjB,CAAC,CAAC;AAEH,SAAS,aAAa,CAAC,IAAY;IACjC,IAAI,mBAAmB,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IAC7E,IAAI,4DAA4D,CAAC,IAAI,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IACzF,IAAI,iCAAiC,CAAC,IAAI,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IAC9D,IAAI,yEAAyE,CAAC,IAAI,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IACtG,IAAI,0DAA0D,CAAC,IAAI,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IACvF,OAAO,gEAAgE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACrF,CAAC;AAED;;;;;;;GAOG;AACI,MAAM,mBAAmB,GAAqB,CAAC,OAAO,EAAE,EAAE;IAC/D,MAAM,KAAK,GAAG,sBAAsB,CAAC,MAAM,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;IAC3G,MAAM,IAAI,GAAG,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IAC1B,IAAI,IAAI,KAAK,SAAS,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,oBAAoB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAAE,OAAO,KAAK,CAAC;IAC7F,IAAI,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,aAAa,CAAC,IAAI,CAAC;QAAE,OAAO,KAAK,CAAC;IAClE,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACxF,CAAC,CAAC;AANW,QAAA,mBAAmB,uBAM9B;AAEF;;;;GAIG;AACH,SAAgB,sBAAsB,CAAC,OAAe;IACpD,OAAO,MAAM,CAAC,OAAO,IAAI,EAAE,CAAC;SACzB,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC;SACpB,OAAO,CAAC,YAAY,EAAE,EAAE,CAAC;SACzB,OAAO,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC;AAC7B,CAAC;AAED,8EAA8E;AAC9E,SAAgB,mBAAmB,CAAC,OAAe;IACjD,OAAO,sBAAsB,CAAC,OAAO,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,QAAQ,CAAC,gCAAwB,CAAC,CAAC;AACvF,CAAC;AAED;8EAC8E;AAC9E,SAAgB,wBAAwB,CAAC,OAAe;IACtD,MAAM,IAAI,GAAG,sBAAsB,CAAC,OAAO,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IACrE,OAAO,+CAA+C,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACpE,CAAC;AAOD,SAAS,WAAW,CAAC,SAAiB;IACpC,OAAO,oBAAoB,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,KAAK,SAAS,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;AAC7E,CAAC;AAED,SAAS,cAAc,CAAC,OAAe;IACrC,IAAI,UAAU,GAAG,EAAE,CAAC;IACpB,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,OAAO,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QACvD,MAAM,SAAS,GAAG,OAAO,CAAC,KAAK,CAAW,CAAC;QAC3C,IAAI,SAAS,KAAK,GAAG,EAAE,CAAC;YACtB,IAAI,OAAO,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;gBAC/B,OAAO,OAAO,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,GAAG;oBAAE,KAAK,IAAI,CAAC,CAAC;gBAC9C,IAAI,OAAO,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;oBAC/B,KAAK,IAAI,CAAC,CAAC;oBACX,UAAU,IAAI,UAAU,CAAC;gBAC3B,CAAC;qBAAM,CAAC;oBACN,UAAU,IAAI,IAAI,CAAC;gBACrB,CAAC;YACH,CAAC;iBAAM,CAAC;gBACN,UAAU,IAAI,OAAO,CAAC;YACxB,CAAC;QACH,CAAC;aAAM,IAAI,SAAS,KAAK,GAAG,EAAE,CAAC;YAC7B,UAAU,IAAI,MAAM,CAAC;QACvB,CAAC;aAAM,CAAC;YACN,UAAU,IAAI,WAAW,CAAC,SAAS,CAAC,CAAC;QACvC,CAAC;IACH,CAAC;IACD,OAAO,UAAU,CAAC;AACpB,CAAC;AAED,SAAS,UAAU,CAAC,IAAY;IAC9B,IAAI,KAAK,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;IACxB,IAAI,CAAC,KAAK,IAAI,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IACjD,IAAI,OAAO,GAAG,KAAK,CAAC;IACpB,IAAI,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;QAC1B,OAAO,GAAG,IAAI,CAAC;QACf,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IACzB,CAAC;IACD,IAAI,CAAC,KAAK;QAAE,OAAO,IAAI,CAAC;IACxB,MAAM,QAAQ,GAAG,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC;IACvC,IAAI,QAAQ;QAAE,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IACrC,IAAI,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC;QAAE,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACpD,IAAI,CAAC,KAAK;QAAE,OAAO,IAAI,CAAC;IACxB,MAAM,IAAI,GAAG,cAAc,CAAC,KAAK,CAAC,CAAC;IACnC,MAAM,MAAM,GAAG,QAAQ,IAAI,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC;IACjE,OAAO,EAAE,OAAO,EAAE,UAAU,EAAE,IAAI,MAAM,CAAC,GAAG,MAAM,GAAG,IAAI,SAAS,CAAC,EAAE,CAAC;AACxE,CAAC;AAED;;;;;GAKG;AACH,SAAgB,gCAAgC,CAAC,UAAU,GAAG,EAAE;IAC9D,MAAM,KAAK,GAAG,MAAM,CAAC,UAAU,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,UAAU,CAAC;SAC5D,MAAM,CAAC,CAAC,IAAI,EAAsB,EAAE,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;IACvD,OAAO,CAAC,KAAK,EAAE,EAAE;QACf,MAAM,OAAO,GAAG,sBAAsB,CAAC,KAAK,CAAC,CAAC;QAC9C,IAAI,CAAC,OAAO,IAAI,mBAAmB,CAAC,OAAO,CAAC,IAAI,wBAAwB,CAAC,OAAO,CAAC;YAAE,OAAO,KAAK,CAAC;QAChG,IAAI,OAAO,KAAK,0BAAkB;YAAE,OAAO,IAAI,CAAC;QAChD,IAAI,QAAQ,GAAG,KAAK,CAAC;QACrB,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,IAAI,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,OAAO,CAAC;gBAAE,QAAQ,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC;QAC9D,CAAC;QACD,OAAO,CAAC,QAAQ,CAAC;IACnB,CAAC,CAAC;AACJ,CAAC"}

package/dist-cjs/detection/index.js

@@ -0,0 +1,57 @@
+"use strict";
+/**
+ * Detection — the pure cores that turn observed disk evidence into facts.
+ * Normative sources:
+ * entity-model.md (identity axioms, the two continuity witnesses) and
+ * entity-implementation.md (the ratified seams).
+ *
+ * Everything here is rows and entries in, verdicts out. Walking disk,
+ * hashing bytes, opening watchers, and writing stores are the host's;
+ * the host injects its answers (a stat, a channel row, an enrollment
+ * policy) and this layer owns only the laws:
+ *
+ * - `adapter-contract`  the seven rails, the ratified detect socket,
+ *                       descriptor conviction, the three-state truth
+ *                       judgment, the reference adapter
+ * - `classify`          text/binary from detect's own read evidence
+ * - `refusal`           declined-vs-broken, named where it is raised
+ * - `enrollment`        tracked user-ground policy plus legacy compatibility
+ * - `diff`              the compare functions: file/dir/link identity
+ * - `continuity`        root rescue and the undecided address
+ * - `watch-boundary`    generation-safe Watch input and coverage output
+ * - `territory`         nearest-repository recorder selection
+ * - `record-proposal`   the exact Detect-to-Record contract
+ * - `batch`             net-difference planning and Watch settlement
+ * - `content`           text/binary/link replay from one captured read
+ * - `repository`        verified Card + Checkpoint transport planning
+ * - `echo`              incoming Apply equality without suppression
+ */
+var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    var desc = Object.getOwnPropertyDescriptor(m, k);
+    if (!desc || ("get" in desc ? !m.__esModule : desc.writable || desc.configurable)) {
+      desc = { enumerable: true, get: function() { return m[k]; } };
+    }
+    Object.defineProperty(o, k2, desc);
+}) : (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    o[k2] = m[k];
+}));
+var __exportStar = (this && this.__exportStar) || function(m, exports) {
+    for (var p in m) if (p !== "default" && !Object.prototype.hasOwnProperty.call(exports, p)) __createBinding(exports, m, p);
+};
+Object.defineProperty(exports, "__esModule", { value: true });
+__exportStar(require("./adapter-contract.js"), exports);
+__exportStar(require("./batch.js"), exports);
+__exportStar(require("./classify.js"), exports);
+__exportStar(require("./continuity.js"), exports);
+__exportStar(require("./content.js"), exports);
+__exportStar(require("./diff.js"), exports);
+__exportStar(require("./echo.js"), exports);
+__exportStar(require("./enrollment.js"), exports);
+__exportStar(require("./record-proposal.js"), exports);
+__exportStar(require("./repository.js"), exports);
+__exportStar(require("./refusal.js"), exports);
+__exportStar(require("./territory.js"), exports);
+__exportStar(require("./watch-boundary.js"), exports);
+//# sourceMappingURL=index.js.map

package/dist-cjs/detection/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/detection/index.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;;;;;;;;;;;;;;;;AAEH,wDAAsC;AACtC,6CAA2B;AAC3B,gDAA8B;AAC9B,kDAAgC;AAChC,+CAA6B;AAC7B,4CAA0B;AAC1B,4CAA0B;AAC1B,kDAAgC;AAChC,uDAAqC;AACrC,kDAAgC;AAChC,+CAA6B;AAC7B,iDAA+B;AAC/B,sDAAoC"}

package/dist-cjs/detection/record-proposal.js

@@ -0,0 +1,170 @@
+"use strict";
+/**
+ * Detect's exact output to Record.
+ *
+ * A proposal is not yet a durable mutation: Record assigns one mutation id,
+ * appends it atomically, and then Send publishes that same row. Detect owns the
+ * complete result and replay instruction so no later rail has to rediscover
+ * filesystem truth.
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.DETECTED_CHANGE_CONTRACT = void 0;
+exports.detectedChangeProposal = detectedChangeProposal;
+const cloud_js_1 = require("../entities/cloud.js");
+const types_js_1 = require("../entities/types.js");
+const content_js_1 = require("../contracts/content.js");
+const artifacts_js_1 = require("../transfer/artifacts.js");
+exports.DETECTED_CHANGE_CONTRACT = 'amalgm.detected-change-proposal@1';
+const HASH = /^[0-9a-f]{64}$/;
+const facetsOf = (base, result) => {
+    if (base === null)
+        return ['create'];
+    const facets = [];
+    if (base.parentUUID !== result.parentUUID)
+        facets.push('move');
+    if (base.name !== result.name)
+        facets.push('rename');
+    if (base.type !== result.type)
+        facets.push('retype');
+    const resultCarriesPayload = !types_js_1.DERIVED_PAYLOAD.has(result.type) && result.type !== 'reference';
+    if ((base.payloadVersion !== result.payloadVersion && resultCarriesPayload)
+        || (result.type === 'repo.git' && base.transportVersion !== result.transportVersion)) {
+        facets.push('content');
+    }
+    if (base.status !== result.status) {
+        if (result.status === 'trashed')
+            facets.push('trash');
+        else if (base.status === 'trashed' && result.status === 'active')
+            facets.push('restore');
+    }
+    return facets;
+};
+const contentRequired = (base, result, facets) => result.status === 'active'
+    && (base === null || facets.includes('content') || facets.includes('retype'))
+    && ['file.text', 'file.binary', 'link', 'repo.git'].includes(result.type);
+const validateReplay = (base, result, facets, replay) => {
+    const needsContent = contentRequired(base, result, facets);
+    if (!needsContent) {
+        if (replay.kind !== 'structure') {
+            throw new Error('a structural-only detected change must use structure replay');
+        }
+        return;
+    }
+    if (replay.kind !== result.type) {
+        throw new Error(`detected ${result.type} content cannot use ${replay.kind} replay`);
+    }
+    if (result.payloadVersion === null) {
+        throw new Error(`detected ${result.type} content has no result payload version`);
+    }
+    switch (replay.kind) {
+        case 'file.text':
+            const expectedTextBase = base?.payloadVersion && HASH.test(base.payloadVersion)
+                ? base.payloadVersion
+                : null;
+            if (replay.basePayloadVersion !== expectedTextBase
+                || replay.resultPayloadVersion !== result.payloadVersion
+                || (replay.mode === 'delta') !== (replay.delta !== null)) {
+                throw new Error('text replay does not name the detected base and result');
+            }
+            if (!HASH.test(replay.resultPayloadVersion)
+                || (replay.basePayloadVersion !== null && !HASH.test(replay.basePayloadVersion))) {
+                throw new Error('text replay has an invalid content head');
+            }
+            if (replay.delta !== null
+                && (!Number.isSafeInteger(replay.delta.offset) || replay.delta.offset < 0
+                    || !Number.isSafeInteger(replay.delta.deleteBytes) || replay.delta.deleteBytes < 0
+                    || !(replay.delta.insert instanceof Uint8Array))) {
+                throw new Error('text replay has an invalid byte splice');
+            }
+            break;
+        case 'file.binary': {
+            const manifest = (0, content_js_1.checkContentManifest)(replay.manifest, result.payloadVersion);
+            if (!manifest.ok || replay.resultPayloadVersion !== result.payloadVersion) {
+                throw new Error('binary replay does not name the detected result');
+            }
+            break;
+        }
+        case 'link':
+            if (typeof replay.target !== 'string'
+                || replay.resultPayloadVersion !== result.payloadVersion
+                || !HASH.test(replay.resultPayloadVersion)) {
+                throw new Error('link replay does not name the detected result');
+            }
+            break;
+        case 'repo.git':
+            if (replay.stateId !== result.payloadVersion
+                || result.transportVersion === null
+                || replay.transportVersion !== result.transportVersion
+                || ![replay.stateId, replay.cardId, replay.checkpointId, replay.transportVersion]
+                    .every((head) => HASH.test(head))
+                || (replay.parentTransportVersion !== null && !HASH.test(replay.parentTransportVersion))
+                || typeof replay.cardChanged !== 'boolean'
+                || typeof replay.checkpointChanged !== 'boolean') {
+                throw new Error('repository replay does not name the detected state and transport');
+            }
+            break;
+    }
+};
+/**
+ * Build one immutable proposal, or null when settled truth has the same logical
+ * version. A repository transport-only change is still meaningful because its
+ * worktree identity map is part of exact reproduction even when Card and
+ * Checkpoint IDs did not move.
+ */
+function detectedChangeProposal(input) {
+    const result = (0, cloud_js_1.assertRecord)(input.result);
+    const base = input.base === null ? null : (0, cloud_js_1.assertRecord)(input.base);
+    if (base !== null && base.uuid !== result.uuid) {
+        throw new Error('a detected transition cannot change entity UUID');
+    }
+    if (base === null && result.status !== 'active') {
+        throw new Error('newly detected ground must begin active');
+    }
+    if (base?.status === 'deleted') {
+        throw new Error('Detection cannot resurrect a deleted tombstone');
+    }
+    if (result.status === 'deleted') {
+        throw new Error('Detection cannot propose permanent deletion; deletion is an explicit lifecycle operation');
+    }
+    if (base?.version === result.version && base.transportVersion === result.transportVersion) {
+        const sameState = base.type === result.type
+            && base.parentUUID === result.parentUUID
+            && base.name === result.name
+            && base.status === result.status
+            && base.payloadVersion === result.payloadVersion;
+        if (!sameState)
+            throw new Error('one logical version cannot name two different entity states');
+        return null;
+    }
+    const facets = facetsOf(base, result);
+    if (facets.length === 0) {
+        if (base !== null && types_js_1.DERIVED_PAYLOAD.has(base.type) && base.type === result.type) {
+            // Container membership is a projection of child parentUUID values. Its
+            // derived version can move locally, but it is never an independent write
+            // that could erase a sibling created by another machine.
+            return null;
+        }
+        throw new Error('detected records disagree without a named logical facet');
+    }
+    if (facets.includes('trash') && input.lifecycleAuthorization !== 'trash') {
+        throw new Error('filesystem absence is not authority to Trash an entity');
+    }
+    if (facets.includes('restore') && input.lifecycleAuthorization !== 'restore') {
+        throw new Error('restoring an entity requires explicit lifecycle authority');
+    }
+    validateReplay(base, result, facets, input.replay);
+    const artifact = input.replay.kind === 'structure' ? null : (0, artifacts_js_1.artifactForRecord)(result);
+    if (input.replay.kind !== 'structure' && artifact === null) {
+        throw new Error(`detected ${result.type} replay has no transferable artifact`);
+    }
+    return Object.freeze({
+        contract: exports.DETECTED_CHANGE_CONTRACT,
+        entityId: result.uuid,
+        basedOnState: base?.version ?? null,
+        result,
+        facets: Object.freeze(facets),
+        replay: input.replay,
+        cargo: Object.freeze(artifact === null ? [] : [artifact]),
+    });
+}
+//# sourceMappingURL=record-proposal.js.map