@cruba/crubal 0.0.0-stage → 0.1.0

package/dist/src/migrate.d.ts

@@ -0,0 +1,88 @@
+import type { Dictionary } from "./defs.ts";
+import type { Record } from "./model.ts";
+export type Step = {
+    verb: "rename";
+    facet: string;
+    from: string;
+    to: string;
+    line: number;
+    text: string;
+} | {
+    verb: "merge";
+    facet: string;
+    from: string[];
+    to: string;
+    line: number;
+    text: string;
+} | {
+    verb: "convert";
+    facet: string;
+    from: string;
+    to: string;
+    rounding: string;
+    line: number;
+    text: string;
+} | {
+    verb: "precision";
+    facet: string;
+    from: string;
+    to: string;
+    line: number;
+    text: string;
+} | {
+    verb: "split";
+    facet: string;
+    value: string;
+    when: {
+        cond: string;
+        to: string;
+    }[];
+    else?: string;
+    line: number;
+    text: string;
+} | {
+    verb: "move";
+    facet: string;
+    to: string;
+    line: number;
+    text: string;
+} | {
+    verb: "review";
+    facet: string;
+    cond: string;
+    line: number;
+    text: string;
+} | {
+    verb: "recompute";
+    facet: string;
+    line: number;
+    text: string;
+} | {
+    verb: "retype";
+    facet: string;
+    from: string;
+    to: string;
+    line: number;
+    text: string;
+};
+export type Recipe = {
+    from: string;
+    to: string;
+    steps: Step[];
+    line: number;
+};
+/** Read `migration:` blocks. */
+export declare function readRecipes(source: string): Recipe[];
+/** Publish checks (10.5) against the version the recipe reaches, given as `dict`. */
+export declare function checkRecipe(r: Recipe, dict: Dictionary): void;
+export type ReviewItem = {
+    record: string;
+    address: string;
+    step: string;
+    held: true;
+};
+/** Restamp records with a recipe. Returns the restamped records and the review queue. */
+export declare function restamp(records: Record[], recipe: Recipe, dict: Dictionary): {
+    records: Record[];
+    review: ReviewItem[];
+};

package/dist/src/migrate.js

@@ -0,0 +1,191 @@
+// migrate.ts: migration recipes (spec chapter 10). A recipe names the version it leaves and the version it
+// reaches, then steps grouped by facet, run in the order written. Restamping applies it to every record;
+// steps that need a person send items to the review queue and hold the value. Nothing is dropped.
+import { evaluate, parseCondition } from "./conditions.js";
+import { splitTop } from "./lex.js";
+import { CrubalError, readTree } from "./tree.js";
+import { convert, unitOf } from "./units.js";
+const unq = (s) => (s.trim().startsWith('"') ? JSON.parse(s.trim()) : s.trim());
+function arrow(text, line) {
+    const at = text.lastIndexOf(" -> ");
+    if (at < 0) {
+        if (text.startsWith("-> "))
+            return ["", text.slice(3).trim()];
+        throw new CrubalError(`expected "from -> to": ${text}`, line);
+    }
+    return [text.slice(0, at).trim(), text.slice(at + 4).trim()];
+}
+/** Read `migration:` blocks. */
+export function readRecipes(source) {
+    const out = [];
+    for (const node of readTree(source)) {
+        if (node.kind !== "pair" || node.key !== "migration")
+            continue;
+        const [from, to] = arrow(node.value, node.line);
+        const recipe = { from, to, steps: [], line: node.line };
+        for (const group of node.children) {
+            if (group.key !== "facet")
+                throw new CrubalError(`a recipe groups its steps under "facet: key"`, group.line);
+            const facet = group.value.trim();
+            const kids = group.children;
+            for (let i = 0; i < kids.length; i++) {
+                const s = kids[i];
+                const base = { facet, line: s.line, text: s.text };
+                if (s.kind === "line" && s.text === "recompute") {
+                    recipe.steps.push({ verb: "recompute", ...base });
+                    continue;
+                }
+                switch (s.key) {
+                    case "rename": {
+                        const [a, b] = arrow(s.value, s.line);
+                        recipe.steps.push({ verb: "rename", from: unq(a), to: unq(b), ...base });
+                        break;
+                    }
+                    case "merge": {
+                        const [a, b] = arrow(s.value, s.line);
+                        recipe.steps.push({ verb: "merge", from: splitTop(a, ",", s.line).map(unq), to: unq(b), ...base });
+                        break;
+                    }
+                    case "convert": {
+                        const [a, b] = arrow(s.value, s.line);
+                        const next = kids[i + 1];
+                        const rounding = next?.key === "rounding" ? next.value : "nearest";
+                        if (next?.key === "rounding")
+                            i++;
+                        recipe.steps.push({ verb: "convert", from: a, to: b, rounding, ...base });
+                        break;
+                    }
+                    case "precision":
+                    case "retype": {
+                        const [a, b] = arrow(s.value, s.line);
+                        recipe.steps.push({ verb: s.key, from: a, to: b, ...base });
+                        break;
+                    }
+                    case "split": {
+                        const when = [];
+                        let otherwise;
+                        for (const b of s.children) {
+                            if (b.key === "when") {
+                                const [cond, to] = arrow(b.value, b.line);
+                                when.push({ cond, to: unq(to) });
+                            }
+                            else if (b.key === "else")
+                                otherwise = unq(b.value);
+                        }
+                        recipe.steps.push({ verb: "split", value: unq(s.value), when, ...(otherwise !== undefined ? { else: otherwise } : {}), ...base });
+                        break;
+                    }
+                    case "move":
+                        recipe.steps.push({ verb: "move", to: arrow(s.value, s.line)[1], ...base });
+                        break;
+                    case "review":
+                        recipe.steps.push({ verb: "review", cond: s.value, ...base });
+                        break;
+                    default:
+                        throw new CrubalError(`unknown recipe step: ${s.text}`, s.line);
+                }
+            }
+        }
+        out.push(recipe);
+    }
+    return out;
+}
+/** Publish checks (10.5) against the version the recipe reaches, given as `dict`. */
+export function checkRecipe(r, dict) {
+    for (const s of r.steps) {
+        const f = dict.facets.get(s.facet);
+        const real = new Set((f?.values ?? []).map((v) => v.value));
+        const need = (v) => {
+            if (f?.type === "choice" && !real.has(v))
+                throw new CrubalError(`${v} is not a value of ${s.facet} in ${r.to}`, s.line);
+        };
+        if (s.verb === "rename" || s.verb === "merge")
+            need(s.to);
+        if (s.verb === "split") {
+            for (const b of s.when)
+                need(b.to);
+            if (s.else !== undefined)
+                need(s.else);
+        }
+        if (s.verb === "convert" && convert("1", s.from, s.to) === null)
+            throw new CrubalError(`can't convert ${s.from} to ${s.to}`, s.line);
+    }
+}
+const isObj = (v) => typeof v === "object" && v !== null && !Array.isArray(v);
+function mapScalars(v, fn) {
+    if (Array.isArray(v))
+        return v.map((x) => mapScalars(x, fn));
+    if (isObj(v) && "$value" in v)
+        return { ...v, $value: fn(v.$value) };
+    return fn(v);
+}
+/** Restamp records with a recipe. Returns the restamped records and the review queue. */
+export function restamp(records, recipe, dict) {
+    const review = [];
+    const out = records.map((rec) => {
+        const values = { ...rec.values };
+        for (const s of recipe.steps) {
+            const v = values[s.facet];
+            if (v === undefined && s.verb !== "review")
+                continue;
+            switch (s.verb) {
+                case "rename":
+                    values[s.facet] = mapScalars(v, (x) => (x === s.from ? s.to : x));
+                    break;
+                case "merge":
+                    values[s.facet] = mapScalars(v, (x) => (typeof x === "string" && s.from.includes(x) ? s.to : x));
+                    break;
+                case "convert":
+                    values[s.facet] = mapScalars(v, (x) => {
+                        if (!isObj(x) || !("$qty" in x))
+                            return x;
+                        const unit = unitOf(String(x.unit)) ?? String(x.unit);
+                        if (unit !== s.from)
+                            return x;
+                        const places = dict.facets.get(s.facet)?.places ?? 0;
+                        const exact = Number(convert(String(x.$qty), s.from, s.to, 12));
+                        const scale = 10 ** places;
+                        const round = s.rounding === "down" ? Math.floor : s.rounding === "up" ? Math.ceil : Math.round;
+                        return { $qty: String(round(exact * scale) / scale), unit: s.to };
+                    });
+                    break;
+                case "precision": {
+                    const len = s.to === "year" ? 4 : s.to === "month" ? 7 : 10;
+                    values[s.facet] = mapScalars(v, (x) => (typeof x === "string" && x.length > len ? x.slice(0, len) : x));
+                    break;
+                }
+                case "split":
+                    values[s.facet] = mapScalars(v, (x) => {
+                        if (x !== s.value)
+                            return x;
+                        for (const b of s.when)
+                            if (evaluate(parseCondition(b.cond, s.line), values) === true)
+                                return b.to;
+                        if (s.else !== undefined)
+                            return s.else;
+                        review.push({ record: rec.id, address: s.facet, step: s.text, held: true });
+                        return x;
+                    });
+                    break;
+                case "move":
+                    if (!/^[A-Za-z_][\w:]*$/.test(s.to) || values[s.to] !== undefined) {
+                        review.push({ record: rec.id, address: s.facet, step: s.text, held: true });
+                        break;
+                    }
+                    values[s.to] = v;
+                    delete values[s.facet];
+                    break;
+                case "review":
+                    if (evaluate(parseCondition(s.cond, s.line), values) === true)
+                        review.push({ record: rec.id, address: s.facet, step: s.text, held: true });
+                    break;
+                case "recompute":
+                case "retype":
+                    break; // the rules rebuild produced values; the new type reads the value on the next check
+            }
+        }
+        return { ...rec, values };
+    });
+    return { records: out, review };
+}
+//# sourceMappingURL=migrate.js.map

package/dist/src/migrate.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"migrate.js","sourceRoot":"","sources":["../../src/migrate.ts"],"names":[],"mappings":"AAAA,2GAA2G;AAC3G,yGAAyG;AACzG,kGAAkG;AAElG,OAAO,EAAE,QAAQ,EAAE,cAAc,EAAE,MAAM,iBAAiB,CAAC;AAE3D,OAAO,EAAE,QAAQ,EAAE,MAAM,UAAU,CAAC;AAEpC,OAAO,EAAE,WAAW,EAAE,QAAQ,EAAE,MAAM,WAAW,CAAC;AAClD,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,YAAY,CAAC;AAe7C,MAAM,GAAG,GAAG,CAAC,CAAS,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,CAAE,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,CAAY,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;AAEpG,SAAS,KAAK,CAAC,IAAY,EAAE,IAAY;IACvC,MAAM,EAAE,GAAG,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC;IACpC,IAAI,EAAE,GAAG,CAAC,EAAE,CAAC;QACX,IAAI,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC;YAAE,OAAO,CAAC,EAAE,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;QAC9D,MAAM,IAAI,WAAW,CAAC,0BAA0B,IAAI,EAAE,EAAE,IAAI,CAAC,CAAC;IAChE,CAAC;IACD,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,EAAE,IAAI,CAAC,KAAK,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;AAC/D,CAAC;AAED,gCAAgC;AAChC,MAAM,UAAU,WAAW,CAAC,MAAc;IACxC,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,KAAK,MAAM,IAAI,IAAI,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;QACpC,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,IAAI,CAAC,GAAG,KAAK,WAAW;YAAE,SAAS;QAC/D,MAAM,CAAC,IAAI,EAAE,EAAE,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;QAChD,MAAM,MAAM,GAAW,EAAE,IAAI,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC;QAChE,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;YAClC,IAAI,KAAK,CAAC,GAAG,KAAK,OAAO;gBAAE,MAAM,IAAI,WAAW,CAAC,8CAA8C,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;YAC7G,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;YACjC,MAAM,IAAI,GAAG,KAAK,CAAC,QAAQ,CAAC;YAC5B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBACrC,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAA0B,CAAC;gBAC3C,MAAM,IAAI,GAAG,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;gBACnD,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;oBAChD,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,GAAG,IAAI,EAAE,CAAC,CAAC;oBAClD,SAAS;gBACX,CAAC;gBACD,QAAQ,CAAC,CAAC,GAAG,EAAE,CAAC;oBACd,KAAK,QAAQ,CAAC,CAAC,CAAC;wBACd,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;wBACtC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,CAAC,CAAC;wBACzE,MAAM;oBACR,CAAC;oBACD,KAAK,OAAO,CAAC,CAAC,CAAC;wBACb,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;wBACtC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,CAAC,CAAC;wBACnG,MAAM;oBACR,CAAC;oBACD,KAAK,SAAS,CAAC,CAAC,CAAC;wBACf,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;wBACtC,MAAM,IAAI,GAAG,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;wBACzB,MAAM,QAAQ,GAAG,IAAI,EAAE,GAAG,KAAK,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC;wBACnE,IAAI,IAAI,EAAE,GAAG,KAAK,UAAU;4BAAE,CAAC,EAAE,CAAC;wBAClC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,QAAQ,EAAE,GAAG,IAAI,EAAE,CAAC,CAAC;wBAC1E,MAAM;oBACR,CAAC;oBACD,KAAK,WAAW,CAAC;oBACjB,KAAK,QAAQ,CAAC,CAAC,CAAC;wBACd,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;wBACtC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,GAAG,EAAE,IAAI,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,GAAG,IAAI,EAAE,CAAC,CAAC;wBAC5D,MAAM;oBACR,CAAC;oBACD,KAAK,OAAO,CAAC,CAAC,CAAC;wBACb,MAAM,IAAI,GAAmC,EAAE,CAAC;wBAChD,IAAI,SAA6B,CAAC;wBAClC,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,CAAC;4BAC3B,IAAI,CAAC,CAAC,GAAG,KAAK,MAAM,EAAE,CAAC;gCACrB,MAAM,CAAC,IAAI,EAAE,EAAE,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;gCAC1C,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;4BACnC,CAAC;iCAAM,IAAI,CAAC,CAAC,GAAG,KAAK,MAAM;gCAAE,SAAS,GAAG,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;wBACxD,CAAC;wBACD,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,IAAI,EAAE,GAAG,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,IAAI,EAAE,CAAC,CAAC;wBAClI,MAAM;oBACR,CAAC;oBACD,KAAK,MAAM;wBACT,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,KAAK,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,CAAC,CAAC;wBAC5E,MAAM;oBACR,KAAK,QAAQ;wBACX,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC,KAAK,EAAE,GAAG,IAAI,EAAE,CAAC,CAAC;wBAC9D,MAAM;oBACR;wBACE,MAAM,IAAI,WAAW,CAAC,wBAAwB,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;gBACpE,CAAC;YACH,CAAC;QACH,CAAC;QACD,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACnB,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,qFAAqF;AACrF,MAAM,UAAU,WAAW,CAAC,CAAS,EAAE,IAAgB;IACrD,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,CAAC;QACxB,MAAM,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;QACnC,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,CAAC,CAAC,EAAE,MAAM,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;QAC5D,MAAM,IAAI,GAAG,CAAC,CAAS,EAAE,EAAE;YACzB,IAAI,CAAC,EAAE,IAAI,KAAK,QAAQ,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;gBAAE,MAAM,IAAI,WAAW,CAAC,GAAG,CAAC,sBAAsB,CAAC,CAAC,KAAK,OAAO,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;QAC1H,CAAC,CAAC;QACF,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO;YAAE,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QAC1D,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;YACvB,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI;gBAAE,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YACnC,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS;gBAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QACzC,CAAC;QACD,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,IAAI,OAAO,CAAC,GAAG,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,IAAI;YAAE,MAAM,IAAI,WAAW,CAAC,iBAAiB,CAAC,CAAC,IAAI,OAAO,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;IACvI,CAAC;AACH,CAAC;AAED,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,SAAS,UAAU,CAAC,CAAO,EAAE,EAAqB;IAChD,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;QAAE,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;IAC7D,IAAI,KAAK,CAAC,CAAC,CAAC,IAAI,QAAQ,IAAI,CAAC;QAAE,OAAO,EAAE,GAAG,CAAC,EAAE,MAAM,EAAE,EAAE,CAAC,CAAC,CAAC,MAAc,CAAC,EAAE,CAAC;IAC7E,OAAO,EAAE,CAAC,CAAC,CAAC,CAAC;AACf,CAAC;AAID,yFAAyF;AACzF,MAAM,UAAU,OAAO,CAAC,OAAiB,EAAE,MAAc,EAAE,IAAgB;IACzE,MAAM,MAAM,GAAiB,EAAE,CAAC;IAChC,MAAM,GAAG,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE;QAC9B,MAAM,MAAM,GAAe,EAAE,GAAG,GAAG,CAAC,MAAM,EAAE,CAAC;QAC7C,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;YAC7B,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;YAC1B,IAAI,CAAC,KAAK,SAAS,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ;gBAAE,SAAS;YACrD,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;gBACf,KAAK,QAAQ;oBACX,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,UAAU,CAAC,CAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;oBAC1E,MAAM;gBACR,KAAK,OAAO;oBACV,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,UAAU,CAAC,CAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;oBACzG,MAAM;gBACR,KAAK,SAAS;oBACZ,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,UAAU,CAAC,CAAS,EAAE,CAAC,CAAC,EAAE,EAAE;wBAC5C,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC;4BAAE,OAAO,CAAC,CAAC;wBAC1C,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;wBACtD,IAAI,IAAI,KAAK,CAAC,CAAC,IAAI;4BAAE,OAAO,CAAC,CAAC;wBAC9B,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,MAAM,IAAI,CAAC,CAAC;wBACrD,MAAM,KAAK,GAAG,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC;wBAChE,MAAM,KAAK,GAAG,EAAE,IAAI,MAAM,CAAC;wBAC3B,MAAM,KAAK,GAAG,CAAC,CAAC,QAAQ,KAAK,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC;wBAChG,OAAO,EAAE,IAAI,EAAE,MAAM,CAAC,KAAK,CAAC,KAAK,GAAG,KAAK,CAAC,GAAG,KAAK,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC;oBACpE,CAAC,CAAC,CAAC;oBACH,MAAM;gBACR,KAAK,WAAW,CAAC,CAAC,CAAC;oBACjB,MAAM,GAAG,GAAG,CAAC,CAAC,EAAE,KAAK,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;oBAC5D,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,UAAU,CAAC,CAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,CAAC,MAAM,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;oBAChH,MAAM;gBACR,CAAC;gBACD,KAAK,OAAO;oBACV,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,UAAU,CAAC,CAAS,EAAE,CAAC,CAAC,EAAE,EAAE;wBAC5C,IAAI,CAAC,KAAK,CAAC,CAAC,KAAK;4BAAE,OAAO,CAAC,CAAC;wBAC5B,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI;4BAAE,IAAI,QAAQ,CAAC,cAAc,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC,KAAK,IAAI;gCAAE,OAAO,CAAC,CAAC,EAAE,CAAC;wBACnG,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS;4BAAE,OAAO,CAAC,CAAC,IAAI,CAAC;wBACxC,MAAM,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,GAAG,CAAC,EAAE,EAAE,OAAO,EAAE,CAAC,CAAC,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;wBAC5E,OAAO,CAAC,CAAC;oBACX,CAAC,CAAC,CAAC;oBACH,MAAM;gBACR,KAAK,MAAM;oBACT,IAAI,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,SAAS,EAAE,CAAC;wBAClE,MAAM,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,GAAG,CAAC,EAAE,EAAE,OAAO,EAAE,CAAC,CAAC,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;wBAC5E,MAAM;oBACR,CAAC;oBACD,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,CAAS,CAAC;oBACzB,OAAO,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;oBACvB,MAAM;gBACR,KAAK,QAAQ;oBACX,IAAI,QAAQ,CAAC,cAAc,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC,KAAK,IAAI;wBAAE,MAAM,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,GAAG,CAAC,EAAE,EAAE,OAAO,EAAE,CAAC,CAAC,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;oBAC3I,MAAM;gBACR,KAAK,WAAW,CAAC;gBACjB,KAAK,QAAQ;oBACX,MAAM,CAAC,oFAAoF;YAC/F,CAAC;QACH,CAAC;QACD,OAAO,EAAE,GAAG,GAAG,EAAE,MAAM,EAAE,CAAC;IAC5B,CAAC,CAAC,CAAC;IACH,OAAO,EAAE,OAAO,EAAE,GAAG,EAAE,MAAM,EAAE,CAAC;AAClC,CAAC"}

package/dist/src/model.d.ts

@@ -0,0 +1,36 @@
+export type Json = string | number | boolean | Json[] | JsonObject;
+export type JsonObject = {
+    [key: string]: Json;
+};
+export type Source = {
+    origin: string;
+    via: string;
+    owner?: string;
+    adopted?: boolean;
+};
+export type Record = {
+    id: string;
+    kind: string;
+    level: string;
+    of?: string;
+    owner: string;
+    wears?: string[];
+    created?: string;
+    updated?: string;
+    values: JsonObject;
+    parts?: Json[];
+    sources?: {
+        [address: string]: Source;
+    };
+};
+export type Wrapper = {
+    crubal: string;
+    package?: string;
+    prefixes?: {
+        [prefix: string]: string;
+    };
+    records: Record[];
+};
+/** Refuse JSON the spec forbids: `null` anywhere (chapter 3), unknown record members (3.2). */
+export declare function checkJson(doc: unknown, path?: string): void;
+export declare function checkWrapper(w: Wrapper): void;

package/dist/src/model.js

@@ -0,0 +1,32 @@
+// model.ts: the JSON form's shapes (spec chapter 3). The JSON is the model: readers produce it, printers
+// consume it, and canonical.ts hashes it.
+const RECORD_MEMBERS = new Set(["id", "kind", "level", "of", "owner", "wears", "created", "updated", "values", "parts", "sources", "alternatives", "suggestions"]);
+/** Refuse JSON the spec forbids: `null` anywhere (chapter 3), unknown record members (3.2). */
+export function checkJson(doc, path = "$") {
+    if (doc === null)
+        throw new Error(`null at ${path}: CRUBAL JSON never holds null`);
+    if (Array.isArray(doc)) {
+        doc.forEach((d, i) => checkJson(d, `${path}[${i}]`));
+        return;
+    }
+    if (typeof doc === "object") {
+        for (const [k, v] of Object.entries(doc))
+            checkJson(v, `${path}.${k}`);
+    }
+}
+export function checkWrapper(w) {
+    checkJson(w);
+    if (!Array.isArray(w.records))
+        throw new Error("a wrapper needs records");
+    w.records.forEach((r, i) => {
+        for (const k of Object.keys(r)) {
+            if (!RECORD_MEMBERS.has(k))
+                throw new Error(`records[${i}] has an unknown member ${k}`);
+        }
+        for (const k of ["id", "kind", "level", "owner", "values"]) {
+            if (r[k] === undefined)
+                throw new Error(`records[${i}] needs ${k}`);
+        }
+    });
+}
+//# sourceMappingURL=model.js.map

package/dist/src/model.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"model.js","sourceRoot":"","sources":["../../src/model.ts"],"names":[],"mappings":"AAAA,yGAAyG;AACzG,0CAA0C;AA4B1C,MAAM,cAAc,GAAG,IAAI,GAAG,CAAC,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,QAAQ,EAAE,OAAO,EAAE,SAAS,EAAE,cAAc,EAAE,aAAa,CAAC,CAAC,CAAC;AAEnK,+FAA+F;AAC/F,MAAM,UAAU,SAAS,CAAC,GAAY,EAAE,IAAI,GAAG,GAAG;IAChD,IAAI,GAAG,KAAK,IAAI;QAAE,MAAM,IAAI,KAAK,CAAC,WAAW,IAAI,gCAAgC,CAAC,CAAC;IACnF,IAAI,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;QACvB,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,SAAS,CAAC,CAAC,EAAE,GAAG,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QACrD,OAAO;IACT,CAAC;IACD,IAAI,OAAO,GAAG,KAAK,QAAQ,EAAE,CAAC;QAC5B,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,GAAa,CAAC;YAAE,SAAS,CAAC,CAAC,EAAE,GAAG,IAAI,IAAI,CAAC,EAAE,CAAC,CAAC;IACnF,CAAC;AACH,CAAC;AAED,MAAM,UAAU,YAAY,CAAC,CAAU;IACrC,SAAS,CAAC,CAAC,CAAC,CAAC;IACb,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,yBAAyB,CAAC,CAAC;IAC1E,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;QACzB,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;YAC/B,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC;gBAAE,MAAM,IAAI,KAAK,CAAC,WAAW,CAAC,2BAA2B,CAAC,EAAE,CAAC,CAAC;QAC1F,CAAC;QACD,KAAK,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,QAAQ,CAAU,EAAE,CAAC;YACpE,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,SAAS;gBAAE,MAAM,IAAI,KAAK,CAAC,WAAW,CAAC,WAAW,CAAC,EAAE,CAAC,CAAC;QACtE,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC"}

package/dist/src/packages.d.ts

@@ -0,0 +1,25 @@
+import { type Dictionary } from "./defs.ts";
+export type PackageInfo = {
+    name: string;
+    version: string;
+    owner: string;
+    line: number;
+    extends: {
+        name: string;
+        version: string;
+    }[];
+    prefixes: Map<string, {
+        target: string;
+        line: number;
+    }>;
+    trust: {
+        entry: string;
+        line: number;
+    }[];
+    dict: Dictionary;
+    contracts: string[];
+};
+/** Split a file into its packages, keeping line numbers true. */
+export declare function readPackages(source: string): PackageInfo[];
+/** Check every package in a file (11.1, 11.3, 11.4). Throws the first problem. */
+export declare function checkPackages(source: string): PackageInfo[];

package/dist/src/packages.js

@@ -0,0 +1,98 @@
+// packages.ts: package files (spec chapter 11). A file may hold several packages, each starting at a
+// `package:` line. The checks here are 11.1's prefixes, 11.3's trust entries and 11.4's rule that an
+// extending package may add to what it extends but never change it.
+import { emptyDictionary, readDefinitions } from "./defs.js";
+import { readContracts } from "./store.js";
+import { CrubalError, readTree } from "./tree.js";
+const ORIGINS = new Set(["observed", "declared", "derived", "reported"]);
+/** Split a file into its packages, keeping line numbers true. */
+export function readPackages(source) {
+    const lines = source.split(/\r?\n/);
+    const starts = lines.flatMap((l, i) => (/^package: /.test(l) ? [i] : []));
+    return starts.map((start, n) => {
+        const end = starts[n + 1] ?? lines.length;
+        const text = lines.map((l, i) => (i >= start && i < end ? l : "")).join("\n");
+        const [head, ...rest] = readTree(text);
+        if (!head)
+            throw new CrubalError("an empty package", start + 1);
+        const [name = "", version = ""] = head.value.split(/\s+\//).map((s) => s.trim());
+        const info = { name, version, owner: "", line: head.line, extends: [], prefixes: new Map(), trust: [], dict: emptyDictionary(), contracts: [] };
+        for (const c of head.children) {
+            if (c.key === "owner")
+                info.owner = c.value;
+            if (c.key === "extends") {
+                for (const e of c.value.split(",")) {
+                    const [en = "", ev = ""] = e.trim().split(/\s+\//);
+                    info.extends.push({ name: en.trim(), version: ev.trim() });
+                }
+            }
+            if (c.key === "prefixes")
+                for (const p of c.children)
+                    if (p.key)
+                        info.prefixes.set(p.key, { target: p.value, line: p.line });
+        }
+        for (const node of rest) {
+            if (node.key === "trust")
+                for (const t of node.children)
+                    info.trust.push({ entry: t.text.trim(), line: t.line });
+        }
+        // Definitions are everything after the header block.
+        const headerEnd = Math.max(start, ...head.children.flatMap(function deep(c) { return [c.line - 1, ...c.children.flatMap(deep)]; }));
+        const defs = text.split("\n").map((l, i) => (i > headerEnd ? l : "")).join("\n");
+        readDefinitions(defs, info.dict);
+        info.contracts = readContracts(defs).map((c) => c.name);
+        return info;
+    });
+}
+function sameDefinition(base, mine) {
+    if (base.type !== mine.type)
+        return "type";
+    if (base.pick !== mine.pick)
+        return "pick";
+    if ((base.unit ?? "") !== (mine.unit ?? ""))
+        return "unit";
+    const baseValues = (base.values ?? []).map((v) => v.value);
+    const mineValues = (mine.values ?? []).map((v) => v.value);
+    if (mine.values && baseValues.some((v) => !mineValues.includes(v)))
+        return "values";
+    return null;
+}
+/** Check every package in a file (11.1, 11.3, 11.4). Throws the first problem. */
+export function checkPackages(source) {
+    const pkgs = readPackages(source);
+    const byName = new Map(pkgs.map((p) => [p.name, p]));
+    for (const p of pkgs) {
+        for (const [prefix, { target, line }] of p.prefixes) {
+            if (prefix === "crubal")
+                throw new CrubalError("the prefix crubal is reserved for the core", line);
+            if (prefix === p.name && target !== `${p.owner}/${p.name}`)
+                throw new CrubalError(`${p.name} can't map its own name to something else`, line);
+        }
+        for (const { entry, line } of p.trust) {
+            if (entry === "person" || ORIGINS.has(entry))
+                continue;
+            const bare = entry.startsWith(`${p.name}:`) ? entry.slice(p.name.length + 1) : entry;
+            if (p.contracts.includes(bare))
+                continue;
+            if (!entry.includes(":") && entry.includes("."))
+                continue; // a party's domain
+            throw new CrubalError(`${entry} is not a contract of this package`, line);
+        }
+        for (const f of p.dict.facets.values()) {
+            const m = f.key.match(/^([a-z][a-z0-9-]*):(.+)$/);
+            if (!m || m[1] === "crubal")
+                continue;
+            const base = byName.get(m[1]);
+            if (!base || !p.extends.some((e) => e.name === base.name))
+                continue;
+            const original = base.dict.facets.get(m[2]);
+            if (!original)
+                continue;
+            const changed = sameDefinition(original, f);
+            if (changed)
+                throw new CrubalError(`${p.name} changes ${f.key}'s ${changed}; an extending package may only add to it`, f.line);
+        }
+    }
+    return pkgs;
+}
+//# sourceMappingURL=packages.js.map

package/dist/src/packages.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"packages.js","sourceRoot":"","sources":["../../src/packages.ts"],"names":[],"mappings":"AAAA,qGAAqG;AACrG,qGAAqG;AACrG,oEAAoE;AAEpE,OAAO,EAAmB,eAAe,EAAc,eAAe,EAAE,MAAM,WAAW,CAAC;AAC1F,OAAO,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAC3C,OAAO,EAAE,WAAW,EAAE,QAAQ,EAAE,MAAM,WAAW,CAAC;AAclD,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,CAAC,UAAU,EAAE,UAAU,EAAE,SAAS,EAAE,UAAU,CAAC,CAAC,CAAC;AAEzE,iEAAiE;AACjE,MAAM,UAAU,YAAY,CAAC,MAAc;IACzC,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IACpC,MAAM,MAAM,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAC1E,OAAO,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE;QAC7B,MAAM,GAAG,GAAG,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,KAAK,CAAC,MAAM,CAAC;QAC1C,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC9E,MAAM,CAAC,IAAI,EAAE,GAAG,IAAI,CAAC,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC;QACvC,IAAI,CAAC,IAAI;YAAE,MAAM,IAAI,WAAW,CAAC,kBAAkB,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;QAChE,MAAM,CAAC,IAAI,GAAG,EAAE,EAAE,OAAO,GAAG,EAAE,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;QACjF,MAAM,IAAI,GAAgB,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,GAAG,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,EAAE,SAAS,EAAE,EAAE,EAAE,CAAC;QAC7J,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;YAC9B,IAAI,CAAC,CAAC,GAAG,KAAK,OAAO;gBAAE,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC;YAC5C,IAAI,CAAC,CAAC,GAAG,KAAK,SAAS,EAAE,CAAC;gBACxB,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC;oBACnC,MAAM,CAAC,EAAE,GAAG,EAAE,EAAE,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;oBACnD,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,EAAE,CAAC,IAAI,EAAE,EAAE,OAAO,EAAE,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;gBAC7D,CAAC;YACH,CAAC;YACD,IAAI,CAAC,CAAC,GAAG,KAAK,UAAU;gBAAE,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,QAAQ;oBAAE,IAAI,CAAC,CAAC,GAAG;wBAAE,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;QAC/H,CAAC;QACD,KAAK,MAAM,IAAI,IAAI,IAAI,EAAE,CAAC;YACxB,IAAI,IAAI,CAAC,GAAG,KAAK,OAAO;gBAAE,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,QAAQ;oBAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;QACnH,CAAC;QACD,qDAAqD;QACrD,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,SAAS,IAAI,CAAC,CAAC,IAAc,OAAO,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC9I,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjF,eAAe,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;QACjC,IAAI,CAAC,SAAS,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QACxD,OAAO,IAAI,CAAC;IACd,CAAC,CAAC,CAAC;AACL,CAAC;AAED,SAAS,cAAc,CAAC,IAAW,EAAE,IAAW;IAC9C,IAAI,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC,IAAI;QAAE,OAAO,MAAM,CAAC;IAC3C,IAAI,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC,IAAI;QAAE,OAAO,MAAM,CAAC;IAC3C,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,IAAI,EAAE,CAAC;QAAE,OAAO,MAAM,CAAC;IAC3D,MAAM,UAAU,GAAG,CAAC,IAAI,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;IAC3D,MAAM,UAAU,GAAG,CAAC,IAAI,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;IAC3D,IAAI,IAAI,CAAC,MAAM,IAAI,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;QAAE,OAAO,QAAQ,CAAC;IACpF,OAAO,IAAI,CAAC;AACd,CAAC;AAED,kFAAkF;AAClF,MAAM,UAAU,aAAa,CAAC,MAAc;IAC1C,MAAM,IAAI,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC;IAClC,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IACrD,KAAK,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;QACrB,KAAK,MAAM,CAAC,MAAM,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,CAAC;YACpD,IAAI,MAAM,KAAK,QAAQ;gBAAE,MAAM,IAAI,WAAW,CAAC,4CAA4C,EAAE,IAAI,CAAC,CAAC;YACnG,IAAI,MAAM,KAAK,CAAC,CAAC,IAAI,IAAI,MAAM,KAAK,GAAG,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,IAAI,EAAE;gBAAE,MAAM,IAAI,WAAW,CAAC,GAAG,CAAC,CAAC,IAAI,2CAA2C,EAAE,IAAI,CAAC,CAAC;QAChJ,CAAC;QACD,KAAK,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,KAAK,EAAE,CAAC;YACtC,IAAI,KAAK,KAAK,QAAQ,IAAI,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC;gBAAE,SAAS;YACvD,MAAM,IAAI,GAAG,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;YACrF,IAAI,CAAC,CAAC,SAAS,CAAC,QAAQ,CAAC,IAAI,CAAC;gBAAE,SAAS;YACzC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC;gBAAE,SAAS,CAAC,mBAAmB;YAC9E,MAAM,IAAI,WAAW,CAAC,GAAG,KAAK,oCAAoC,EAAE,IAAI,CAAC,CAAC;QAC5E,CAAC;QACD,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,EAAE,EAAE,CAAC;YACvC,MAAM,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,0BAA0B,CAAC,CAAC;YAClD,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,QAAQ;gBAAE,SAAS;YACtC,MAAM,IAAI,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAW,CAAC,CAAC;YACxC,IAAI,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,IAAI,CAAC;gBAAE,SAAS;YACpE,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAW,CAAC,CAAC;YACtD,IAAI,CAAC,QAAQ;gBAAE,SAAS;YACxB,MAAM,OAAO,GAAG,cAAc,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC;YAC5C,IAAI,OAAO;gBAAE,MAAM,IAAI,WAAW,CAAC,GAAG,CAAC,CAAC,IAAI,YAAY,CAAC,CAAC,GAAG,MAAM,OAAO,2CAA2C,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;QACjI,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC"}

package/dist/src/print-text.d.ts

@@ -0,0 +1,7 @@
+import { type Dictionary, type Facet } from "./defs.ts";
+import type { Json, Wrapper } from "./model.ts";
+export type PrintMode = "full" | "plain";
+/** A list item's text form with its qualifiers and without its sources: the selector in an address. */
+export declare function itemText(f: Facet, v: Json): string;
+/** Print a wrapper as text. */
+export declare function printText(w: Wrapper, dict: Dictionary, mode?: PrintMode): string;