@ifc-lite/rules 0.2.0

package/dist/rule-set/between-chip.js

@@ -0,0 +1,95 @@
+/* This Source Code Form is subject to the terms of the Mozilla Public
+ * License, v. 2.0. If a copy of the MPL was not distributed with this
+ * file, You can obtain one at https://mozilla.org/MPL/2.0/. */
+export function isBetweenChip(row) {
+    return row.kind === 'between';
+}
+/** Same subject, ignoring op/value: what makes a `gte` and an `lte` rule
+ *  "the same range" rather than two unrelated bounds. `null` for rule
+ *  kinds that never fold (including every non-betweenable kind, which is
+ *  every kind besides the three above). */
+function subjectKey(rule) {
+    if (rule.kind === 'quantity')
+        return `quantity\u0000${rule.setName}\u0000${rule.quantityName}`;
+    if (rule.kind === 'property')
+        return `property\u0000${rule.setName}\u0000${rule.propertyName}`;
+    if (rule.kind === 'attribute')
+        return `attribute\u0000${rule.name}`;
+    return null;
+}
+function isBetweenable(rule) {
+    return rule.kind === 'property' || rule.kind === 'quantity' || rule.kind === 'attribute';
+}
+/**
+ * Merge `gte`/`lte` pairs on the identical subject into one `BetweenChip`,
+ * regardless of which one appears first. A subject with only a `gte`, only
+ * a `lte`, or more than one of either, is left as plain rules — folding
+ * only ever removes exactly two entries and adds exactly one, never
+ * guesses which of several candidates pairs with which.
+ *
+ * Pairing happens in a PASS OF ITS OWN, before anything is written to
+ * `out`: a single combined pass that pushed a `lte` immediately (because
+ * it isn't itself a `gte`) and only later discovered, at its `gte`
+ * partner's index, that the two pair up, would leave that `lte` in `out`
+ * TWICE — once as the plain rule already pushed, once folded inside the
+ * chip — so `[lte(300), gte(100)]` (partner before the `gte` that finds
+ * it) silently produced three rules on unfold instead of two. Deciding
+ * every pair up front means the emitting pass never has to un-push
+ * something it already committed.
+ */
+export function foldBetweenPairs(rules) {
+    const consumed = new Set();
+    // gte index -> lte index, in both directions, so the emitting pass can
+    // look a consumed index up either way and always find its partner.
+    const partnerOf = new Map();
+    for (let i = 0; i < rules.length; i += 1) {
+        const rule = rules[i];
+        if (consumed.has(i) || !isBetweenable(rule) || rule.op !== 'gte')
+            continue;
+        const key = subjectKey(rule);
+        const partnerIndex = rules.findIndex((candidate, j) => j !== i &&
+            !consumed.has(j) &&
+            isBetweenable(candidate) &&
+            candidate.op === 'lte' &&
+            subjectKey(candidate) === key);
+        if (partnerIndex >= 0) {
+            consumed.add(i);
+            consumed.add(partnerIndex);
+            partnerOf.set(i, partnerIndex);
+            partnerOf.set(partnerIndex, i);
+        }
+    }
+    const out = [];
+    const emitted = new Set();
+    for (let i = 0; i < rules.length; i += 1) {
+        if (!consumed.has(i)) {
+            out.push(rules[i]);
+            continue;
+        }
+        if (emitted.has(i))
+            continue; // the chip already went out at its partner's index
+        const partnerIndex = partnerOf.get(i);
+        emitted.add(i);
+        emitted.add(partnerIndex);
+        const gteIndex = rules[i].op === 'gte' ? i : partnerIndex;
+        const lteIndex = gteIndex === i ? partnerIndex : i;
+        out.push({ kind: 'between', min: rules[gteIndex], max: rules[lteIndex] });
+    }
+    return out;
+}
+/** Reverses `foldBetweenPairs`: every `BetweenChip` becomes its `min`
+ *  (`gte`) rule followed by its `max` (`lte`) rule — the exact shape
+ *  `rule-set-io.ts` persists. */
+export function unfoldBetweenChips(rows) {
+    const out = [];
+    for (const row of rows) {
+        if (isBetweenChip(row)) {
+            out.push(row.min, row.max);
+        }
+        else {
+            out.push(row);
+        }
+    }
+    return out;
+}
+//# sourceMappingURL=between-chip.js.map

package/dist/rule-set/between-chip.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"between-chip.js","sourceRoot":"","sources":["../../src/rule-set/between-chip.ts"],"names":[],"mappings":"AAAA;;+DAE+D;AAkC/D,MAAM,UAAU,aAAa,CAAC,GAAe;IAC3C,OAAO,GAAG,CAAC,IAAI,KAAK,SAAS,CAAC;AAChC,CAAC;AAED;;;2CAG2C;AAC3C,SAAS,UAAU,CAAC,IAAgB;IAClC,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU;QAAE,OAAO,iBAAiB,IAAI,CAAC,OAAO,SAAS,IAAI,CAAC,YAAY,EAAE,CAAC;IAC/F,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU;QAAE,OAAO,iBAAiB,IAAI,CAAC,OAAO,SAAS,IAAI,CAAC,YAAY,EAAE,CAAC;IAC/F,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW;QAAE,OAAO,kBAAkB,IAAI,CAAC,IAAI,EAAE,CAAC;IACpE,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,aAAa,CAAC,IAAgB;IACrC,OAAO,IAAI,CAAC,IAAI,KAAK,UAAU,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,CAAC;AAC3F,CAAC;AAED;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,UAAU,gBAAgB,CAAC,KAA4B;IAC3D,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;IACnC,uEAAuE;IACvE,mEAAmE;IACnE,MAAM,SAAS,GAAG,IAAI,GAAG,EAAkB,CAAC;IAE5C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QACzC,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;QACtB,IAAI,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,EAAE,KAAK,KAAK;YAAE,SAAS;QAC3E,MAAM,GAAG,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC;QAC7B,MAAM,YAAY,GAAG,KAAK,CAAC,SAAS,CAClC,CAAC,SAAS,EAAE,CAAC,EAAE,EAAE,CACf,CAAC,KAAK,CAAC;YACP,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC;YAChB,aAAa,CAAC,SAAS,CAAC;YACxB,SAAS,CAAC,EAAE,KAAK,KAAK;YACtB,UAAU,CAAC,SAAS,CAAC,KAAK,GAAG,CAChC,CAAC;QACF,IAAI,YAAY,IAAI,CAAC,EAAE,CAAC;YACtB,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YAChB,QAAQ,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;YAC3B,SAAS,CAAC,GAAG,CAAC,CAAC,EAAE,YAAY,CAAC,CAAC;YAC/B,SAAS,CAAC,GAAG,CAAC,YAAY,EAAE,CAAC,CAAC,CAAC;QACjC,CAAC;IACH,CAAC;IAED,MAAM,GAAG,GAAiB,EAAE,CAAC;IAC7B,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QACzC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;YACrB,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;YACnB,SAAS;QACX,CAAC;QACD,IAAI,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC;YAAE,SAAS,CAAC,mDAAmD;QACjF,MAAM,YAAY,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,CAAW,CAAC;QAChD,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACf,OAAO,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;QAC1B,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC;QAC1D,MAAM,QAAQ,GAAG,QAAQ,KAAK,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC;QACnD,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE,KAAK,CAAC,QAAQ,CAAgB,EAAE,GAAG,EAAE,KAAK,CAAC,QAAQ,CAAgB,EAAE,CAAC,CAAC;IAC1G,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;iCAEiC;AACjC,MAAM,UAAU,kBAAkB,CAAC,IAA2B;IAC5D,MAAM,GAAG,GAAiB,EAAE,CAAC;IAC7B,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACvB,IAAI,aAAa,CAAC,GAAG,CAAC,EAAE,CAAC;YACvB,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC;QAC7B,CAAC;aAAM,CAAC;YACN,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAChB,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC"}

package/dist/rule-set/requirement-invariants.d.ts

@@ -0,0 +1,25 @@
+/**
+ * The subject invariants a `Requirement` must satisfy whichever authoring
+ * path produced it (#5182). The JSON parser (`rule-set-io-requirement.ts`)
+ * and the text parser (`requirement-text.ts`) both build requirements from
+ * user input and must refuse the same shapes before `rule-engine-sets.ts`
+ * sees them. Otherwise the text path accepts what the JSON path rejects, and
+ * the difference only shows up at evaluation time.
+ *
+ * Each check returns a plain message (no `where`/position prefix) rather than
+ * throwing, so each caller wraps it in its own error type: the JSON path's
+ * `fail()` wants a `${where}: ` prefix, the text path's `TextError` wants
+ * none.
+ */
+import type { AggregateRequirement, Subject } from './rule-set.js';
+/** An `aggregate` needs a subject unless `fn` is `count`, and a numeric `fn`
+ *  needs a single-valued one: summing a list of material names has no
+ *  numeric meaning. Returns the violation, or `undefined`. */
+export declare function checkAggregateSubject(fn: AggregateRequirement['fn'], subject: Subject | undefined): string | undefined;
+/** Both sides of a `compare` must be single-valued. Returns the first
+ *  offending side and its message, or `undefined`. */
+export declare function checkCompareSubjects(left: Subject, right: Subject): {
+    side: 'left' | 'right';
+    message: string;
+} | undefined;
+//# sourceMappingURL=requirement-invariants.d.ts.map

package/dist/rule-set/requirement-invariants.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"requirement-invariants.d.ts","sourceRoot":"","sources":["../../src/rule-set/requirement-invariants.ts"],"names":[],"mappings":"AAIA;;;;;;;;;;;;GAYG;AACH,OAAO,KAAK,EAAE,oBAAoB,EAAE,OAAO,EAAE,MAAM,eAAe,CAAC;AAGnE;;8DAE8D;AAC9D,wBAAgB,qBAAqB,CAAC,EAAE,EAAE,oBAAoB,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,OAAO,GAAG,SAAS,GAAG,MAAM,GAAG,SAAS,CAStH;AAED;sDACsD;AACtD,wBAAgB,oBAAoB,CAClC,IAAI,EAAE,OAAO,EACb,KAAK,EAAE,OAAO,GACb;IAAE,IAAI,EAAE,MAAM,GAAG,OAAO,CAAC;IAAC,OAAO,EAAE,MAAM,CAAA;CAAE,GAAG,SAAS,CAOzD"}

package/dist/rule-set/requirement-invariants.js

@@ -0,0 +1,29 @@
+/* This Source Code Form is subject to the terms of the Mozilla Public
+ * License, v. 2.0. If a copy of the MPL was not distributed with this
+ * file, You can obtain one at https://mozilla.org/MPL/2.0/. */
+import { isSingleValuedSubject } from './rule-set-io-subject.js';
+/** An `aggregate` needs a subject unless `fn` is `count`, and a numeric `fn`
+ *  needs a single-valued one: summing a list of material names has no
+ *  numeric meaning. Returns the violation, or `undefined`. */
+export function checkAggregateSubject(fn, subject) {
+    if (subject === undefined) {
+        if (fn !== 'count')
+            return `"subject" is required unless fn is "count"`;
+        return undefined;
+    }
+    if (fn !== 'count' && !isSingleValuedSubject(subject)) {
+        return `"${fn}" needs a single-valued subject, "${subject.kind}" is multi-valued`;
+    }
+    return undefined;
+}
+/** Both sides of a `compare` must be single-valued. Returns the first
+ *  offending side and its message, or `undefined`. */
+export function checkCompareSubjects(left, right) {
+    for (const [side, subject] of [['left', left], ['right', right]]) {
+        if (!isSingleValuedSubject(subject)) {
+            return { side, message: `"compare" needs a single-valued subject, "${subject.kind}" is multi-valued` };
+        }
+    }
+    return undefined;
+}
+//# sourceMappingURL=requirement-invariants.js.map

package/dist/rule-set/requirement-invariants.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"requirement-invariants.js","sourceRoot":"","sources":["../../src/rule-set/requirement-invariants.ts"],"names":[],"mappings":"AAAA;;+DAE+D;AAgB/D,OAAO,EAAE,qBAAqB,EAAE,MAAM,0BAA0B,CAAC;AAEjE;;8DAE8D;AAC9D,MAAM,UAAU,qBAAqB,CAAC,EAA8B,EAAE,OAA4B;IAChG,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;QAC1B,IAAI,EAAE,KAAK,OAAO;YAAE,OAAO,4CAA4C,CAAC;QACxE,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,IAAI,EAAE,KAAK,OAAO,IAAI,CAAC,qBAAqB,CAAC,OAAO,CAAC,EAAE,CAAC;QACtD,OAAO,IAAI,EAAE,qCAAqC,OAAO,CAAC,IAAI,mBAAmB,CAAC;IACpF,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED;sDACsD;AACtD,MAAM,UAAU,oBAAoB,CAClC,IAAa,EACb,KAAc;IAEd,KAAK,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,CAAC,OAAO,EAAE,KAAK,CAAC,CAAU,EAAE,CAAC;QAC1E,IAAI,CAAC,qBAAqB,CAAC,OAAO,CAAC,EAAE,CAAC;YACpC,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,6CAA6C,OAAO,CAAC,IAAI,mBAAmB,EAAE,CAAC;QACzG,CAAC;IACH,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC"}

package/dist/rule-set/requirement-text.d.ts

@@ -0,0 +1,20 @@
+/**
+ * Text form for `unique`/`aggregate`/`compare` requirements (#5138 §6):
+ * `unique(Name)`, `count() >= 1 by parent`, `sum(Qto_X.NetFloorArea) > 300`,
+ * `Pset_X.End > Pset_X.Start date`. NOT IfcOpenShell selector syntax — a
+ * small recursive-descent grammar apart from `packages/query`/
+ * `selector-to-rules.ts`. `element` requirements are out of scope here.
+ */
+import type { UniqueRequirement, AggregateRequirement, CompareRequirement } from './rule-set.js';
+export type TextRequirement = UniqueRequirement | AggregateRequirement | CompareRequirement;
+export type RequirementTextResult = {
+    ok: true;
+    requirement: TextRequirement;
+} | {
+    ok: false;
+    error: string;
+};
+export declare function requirementToText(req: TextRequirement): string;
+/** Parses one requirement-text line; a bad token comes back as `{ ok: false, error }`. */
+export declare function parseRequirementText(text: string): RequirementTextResult;
+//# sourceMappingURL=requirement-text.d.ts.map

package/dist/rule-set/requirement-text.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"requirement-text.d.ts","sourceRoot":"","sources":["../../src/rule-set/requirement-text.ts"],"names":[],"mappings":"AAIA;;;;;;GAMG;AACH,OAAO,KAAK,EAAW,iBAAiB,EAAE,oBAAoB,EAAE,kBAAkB,EAAE,MAAM,eAAe,CAAC;AAI1G,MAAM,MAAM,eAAe,GAAG,iBAAiB,GAAG,oBAAoB,GAAG,kBAAkB,CAAC;AAC5F,MAAM,MAAM,qBAAqB,GAAG;IAAE,EAAE,EAAE,IAAI,CAAC;IAAC,WAAW,EAAE,eAAe,CAAA;CAAE,GAAG;IAAE,EAAE,EAAE,KAAK,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAE,CAAC;AAoB9G,wBAAgB,iBAAiB,CAAC,GAAG,EAAE,eAAe,GAAG,MAAM,CAW9D;AA0GD,0FAA0F;AAC1F,wBAAgB,oBAAoB,CAAC,IAAI,EAAE,MAAM,GAAG,qBAAqB,CAUxE"}

package/dist/rule-set/requirement-text.js

@@ -0,0 +1,179 @@
+/* This Source Code Form is subject to the terms of the Mozilla Public
+ * License, v. 2.0. If a copy of the MPL was not distributed with this
+ * file, You can obtain one at https://mozilla.org/MPL/2.0/. */
+import { checkAggregateSubject, checkCompareSubjects } from './requirement-invariants.js';
+const BARE_KINDS = {
+    Name: 'name', type: 'type', parent: 'parent', storey: 'storey',
+    material: 'material', globalId: 'globalId', predefinedType: 'predefinedType', ifcType: 'ifcType',
+};
+const OP_TEXT = { eq: '=', ne: '!=', gt: '>', gte: '>=', lt: '<', lte: '<=' };
+const TEXT_OP = { '=': 'eq', '!=': 'ne', '>=': 'gte', '<=': 'lte', '>': 'gt', '<': 'lt' };
+const quoted = (name) => (/^[^\s."()>=<!]+$/.test(name) ? name : `"${name}"`);
+function subjectToText(s) {
+    if (s.kind === 'attribute')
+        return quoted(s.name);
+    if (s.kind === 'property')
+        return `${quoted(s.setName)}.${quoted(s.propertyName)}`;
+    if (s.kind === 'quantity')
+        return `${quoted(s.setName)}.${quoted(s.quantityName)}`;
+    // System-scoped classification has no text spelling (kept out of this
+    // ~20-line grammar per plan §6); `system` is dropped, never guessed back.
+    if (s.kind === 'classification')
+        return 'classification';
+    // Likewise a class-scoped group (#5226): `group` is any group.
+    if (s.kind === 'group')
+        return 'group';
+    return Object.entries(BARE_KINDS).find(([, kind]) => kind === s.kind)?.[0] ?? s.kind;
+}
+export function requirementToText(req) {
+    if (req.kind === 'unique') {
+        return `unique(${subjectToText(req.subject)})${req.scope === 'perModel' ? ' perModel' : ''}`;
+    }
+    if (req.kind === 'aggregate') {
+        const subject = req.subject ? subjectToText(req.subject) : '';
+        const by = req.groupBy ? ` by ${subjectToText(req.groupBy.subject)}` : '';
+        return `${req.fn}(${subject}) ${OP_TEXT[req.op]} ${req.value}${by}`;
+    }
+    const date = req.valueType === 'date' ? ' date' : '';
+    return `${subjectToText(req.left)} ${OP_TEXT[req.op]} ${subjectToText(req.right)}${date}`;
+}
+// Parser below: index-based, no token array. Every failure throws `TextError`,
+// caught once in `parseRequirementText`.
+class TextError extends Error {
+}
+/** A quoted string, or a run of non-punctuation chars. */
+function readSegment(s, i) {
+    if (s[i] === '"') {
+        const end = s.indexOf('"', i + 1);
+        if (end < 0)
+            throw new TextError(`unterminated quote at ${JSON.stringify(s.slice(i))}`);
+        return [s.slice(i + 1, end), end + 1];
+    }
+    const m = /^[^\s."()>=<!]+/.exec(s.slice(i));
+    if (!m)
+        throw new TextError(`expected a name at ${JSON.stringify(s.slice(i))}`);
+    return [m[0], i + m[0].length];
+}
+function skipWs(s, i) {
+    while (s[i] === ' ')
+        i += 1;
+    return i;
+}
+function parseSubject(s, i) {
+    i = skipWs(s, i);
+    const [seg, j] = readSegment(s, i);
+    if (s[j] === '.') {
+        const [seg2, k] = readSegment(s, j + 1);
+        // `Qto_…` names the QUANTITY table (selector adapter's `looksLikeQuantitySet`).
+        const subject = seg.startsWith('Qto_')
+            ? { kind: 'quantity', setName: seg, quantityName: seg2 }
+            : { kind: 'property', setName: seg, propertyName: seg2 };
+        return [subject, k];
+    }
+    if (seg in BARE_KINDS)
+        return [{ kind: BARE_KINDS[seg] }, j];
+    if (seg === 'classification')
+        return [{ kind: 'classification' }, j];
+    if (seg === 'group')
+        return [{ kind: 'group' }, j];
+    return [{ kind: 'attribute', name: seg }, j];
+}
+function parseOp(s, i) {
+    i = skipWs(s, i);
+    const two = s.slice(i, i + 2);
+    if (two === '>=' || two === '<=' || two === '!=')
+        return [TEXT_OP[two], i + 2];
+    const one = s[i];
+    if (one === '=' || one === '>' || one === '<')
+        return [TEXT_OP[one], i + 1];
+    throw new TextError(`expected an operator at ${JSON.stringify(s.slice(i))}`);
+}
+function parseNumber(s, i) {
+    i = skipWs(s, i);
+    const m = /^-?\d+(\.\d+)?/.exec(s.slice(i));
+    if (!m)
+        throw new TextError(`expected a number at ${JSON.stringify(s.slice(i))}`);
+    return [Number.parseFloat(m[0]), i + m[0].length];
+}
+function parenSpan(s, fn) {
+    const open = s.indexOf('(');
+    const close = s.indexOf(')', open);
+    if (open < 0 || close < 0)
+        throw new TextError(`expected "${fn}(...)" in ${JSON.stringify(s)}`);
+    return [open, close];
+}
+/** The whole `(...)` body must be one subject — `sum(Foo Bar)` used to parse
+ *  `Foo` and silently drop `Bar` (review on #5144). */
+function parseParenSubject(s, open, close) {
+    const [subject, end] = parseSubject(s, open + 1);
+    const leftover = s.slice(end, close).trim();
+    if (leftover !== '')
+        throw new TextError(`unexpected ${JSON.stringify(leftover)} inside the parentheses`);
+    return subject;
+}
+function parseUnique(s) {
+    const [open, close] = parenSpan(s, 'unique');
+    const subject = parseParenSubject(s, open, close);
+    const rest = s.slice(close + 1).trim();
+    if (rest === '')
+        return { kind: 'unique', subject };
+    if (rest === 'perModel')
+        return { kind: 'unique', subject, scope: 'perModel' };
+    throw new TextError(`unexpected trailing text ${JSON.stringify(rest)}`);
+}
+function parseAggregate(s, fn) {
+    const [open, close] = parenSpan(s, fn);
+    const inner = s.slice(open + 1, close).trim();
+    const subject = inner === '' ? undefined : parseParenSubject(s, open, close);
+    // Shared with the JSON parser (#5182) — same two invariants, same
+    // wording, checked before the requirement is returned so the text and
+    // JSON authoring paths can't drift on what they accept.
+    const subjectError = checkAggregateSubject(fn, subject);
+    if (subjectError)
+        throw new TextError(subjectError);
+    const [op, afterOp] = parseOp(s, close + 1);
+    const [value, afterValue] = parseNumber(s, afterOp);
+    let i = afterValue;
+    let groupBy;
+    const byMatch = /^\s*by\s+/.exec(s.slice(i));
+    if (byMatch) {
+        i += byMatch[0].length;
+        const [gs, j] = parseSubject(s, i);
+        groupBy = { subject: gs };
+        i = j;
+    }
+    const trailing = s.slice(i).trim();
+    if (trailing !== '')
+        throw new TextError(`unexpected trailing text ${JSON.stringify(trailing)}`);
+    return { kind: 'aggregate', fn, ...(subject ? { subject } : {}), ...(groupBy ? { groupBy } : {}), op, value };
+}
+function parseCompare(s) {
+    const [left, afterLeft] = parseSubject(s, 0);
+    const [op, afterOp] = parseOp(s, afterLeft);
+    const [right, afterRight] = parseSubject(s, afterOp);
+    const sideError = checkCompareSubjects(left, right);
+    if (sideError)
+        throw new TextError(`${sideError.side}: ${sideError.message}`);
+    const trailing = s.slice(afterRight).trim();
+    if (trailing === '')
+        return { kind: 'compare', left, right, op };
+    if (trailing === 'date')
+        return { kind: 'compare', left, right, op, valueType: 'date' };
+    throw new TextError(`unexpected trailing text ${JSON.stringify(trailing)}`);
+}
+/** Parses one requirement-text line; a bad token comes back as `{ ok: false, error }`. */
+export function parseRequirementText(text) {
+    const s = text.trim();
+    try {
+        if (s.startsWith('unique('))
+            return { ok: true, requirement: parseUnique(s) };
+        const fn = /^(count|sum|min|max|avg)\s*\(/.exec(s);
+        if (fn)
+            return { ok: true, requirement: parseAggregate(s, fn[1]) };
+        return { ok: true, requirement: parseCompare(s) };
+    }
+    catch (err) {
+        return { ok: false, error: err instanceof TextError ? err.message : `Failed to parse: ${err.message}` };
+    }
+}
+//# sourceMappingURL=requirement-text.js.map

package/dist/rule-set/requirement-text.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"requirement-text.js","sourceRoot":"","sources":["../../src/rule-set/requirement-text.ts"],"names":[],"mappings":"AAAA;;+DAE+D;AAW/D,OAAO,EAAE,qBAAqB,EAAE,oBAAoB,EAAE,MAAM,6BAA6B,CAAC;AAK1F,MAAM,UAAU,GAAoC;IAClD,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,QAAQ;IAC9D,QAAQ,EAAE,UAAU,EAAE,QAAQ,EAAE,UAAU,EAAE,cAAc,EAAE,gBAAgB,EAAE,OAAO,EAAE,SAAS;CACjG,CAAC;AACF,MAAM,OAAO,GAA8B,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC;AACzG,MAAM,OAAO,GAA8B,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC;AACrH,MAAM,MAAM,GAAG,CAAC,IAAY,EAAU,EAAE,CAAC,CAAC,kBAAkB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,IAAI,GAAG,CAAC,CAAC;AAC9F,SAAS,aAAa,CAAC,CAAU;IAC/B,IAAI,CAAC,CAAC,IAAI,KAAK,WAAW;QAAE,OAAO,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IAClD,IAAI,CAAC,CAAC,IAAI,KAAK,UAAU;QAAE,OAAO,GAAG,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,YAAY,CAAC,EAAE,CAAC;IACnF,IAAI,CAAC,CAAC,IAAI,KAAK,UAAU;QAAE,OAAO,GAAG,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,YAAY,CAAC,EAAE,CAAC;IACnF,sEAAsE;IACtE,0EAA0E;IAC1E,IAAI,CAAC,CAAC,IAAI,KAAK,gBAAgB;QAAE,OAAO,gBAAgB,CAAC;IACzD,+DAA+D;IAC/D,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO;QAAE,OAAO,OAAO,CAAC;IACvC,OAAO,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC;AACvF,CAAC;AACD,MAAM,UAAU,iBAAiB,CAAC,GAAoB;IACpD,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC1B,OAAO,UAAU,aAAa,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,GAAG,CAAC,KAAK,KAAK,UAAU,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;IAC/F,CAAC;IACD,IAAI,GAAG,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAC7B,MAAM,OAAO,GAAG,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,aAAa,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAC9D,MAAM,EAAE,GAAG,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,aAAa,CAAC,GAAG,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC1E,OAAO,GAAG,GAAG,CAAC,EAAE,IAAI,OAAO,KAAK,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,GAAG,CAAC,KAAK,GAAG,EAAE,EAAE,CAAC;IACtE,CAAC;IACD,MAAM,IAAI,GAAG,GAAG,CAAC,SAAS,KAAK,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;IACrD,OAAO,GAAG,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,aAAa,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,IAAI,EAAE,CAAC;AAC5F,CAAC;AACD,+EAA+E;AAC/E,yCAAyC;AACzC,MAAM,SAAU,SAAQ,KAAK;CAAG;AAChC,0DAA0D;AAC1D,SAAS,WAAW,CAAC,CAAS,EAAE,CAAS;IACvC,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;QACjB,MAAM,GAAG,GAAG,CAAC,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;QAClC,IAAI,GAAG,GAAG,CAAC;YAAE,MAAM,IAAI,SAAS,CAAC,yBAAyB,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACxF,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,EAAE,GAAG,GAAG,CAAC,CAAC,CAAC;IACxC,CAAC;IACD,MAAM,CAAC,GAAG,iBAAiB,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;IAC7C,IAAI,CAAC,CAAC;QAAE,MAAM,IAAI,SAAS,CAAC,sBAAsB,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IAChF,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;AACjC,CAAC;AACD,SAAS,MAAM,CAAC,CAAS,EAAE,CAAS;IAClC,OAAO,CAAC,CAAC,CAAC,CAAC,KAAK,GAAG;QAAE,CAAC,IAAI,CAAC,CAAC;IAC5B,OAAO,CAAC,CAAC;AACX,CAAC;AACD,SAAS,YAAY,CAAC,CAAS,EAAE,CAAS;IACxC,CAAC,GAAG,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACjB,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,GAAG,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACnC,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;QACjB,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,GAAG,WAAW,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;QACxC,gFAAgF;QAChF,MAAM,OAAO,GAAY,GAAG,CAAC,UAAU,CAAC,MAAM,CAAC;YAC7C,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,OAAO,EAAE,GAAG,EAAE,YAAY,EAAE,IAAI,EAAE;YACxD,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,OAAO,EAAE,GAAG,EAAE,YAAY,EAAE,IAAI,EAAE,CAAC;QAC3D,OAAO,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;IACtB,CAAC;IACD,IAAI,GAAG,IAAI,UAAU;QAAE,OAAO,CAAC,EAAE,IAAI,EAAE,UAAU,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;IAC7D,IAAI,GAAG,KAAK,gBAAgB;QAAE,OAAO,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,EAAE,CAAC,CAAC,CAAC;IACrE,IAAI,GAAG,KAAK,OAAO;QAAE,OAAO,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,CAAC,CAAC,CAAC;IACnD,OAAO,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC;AAC/C,CAAC;AACD,SAAS,OAAO,CAAC,CAAS,EAAE,CAAS;IACnC,CAAC,GAAG,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACjB,MAAM,GAAG,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IAC9B,IAAI,GAAG,KAAK,IAAI,IAAI,GAAG,KAAK,IAAI,IAAI,GAAG,KAAK,IAAI;QAAE,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IAC/E,MAAM,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IACjB,IAAI,GAAG,KAAK,GAAG,IAAI,GAAG,KAAK,GAAG,IAAI,GAAG,KAAK,GAAG;QAAE,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IAC5E,MAAM,IAAI,SAAS,CAAC,2BAA2B,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;AAC/E,CAAC;AACD,SAAS,WAAW,CAAC,CAAS,EAAE,CAAS;IACvC,CAAC,GAAG,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACjB,MAAM,CAAC,GAAG,gBAAgB,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;IAC5C,IAAI,CAAC,CAAC;QAAE,MAAM,IAAI,SAAS,CAAC,wBAAwB,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IAClF,OAAO,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;AACpD,CAAC;AACD,SAAS,SAAS,CAAC,CAAS,EAAE,EAAU;IACtC,MAAM,IAAI,GAAG,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;IAC5B,MAAM,KAAK,GAAG,CAAC,CAAC,OAAO,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;IACnC,IAAI,IAAI,GAAG,CAAC,IAAI,KAAK,GAAG,CAAC;QAAE,MAAM,IAAI,SAAS,CAAC,aAAa,EAAE,aAAa,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IAChG,OAAO,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;AACvB,CAAC;AACD;uDACuD;AACvD,SAAS,iBAAiB,CAAC,CAAS,EAAE,IAAY,EAAE,KAAa;IAC/D,MAAM,CAAC,OAAO,EAAE,GAAG,CAAC,GAAG,YAAY,CAAC,CAAC,EAAE,IAAI,GAAG,CAAC,CAAC,CAAC;IACjD,MAAM,QAAQ,GAAG,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC;IAC5C,IAAI,QAAQ,KAAK,EAAE;QAAE,MAAM,IAAI,SAAS,CAAC,cAAc,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,yBAAyB,CAAC,CAAC;IAC1G,OAAO,OAAO,CAAC;AACjB,CAAC;AACD,SAAS,WAAW,CAAC,CAAS;IAC5B,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,GAAG,SAAS,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC;IAC7C,MAAM,OAAO,GAAG,iBAAiB,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;IAClD,MAAM,IAAI,GAAG,CAAC,CAAC,KAAK,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IACvC,IAAI,IAAI,KAAK,EAAE;QAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAC;IACpD,IAAI,IAAI,KAAK,UAAU;QAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,KAAK,EAAE,UAAU,EAAE,CAAC;IAC/E,MAAM,IAAI,SAAS,CAAC,4BAA4B,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;AAC1E,CAAC;AACD,SAAS,cAAc,CAAC,CAAS,EAAE,EAA8B;IAC/D,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,GAAG,SAAS,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IACvC,MAAM,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,IAAI,GAAG,CAAC,EAAE,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC;IAC9C,MAAM,OAAO,GAAG,KAAK,KAAK,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;IAC7E,kEAAkE;IAClE,sEAAsE;IACtE,wDAAwD;IACxD,MAAM,YAAY,GAAG,qBAAqB,CAAC,EAAE,EAAE,OAAO,CAAC,CAAC;IACxD,IAAI,YAAY;QAAE,MAAM,IAAI,SAAS,CAAC,YAAY,CAAC,CAAC;IACpD,MAAM,CAAC,EAAE,EAAE,OAAO,CAAC,GAAG,OAAO,CAAC,CAAC,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;IAC5C,MAAM,CAAC,KAAK,EAAE,UAAU,CAAC,GAAG,WAAW,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;IACpD,IAAI,CAAC,GAAG,UAAU,CAAC;IACnB,IAAI,OAAwC,CAAC;IAC7C,MAAM,OAAO,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;IAC7C,IAAI,OAAO,EAAE,CAAC;QACZ,CAAC,IAAI,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;QACvB,MAAM,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,YAAY,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACnC,OAAO,GAAG,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC;QAC1B,CAAC,GAAG,CAAC,CAAC;IACR,CAAC;IACD,MAAM,QAAQ,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IACnC,IAAI,QAAQ,KAAK,EAAE;QAAE,MAAM,IAAI,SAAS,CAAC,4BAA4B,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;IACjG,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,EAAE,EAAE,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC;AAChH,CAAC;AACD,SAAS,YAAY,CAAC,CAAS;IAC7B,MAAM,CAAC,IAAI,EAAE,SAAS,CAAC,GAAG,YAAY,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAC7C,MAAM,CAAC,EAAE,EAAE,OAAO,CAAC,GAAG,OAAO,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC;IAC5C,MAAM,CAAC,KAAK,EAAE,UAAU,CAAC,GAAG,YAAY,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;IACrD,MAAM,SAAS,GAAG,oBAAoB,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IACpD,IAAI,SAAS;QAAE,MAAM,IAAI,SAAS,CAAC,GAAG,SAAS,CAAC,IAAI,KAAK,SAAS,CAAC,OAAO,EAAE,CAAC,CAAC;IAC9E,MAAM,QAAQ,GAAG,CAAC,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,IAAI,EAAE,CAAC;IAC5C,IAAI,QAAQ,KAAK,EAAE;QAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC;IACjE,IAAI,QAAQ,KAAK,MAAM;QAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC;IACxF,MAAM,IAAI,SAAS,CAAC,4BAA4B,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;AAC9E,CAAC;AACD,0FAA0F;AAC1F,MAAM,UAAU,oBAAoB,CAAC,IAAY;IAC/C,MAAM,CAAC,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;IACtB,IAAI,CAAC;QACH,IAAI,CAAC,CAAC,UAAU,CAAC,SAAS,CAAC;YAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,WAAW,CAAC,CAAC,CAAC,EAAE,CAAC;QAC9E,MAAM,EAAE,GAAG,+BAA+B,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACnD,IAAI,EAAE;YAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,cAAc,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAA+B,CAAC,EAAE,CAAC;QACjG,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,YAAY,CAAC,CAAC,CAAC,EAAE,CAAC;IACpD,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,YAAY,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,oBAAqB,GAAa,CAAC,OAAO,EAAE,EAAE,CAAC;IACrH,CAAC;AACH,CAAC"}

package/dist/rule-set/rule-set-io-requirement.d.ts

@@ -0,0 +1,22 @@
+/**
+ * `RuleBlock`/`Requirement` parsing for `.rules.json` files (#5138). Split
+ * out of `rule-set-io.ts` to stay under the module-size cap.
+ */
+import type { RuleBlock, Requirement } from './rule-set.js';
+import type { FilterRule } from '../filter/filter-rules.js';
+/** Kinds a `requirement: { kind: 'element' }` block may filter on — the
+ *  issue's nine operators, per-element only. `model`/`modelTag`/`storey`/
+ *  `globalId`/`elevation` scope WHICH elements to check, they are not
+ *  themselves checkable facts, so they belong in `applicability` only. */
+/** Exported so the rule editor (#5138 PR 5, `validation/RuleBlockEditor.tsx`)
+ *  can restrict its "Add rule" menu to exactly what this parser accepts —
+ *  one list, not a second copy that could drift. */
+export declare const ELEMENT_REQUIREMENT_KINDS: ReadonlySet<FilterRule['kind']>;
+/** Parses a `RuleBlock`, restricting which `FilterRule` kinds may appear.
+ *  Pass `null` for applicability/`groupBy.universe` (same vocabulary a saved
+ *  search filter allows, minus `elevation`/ref-carrying `storey`, checked
+ *  unconditionally below); pass `ELEMENT_REQUIREMENT_KINDS` for an
+ *  `element` requirement's block. */
+export declare function parseRuleBlock(raw: unknown, where: string, allowedKinds: ReadonlySet<FilterRule['kind']> | null): RuleBlock;
+export declare function parseRequirement(raw: unknown, where: string): Requirement;
+//# sourceMappingURL=rule-set-io-requirement.d.ts.map

package/dist/rule-set/rule-set-io-requirement.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"rule-set-io-requirement.d.ts","sourceRoot":"","sources":["../../src/rule-set/rule-set-io-requirement.ts"],"names":[],"mappings":"AAIA;;;GAGG;AAEH,OAAO,KAAK,EAAE,SAAS,EAAE,WAAW,EAAyF,MAAM,eAAe,CAAC;AAEnJ,OAAO,KAAK,EAAE,UAAU,EAAa,MAAM,2BAA2B,CAAC;AAUvE;;;0EAG0E;AAC1E;;oDAEoD;AACpD,eAAO,MAAM,yBAAyB,EAAE,WAAW,CAAC,UAAU,CAAC,MAAM,CAAC,CAGpE,CAAC;AAEH;;;;qCAIqC;AACrC,wBAAgB,cAAc,CAAC,GAAG,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,YAAY,EAAE,WAAW,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,GAAG,IAAI,GAAG,SAAS,CAW3H;AAcD,wBAAgB,gBAAgB,CAAC,GAAG,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,GAAG,WAAW,CAczE"}

package/dist/rule-set/rule-set-io-requirement.js

@@ -0,0 +1,140 @@
+/* This Source Code Form is subject to the terms of the Mozilla Public
+ * License, v. 2.0. If a copy of the MPL was not distributed with this
+ * file, You can obtain one at https://mozilla.org/MPL/2.0/. */
+import { parseFilterGroups } from '../filter/filter-groups.js';
+import { fail, isPlainObject, unknownKeysOf, warnUnknownFields } from './rule-set-io-shared.js';
+import { parseSubject } from './rule-set-io-subject.js';
+import { checkAggregateSubject, checkCompareSubjects } from './requirement-invariants.js';
+const NUMERIC_OPS = new Set(['eq', 'ne', 'gt', 'gte', 'lt', 'lte']);
+const AGGREGATE_FNS = new Set(['count', 'sum', 'min', 'max', 'avg']);
+const AUTHORED_AS = new Set(['chips', 'selector']);
+const UNIQUE_SCOPES = new Set(['perModel', 'federation']);
+/** Kinds a `requirement: { kind: 'element' }` block may filter on — the
+ *  issue's nine operators, per-element only. `model`/`modelTag`/`storey`/
+ *  `globalId`/`elevation` scope WHICH elements to check, they are not
+ *  themselves checkable facts, so they belong in `applicability` only. */
+/** Exported so the rule editor (#5138 PR 5, `validation/RuleBlockEditor.tsx`)
+ *  can restrict its "Add rule" menu to exactly what this parser accepts —
+ *  one list, not a second copy that could drift. */
+export const ELEMENT_REQUIREMENT_KINDS = new Set([
+    'property', 'quantity', 'attribute', 'name', 'material', 'classification',
+    'type', 'parent', 'predefinedType', 'ifcType', 'group',
+]);
+/** Parses a `RuleBlock`, restricting which `FilterRule` kinds may appear.
+ *  Pass `null` for applicability/`groupBy.universe` (same vocabulary a saved
+ *  search filter allows, minus `elevation`/ref-carrying `storey`, checked
+ *  unconditionally below); pass `ELEMENT_REQUIREMENT_KINDS` for an
+ *  `element` requirement's block. */
+export function parseRuleBlock(raw, where, allowedKinds) {
+    if (!isPlainObject(raw))
+        fail(`${where}: must be an object`);
+    const b = raw;
+    const groups = parseFilterGroups(b.groups);
+    if (!groups)
+        fail(`${where}: "groups" is missing or unreadable`);
+    if (b.authoredAs !== undefined && !AUTHORED_AS.has(b.authoredAs))
+        fail(`${where}: bad "authoredAs"`);
+    for (const group of groups)
+        validateBlockRules(group, where, allowedKinds);
+    warnUnknownFields(where, unknownKeysOf(b, ['groups', 'authoredAs']));
+    return { groups, authoredAs: b.authoredAs ?? 'chips' };
+}
+function validateBlockRules(group, where, allowedKinds) {
+    for (const rule of group.rules) {
+        if (rule.kind === 'elevation')
+            fail(`${where}: "elevation" rules are not allowed (no aggregate meaning, plan §3)`);
+        if (rule.kind === 'storey' && 'refs' in rule && rule.refs) {
+            fail(`${where}: a storey rule with "refs" (local runtime ids) cannot be saved to a rule-set file`);
+        }
+        if (allowedKinds && !allowedKinds.has(rule.kind)) {
+            fail(`${where}: requirement rules may not use kind "${rule.kind}" (allowed: ${[...allowedKinds].join(', ')})`);
+        }
+    }
+}
+export function parseRequirement(raw, where) {
+    if (!isPlainObject(raw))
+        fail(`${where}: "requirement" must be an object`);
+    const r = raw;
+    const kind = r.kind;
+    if (kind === 'element') {
+        const block = parseRuleBlock(r.block, `${where}.block`, ELEMENT_REQUIREMENT_KINDS);
+        return { kind: 'element', block };
+    }
+    if (kind === 'unique')
+        return parseUniqueRequirement(r, where);
+    if (kind === 'aggregate')
+        return parseAggregateRequirement(r, where);
+    if (kind === 'compare')
+        return parseCompareRequirement(r, where);
+    if (kind === 'unit')
+        return parseUnitRequirement(r, where);
+    fail(`${where}: unrecognised requirement kind ${JSON.stringify(kind)}`);
+}
+function parseUniqueRequirement(r, where) {
+    const subject = parseSubject(r.subject, `${where}.subject`);
+    if (r.scope !== undefined && !UNIQUE_SCOPES.has(r.scope))
+        fail(`${where}: bad "scope"`);
+    return { kind: 'unique', subject, ...(r.scope !== undefined ? { scope: r.scope } : {}) };
+}
+function parseAggregateRequirement(r, where) {
+    if (typeof r.fn !== 'string' || !AGGREGATE_FNS.has(r.fn))
+        fail(`${where}: bad "fn"`);
+    const fn = r.fn;
+    let subject;
+    if (r.subject !== undefined) {
+        subject = parseSubject(r.subject, `${where}.subject`);
+    }
+    // Shared with the text parser (#5182) — a subject is required unless `fn`
+    // is `count`, and a present subject must be single-valued unless `fn` is
+    // `count` (multi-valued subjects like material/classification/parent only
+    // make sense as a bucketing key, not as something to sum/average).
+    const subjectError = checkAggregateSubject(fn, subject);
+    if (subjectError)
+        fail(`${where}: ${subjectError}`);
+    let groupBy;
+    if (r.groupBy !== undefined) {
+        if (!isPlainObject(r.groupBy))
+            fail(`${where}.groupBy: must be an object`);
+        const g = r.groupBy;
+        const groupSubject = parseSubject(g.subject, `${where}.groupBy.subject`);
+        const universe = g.universe !== undefined ? parseRuleBlock(g.universe, `${where}.groupBy.universe`, null) : undefined;
+        groupBy = { subject: groupSubject, ...(universe ? { universe } : {}) };
+    }
+    if (!NUMERIC_OPS.has(r.op))
+        fail(`${where}: bad "op"`);
+    if (typeof r.value !== 'number' || !Number.isFinite(r.value))
+        fail(`${where}: "value" must be a finite number`);
+    return {
+        kind: 'aggregate',
+        fn,
+        ...(subject ? { subject } : {}),
+        ...(groupBy ? { groupBy } : {}),
+        op: r.op,
+        value: r.value,
+    };
+}
+function parseCompareRequirement(r, where) {
+    const left = parseSubject(r.left, `${where}.left`);
+    const right = parseSubject(r.right, `${where}.right`);
+    const sideError = checkCompareSubjects(left, right);
+    if (sideError)
+        fail(`${where}.${sideError.side}: ${sideError.message}`);
+    if (!NUMERIC_OPS.has(r.op))
+        fail(`${where}: bad "op"`);
+    if (r.valueType !== undefined && r.valueType !== 'number' && r.valueType !== 'date')
+        fail(`${where}: bad "valueType"`);
+    return {
+        kind: 'compare', left, right, op: r.op,
+        ...(r.valueType !== undefined ? { valueType: r.valueType } : {}),
+    };
+}
+function parseUnitRequirement(r, where) {
+    const subject = parseSubject(r.subject, `${where}.subject`);
+    if (subject.kind !== 'property' && subject.kind !== 'quantity') {
+        fail(`${where}.subject: "unit" needs a property or quantity subject, not "${subject.kind}"`);
+    }
+    if (typeof r.unit !== 'string' || r.unit.trim().length === 0)
+        fail(`${where}: "unit" must be a non-empty string`);
+    return { kind: 'unit', subject, unit: r.unit.trim() };
+}
+//# sourceMappingURL=rule-set-io-requirement.js.map

package/dist/rule-set/rule-set-io-requirement.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"rule-set-io-requirement.js","sourceRoot":"","sources":["../../src/rule-set/rule-set-io-requirement.ts"],"names":[],"mappings":"AAAA;;+DAE+D;AAQ/D,OAAO,EAAE,iBAAiB,EAAoB,MAAM,4BAA4B,CAAC;AAEjF,OAAO,EAAE,IAAI,EAAE,aAAa,EAAE,aAAa,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAC;AAChG,OAAO,EAAE,YAAY,EAAE,MAAM,0BAA0B,CAAC;AACxD,OAAO,EAAE,qBAAqB,EAAE,oBAAoB,EAAE,MAAM,6BAA6B,CAAC;AAE1F,MAAM,WAAW,GAAwB,IAAI,GAAG,CAAY,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC;AACpG,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC,CAAC,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC;AACrE,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,CAAC,OAAO,EAAE,UAAU,CAAC,CAAC,CAAC;AACnD,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC,CAAC,UAAU,EAAE,YAAY,CAAC,CAAC,CAAC;AAE1D;;;0EAG0E;AAC1E;;oDAEoD;AACpD,MAAM,CAAC,MAAM,yBAAyB,GAAoC,IAAI,GAAG,CAAC;IAChF,UAAU,EAAE,UAAU,EAAE,WAAW,EAAE,MAAM,EAAE,UAAU,EAAE,gBAAgB;IACzE,MAAM,EAAE,QAAQ,EAAE,gBAAgB,EAAE,SAAS,EAAE,OAAO;CACvD,CAAC,CAAC;AAEH;;;;qCAIqC;AACrC,MAAM,UAAU,cAAc,CAAC,GAAY,EAAE,KAAa,EAAE,YAAoD;IAC9G,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC;QAAE,IAAI,CAAC,GAAG,KAAK,qBAAqB,CAAC,CAAC;IAC7D,MAAM,CAAC,GAAG,GAA8B,CAAC;IACzC,MAAM,MAAM,GAAG,iBAAiB,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;IAC3C,IAAI,CAAC,MAAM;QAAE,IAAI,CAAC,GAAG,KAAK,qCAAqC,CAAC,CAAC;IACjE,IAAI,CAAC,CAAC,UAAU,KAAK,SAAS,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,UAAoB,CAAC;QAAE,IAAI,CAAC,GAAG,KAAK,oBAAoB,CAAC,CAAC;IAE/G,KAAK,MAAM,KAAK,IAAI,MAAM;QAAE,kBAAkB,CAAC,KAAK,EAAE,KAAK,EAAE,YAAY,CAAC,CAAC;IAE3E,iBAAiB,CAAC,KAAK,EAAE,aAAa,CAAC,CAAC,EAAE,CAAC,QAAQ,EAAE,YAAY,CAAC,CAAC,CAAC,CAAC;IACrE,OAAO,EAAE,MAAM,EAAE,UAAU,EAAG,CAAC,CAAC,UAAsC,IAAI,OAAO,EAAE,CAAC;AACtF,CAAC;AAED,SAAS,kBAAkB,CAAC,KAAkB,EAAE,KAAa,EAAE,YAAoD;IACjH,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;QAC/B,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW;YAAE,IAAI,CAAC,GAAG,KAAK,qEAAqE,CAAC,CAAC;QACnH,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,MAAM,IAAI,IAAI,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;YAC1D,IAAI,CAAC,GAAG,KAAK,oFAAoF,CAAC,CAAC;QACrG,CAAC;QACD,IAAI,YAAY,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YACjD,IAAI,CAAC,GAAG,KAAK,yCAAyC,IAAI,CAAC,IAAI,eAAe,CAAC,GAAG,YAAY,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACjH,CAAC;IACH,CAAC;AACH,CAAC;AAED,MAAM,UAAU,gBAAgB,CAAC,GAAY,EAAE,KAAa;IAC1D,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC;QAAE,IAAI,CAAC,GAAG,KAAK,mCAAmC,CAAC,CAAC;IAC3E,MAAM,CAAC,GAAG,GAA8B,CAAC;IACzC,MAAM,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC;IAEpB,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACvB,MAAM,KAAK,GAAG,cAAc,CAAC,CAAC,CAAC,KAAK,EAAE,GAAG,KAAK,QAAQ,EAAE,yBAAyB,CAAC,CAAC;QACnF,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC;IACpC,CAAC;IACD,IAAI,IAAI,KAAK,QAAQ;QAAE,OAAO,sBAAsB,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;IAC/D,IAAI,IAAI,KAAK,WAAW;QAAE,OAAO,yBAAyB,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;IACrE,IAAI,IAAI,KAAK,SAAS;QAAE,OAAO,uBAAuB,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;IACjE,IAAI,IAAI,KAAK,MAAM;QAAE,OAAO,oBAAoB,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;IAC3D,IAAI,CAAC,GAAG,KAAK,mCAAmC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;AAC1E,CAAC;AAED,SAAS,sBAAsB,CAAC,CAA0B,EAAE,KAAa;IACvE,MAAM,OAAO,GAAG,YAAY,CAAC,CAAC,CAAC,OAAO,EAAE,GAAG,KAAK,UAAU,CAAC,CAAC;IAC5D,IAAI,CAAC,CAAC,KAAK,KAAK,SAAS,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,KAAe,CAAC;QAAE,IAAI,CAAC,GAAG,KAAK,eAAe,CAAC,CAAC;IAClG,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,GAAG,CAAC,CAAC,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,KAAmC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC;AACzH,CAAC;AAED,SAAS,yBAAyB,CAAC,CAA0B,EAAE,KAAa;IAC1E,IAAI,OAAO,CAAC,CAAC,EAAE,KAAK,QAAQ,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;QAAE,IAAI,CAAC,GAAG,KAAK,YAAY,CAAC,CAAC;IACrF,MAAM,EAAE,GAAG,CAAC,CAAC,EAAgC,CAAC;IAE9C,IAAI,OAA4B,CAAC;IACjC,IAAI,CAAC,CAAC,OAAO,KAAK,SAAS,EAAE,CAAC;QAC5B,OAAO,GAAG,YAAY,CAAC,CAAC,CAAC,OAAO,EAAE,GAAG,KAAK,UAAU,CAAC,CAAC;IACxD,CAAC;IACD,0EAA0E;IAC1E,yEAAyE;IACzE,0EAA0E;IAC1E,mEAAmE;IACnE,MAAM,YAAY,GAAG,qBAAqB,CAAC,EAAE,EAAE,OAAO,CAAC,CAAC;IACxD,IAAI,YAAY;QAAE,IAAI,CAAC,GAAG,KAAK,KAAK,YAAY,EAAE,CAAC,CAAC;IAEpD,IAAI,OAAwC,CAAC;IAC7C,IAAI,CAAC,CAAC,OAAO,KAAK,SAAS,EAAE,CAAC;QAC5B,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,OAAO,CAAC;YAAE,IAAI,CAAC,GAAG,KAAK,6BAA6B,CAAC,CAAC;QAC3E,MAAM,CAAC,GAAG,CAAC,CAAC,OAAkC,CAAC;QAC/C,MAAM,YAAY,GAAG,YAAY,CAAC,CAAC,CAAC,OAAO,EAAE,GAAG,KAAK,kBAAkB,CAAC,CAAC;QACzE,MAAM,QAAQ,GAAG,CAAC,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,QAAQ,EAAE,GAAG,KAAK,mBAAmB,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QACtH,OAAO,GAAG,EAAE,OAAO,EAAE,YAAY,EAAE,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC;IACzE,CAAC;IAED,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAY,CAAC;QAAE,IAAI,CAAC,GAAG,KAAK,YAAY,CAAC,CAAC;IACjE,IAAI,OAAO,CAAC,CAAC,KAAK,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC;QAAE,IAAI,CAAC,GAAG,KAAK,mCAAmC,CAAC,CAAC;IAEhH,OAAO;QACL,IAAI,EAAE,WAAW;QACjB,EAAE;QACF,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC/B,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC/B,EAAE,EAAE,CAAC,CAAC,EAAe;QACrB,KAAK,EAAE,CAAC,CAAC,KAAK;KACf,CAAC;AACJ,CAAC;AAED,SAAS,uBAAuB,CAAC,CAA0B,EAAE,KAAa;IACxE,MAAM,IAAI,GAAG,YAAY,CAAC,CAAC,CAAC,IAAI,EAAE,GAAG,KAAK,OAAO,CAAC,CAAC;IACnD,MAAM,KAAK,GAAG,YAAY,CAAC,CAAC,CAAC,KAAK,EAAE,GAAG,KAAK,QAAQ,CAAC,CAAC;IACtD,MAAM,SAAS,GAAG,oBAAoB,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IACpD,IAAI,SAAS;QAAE,IAAI,CAAC,GAAG,KAAK,IAAI,SAAS,CAAC,IAAI,KAAK,SAAS,CAAC,OAAO,EAAE,CAAC,CAAC;IACxE,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAY,CAAC;QAAE,IAAI,CAAC,GAAG,KAAK,YAAY,CAAC,CAAC;IACjE,IAAI,CAAC,CAAC,SAAS,KAAK,SAAS,IAAI,CAAC,CAAC,SAAS,KAAK,QAAQ,IAAI,CAAC,CAAC,SAAS,KAAK,MAAM;QAAE,IAAI,CAAC,GAAG,KAAK,mBAAmB,CAAC,CAAC;IACvH,OAAO;QACL,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,CAAC,EAAe;QACnD,GAAG,CAAC,CAAC,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,SAA4C,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KACpG,CAAC;AACJ,CAAC;AAED,SAAS,oBAAoB,CAAC,CAA0B,EAAE,KAAa;IACrE,MAAM,OAAO,GAAG,YAAY,CAAC,CAAC,CAAC,OAAO,EAAE,GAAG,KAAK,UAAU,CAAC,CAAC;IAC5D,IAAI,OAAO,CAAC,IAAI,KAAK,UAAU,IAAI,OAAO,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QAC/D,IAAI,CAAC,GAAG,KAAK,+DAA+D,OAAO,CAAC,IAAI,GAAG,CAAC,CAAC;IAC/F,CAAC;IACD,IAAI,OAAO,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC;QAAE,IAAI,CAAC,GAAG,KAAK,qCAAqC,CAAC,CAAC;IAClH,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,CAAC;AACxD,CAAC"}

package/dist/rule-set/rule-set-io-shared.d.ts

@@ -0,0 +1,24 @@
+/**
+ * Shared plumbing for the `rule-set-io-*.ts` split (#5138): the exception
+ * type `parseRuleSetFile` catches to turn any failure into `{ ok: false,
+ * error }`, small JSON-shape guards, and the one-warning-per-parse budget
+ * for unknown optional fields (plan §3 forward-compat posture). Split out
+ * of `rule-set-io.ts` purely to stay under the ~400-line module cap — the
+ * parse logic is one recursive-descent pass over one file format, not
+ * several independent modules.
+ */
+/** Thrown by every `parseX` helper on a validation failure; caught once at
+ *  the top of `parseRuleSetFile` and turned into `{ ok: false, error }`.
+ *  Never escapes this package. */
+export declare class RuleSetError extends Error {
+}
+export declare function fail(message: string): never;
+export declare function isPlainObject(v: unknown): v is Record<string, unknown>;
+export declare function isStringArray(v: unknown): v is string[];
+export declare function unknownKeysOf(obj: Record<string, unknown>, known: readonly string[]): string[];
+export declare function resetWarnBudget(): void;
+/** Warn once, for the whole parse, that unknown OPTIONAL fields were
+ *  dropped — never for an unknown top-level key, which is a hard reject
+ *  (`fail`), not a warning. */
+export declare function warnUnknownFields(context: string, unknown: string[]): void;
+//# sourceMappingURL=rule-set-io-shared.d.ts.map

package/dist/rule-set/rule-set-io-shared.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"rule-set-io-shared.d.ts","sourceRoot":"","sources":["../../src/rule-set/rule-set-io-shared.ts"],"names":[],"mappings":"AAIA;;;;;;;;GAQG;AAEH;;kCAEkC;AAClC,qBAAa,YAAa,SAAQ,KAAK;CAAG;AAE1C,wBAAgB,IAAI,CAAC,OAAO,EAAE,MAAM,GAAG,KAAK,CAE3C;AAED,wBAAgB,aAAa,CAAC,CAAC,EAAE,OAAO,GAAG,CAAC,IAAI,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAEtE;AAED,wBAAgB,aAAa,CAAC,CAAC,EAAE,OAAO,GAAG,CAAC,IAAI,MAAM,EAAE,CAEvD;AAED,wBAAgB,aAAa,CAAC,GAAG,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,KAAK,EAAE,SAAS,MAAM,EAAE,GAAG,MAAM,EAAE,CAE9F;AASD,wBAAgB,eAAe,IAAI,IAAI,CAEtC;AAED;;+BAE+B;AAC/B,wBAAgB,iBAAiB,CAAC,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,GAAG,IAAI,CAI1E"}