@dwk/solid-pod 0.1.0-beta.0

package/dist/patch.js

@@ -0,0 +1,425 @@
+/**
+ * N3 Patch (`text/n3`) and a minimal `application/sparql-update` parser, plus
+ * the deliberately-small `solid:where` matcher.
+ *
+ * This is **not** a SPARQL engine. `solid:where` is a conjunctive basic graph
+ * pattern matched against the resource's current triples; the patch applies
+ * only when the pattern binds to **exactly one** solution (per the Solid
+ * Protocol's N3 Patch rules). Variables in `solid:deletes` / `solid:inserts`
+ * are then instantiated from that single binding. Anything richer (`OPTIONAL`,
+ * `FILTER`, property paths, multiple solutions) is out of scope and surfaces as
+ * a `409`.
+ */
+import { parseTurtle, } from "@dwk/rdf";
+const SOLID = "http://www.w3.org/ns/solid/terms#";
+const RDF_TYPE = "http://www.w3.org/1999/02/22-rdf-syntax-ns#type";
+const INSERT_DELETE_PATCH = `${SOLID}InsertDeletePatch`;
+const XSD_STRING = "http://www.w3.org/2001/XMLSchema#string";
+const DEFAULT_GRAPH = { termType: "DefaultGraph", value: "" };
+export class PatchProblem extends Error {
+    code;
+    constructor(code) {
+        super(`@dwk/solid-pod: patch ${code}`);
+        this.code = code;
+        this.name = "PatchProblem";
+    }
+}
+/**
+ * Thrown when a patch document does not satisfy the N3 Patch document
+ * constraints. Kept distinct from {@link PatchProblem} so the handler can map it
+ * to `422` while binding/state failures stay `409`.
+ */
+export class PatchConstraintError extends Error {
+    code;
+    constructor(code) {
+        super(`@dwk/solid-pod: patch constraint ${code}`);
+        this.code = code;
+        this.name = "PatchConstraintError";
+    }
+}
+// ---------------------------------------------------------------------------
+// Term conversion
+// ---------------------------------------------------------------------------
+/** Normalize an N3 term into a {@link PatchTerm}. */
+function fromN3Term(term) {
+    switch (term.termType) {
+        case "Variable":
+            return { kind: "var", name: term.value };
+        case "NamedNode":
+            return {
+                kind: "term",
+                term: { termType: "NamedNode", value: term.value },
+            };
+        case "BlankNode":
+            return {
+                kind: "term",
+                term: { termType: "BlankNode", value: term.value },
+            };
+        case "Literal": {
+            const literal = term;
+            if (literal.language) {
+                return {
+                    kind: "term",
+                    term: {
+                        termType: "Literal",
+                        value: literal.value,
+                        language: literal.language,
+                    },
+                };
+            }
+            return {
+                kind: "term",
+                term: {
+                    termType: "Literal",
+                    value: literal.value,
+                    datatype: literal.datatype.value,
+                },
+            };
+        }
+        default:
+            throw new PatchProblem("parse_error");
+    }
+}
+function tripleFromQuad(quad) {
+    return {
+        subject: fromN3Term(quad.subject),
+        predicate: fromN3Term(quad.predicate),
+        object: fromN3Term(quad.object),
+    };
+}
+// ---------------------------------------------------------------------------
+// N3 Patch parsing
+// ---------------------------------------------------------------------------
+/**
+ * Collect the inner triples of the formula referenced by `(subject, predicate)`.
+ *
+ * Each of `solid:where` / `solid:inserts` / `solid:deletes` MUST appear at most
+ * once (Solid Protocol §5.3.1); more than one such statement is a document
+ * constraint violation (`#server-patch-n3-invalid`), reported as
+ * {@link PatchConstraintError} `duplicate_predicate`.
+ */
+function formulaTriples(quads, predicateIri) {
+    // The statement `_:patch solid:<predicate> { … }` references the formula as a
+    // blank-node graph; N3.js emits the formula's triples with that graph term.
+    const graphValues = new Set();
+    let statementCount = 0;
+    for (const q of quads) {
+        if (q.predicate.value === predicateIri &&
+            q.graph.termType === "DefaultGraph") {
+            statementCount++;
+            if (q.object.termType === "BlankNode")
+                graphValues.add(q.object.value);
+        }
+    }
+    if (statementCount > 1) {
+        throw new PatchConstraintError("duplicate_predicate");
+    }
+    const triples = [];
+    for (const q of quads) {
+        if (q.graph.termType !== "DefaultGraph" && graphValues.has(q.graph.value)) {
+            triples.push(tripleFromQuad(q));
+        }
+    }
+    return triples;
+}
+/** Whether any term of a triple is a blank node. */
+function tripleHasBlankNode(triple) {
+    return [triple.subject, triple.predicate, triple.object].some((t) => t.kind === "term" && t.term.termType === "BlankNode");
+}
+/** Collect the variable names a triple references. */
+function collectVars(triple, into) {
+    for (const term of [triple.subject, triple.predicate, triple.object]) {
+        if (term.kind === "var")
+            into.add(term.name);
+    }
+}
+/** Parse an N3 Patch document (`text/n3`) and enforce its document constraints. */
+function parseN3Patch(body, baseIRI) {
+    let quads;
+    try {
+        quads = parseTurtle(body, { format: "text/n3", baseIRI });
+    }
+    catch {
+        throw new PatchConstraintError("parse_error");
+    }
+    // `#server-patch-n3-simple-type`: the patch document MUST contain exactly one
+    // `?patch rdf:type solid:InsertDeletePatch` statement in the default graph.
+    const hasType = quads.some((q) => q.graph.termType === "DefaultGraph" &&
+        q.predicate.value === RDF_TYPE &&
+        q.object.termType === "NamedNode" &&
+        q.object.value === INSERT_DELETE_PATCH);
+    if (!hasType) {
+        throw new PatchConstraintError("missing_type");
+    }
+    const patch = {
+        where: formulaTriples(quads, `${SOLID}where`),
+        deletes: formulaTriples(quads, `${SOLID}deletes`),
+        inserts: formulaTriples(quads, `${SOLID}inserts`),
+    };
+    // `#server-patch-n3-blank-nodes`: the inserts/deletes formulae MUST NOT
+    // contain blank nodes.
+    if (patch.inserts.some(tripleHasBlankNode) ||
+        patch.deletes.some(tripleHasBlankNode)) {
+        throw new PatchConstraintError("blank_node_in_template");
+    }
+    // `#server-patch-n3-variables`: every variable used in inserts/deletes MUST
+    // occur in `where`. Detect this statically so a template using an unbound
+    // variable is a document constraint violation (422), not a runtime miss.
+    const whereVars = new Set();
+    for (const t of patch.where)
+        collectVars(t, whereVars);
+    const templateVars = new Set();
+    for (const t of patch.inserts)
+        collectVars(t, templateVars);
+    for (const t of patch.deletes)
+        collectVars(t, templateVars);
+    for (const name of templateVars) {
+        if (!whereVars.has(name)) {
+            throw new PatchConstraintError("unbound_template_variable");
+        }
+    }
+    return patch;
+}
+// ---------------------------------------------------------------------------
+// Minimal SPARQL Update parsing
+// ---------------------------------------------------------------------------
+/**
+ * Extract `PREFIX`/`BASE` (and `@prefix`/`@base`) declaration lines verbatim.
+ *
+ * Turtle 1.1 (which N3.js parses) accepts SPARQL-style `PREFIX`/`BASE` without
+ * the leading `@` or a trailing `.`, so the lines are passed through as-is and
+ * prepended to each pattern block before parsing.
+ */
+function prologue(body) {
+    const matches = body.match(/^[ \t]*(?:PREFIX|BASE|@prefix|@base)\b[^\n]*$/gim);
+    return matches ? matches.join("\n") : "";
+}
+/** Pull the contents of the first `KEYWORD { … }` block (brace-matched). */
+function block(body, keyword) {
+    const m = keyword.exec(body);
+    if (!m)
+        return null;
+    const open = body.indexOf("{", m.index + m[0].length - 1);
+    if (open < 0)
+        return null;
+    let depth = 0;
+    for (let i = open; i < body.length; i++) {
+        const ch = body[i];
+        if (ch === "{")
+            depth++;
+        else if (ch === "}" && --depth === 0)
+            return body.slice(open + 1, i);
+    }
+    return null;
+}
+function parsePatternBlock(content, prefixes, baseIRI) {
+    try {
+        const quads = parseTurtle(`${prefixes}\n${content}`, {
+            format: "text/n3",
+            baseIRI,
+        });
+        return quads
+            .filter((q) => q.graph.termType === "DefaultGraph")
+            .map(tripleFromQuad);
+    }
+    catch {
+        throw new PatchProblem("parse_error");
+    }
+}
+/** Parse the supported subset of `application/sparql-update`. */
+function parseSparqlUpdate(body, baseIRI) {
+    const prefixes = prologue(body);
+    const insertData = block(body, /INSERT\s+DATA\s*/i);
+    const deleteData = block(body, /DELETE\s+DATA\s*/i);
+    if (insertData !== null || deleteData !== null) {
+        return {
+            where: [],
+            inserts: insertData
+                ? parsePatternBlock(insertData, prefixes, baseIRI)
+                : [],
+            deletes: deleteData
+                ? parsePatternBlock(deleteData, prefixes, baseIRI)
+                : [],
+        };
+    }
+    const where = block(body, /WHERE\s*/i);
+    const deletes = block(body, /DELETE\s*/i);
+    const inserts = block(body, /INSERT\s*/i);
+    if (where === null && deletes === null && inserts === null) {
+        throw new PatchProblem("parse_error");
+    }
+    return {
+        where: where ? parsePatternBlock(where, prefixes, baseIRI) : [],
+        deletes: deletes ? parsePatternBlock(deletes, prefixes, baseIRI) : [],
+        inserts: inserts ? parsePatternBlock(inserts, prefixes, baseIRI) : [],
+    };
+}
+/** Parse a patch body by its `Content-Type`. */
+export function parsePatch(body, contentType, baseIRI) {
+    const essence = contentType.split(";")[0]?.trim().toLowerCase();
+    if (essence === "text/n3" || essence === "application/n3") {
+        return parseN3Patch(body, baseIRI);
+    }
+    if (essence === "application/sparql-update" ||
+        essence === "application/sparql-update; charset=utf-8") {
+        return parseSparqlUpdate(body, baseIRI);
+    }
+    throw new PatchProblem("unsupported_media_type");
+}
+/**
+ * DoS guards for the `where` solver. This is a minimal conjunctive matcher, not
+ * a SPARQL engine, and it runs inside the single-threaded per-pod Durable
+ * Object — so a crafted patch with several all-variable `where` triples against
+ * a large resource could otherwise build an N^k cartesian product and exhaust
+ * the CPU budget, stalling every request that serializes through that pod.
+ *
+ * `MAX_WHERE_TRIPLES` caps the pattern size, and `MAX_SOLVE_WORK` caps the
+ * total candidate-match attempts across all triples — together they bound the
+ * solver's cost regardless of resource size. Exceeding either is reported as
+ * {@link PatchProblem} `where_too_complex`.
+ */
+const MAX_WHERE_TRIPLES = 25;
+const MAX_SOLVE_WORK = 1_000_000;
+/** Normalize a literal's datatype: an untyped, non-language literal is xsd:string. */
+function effectiveDatatype(term) {
+    if (term.termType !== "Literal")
+        return undefined;
+    if (term.language)
+        return undefined;
+    return term.datatype ?? XSD_STRING;
+}
+/** Strict term equality, normalizing the implicit xsd:string datatype. */
+function termsEqual(a, b) {
+    if (a.termType !== b.termType || a.value !== b.value)
+        return false;
+    if (a.termType === "Literal") {
+        return ((a.language ?? "") === (b.language ?? "") &&
+            effectiveDatatype(a) === effectiveDatatype(b));
+    }
+    return true;
+}
+/** Match one pattern term against a concrete term under `bindings`. */
+function matchTerm(pattern, value, bindings) {
+    if (pattern.kind === "var") {
+        const bound = bindings.get(pattern.name);
+        if (bound)
+            return termsEqual(bound, value);
+        bindings.set(pattern.name, value);
+        return true;
+    }
+    return termsEqual(pattern.term, value);
+}
+/**
+ * Find solutions of the conjunctive `where` pattern against `current`, via
+ * straightforward backtracking. Each solution is a complete variable binding.
+ *
+ * Bounded against pattern-driven CPU exhaustion (see {@link MAX_WHERE_TRIPLES}
+ * and {@link MAX_SOLVE_WORK}): an over-large pattern, or one whose intermediate
+ * cartesian product blows the work budget, throws `where_too_complex` rather
+ * than enumerating it. Resolution only needs to distinguish "no bind", "exactly
+ * one bind", and "more than one bind", so the result is capped at two solutions
+ * — that is enough to detect ambiguity without materializing every binding.
+ */
+function solve(where, current) {
+    if (where.length === 0)
+        return [new Map()];
+    if (where.length > MAX_WHERE_TRIPLES) {
+        throw new PatchProblem("where_too_complex");
+    }
+    let work = 0;
+    let solutions = [new Map()];
+    for (let i = 0; i < where.length; i++) {
+        const triple = where[i];
+        const last = i === where.length - 1;
+        const next = [];
+        for (const partial of solutions) {
+            // The variables this triple would newly bind in `partial`. `matchTerm`
+            // binds into the map it is given, so we match against `partial` directly
+            // and roll these back after each quad — cloning a fresh candidate per
+            // quad would, on the abort path, allocate up to MAX_SOLVE_WORK maps and
+            // thrash GC inside the single-threaded DO. Only successful matches clone.
+            const newVars = [];
+            for (const term of [triple.subject, triple.predicate, triple.object]) {
+                if (term.kind === "var" && !partial.has(term.name)) {
+                    newVars.push(term.name);
+                }
+            }
+            for (const quad of current) {
+                if (++work > MAX_SOLVE_WORK) {
+                    throw new PatchProblem("where_too_complex");
+                }
+                if (matchTerm(triple.subject, quad.subject, partial) &&
+                    matchTerm(triple.predicate, quad.predicate, partial) &&
+                    matchTerm(triple.object, quad.object, partial)) {
+                    next.push(new Map(partial));
+                    // On the final triple, two complete solutions already prove the
+                    // match is ambiguous; stop before enumerating the rest.
+                    if (last && next.length > 1)
+                        return next;
+                }
+                for (const name of newVars)
+                    partial.delete(name);
+            }
+        }
+        if (next.length === 0)
+            return [];
+        solutions = next;
+    }
+    return solutions;
+}
+/** Instantiate a template term under a binding into a concrete {@link StoredTerm}. */
+function instantiate(term, bindings) {
+    if (term.kind === "var") {
+        const bound = bindings.get(term.name);
+        // N3 patches are checked statically in `parseN3Patch`; this backstops the
+        // SPARQL path, where an unbound template variable is also a document
+        // constraint violation (422).
+        if (!bound)
+            throw new PatchConstraintError("unbound_template_variable");
+        return bound;
+    }
+    return term.term;
+}
+function instantiateTriple(triple, bindings) {
+    return {
+        subject: instantiate(triple.subject, bindings),
+        predicate: instantiate(triple.predicate, bindings),
+        object: instantiate(triple.object, bindings),
+        graph: DEFAULT_GRAPH,
+    };
+}
+/** Whether `current` contains a quad equal to `target` (default graph). */
+function contains(current, target) {
+    return current.some((q) => termsEqual(q.subject, target.subject) &&
+        termsEqual(q.predicate, target.predicate) &&
+        termsEqual(q.object, target.object));
+}
+/**
+ * Resolve a parsed {@link Patch} against the resource's `current` quads into a
+ * concrete delete/insert pair.
+ *
+ * @throws {PatchProblem}
+ *  - `no_match` when `where` binds to no solution;
+ *  - `ambiguous_match` when it binds to more than one;
+ *  - `delete_not_found` when a resolved delete triple is absent;
+ *  - `where_too_complex` when the `where` pattern exceeds the solver's bounds.
+ * @throws {PatchConstraintError}
+ *  - `unbound_template_variable` when a template uses an unbound variable
+ *    (backstop for the SPARQL path; N3 patches are checked at parse time).
+ */
+export function resolvePatch(patch, current) {
+    const solutions = solve(patch.where, current);
+    if (solutions.length === 0)
+        throw new PatchProblem("no_match");
+    if (solutions.length > 1)
+        throw new PatchProblem("ambiguous_match");
+    const bindings = solutions[0];
+    const deletes = patch.deletes.map((t) => instantiateTriple(t, bindings));
+    const inserts = patch.inserts.map((t) => instantiateTriple(t, bindings));
+    for (const d of deletes) {
+        if (!contains(current, d))
+            throw new PatchProblem("delete_not_found");
+    }
+    return { deletes, inserts, insertOnly: deletes.length === 0 };
+}
+//# sourceMappingURL=patch.js.map

package/dist/patch.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"patch.js","sourceRoot":"","sources":["../src/patch.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAEH,OAAO,EACL,WAAW,GAIZ,MAAM,UAAU,CAAC;AAElB,MAAM,KAAK,GAAG,mCAAmC,CAAC;AAClD,MAAM,QAAQ,GAAG,iDAAiD,CAAC;AACnE,MAAM,mBAAmB,GAAG,GAAG,KAAK,mBAAmB,CAAC;AACxD,MAAM,UAAU,GAAG,yCAAyC,CAAC;AAC7D,MAAM,aAAa,GAAe,EAAE,QAAQ,EAAE,cAAc,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC;AAsC1E,MAAM,OAAO,YAAa,SAAQ,KAAK;IAChB;IAArB,YAAqB,IAAgB;QACnC,KAAK,CAAC,yBAAyB,IAAI,EAAE,CAAC,CAAC;QADpB,SAAI,GAAJ,IAAI,CAAY;QAEnC,IAAI,CAAC,IAAI,GAAG,cAAc,CAAC;IAC7B,CAAC;CACF;AAeD;;;;GAIG;AACH,MAAM,OAAO,oBAAqB,SAAQ,KAAK;IACxB;IAArB,YAAqB,IAAqB;QACxC,KAAK,CAAC,oCAAoC,IAAI,EAAE,CAAC,CAAC;QAD/B,SAAI,GAAJ,IAAI,CAAiB;QAExC,IAAI,CAAC,IAAI,GAAG,sBAAsB,CAAC;IACrC,CAAC;CACF;AAED,8EAA8E;AAC9E,kBAAkB;AAClB,8EAA8E;AAE9E,qDAAqD;AACrD,SAAS,UAAU,CAAC,IAAsC;IACxD,QAAQ,IAAI,CAAC,QAAQ,EAAE,CAAC;QACtB,KAAK,UAAU;YACb,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC;QAC3C,KAAK,WAAW;YACd,OAAO;gBACL,IAAI,EAAE,MAAM;gBACZ,IAAI,EAAE,EAAE,QAAQ,EAAE,WAAW,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE;aACnD,CAAC;QACJ,KAAK,WAAW;YACd,OAAO;gBACL,IAAI,EAAE,MAAM;gBACZ,IAAI,EAAE,EAAE,QAAQ,EAAE,WAAW,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE;aACnD,CAAC;QACJ,KAAK,SAAS,CAAC,CAAC,CAAC;YACf,MAAM,OAAO,GAAG,IAIf,CAAC;YACF,IAAI,OAAO,CAAC,QAAQ,EAAE,CAAC;gBACrB,OAAO;oBACL,IAAI,EAAE,MAAM;oBACZ,IAAI,EAAE;wBACJ,QAAQ,EAAE,SAAS;wBACnB,KAAK,EAAE,OAAO,CAAC,KAAK;wBACpB,QAAQ,EAAE,OAAO,CAAC,QAAQ;qBAC3B;iBACF,CAAC;YACJ,CAAC;YACD,OAAO;gBACL,IAAI,EAAE,MAAM;gBACZ,IAAI,EAAE;oBACJ,QAAQ,EAAE,SAAS;oBACnB,KAAK,EAAE,OAAO,CAAC,KAAK;oBACpB,QAAQ,EAAE,OAAO,CAAC,QAAQ,CAAC,KAAK;iBACjC;aACF,CAAC;QACJ,CAAC;QACD;YACE,MAAM,IAAI,YAAY,CAAC,aAAa,CAAC,CAAC;IAC1C,CAAC;AACH,CAAC;AAED,SAAS,cAAc,CAAC,IAAU;IAChC,OAAO;QACL,OAAO,EAAE,UAAU,CAAC,IAAI,CAAC,OAAO,CAAC;QACjC,SAAS,EAAE,UAAU,CAAC,IAAI,CAAC,SAAS,CAAC;QACrC,MAAM,EAAE,UAAU,CAAC,IAAI,CAAC,MAAM,CAAC;KAChC,CAAC;AACJ,CAAC;AAED,8EAA8E;AAC9E,mBAAmB;AACnB,8EAA8E;AAE9E;;;;;;;GAOG;AACH,SAAS,cAAc,CAAC,KAAa,EAAE,YAAoB;IACzD,8EAA8E;IAC9E,4EAA4E;IAC5E,MAAM,WAAW,GAAG,IAAI,GAAG,EAAU,CAAC;IACtC,IAAI,cAAc,GAAG,CAAC,CAAC;IACvB,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QACtB,IACE,CAAC,CAAC,SAAS,CAAC,KAAK,KAAK,YAAY;YAClC,CAAC,CAAC,KAAK,CAAC,QAAQ,KAAK,cAAc,EACnC,CAAC;YACD,cAAc,EAAE,CAAC;YACjB,IAAI,CAAC,CAAC,MAAM,CAAC,QAAQ,KAAK,WAAW;gBAAE,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QACzE,CAAC;IACH,CAAC;IACD,IAAI,cAAc,GAAG,CAAC,EAAE,CAAC;QACvB,MAAM,IAAI,oBAAoB,CAAC,qBAAqB,CAAC,CAAC;IACxD,CAAC;IACD,MAAM,OAAO,GAAkB,EAAE,CAAC;IAClC,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QACtB,IAAI,CAAC,CAAC,KAAK,CAAC,QAAQ,KAAK,cAAc,IAAI,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;YAC1E,OAAO,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC;QAClC,CAAC;IACH,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,oDAAoD;AACpD,SAAS,kBAAkB,CAAC,MAAmB;IAC7C,OAAO,CAAC,MAAM,CAAC,OAAO,EAAE,MAAM,CAAC,SAAS,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAC3D,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,CAAC,IAAI,CAAC,QAAQ,KAAK,WAAW,CAC5D,CAAC;AACJ,CAAC;AAED,sDAAsD;AACtD,SAAS,WAAW,CAAC,MAAmB,EAAE,IAAiB;IACzD,KAAK,MAAM,IAAI,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE,MAAM,CAAC,SAAS,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC;QACrE,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK;YAAE,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC/C,CAAC;AACH,CAAC;AAED,mFAAmF;AACnF,SAAS,YAAY,CAAC,IAAY,EAAE,OAAe;IACjD,IAAI,KAAa,CAAC;IAClB,IAAI,CAAC;QACH,KAAK,GAAG,WAAW,CAAC,IAAI,EAAE,EAAE,MAAM,EAAE,SAAS,EAAE,OAAO,EAAE,CAAC,CAAC;IAC5D,CAAC;IAAC,MAAM,CAAC;QACP,MAAM,IAAI,oBAAoB,CAAC,aAAa,CAAC,CAAC;IAChD,CAAC;IAED,8EAA8E;IAC9E,4EAA4E;IAC5E,MAAM,OAAO,GAAG,KAAK,CAAC,IAAI,CACxB,CAAC,CAAC,EAAE,EAAE,CACJ,CAAC,CAAC,KAAK,CAAC,QAAQ,KAAK,cAAc;QACnC,CAAC,CAAC,SAAS,CAAC,KAAK,KAAK,QAAQ;QAC9B,CAAC,CAAC,MAAM,CAAC,QAAQ,KAAK,WAAW;QACjC,CAAC,CAAC,MAAM,CAAC,KAAK,KAAK,mBAAmB,CACzC,CAAC;IACF,IAAI,CAAC,OAAO,EAAE,CAAC;QACb,MAAM,IAAI,oBAAoB,CAAC,cAAc,CAAC,CAAC;IACjD,CAAC;IAED,MAAM,KAAK,GAAU;QACnB,KAAK,EAAE,cAAc,CAAC,KAAK,EAAE,GAAG,KAAK,OAAO,CAAC;QAC7C,OAAO,EAAE,cAAc,CAAC,KAAK,EAAE,GAAG,KAAK,SAAS,CAAC;QACjD,OAAO,EAAE,cAAc,CAAC,KAAK,EAAE,GAAG,KAAK,SAAS,CAAC;KAClD,CAAC;IAEF,wEAAwE;IACxE,uBAAuB;IACvB,IACE,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,kBAAkB,CAAC;QACtC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,kBAAkB,CAAC,EACtC,CAAC;QACD,MAAM,IAAI,oBAAoB,CAAC,wBAAwB,CAAC,CAAC;IAC3D,CAAC;IAED,4EAA4E;IAC5E,0EAA0E;IAC1E,yEAAyE;IACzE,MAAM,SAAS,GAAG,IAAI,GAAG,EAAU,CAAC;IACpC,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,KAAK;QAAE,WAAW,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC;IACvD,MAAM,YAAY,GAAG,IAAI,GAAG,EAAU,CAAC;IACvC,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,OAAO;QAAE,WAAW,CAAC,CAAC,EAAE,YAAY,CAAC,CAAC;IAC5D,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,OAAO;QAAE,WAAW,CAAC,CAAC,EAAE,YAAY,CAAC,CAAC;IAC5D,KAAK,MAAM,IAAI,IAAI,YAAY,EAAE,CAAC;QAChC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YACzB,MAAM,IAAI,oBAAoB,CAAC,2BAA2B,CAAC,CAAC;QAC9D,CAAC;IACH,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC;AAED,8EAA8E;AAC9E,gCAAgC;AAChC,8EAA8E;AAE9E;;;;;;GAMG;AACH,SAAS,QAAQ,CAAC,IAAY;IAC5B,MAAM,OAAO,GAAG,IAAI,CAAC,KAAK,CACxB,kDAAkD,CACnD,CAAC;IACF,OAAO,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;AAC3C,CAAC;AAED,4EAA4E;AAC5E,SAAS,KAAK,CAAC,IAAY,EAAE,OAAe;IAC1C,MAAM,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC7B,IAAI,CAAC,CAAC;QAAE,OAAO,IAAI,CAAC;IACpB,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IAC1D,IAAI,IAAI,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IAC1B,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,KAAK,IAAI,CAAC,GAAG,IAAI,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACxC,MAAM,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;QACnB,IAAI,EAAE,KAAK,GAAG;YAAE,KAAK,EAAE,CAAC;aACnB,IAAI,EAAE,KAAK,GAAG,IAAI,EAAE,KAAK,KAAK,CAAC;YAAE,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;IACvE,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,iBAAiB,CACxB,OAAe,EACf,QAAgB,EAChB,OAAe;IAEf,IAAI,CAAC;QACH,MAAM,KAAK,GAAG,WAAW,CAAC,GAAG,QAAQ,KAAK,OAAO,EAAE,EAAE;YACnD,MAAM,EAAE,SAAS;YACjB,OAAO;SACR,CAAC,CAAC;QACH,OAAO,KAAK;aACT,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,QAAQ,KAAK,cAAc,CAAC;aAClD,GAAG,CAAC,cAAc,CAAC,CAAC;IACzB,CAAC;IAAC,MAAM,CAAC;QACP,MAAM,IAAI,YAAY,CAAC,aAAa,CAAC,CAAC;IACxC,CAAC;AACH,CAAC;AAED,iEAAiE;AACjE,SAAS,iBAAiB,CAAC,IAAY,EAAE,OAAe;IACtD,MAAM,QAAQ,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC;IAChC,MAAM,UAAU,GAAG,KAAK,CAAC,IAAI,EAAE,mBAAmB,CAAC,CAAC;IACpD,MAAM,UAAU,GAAG,KAAK,CAAC,IAAI,EAAE,mBAAmB,CAAC,CAAC;IACpD,IAAI,UAAU,KAAK,IAAI,IAAI,UAAU,KAAK,IAAI,EAAE,CAAC;QAC/C,OAAO;YACL,KAAK,EAAE,EAAE;YACT,OAAO,EAAE,UAAU;gBACjB,CAAC,CAAC,iBAAiB,CAAC,UAAU,EAAE,QAAQ,EAAE,OAAO,CAAC;gBAClD,CAAC,CAAC,EAAE;YACN,OAAO,EAAE,UAAU;gBACjB,CAAC,CAAC,iBAAiB,CAAC,UAAU,EAAE,QAAQ,EAAE,OAAO,CAAC;gBAClD,CAAC,CAAC,EAAE;SACP,CAAC;IACJ,CAAC;IAED,MAAM,KAAK,GAAG,KAAK,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;IACvC,MAAM,OAAO,GAAG,KAAK,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;IAC1C,MAAM,OAAO,GAAG,KAAK,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;IAC1C,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,IAAI,IAAI,OAAO,KAAK,IAAI,EAAE,CAAC;QAC3D,MAAM,IAAI,YAAY,CAAC,aAAa,CAAC,CAAC;IACxC,CAAC;IACD,OAAO;QACL,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,iBAAiB,CAAC,KAAK,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE;QAC/D,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,iBAAiB,CAAC,OAAO,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE;QACrE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,iBAAiB,CAAC,OAAO,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE;KACtE,CAAC;AACJ,CAAC;AAED,gDAAgD;AAChD,MAAM,UAAU,UAAU,CACxB,IAAY,EACZ,WAAmB,EACnB,OAAe;IAEf,MAAM,OAAO,GAAG,WAAW,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;IAChE,IAAI,OAAO,KAAK,SAAS,IAAI,OAAO,KAAK,gBAAgB,EAAE,CAAC;QAC1D,OAAO,YAAY,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACrC,CAAC;IACD,IACE,OAAO,KAAK,2BAA2B;QACvC,OAAO,KAAK,0CAA0C,EACtD,CAAC;QACD,OAAO,iBAAiB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAC1C,CAAC;IACD,MAAM,IAAI,YAAY,CAAC,wBAAwB,CAAC,CAAC;AACnD,CAAC;AAQD;;;;;;;;;;;GAWG;AACH,MAAM,iBAAiB,GAAG,EAAE,CAAC;AAC7B,MAAM,cAAc,GAAG,SAAS,CAAC;AAEjC,sFAAsF;AACtF,SAAS,iBAAiB,CAAC,IAAgB;IACzC,IAAI,IAAI,CAAC,QAAQ,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAClD,IAAI,IAAI,CAAC,QAAQ;QAAE,OAAO,SAAS,CAAC;IACpC,OAAO,IAAI,CAAC,QAAQ,IAAI,UAAU,CAAC;AACrC,CAAC;AAED,0EAA0E;AAC1E,SAAS,UAAU,CAAC,CAAa,EAAE,CAAa;IAC9C,IAAI,CAAC,CAAC,QAAQ,KAAK,CAAC,CAAC,QAAQ,IAAI,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,KAAK;QAAE,OAAO,KAAK,CAAC;IACnE,IAAI,CAAC,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;QAC7B,OAAO,CACL,CAAC,CAAC,CAAC,QAAQ,IAAI,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,QAAQ,IAAI,EAAE,CAAC;YACzC,iBAAiB,CAAC,CAAC,CAAC,KAAK,iBAAiB,CAAC,CAAC,CAAC,CAC9C,CAAC;IACJ,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,uEAAuE;AACvE,SAAS,SAAS,CAChB,OAAkB,EAClB,KAAiB,EACjB,QAAiC;IAEjC,IAAI,OAAO,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;QAC3B,MAAM,KAAK,GAAG,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;QACzC,IAAI,KAAK;YAAE,OAAO,UAAU,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;QAC3C,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QAClC,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,UAAU,CAAC,OAAO,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;AACzC,CAAC;AAED;;;;;;;;;;GAUG;AACH,SAAS,KAAK,CACZ,KAA6B,EAC7B,OAA8B;IAE9B,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,CAAC,IAAI,GAAG,EAAE,CAAC,CAAC;IAC3C,IAAI,KAAK,CAAC,MAAM,GAAG,iBAAiB,EAAE,CAAC;QACrC,MAAM,IAAI,YAAY,CAAC,mBAAmB,CAAC,CAAC;IAC9C,CAAC;IAED,IAAI,IAAI,GAAG,CAAC,CAAC;IACb,IAAI,SAAS,GAA8B,CAAC,IAAI,GAAG,EAAE,CAAC,CAAC;IACvD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACtC,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,CAAgB,CAAC;QACvC,MAAM,IAAI,GAAG,CAAC,KAAK,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC;QACpC,MAAM,IAAI,GAA8B,EAAE,CAAC;QAC3C,KAAK,MAAM,OAAO,IAAI,SAAS,EAAE,CAAC;YAChC,uEAAuE;YACvE,yEAAyE;YACzE,sEAAsE;YACtE,wEAAwE;YACxE,0EAA0E;YAC1E,MAAM,OAAO,GAAa,EAAE,CAAC;YAC7B,KAAK,MAAM,IAAI,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE,MAAM,CAAC,SAAS,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC;gBACrE,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;oBACnD,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBAC1B,CAAC;YACH,CAAC;YACD,KAAK,MAAM,IAAI,IAAI,OAAO,EAAE,CAAC;gBAC3B,IAAI,EAAE,IAAI,GAAG,cAAc,EAAE,CAAC;oBAC5B,MAAM,IAAI,YAAY,CAAC,mBAAmB,CAAC,CAAC;gBAC9C,CAAC;gBACD,IACE,SAAS,CAAC,MAAM,CAAC,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,OAAO,CAAC;oBAChD,SAAS,CAAC,MAAM,CAAC,SAAS,EAAE,IAAI,CAAC,SAAS,EAAE,OAAO,CAAC;oBACpD,SAAS,CAAC,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,OAAO,CAAC,EAC9C,CAAC;oBACD,IAAI,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC;oBAC5B,gEAAgE;oBAChE,wDAAwD;oBACxD,IAAI,IAAI,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC;wBAAE,OAAO,IAAI,CAAC;gBAC3C,CAAC;gBACD,KAAK,MAAM,IAAI,IAAI,OAAO;oBAAE,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;YACnD,CAAC;QACH,CAAC;QACD,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,EAAE,CAAC;QACjC,SAAS,GAAG,IAAI,CAAC;IACnB,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,sFAAsF;AACtF,SAAS,WAAW,CAAC,IAAe,EAAE,QAAkB;IACtD,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;QACxB,MAAM,KAAK,GAAG,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACtC,0EAA0E;QAC1E,qEAAqE;QACrE,8BAA8B;QAC9B,IAAI,CAAC,KAAK;YAAE,MAAM,IAAI,oBAAoB,CAAC,2BAA2B,CAAC,CAAC;QACxE,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,IAAI,CAAC,IAAI,CAAC;AACnB,CAAC;AAED,SAAS,iBAAiB,CACxB,MAAmB,EACnB,QAAkB;IAElB,OAAO;QACL,OAAO,EAAE,WAAW,CAAC,MAAM,CAAC,OAAO,EAAE,QAAQ,CAAC;QAC9C,SAAS,EAAE,WAAW,CAAC,MAAM,CAAC,SAAS,EAAE,QAAQ,CAAC;QAClD,MAAM,EAAE,WAAW,CAAC,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC;QAC5C,KAAK,EAAE,aAAa;KACrB,CAAC;AACJ,CAAC;AAED,2EAA2E;AAC3E,SAAS,QAAQ,CAAC,OAA8B,EAAE,MAAkB;IAClE,OAAO,OAAO,CAAC,IAAI,CACjB,CAAC,CAAC,EAAE,EAAE,CACJ,UAAU,CAAC,CAAC,CAAC,OAAO,EAAE,MAAM,CAAC,OAAO,CAAC;QACrC,UAAU,CAAC,CAAC,CAAC,SAAS,EAAE,MAAM,CAAC,SAAS,CAAC;QACzC,UAAU,CAAC,CAAC,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,CACtC,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,YAAY,CAC1B,KAAY,EACZ,OAA8B;IAE9B,MAAM,SAAS,GAAG,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;IAC9C,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC;QAAE,MAAM,IAAI,YAAY,CAAC,UAAU,CAAC,CAAC;IAC/D,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC;QAAE,MAAM,IAAI,YAAY,CAAC,iBAAiB,CAAC,CAAC;IACpE,MAAM,QAAQ,GAAG,SAAS,CAAC,CAAC,CAAa,CAAC;IAE1C,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,iBAAiB,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC;IACzE,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,iBAAiB,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC;IAEzE,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;QACxB,IAAI,CAAC,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAC;YAAE,MAAM,IAAI,YAAY,CAAC,kBAAkB,CAAC,CAAC;IACxE,CAAC;IAED,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,UAAU,EAAE,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;AAChE,CAAC"}

package/dist/pod.d.ts

@@ -0,0 +1,20 @@
+/**
+ * The per-pod Durable Object: the single-threaded consistency, authz, and
+ * notification authority for one Solid Pod.
+ *
+ * The stateless front door (`handler.ts`) authenticates at the edge and hands
+ * the verified agent facts to this object via internal headers; everything that
+ * must be strongly consistent — LDP verbs, WAC, N3 Patch, `If-Match` writes,
+ * DPoP `jti` replay, R2 copy-on-write through `@dwk/store`, and WebSocket
+ * notifications — happens here, where Cloudflare guarantees a single thread per
+ * pod. Consumers bind this class as a Durable Object namespace.
+ */
+import { DurableObject } from "cloudflare:workers";
+import { type SolidPodEnv } from "./config";
+export declare class SolidPodObject extends DurableObject<SolidPodEnv> {
+    #private;
+    constructor(state: DurableObjectState, env: SolidPodEnv);
+    fetch(request: Request): Promise<Response>;
+    webSocketMessage(ws: WebSocket, message: string | ArrayBuffer): Promise<void>;
+}
+//# sourceMappingURL=pod.d.ts.map

package/dist/pod.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"pod.d.ts","sourceRoot":"","sources":["../src/pod.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,OAAO,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC;AAwBnD,OAAO,EAAoB,KAAK,WAAW,EAAE,MAAM,UAAU,CAAC;AA0F9D,qBAAa,cAAe,SAAQ,aAAa,CAAC,WAAW,CAAC;;gBAQhD,KAAK,EAAE,kBAAkB,EAAE,GAAG,EAAE,WAAW;IAuBxC,KAAK,CAAC,OAAO,EAAE,OAAO,GAAG,OAAO,CAAC,QAAQ,CAAC;IA2wB1C,gBAAgB,CAC7B,EAAE,EAAE,SAAS,EACb,OAAO,EAAE,MAAM,GAAG,WAAW,GAC5B,OAAO,CAAC,IAAI,CAAC;CAyBjB"}