@amalgm/shell 0.1.164-preview.36072132286 → 0.1.164-preview.36809057014

package/dist/detection/owed-selection.js

@@ -0,0 +1,169 @@
+import { createUserGroundEnrollmentPolicy, materializableRecords, PublicationScopeExceeded, selectPublication } from "@amalgm/live";
+import { heldDeclarations } from "../declaration-hold.js";
+import { groundDifferences } from "../ground-differences.js";
+import { GROUND_ROW_PROJECTION, portableGroundRecord } from "../ground-row.js";
+import { cachedStatement } from "../sqlite.js";
+import { readSealedRepositoryEvidence, sealDerives } from "./seal-law.js";
+import { heldPaths } from "./walk-law.js";
+const CONTAINER_TYPES = new Set(["workspace", "folder", "repo.git"]);
+/** `observed` and `shared` are one root's O and B rows, each addressed in
+ * that root's frame; `includes` answers policy and holds for an address. */
+export function owedSelection(database, input) {
+    const { rootUUID } = input;
+    const observed = materializable(input.observed, rootUUID), shared = materializable(input.shared, rootUUID);
+    return unrooted(rootUUID, observed, shared) ?? owedOf(database, rootUUID, selectPublication({
+        before: nodes(shared.values(), rootUUID), observed: nodes(observed.values(), rootUUID), includes: input.includes,
+    }), observed, shared, shared.values());
+}
+/** One root's owed addresses under `policy`, outermost only, read in one
+ * committed transaction. `bindings` are the materialized workspace bindings,
+ * whose unpublished declarations selection holds back. */
+export function owedAddresses(database, input) {
+    const { rootUUID } = input;
+    const policy = createUserGroundEnrollmentPolicy(input.policy);
+    return database.transaction(() => {
+        const held = heldDeclarations(database, input.bindings);
+        const withheld = new Set(held.size ? heldPaths(cachedStatement(database, `SELECT ${GROUND_ROW_PROJECTION}
+      FROM entities WHERE root_uuid = ? AND type = 'reference'`).all(rootUUID), held) : []);
+        const includes = path => policy(path) && !withheld.has(path);
+        let owed;
+        try {
+            owed = scopedOwed(database, rootUUID, includes);
+        }
+        catch (error) {
+            if (!(error instanceof PublicationScopeExceeded))
+                throw error;
+            const rows = (inventory) => cachedStatement(database, `SELECT ${GROUND_ROW_PROJECTION} FROM ${inventory} WHERE root_uuid = ?`).all(rootUUID);
+            owed = owedSelection(database, { rootUUID, observed: rows("entities"), shared: rows("detection_notebook"), includes });
+        }
+        return outermostAddresses(owed.map(identity => identity.path));
+    })();
+}
+/** Selection over the differences as targets. Its context is, in each
+ * inventory, the root, every container on the ancestry of either of a
+ * target's places and every target container, each with its complete active
+ * child group: exactly the structure a target's address reads. Every such
+ * row outside the targets is one O and B hold alike. Ancestry is climbed to
+ * the root, so containment answers each row's lifecycle as the whole root
+ * would. Throws PublicationScopeExceeded when selection would move an
+ * address beyond it. */
+function scopedOwed(database, rootUUID, includes) {
+    const targets = new Set(groundDifferences(database, rootUUID));
+    if (targets.size === 0)
+        return [];
+    const statements = (inventory) => ({
+        byUuid: cachedStatement(database, `SELECT ${GROUND_ROW_PROJECTION} FROM ${inventory} WHERE uuid = ? AND root_uuid = ?`),
+        // A group is found by its parent; the root only filters it, so the unary
+        // plus keeps the root test off the root/path index, which would read the
+        // whole root to find one group.
+        members: cachedStatement(database, `SELECT ${GROUND_ROW_PROJECTION} FROM ${inventory}
+      WHERE parent_uuid = ? AND +root_uuid = ? AND status = 'active'`),
+    });
+    const targetRows = (inventory) => {
+        const { byUuid } = statements(inventory);
+        return [...targets].flatMap(uuid => byUuid.get(uuid, rootUUID) ?? []);
+    };
+    const differing = { entities: targetRows("entities"), detection_notebook: targetRows("detection_notebook") };
+    const places = new Set([...differing.entities, ...differing.detection_notebook]
+        .flatMap(row => row.uuid === rootUUID || row.parentUUID === null ? [] : [row.parentUUID]));
+    const read = (inventory) => {
+        const { byUuid, members } = statements(inventory);
+        const rows = new Map(), grouped = new Set(), climbed = new Set();
+        const group = (uuid) => {
+            if (grouped.has(uuid))
+                return;
+            grouped.add(uuid);
+            for (const child of members.all(uuid, rootUUID))
+                rows.set(child.uuid, child);
+        };
+        const climb = (uuid) => {
+            while (uuid !== null && !climbed.has(uuid)) {
+                climbed.add(uuid);
+                const row = byUuid.get(uuid, rootUUID);
+                // Incomplete ancestry: containment drops whatever hangs from it.
+                if (!row)
+                    return;
+                rows.set(uuid, row);
+                group(uuid);
+                uuid = uuid === rootUUID ? null : row.parentUUID;
+            }
+        };
+        climb(rootUUID);
+        for (const parent of places)
+            climb(parent);
+        for (const row of differing[inventory]) {
+            rows.set(row.uuid, row);
+            if (CONTAINER_TYPES.has(row.type))
+                group(row.uuid);
+        }
+        return materializable([...rows.values()], rootUUID);
+    };
+    const observed = read("entities"), shared = read("detection_notebook");
+    const rooted = unrooted(rootUUID, observed, shared);
+    if (rooted)
+        return rooted;
+    const split = (rows, target) => [...rows.values()].filter(row => targets.has(row.uuid) === target);
+    const sharedTargets = split(shared, true);
+    return owedOf(database, rootUUID, selectPublication({
+        before: nodes(sharedTargets, rootUUID), observed: nodes(split(observed, true), rootUUID), includes,
+        context: { before: nodes(split(shared, false), rootUUID), observed: nodes(split(observed, false), rootUUID) },
+    }), observed, shared, sharedTargets);
+}
+/** The rows containment keeps active beneath the root, by UUID. */
+function materializable(rows, rootUUID) {
+    const byUuid = new Map(rows.map(row => [row.uuid, row]));
+    return new Map(materializableRecords(rows.map(portableGroundRecord), rootUUID)
+        .map(record => [record.uuid, byUuid.get(record.uuid)]));
+}
+/** A root either inventory lacks is owed whole. */
+function unrooted(rootUUID, observed, shared) {
+    if (observed.has(rootUUID) && shared.has(rootUUID))
+        return null;
+    const root = observed.get(rootUUID) ?? shared.get(rootUUID);
+    return root ? [{ path: "", row: root, reason: "unshared" }] : [];
+}
+/** A materialization boundary's portable parent lies outside its root. */
+const nodes = (rows, rootUUID) => [...rows].map(row => ({
+    uuid: row.uuid, type: row.type, parentUUID: row.uuid === rootUUID ? null : row.parentUUID,
+    name: row.name, relativePath: row.relativePath,
+}));
+/** What `selection` owes, given the active rows it read from each inventory
+ * and the B rows whose results it decided. */
+function owedOf(database, rootUUID, selection, observed, shared, decided) {
+    const placed = (o, b) => b.type === o.type && b.name === o.name
+        && (o.uuid === rootUUID || b.parentUUID === o.parentUUID);
+    const stands = (o, b) => o.type === "workspace" || o.type === "folder" || o.version === b.version
+        || (o.type === "repo.git" && sealDerives(readSealedRepositoryEvidence(database, o.uuid), o, b));
+    const owed = [];
+    for (const { uuid } of selection.selected) {
+        if (selection.sources.get(uuid) !== "observed")
+            continue;
+        const o = observed.get(uuid), b = shared.get(uuid);
+        if (b && placed(o, b)) {
+            if (!stands(o, b))
+                owed.push({ path: o.relativePath, row: o, reason: "owed" });
+            continue;
+        }
+        owed.push({ path: o.relativePath, row: o, reason: "unshared" });
+        if (b && b.relativePath !== o.relativePath)
+            owed.push({ path: b.relativePath, row: b, reason: "unshared" });
+    }
+    const kept = new Set(selection.selected.map(row => row.uuid));
+    for (const b of decided)
+        if (!kept.has(b.uuid))
+            owed.push({ path: b.relativePath, row: b, reason: "unshared" });
+    return owed;
+}
+/** The outermost of some root-relative addresses: beneath one, its proof
+ * covers the rest. */
+function outermostAddresses(paths) {
+    const sorted = [...new Set(paths)].sort();
+    const outermost = [];
+    for (const path of sorted) {
+        const last = outermost.at(-1);
+        if (last === undefined || !(last === "" || path === last || path.startsWith(`${last}/`)))
+            outermost.push(path);
+    }
+    return outermost;
+}
+//# sourceMappingURL=owed-selection.js.map

package/dist/detection/owed-selection.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"owed-selection.js","sourceRoot":"","sources":["../../src/detection/owed-selection.ts"],"names":[],"mappings":"AAuBA,OAAO,EAAE,gCAAgC,EAAE,qBAAqB,EAAE,wBAAwB,EAAE,iBAAiB,EAC1D,MAAM,cAAc,CAAC;AACxE,OAAO,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAC1D,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAC7D,OAAO,EAAE,qBAAqB,EAAE,oBAAoB,EAAkB,MAAM,kBAAkB,CAAC;AAC/F,OAAO,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC;AAC/C,OAAO,EAAE,4BAA4B,EAAE,WAAW,EAAE,MAAM,eAAe,CAAC;AAC1E,OAAO,EAAE,SAAS,EAAE,MAAM,eAAe,CAAC;AAe1C,MAAM,eAAe,GAAwB,IAAI,GAAG,CAAC,CAAC,WAAW,EAAE,QAAQ,EAAE,UAAU,CAAC,CAAC,CAAC;AAE1F;4EAC4E;AAC5E,MAAM,UAAU,aAAa,CAAC,QAA2B,EAAE,KAK1D;IACC,MAAM,EAAE,QAAQ,EAAE,GAAG,KAAK,CAAC;IAC3B,MAAM,QAAQ,GAAG,cAAc,CAAC,KAAK,CAAC,QAAQ,EAAE,QAAQ,CAAC,EAAE,MAAM,GAAG,cAAc,CAAC,KAAK,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;IAC3G,OAAO,QAAQ,CAAC,QAAQ,EAAE,QAAQ,EAAE,MAAM,CAAC,IAAI,MAAM,CAAC,QAAQ,EAAE,QAAQ,EAAE,iBAAiB,CAAC;QAC1F,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,EAAE,QAAQ,CAAC,EAAE,QAAQ,EAAE,KAAK,CAAC,QAAQ,CAAC,MAAM,EAAE,EAAE,QAAQ,CAAC,EAAE,QAAQ,EAAE,KAAK,CAAC,QAAQ;KACjH,CAAC,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC;AACzC,CAAC;AAED;;0DAE0D;AAC1D,MAAM,UAAU,aAAa,CAAC,QAA2B,EAAE,KAI1D;IACC,MAAM,EAAE,QAAQ,EAAE,GAAG,KAAK,CAAC;IAC3B,MAAM,MAAM,GAAG,gCAAgC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;IAC9D,OAAO,QAAQ,CAAC,WAAW,CAAC,GAAa,EAAE;QACzC,MAAM,IAAI,GAAG,gBAAgB,CAAC,QAAQ,EAAE,KAAK,CAAC,QAAQ,CAAC,CAAC;QACxD,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,eAAe,CAAC,QAAQ,EAAE,UAAU,qBAAqB;+DAC7C,CAAC,CAAC,GAAG,CAAC,QAAQ,CAAgB,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACvG,MAAM,QAAQ,GAAa,IAAI,CAAC,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACvE,IAAI,IAAoB,CAAC;QACzB,IAAI,CAAC;YACH,IAAI,GAAG,UAAU,CAAC,QAAQ,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC;QAClD,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,IAAI,CAAC,CAAC,KAAK,YAAY,wBAAwB,CAAC;gBAAE,MAAM,KAAK,CAAC;YAC9D,MAAM,IAAI,GAAG,CAAC,SAAoB,EAAe,EAAE,CAAC,eAAe,CAAC,QAAQ,EAC1E,UAAU,qBAAqB,SAAS,SAAS,sBAAsB,CAAC,CAAC,GAAG,CAAC,QAAQ,CAAgB,CAAC;YACxG,IAAI,GAAG,aAAa,CAAC,QAAQ,EAAE,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,CAAC,UAAU,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,oBAAoB,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC;QACzH,CAAC;QACD,OAAO,kBAAkB,CAAC,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC;IACjE,CAAC,CAAC,EAAE,CAAC;AACP,CAAC;AAED;;;;;;;wBAOwB;AACxB,SAAS,UAAU,CAAC,QAA2B,EAAE,QAAgB,EAAE,QAAkB;IACnF,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,iBAAiB,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC;IAC/D,IAAI,OAAO,CAAC,IAAI,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IAClC,MAAM,UAAU,GAAG,CAAC,SAAoB,EAAE,EAAE,CAAC,CAAC;QAC5C,MAAM,EAAE,eAAe,CAAC,QAAQ,EAAE,UAAU,qBAAqB,SAAS,SAAS,mCAAmC,CAAC;QACvH,yEAAyE;QACzE,yEAAyE;QACzE,gCAAgC;QAChC,OAAO,EAAE,eAAe,CAAC,QAAQ,EAAE,UAAU,qBAAqB,SAAS,SAAS;qEACnB,CAAC;KACnE,CAAC,CAAC;IACH,MAAM,UAAU,GAAG,CAAC,SAAoB,EAAe,EAAE;QACvD,MAAM,EAAE,MAAM,EAAE,GAAG,UAAU,CAAC,SAAS,CAAC,CAAC;QACzC,OAAO,CAAC,GAAG,OAAO,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAE,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,QAAQ,CAA2B,IAAI,EAAE,CAAC,CAAC;IACnG,CAAC,CAAC;IACF,MAAM,SAAS,GAAG,EAAE,QAAQ,EAAE,UAAU,CAAC,UAAU,CAAC,EAAE,kBAAkB,EAAE,UAAU,CAAC,oBAAoB,CAAC,EAAE,CAAC;IAC7G,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,SAAS,CAAC,QAAQ,EAAE,GAAG,SAAS,CAAC,kBAAkB,CAAC;SAC5E,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,IAAI,KAAK,QAAQ,IAAI,GAAG,CAAC,UAAU,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;IAC7F,MAAM,IAAI,GAAG,CAAC,SAAoB,EAA0B,EAAE;QAC5D,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,GAAG,UAAU,CAAC,SAAS,CAAC,CAAC;QAClD,MAAM,IAAI,GAAG,IAAI,GAAG,EAAqB,EAAE,OAAO,GAAG,IAAI,GAAG,EAAU,EAAE,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;QACpG,MAAM,KAAK,GAAG,CAAC,IAAY,EAAQ,EAAE;YACnC,IAAI,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC;gBAAE,OAAO;YAC9B,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YAClB,KAAK,MAAM,KAAK,IAAI,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,QAAQ,CAAgB;gBAAE,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QAC9F,CAAC,CAAC;QACF,MAAM,KAAK,GAAG,CAAC,IAAmB,EAAQ,EAAE;YAC1C,OAAO,IAAI,KAAK,IAAI,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC3C,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;gBAClB,MAAM,GAAG,GAAG,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,QAAQ,CAA0B,CAAC;gBAChE,iEAAiE;gBACjE,IAAI,CAAC,GAAG;oBAAE,OAAO;gBACjB,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;gBACpB,KAAK,CAAC,IAAI,CAAC,CAAC;gBACZ,IAAI,GAAG,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,UAAU,CAAC;YACnD,CAAC;QACH,CAAC,CAAC;QACF,KAAK,CAAC,QAAQ,CAAC,CAAC;QAChB,KAAK,MAAM,MAAM,IAAI,MAAM;YAAE,KAAK,CAAC,MAAM,CAAC,CAAC;QAC3C,KAAK,MAAM,GAAG,IAAI,SAAS,CAAC,SAAS,CAAC,EAAE,CAAC;YACvC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;YACxB,IAAI,eAAe,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC;gBAAE,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACrD,CAAC;QACD,OAAO,cAAc,CAAC,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE,QAAQ,CAAC,CAAC;IACtD,CAAC,CAAC;IACF,MAAM,QAAQ,GAAG,IAAI,CAAC,UAAU,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC,oBAAoB,CAAC,CAAC;IACvE,MAAM,MAAM,GAAG,QAAQ,CAAC,QAAQ,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC;IACpD,IAAI,MAAM;QAAE,OAAO,MAAM,CAAC;IAC1B,MAAM,KAAK,GAAG,CAAC,IAAoC,EAAE,MAAe,EAAe,EAAE,CACnF,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,MAAM,CAAC,CAAC;IACrE,MAAM,aAAa,GAAG,KAAK,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;IAC1C,OAAO,MAAM,CAAC,QAAQ,EAAE,QAAQ,EAAE,iBAAiB,CAAC;QAClD,MAAM,EAAE,KAAK,CAAC,aAAa,EAAE,QAAQ,CAAC,EAAE,QAAQ,EAAE,KAAK,CAAC,KAAK,CAAC,QAAQ,EAAE,IAAI,CAAC,EAAE,QAAQ,CAAC,EAAE,QAAQ;QAClG,OAAO,EAAE,EAAE,MAAM,EAAE,KAAK,CAAC,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,EAAE,QAAQ,CAAC,EAAE,QAAQ,EAAE,KAAK,CAAC,KAAK,CAAC,QAAQ,EAAE,KAAK,CAAC,EAAE,QAAQ,CAAC,EAAE;KAC9G,CAAC,EAAE,QAAQ,EAAE,MAAM,EAAE,aAAa,CAAC,CAAC;AACvC,CAAC;AAED,mEAAmE;AACnE,SAAS,cAAc,CAAC,IAA0B,EAAE,QAAgB;IAClE,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAU,CAAC,CAAC,CAAC;IAClE,OAAO,IAAI,GAAG,CAAC,qBAAqB,CAAC,IAAI,CAAC,GAAG,CAAC,oBAAoB,CAAC,EAAE,QAAQ,CAAC;SAC3E,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAE,CAAU,CAAC,CAAC,CAAC;AACtE,CAAC;AAED,mDAAmD;AACnD,SAAS,QAAQ,CAAC,QAAgB,EAAE,QAAwC,EAC1E,MAAsC;IACtC,IAAI,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAAE,OAAO,IAAI,CAAC;IAChE,MAAM,IAAI,GAAG,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IAC5D,OAAO,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,UAAU,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;AACnE,CAAC;AAED,0EAA0E;AAC1E,MAAM,KAAK,GAAG,CAAC,IAAyB,EAAE,QAAgB,EAAqB,EAAE,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IACtG,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,UAAU,EAAE,GAAG,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,UAAU;IACzF,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,YAAY,EAAE,GAAG,CAAC,YAAY;CAC/C,CAAC,CAAC,CAAC;AAEJ;8CAC8C;AAC9C,SAAS,MAAM,CAAC,QAA2B,EAAE,QAAgB,EAAE,SAAgD,EAC7G,QAAwC,EAAE,MAAsC,EAChF,OAA4B;IAC5B,MAAM,MAAM,GAAG,CAAC,CAAY,EAAE,CAAY,EAAW,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI;WACzF,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,CAAC,UAAU,KAAK,CAAC,CAAC,UAAU,CAAC,CAAC;IAC5D,MAAM,MAAM,GAAG,CAAC,CAAY,EAAE,CAAY,EAAW,EAAE,CACrD,CAAC,CAAC,IAAI,KAAK,WAAW,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,CAAC,OAAO,KAAK,CAAC,CAAC,OAAO;WACrE,CAAC,CAAC,CAAC,IAAI,KAAK,UAAU,IAAI,WAAW,CAAC,4BAA4B,CAAC,QAAQ,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAClG,MAAM,IAAI,GAAmB,EAAE,CAAC;IAChC,KAAK,MAAM,EAAE,IAAI,EAAE,IAAI,SAAS,CAAC,QAAQ,EAAE,CAAC;QAC1C,IAAI,SAAS,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,UAAU;YAAE,SAAS;QACzD,MAAM,CAAC,GAAG,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAE,EAAE,CAAC,GAAG,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACpD,IAAI,CAAC,IAAI,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;YACtB,IAAI,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC;gBAAE,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,YAAY,EAAE,GAAG,EAAE,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;YAC/E,SAAS;QACX,CAAC;QACD,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,YAAY,EAAE,GAAG,EAAE,CAAC,EAAE,MAAM,EAAE,UAAU,EAAE,CAAC,CAAC;QAChE,IAAI,CAAC,IAAI,CAAC,CAAC,YAAY,KAAK,CAAC,CAAC,YAAY;YAAE,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,YAAY,EAAE,GAAG,EAAE,CAAC,EAAE,MAAM,EAAE,UAAU,EAAE,CAAC,CAAC;IAC9G,CAAC;IACD,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,SAAS,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;IAC9D,KAAK,MAAM,CAAC,IAAI,OAAO;QAAE,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC;YAAE,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,YAAY,EAAE,GAAG,EAAE,CAAC,EAAE,MAAM,EAAE,UAAU,EAAE,CAAC,CAAC;IAChH,OAAO,IAAI,CAAC;AACd,CAAC;AAED;sBACsB;AACtB,SAAS,kBAAkB,CAAC,KAAuB;IACjD,MAAM,MAAM,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IAC1C,MAAM,SAAS,GAAa,EAAE,CAAC;IAC/B,KAAK,MAAM,IAAI,IAAI,MAAM,EAAE,CAAC;QAC1B,MAAM,IAAI,GAAG,SAAS,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QAC9B,IAAI,IAAI,KAAK,SAAS,IAAI,CAAC,CAAC,IAAI,KAAK,EAAE,IAAI,IAAI,KAAK,IAAI,IAAI,IAAI,CAAC,UAAU,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC;YAAE,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjH,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC"}

package/dist/detection/portable.d.ts

@@ -1,10 +1,28 @@
 /**
  * The one host seam between Node filesystem evidence and Live's portable
  * Detect laws. This file owns no watcher, scanner, database, or transport.
- * It only binds already-observed ground to durable UUIDs and asks Live to
- * plan the exact Watch generation that Record may accept.
+ * It binds cached replay evidence and asks Live to plan the exact Watch generation that Record may accept.
  */
-import { type CloudEntityRecord, type DetectionBatchPlan, type EntityType, type ReplayInstruction, type SuspicionSnapshot, type TextReplay } from "@amalgm/live";
+import { type CloudEntityRecord, type DetectionBatchPlan, type LinkReplay, type ReplayInstruction, type Steps, type SuspicionSnapshot, type TextReplay } from "@amalgm/live";
+/** A replay whose instruction carries sealed cache bytes themselves. The
+ * base is the payload head of the record it replaces, or null when the
+ * result replays whole. */
+export interface CachedReplayRequest {
+    readonly entityId: string;
+    readonly type: "file.text" | "link";
+    readonly basePayloadVersion: string | null;
+    readonly resultPayloadVersion: string;
+}
+/**
+ * The replay of one sealed text or link result, read from the machine
+ * content cache and verified against its head. Only a content thread runs
+ * this: a cache read can wait behind the cache directory's flush, and the
+ * hashes and the diff grow with the file. A text base counts only when it
+ * names content, as Live's proposal law reads it; a base the cache no longer
+ * holds selects the verified snapshot. A delta's inserted bytes own their
+ * buffer, so the answer carries exactly them and never the whole file.
+ */
+export declare function cachedReplay(cacheDir: string, request: CachedReplayRequest): Promise<TextReplay | LinkReplay>;
 /**
  * Choose an exact text replay from cache evidence. The notebook's base head
  * is logical history; cached base bytes are only an optional delta input.
@@ -19,48 +37,30 @@ export declare function exactTextReplay(input: {
     readonly resultBytes: Uint8Array;
     readonly sha256Hex: (bytes: Uint8Array | string) => string;
 }): TextReplay;
-export interface IdentityRow {
-    readonly uuid: string;
-    readonly type: EntityType;
-    readonly relativePath: string;
-    readonly deviceNumber: number;
-    readonly inode: number;
-    /** False when the notebook retained missing evidence from an earlier batch.
-     * Such a row may still claim its exact address, but inode reuse cannot prove
-     * a new move from ground that was already absent before this observation. */
-    readonly physicalContinuity?: boolean;
-}
-export interface IdentityEntry {
-    /** Stable only for this observation; never leaves the host. */
-    readonly key: string;
-    readonly type: EntityType;
-    readonly relativePath: string;
-    readonly deviceNumber: number;
-    readonly inode: number;
-    /** A deliberate Register/Add boundary already owns this UUID. */
-    readonly fixedUUID?: string;
-}
-/**
- * Resolve one observation against the last notebook. Directories claim by
- * unique physical continuity first; files and links claim their address
- * first, then unique physical continuity rescues a move. Equal bytes are not
- * an input and therefore can never create identity.
- */
-export declare function reconcileGroundUUIDs(rows: readonly IdentityRow[], entries: readonly IdentityEntry[]): ReadonlyMap<string, string>;
 export interface DetectedGroundRow {
     readonly record: CloudEntityRecord;
     readonly relativePath: string;
     readonly replay?: ReplayInstruction;
+    readonly lifecycleAuthorization?: "trash";
 }
 /**
  * Turn one real Watch observation and its settled before/after graph into the
  * portable Detect plan. Ordinary descendants owned by a repository do not
  * publish independent records; the nearest repository's Card + Checkpoint
- * proposal owns them.
+ * proposal owns them. Which records travel is a property of each complete
+ * graph (`travelingRecordUUIDs`), read once by the caller: a record left out
+ * of this plan still holds its place in the graph its neighbours stand on.
  */
-export declare function planGroundDetection(input: {
+export declare function planGroundDetectionSteps(input: {
     readonly rootId: string;
     readonly suspicion: SuspicionSnapshot;
     readonly before: readonly CloudEntityRecord[];
     readonly after: readonly DetectedGroundRow[];
-}): DetectionBatchPlan;
+    /** Publication membership of the complete before and after graphs: the
+     * repository law itself, nested repository spines included. Enclosure
+     * alone is insufficient because a spine is enclosed but still travels. */
+    readonly traveling: {
+        readonly before: ReadonlySet<string>;
+        readonly after: ReadonlySet<string>;
+    };
+}): Steps<DetectionBatchPlan>;

package/dist/detection/portable.js

@@ -1,10 +1,46 @@
 /**
  * The one host seam between Node filesystem evidence and Live's portable
  * Detect laws. This file owns no watcher, scanner, database, or transport.
- * It only binds already-observed ground to durable UUIDs and asks Live to
- * plan the exact Watch generation that Record may accept.
+ * It binds cached replay evidence and asks Live to plan the exact Watch generation that Record may accept.
  */
-import { CONTAINERS, captureTextChange, detectionBatch, diffDirState, matchByInode, planDetectionBatch, travelingRecordUUIDs, } from "@amalgm/live";
+import { createHash } from "node:crypto";
+import { readFile } from "node:fs/promises";
+import { captureTextChange, detectionBatch, eachStep, planDetectionBatchSteps, } from "@amalgm/live";
+import { contentFile } from "../content-cache-host.js";
+const sha256Hex = (input) => createHash("sha256").update(input).digest("hex");
+/** Cache names are content hashes; nothing else names a cache file. */
+const CONTENT_HASH = /^[0-9a-f]{64}$/;
+/**
+ * The replay of one sealed text or link result, read from the machine
+ * content cache and verified against its head. Only a content thread runs
+ * this: a cache read can wait behind the cache directory's flush, and the
+ * hashes and the diff grow with the file. A text base counts only when it
+ * names content, as Live's proposal law reads it; a base the cache no longer
+ * holds selects the verified snapshot. A delta's inserted bytes own their
+ * buffer, so the answer carries exactly them and never the whole file.
+ */
+export async function cachedReplay(cacheDir, request) {
+    const { entityId, type, resultPayloadVersion } = request;
+    if (!CONTENT_HASH.test(resultPayloadVersion))
+        throw new Error(`${type} result ${entityId} names no cache entry`);
+    const resultBytes = await readFile(contentFile(cacheDir, resultPayloadVersion));
+    if (type === "link") {
+        if (sha256Hex(resultBytes) !== resultPayloadVersion) {
+            throw new Error("link result cache does not match its declared content head");
+        }
+        return { kind: "link", resultPayloadVersion, target: resultBytes.toString("utf8") };
+    }
+    const basePayloadVersion = request.basePayloadVersion !== null && CONTENT_HASH.test(request.basePayloadVersion)
+        ? request.basePayloadVersion : null;
+    const baseBytes = basePayloadVersion === null ? null
+        : await readFile(contentFile(cacheDir, basePayloadVersion)).catch((error) => {
+            if (error.code === "ENOENT")
+                return null;
+            throw error;
+        });
+    const replay = exactTextReplay({ entityId, basePayloadVersion, baseBytes, resultPayloadVersion, resultBytes, sha256Hex });
+    return replay.delta ? { ...replay, delta: { ...replay.delta, insert: new Uint8Array(replay.delta.insert) } } : replay;
+}
 /**
  * Choose an exact text replay from cache evidence. The notebook's base head
  * is logical history; cached base bytes are only an optional delta input.
@@ -33,123 +69,61 @@ export function exactTextReplay(input) {
         delta: null,
     };
 }
-/**
- * Resolve one observation against the last notebook. Directories claim by
- * unique physical continuity first; files and links claim their address
- * first, then unique physical continuity rescues a move. Equal bytes are not
- * an input and therefore can never create identity.
- */
-export function reconcileGroundUUIDs(rows, entries) {
-    const resolved = new Map();
-    const claimed = new Set();
-    const claim = (entry, uuid) => {
-        if (resolved.has(entry.key))
-            throw new Error(`detection entry ${entry.key} claimed twice`);
-        if (claimed.has(uuid))
-            throw new Error(`detection UUID ${uuid} claimed twice`);
-        resolved.set(entry.key, uuid);
-        claimed.add(uuid);
-    };
-    for (const entry of entries) {
-        if (entry.fixedUUID)
-            claim(entry, entry.fixedUUID);
-    }
-    const availableRows = () => rows.filter((row) => !claimed.has(row.uuid));
-    const availableEntries = () => entries.filter((entry) => !resolved.has(entry.key));
-    const directoryRows = availableRows().filter((row) => CONTAINERS.has(row.type) && row.physicalContinuity !== false);
-    const directoryEntries = availableEntries().filter((entry) => CONTAINERS.has(entry.type));
-    const directoryEntryByPath = new Map(directoryEntries.map((entry) => [entry.relativePath, entry]));
-    const directories = diffDirState(directoryRows.map((row) => ({
-        dirId: row.uuid,
-        relPath: row.relativePath,
-        device: row.deviceNumber,
-        inode: row.inode,
-    })), directoryEntries.map((entry) => ({
-        entry,
-        relPath: entry.relativePath,
-        device: entry.deviceNumber,
-        inode: entry.inode,
-    })));
-    for (const match of [...directories.renames, ...directories.retags]) {
-        const entry = directoryEntryByPath.get(match.entry.relPath);
-        if (!entry)
-            throw new Error(`detection directory ${match.entry.relPath} disappeared from its observation`);
-        claim(entry, match.row.dirId);
-    }
-    const rowsByPath = new Map(availableRows().map((row) => [row.relativePath, row]));
-    for (const entry of availableEntries().filter((candidate) => !CONTAINERS.has(candidate.type))) {
-        const row = rowsByPath.get(entry.relativePath);
-        if (row)
-            claim(entry, row.uuid);
-    }
-    const physicalRows = availableRows().filter((row) => !CONTAINERS.has(row.type) && row.physicalContinuity !== false);
-    const physicalEntries = availableEntries().filter((entry) => !CONTAINERS.has(entry.type));
-    for (const match of matchByInode(physicalRows.map((row) => ({
-        row,
-        device: row.deviceNumber,
-        inode: row.inode,
-    })), physicalEntries.map((entry) => ({
-        entry,
-        device: entry.deviceNumber,
-        inode: entry.inode,
-    })))) {
-        claim(match.entry.entry, match.row.row.uuid);
-    }
-    return resolved;
-}
 /**
  * Turn one real Watch observation and its settled before/after graph into the
  * portable Detect plan. Ordinary descendants owned by a repository do not
  * publish independent records; the nearest repository's Card + Checkpoint
- * proposal owns them.
+ * proposal owns them. Which records travel is a property of each complete
+ * graph (`travelingRecordUUIDs`), read once by the caller: a record left out
+ * of this plan still holds its place in the graph its neighbours stand on.
  */
-export function planGroundDetection(input) {
+export function* planGroundDetectionSteps(input) {
     const batch = detectionBatch(input.rootId, input.suspicion);
-    const beforeByUuid = new Map(input.before.map((record) => [record.uuid, record]));
-    const afterRecords = input.after.map((row) => row.record);
-    const afterByUuid = new Map(input.after.map((row) => [row.record.uuid, row]));
-    // Publication membership is the repository law itself, including nested
-    // repository spines. Enclosure alone is insufficient because a spine is
-    // enclosed but deliberately still travels.
-    const beforeTraveling = travelingRecordUUIDs(input.before);
-    const afterTraveling = travelingRecordUUIDs(afterRecords);
+    const beforeByUuid = new Map();
+    yield* eachStep(input.before, record => beforeByUuid.set(record.uuid, record));
+    const afterByUuid = new Map();
+    yield* eachStep(input.after, row => afterByUuid.set(row.record.uuid, row));
+    const { before: beforeTraveling, after: afterTraveling } = input.traveling;
     const transitions = [];
     const visibilityBarriers = [];
-    for (const uuid of new Set([...beforeByUuid.keys(), ...afterByUuid.keys()])) {
+    const transitionOf = (uuid) => {
         const base = beforeByUuid.get(uuid) ?? null;
         const current = afterByUuid.get(uuid) ?? null;
         if ((current === null && !beforeTraveling.has(uuid))
             || (current !== null && !afterTraveling.has(uuid)))
-            continue;
+            return;
         if (current === null) {
             transitions.push({ truth: "absent", base });
-            continue;
+            return;
         }
-        const becameTraveling = !beforeTraveling.has(uuid) && afterTraveling.has(uuid);
-        const transition = {
+        // Leaving a parcel republishes active results only; an inactive result
+        // travels solely through a real lifecycle change.
+        const becameTraveling = !beforeTraveling.has(uuid) && afterTraveling.has(uuid)
+            && current.record.status === "active";
+        const present = {
             truth: "present",
             relPath: current.relativePath,
-            // A repository-owned child had no independent cloud record. Its local
-            // notebook row is identity evidence, not an authority base.
-            base: becameTraveling ? null : base,
+            base,
+            requirePublication: becameTraveling,
             result: current.record,
             replay: current.replay ?? { kind: "structure" },
+            ...(current.lifecycleAuthorization ? { lifecycleAuthorization: current.lifecycleAuthorization } : {}),
         };
         if (base !== null
             && base.type !== current.record.type
             && (current.record.type === "workspace" || current.record.type === "folder")) {
-            visibilityBarriers.push(transition);
+            visibilityBarriers.push(present);
         }
         else {
-            transitions.push(transition);
+            transitions.push(present);
         }
-    }
-    // Newly independent descendants must enter the official prefix before the
-    // parent retype makes them visible. The Send rail publishes that final
-    // visibility barrier alone.
-    transitions.push(...visibilityBarriers);
+    };
+    yield* eachStep(beforeByUuid.keys(), transitionOf);
+    yield* eachStep(afterByUuid.keys(), uuid => { if (!beforeByUuid.has(uuid))
+        transitionOf(uuid); });
+    yield* eachStep(visibilityBarriers, barrier => transitions.push(barrier));
     try {
-        return planDetectionBatch(batch, transitions);
+        return yield* planDetectionBatchSteps(batch, transitions);
     }
     catch (error) {
         const message = error instanceof Error ? error.message : String(error);

package/dist/detection/portable.js.map

@@ -1 +1 @@
-{"version":3,"file":"portable.js","sourceRoot":"","sources":["../../src/detection/portable.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EACL,UAAU,EACV,iBAAiB,EACjB,cAAc,EACd,YAAY,EACZ,YAAY,EACZ,kBAAkB,EAClB,oBAAoB,GAOrB,MAAM,cAAc,CAAC;AAEtB;;;;;GAKG;AACH,MAAM,UAAU,eAAe,CAAC,KAO/B;IACC,IAAI,KAAK,CAAC,SAAS,CAAC,KAAK,CAAC,WAAW,CAAC,KAAK,KAAK,CAAC,oBAAoB,EAAE,CAAC;QACtE,MAAM,IAAI,KAAK,CAAC,4DAA4D,CAAC,CAAC;IAChF,CAAC;IACD,MAAM,YAAY,GAAG,KAAK,CAAC,kBAAkB,KAAK,IAAI;WACjD,KAAK,CAAC,SAAS,KAAK,IAAI;WACxB,KAAK,CAAC,SAAS,CAAC,KAAK,CAAC,SAAS,CAAC,KAAK,KAAK,CAAC,kBAAkB;QAChE,CAAC,CAAC,KAAK,CAAC,SAAS;QACjB,CAAC,CAAC,IAAI,CAAC;IACT,IAAI,KAAK,CAAC,kBAAkB,KAAK,IAAI,IAAI,YAAY,KAAK,IAAI,EAAE,CAAC;QAC/D,MAAM,QAAQ,GAAG,iBAAiB,CAChC,KAAK,CAAC,QAAQ,EACd,YAAY,EACZ,KAAK,CAAC,WAAW,EACjB,KAAK,CAAC,SAAS,CAChB,CAAC;QACF,IAAI,QAAQ,KAAK,IAAI;YAAE,OAAO,QAAQ,CAAC,MAAM,CAAC;IAChD,CAAC;IACD,OAAO;QACL,IAAI,EAAE,WAAW;QACjB,IAAI,EAAE,UAAU;QAChB,kBAAkB,EAAE,KAAK,CAAC,kBAAkB;QAC5C,oBAAoB,EAAE,KAAK,CAAC,oBAAoB;QAChD,KAAK,EAAE,IAAI;KACZ,CAAC;AACJ,CAAC;AAyBD;;;;;GAKG;AACH,MAAM,UAAU,oBAAoB,CAClC,IAA4B,EAC5B,OAAiC;IAEjC,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC3C,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,MAAM,KAAK,GAAG,CAAC,KAAoB,EAAE,IAAY,EAAQ,EAAE;QACzD,IAAI,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,mBAAmB,KAAK,CAAC,GAAG,gBAAgB,CAAC,CAAC;QAC3F,IAAI,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,kBAAkB,IAAI,gBAAgB,CAAC,CAAC;QAC/E,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;QAC9B,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACpB,CAAC,CAAC;IAEF,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;QAC5B,IAAI,KAAK,CAAC,SAAS;YAAE,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,SAAS,CAAC,CAAC;IACrD,CAAC;IAED,MAAM,aAAa,GAAG,GAAG,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;IACzE,MAAM,gBAAgB,GAAG,GAAG,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC;IACnF,MAAM,aAAa,GAAG,aAAa,EAAE,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CACnD,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,kBAAkB,KAAK,KAAK,CAAC,CAAC;IAChE,MAAM,gBAAgB,GAAG,gBAAgB,EAAE,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;IAC1F,MAAM,oBAAoB,GAAG,IAAI,GAAG,CAAC,gBAAgB,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,YAAY,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;IACnG,MAAM,WAAW,GAAG,YAAY,CAC9B,aAAa,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;QAC1B,KAAK,EAAE,GAAG,CAAC,IAAI;QACf,OAAO,EAAE,GAAG,CAAC,YAAY;QACzB,MAAM,EAAE,GAAG,CAAC,YAAY;QACxB,KAAK,EAAE,GAAG,CAAC,KAAK;KACjB,CAAC,CAAC,EACH,gBAAgB,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;QAC/B,KAAK;QACL,OAAO,EAAE,KAAK,CAAC,YAAY;QAC3B,MAAM,EAAE,KAAK,CAAC,YAAY;QAC1B,KAAK,EAAE,KAAK,CAAC,KAAK;KACnB,CAAC,CAAC,CACJ,CAAC;IACF,KAAK,MAAM,KAAK,IAAI,CAAC,GAAG,WAAW,CAAC,OAAO,EAAE,GAAG,WAAW,CAAC,MAAM,CAAC,EAAE,CAAC;QACpE,MAAM,KAAK,GAAG,oBAAoB,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;QAC5D,IAAI,CAAC,KAAK;YAAE,MAAM,IAAI,KAAK,CAAC,uBAAuB,KAAK,CAAC,KAAK,CAAC,OAAO,mCAAmC,CAAC,CAAC;QAC3G,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IAChC,CAAC;IAED,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,aAAa,EAAE,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,YAAY,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;IAClF,KAAK,MAAM,KAAK,IAAI,gBAAgB,EAAE,CAAC,MAAM,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;QAC9F,MAAM,GAAG,GAAG,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC;QAC/C,IAAI,GAAG;YAAE,KAAK,CAAC,KAAK,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC;IAClC,CAAC;IAED,MAAM,YAAY,GAAG,aAAa,EAAE,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAClD,CAAC,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,kBAAkB,KAAK,KAAK,CAAC,CAAC;IACjE,MAAM,eAAe,GAAG,gBAAgB,EAAE,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;IAC1F,KAAK,MAAM,KAAK,IAAI,YAAY,CAC9B,YAAY,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;QACzB,GAAG;QACH,MAAM,EAAE,GAAG,CAAC,YAAY;QACxB,KAAK,EAAE,GAAG,CAAC,KAAK;KACjB,CAAC,CAAC,EACH,eAAe,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;QAC9B,KAAK;QACL,MAAM,EAAE,KAAK,CAAC,YAAY;QAC1B,KAAK,EAAE,KAAK,CAAC,KAAK;KACnB,CAAC,CAAC,CACJ,EAAE,CAAC;QACF,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAC/C,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAQD;;;;;GAKG;AACH,MAAM,UAAU,mBAAmB,CAAC,KAKnC;IACC,MAAM,KAAK,GAAG,cAAc,CAAC,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,SAAS,CAAC,CAAC;IAC5D,MAAM,YAAY,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC;IAClF,MAAM,YAAY,GAAG,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IAC1D,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;IAC9E,wEAAwE;IACxE,wEAAwE;IACxE,2CAA2C;IAC3C,MAAM,eAAe,GAAG,oBAAoB,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;IAC3D,MAAM,cAAc,GAAG,oBAAoB,CAAC,YAAY,CAAC,CAAC;IAC1D,MAAM,WAAW,GAAG,EAAE,CAAC;IACvB,MAAM,kBAAkB,GAAG,EAAE,CAAC;IAE9B,KAAK,MAAM,IAAI,IAAI,IAAI,GAAG,CAAC,CAAC,GAAG,YAAY,CAAC,IAAI,EAAE,EAAE,GAAG,WAAW,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC;QAC5E,MAAM,IAAI,GAAG,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC;QAC5C,MAAM,OAAO,GAAG,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC;QAC9C,IAAI,CAAC,OAAO,KAAK,IAAI,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;eAC/C,CAAC,OAAO,KAAK,IAAI,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YAAE,SAAS;QAC/D,IAAI,OAAO,KAAK,IAAI,EAAE,CAAC;YACrB,WAAW,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,QAAiB,EAAE,IAAI,EAAE,CAAC,CAAC;YACrD,SAAS;QACX,CAAC;QACD,MAAM,eAAe,GAAG,CAAC,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAC/E,MAAM,UAAU,GAAG;YACjB,KAAK,EAAE,SAAkB;YACzB,OAAO,EAAE,OAAO,CAAC,YAAY;YAC7B,sEAAsE;YACtE,4DAA4D;YAC5D,IAAI,EAAE,eAAe,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI;YACnC,MAAM,EAAE,OAAO,CAAC,MAAM;YACtB,MAAM,EAAE,OAAO,CAAC,MAAM,IAAI,EAAE,IAAI,EAAE,WAAoB,EAAE;SACzD,CAAC;QACF,IAAI,IAAI,KAAK,IAAI;eACZ,IAAI,CAAC,IAAI,KAAK,OAAO,CAAC,MAAM,CAAC,IAAI;eACjC,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,KAAK,WAAW,IAAI,OAAO,CAAC,MAAM,CAAC,IAAI,KAAK,QAAQ,CAAC,EAAE,CAAC;YAC/E,kBAAkB,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QACtC,CAAC;aAAM,CAAC;YACN,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAC/B,CAAC;IACH,CAAC;IACD,0EAA0E;IAC1E,uEAAuE;IACvE,4BAA4B;IAC5B,WAAW,CAAC,IAAI,CAAC,GAAG,kBAAkB,CAAC,CAAC;IACxC,IAAI,CAAC;QACH,OAAO,kBAAkB,CAAC,KAAK,EAAE,WAAW,CAAC,CAAC;IAChD,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,MAAM,OAAO,GAAG,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QACvE,MAAM,UAAU,GAAG,WAAW,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC,KAAK,KAAK,SAAS;YAC3F,CAAC,CAAC,GAAG,UAAU,CAAC,MAAM,CAAC,IAAI,IAAI,UAAU,CAAC,MAAM,CAAC,IAAI,IAAI,UAAU,CAAC,MAAM,CAAC,cAAc,IAAI,MAAM,EAAE;YACrG,CAAC,CAAC,GAAG,UAAU,CAAC,IAAI,EAAE,IAAI,IAAI,MAAM,SAAS,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC3D,MAAM,SAAS,GAAG,WAAW,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,WAAW,CAAC,MAAM,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;QACnF,MAAM,IAAI,KAAK,CAAC,mBAAmB,KAAK,CAAC,MAAM,YAAY,UAAU,GAAG,SAAS,MAAM,OAAO,EAAE,CAAC,CAAC;IACpG,CAAC;AACH,CAAC"}
+{"version":3,"file":"portable.js","sourceRoot":"","sources":["../../src/detection/portable.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAE5C,OAAO,EACL,iBAAiB,EACjB,cAAc,EACd,QAAQ,EACR,uBAAuB,GAUxB,MAAM,cAAc,CAAC;AAEtB,OAAO,EAAE,WAAW,EAAE,MAAM,0BAA0B,CAAC;AAEvD,MAAM,SAAS,GAAG,CAAC,KAA0B,EAAU,EAAE,CACvD,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AAEnD,uEAAuE;AACvE,MAAM,YAAY,GAAG,gBAAgB,CAAC;AAYtC;;;;;;;;GAQG;AACH,MAAM,CAAC,KAAK,UAAU,YAAY,CAAC,QAAgB,EAAE,OAA4B;IAC/E,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE,oBAAoB,EAAE,GAAG,OAAO,CAAC;IACzD,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,oBAAoB,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,GAAG,IAAI,WAAW,QAAQ,uBAAuB,CAAC,CAAC;IACjH,MAAM,WAAW,GAAG,MAAM,QAAQ,CAAC,WAAW,CAAC,QAAQ,EAAE,oBAAoB,CAAC,CAAC,CAAC;IAChF,IAAI,IAAI,KAAK,MAAM,EAAE,CAAC;QACpB,IAAI,SAAS,CAAC,WAAW,CAAC,KAAK,oBAAoB,EAAE,CAAC;YACpD,MAAM,IAAI,KAAK,CAAC,4DAA4D,CAAC,CAAC;QAChF,CAAC;QACD,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,oBAAoB,EAAE,MAAM,EAAE,WAAW,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;IACtF,CAAC;IACD,MAAM,kBAAkB,GAAG,OAAO,CAAC,kBAAkB,KAAK,IAAI,IAAI,YAAY,CAAC,IAAI,CAAC,OAAO,CAAC,kBAAkB,CAAC;QAC7G,CAAC,CAAC,OAAO,CAAC,kBAAkB,CAAC,CAAC,CAAC,IAAI,CAAC;IACtC,MAAM,SAAS,GAAG,kBAAkB,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI;QAClD,CAAC,CAAC,MAAM,QAAQ,CAAC,WAAW,CAAC,QAAQ,EAAE,kBAAkB,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,KAA4B,EAAE,EAAE;YACjG,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ;gBAAE,OAAO,IAAI,CAAC;YACzC,MAAM,KAAK,CAAC;QACd,CAAC,CAAC,CAAC;IACL,MAAM,MAAM,GAAG,eAAe,CAAC,EAAE,QAAQ,EAAE,kBAAkB,EAAE,SAAS,EAAE,oBAAoB,EAAE,WAAW,EAAE,SAAS,EAAE,CAAC,CAAC;IAC1H,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,GAAG,MAAM,EAAE,KAAK,EAAE,EAAE,GAAG,MAAM,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,UAAU,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC;AACxH,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,eAAe,CAAC,KAO/B;IACC,IAAI,KAAK,CAAC,SAAS,CAAC,KAAK,CAAC,WAAW,CAAC,KAAK,KAAK,CAAC,oBAAoB,EAAE,CAAC;QACtE,MAAM,IAAI,KAAK,CAAC,4DAA4D,CAAC,CAAC;IAChF,CAAC;IACD,MAAM,YAAY,GAAG,KAAK,CAAC,kBAAkB,KAAK,IAAI;WACjD,KAAK,CAAC,SAAS,KAAK,IAAI;WACxB,KAAK,CAAC,SAAS,CAAC,KAAK,CAAC,SAAS,CAAC,KAAK,KAAK,CAAC,kBAAkB;QAChE,CAAC,CAAC,KAAK,CAAC,SAAS;QACjB,CAAC,CAAC,IAAI,CAAC;IACT,IAAI,KAAK,CAAC,kBAAkB,KAAK,IAAI,IAAI,YAAY,KAAK,IAAI,EAAE,CAAC;QAC/D,MAAM,QAAQ,GAAG,iBAAiB,CAChC,KAAK,CAAC,QAAQ,EACd,YAAY,EACZ,KAAK,CAAC,WAAW,EACjB,KAAK,CAAC,SAAS,CAChB,CAAC;QACF,IAAI,QAAQ,KAAK,IAAI;YAAE,OAAO,QAAQ,CAAC,MAAM,CAAC;IAChD,CAAC;IACD,OAAO;QACL,IAAI,EAAE,WAAW;QACjB,IAAI,EAAE,UAAU;QAChB,kBAAkB,EAAE,KAAK,CAAC,kBAAkB;QAC5C,oBAAoB,EAAE,KAAK,CAAC,oBAAoB;QAChD,KAAK,EAAE,IAAI;KACZ,CAAC;AACJ,CAAC;AASD;;;;;;;GAOG;AACH,MAAM,SAAS,CAAC,CAAC,wBAAwB,CAAC,KASzC;IACC,MAAM,KAAK,GAAG,cAAc,CAAC,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,SAAS,CAAC,CAAC;IAC5D,MAAM,YAAY,GAAG,IAAI,GAAG,EAA6B,CAAC;IAC1D,KAAK,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,CAAC,YAAY,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC;IAC/E,MAAM,WAAW,GAAG,IAAI,GAAG,EAA6B,CAAC;IACzD,KAAK,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,KAAK,EAAE,GAAG,CAAC,EAAE,CAAC,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC;IAC3E,MAAM,EAAE,MAAM,EAAE,eAAe,EAAE,KAAK,EAAE,cAAc,EAAE,GAAG,KAAK,CAAC,SAAS,CAAC;IAC3E,MAAM,WAAW,GAA6C,EAAE,CAAC;IACjE,MAAM,kBAAkB,GAAwB,EAAE,CAAC;IAEnD,MAAM,YAAY,GAAG,CAAC,IAAY,EAAQ,EAAE;QAC1C,MAAM,IAAI,GAAG,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC;QAC5C,MAAM,OAAO,GAAG,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC;QAC9C,IAAI,CAAC,OAAO,KAAK,IAAI,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;eAC/C,CAAC,OAAO,KAAK,IAAI,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YAAE,OAAO;QAC7D,IAAI,OAAO,KAAK,IAAI,EAAE,CAAC;YACrB,WAAW,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC;YAC5C,OAAO;QACT,CAAC;QACD,uEAAuE;QACvE,kDAAkD;QAClD,MAAM,eAAe,GAAG,CAAC,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC;eACzE,OAAO,CAAC,MAAM,CAAC,MAAM,KAAK,QAAQ,CAAC;QACxC,MAAM,OAAO,GAAsB;YACjC,KAAK,EAAE,SAAS;YAChB,OAAO,EAAE,OAAO,CAAC,YAAY;YAC7B,IAAI;YACJ,kBAAkB,EAAE,eAAe;YACnC,MAAM,EAAE,OAAO,CAAC,MAAM;YACtB,MAAM,EAAE,OAAO,CAAC,MAAM,IAAI,EAAE,IAAI,EAAE,WAAW,EAAE;YAC/C,GAAG,CAAC,OAAO,CAAC,sBAAsB,CAAC,CAAC,CAAC,EAAE,sBAAsB,EAAE,OAAO,CAAC,sBAAsB,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SACtG,CAAC;QACF,IAAI,IAAI,KAAK,IAAI;eACZ,IAAI,CAAC,IAAI,KAAK,OAAO,CAAC,MAAM,CAAC,IAAI;eACjC,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,KAAK,WAAW,IAAI,OAAO,CAAC,MAAM,CAAC,IAAI,KAAK,QAAQ,CAAC,EAAE,CAAC;YAC/E,kBAAkB,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACnC,CAAC;aAAM,CAAC;YACN,WAAW,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAC5B,CAAC;IACH,CAAC,CAAC;IACF,KAAK,CAAC,CAAC,QAAQ,CAAC,YAAY,CAAC,IAAI,EAAE,EAAE,YAAY,CAAC,CAAC;IACnD,KAAK,CAAC,CAAC,QAAQ,CAAC,WAAW,CAAC,IAAI,EAAE,EAAE,IAAI,CAAC,EAAE,GAAG,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC;QAAE,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAClG,KAAK,CAAC,CAAC,QAAQ,CAAC,kBAAkB,EAAE,OAAO,CAAC,EAAE,CAAC,WAAW,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC;IAC1E,IAAI,CAAC;QACH,OAAO,KAAK,CAAC,CAAC,uBAAuB,CAAC,KAAK,EAAE,WAAW,CAAC,CAAC;IAC5D,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,MAAM,OAAO,GAAG,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QACvE,MAAM,UAAU,GAAG,WAAW,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC,KAAK,KAAK,SAAS;YAC3F,CAAC,CAAC,GAAG,UAAU,CAAC,MAAM,CAAC,IAAI,IAAI,UAAU,CAAC,MAAM,CAAC,IAAI,IAAI,UAAU,CAAC,MAAM,CAAC,cAAc,IAAI,MAAM,EAAE;YACrG,CAAC,CAAC,GAAG,UAAU,CAAC,IAAI,EAAE,IAAI,IAAI,MAAM,SAAS,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC3D,MAAM,SAAS,GAAG,WAAW,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,WAAW,CAAC,MAAM,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;QACnF,MAAM,IAAI,KAAK,CAAC,mBAAmB,KAAK,CAAC,MAAM,YAAY,UAAU,GAAG,SAAS,MAAM,OAAO,EAAE,CAAC,CAAC;IACpG,CAAC;AACH,CAAC"}

package/dist/detection/reconciliation-coverage.d.ts

@@ -0,0 +1,7 @@
+/** Reconciliation consumes physical coverage owners, while Watch tracks every
+ * logical root independently. A settled outer notice cannot consume a later
+ * nested responsibility without a new observation of their shared owner. */
+export declare function missingReconciliationOwners(directories: ReadonlySet<string>, coverage: readonly {
+    readonly directory: string;
+    readonly contentOwner: string | null;
+}[]): readonly string[];

package/dist/detection/reconciliation-coverage.js

@@ -0,0 +1,16 @@
+/** Reconciliation consumes physical coverage owners, while Watch tracks every
+ * logical root independently. A settled outer notice cannot consume a later
+ * nested responsibility without a new observation of their shared owner. */
+export function missingReconciliationOwners(directories, coverage) {
+    const byDirectory = new Map(coverage.map(root => [root.directory, root.contentOwner]));
+    const missing = new Set();
+    for (const directory of directories) {
+        const owner = byDirectory.get(directory);
+        if (!owner)
+            throw new Error(`reconciliation has no physical coverage owner: ${directory}`);
+        if (!directories.has(owner))
+            missing.add(owner);
+    }
+    return [...missing];
+}
+//# sourceMappingURL=reconciliation-coverage.js.map

package/dist/detection/reconciliation-coverage.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"reconciliation-coverage.js","sourceRoot":"","sources":["../../src/detection/reconciliation-coverage.ts"],"names":[],"mappings":"AAAA;;4EAE4E;AAC5E,MAAM,UAAU,2BAA2B,CACzC,WAAgC,EAChC,QAAyF;IAEzF,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,SAAS,EAAE,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IACvF,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,KAAK,MAAM,SAAS,IAAI,WAAW,EAAE,CAAC;QACpC,MAAM,KAAK,GAAG,WAAW,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;QACzC,IAAI,CAAC,KAAK;YAAE,MAAM,IAAI,KAAK,CAAC,kDAAkD,SAAS,EAAE,CAAC,CAAC;QAC3F,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,KAAK,CAAC;YAAE,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IAClD,CAAC;IACD,OAAO,CAAC,GAAG,OAAO,CAAC,CAAC;AACtB,CAAC"}

package/dist/detection/repository-publication.d.ts

@@ -0,0 +1,20 @@
+import { type RepoIdentityEntry, type RepoIdentityMap, type ReplayInstruction } from "@amalgm/live";
+import { type LiteralLane } from "../content-capture-pool.js";
+import { type ObservedRepository } from "../git-repository-host.js";
+import type { SourceProof } from "../source-proof.js";
+import type { GroundRow } from "../ground-row.js";
+export declare function publishRepository(input: {
+    readonly cacheDir: string;
+    readonly repository: GroundRow;
+    readonly before: GroundRow | null;
+    readonly observed: ObservedRepository;
+    /** The observation's own literal map, which an observed publication reuses. */
+    readonly observedIdentity: RepoIdentityMap;
+    readonly identity: readonly RepoIdentityEntry[];
+    readonly retained: ReadonlySet<string>;
+    readonly lane: LiteralLane;
+}): Promise<{
+    readonly row: GroundRow;
+    readonly replay: ReplayInstruction;
+    readonly proof: SourceProof;
+}>;