@cruba/crubal 0.1.0 → 0.3.0

package/dist/src/address.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"address.js","sourceRoot":"","sources":["../../src/address.ts"],"names":[],"mappings":"AAMA,4GAA4G;AAC5G,MAAM,CAAC,MAAM,SAAS,GAAG,8FAA8F,CAAC;AAExH,MAAM,UAAU,WAAW,CAAC,IAAY;IACtC,MAAM,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;IAChC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,CAAW,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,CAAW,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;AACvG,CAAC;AAED,mDAAmD;AACnD,MAAM,UAAU,SAAS,CAAC,OAAe;IACvC,MAAM,CAAC,GAAG,OAAO,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC;IACzC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,CAAW,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAW,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;AACpE,CAAC;AAED,8DAA8D;AAC9D,MAAM,UAAU,SAAS,CAAC,OAAe;IACvC,MAAM,CAAC,GAAG,OAAO,CAAC,KAAK,CAAC,qBAAqB,CAAC,CAAC;IAC/C,OAAO,CAAC,CAAC,CAAC,CAAE,CAAC,CAAC,CAAC,CAAY,CAAC,CAAC,CAAC,IAAI,CAAC;AACrC,CAAC;AAED,0GAA0G;AAC1G,MAAM,UAAU,QAAQ,CAAC,OAAe,EAAE,IAAgC;IACxE,MAAM,CAAC,GAAG,OAAO,CAAC,KAAK,CAAC,0BAA0B,CAAC,CAAC;IACpD,IAAI,CAAC,CAAC;QAAE,OAAO,IAAI,CAAC;IACpB,OAAO,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAW,CAAC,EAAE,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAW,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAW,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;AAClH,CAAC;AAED,6FAA6F;AAC7F,MAAM,UAAU,OAAO,CAAC,OAAe,EAAE,IAAgC;IACvE,MAAM,CAAC,GAAG,OAAO,CAAC,KAAK,CAAC,2BAA2B,CAAC,CAAC;IACrD,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,OAAO;QAAE,OAAO,IAAI,CAAC;IACxC,IAAI,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAW,CAAC,EAAE,IAAI,KAAK,UAAU;QAAE,OAAO,IAAI,CAAC;IACtE,OAAO,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,CAAW,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC;AACxE,CAAC;AAED,wHAAwH;AACxH,MAAM,UAAU,OAAO,CAAC,OAAe,EAAE,IAAgC;IACvE,MAAM,IAAI,GAAG,OAAO,CAAC,OAAO,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,gBAAgB,EAAE,EAAE,CAAC,CAAC;IACzE,MAAM,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,0BAA0B,CAAC,CAAC;IACjD,IAAI,CAAC,CAAC;QAAE,OAAO,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACrC,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAW,CAAC,CAAC;IAC9C,IAAI,KAAK,EAAE,IAAI,KAAK,MAAM;QAAE,OAAO,OAAO,CAAC,CAAC,CAAC,CAAC,CAAW,EAAE,IAAI,CAAC,CAAC;IACjE,IAAI,KAAK,EAAE,IAAI,KAAK,UAAU;QAAE,OAAO,KAAK,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAW,CAAC,IAAI,OAAO,CAAC,CAAC,CAAC,CAAC,CAAW,EAAE,IAAI,CAAC,CAAC;IAC5G,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,mHAAmH;AACnH,MAAM,UAAU,MAAM,CAAC,OAAe,EAAE,IAAiC;IACvE,MAAM,IAAI,GAAG,OAAO,CAAC,OAAO,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,gBAAgB,EAAE,EAAE,CAAC,CAAC;IACzE,MAAM,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,0BAA0B,CAAC,CAAC;IACjD,IAAI,CAAC,CAAC;QAAE,OAAO,IAAI,CAAC;IACpB,MAAM,KAAK,GAAG,IAAI,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAW,CAAC,CAAC;IAC/C,IAAI,CAAC,IAAI,IAAI,KAAK,EAAE,IAAI,KAAK,MAAM;QAAE,OAAO,MAAM,CAAC,CAAC,CAAC,CAAC,CAAW,EAAE,IAAI,CAAC,CAAC;IACzE,IAAI,KAAK,EAAE,IAAI,KAAK,UAAU;QAAE,OAAO,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAW,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAW,EAAE,IAAI,CAAC,CAAC,CAAC,CAAE,CAAC,CAAC,CAAC,CAAY,CAAC;IACvI,OAAO,IAAI,CAAC;AACd,CAAC"}

package/dist/src/arrival.d.ts

@@ -0,0 +1,55 @@
+import type { Dictionary } from "./defs.ts";
+import type { Record, Source } from "./model.ts";
+import type { RecordSet } from "./records.ts";
+import { type Contract, type IntakeRecord } from "./store.ts";
+export type Arrival = {
+    outcome: "bound" | "matched" | "held" | "new";
+    record?: string;
+    candidates?: string[];
+    /** The candidates that are archived (9.2a). */
+    archived?: string[];
+    /** How it was found: `binding`, `identify:<key>`, `match:<keys>`. */
+    by?: string;
+    ref?: string;
+};
+export type ArrivalStore = {
+    records: RecordSet;
+    bindings: Map<string, string>;
+};
+/** Follow a merged record to its survivor (1.12). */
+export declare function surviving(store: ArrivalStore, id: string): string;
+/**
+ * Resolve where a payload lands, fold it there (or hold it), and keep the binding. `mint` names a new
+ * record. The caller supplies the level the payload arrives at and, when known, its parent.
+ */
+export declare function arrive(c: Contract, body: string, level: string, store: ArrivalStore, dict: Dictionary, opts: {
+    mint: () => string;
+    owner: string;
+    of?: string;
+    within?: string;
+    source?: Source;
+    intakeId?: string;
+}): {
+    arrival: Arrival;
+    intake: IntakeRecord;
+    record?: Record;
+};
+/** A review decision for a held arrival (9.2a): bind the reference to a record, or to a new one. */
+export declare function decide(c: Contract, held: {
+    intake: IntakeRecord;
+    ref?: string;
+}, choice: {
+    record: string;
+} | {
+    new: true;
+}, store: ArrivalStore, dict: Dictionary, opts: {
+    mint: () => string;
+    owner: string;
+    level: string;
+    of?: string;
+    within?: string;
+    source?: Source;
+}): {
+    arrival: Arrival;
+    record: Record;
+};

package/dist/src/arrival.js

@@ -0,0 +1,124 @@
+// arrival.ts: finding the record a payload is for (spec 9.2a). A receive or take contract names the field
+// that is the other side's own ID (`ref`); the store keeps a binding for every (contract, ref) it has
+// decided. Resolution runs in order: bound, matched by a strong key, held with candidates, new. A review
+// decision is a binding, so nothing is decided twice; a record is minted only when the arrival commits.
+import { serialize } from "./canonical.js";
+import { fieldPath, land, receive } from "./store.js";
+const isObj = (v) => typeof v === "object" && v !== null && !Array.isArray(v);
+/** The value at a payload field path, or undefined. */
+function fieldValue(payload, path) {
+    let at = payload;
+    for (const name of fieldPath(path)) {
+        if (!isObj(at))
+            return undefined;
+        at = at[name];
+    }
+    return at;
+}
+/** Follow a merged record to its survivor (1.12). */
+export function surviving(store, id) {
+    let cur = id;
+    for (let i = 0; i < 100; i++) {
+        const r = store.records.get(cur);
+        if (!r || r.status?.reason !== "merged" || !r.status.into)
+            return cur;
+        cur = r.status.into;
+    }
+    return cur;
+}
+const same = (a, b) => a !== undefined && b !== undefined && serialize(a) === serialize(b);
+/**
+ * Resolve where a payload lands, fold it there (or hold it), and keep the binding. `mint` names a new
+ * record. The caller supplies the level the payload arrives at and, when known, its parent.
+ */
+export function arrive(c, body, level, store, dict, opts) {
+    const intake = receive(c, body, "", dict, opts.intakeId);
+    const payload = JSON.parse(body);
+    const values = {};
+    for (const o of intake.outcomes)
+        if (o.to && o.value !== undefined && (o.outcome === "absorbed" || o.outcome === "new"))
+            values[o.to] = o.value;
+    const ref = c.ref ? fieldValue(payload, c.ref) : undefined;
+    const refText = ref === undefined ? undefined : typeof ref === "string" ? ref : serialize(ref);
+    const bindKey = refText === undefined ? undefined : `${c.name}|${refText}`;
+    const source = opts.source ?? { origin: c.origin, via: intake.intake };
+    const atLevel = store.records.atLevel(level);
+    const active = (r) => !r.status || r.status.state === "active";
+    const finish = (arrival, record) => {
+        if (record) {
+            const landed = land(record, { outcomes: intake.outcomes, contract: c.name }, source, dict.trust, dict.facetTrust);
+            store.records.set(landed.id, landed);
+            if (bindKey)
+                store.bindings.set(bindKey, landed.id);
+            return { arrival: { ...arrival, record: landed.id, ...(refText !== undefined ? { ref: refText } : {}) }, intake: { ...intake, for: landed.id }, record: landed };
+        }
+        return { arrival: { ...arrival, ...(refText !== undefined ? { ref: refText } : {}) }, intake };
+    };
+    // 1. Already bound: it goes to that record, whatever its status; a merged one resolves through `into`.
+    if (bindKey && store.bindings.has(bindKey)) {
+        const id = surviving(store, store.bindings.get(bindKey));
+        return finish({ outcome: "bound", by: "binding" }, store.records.get(id));
+    }
+    // 2. A strong key matches one record, active or archived; a merged one resolves through `into`.
+    for (const key of dict.identify.get(level) ?? []) {
+        if (values[key] === undefined)
+            continue;
+        const hits = [...new Set(atLevel.filter((r) => same(r.values[key], values[key])).map((r) => surviving(store, r.id)))];
+        if (hits.length === 1)
+            return finish({ outcome: "matched", by: `identify:${key}` }, store.records.get(hits[0]));
+        if (hits.length > 1)
+            return finish({ outcome: "held", candidates: hits.sort(), by: `identify:${key}` }, undefined);
+    }
+    // 3. Weak keys find candidates: held, nothing minted. An archived candidate is proposed too, flagged, so
+    //    a discontinued thing coming back under a new reference isn't minted twice; review decides.
+    const candidates = new Set();
+    const archived = new Set();
+    const hows = [];
+    for (const group of dict.match.get(level) ?? []) {
+        if (group.some((k) => values[k] === undefined))
+            continue;
+        const hits = atLevel.filter((r) => r.status?.reason !== "merged" && group.every((k) => same(r.values[k], values[k])));
+        if (hits.length) {
+            for (const h of hits) {
+                candidates.add(h.id);
+                if (!active(h))
+                    archived.add(h.id);
+            }
+            hows.push(group.join("+"));
+        }
+    }
+    if (candidates.size)
+        return finish({ outcome: "held", candidates: [...candidates].sort(), by: `match:${hows.join(";")}`, ...(archived.size ? { archived: [...archived].sort() } : {}) }, undefined);
+    // 4. New: minted at commit, and bound.
+    const id = opts.mint();
+    const rec = { id, kind: dict.levels.get(level) ?? level, level, owner: opts.owner, values: {} };
+    if (opts.of)
+        rec.of = opts.of;
+    if (opts.within)
+        rec.within = opts.within;
+    return finish({ outcome: "new" }, rec);
+}
+/** A review decision for a held arrival (9.2a): bind the reference to a record, or to a new one. */
+export function decide(c, held, choice, store, dict, opts) {
+    const source = opts.source ?? { origin: c.origin, via: held.intake.intake };
+    let target;
+    if ("record" in choice) {
+        const r = store.records.get(surviving(store, choice.record));
+        if (!r)
+            throw new Error(`no record ${choice.record}`);
+        target = r;
+    }
+    else {
+        target = { id: opts.mint(), kind: dict.levels.get(opts.level) ?? opts.level, level: opts.level, owner: opts.owner, values: {} };
+        if (opts.of)
+            target.of = opts.of;
+        if (opts.within)
+            target.within = opts.within;
+    }
+    const landed = land(target, { outcomes: held.intake.outcomes, contract: c.name }, source, dict.trust, dict.facetTrust);
+    store.records.set(landed.id, landed);
+    if (held.ref !== undefined)
+        store.bindings.set(`${c.name}|${held.ref}`, landed.id);
+    return { arrival: { outcome: "record" in choice ? "bound" : "new", record: landed.id, by: "review", ...(held.ref !== undefined ? { ref: held.ref } : {}) }, record: landed };
+}
+//# sourceMappingURL=arrival.js.map

package/dist/src/arrival.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"arrival.js","sourceRoot":"","sources":["../../src/arrival.ts"],"names":[],"mappings":"AAAA,0GAA0G;AAC1G,sGAAsG;AACtG,yGAAyG;AACzG,wGAAwG;AAExG,OAAO,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAC;AAI3C,OAAO,EAAiB,SAAS,EAAqB,IAAI,EAAE,OAAO,EAAE,MAAM,YAAY,CAAC;AAExF,MAAM,KAAK,GAAG,CAAC,CAAmB,EAAmB,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;AAejH,uDAAuD;AACvD,SAAS,UAAU,CAAC,OAAa,EAAE,IAAY;IAC7C,IAAI,EAAE,GAAqB,OAAO,CAAC;IACnC,KAAK,MAAM,IAAI,IAAI,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC;QACnC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;YAAE,OAAO,SAAS,CAAC;QACjC,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC;IAChB,CAAC;IACD,OAAO,EAAE,CAAC;AACZ,CAAC;AAED,qDAAqD;AACrD,MAAM,UAAU,SAAS,CAAC,KAAmB,EAAE,EAAU;IACvD,IAAI,GAAG,GAAG,EAAE,CAAC;IACb,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC;QAC7B,MAAM,CAAC,GAAG,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACjC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,MAAM,KAAK,QAAQ,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI;YAAE,OAAO,GAAG,CAAC;QACtE,GAAG,GAAG,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC;IACtB,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,MAAM,IAAI,GAAG,CAAC,CAAmB,EAAE,CAAmB,EAAE,EAAE,CAAC,CAAC,KAAK,SAAS,IAAI,CAAC,KAAK,SAAS,IAAI,SAAS,CAAC,CAAC,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC;AAE/H;;;GAGG;AACH,MAAM,UAAU,MAAM,CACpB,CAAW,EACX,IAAY,EACZ,KAAa,EACb,KAAmB,EACnB,IAAgB,EAChB,IAA6G;IAE7G,MAAM,MAAM,GAAG,OAAO,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC;IACzD,MAAM,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAS,CAAC;IACzC,MAAM,MAAM,GAAe,EAAE,CAAC;IAC9B,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,QAAQ;QAAE,IAAI,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,KAAK,KAAK,SAAS,IAAI,CAAC,CAAC,CAAC,OAAO,KAAK,UAAU,IAAI,CAAC,CAAC,OAAO,KAAK,KAAK,CAAC;YAAE,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC;IAChJ,MAAM,GAAG,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,UAAU,CAAC,OAAO,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IAC3D,MAAM,OAAO,GAAG,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,GAAG,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;IAC/F,MAAM,OAAO,GAAG,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,IAAI,OAAO,EAAE,CAAC;IAC3E,MAAM,MAAM,GAAW,IAAI,CAAC,MAAM,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,GAAG,EAAE,MAAM,CAAC,MAAM,EAAE,CAAC;IAC/E,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;IAC7C,MAAM,MAAM,GAAG,CAAC,CAAS,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,MAAM,CAAC,KAAK,KAAK,QAAQ,CAAC;IACvE,MAAM,MAAM,GAAG,CAAC,OAAgB,EAAE,MAA0B,EAAE,EAAE;QAC9D,IAAI,MAAM,EAAE,CAAC;YACX,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,EAAE,EAAE,QAAQ,EAAE,MAAM,CAAC,QAAQ,EAAE,QAAQ,EAAE,CAAC,CAAC,IAAI,EAAE,EAAE,MAAM,EAAE,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,UAAU,CAAC,CAAC;YAClH,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;YACrC,IAAI,OAAO;gBAAE,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,OAAO,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC;YACpD,OAAO,EAAE,OAAO,EAAE,EAAE,GAAG,OAAO,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,EAAE,GAAG,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,MAAM,EAAE,EAAE,GAAG,MAAM,EAAE,GAAG,EAAE,MAAM,CAAC,EAAE,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC;QACnK,CAAC;QACD,OAAO,EAAE,OAAO,EAAE,EAAE,GAAG,OAAO,EAAE,GAAG,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,MAAM,EAAE,CAAC;IACjG,CAAC,CAAC;IAEF,uGAAuG;IACvG,IAAI,OAAO,IAAI,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;QAC3C,MAAM,EAAE,GAAG,SAAS,CAAC,KAAK,EAAE,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAW,CAAC,CAAC;QACnE,OAAO,MAAM,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,SAAS,EAAE,EAAE,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;IAC5E,CAAC;IACD,gGAAgG;IAChG,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,EAAE,EAAE,CAAC;QACjD,IAAI,MAAM,CAAC,GAAG,CAAC,KAAK,SAAS;YAAE,SAAS;QACxC,MAAM,IAAI,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,SAAS,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QACtH,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,MAAM,CAAC,EAAE,OAAO,EAAE,SAAS,EAAE,EAAE,EAAE,YAAY,GAAG,EAAE,EAAE,EAAE,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAW,CAAC,CAAC,CAAC;QAC1H,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC;YAAE,OAAO,MAAM,CAAC,EAAE,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,IAAI,CAAC,IAAI,EAAE,EAAE,EAAE,EAAE,YAAY,GAAG,EAAE,EAAE,EAAE,SAAS,CAAC,CAAC;IACrH,CAAC;IACD,yGAAyG;IACzG,gGAAgG;IAChG,MAAM,UAAU,GAAG,IAAI,GAAG,EAAU,CAAC;IACrC,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;IACnC,MAAM,IAAI,GAAa,EAAE,CAAC;IAC1B,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,EAAE,EAAE,CAAC;QAChD,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,SAAS,CAAC;YAAE,SAAS;QACzD,MAAM,IAAI,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,EAAE,MAAM,KAAK,QAAQ,IAAI,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACtH,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;YAChB,KAAK,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;gBACrB,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;gBACrB,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC;oBAAE,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YACrC,CAAC;YACD,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QAC7B,CAAC;IACH,CAAC;IACD,IAAI,UAAU,CAAC,IAAI;QAAE,OAAO,MAAM,CAAC,EAAE,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,CAAC,GAAG,UAAU,CAAC,CAAC,IAAI,EAAE,EAAE,EAAE,EAAE,SAAS,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,EAAE,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,GAAG,QAAQ,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,SAAS,CAAC,CAAC;IACpM,uCAAuC;IACvC,MAAM,EAAE,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;IACvB,MAAM,GAAG,GAAW,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC;IACxG,IAAI,IAAI,CAAC,EAAE;QAAE,GAAG,CAAC,EAAE,GAAG,IAAI,CAAC,EAAE,CAAC;IAC9B,IAAI,IAAI,CAAC,MAAM;QAAE,GAAG,CAAC,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC;IAC1C,OAAO,MAAM,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE,GAAG,CAAC,CAAC;AACzC,CAAC;AAED,oGAAoG;AACpG,MAAM,UAAU,MAAM,CACpB,CAAW,EACX,IAA4C,EAC5C,MAA0C,EAC1C,KAAmB,EACnB,IAAgB,EAChB,IAAyG;IAEzG,MAAM,MAAM,GAAW,IAAI,CAAC,MAAM,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,GAAG,EAAE,IAAI,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC;IACpF,IAAI,MAAc,CAAC;IACnB,IAAI,QAAQ,IAAI,MAAM,EAAE,CAAC;QACvB,MAAM,CAAC,GAAG,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC;QAC7D,IAAI,CAAC,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,aAAa,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC;QACtD,MAAM,GAAG,CAAC,CAAC;IACb,CAAC;SAAM,CAAC;QACN,MAAM,GAAG,EAAE,EAAE,EAAE,IAAI,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,IAAI,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC;QAChI,IAAI,IAAI,CAAC,EAAE;YAAE,MAAM,CAAC,EAAE,GAAG,IAAI,CAAC,EAAE,CAAC;QACjC,IAAI,IAAI,CAAC,MAAM;YAAE,MAAM,CAAC,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC;IAC/C,CAAC;IACD,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,EAAE,EAAE,QAAQ,EAAE,IAAI,CAAC,MAAM,CAAC,QAAQ,EAAE,QAAQ,EAAE,CAAC,CAAC,IAAI,EAAE,EAAE,MAAM,EAAE,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,UAAU,CAAC,CAAC;IACvH,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;IACrC,IAAI,IAAI,CAAC,GAAG,KAAK,SAAS;QAAE,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,IAAI,IAAI,IAAI,CAAC,GAAG,EAAE,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC;IACnF,OAAO,EAAE,OAAO,EAAE,EAAE,OAAO,EAAE,QAAQ,IAAI,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,EAAE,EAAE,EAAE,QAAQ,EAAE,GAAG,CAAC,IAAI,CAAC,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC;AAC/K,CAAC"}

package/dist/src/bundle.d.ts

@@ -0,0 +1,66 @@
+import { type Instruction } from "./lifecycle.ts";
+import { type Edge, type Permissions } from "./access.ts";
+import { type ClassDef, type ClassLine, type Dictionary, type KindDef } from "./defs.ts";
+import { type Recipe } from "./migrate.ts";
+import type { JsonObject } from "./model.ts";
+import { type PackageInfo, type Utility } from "./packages.ts";
+import { type Rule } from "./rules.ts";
+import { type Contract, type Keys } from "./store.ts";
+import { type Filter, type Shape, type View, type ViewSet } from "./views.ts";
+/** Everything the readers make of one package's text. */
+export type Parsed = {
+    info: PackageInfo;
+    dict: Dictionary;
+    rules: Rule[];
+    contracts: Contract[];
+    views: ViewSet;
+    perms: Permissions;
+    edges: Edge[];
+    recipes: Recipe[]; /** The instruction blocks a version carries (10.7): issuer → its instructions. */
+    instructions: Map<string, Instruction[]>;
+};
+/** Read a package's text with every reader. */
+export declare function parsePackage(source: string): Parsed;
+export declare function kindJson(dict: Dictionary, k: KindDef): JsonObject;
+export declare function classLineJson(l: ClassLine): JsonObject;
+export declare function classJson(c: ClassDef): JsonObject;
+export declare function ruleJson(r: Rule): JsonObject;
+export declare function contractJson(c: Contract): JsonObject;
+export declare function recipeJson(r: Recipe): JsonObject;
+export declare function shapeJson(s: Shape): JsonObject;
+export declare function filterJson(f: Filter): JsonObject;
+export declare function viewJson(v: View): JsonObject;
+/** The `role:` blocks, from the presets and menu items the access reader made of them (12.4). */
+export declare function rolesJson(perms: Permissions): JsonObject[];
+export declare function permissionsJson(perms: Permissions): JsonObject | undefined;
+/** A utility block's JSON form (11.6). */
+export declare function utilityJson(u: Utility): JsonObject;
+/** The whole package as the JSON document, without `hash` and `sig`. */
+export declare function bundleOf(p: Parsed): JsonObject;
+/** Quote a value when the text form would otherwise misread it (2.5). */
+export declare function q(s: string): string;
+/** A class line's text from its settings (5.3), the shorthand marks in their order (4.5). */
+export declare function lineText(l: JsonObject, type?: string): string;
+/** The text form of a bundle: the package header, then every member, in the long form. */
+export declare function printBundle(b: JsonObject): string;
+/** Read a bundle: print it to text and read the text, so there is one parser. */
+export declare function readBundle(b: JsonObject): Parsed & {
+    text: string;
+};
+/** Read a bundle's definitions into a dictionary that already holds what the package extends. */
+export declare function readBundleInto(b: JsonObject, into?: Dictionary): Dictionary;
+/** An empty Parsed to read packages onto, in order. */
+export declare function emptyParsed(): Parsed;
+/**
+ * Read a bundle onto what is already read (the packages it extends, or the installed packages before the
+ * owner's own definitions): the dictionary grows, and a member of the same name replaces the earlier one.
+ */
+export declare function readBundleOnto(bundle: JsonObject, base: Parsed): Parsed;
+export declare function bundleHash(b: JsonObject): string;
+/** Sign a bundle with the owner's Ed25519 private key (the JWK `d`, base64url); sets `hash` and `sig`. */
+export declare function signBundle(b: JsonObject, privateD: string, publicX: string): JsonObject;
+/** Check a bundle's hash and, with the owner's published key, its signature. */
+export declare function verifyBundle(b: JsonObject, keys?: Keys): {
+    valid: boolean;
+    reason?: string;
+};