@cello-protocol/daemon 0.0.122 → 0.0.123

package/dist/document-notify.js

@@ -1,313 +0,0 @@
-/**
- * DOD-DOC-NOTIFY-1 — passive notification and the two read calls (§16.5, §4.1).
- *
- * ── WHY NO DOORBELL ───────────────────────────────────────────────────────────────────────────
- *
- * A document update raises NO doorbell (§11.3 — doorbell-on-update is parked). The notice sits in
- * the inbox aggregation and the agent finds it the next time it looks. That is the whole design:
- * a collaborator typing produces a stream of updates, and a doorbell per update would interrupt
- * the operator's agent continuously for something that has no deadline. The one-line summary the
- * agent eventually reads carries the same information at none of the cost.
- *
- * Following the `contact_rename_notices` precedent: there is no inbox store — the inbox is computed
- * per call — so a derived section needs its own table and its own getter.
- *
- * The notice carries `document_id` and a PENDING COUNT, and nothing else. Not a preview, not the
- * first line, not the author's words. Content reaches the agent only through the two read calls
- * below, which are screened; a notification that carried content would be an unscreened path into
- * the agent's context, which is the whole prompt-injection surface §3.1 exists to close.
- *
- * ── THE TWO READ CALLS (§4.1) ─────────────────────────────────────────────────────────────────
- *
- * `diffStats` is STRUCTURAL ONLY — counts, ranges, and the overlap flag. It exists so an agent can
- * decide whether to read without reading, which is exactly what a cautious agent should be able to
- * do. `diff` is the git-like diff itself and is an ordinary screened read.
- *
- * ── SUPPORTED TYPES FOR `diff`, DECIDED IN-UNIT ───────────────────────────────────────────────
- *
- * Markdown, plain text, and JSON. Markdown and plain text share one line-diff implementation (a
- * markdown file IS lines); JSON gets a key-path diff because a line diff over re-serialized JSON
- * reports the whole document as changed whenever a formatter touches it. Anything else returns a
- * REFUSAL naming the type rather than a line diff over bytes that are not lines — a diff that is
- * wrong is worse than no diff, because the agent cannot tell.
- */
-import { lineRuns, toChunks } from "./line-lcs.js";
-const CREATE_NOTICES_SQL = `
-  CREATE TABLE IF NOT EXISTS document_notices (
-    agent_id     TEXT    NOT NULL,
-    document_id  TEXT    NOT NULL,
-    -- The count, not the content. See the header.
-    pending      INTEGER NOT NULL,
-    noticed_at   INTEGER NOT NULL,
-    PRIMARY KEY (agent_id, document_id)
-  );
-`;
-/** Types `diff` can render. Decided in-unit; see the header for why the list is closed. */
-export const DIFFABLE_DOCUMENT_TYPES = ["markdown", "text", "json"];
-export class DocumentNotifications {
-    #store;
-    #logger;
-    constructor(store, logger) {
-        this.#store = store;
-        this.#logger = logger;
-        this.#store.rawDb.exec(CREATE_NOTICES_SQL);
-    }
-    /**
-     * Note that a document has unread updates. Passive — this never pushes anything.
-     *
-     * The count is REPLACED rather than incremented, and is passed in by the caller from the log,
-     * so the notice cannot drift from the document. An incremented counter is a second tally of a
-     * fact the log already holds, and the two disagree the first time a notice write is missed.
-     */
-    notice(agentId, documentId, pending, nowMs) {
-        if (pending <= 0) {
-            // Nothing pending is not a notice with zero in it — it is the absence of a notice. A row
-            // saying "0 unread" is an inbox entry the agent must read to discover it has nothing to read.
-            //
-            // Deleted DIRECTLY rather than through `clear()`: that method's event means "the agent
-            // fetched", and firing it because a count fell to zero reports a fetch that never happened.
-            this.#store.rawDb
-                .prepare("DELETE FROM document_notices WHERE agent_id = ? AND document_id = ?")
-                .run(agentId, documentId);
-            return;
-        }
-        this.#store.rawDb
-            .prepare(`INSERT INTO document_notices (agent_id, document_id, pending, noticed_at)
-         VALUES (?, ?, ?, ?)
-         ON CONFLICT (agent_id, document_id)
-           DO UPDATE SET pending = excluded.pending, noticed_at = excluded.noticed_at`)
-            .run(agentId, documentId, pending, nowMs);
-    }
-    /** The derived inbox section. Read-only — fetching is what clears, and that is explicit. */
-    pending(agentId) {
-        const rows = this.#store.rawDb
-            .prepare(`SELECT document_id, pending, noticed_at FROM document_notices
-          WHERE agent_id = ? ORDER BY noticed_at ASC, document_id ASC`)
-            .all(agentId);
-        return rows.map((r) => ({
-            documentId: r["document_id"],
-            pending: r["pending"],
-            noticedAtMs: r["noticed_at"],
-        }));
-    }
-    /**
-     * Cleared by the agent's EXPLICIT fetch, never by the aggregation that displays it.
-     *
-     * Reading the inbox and clearing the notice are different acts: an inbox render that cleared
-     * would drop the notice for an agent that merely glanced at a summary, and the update would then
-     * be unread and unannounced — invisible in both directions.
-     */
-    clear(agentId, documentId) {
-        const info = this.#store.rawDb
-            .prepare("DELETE FROM document_notices WHERE agent_id = ? AND document_id = ?")
-            .run(agentId, documentId);
-        const cleared = Number(info.changes) > 0;
-        // agentId included: this daemon attends several agents, and an event that names only the
-        // document cannot be attributed to one of them.
-        if (cleared)
-            this.#logger.info("document.notice.cleared", { agentId, documentId });
-        return cleared;
-    }
-    /**
-     * Structural counts and ranges — NO content. Lets an agent decide whether to read.
-     *
-     * `before` and `after` are the materialized text of the document at the two points; the caller
-     * holds the engine and therefore the materialization.
-     *
-     * Uses the SHARED line LCS, not a positional walk. The first version compared line i to line i,
-     * which is correct only while the line count is unchanged: inserting one line at the top of a
-     * three-line file reported `+4 -3` with a single range covering the whole document. The counts
-     * being wrong is the smaller half — `overlap` is derived from those ranges, so it became
-     * permanently true, and a flag that always says yes trains the agent to ignore it. Same defect
-     * class WRITE-1 measured, which is why there is now one LCS rather than two.
-     */
-    diffStats(documentId, before, after, 
-    /**
-     * The operator's own edited line numbers. REQUIRED — pass `null` to say "not computed".
-     * Defaulting to `[]` made a caller that simply forgot receive `overlap: false`, the reassuring
-     * answer, indistinguishable from "checked, and there is no conflict". This is the one
-     * judgement field in an otherwise structural result.
-     */
-    myEdits, documentType) {
-        const a = toChunks(before);
-        const b = toChunks(after);
-        const runs = lineRuns(a, b);
-        if (runs === null) {
-            // Above the LCS limit. Said plainly rather than degraded silently into a whole-file range
-            // that would read as a measurement.
-            return {
-                documentId,
-                linesAdded: b.length,
-                linesRemoved: a.length,
-                ranges: [{ start: 1, end: Math.max(a.length, b.length) }],
-                keyPaths: [],
-                keyPathsComputed: false,
-                overlap: myEdits === null ? null : myEdits.length > 0,
-                truncated: true,
-            };
-        }
-        // G3: for a JSON document the DoD asks for KEY ranges, not line ranges. Produced here rather
-        // than left as a permanently-empty array, which reads as "no key paths changed" instead of
-        // "not computed" — the same absent-is-not-fine trap as the overlap default above.
-        let keyPaths = [];
-        let keyPathsComputed = false;
-        if (documentType === "json") {
-            const paths = changedKeyPaths(before, after);
-            if (paths !== null) {
-                keyPaths = paths;
-                keyPathsComputed = true;
-            }
-        }
-        let added = 0;
-        let removed = 0;
-        const ranges = [];
-        for (const r of runs) {
-            added += r.bEnd - r.bStart;
-            removed += r.aEnd - r.aStart;
-            // 1-based inclusive, over the BEFORE text — which is the text the operator's own edit line
-            // numbers refer to, and therefore the only coordinate space in which the overlap comparison
-            // means anything. A pure insertion has an empty before-range, so it is reported at the line
-            // it precedes rather than as a zero-width range nobody can act on.
-            ranges.push({ start: r.aStart + 1, end: r.aEnd === r.aStart ? r.aStart + 1 : r.aEnd });
-        }
-        const touched = new Set();
-        for (const r of ranges)
-            for (let n = r.start; n <= r.end; n++)
-                touched.add(n);
-        return {
-            documentId,
-            linesAdded: added,
-            linesRemoved: removed,
-            ranges,
-            keyPaths,
-            keyPathsComputed,
-            overlap: myEdits === null ? null : myEdits.some((line) => touched.has(line)),
-            truncated: false,
-        };
-    }
-    /**
-     * The git-like diff. An ordinary screened read — the caller screens it; this renders it.
-     *
-     * An unsupported type is REFUSED by name rather than line-diffed anyway. A diff that is silently
-     * wrong is worse than no diff, because the agent has no way to tell and will act on it.
-     */
-    diff(documentType, before, after, documentId) {
-        if (!DIFFABLE_DOCUMENT_TYPES.includes(documentType)) {
-            return {
-                ok: false,
-                reason: "document_type_not_diffable",
-                detail: `this build renders diffs for ${DIFFABLE_DOCUMENT_TYPES.join(", ")} and this document is ` +
-                    `"${documentType}" — read the document instead of a diff that would be guesswork`,
-            };
-        }
-        void documentId;
-        if (documentType === "json") {
-            // A key-path diff, not a line diff. Re-serialized JSON changes shape whenever a formatter
-            // touches it, so a line diff reports the entire document as rewritten for a change of one
-            // value — which is the false "everything changed" alarm that makes an agent stop reading
-            // diffs at all.
-            const parsedPaths = changedKeyPaths(before, after);
-            if (parsedPaths === null) {
-                return {
-                    ok: true,
-                    documentType: "json",
-                    diff: `! this document does not parse as JSON; showing a line diff instead\n${lineDiff(before, after)}`,
-                    fallback: "unparseable_json_line_diff",
-                };
-            }
-            return { ok: true, documentType: "json", diff: jsonDiff(before, after) };
-        }
-        return { ok: true, documentType: documentType, diff: lineDiff(before, after) };
-    }
-}
-function lineDiff(before, after) {
-    // The SHARED LCS, same as diffStats. This renderer kept the positional walk after diffStats moved
-    // off it, which is the worse half to leave behind: inserting one line into a ten-line file
-    // rendered eighteen +/- lines, reporting the entire remainder as rewritten. That is the false
-    // "everything changed" alarm that makes an agent stop reading diffs at all — the exact reasoning
-    // that gave JSON a key-path diff, applied to markdown at last.
-    const a = toChunks(before);
-    const b = toChunks(after);
-    const runs = lineRuns(a, b);
-    if (runs === null)
-        return "! this document is too large to diff line-by-line";
-    const out = [];
-    let ai = 0;
-    for (const r of runs) {
-        for (; ai < r.aStart; ai++)
-            out.push(`  ${strip(a[ai])}`);
-        for (let i = r.aStart; i < r.aEnd; i++)
-            out.push(`- ${strip(a[i])}`);
-        for (let j = r.bStart; j < r.bEnd; j++)
-            out.push(`+ ${strip(b[j])}`);
-        ai = r.aEnd;
-    }
-    for (; ai < a.length; ai++)
-        out.push(`  ${strip(a[ai])}`);
-    return out.join("\n");
-}
-/** Chunks carry their own trailing newline; the rendered diff supplies its own line breaks. */
-function strip(chunk) {
-    return chunk.endsWith("\n") ? chunk.slice(0, -1) : chunk;
-}
-function flatten(value, prefix = "") {
-    const out = new Map();
-    if (value === null || typeof value !== "object") {
-        out.set(prefix || "$", JSON.stringify(value));
-        return out;
-    }
-    for (const [k, v] of Object.entries(value)) {
-        // The separator is ESCAPED in the key. Unescaped, {"a.b": 1} and {"a": {"b": 1}} flatten to the
-        // same path, so a document using dotted keys reports no change where there was one — silently,
-        // which is the exact behaviour this unit refuses everywhere else.
-        const path = prefix ? `${prefix}.${k.replace(/\\/g, "\\\\").replace(/\./g, "\\.")}` : k.replace(/\\/g, "\\\\").replace(/\./g, "\\.");
-        for (const [p, s] of flatten(v, path))
-            out.set(p, s);
-    }
-    return out;
-}
-/** The changed key paths, or null when either side does not parse. */
-function changedKeyPaths(before, after) {
-    let a;
-    let b;
-    try {
-        a = flatten(JSON.parse(before));
-        b = flatten(JSON.parse(after));
-    }
-    catch {
-        return null;
-    }
-    const paths = new Set();
-    for (const [path, value] of a)
-        if (!b.has(path) || b.get(path) !== value)
-            paths.add(path);
-    for (const [path] of b)
-        if (!a.has(path))
-            paths.add(path);
-    return [...paths].sort();
-}
-function jsonDiff(before, after) {
-    let a;
-    let b;
-    try {
-        a = flatten(JSON.parse(before));
-        b = flatten(JSON.parse(after));
-    }
-    catch {
-        // Deliberately explicit: unparseable JSON gets a stated fallback, not a silent line diff
-        // pretending to be a key diff. The caller sees which it got.
-        return `! this document does not parse as JSON; showing a line diff instead\n${lineDiff(before, after)}`;
-    }
-    const out = [];
-    for (const [path, value] of a) {
-        if (!b.has(path))
-            out.push(`- ${path}: ${value}`);
-        else if (b.get(path) !== value)
-            out.push(`~ ${path}: ${value} -> ${b.get(path)}`);
-    }
-    for (const [path, value] of b)
-        if (!a.has(path))
-            out.push(`+ ${path}: ${value}`);
-    return out.join("\n");
-}
-//# sourceMappingURL=document-notify.js.map

package/dist/document-notify.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"document-notify.js","sourceRoot":"","sources":["../src/document-notify.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAgCG;AAEH,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAC;AAInD,MAAM,kBAAkB,GAAG;;;;;;;;;CAS1B,CAAC;AAEF,2FAA2F;AAC3F,MAAM,CAAC,MAAM,uBAAuB,GAAG,CAAC,UAAU,EAAE,MAAM,EAAE,MAAM,CAAU,CAAC;AA0C7E,MAAM,OAAO,qBAAqB;IACvB,MAAM,CAAgB;IACtB,OAAO,CAAS;IAEzB,YAAY,KAAoB,EAAE,MAAc;QAC9C,IAAI,CAAC,MAAM,GAAG,KAAK,CAAC;QACpB,IAAI,CAAC,OAAO,GAAG,MAAM,CAAC;QACtB,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;IAC7C,CAAC;IAED;;;;;;OAMG;IACH,MAAM,CAAC,OAAe,EAAE,UAAkB,EAAE,OAAe,EAAE,KAAa;QACxE,IAAI,OAAO,IAAI,CAAC,EAAE,CAAC;YACjB,yFAAyF;YACzF,8FAA8F;YAC9F,EAAE;YACF,uFAAuF;YACvF,4FAA4F;YAC5F,IAAI,CAAC,MAAM,CAAC,KAAK;iBACd,OAAO,CAAC,qEAAqE,CAAC;iBAC9E,GAAG,CAAC,OAAO,EAAE,UAAU,CAAC,CAAC;YAC5B,OAAO;QACT,CAAC;QACD,IAAI,CAAC,MAAM,CAAC,KAAK;aACd,OAAO,CACN;;;sFAG8E,CAC/E;aACA,GAAG,CAAC,OAAO,EAAE,UAAU,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC;IAC9C,CAAC;IAED,4FAA4F;IAC5F,OAAO,CAAC,OAAe;QACrB,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,KAAK;aAC3B,OAAO,CACN;sEAC8D,CAC/D;aACA,GAAG,CAAC,OAAO,CAAmC,CAAC;QAClD,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YACtB,UAAU,EAAE,CAAC,CAAC,aAAa,CAAW;YACtC,OAAO,EAAE,CAAC,CAAC,SAAS,CAAW;YAC/B,WAAW,EAAE,CAAC,CAAC,YAAY,CAAW;SACvC,CAAC,CAAC,CAAC;IACN,CAAC;IAED;;;;;;OAMG;IACH,KAAK,CAAC,OAAe,EAAE,UAAkB;QACvC,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,KAAK;aAC3B,OAAO,CAAC,qEAAqE,CAAC;aAC9E,GAAG,CAAC,OAAO,EAAE,UAAU,CAAC,CAAC;QAC5B,MAAM,OAAO,GAAG,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;QACzC,yFAAyF;QACzF,gDAAgD;QAChD,IAAI,OAAO;YAAE,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,yBAAyB,EAAE,EAAE,OAAO,EAAE,UAAU,EAAE,CAAC,CAAC;QACnF,OAAO,OAAO,CAAC;IACjB,CAAC;IAED;;;;;;;;;;;;OAYG;IACH,SAAS,CACP,UAAkB,EAClB,MAAc,EACd,KAAa;IACb;;;;;OAKG;IACH,OAAiC,EACjC,YAAqB;QAErB,MAAM,CAAC,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC;QAC3B,MAAM,CAAC,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC;QAC1B,MAAM,IAAI,GAAG,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC5B,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;YAClB,0FAA0F;YAC1F,oCAAoC;YACpC,OAAO;gBACL,UAAU;gBACV,UAAU,EAAE,CAAC,CAAC,MAAM;gBACpB,YAAY,EAAE,CAAC,CAAC,MAAM;gBACtB,MAAM,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC;gBACzD,QAAQ,EAAE,EAAE;gBACZ,gBAAgB,EAAE,KAAK;gBACvB,OAAO,EAAE,OAAO,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC;gBACrD,SAAS,EAAE,IAAI;aAChB,CAAC;QACJ,CAAC;QAED,6FAA6F;QAC7F,2FAA2F;QAC3F,kFAAkF;QAClF,IAAI,QAAQ,GAAa,EAAE,CAAC;QAC5B,IAAI,gBAAgB,GAAG,KAAK,CAAC;QAC7B,IAAI,YAAY,KAAK,MAAM,EAAE,CAAC;YAC5B,MAAM,KAAK,GAAG,eAAe,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;YAC7C,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;gBACnB,QAAQ,GAAG,KAAK,CAAC;gBACjB,gBAAgB,GAAG,IAAI,CAAC;YAC1B,CAAC;QACH,CAAC;QAED,IAAI,KAAK,GAAG,CAAC,CAAC;QACd,IAAI,OAAO,GAAG,CAAC,CAAC;QAChB,MAAM,MAAM,GAA0C,EAAE,CAAC;QACzD,KAAK,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;YACrB,KAAK,IAAI,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,MAAM,CAAC;YAC3B,OAAO,IAAI,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,MAAM,CAAC;YAC7B,2FAA2F;YAC3F,4FAA4F;YAC5F,4FAA4F;YAC5F,mEAAmE;YACnE,MAAM,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,MAAM,GAAG,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;QACzF,CAAC;QAED,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;QAClC,KAAK,MAAM,CAAC,IAAI,MAAM;YAAE,KAAK,IAAI,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE;gBAAE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC9E,OAAO;YACL,UAAU;YACV,UAAU,EAAE,KAAK;YACjB,YAAY,EAAE,OAAO;YACrB,MAAM;YACN,QAAQ;YACR,gBAAgB;YAChB,OAAO,EAAE,OAAO,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YAC5E,SAAS,EAAE,KAAK;SACjB,CAAC;IACJ,CAAC;IAED;;;;;OAKG;IACH,IAAI,CAAC,YAAoB,EAAE,MAAc,EAAE,KAAa,EAAE,UAAkB;QAC1E,IAAI,CAAE,uBAA6C,CAAC,QAAQ,CAAC,YAAY,CAAC,EAAE,CAAC;YAC3E,OAAO;gBACL,EAAE,EAAE,KAAK;gBACT,MAAM,EAAE,4BAA4B;gBACpC,MAAM,EACJ,gCAAgC,uBAAuB,CAAC,IAAI,CAAC,IAAI,CAAC,wBAAwB;oBAC1F,IAAI,YAAY,iEAAiE;aACpF,CAAC;QACJ,CAAC;QACD,KAAK,UAAU,CAAC;QAEhB,IAAI,YAAY,KAAK,MAAM,EAAE,CAAC;YAC5B,0FAA0F;YAC1F,0FAA0F;YAC1F,yFAAyF;YACzF,gBAAgB;YAChB,MAAM,WAAW,GAAG,eAAe,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;YACnD,IAAI,WAAW,KAAK,IAAI,EAAE,CAAC;gBACzB,OAAO;oBACL,EAAE,EAAE,IAAI;oBACR,YAAY,EAAE,MAAM;oBACpB,IAAI,EAAE,wEAAwE,QAAQ,CAAC,MAAM,EAAE,KAAK,CAAC,EAAE;oBACvG,QAAQ,EAAE,4BAA4B;iBACvC,CAAC;YACJ,CAAC;YACD,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,MAAM,EAAE,IAAI,EAAE,QAAQ,CAAC,MAAM,EAAE,KAAK,CAAC,EAAE,CAAC;QAC3E,CAAC;QACD,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,YAAoC,EAAE,IAAI,EAAE,QAAQ,CAAC,MAAM,EAAE,KAAK,CAAC,EAAE,CAAC;IACzG,CAAC;CACF;AAED,SAAS,QAAQ,CAAC,MAAc,EAAE,KAAa;IAC7C,kGAAkG;IAClG,2FAA2F;IAC3F,8FAA8F;IAC9F,iGAAiG;IACjG,+DAA+D;IAC/D,MAAM,CAAC,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC;IAC3B,MAAM,CAAC,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC;IAC1B,MAAM,IAAI,GAAG,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAC5B,IAAI,IAAI,KAAK,IAAI;QAAE,OAAO,mDAAmD,CAAC;IAE9E,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,IAAI,EAAE,GAAG,CAAC,CAAC;IACX,KAAK,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;QACrB,OAAO,EAAE,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,EAAE;YAAE,GAAG,CAAC,IAAI,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC,EAAE,CAAE,CAAC,EAAE,CAAC,CAAC;QAC3D,KAAK,IAAI,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE;YAAE,GAAG,CAAC,IAAI,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,CAAE,CAAC,EAAE,CAAC,CAAC;QACtE,KAAK,IAAI,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE;YAAE,GAAG,CAAC,IAAI,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,CAAE,CAAC,EAAE,CAAC,CAAC;QACtE,EAAE,GAAG,CAAC,CAAC,IAAI,CAAC;IACd,CAAC;IACD,OAAO,EAAE,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,EAAE;QAAE,GAAG,CAAC,IAAI,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC,EAAE,CAAE,CAAC,EAAE,CAAC,CAAC;IAC3D,OAAO,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACxB,CAAC;AAED,+FAA+F;AAC/F,SAAS,KAAK,CAAC,KAAa;IAC1B,OAAO,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;AAC3D,CAAC;AAED,SAAS,OAAO,CAAC,KAAc,EAAE,MAAM,GAAG,EAAE;IAC1C,MAAM,GAAG,GAAG,IAAI,GAAG,EAAkB,CAAC;IACtC,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAChD,GAAG,CAAC,GAAG,CAAC,MAAM,IAAI,GAAG,EAAE,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC;QAC9C,OAAO,GAAG,CAAC;IACb,CAAC;IACD,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAgC,CAAC,EAAE,CAAC;QACtE,gGAAgG;QAChG,+FAA+F;QAC/F,kEAAkE;QAClE,MAAM,IAAI,GAAG,MAAM,CAAC,CAAC,CAAC,GAAG,MAAM,IAAI,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;QACrI,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,OAAO,CAAC,CAAC,EAAE,IAAI,CAAC;YAAE,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACvD,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,sEAAsE;AACtE,SAAS,eAAe,CAAC,MAAc,EAAE,KAAa;IACpD,IAAI,CAAsB,CAAC;IAC3B,IAAI,CAAsB,CAAC;IAC3B,IAAI,CAAC;QACH,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC;QAChC,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;IACjC,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;IAChC,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC;QAAE,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,KAAK;YAAE,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAC1F,KAAK,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC;QAAE,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAC1D,OAAO,CAAC,GAAG,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC;AAC3B,CAAC;AAED,SAAS,QAAQ,CAAC,MAAc,EAAE,KAAa;IAC7C,IAAI,CAAsB,CAAC;IAC3B,IAAI,CAAsB,CAAC;IAC3B,IAAI,CAAC;QACH,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC;QAChC,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;IACjC,CAAC;IAAC,MAAM,CAAC;QACP,yFAAyF;QACzF,6DAA6D;QAC7D,OAAO,wEAAwE,QAAQ,CAAC,MAAM,EAAE,KAAK,CAAC,EAAE,CAAC;IAC3G,CAAC;IACD,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;QAC9B,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,GAAG,CAAC,IAAI,CAAC,KAAK,IAAI,KAAK,KAAK,EAAE,CAAC,CAAC;aAC7C,IAAI,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,KAAK;YAAE,GAAG,CAAC,IAAI,CAAC,KAAK,IAAI,KAAK,KAAK,OAAO,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACpF,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC;QAAE,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,GAAG,CAAC,IAAI,CAAC,KAAK,IAAI,KAAK,KAAK,EAAE,CAAC,CAAC;IACjF,OAAO,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACxB,CAAC"}

package/dist/document-reachability.d.ts

@@ -1,42 +0,0 @@
-/**
- * DOD-DOC-DELIVERY-2 — binding the delivery worker's reachability check to `discovery_lookup`.
- *
- * The worker asks one question — "is this peer reachable right now?" — and its whole retry
- * behaviour turns on the answer being about the PEER. `runDiscoveryLookup` deliberately returns
- * five outcomes, only one of which is an answer about the peer at all, and this maps them:
- *
- *   result / offline | unknown_agent  ->  false   the peer is not reachable. A fact about them.
- *   result / online                   ->  true
- *   error | malformed | timeout | send_failed
- *                                     ->  THROW   the lookup did not happen. A fact about US.
- *
- * The throw is the point. `isPeerReachable` returning false for a directory fault would record a
- * directory outage — or our own signaling stream being down — as the operator's collaborator being
- * absent, and send them to ask the wrong person why nothing is syncing. The worker already treats
- * a throw as `lookup_failed` and keeps that distinction in the log; this is what feeds it.
- *
- * `unknown_agent` maps to false rather than throwing on purpose. It IS an answer from the
- * directory about the peer — the address does not resolve — and the honest consequence is the same
- * as offline: do not dial, retry later. It is a bad address rather than a transient absence, so it
- * is surfaced distinctly by the caller rather than being collapsed into the same log line.
- */
-import type { DiscoveryOutcome } from "./cross-node-negotiation.js";
-/** Why a lookup could not be performed. Carries the upstream reason verbatim. */
-export declare class DiscoveryUnavailableError extends Error {
-    readonly kind: string;
-    constructor(kind: string, reason: string);
-}
-export interface Reachability {
-    reachable: boolean;
-    /** Present when the directory answered but the address does not resolve to a known agent. */
-    unknownAgent: boolean;
-}
-/**
- * Map a discovery outcome onto the worker's reachability question.
- *
- * Pure, so the mapping is testable without a directory — which matters, because the expensive way
- * to discover this mapping is wrong is in production, where the symptom is an operator chasing a
- * collaborator who was never offline.
- */
-export declare function reachabilityFromDiscovery(outcome: DiscoveryOutcome): Reachability;
-//# sourceMappingURL=document-reachability.d.ts.map

package/dist/document-reachability.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"document-reachability.d.ts","sourceRoot":"","sources":["../src/document-reachability.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;GAqBG;AAEH,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,6BAA6B,CAAC;AAEpE,iFAAiF;AACjF,qBAAa,yBAA0B,SAAQ,KAAK;IAClD,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;gBACV,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM;CAKzC;AAED,MAAM,WAAW,YAAY;IAC3B,SAAS,EAAE,OAAO,CAAC;IACnB,6FAA6F;IAC7F,YAAY,EAAE,OAAO,CAAC;CACvB;AAED;;;;;;GAMG;AACH,wBAAgB,yBAAyB,CAAC,OAAO,EAAE,gBAAgB,GAAG,YAAY,CAsCjF"}

package/dist/document-reachability.js

@@ -1,72 +0,0 @@
-/**
- * DOD-DOC-DELIVERY-2 — binding the delivery worker's reachability check to `discovery_lookup`.
- *
- * The worker asks one question — "is this peer reachable right now?" — and its whole retry
- * behaviour turns on the answer being about the PEER. `runDiscoveryLookup` deliberately returns
- * five outcomes, only one of which is an answer about the peer at all, and this maps them:
- *
- *   result / offline | unknown_agent  ->  false   the peer is not reachable. A fact about them.
- *   result / online                   ->  true
- *   error | malformed | timeout | send_failed
- *                                     ->  THROW   the lookup did not happen. A fact about US.
- *
- * The throw is the point. `isPeerReachable` returning false for a directory fault would record a
- * directory outage — or our own signaling stream being down — as the operator's collaborator being
- * absent, and send them to ask the wrong person why nothing is syncing. The worker already treats
- * a throw as `lookup_failed` and keeps that distinction in the log; this is what feeds it.
- *
- * `unknown_agent` maps to false rather than throwing on purpose. It IS an answer from the
- * directory about the peer — the address does not resolve — and the honest consequence is the same
- * as offline: do not dial, retry later. It is a bad address rather than a transient absence, so it
- * is surfaced distinctly by the caller rather than being collapsed into the same log line.
- */
-/** Why a lookup could not be performed. Carries the upstream reason verbatim. */
-export class DiscoveryUnavailableError extends Error {
-    kind;
-    constructor(kind, reason) {
-        super(`document_discovery_unavailable: ${kind}${reason ? ` (${reason})` : ""}`);
-        this.name = "DiscoveryUnavailableError";
-        this.kind = kind;
-    }
-}
-/**
- * Map a discovery outcome onto the worker's reachability question.
- *
- * Pure, so the mapping is testable without a directory — which matters, because the expensive way
- * to discover this mapping is wrong is in production, where the symptom is an operator chasing a
- * collaborator who was never offline.
- */
-export function reachabilityFromDiscovery(outcome) {
-    switch (outcome.kind) {
-        case "result":
-            if (outcome.state === "online")
-                return { reachable: true, unknownAgent: false };
-            if (outcome.state === "unknown_agent")
-                return { reachable: false, unknownAgent: true };
-            return { reachable: false, unknownAgent: false };
-        case "error":
-            // A directory DB fault. Retryable, and emphatically not the counterparty being offline —
-            // the outcome type's own comment says so, and collapsing it here would undo that care.
-            throw new DiscoveryUnavailableError("directory_error", outcome.reason);
-        case "malformed":
-            // A reply that did not parse: a protocol or version anomaly on a directory that DID respond.
-            // Distinct from a clean directory error, and never availability.
-            throw new DiscoveryUnavailableError("malformed_reply", "");
-        case "timeout":
-            // No reply in the window — an old directory, or a slow or dropped reply on a new one. Either
-            // way we learned nothing about the peer.
-            throw new DiscoveryUnavailableError("timeout", "");
-        case "send_failed":
-            // Our OWN signaling stream is down. The most important one to keep separate: reporting our
-            // transport fault as the peer's absence points the operator at the wrong machine entirely.
-            throw new DiscoveryUnavailableError("signaling_unavailable", outcome.reason);
-        default: {
-            // Exhaustiveness, enforced by the compiler. A new outcome kind must be classified
-            // deliberately rather than defaulting into "reachable" or "offline", which are the two
-            // answers a silent default would have to invent.
-            const never = outcome;
-            throw new DiscoveryUnavailableError("unrecognized_outcome", `unhandled discovery outcome ${JSON.stringify(never)}`);
-        }
-    }
-}
-//# sourceMappingURL=document-reachability.js.map

package/dist/document-reachability.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"document-reachability.js","sourceRoot":"","sources":["../src/document-reachability.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;GAqBG;AAIH,iFAAiF;AACjF,MAAM,OAAO,yBAA0B,SAAQ,KAAK;IACzC,IAAI,CAAS;IACtB,YAAY,IAAY,EAAE,MAAc;QACtC,KAAK,CAAC,mCAAmC,IAAI,GAAG,MAAM,CAAC,CAAC,CAAC,KAAK,MAAM,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QAChF,IAAI,CAAC,IAAI,GAAG,2BAA2B,CAAC;QACxC,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC;IACnB,CAAC;CACF;AAQD;;;;;;GAMG;AACH,MAAM,UAAU,yBAAyB,CAAC,OAAyB;IACjE,QAAQ,OAAO,CAAC,IAAI,EAAE,CAAC;QACrB,KAAK,QAAQ;YACX,IAAI,OAAO,CAAC,KAAK,KAAK,QAAQ;gBAAE,OAAO,EAAE,SAAS,EAAE,IAAI,EAAE,YAAY,EAAE,KAAK,EAAE,CAAC;YAChF,IAAI,OAAO,CAAC,KAAK,KAAK,eAAe;gBAAE,OAAO,EAAE,SAAS,EAAE,KAAK,EAAE,YAAY,EAAE,IAAI,EAAE,CAAC;YACvF,OAAO,EAAE,SAAS,EAAE,KAAK,EAAE,YAAY,EAAE,KAAK,EAAE,CAAC;QAEnD,KAAK,OAAO;YACV,yFAAyF;YACzF,uFAAuF;YACvF,MAAM,IAAI,yBAAyB,CAAC,iBAAiB,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC;QAEzE,KAAK,WAAW;YACd,6FAA6F;YAC7F,iEAAiE;YACjE,MAAM,IAAI,yBAAyB,CAAC,iBAAiB,EAAE,EAAE,CAAC,CAAC;QAE7D,KAAK,SAAS;YACZ,6FAA6F;YAC7F,yCAAyC;YACzC,MAAM,IAAI,yBAAyB,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC;QAErD,KAAK,aAAa;YAChB,2FAA2F;YAC3F,2FAA2F;YAC3F,MAAM,IAAI,yBAAyB,CAAC,uBAAuB,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC;QAE/E,OAAO,CAAC,CAAC,CAAC;YACR,kFAAkF;YAClF,uFAAuF;YACvF,iDAAiD;YACjD,MAAM,KAAK,GAAU,OAAO,CAAC;YAC7B,MAAM,IAAI,yBAAyB,CACjC,sBAAsB,EACtB,+BAA+B,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,CACvD,CAAC;QACJ,CAAC;IACH,CAAC;AACH,CAAC"}