@cruba/crubal 0.0.0-stage → 0.2.0

package/dist/src/migrate.js

@@ -0,0 +1,286 @@
+// 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 { serialize } from "./canonical.js";
+import { evaluate, parseCondition } from "./conditions.js";
+import { checkScalar } from "./dictionary.js";
+import { readUnder } from "./read-text.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;
+                    case "fill": {
+                        let level;
+                        let when;
+                        for (const b of s.children) {
+                            if (b.key === "for")
+                                level = b.value.trim().replace(/::$/, "");
+                            else if (b.key === "when")
+                                when = b.value.trim();
+                            else
+                                throw new CrubalError(`a fill takes "for:" and "when:" beneath it, not ${b.key}`, b.line);
+                        }
+                        recipe.steps.push({ verb: "fill", value: unq(s.value), ...(level ? { level } : {}), ...(when ? { when } : {}), ...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);
+        if (s.verb === "fill") {
+            if (!f)
+                throw new CrubalError(`${s.facet} is not a facet of ${r.to}`, s.line);
+            const v = readUnder(f, s.value, dict, s.line);
+            if (v === undefined || checkScalar(f, v).outcome !== "absorbed")
+                throw new CrubalError(`${s.value} is not a value ${s.facet} takes`, s.line);
+            if (s.level && !dict.levels.has(s.level))
+                throw new CrubalError(`${s.level} is not a level of ${r.to}`, s.line);
+            if (s.when)
+                parseCondition(s.when, 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);
+}
+/** A value's text as the text form writes it, for a retype to re-read (10.3). */
+function textOf(v) {
+    if (typeof v === "string")
+        return v;
+    if (typeof v === "number" || typeof v === "boolean")
+        return String(v);
+    if (isObj(v) && "$qty" in v)
+        return `${v.$qty}${v.unit}`;
+    if (isObj(v) && "$money" in v)
+        return `${v.$money}${v.currency}`;
+    if (isObj(v) && "$link" in v)
+        return `&${v.$link}`;
+    if (isObj(v) && "$value" in v)
+        return textOf(v.$value);
+    return JSON.stringify(v);
+}
+export function restamp(records, recipe, dict, stats) {
+    const review = [];
+    if (stats)
+        for (const s of recipe.steps)
+            stats.push({ step: s.text, facet: s.facet, verb: s.verb, changed: 0, review: 0 });
+    const out = records.map((rec) => {
+        const values = { ...rec.values };
+        // A moved value keeps its source under its new address (10.4): the record's own, else its default.
+        const sources = { ...(rec.sources ?? {}) };
+        recipe.steps.forEach((s, si) => {
+            const v = values[s.facet];
+            if (v === undefined && s.verb !== "review" && s.verb !== "fill")
+                return;
+            const before = serialize((values[s.facet] ?? null));
+            const reviewsBefore = review.length;
+            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];
+                    {
+                        const src = sources[s.facet] ?? sources["*"];
+                        if (src)
+                            sources[s.to] = src;
+                        delete sources[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 "retype": {
+                    // Each value is read again under the facet's new type (10.3): what fits lands, the rest goes to review.
+                    const f = dict.facets.get(s.facet);
+                    if (!f)
+                        break;
+                    const again = readUnder(f, textOf(v), dict);
+                    const ok = again !== undefined && checkScalar(f, again).outcome === "absorbed";
+                    if (ok)
+                        values[s.facet] = again;
+                    else
+                        review.push({ record: rec.id, address: s.facet, step: s.text, held: true });
+                    break;
+                }
+                case "recompute":
+                    break; // the rules rebuild produced values
+                case "fill": {
+                    // A backfill (10.3): a record lacking the key, at the level named, where the condition holds, gets the
+                    // value read under the facet; a record that has one is left alone.
+                    if (v !== undefined)
+                        break;
+                    if (s.level && rec.level !== s.level)
+                        break;
+                    if (s.when && evaluate(parseCondition(s.when, s.line), values) !== true)
+                        break;
+                    const f = dict.facets.get(s.facet);
+                    const filled = f ? readUnder(f, s.value, dict) : undefined;
+                    if (filled !== undefined)
+                        values[s.facet] = filled;
+                    break;
+                }
+            }
+            if (stats) {
+                const st = stats[si];
+                if (serialize((values[s.facet] ?? null)) !== before)
+                    st.changed += 1;
+                st.review += review.length - reviewsBefore;
+            }
+        });
+        return { ...rec, values, ...(Object.keys(sources).length ? { sources } : {}) };
+    });
+    return { records: out, review };
+}
+/** What a restamp would do, without doing it (10.4): per step, how many values change and how many go to review. */
+export function dryRun(records, recipe, dict) {
+    const stats = [];
+    const { review } = restamp(structuredClone(records), recipe, dict, stats);
+    return { steps: stats, records: records.length, review: review.length };
+}
+//# 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,SAAS,EAAE,MAAM,gBAAgB,CAAC;AAC3C,OAAO,EAAE,QAAQ,EAAE,cAAc,EAAE,MAAM,iBAAiB,CAAC;AAC3D,OAAO,EAAE,WAAW,EAAE,MAAM,iBAAiB,CAAC;AAC9C,OAAO,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAC;AAE3C,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;AAiB7C,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,KAAK,MAAM,CAAC,CAAC,CAAC;wBACZ,IAAI,KAAyB,CAAC;wBAC9B,IAAI,IAAwB,CAAC;wBAC7B,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,CAAC;4BAC3B,IAAI,CAAC,CAAC,GAAG,KAAK,KAAK;gCAAE,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;iCAC1D,IAAI,CAAC,CAAC,GAAG,KAAK,MAAM;gCAAE,IAAI,GAAG,CAAC,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;;gCAC5C,MAAM,IAAI,WAAW,CAAC,mDAAmD,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;wBACjG,CAAC;wBACD,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,IAAI,EAAE,CAAC,CAAC;wBAC1H,MAAM;oBACR,CAAC;oBACD;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;QACrI,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YACtB,IAAI,CAAC,CAAC;gBAAE,MAAM,IAAI,WAAW,CAAC,GAAG,CAAC,CAAC,KAAK,sBAAsB,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;YAC9E,MAAM,CAAC,GAAG,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;YAC9C,IAAI,CAAC,KAAK,SAAS,IAAI,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,UAAU;gBAAE,MAAM,IAAI,WAAW,CAAC,GAAG,CAAC,CAAC,KAAK,mBAAmB,CAAC,CAAC,KAAK,QAAQ,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;YAC7I,IAAI,CAAC,CAAC,KAAK,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC;gBAAE,MAAM,IAAI,WAAW,CAAC,GAAG,CAAC,CAAC,KAAK,sBAAsB,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;YAChH,IAAI,CAAC,CAAC,IAAI;gBAAE,cAAc,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;QAC7C,CAAC;IACH,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;AAOD,iFAAiF;AACjF,SAAS,MAAM,CAAC,CAAO;IACrB,IAAI,OAAO,CAAC,KAAK,QAAQ;QAAE,OAAO,CAAC,CAAC;IACpC,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,OAAO,CAAC,KAAK,SAAS;QAAE,OAAO,MAAM,CAAC,CAAC,CAAC,CAAC;IACtE,IAAI,KAAK,CAAC,CAAC,CAAC,IAAI,MAAM,IAAI,CAAC;QAAE,OAAO,GAAG,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;IACzD,IAAI,KAAK,CAAC,CAAC,CAAC,IAAI,QAAQ,IAAI,CAAC;QAAE,OAAO,GAAG,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,QAAQ,EAAE,CAAC;IACjE,IAAI,KAAK,CAAC,CAAC,CAAC,IAAI,OAAO,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC,CAAC,KAAK,EAAE,CAAC;IACnD,IAAI,KAAK,CAAC,CAAC,CAAC,IAAI,QAAQ,IAAI,CAAC;QAAE,OAAO,MAAM,CAAC,CAAC,CAAC,MAAc,CAAC,CAAC;IAC/D,OAAO,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;AAC3B,CAAC;AAED,MAAM,UAAU,OAAO,CAAC,OAAiB,EAAE,MAAc,EAAE,IAAgB,EAAE,KAAmB;IAC9F,MAAM,MAAM,GAAiB,EAAE,CAAC;IAChC,IAAI,KAAK;QAAE,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,KAAK;YAAE,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,OAAO,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC,CAAC;IAC3H,MAAM,GAAG,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE;QAC9B,MAAM,MAAM,GAAe,EAAE,GAAG,GAAG,CAAC,MAAM,EAAE,CAAC;QAC7C,mGAAmG;QACnG,MAAM,OAAO,GAAkC,EAAE,GAAG,CAAC,GAAG,CAAC,OAAO,IAAI,EAAE,CAAC,EAAE,CAAC;QAC1E,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE;YAC7B,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;YAC1B,IAAI,CAAC,KAAK,SAAS,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM;gBAAE,OAAO;YACxE,MAAM,MAAM,GAAG,SAAS,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,IAAI,CAAS,CAAC,CAAC;YAC5D,MAAM,aAAa,GAAG,MAAM,CAAC,MAAM,CAAC;YACpC,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,CAAC;wBACC,MAAM,GAAG,GAAG,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,OAAO,CAAC,GAAG,CAAC,CAAC;wBAC7C,IAAI,GAAG;4BAAE,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC;wBAC7B,OAAO,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;oBAC1B,CAAC;oBACD,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,QAAQ,CAAC,CAAC,CAAC;oBACd,wGAAwG;oBACxG,MAAM,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;oBACnC,IAAI,CAAC,CAAC;wBAAE,MAAM;oBACd,MAAM,KAAK,GAAG,SAAS,CAAC,CAAC,EAAE,MAAM,CAAC,CAAS,CAAC,EAAE,IAAI,CAAC,CAAC;oBACpD,MAAM,EAAE,GAAG,KAAK,KAAK,SAAS,IAAI,WAAW,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,OAAO,KAAK,UAAU,CAAC;oBAC/E,IAAI,EAAE;wBAAE,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,KAAa,CAAC;;wBACnC,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;oBACjF,MAAM;gBACR,CAAC;gBACD,KAAK,WAAW;oBACd,MAAM,CAAC,oCAAoC;gBAC7C,KAAK,MAAM,CAAC,CAAC,CAAC;oBACZ,uGAAuG;oBACvG,mEAAmE;oBACnE,IAAI,CAAC,KAAK,SAAS;wBAAE,MAAM;oBAC3B,IAAI,CAAC,CAAC,KAAK,IAAI,GAAG,CAAC,KAAK,KAAK,CAAC,CAAC,KAAK;wBAAE,MAAM;oBAC5C,IAAI,CAAC,CAAC,IAAI,IAAI,QAAQ,CAAC,cAAc,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC,KAAK,IAAI;wBAAE,MAAM;oBAC/E,MAAM,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;oBACnC,MAAM,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;oBAC3D,IAAI,MAAM,KAAK,SAAS;wBAAE,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,MAAc,CAAC;oBAC3D,MAAM;gBACR,CAAC;YACH,CAAC;YACD,IAAI,KAAK,EAAE,CAAC;gBACV,MAAM,EAAE,GAAG,KAAK,CAAC,EAAE,CAAc,CAAC;gBAClC,IAAI,SAAS,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,IAAI,CAAS,CAAC,KAAK,MAAM;oBAAE,EAAE,CAAC,OAAO,IAAI,CAAC,CAAC;gBAC7E,EAAE,CAAC,MAAM,IAAI,MAAM,CAAC,MAAM,GAAG,aAAa,CAAC;YAC7C,CAAC;QACH,CAAC,CAAC,CAAC;QACH,OAAO,EAAE,GAAG,GAAG,EAAE,MAAM,EAAE,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC;IACjF,CAAC,CAAC,CAAC;IACH,OAAO,EAAE,OAAO,EAAE,GAAG,EAAE,MAAM,EAAE,CAAC;AAClC,CAAC;AAED,oHAAoH;AACpH,MAAM,UAAU,MAAM,CAAC,OAAiB,EAAE,MAAc,EAAE,IAAgB;IACxE,MAAM,KAAK,GAAgB,EAAE,CAAC;IAC9B,MAAM,EAAE,MAAM,EAAE,GAAG,OAAO,CAAC,eAAe,CAAC,OAAO,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;IAC1E,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,OAAO,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,CAAC;AAC1E,CAAC"}

package/dist/src/model.d.ts

@@ -0,0 +1,68 @@
+import type { Dictionary } from "./defs.ts";
+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;
+    /** Taken under terms (7.8): when the value lapses, whether it may flow on, whether the presenter may withdraw it. */
+    until?: string;
+    reshare?: boolean;
+    revocable?: boolean;
+};
+/** A record's status (1.12): absent means active. */
+export type Status = {
+    state: "active" | "archived";
+    reason?: string;
+    into?: string;
+};
+export type Record = {
+    id: string;
+    kind: string;
+    level: string;
+    /** Optional at every level (1.2): absent when the record stands alone. */
+    of?: string;
+    owner: string;
+    /** The record this one belongs to for access (14.2). */
+    within?: string;
+    status?: Status;
+    /** Per issuer of instructions, the last one applied (10.7). */
+    applied?: {
+        [issuer: string]: number;
+    };
+    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[];
+};
+/**
+ * Parse CRUBAL JSON text (chapter 3): RFC 8259, with a member named twice in one object refused. JSON.parse
+ * keeps the last of two equal names, so the text is scanned for them first; the scan follows strings and
+ * brackets only and leaves everything else to JSON.parse.
+ */
+export declare function parseJson(text: string): Json;
+/** Whether an address names a place in the record's values or parts (3.7). `*` is the record itself. */
+export declare function addressNames(r: Record, address: string, dict?: Dictionary): boolean;
+/** Refuse JSON the spec forbids: `null` anywhere (chapter 3), unknown record members (3.2). */
+export declare function checkJson(doc: unknown, path?: string): void;
+/**
+ * Check a wrapper read from JSON: no null, the members 3.2 lists, and every source address naming a place in
+ * the record (3.7). With the dictionary, a quoted list selector is matched by the item's text form; without
+ * it, by the item's core value.
+ */
+export declare function checkWrapper(w: Wrapper, dict?: Dictionary): void;

package/dist/src/model.js

@@ -0,0 +1,188 @@
+// 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.
+import { itemText } from "./print-text.js";
+const RECORD_MEMBERS = new Set(["id", "kind", "level", "of", "owner", "within", "status", "applied", "wears", "created", "updated", "values", "parts", "sources", "alternatives", "suggestions", "held"]);
+const isObj = (v) => typeof v === "object" && v !== null && !Array.isArray(v);
+/**
+ * Parse CRUBAL JSON text (chapter 3): RFC 8259, with a member named twice in one object refused. JSON.parse
+ * keeps the last of two equal names, so the text is scanned for them first; the scan follows strings and
+ * brackets only and leaves everything else to JSON.parse.
+ */
+export function parseJson(text) {
+    const stack = [];
+    let i = 0;
+    scan: while (i < text.length) {
+        const c = text[i];
+        if (c === '"') {
+            let j = i + 1;
+            while (j < text.length && text[j] !== '"')
+                j += text[j] === "\\" ? 2 : 1;
+            const raw = text.slice(i, j + 1);
+            i = j + 1;
+            const top = stack.at(-1);
+            if (top?.keys && top.expectKey) {
+                let key;
+                try {
+                    key = JSON.parse(raw);
+                }
+                catch {
+                    break scan; // malformed: JSON.parse below says where
+                }
+                if (top.keys.has(key))
+                    throw new Error(`member ${key} twice in the object at $${stack.slice(0, -1).map((f) => f.at).join("")}: a document never names a member twice`);
+                top.keys.add(key);
+                top.expectKey = false;
+                top.at = `.${key}`;
+            }
+            continue;
+        }
+        if (c === "{")
+            stack.push({ keys: new Set(), expectKey: true, at: "" });
+        else if (c === "[")
+            stack.push({ keys: null, expectKey: false, at: "[0]" });
+        else if (c === "}" || c === "]")
+            stack.pop();
+        else if (c === ",") {
+            const top = stack.at(-1);
+            if (top?.keys)
+                top.expectKey = true;
+            else if (top)
+                top.at = `[${Number(top.at.slice(1, -1)) + 1}]`;
+        }
+        i++;
+    }
+    return JSON.parse(text);
+}
+/** An address's steps (1.10): `key` or `key[selector]`, `.`-separated outside brackets and quotes; undefined when malformed. */
+function steps(address) {
+    const out = [];
+    let i = 0;
+    for (;;) {
+        let key = "";
+        while (i < address.length && address[i] !== "." && address[i] !== "[")
+            key += address[i++];
+        if (!key)
+            return undefined;
+        const step = { key };
+        if (address[i] === "[") {
+            i++;
+            if (address[i] === '"') {
+                let j = i + 1;
+                while (j < address.length && address[j] !== '"')
+                    j += address[j] === "\\" ? 2 : 1;
+                if (j >= address.length)
+                    return undefined;
+                try {
+                    step.selector = JSON.parse(address.slice(i, j + 1));
+                }
+                catch {
+                    return undefined;
+                }
+                step.quoted = true;
+                i = j + 1;
+            }
+            else {
+                const end = address.indexOf("]", i);
+                if (end <= i)
+                    return undefined;
+                step.selector = address.slice(i, end);
+                i = end;
+            }
+            if (address[i] !== "]")
+                return undefined;
+            i++;
+        }
+        out.push(step);
+        if (i === address.length)
+            return out;
+        if (address[i] !== ".")
+            return undefined;
+        i++;
+    }
+}
+/** Whether an address names a place in the record's values or parts (3.7). `*` is the record itself. */
+export function addressNames(r, address, dict) {
+    if (address === "*")
+        return true;
+    const st = steps(address);
+    if (!st?.length)
+        return false;
+    const [first, ...rest] = st;
+    if (first.key === "parts") {
+        if (first.selector === undefined || first.quoted)
+            return false;
+        const part = (r.parts ?? []).find((p) => isObj(p) && String(p.$row) === first.selector);
+        if (!isObj(part))
+            return false;
+        return rest.length ? walk(isObj(part.values) ? part.values : {}, rest, dict) : true;
+    }
+    return walk(r.values, st, dict);
+}
+function walk(values, st, dict) {
+    let cur = values;
+    for (const s of st) {
+        if (!isObj(cur))
+            return false;
+        let v = cur[s.key];
+        if (v === undefined)
+            return false;
+        if (s.selector !== undefined) {
+            if (!Array.isArray(v))
+                return false;
+            const sel = s.selector;
+            const facet = dict?.facets.get(s.key);
+            const hit = v.find((item) => {
+                // A plain list item by its text form (1.10); without the dictionary, by its core value.
+                if (s.quoted)
+                    return facet ? itemText(facet, item) === sel : String(isObj(item) ? (item.$value ?? item.$qty ?? item.$money ?? item.$link ?? "") : item) === sel.replace(/ \[.*\]$/, "");
+                // A row by its key: written as `$row`, or derived from the identity child, which is a link (1.6).
+                return isObj(item) && (String(item.$row) === sel || Object.values(item).some((x) => isObj(x) && x.$link === sel));
+            });
+            if (hit === undefined)
+                return false;
+            v = hit;
+        }
+        cur = v;
+    }
+    return true;
+}
+/** 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}`);
+    }
+}
+/**
+ * Check a wrapper read from JSON: no null, the members 3.2 lists, and every source address naming a place in
+ * the record (3.7). With the dictionary, a quoted list selector is matched by the item's text form; without
+ * it, by the item's core value.
+ */
+export function checkWrapper(w, dict) {
+    checkJson(w);
+    if (!/^\d+$/.test(String(w.crubal)) || Number(w.crubal) > 2)
+        throw new Error(`written in CRUBAL ${w.crubal}; this reader knows 2`);
+    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}`);
+        }
+        for (const address of Object.keys(r.sources ?? {})) {
+            if (!addressNames(r, address, dict))
+                throw new Error(`records[${i}].sources: ${address} names nothing in values or parts`);
+        }
+    });
+}
+//# 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;AAG1C,OAAO,EAAE,QAAQ,EAAE,MAAM,iBAAiB,CAAC;AA8C3C,MAAM,cAAc,GAAG,IAAI,GAAG,CAAC,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,SAAS,EAAE,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,QAAQ,EAAE,OAAO,EAAE,SAAS,EAAE,cAAc,EAAE,aAAa,EAAE,MAAM,CAAC,CAAC,CAAC;AAE1M,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;;;;GAIG;AACH,MAAM,UAAU,SAAS,CAAC,IAAY;IAEpC,MAAM,KAAK,GAAY,EAAE,CAAC;IAC1B,IAAI,CAAC,GAAG,CAAC,CAAC;IACV,IAAI,EAAE,OAAO,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC;QAC7B,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;QAClB,IAAI,CAAC,KAAK,GAAG,EAAE,CAAC;YACd,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YACd,OAAO,CAAC,GAAG,IAAI,CAAC,MAAM,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,GAAG;gBAAE,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YACzE,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;YACjC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YACV,MAAM,GAAG,GAAG,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;YACzB,IAAI,GAAG,EAAE,IAAI,IAAI,GAAG,CAAC,SAAS,EAAE,CAAC;gBAC/B,IAAI,GAAW,CAAC;gBAChB,IAAI,CAAC;oBACH,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAW,CAAC;gBAClC,CAAC;gBAAC,MAAM,CAAC;oBACP,MAAM,IAAI,CAAC,CAAC,yCAAyC;gBACvD,CAAC;gBACD,IAAI,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;oBAAE,MAAM,IAAI,KAAK,CAAC,UAAU,GAAG,4BAA4B,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,yCAAyC,CAAC,CAAC;gBACvK,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;gBAClB,GAAG,CAAC,SAAS,GAAG,KAAK,CAAC;gBACtB,GAAG,CAAC,EAAE,GAAG,IAAI,GAAG,EAAE,CAAC;YACrB,CAAC;YACD,SAAS;QACX,CAAC;QACD,IAAI,CAAC,KAAK,GAAG;YAAE,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,GAAG,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC;aACnE,IAAI,CAAC,KAAK,GAAG;YAAE,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC;aACvE,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK,GAAG;YAAE,KAAK,CAAC,GAAG,EAAE,CAAC;aACxC,IAAI,CAAC,KAAK,GAAG,EAAE,CAAC;YACnB,MAAM,GAAG,GAAG,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;YACzB,IAAI,GAAG,EAAE,IAAI;gBAAE,GAAG,CAAC,SAAS,GAAG,IAAI,CAAC;iBAC/B,IAAI,GAAG;gBAAE,GAAG,CAAC,EAAE,GAAG,IAAI,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC;QAChE,CAAC;QACD,CAAC,EAAE,CAAC;IACN,CAAC;IACD,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,CAAS,CAAC;AAClC,CAAC;AAID,gIAAgI;AAChI,SAAS,KAAK,CAAC,OAAe;IAC5B,MAAM,GAAG,GAAW,EAAE,CAAC;IACvB,IAAI,CAAC,GAAG,CAAC,CAAC;IACV,SAAS,CAAC;QACR,IAAI,GAAG,GAAG,EAAE,CAAC;QACb,OAAO,CAAC,GAAG,OAAO,CAAC,MAAM,IAAI,OAAO,CAAC,CAAC,CAAC,KAAK,GAAG,IAAI,OAAO,CAAC,CAAC,CAAC,KAAK,GAAG;YAAE,GAAG,IAAI,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC;QAC3F,IAAI,CAAC,GAAG;YAAE,OAAO,SAAS,CAAC;QAC3B,MAAM,IAAI,GAAS,EAAE,GAAG,EAAE,CAAC;QAC3B,IAAI,OAAO,CAAC,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;YACvB,CAAC,EAAE,CAAC;YACJ,IAAI,OAAO,CAAC,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;gBACvB,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;gBACd,OAAO,CAAC,GAAG,OAAO,CAAC,MAAM,IAAI,OAAO,CAAC,CAAC,CAAC,KAAK,GAAG;oBAAE,CAAC,IAAI,OAAO,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;gBAClF,IAAI,CAAC,IAAI,OAAO,CAAC,MAAM;oBAAE,OAAO,SAAS,CAAC;gBAC1C,IAAI,CAAC;oBACH,IAAI,CAAC,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAW,CAAC;gBAChE,CAAC;gBAAC,MAAM,CAAC;oBACP,OAAO,SAAS,CAAC;gBACnB,CAAC;gBACD,IAAI,CAAC,MAAM,GAAG,IAAI,CAAC;gBACnB,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YACZ,CAAC;iBAAM,CAAC;gBACN,MAAM,GAAG,GAAG,OAAO,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;gBACpC,IAAI,GAAG,IAAI,CAAC;oBAAE,OAAO,SAAS,CAAC;gBAC/B,IAAI,CAAC,QAAQ,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;gBACtC,CAAC,GAAG,GAAG,CAAC;YACV,CAAC;YACD,IAAI,OAAO,CAAC,CAAC,CAAC,KAAK,GAAG;gBAAE,OAAO,SAAS,CAAC;YACzC,CAAC,EAAE,CAAC;QACN,CAAC;QACD,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACf,IAAI,CAAC,KAAK,OAAO,CAAC,MAAM;YAAE,OAAO,GAAG,CAAC;QACrC,IAAI,OAAO,CAAC,CAAC,CAAC,KAAK,GAAG;YAAE,OAAO,SAAS,CAAC;QACzC,CAAC,EAAE,CAAC;IACN,CAAC;AACH,CAAC;AAED,wGAAwG;AACxG,MAAM,UAAU,YAAY,CAAC,CAAS,EAAE,OAAe,EAAE,IAAiB;IACxE,IAAI,OAAO,KAAK,GAAG;QAAE,OAAO,IAAI,CAAC;IACjC,MAAM,EAAE,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC;IAC1B,IAAI,CAAC,EAAE,EAAE,MAAM;QAAE,OAAO,KAAK,CAAC;IAC9B,MAAM,CAAC,KAAK,EAAE,GAAG,IAAI,CAAC,GAAG,EAAuB,CAAC;IACjD,IAAI,KAAK,CAAC,GAAG,KAAK,OAAO,EAAE,CAAC;QAC1B,IAAI,KAAK,CAAC,QAAQ,KAAK,SAAS,IAAI,KAAK,CAAC,MAAM;YAAE,OAAO,KAAK,CAAC;QAC/D,MAAM,IAAI,GAAG,CAAC,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,KAAK,CAAC,QAAQ,CAAC,CAAC;QACxF,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC;YAAE,OAAO,KAAK,CAAC;QAC/B,OAAO,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IACtF,CAAC;IACD,OAAO,IAAI,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,EAAE,IAAI,CAAC,CAAC;AAClC,CAAC;AAED,SAAS,IAAI,CAAC,MAAkB,EAAE,EAAU,EAAE,IAA4B;IACxE,IAAI,GAAG,GAAqB,MAAM,CAAC;IACnC,KAAK,MAAM,CAAC,IAAI,EAAE,EAAE,CAAC;QACnB,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC;YAAE,OAAO,KAAK,CAAC;QAC9B,IAAI,CAAC,GAAqB,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;QACrC,IAAI,CAAC,KAAK,SAAS;YAAE,OAAO,KAAK,CAAC;QAClC,IAAI,CAAC,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;YAC7B,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;gBAAE,OAAO,KAAK,CAAC;YACpC,MAAM,GAAG,GAAG,CAAC,CAAC,QAAQ,CAAC;YACvB,MAAM,KAAK,GAAG,IAAI,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;YACtC,MAAM,GAAG,GAAqB,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE;gBAC5C,wFAAwF;gBACxF,IAAI,CAAC,CAAC,MAAM;oBAAE,OAAO,KAAK,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,IAAI,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,MAAM,IAAI,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,GAAG,CAAC,OAAO,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC;gBACxL,kGAAkG;gBAClG,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,GAAG,IAAI,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,KAAK,KAAK,GAAG,CAAC,CAAC,CAAC;YACpH,CAAC,CAAC,CAAC;YACH,IAAI,GAAG,KAAK,SAAS;gBAAE,OAAO,KAAK,CAAC;YACpC,CAAC,GAAG,GAAG,CAAC;QACV,CAAC;QACD,GAAG,GAAG,CAAC,CAAC;IACV,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,+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;;;;GAIG;AACH,MAAM,UAAU,YAAY,CAAC,CAAU,EAAE,IAAiB;IACxD,SAAS,CAAC,CAAC,CAAC,CAAC;IACb,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,qBAAqB,CAAC,CAAC,MAAM,uBAAuB,CAAC,CAAC;IACnI,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;QACD,KAAK,MAAM,OAAO,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,IAAI,EAAE,CAAC,EAAE,CAAC;YACnD,IAAI,CAAC,YAAY,CAAC,CAAC,EAAE,OAAO,EAAE,IAAI,CAAC;gBAAE,MAAM,IAAI,KAAK,CAAC,WAAW,CAAC,cAAc,OAAO,mCAAmC,CAAC,CAAC;QAC7H,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC"}

package/dist/src/packages.d.ts

@@ -0,0 +1,69 @@
+import { type Dictionary } from "./defs.ts";
+export type PackageInfo = {
+    name: string;
+    version: string;
+    owner: string;
+    line: number;
+    /** The language version it is written in (11.8), and the line that says so. */
+    crubal: number;
+    crubalLine: number;
+    extends: {
+        name: string;
+        version: string;
+        line: number;
+    }[];
+    prefixes: Map<string, {
+        target: string;
+        line: number;
+    }>;
+    trust: {
+        entry: string;
+        line: number;
+    }[];
+    dict: Dictionary;
+    contracts: string[];
+    /** The rest of the header (11.1), as written. */
+    header: {
+        [key: string]: string;
+    };
+    terms: {
+        [audience: string]: string;
+    };
+    /** The utilities the package declares (11.1, `utility:` blocks). */
+    utilities: Utility[];
+};
+/**
+ * A utility block (11.1): a named, versioned tool a platform mounts for the presets, relations or audiences
+ * it `serves`, the packages and utilities it `needs`, and the connections and settings a deployment must
+ * provide in `setup`. Read like any block; a reader that doesn't know it carries it unchanged (13.5).
+ */
+export type Utility = {
+    name: string;
+    version: string;
+    label?: string;
+    describe?: string;
+    /** `curator(ship, returns)` → `{ as: "curator", items: ["ship", "returns"] }`; `controller` → no items. */
+    serves: {
+        as: string;
+        items?: string[];
+        line: number;
+    }[];
+    /** Package identities (`domain/name`, optionally ` /version`) and bare utility names. */
+    needs: {
+        name: string;
+        version?: string;
+        line: number;
+    }[];
+    setup: ({
+        connection: string;
+        line: number;
+    } | {
+        setting: string;
+        line: number;
+    })[];
+    line: number;
+};
+/** 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[];