@amalgm/shell 0.1.43 → 0.1.45

package/PURPOSE.md

@@ -303,9 +303,11 @@ shell only assembles.
     unrelated coverage. The portable registry head remains one atomic graph.
 
 35. **Portable path grammar becomes a native path only at the host boundary.**
-    Core and Live may describe paths with `/`; before Shell performs a
-    filesystem effect it resolves that grammar with the host platform's path
-    semantics. Durable records may never mix separators accidentally.
+    Core and Live describe path components with `/`; Shell performs portable
+    parent and name operations with that grammar, preserving `\\` as a literal
+    character, and only then resolves those components with the host platform's
+    path semantics for a filesystem effect. Durable records never rewrite or
+    mix separators accidentally.
 
 36. **Git materialization reproduces Card bytes independently of machine
     preferences.** A repository created by Add disables receiver-global line
@@ -340,7 +342,7 @@ shell only assembles.
 
 42. **Record commits evidence before Watch settles.** The host reconciles a
     Watch generation against one last-verified detection notebook, writes the
-    exact portable Detect proposals into the existing cloud outbox, and
+    exact portable Detect proposals into the one mutation journal, and
     advances that notebook in the same SQLite transaction. The materialized
     `entities` table contains only ground present on this machine; the notebook
     may retain the UUID and last verified evidence for missing ground so an
@@ -354,18 +356,20 @@ shell only assembles.
 43. **One Detect job proves one finite Watch generation.** A scheduled pass or
     explicit flush observes and settles only the generations it froze before
     reading truth. A ring received during that read remains pending and owns a
-    later debounced pass; no caller waits for the operating system to become
-    globally silent. This keeps duplicate or continuous native callbacks from
-    making an otherwise complete Record operation unbounded without dropping
-    any suspicion.
-
-44. **Detect indexes each observed graph once.** Repository ownership and
-    identity reconciliation reuse one UUID index for the complete batch;
-    planning a no-op generation is linear in the entity graph, never one full
-    graph rebuild per entity. Record advances only notebook rows whose accepted
-    evidence changed rather than rewriting the entire accepted graph. Large
-    existing ground therefore cannot hold a small new Register behind
-    quadratic planning or unrelated SQLite writes.
+    later bounded pass, even when its timer fires while the older generation
+    is still observing; no caller waits for the operating system
+    to become globally silent. This keeps duplicate or continuous native
+    callbacks from making an otherwise complete Record operation unbounded
+    without dropping any suspicion.
+
+44. **Named Detect is independent of workspace size.** Shell holds one
+    prepared SQLite owner for the live Detect runtime. A named path uses one
+    indexed row, its parent chain, one stat, changed bytes when required, and
+    one transaction. Structural work widens only to the affected subtree;
+    repository work widens only to its Card + Checkpoint territory. Nameless,
+    invalid, startup, and failed-coverage evidence alone may enter complete
+    reconciliation. No named Detect pass serializes a workspace snapshot or
+    enters Send; the exact journal row is its terminal output.
 
 ## Relationship to amalgm-engine
 

package/dist/detection/journal-codec.d.ts

@@ -0,0 +1,3 @@
+/** Byte-exact JSON codec for the one durable mutation journal. */
+export declare const encodeMutationOperation: (value: unknown) => string;
+export declare const decodeMutationOperation: (json: string) => unknown;

package/dist/detection/journal-codec.js

@@ -0,0 +1,34 @@
+/** Byte-exact JSON codec for the one durable mutation journal. */
+import { stableJson } from "@amalgm/live";
+const BYTES = "$amalgmBytesBase64";
+const encodeValue = (value) => {
+    if (value instanceof Uint8Array) {
+        return { [BYTES]: Buffer.from(value).toString("base64") };
+    }
+    if (Array.isArray(value))
+        return value.map(encodeValue);
+    if (value && typeof value === "object") {
+        return Object.fromEntries(Object.entries(value).map(([key, child]) => [key, encodeValue(child)]));
+    }
+    return value;
+};
+const decodeValue = (value) => {
+    if (Array.isArray(value))
+        return value.map(decodeValue);
+    if (value && typeof value === "object") {
+        const object = value;
+        if (Object.keys(object).length === 1 && typeof object[BYTES] === "string") {
+            const encoded = object[BYTES];
+            const bytes = Buffer.from(encoded, "base64");
+            if (bytes.toString("base64") !== encoded) {
+                throw new Error("mutation journal contains invalid byte encoding");
+            }
+            return new Uint8Array(bytes);
+        }
+        return Object.fromEntries(Object.entries(object).map(([key, child]) => [key, decodeValue(child)]));
+    }
+    return value;
+};
+export const encodeMutationOperation = (value) => stableJson(encodeValue(value));
+export const decodeMutationOperation = (json) => decodeValue(JSON.parse(json));
+//# sourceMappingURL=journal-codec.js.map

package/dist/detection/journal-codec.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"journal-codec.js","sourceRoot":"","sources":["../../src/detection/journal-codec.ts"],"names":[],"mappings":"AAAA,kEAAkE;AAElE,OAAO,EAAE,UAAU,EAAE,MAAM,cAAc,CAAC;AAE1C,MAAM,KAAK,GAAG,oBAAoB,CAAC;AAEnC,MAAM,WAAW,GAAG,CAAC,KAAc,EAAW,EAAE;IAC9C,IAAI,KAAK,YAAY,UAAU,EAAE,CAAC;QAChC,OAAO,EAAE,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC;IAC5D,CAAC;IACD,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;IACxD,IAAI,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QACvC,OAAO,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,EAAE,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;IACpG,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF,MAAM,WAAW,GAAG,CAAC,KAAc,EAAW,EAAE;IAC9C,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;IACxD,IAAI,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QACvC,MAAM,MAAM,GAAG,KAAgC,CAAC;QAChD,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,MAAM,KAAK,CAAC,IAAI,OAAO,MAAM,CAAC,KAAK,CAAC,KAAK,QAAQ,EAAE,CAAC;YAC1E,MAAM,OAAO,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC;YAC9B,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;YAC7C,IAAI,KAAK,CAAC,QAAQ,CAAC,QAAQ,CAAC,KAAK,OAAO,EAAE,CAAC;gBACzC,MAAM,IAAI,KAAK,CAAC,iDAAiD,CAAC,CAAC;YACrE,CAAC;YACD,OAAO,IAAI,UAAU,CAAC,KAAK,CAAC,CAAC;QAC/B,CAAC;QACD,OAAO,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,EAAE,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;IACrG,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,uBAAuB,GAAG,CAAC,KAAc,EAAU,EAAE,CAAC,UAAU,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC;AAElG,MAAM,CAAC,MAAM,uBAAuB,GAAG,CAAC,IAAY,EAAW,EAAE,CAAC,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC"}

package/dist/{detection-host.d.ts → detection/portable.d.ts}

@@ -4,13 +4,31 @@
  * It only binds already-observed ground to durable UUIDs and asks Live to
  * plan the exact Watch generation that Record may accept.
  */
-import { type CloudEntityRecord, type DetectionBatchPlan, type EntityType, type ReplayInstruction, type SuspicionSnapshot } from "@amalgm/live";
+import { type CloudEntityRecord, type DetectionBatchPlan, type EntityType, type ReplayInstruction, type SuspicionSnapshot, type TextReplay } from "@amalgm/live";
+/**
+ * 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.
+ * Missing or mismatched base bytes therefore select a verified snapshot
+ * without rewriting the known base to null.
+ */
+export declare function exactTextReplay(input: {
+    readonly entityId: string;
+    readonly basePayloadVersion: string | null;
+    readonly baseBytes: Uint8Array | null;
+    readonly resultPayloadVersion: string;
+    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. */

package/dist/{detection-host.js → detection/portable.js}

@@ -4,7 +4,35 @@
  * It only binds already-observed ground to durable UUIDs and asks Live to
  * plan the exact Watch generation that Record may accept.
  */
-import { CONTAINERS, detectionBatch, diffDirState, enclosedByRepositoryAncestor, matchByInode, planDetectionBatch, } from "@amalgm/live";
+import { CONTAINERS, captureTextChange, detectionBatch, diffDirState, enclosedByRepositoryAncestor, matchByInode, planDetectionBatch, } from "@amalgm/live";
+/**
+ * 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.
+ * Missing or mismatched base bytes therefore select a verified snapshot
+ * without rewriting the known base to null.
+ */
+export function exactTextReplay(input) {
+    if (input.sha256Hex(input.resultBytes) !== input.resultPayloadVersion) {
+        throw new Error("text result cache does not match its declared content head");
+    }
+    const verifiedBase = input.basePayloadVersion !== null
+        && input.baseBytes !== null
+        && input.sha256Hex(input.baseBytes) === input.basePayloadVersion
+        ? input.baseBytes
+        : null;
+    if (input.basePayloadVersion === null || verifiedBase !== null) {
+        const captured = captureTextChange(input.entityId, verifiedBase, input.resultBytes, input.sha256Hex);
+        if (captured !== null)
+            return captured.replay;
+    }
+    return {
+        kind: "file.text",
+        mode: "snapshot",
+        basePayloadVersion: input.basePayloadVersion,
+        resultPayloadVersion: input.resultPayloadVersion,
+        delta: null,
+    };
+}
 /**
  * Resolve one observation against the last notebook. Directories claim by
  * unique physical continuity first; files and links claim their address
@@ -28,7 +56,7 @@ export function reconcileGroundUUIDs(rows, entries) {
     }
     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));
+    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) => ({
@@ -54,7 +82,7 @@ export function reconcileGroundUUIDs(rows, entries) {
         if (row)
             claim(entry, row.uuid);
     }
-    const physicalRows = availableRows().filter((row) => !CONTAINERS.has(row.type));
+    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,
@@ -121,4 +149,4 @@ export function planGroundDetection(input) {
         throw new Error(`Detect plan for ${input.rootId} failed (${candidates}${remainder}): ${message}`);
     }
 }
-//# sourceMappingURL=detection-host.js.map
+//# sourceMappingURL=portable.js.map

package/dist/detection/portable.js.map

@@ -0,0 +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,4BAA4B,EAC5B,YAAY,EACZ,kBAAkB,GAOnB,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,MAAM,iBAAiB,GAAG,IAAI,GAAG,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC;IACvF,uEAAuE;IACvE,sEAAsE;IACtE,2CAA2C;IAC3C,MAAM,cAAc,GAAG,CAAC,MAAyB,EAAE,EAAE,CACnD,4BAA4B,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;IACzE,MAAM,aAAa,GAAG,CAAC,MAAyB,EAAE,EAAE,CAClD,4BAA4B,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,iBAAiB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;IAC9E,MAAM,WAAW,GAAG,EAAE,CAAC;IAEvB,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,MAAM,YAAY,GAAG,IAAI,CAAC,CAAC,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;QACzD,MAAM,cAAc,GAAG,OAAO,CAAC,CAAC,CAAC,aAAa,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;QACvE,MAAM,kBAAkB,GAAG,IAAI,EAAE,IAAI,KAAK,UAAU,IAAI,OAAO,EAAE,MAAM,CAAC,IAAI,KAAK,UAAU,CAAC;QAC5F,IAAI,CAAC,kBAAkB;eAClB,CAAC,CAAC,OAAO,KAAK,IAAI,IAAI,YAAY,CAAC;mBACjC,CAAC,OAAO,KAAK,IAAI,IAAI,cAAc,CAAC,CAAC;YAAE,SAAS;QACvD,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,WAAW,CAAC,IAAI,CAAC;YACf,KAAK,EAAE,SAAkB;YACzB,OAAO,EAAE,OAAO,CAAC,YAAY;YAC7B,IAAI;YACJ,MAAM,EAAE,OAAO,CAAC,MAAM;YACtB,MAAM,EAAE,OAAO,CAAC,MAAM,IAAI,EAAE,IAAI,EAAE,WAAoB,EAAE;SACzD,CAAC,CAAC;IACL,CAAC;IACD,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"}

package/dist/detection/runtime.d.ts

@@ -0,0 +1,58 @@
+/**
+ * The named Detect lane.
+ *
+ * A watcher path that still names enrolled, non-repository ground does not
+ * justify a workspace walk. This runtime holds one SQLite connection,
+ * resolves indexed paths, widens only to a named new folder's subtree, and
+ * commits exact Live proposals plus local truth in one transaction. Evidence
+ * it cannot prove is declined before mutation and goes to reconciliation in
+ * the owning host.
+ */
+import { type SuspicionSnapshot } from "@amalgm/live";
+export interface NamedObservation {
+    readonly directory: string;
+    readonly suspicion: SuspicionSnapshot;
+}
+export interface NamedDetectEvidence {
+    readonly directory: string;
+    readonly paths: number;
+    readonly metadataReads: number;
+    readonly contentReads: number;
+    readonly plannedRows: number;
+    readonly records: number;
+    readonly journalBytes: number;
+    readonly durationMs: number;
+}
+export interface NamedDetectResult {
+    readonly handled: boolean;
+    readonly evidence: readonly NamedDetectEvidence[];
+}
+/** One persistent, prepared Detect store. It owns no Watch or Send behavior. */
+export declare class NamedDetectRuntime {
+    private readonly database;
+    private readonly cacheDir;
+    private readonly userRoot;
+    private readonly rootAtDirectory;
+    private readonly rowAtPath;
+    private readonly rowAtUuid;
+    private readonly rowsAtPhysicalIdentity;
+    private readonly notebookChildren;
+    private readonly materializedByUuid;
+    private readonly materializedUnderPath;
+    private readonly writeEntity;
+    private readonly writeNotebook;
+    private readonly appendMutation;
+    private readonly removeEntity;
+    private userPolicy;
+    constructor(databaseFile: string, cacheDir: string, userRoot: string);
+    close(): void;
+    refreshEnrollmentPolicy(): void;
+    detect(observations: readonly NamedObservation[]): Promise<NamedDetectResult>;
+    private captureFile;
+    private captureDirectory;
+    private captureLink;
+    private enclosedByRepository;
+    private readUserPolicy;
+    private uniqueMovedBase;
+    private replayFor;
+}