systemoneprompts 0.1.0

package/dist/factors/evaluate.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"evaluate.d.ts","sourceRoot":"","sources":["../../src/factors/evaluate.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,SAAS,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC;AAE/D,OAAO,KAAK,EAAE,UAAU,EAAa,WAAW,EAAE,MAAM,aAAa,CAAC;AAGtE,sEAAsE;AACtE,MAAM,MAAM,UAAU,CAAC,CAAC,SAAS,SAAS,IAAI,eAAe,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;AAE5E,uFAAuF;AACvF,eAAO,MAAM,WAAW,MAAM,CAAC;AAE/B;;;;GAIG;AACH,wBAAgB,qBAAqB,CAAC,CAAC,SAAS,SAAS,GAAG,SAAS,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAChG,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,WAAW,CAAC,GAChC,CAAC,OAAO,EAAE,UAAU,CAAC,CAAC,CAAC,KAAK,CAAC,CAgC/B;AA6ED;;;;GAIG;AACH,wBAAgB,mBAAmB,CAAC,MAAM,EAAE,OAAO,GAAG,OAAO,CAc5D;AAsGD,mEAAmE;AACnE,wBAAgB,OAAO,CAAC,KAAK,EAAE,MAAM,EAAE,GAAG,EAAE,UAAU,GAAG,OAAO,CAU/D"}

package/dist/factors/evaluate.js

@@ -0,0 +1,199 @@
+import { diagnostic, errorsOf, SystemOnePromptsError } from "../definition/diagnostics.js";
+import { isPlainObject } from "../json.js";
+import { topoSortFactors } from "./graph.js";
+import { parseFactors } from "./schema.js";
+/** A bare Noul reference in a Boolean context means `noul >= 0.5`. Fixed by design. */
+export const NOUL_CUTOFF = 0.5;
+/**
+ * Compile verbatim factor tables into a pure evaluator: answers in, Booleans out.
+ * Structural problems and cycles throw here; missing answers throw at evaluation time
+ * (never silently `false`, which `not` would flip into a wrong `true`).
+ */
+export function createFactorEvaluator(defs) {
+    if (!isPlainObject(defs)) {
+        throw new SystemOnePromptsError(diagnostic("error", "factors-not-table", "createFactorEvaluator expects the factor tables (definition.factorDefinitions)"));
+    }
+    const parsed = parseFactors(defs, new Set());
+    const errors = errorsOf(parsed.diagnostics);
+    if (errors.length > 0)
+        throw new SystemOnePromptsError(errors);
+    const sorted = topoSortFactors(parsed.factors, () => ({}));
+    if (sorted.diagnostics.length > 0)
+        throw new SystemOnePromptsError(sorted.diagnostics);
+    const factors = parsed.factors;
+    const order = sorted.order;
+    const factorIds = Object.keys(defs);
+    return (answers) => {
+        const resolved = new Map();
+        for (const id of order) {
+            const factor = factors[id];
+            if (!factor)
+                continue;
+            resolved.set(id, evaluateFactor(id, factor, answers, resolved, factors));
+        }
+        const out = Object.create(null);
+        for (const id of factorIds) {
+            out[id] = resolved.get(id) ?? false;
+        }
+        return out;
+    };
+}
+function evaluateFactor(id, factor, answers, resolved, factors) {
+    switch (factor.kind) {
+        case "predicate":
+            return evaluatePredicate(id, factor, answers);
+        case "not":
+            return !resolveBoolean(factor.of, answers, resolved, factors);
+        case "all": {
+            let result = true;
+            for (const ref of factor.of) {
+                if (!resolveBoolean(ref, answers, resolved, factors))
+                    result = false;
+            }
+            return result;
+        }
+        case "any": {
+            let result = false;
+            for (const ref of factor.of) {
+                if (resolveBoolean(ref, answers, resolved, factors))
+                    result = true;
+            }
+            return result;
+        }
+        case "at_least": {
+            let count = 0;
+            for (const ref of factor.of) {
+                if (resolveBoolean(ref, answers, resolved, factors))
+                    count += 1;
+            }
+            return count >= factor.count;
+        }
+    }
+}
+function resolveBoolean(ref, answers, resolved, factors) {
+    if (resolved.has(ref))
+        return resolved.get(ref) ?? false;
+    if (Object.hasOwn(factors, ref)) {
+        throw new SystemOnePromptsError(diagnostic("error", "factor-order", `factor \`${ref}\` was referenced before it was evaluated`));
+    }
+    const answer = requireAnswer(ref, answers);
+    if (!isPlainObject(answer) || !Object.hasOwn(answer, "noul") || typeof answer.noul !== "number") {
+        throw new SystemOnePromptsError(diagnostic("error", "non-noul-runtime", `reference \`${ref}\` is not a Noul answer; wrap Choice/Score in a predicate`));
+    }
+    requireFiniteNumber(`answer \`${ref}\``, "noul", answer.noul);
+    return answer.noul >= NOUL_CUTOFF;
+}
+function hasValueChecks(factor) {
+    return (factor.choice !== undefined ||
+        factor.noul !== undefined ||
+        factor.score !== undefined ||
+        factor.confidence !== undefined);
+}
+/**
+ * Known-answer rule aligned with pi-start-smart `isKnownAnswer`:
+ * explicit `missing`, confidence 0, and a bare Noul of 0.5 are unknown.
+ * Missing answers are unknown (not an error) when the predicate asks about known-ness.
+ */
+export function isKnownNativeAnswer(answer) {
+    if (!isPlainObject(answer))
+        return false;
+    if (answer.missing === true)
+        return false;
+    if (Object.hasOwn(answer, "confidence")) {
+        if (typeof answer.confidence !== "number" || !Number.isFinite(answer.confidence))
+            return false;
+        return answer.confidence !== 0;
+    }
+    if (Object.hasOwn(answer, "noul")) {
+        if (typeof answer.noul !== "number" || !Number.isFinite(answer.noul))
+            return false;
+        return answer.noul !== NOUL_CUTOFF;
+    }
+    if (typeof answer.choice === "string")
+        return true;
+    if (typeof answer.score === "number")
+        return Number.isFinite(answer.score);
+    return false;
+}
+function lookupAnswer(id, answers) {
+    if (!Object.hasOwn(answers, id))
+        return undefined;
+    return answers[id];
+}
+function evaluatePredicate(id, factor, answers) {
+    const lookedUp = lookupAnswer(factor.ref, answers);
+    const known = isKnownNativeAnswer(lookedUp);
+    if (factor.known !== undefined) {
+        if (factor.known !== known)
+            return false;
+        if (!hasValueChecks(factor))
+            return true;
+        // known=false matched: the answer is unknown. Value comparisons still
+        // need a body and throw if it is missing (not coerced to false).
+        if (factor.known === false && (lookedUp == null || !isPlainObject(lookedUp))) {
+            throw new SystemOnePromptsError(diagnostic("error", "missing-answer", `missing answer \`${factor.ref}\``));
+        }
+    }
+    const answer = requireAnswer(factor.ref, answers);
+    if (!isPlainObject(answer)) {
+        throw new SystemOnePromptsError(diagnostic("error", "invalid-answer", `answer \`${factor.ref}\` is not an object`));
+    }
+    const checks = [];
+    if (factor.choice !== undefined) {
+        if (!Object.hasOwn(answer, "choice") || typeof answer.choice !== "string") {
+            throw new SystemOnePromptsError(diagnostic("error", "missing-choice-field", `factor \`${id}\` expected Choice answer \`${factor.ref}\` to have a choice field`));
+        }
+        checks.push(answer.choice === factor.choice);
+    }
+    if (factor.noul !== undefined) {
+        if (!Object.hasOwn(answer, "noul") || typeof answer.noul !== "number") {
+            throw new SystemOnePromptsError(diagnostic("error", "missing-noul-field", `factor \`${id}\` expected Noul answer \`${factor.ref}\` to have a noul field`));
+        }
+        requireFiniteNumber(`factor \`${id}\` answer \`${factor.ref}\``, "noul", answer.noul);
+        checks.push(compare(answer.noul, factor.noul));
+    }
+    if (factor.score !== undefined) {
+        if (!Object.hasOwn(answer, "score") || typeof answer.score !== "number") {
+            throw new SystemOnePromptsError(diagnostic("error", "missing-score-field", `factor \`${id}\` expected Score answer \`${factor.ref}\` to have a score field`));
+        }
+        requireFiniteNumber(`factor \`${id}\` answer \`${factor.ref}\``, "score", answer.score);
+        checks.push(compare(answer.score, factor.score));
+    }
+    if (factor.confidence !== undefined) {
+        if (!Object.hasOwn(answer, "confidence") || typeof answer.confidence !== "number") {
+            throw new SystemOnePromptsError(diagnostic("error", "missing-confidence-field", `factor \`${id}\` expected \`${factor.ref}\` to have a confidence field`));
+        }
+        requireFiniteNumber(`factor \`${id}\` answer \`${factor.ref}\``, "confidence", answer.confidence);
+        checks.push(compare(answer.confidence, factor.confidence));
+    }
+    return checks.every(Boolean);
+}
+function requireAnswer(id, answers) {
+    if (!Object.hasOwn(answers, id) || answers[id] == null) {
+        throw new SystemOnePromptsError(diagnostic("error", "missing-answer", `missing answer \`${id}\``));
+    }
+    return answers[id];
+}
+/** All comparators present in `cmp` must hold (they are ANDed). */
+export function compare(value, cmp) {
+    requireFiniteNumber("comparison", "value", value);
+    for (const key of ["gt", "gte", "lt", "lte"]) {
+        if (cmp[key] !== undefined)
+            requireFiniteNumber("comparison", key, cmp[key]);
+    }
+    if (cmp.gt !== undefined && !(value > cmp.gt))
+        return false;
+    if (cmp.gte !== undefined && !(value >= cmp.gte))
+        return false;
+    if (cmp.lt !== undefined && !(value < cmp.lt))
+        return false;
+    if (cmp.lte !== undefined && !(value <= cmp.lte))
+        return false;
+    return true;
+}
+function requireFiniteNumber(context, field, value) {
+    if (!Number.isFinite(value)) {
+        throw new SystemOnePromptsError(diagnostic("error", "nonfinite-number", `${context} field \`${field}\` must be finite`));
+    }
+}
+//# sourceMappingURL=evaluate.js.map

package/dist/factors/evaluate.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"evaluate.js","sourceRoot":"","sources":["../../src/factors/evaluate.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,QAAQ,EAAE,qBAAqB,EAAE,MAAM,8BAA8B,CAAC;AAC3F,OAAO,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAE3C,OAAO,EAAE,eAAe,EAAE,MAAM,YAAY,CAAC;AAE7C,OAAO,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAK3C,uFAAuF;AACvF,MAAM,CAAC,MAAM,WAAW,GAAG,GAAG,CAAC;AAE/B;;;;GAIG;AACH,MAAM,UAAU,qBAAqB,CACnC,IAAiC;IAEjC,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,EAAE,CAAC;QACzB,MAAM,IAAI,qBAAqB,CAC7B,UAAU,CACR,OAAO,EACP,mBAAmB,EACnB,gFAAgF,CACjF,CACF,CAAC;IACJ,CAAC;IACD,MAAM,MAAM,GAAG,YAAY,CAAC,IAAI,EAAE,IAAI,GAAG,EAAE,CAAC,CAAC;IAC7C,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC;IAC5C,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC;QAAE,MAAM,IAAI,qBAAqB,CAAC,MAAM,CAAC,CAAC;IAC/D,MAAM,MAAM,GAAG,eAAe,CAAC,MAAM,CAAC,OAAO,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAC3D,IAAI,MAAM,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC;QAAE,MAAM,IAAI,qBAAqB,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC;IACvF,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC;IAC/B,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC;IAC3B,MAAM,SAAS,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAEpC,OAAO,CAAC,OAAsB,EAAK,EAAE;QACnC,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAmB,CAAC;QAC5C,KAAK,MAAM,EAAE,IAAI,KAAK,EAAE,CAAC;YACvB,MAAM,MAAM,GAAG,OAAO,CAAC,EAAE,CAAC,CAAC;YAC3B,IAAI,CAAC,MAAM;gBAAE,SAAS;YACtB,QAAQ,CAAC,GAAG,CAAC,EAAE,EAAE,cAAc,CAAC,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC,CAAC;QAC3E,CAAC;QACD,MAAM,GAAG,GAA4B,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QACzD,KAAK,MAAM,EAAE,IAAI,SAAS,EAAE,CAAC;YAC3B,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,KAAK,CAAC;QACtC,CAAC;QACD,OAAO,GAAQ,CAAC;IAClB,CAAC,CAAC;AACJ,CAAC;AAED,SAAS,cAAc,CACrB,EAAU,EACV,MAAiB,EACjB,OAAgC,EAChC,QAA8B,EAC9B,OAAkC;IAElC,QAAQ,MAAM,CAAC,IAAI,EAAE,CAAC;QACpB,KAAK,WAAW;YACd,OAAO,iBAAiB,CAAC,EAAE,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC;QAChD,KAAK,KAAK;YACR,OAAO,CAAC,cAAc,CAAC,MAAM,CAAC,EAAE,EAAE,OAAO,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC;QAChE,KAAK,KAAK,CAAC,CAAC,CAAC;YACX,IAAI,MAAM,GAAG,IAAI,CAAC;YAClB,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,EAAE,EAAE,CAAC;gBAC5B,IAAI,CAAC,cAAc,CAAC,GAAG,EAAE,OAAO,EAAE,QAAQ,EAAE,OAAO,CAAC;oBAAE,MAAM,GAAG,KAAK,CAAC;YACvE,CAAC;YACD,OAAO,MAAM,CAAC;QAChB,CAAC;QACD,KAAK,KAAK,CAAC,CAAC,CAAC;YACX,IAAI,MAAM,GAAG,KAAK,CAAC;YACnB,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,EAAE,EAAE,CAAC;gBAC5B,IAAI,cAAc,CAAC,GAAG,EAAE,OAAO,EAAE,QAAQ,EAAE,OAAO,CAAC;oBAAE,MAAM,GAAG,IAAI,CAAC;YACrE,CAAC;YACD,OAAO,MAAM,CAAC;QAChB,CAAC;QACD,KAAK,UAAU,CAAC,CAAC,CAAC;YAChB,IAAI,KAAK,GAAG,CAAC,CAAC;YACd,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,EAAE,EAAE,CAAC;gBAC5B,IAAI,cAAc,CAAC,GAAG,EAAE,OAAO,EAAE,QAAQ,EAAE,OAAO,CAAC;oBAAE,KAAK,IAAI,CAAC,CAAC;YAClE,CAAC;YACD,OAAO,KAAK,IAAI,MAAM,CAAC,KAAK,CAAC;QAC/B,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,cAAc,CACrB,GAAW,EACX,OAAgC,EAChC,QAA8B,EAC9B,OAAkC;IAElC,IAAI,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC;QAAE,OAAO,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,KAAK,CAAC;IACzD,IAAI,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,GAAG,CAAC,EAAE,CAAC;QAChC,MAAM,IAAI,qBAAqB,CAC7B,UAAU,CACR,OAAO,EACP,cAAc,EACd,YAAY,GAAG,2CAA2C,CAC3D,CACF,CAAC;IACJ,CAAC;IACD,MAAM,MAAM,GAAG,aAAa,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;IAC3C,IAAI,CAAC,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,IAAI,OAAO,MAAM,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAChG,MAAM,IAAI,qBAAqB,CAC7B,UAAU,CACR,OAAO,EACP,kBAAkB,EAClB,eAAe,GAAG,2DAA2D,CAC9E,CACF,CAAC;IACJ,CAAC;IACD,mBAAmB,CAAC,YAAY,GAAG,IAAI,EAAE,MAAM,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC;IAC9D,OAAO,MAAM,CAAC,IAAI,IAAI,WAAW,CAAC;AACpC,CAAC;AAED,SAAS,cAAc,CAAC,MAAiD;IACvE,OAAO,CACL,MAAM,CAAC,MAAM,KAAK,SAAS;QAC3B,MAAM,CAAC,IAAI,KAAK,SAAS;QACzB,MAAM,CAAC,KAAK,KAAK,SAAS;QAC1B,MAAM,CAAC,UAAU,KAAK,SAAS,CAChC,CAAC;AACJ,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,mBAAmB,CAAC,MAAe;IACjD,IAAI,CAAC,aAAa,CAAC,MAAM,CAAC;QAAE,OAAO,KAAK,CAAC;IACzC,IAAI,MAAM,CAAC,OAAO,KAAK,IAAI;QAAE,OAAO,KAAK,CAAC;IAC1C,IAAI,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,YAAY,CAAC,EAAE,CAAC;QACxC,IAAI,OAAO,MAAM,CAAC,UAAU,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,UAAU,CAAC;YAAE,OAAO,KAAK,CAAC;QAC/F,OAAO,MAAM,CAAC,UAAU,KAAK,CAAC,CAAC;IACjC,CAAC;IACD,IAAI,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,CAAC;QAClC,IAAI,OAAO,MAAM,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC;YAAE,OAAO,KAAK,CAAC;QACnF,OAAO,MAAM,CAAC,IAAI,KAAK,WAAW,CAAC;IACrC,CAAC;IACD,IAAI,OAAO,MAAM,CAAC,MAAM,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IACnD,IAAI,OAAO,MAAM,CAAC,KAAK,KAAK,QAAQ;QAAE,OAAO,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IAC3E,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,YAAY,CAAC,EAAU,EAAE,OAAgC;IAChE,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,EAAE,CAAC;QAAE,OAAO,SAAS,CAAC;IAClD,OAAO,OAAO,CAAC,EAAE,CAAC,CAAC;AACrB,CAAC;AAED,SAAS,iBAAiB,CACxB,EAAU,EACV,MAAiD,EACjD,OAAgC;IAEhC,MAAM,QAAQ,GAAG,YAAY,CAAC,MAAM,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;IACnD,MAAM,KAAK,GAAG,mBAAmB,CAAC,QAAQ,CAAC,CAAC;IAE5C,IAAI,MAAM,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;QAC/B,IAAI,MAAM,CAAC,KAAK,KAAK,KAAK;YAAE,OAAO,KAAK,CAAC;QACzC,IAAI,CAAC,cAAc,CAAC,MAAM,CAAC;YAAE,OAAO,IAAI,CAAC;QACzC,sEAAsE;QACtE,iEAAiE;QACjE,IAAI,MAAM,CAAC,KAAK,KAAK,KAAK,IAAI,CAAC,QAAQ,IAAI,IAAI,IAAI,CAAC,aAAa,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC;YAC7E,MAAM,IAAI,qBAAqB,CAC7B,UAAU,CAAC,OAAO,EAAE,gBAAgB,EAAE,oBAAoB,MAAM,CAAC,GAAG,IAAI,CAAC,CAC1E,CAAC;QACJ,CAAC;IACH,CAAC;IAED,MAAM,MAAM,GAAG,aAAa,CAAC,MAAM,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;IAClD,IAAI,CAAC,aAAa,CAAC,MAAM,CAAC,EAAE,CAAC;QAC3B,MAAM,IAAI,qBAAqB,CAC7B,UAAU,CAAC,OAAO,EAAE,gBAAgB,EAAE,YAAY,MAAM,CAAC,GAAG,qBAAqB,CAAC,CACnF,CAAC;IACJ,CAAC;IAED,MAAM,MAAM,GAAc,EAAE,CAAC;IAC7B,IAAI,MAAM,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;QAChC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,IAAI,OAAO,MAAM,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;YAC1E,MAAM,IAAI,qBAAqB,CAC7B,UAAU,CACR,OAAO,EACP,sBAAsB,EACtB,YAAY,EAAE,+BAA+B,MAAM,CAAC,GAAG,2BAA2B,CACnF,CACF,CAAC;QACJ,CAAC;QACD,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,CAAC;IAC/C,CAAC;IACD,IAAI,MAAM,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QAC9B,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,IAAI,OAAO,MAAM,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YACtE,MAAM,IAAI,qBAAqB,CAC7B,UAAU,CACR,OAAO,EACP,oBAAoB,EACpB,YAAY,EAAE,6BAA6B,MAAM,CAAC,GAAG,yBAAyB,CAC/E,CACF,CAAC;QACJ,CAAC;QACD,mBAAmB,CAAC,YAAY,EAAE,eAAe,MAAM,CAAC,GAAG,IAAI,EAAE,MAAM,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC;QACtF,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC;IACjD,CAAC;IACD,IAAI,MAAM,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;QAC/B,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,IAAI,OAAO,MAAM,CAAC,KAAK,KAAK,QAAQ,EAAE,CAAC;YACxE,MAAM,IAAI,qBAAqB,CAC7B,UAAU,CACR,OAAO,EACP,qBAAqB,EACrB,YAAY,EAAE,8BAA8B,MAAM,CAAC,GAAG,0BAA0B,CACjF,CACF,CAAC;QACJ,CAAC;QACD,mBAAmB,CAAC,YAAY,EAAE,eAAe,MAAM,CAAC,GAAG,IAAI,EAAE,OAAO,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC;QACxF,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;IACnD,CAAC;IACD,IAAI,MAAM,CAAC,UAAU,KAAK,SAAS,EAAE,CAAC;QACpC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,YAAY,CAAC,IAAI,OAAO,MAAM,CAAC,UAAU,KAAK,QAAQ,EAAE,CAAC;YAClF,MAAM,IAAI,qBAAqB,CAC7B,UAAU,CACR,OAAO,EACP,0BAA0B,EAC1B,YAAY,EAAE,iBAAiB,MAAM,CAAC,GAAG,+BAA+B,CACzE,CACF,CAAC;QACJ,CAAC;QACD,mBAAmB,CACjB,YAAY,EAAE,eAAe,MAAM,CAAC,GAAG,IAAI,EAC3C,YAAY,EACZ,MAAM,CAAC,UAAU,CAClB,CAAC;QACF,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,UAAU,EAAE,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC;IAC7D,CAAC;IACD,OAAO,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;AAC/B,CAAC;AAED,SAAS,aAAa,CAAC,EAAU,EAAE,OAAgC;IACjE,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,EAAE,CAAC,IAAI,OAAO,CAAC,EAAE,CAAC,IAAI,IAAI,EAAE,CAAC;QACvD,MAAM,IAAI,qBAAqB,CAC7B,UAAU,CAAC,OAAO,EAAE,gBAAgB,EAAE,oBAAoB,EAAE,IAAI,CAAC,CAClE,CAAC;IACJ,CAAC;IACD,OAAO,OAAO,CAAC,EAAE,CAAC,CAAC;AACrB,CAAC;AAED,mEAAmE;AACnE,MAAM,UAAU,OAAO,CAAC,KAAa,EAAE,GAAe;IACpD,mBAAmB,CAAC,YAAY,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC;IAClD,KAAK,MAAM,GAAG,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,CAAU,EAAE,CAAC;QACtD,IAAI,GAAG,CAAC,GAAG,CAAC,KAAK,SAAS;YAAE,mBAAmB,CAAC,YAAY,EAAE,GAAG,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;IAC/E,CAAC;IACD,IAAI,GAAG,CAAC,EAAE,KAAK,SAAS,IAAI,CAAC,CAAC,KAAK,GAAG,GAAG,CAAC,EAAE,CAAC;QAAE,OAAO,KAAK,CAAC;IAC5D,IAAI,GAAG,CAAC,GAAG,KAAK,SAAS,IAAI,CAAC,CAAC,KAAK,IAAI,GAAG,CAAC,GAAG,CAAC;QAAE,OAAO,KAAK,CAAC;IAC/D,IAAI,GAAG,CAAC,EAAE,KAAK,SAAS,IAAI,CAAC,CAAC,KAAK,GAAG,GAAG,CAAC,EAAE,CAAC;QAAE,OAAO,KAAK,CAAC;IAC5D,IAAI,GAAG,CAAC,GAAG,KAAK,SAAS,IAAI,CAAC,CAAC,KAAK,IAAI,GAAG,CAAC,GAAG,CAAC;QAAE,OAAO,KAAK,CAAC;IAC/D,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,mBAAmB,CAAC,OAAe,EAAE,KAAa,EAAE,KAAa;IACxE,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QAC5B,MAAM,IAAI,qBAAqB,CAC7B,UAAU,CAAC,OAAO,EAAE,kBAAkB,EAAE,GAAG,OAAO,YAAY,KAAK,mBAAmB,CAAC,CACxF,CAAC;IACJ,CAAC;AACH,CAAC"}

package/dist/factors/graph.d.ts

@@ -0,0 +1,7 @@
+import { type Diagnostic, type SourceLocation } from "../definition/diagnostics.js";
+import type { FactorDef } from "./schema.js";
+export declare function topoSortFactors(factors: Record<string, FactorDef>, locateFactor: (id: string) => SourceLocation): {
+    order: string[];
+    diagnostics: Diagnostic[];
+};
+//# sourceMappingURL=graph.d.ts.map

package/dist/factors/graph.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"graph.d.ts","sourceRoot":"","sources":["../../src/factors/graph.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,UAAU,EAAc,KAAK,cAAc,EAAE,MAAM,8BAA8B,CAAC;AAChG,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,aAAa,CAAC;AAG7C,wBAAgB,eAAe,CAC7B,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,EAClC,YAAY,EAAE,CAAC,EAAE,EAAE,MAAM,KAAK,cAAc,GAC3C;IAAE,KAAK,EAAE,MAAM,EAAE,CAAC;IAAC,WAAW,EAAE,UAAU,EAAE,CAAA;CAAE,CAsChD"}

package/dist/factors/graph.js

@@ -0,0 +1,39 @@
+import { diagnostic } from "../definition/diagnostics.js";
+import { referencedIds } from "./schema.js";
+export function topoSortFactors(factors, locateFactor) {
+    const diagnostics = [];
+    const factorIds = new Set(Object.keys(factors));
+    const visiting = new Set();
+    const visited = new Set();
+    const order = [];
+    const stack = [];
+    const visit = (id) => {
+        if (visited.has(id))
+            return;
+        if (visiting.has(id)) {
+            const cycleStart = stack.indexOf(id);
+            const cycle = [...stack.slice(cycleStart), id];
+            diagnostics.push(diagnostic("error", "cycle", `cycle: ${cycle.join(" → ")}`, locateFactor(id)));
+            return;
+        }
+        visiting.add(id);
+        stack.push(id);
+        if (Object.hasOwn(factors, id)) {
+            const factor = factors[id];
+            for (const ref of referencedIds(factor)) {
+                if (!factorIds.has(ref))
+                    continue;
+                visit(ref);
+            }
+        }
+        stack.pop();
+        visiting.delete(id);
+        visited.add(id);
+        order.push(id);
+    };
+    for (const id of Object.keys(factors)) {
+        visit(id);
+    }
+    return { order, diagnostics };
+}
+//# sourceMappingURL=graph.js.map

package/dist/factors/graph.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"graph.js","sourceRoot":"","sources":["../../src/factors/graph.ts"],"names":[],"mappings":"AAAA,OAAO,EAAmB,UAAU,EAAuB,MAAM,8BAA8B,CAAC;AAEhG,OAAO,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAE5C,MAAM,UAAU,eAAe,CAC7B,OAAkC,EAClC,YAA4C;IAE5C,MAAM,WAAW,GAAiB,EAAE,CAAC;IACrC,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC;IAChD,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;IACnC,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,MAAM,KAAK,GAAa,EAAE,CAAC;IAE3B,MAAM,KAAK,GAAG,CAAC,EAAU,EAAQ,EAAE;QACjC,IAAI,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;YAAE,OAAO;QAC5B,IAAI,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC;YACrB,MAAM,UAAU,GAAG,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;YACrC,MAAM,KAAK,GAAG,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,UAAU,CAAC,EAAE,EAAE,CAAC,CAAC;YAC/C,WAAW,CAAC,IAAI,CACd,UAAU,CAAC,OAAO,EAAE,OAAO,EAAE,UAAU,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,EAAE,YAAY,CAAC,EAAE,CAAC,CAAC,CAC9E,CAAC;YACF,OAAO;QACT,CAAC;QACD,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACjB,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACf,IAAI,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,EAAE,CAAC,EAAE,CAAC;YAC/B,MAAM,MAAM,GAAG,OAAO,CAAC,EAAE,CAAE,CAAC;YAC5B,KAAK,MAAM,GAAG,IAAI,aAAa,CAAC,MAAM,CAAC,EAAE,CAAC;gBACxC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC;oBAAE,SAAS;gBAClC,KAAK,CAAC,GAAG,CAAC,CAAC;YACb,CAAC;QACH,CAAC;QACD,KAAK,CAAC,GAAG,EAAE,CAAC;QACZ,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;QACpB,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAChB,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACjB,CAAC,CAAC;IAEF,KAAK,MAAM,EAAE,IAAI,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;QACtC,KAAK,CAAC,EAAE,CAAC,CAAC;IACZ,CAAC;IAED,OAAO,EAAE,KAAK,EAAE,WAAW,EAAE,CAAC;AAChC,CAAC"}

package/dist/factors/schema.d.ts

@@ -0,0 +1,54 @@
+import type { Diagnostic, SourceLocation } from "../definition/diagnostics.js";
+import { type SourceIndex } from "../definition/locate.js";
+import type { QuestionInfo } from "../questions/schema.js";
+export declare const COMPARATOR_KEYS: readonly ["gt", "gte", "lt", "lte"];
+export type ComparatorKey = (typeof COMPARATOR_KEYS)[number];
+export type Comparator = {
+    gt?: number;
+    gte?: number;
+    lt?: number;
+    lte?: number;
+};
+export type PredicateFactor = {
+    kind: "predicate";
+    ref: string;
+    /** Require a known (or unknown) answer before other predicate fields. */
+    known?: boolean;
+    choice?: string;
+    noul?: Comparator;
+    score?: Comparator;
+    confidence?: Comparator;
+};
+export type AllFactor = {
+    kind: "all";
+    of: string[];
+};
+export type AnyFactor = {
+    kind: "any";
+    of: string[];
+};
+export type NotFactor = {
+    kind: "not";
+    of: string;
+};
+export type AtLeastFactor = {
+    kind: "at_least";
+    count: number;
+    of: string[];
+};
+export type FactorDef = PredicateFactor | AllFactor | AnyFactor | NotFactor | AtLeastFactor;
+/** One verbatim `[factors]` inline table, e.g. `{ ref = "topic", choice = "billing" }`. */
+export type FactorTable = Record<string, unknown>;
+export declare function parseFactors(raw: unknown, questionIds: ReadonlySet<string>, index?: SourceIndex): {
+    factors: Record<string, FactorDef>;
+    factorDefinitions: Record<string, FactorTable>;
+    diagnostics: Diagnostic[];
+};
+export declare function referencedIds(factor: FactorDef): string[];
+/**
+ * Check a factor's references against the questions they name: unknown ids,
+ * Choice/Score used as Booleans, predicate fields that the primitive does not carry,
+ * and unknown Choice labels.
+ */
+export declare function validatePrimitiveRefs(id: string, factor: FactorDef, questions: ReadonlyMap<string, QuestionInfo>, factorIds: ReadonlySet<string>, loc: SourceLocation): Diagnostic[];
+//# sourceMappingURL=schema.d.ts.map

package/dist/factors/schema.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"schema.d.ts","sourceRoot":"","sources":["../../src/factors/schema.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,cAAc,EAAE,MAAM,8BAA8B,CAAC;AAE/E,OAAO,EAAuB,KAAK,WAAW,EAAE,MAAM,yBAAyB,CAAC;AAEhF,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAC;AAE3D,eAAO,MAAM,eAAe,qCAAsC,CAAC;AACnE,MAAM,MAAM,aAAa,GAAG,CAAC,OAAO,eAAe,CAAC,CAAC,MAAM,CAAC,CAAC;AAE7D,MAAM,MAAM,UAAU,GAAG;IACvB,EAAE,CAAC,EAAE,MAAM,CAAC;IACZ,GAAG,CAAC,EAAE,MAAM,CAAC;IACb,EAAE,CAAC,EAAE,MAAM,CAAC;IACZ,GAAG,CAAC,EAAE,MAAM,CAAC;CACd,CAAC;AAEF,MAAM,MAAM,eAAe,GAAG;IAC5B,IAAI,EAAE,WAAW,CAAC;IAClB,GAAG,EAAE,MAAM,CAAC;IACZ,yEAAyE;IACzE,KAAK,CAAC,EAAE,OAAO,CAAC;IAChB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,IAAI,CAAC,EAAE,UAAU,CAAC;IAClB,KAAK,CAAC,EAAE,UAAU,CAAC;IACnB,UAAU,CAAC,EAAE,UAAU,CAAC;CACzB,CAAC;AAEF,MAAM,MAAM,SAAS,GAAG;IAAE,IAAI,EAAE,KAAK,CAAC;IAAC,EAAE,EAAE,MAAM,EAAE,CAAA;CAAE,CAAC;AACtD,MAAM,MAAM,SAAS,GAAG;IAAE,IAAI,EAAE,KAAK,CAAC;IAAC,EAAE,EAAE,MAAM,EAAE,CAAA;CAAE,CAAC;AACtD,MAAM,MAAM,SAAS,GAAG;IAAE,IAAI,EAAE,KAAK,CAAC;IAAC,EAAE,EAAE,MAAM,CAAA;CAAE,CAAC;AACpD,MAAM,MAAM,aAAa,GAAG;IAAE,IAAI,EAAE,UAAU,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,EAAE,EAAE,MAAM,EAAE,CAAA;CAAE,CAAC;AAE9E,MAAM,MAAM,SAAS,GAAG,eAAe,GAAG,SAAS,GAAG,SAAS,GAAG,SAAS,GAAG,aAAa,CAAC;AAE5F,2FAA2F;AAC3F,MAAM,MAAM,WAAW,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;AAWlD,wBAAgB,YAAY,CAC1B,GAAG,EAAE,OAAO,EACZ,WAAW,EAAE,WAAW,CAAC,MAAM,CAAC,EAChC,KAAK,GAAE,WAAyB,GAC/B;IACD,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;IACnC,iBAAiB,EAAE,MAAM,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC;IAC/C,WAAW,EAAE,UAAU,EAAE,CAAC;CAC3B,CA8CA;AAyQD,wBAAgB,aAAa,CAAC,MAAM,EAAE,SAAS,GAAG,MAAM,EAAE,CAWzD;AAED;;;;GAIG;AACH,wBAAgB,qBAAqB,CACnC,EAAE,EAAE,MAAM,EACV,MAAM,EAAE,SAAS,EACjB,SAAS,EAAE,WAAW,CAAC,MAAM,EAAE,YAAY,CAAC,EAC5C,SAAS,EAAE,WAAW,CAAC,MAAM,CAAC,EAC9B,GAAG,EAAE,cAAc,GAClB,UAAU,EAAE,CA2Fd"}

package/dist/factors/schema.js

@@ -0,0 +1,235 @@
+import { diagnostic } from "../definition/diagnostics.js";
+import { EMPTY_INDEX, locate } from "../definition/locate.js";
+import { isPlainObject } from "../json.js";
+export const COMPARATOR_KEYS = ["gt", "gte", "lt", "lte"];
+const OPERATOR_KEYS = ["all", "any", "not", "at_least"];
+const OPERATOR_ALLOWED_KEYS = {
+    all: new Set(["all"]),
+    any: new Set(["any"]),
+    not: new Set(["not"]),
+    at_least: new Set(["at_least", "of"]),
+};
+const PREDICATE_ALLOWED_KEYS = new Set(["ref", "known", "choice", "noul", "score", "confidence"]);
+export function parseFactors(raw, questionIds, index = EMPTY_INDEX) {
+    const diagnostics = [];
+    const factors = Object.create(null);
+    const factorDefinitions = Object.create(null);
+    if (raw == null)
+        return { factors, factorDefinitions, diagnostics };
+    if (!isPlainObject(raw)) {
+        diagnostics.push(diagnostic("error", "factors-not-table", "[factors] must be a table of Boolean derivations", locate(index, { table: "factors" })));
+        return { factors, factorDefinitions, diagnostics };
+    }
+    for (const [id, value] of Object.entries(raw)) {
+        const loc = locate(index, { section: "factors", key: id, table: "factors" });
+        if (questionIds.has(id)) {
+            diagnostics.push(diagnostic("error", "id-collision", `factor \`${id}\` collides with question \`${id}\``, loc));
+            continue;
+        }
+        if (!isPlainObject(value)) {
+            diagnostics.push(diagnostic("error", "factor-not-table", `factor \`${id}\` must be an inline table`, loc));
+            continue;
+        }
+        const parsed = parseFactor(id, value, loc);
+        diagnostics.push(...parsed.diagnostics);
+        if (parsed.factor) {
+            factors[id] = parsed.factor;
+            factorDefinitions[id] = value;
+        }
+    }
+    return { factors, factorDefinitions, diagnostics };
+}
+function parseFactor(id, value, loc) {
+    const diagnostics = [];
+    const hasRef = Object.hasOwn(value, "ref");
+    const operators = OPERATOR_KEYS.filter((key) => Object.hasOwn(value, key));
+    if (hasRef && operators.length > 0) {
+        diagnostics.push(diagnostic("error", "factor-mixed", `factor \`${id}\` cannot mix a predicate \`ref\` with Boolean operators`, loc));
+        return { diagnostics };
+    }
+    if (operators.length > 1) {
+        diagnostics.push(diagnostic("error", "factor-mixed", `factor \`${id}\` uses several operators (${operators.join(", ")}); use exactly one`, loc, "nest them as separate factors instead"));
+        return { diagnostics };
+    }
+    const allowedKeys = hasRef
+        ? PREDICATE_ALLOWED_KEYS
+        : OPERATOR_ALLOWED_KEYS[operators[0] ?? "at_least"];
+    const unknown = Object.keys(value).filter((k) => !allowedKeys.has(k));
+    for (const key of unknown) {
+        diagnostics.push(diagnostic("error", "unknown-factor-field", `factor \`${id}\` has unknown field \`${key}\``, loc));
+    }
+    if (unknown.length > 0)
+        return { diagnostics };
+    if (hasRef) {
+        return parsePredicate(id, value, loc, diagnostics);
+    }
+    if (Object.hasOwn(value, "at_least") || (Object.hasOwn(value, "of") && operators.length === 0)) {
+        return parseAtLeast(id, value, loc, diagnostics);
+    }
+    if (Object.hasOwn(value, "all")) {
+        const of = readStringList(id, "all", value.all, loc, diagnostics);
+        if (!of)
+            return { diagnostics };
+        return { factor: { kind: "all", of }, diagnostics };
+    }
+    if (Object.hasOwn(value, "any")) {
+        const of = readStringList(id, "any", value.any, loc, diagnostics);
+        if (!of)
+            return { diagnostics };
+        return { factor: { kind: "any", of }, diagnostics };
+    }
+    if (Object.hasOwn(value, "not")) {
+        if (typeof value.not !== "string") {
+            diagnostics.push(diagnostic("error", "factor-not", `factor \`${id}\` \`not\` must be a string id`, loc));
+            return { diagnostics };
+        }
+        return { factor: { kind: "not", of: value.not }, diagnostics };
+    }
+    diagnostics.push(diagnostic("error", "factor-empty", `factor \`${id}\` must be a predicate or a Boolean operator`, loc, "use ref / all / any / not / at_least"));
+    return { diagnostics };
+}
+function parsePredicate(id, value, loc, diagnostics) {
+    if (typeof value.ref !== "string" || value.ref === "") {
+        diagnostics.push(diagnostic("error", "predicate-ref", `factor \`${id}\` \`ref\` must be a question id`, loc));
+        return { diagnostics };
+    }
+    const factor = { kind: "predicate", ref: value.ref };
+    if (Object.hasOwn(value, "known")) {
+        if (typeof value.known !== "boolean") {
+            diagnostics.push(diagnostic("error", "predicate-known", `factor \`${id}\` \`known\` must be a boolean`, loc));
+            return { diagnostics };
+        }
+        factor.known = value.known;
+    }
+    if (Object.hasOwn(value, "choice")) {
+        if (typeof value.choice !== "string") {
+            diagnostics.push(diagnostic("error", "predicate-choice", `factor \`${id}\` \`choice\` must be a string label`, loc));
+            return { diagnostics };
+        }
+        factor.choice = value.choice;
+    }
+    for (const field of ["noul", "score", "confidence"]) {
+        if (!Object.hasOwn(value, field) || value[field] === undefined)
+            continue;
+        const cmp = parseComparator(id, field, value[field], loc, diagnostics);
+        if (!cmp)
+            return { diagnostics };
+        factor[field] = cmp;
+    }
+    if (factor.known === undefined &&
+        factor.choice === undefined &&
+        factor.noul === undefined &&
+        factor.score === undefined &&
+        factor.confidence === undefined) {
+        diagnostics.push(diagnostic("error", "predicate-empty", `factor \`${id}\` predicate needs one of known / choice / noul / score / confidence`, loc));
+        return { diagnostics };
+    }
+    return { factor, diagnostics };
+}
+function parseAtLeast(id, value, loc, diagnostics) {
+    if (typeof value.at_least !== "number" ||
+        !Number.isInteger(value.at_least) ||
+        value.at_least < 1) {
+        diagnostics.push(diagnostic("error", "at-least-count", `factor \`${id}\` \`at_least\` must be a positive integer`, loc));
+        return { diagnostics };
+    }
+    const of = readStringList(id, "of", value.of, loc, diagnostics);
+    if (!of)
+        return { diagnostics };
+    return { factor: { kind: "at_least", count: value.at_least, of }, diagnostics };
+}
+function parseComparator(id, field, value, loc, diagnostics) {
+    if (!isPlainObject(value)) {
+        diagnostics.push(diagnostic("error", "comparator-table", `factor \`${id}\` \`${field}\` must be a comparator table`, loc, "e.g. { gte = 0.75 }"));
+        return undefined;
+    }
+    const unknown = Object.keys(value).filter((k) => !COMPARATOR_KEYS.includes(k));
+    if (unknown.length > 0) {
+        diagnostics.push(diagnostic("error", "comparator-keys", `factor \`${id}\` \`${field}\` has unknown comparator ${unknown.map((k) => `\`${k}\``).join(", ")}`, loc, "use gt, gte, lt, lte"));
+        return undefined;
+    }
+    const cmp = {};
+    for (const key of COMPARATOR_KEYS) {
+        if (!Object.hasOwn(value, key) || value[key] === undefined)
+            continue;
+        if (typeof value[key] !== "number" || !Number.isFinite(value[key])) {
+            diagnostics.push(diagnostic("error", "comparator-number", `factor \`${id}\` \`${field}.${key}\` must be a finite number`, loc));
+            return undefined;
+        }
+        cmp[key] = value[key];
+    }
+    if (Object.keys(cmp).length === 0) {
+        diagnostics.push(diagnostic("error", "comparator-empty", `factor \`${id}\` \`${field}\` needs at least one of gt/gte/lt/lte`, loc));
+        return undefined;
+    }
+    return cmp;
+}
+function readStringList(id, field, value, loc, diagnostics) {
+    if (!Array.isArray(value) ||
+        value.length === 0 ||
+        value.some((item) => typeof item !== "string")) {
+        diagnostics.push(diagnostic("error", "factor-list", `factor \`${id}\` \`${field}\` must be a non-empty array of ids`, loc));
+        return undefined;
+    }
+    return [...value];
+}
+export function referencedIds(factor) {
+    switch (factor.kind) {
+        case "predicate":
+            return [factor.ref];
+        case "not":
+            return [factor.of];
+        case "all":
+        case "any":
+        case "at_least":
+            return factor.of;
+    }
+}
+/**
+ * Check a factor's references against the questions they name: unknown ids,
+ * Choice/Score used as Booleans, predicate fields that the primitive does not carry,
+ * and unknown Choice labels.
+ */
+export function validatePrimitiveRefs(id, factor, questions, factorIds, loc) {
+    const diagnostics = [];
+    if (factor.kind === "predicate") {
+        const q = questions.get(factor.ref);
+        if (!q) {
+            diagnostics.push(diagnostic("error", "unknown-ref", `factor \`${id}\` references unknown question \`${factor.ref}\``, loc));
+            return diagnostics;
+        }
+        if (factor.choice !== undefined) {
+            if (q.type !== "choice") {
+                diagnostics.push(diagnostic("error", "choice-on-non-choice", `\`choice\` is not available on ${capitalize(q.type)} \`${factor.ref}\``, loc));
+            }
+            else if (!q.choiceLabels?.includes(factor.choice)) {
+                diagnostics.push(diagnostic("error", "unknown-option", `factor \`${id}\` references Choice \`${factor.ref}\` with unknown option \`${factor.choice}\``, loc, `available: ${q.choiceLabels?.join(", ") ?? ""}`));
+            }
+        }
+        if (factor.noul !== undefined && q.type !== "noul") {
+            diagnostics.push(diagnostic("error", "noul-on-non-noul", `\`noul\` is not available on ${capitalize(q.type)} \`${factor.ref}\``, loc));
+        }
+        if (factor.score !== undefined && q.type !== "score") {
+            diagnostics.push(diagnostic("error", "score-on-non-score", `\`score\` is not available on ${capitalize(q.type)} \`${factor.ref}\``, loc));
+        }
+        if (factor.confidence !== undefined && q.type === "noul") {
+            diagnostics.push(diagnostic("error", "noul-confidence", `\`confidence\` is not available on Noul \`${factor.ref}\` (Noul answers carry only \`noul\`)`, loc));
+        }
+        return diagnostics;
+    }
+    for (const ref of referencedIds(factor)) {
+        if (factorIds.has(ref) || questions.has(ref)) {
+            const q = questions.get(ref);
+            if (q && q.type !== "noul") {
+                diagnostics.push(diagnostic("error", "non-boolean-ref", `${capitalize(q.type)} \`${ref}\` used directly in \`${factor.kind}\`; wrap it in a predicate: { ref = "${ref}", ${q.type === "choice" ? 'choice = "…"' : "score = { gte = … }"} }`, loc));
+            }
+            continue;
+        }
+        diagnostics.push(diagnostic("error", "unknown-ref", `factor \`${id}\` references unknown id \`${ref}\``, loc));
+    }
+    return diagnostics;
+}
+function capitalize(value) {
+    return value.length === 0 ? value : value[0].toUpperCase() + value.slice(1);
+}
+//# sourceMappingURL=schema.js.map

package/dist/factors/schema.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"schema.js","sourceRoot":"","sources":["../../src/factors/schema.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,UAAU,EAAE,MAAM,8BAA8B,CAAC;AAC1D,OAAO,EAAE,WAAW,EAAE,MAAM,EAAoB,MAAM,yBAAyB,CAAC;AAChF,OAAO,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAG3C,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,CAAU,CAAC;AA+BnE,MAAM,aAAa,GAAG,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,UAAU,CAAU,CAAC;AACjE,MAAM,qBAAqB,GAAgE;IACzF,GAAG,EAAE,IAAI,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC;IACrB,GAAG,EAAE,IAAI,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC;IACrB,GAAG,EAAE,IAAI,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC;IACrB,QAAQ,EAAE,IAAI,GAAG,CAAC,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC;CACtC,CAAC;AACF,MAAM,sBAAsB,GAAG,IAAI,GAAG,CAAC,CAAC,KAAK,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,YAAY,CAAC,CAAC,CAAC;AAElG,MAAM,UAAU,YAAY,CAC1B,GAAY,EACZ,WAAgC,EAChC,QAAqB,WAAW;IAMhC,MAAM,WAAW,GAAiB,EAAE,CAAC;IACrC,MAAM,OAAO,GAA8B,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IAC/D,MAAM,iBAAiB,GAAgC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IAE3E,IAAI,GAAG,IAAI,IAAI;QAAE,OAAO,EAAE,OAAO,EAAE,iBAAiB,EAAE,WAAW,EAAE,CAAC;IACpE,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,EAAE,CAAC;QACxB,WAAW,CAAC,IAAI,CACd,UAAU,CACR,OAAO,EACP,mBAAmB,EACnB,kDAAkD,EAClD,MAAM,CAAC,KAAK,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC,CACpC,CACF,CAAC;QACF,OAAO,EAAE,OAAO,EAAE,iBAAiB,EAAE,WAAW,EAAE,CAAC;IACrD,CAAC;IAED,KAAK,MAAM,CAAC,EAAE,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;QAC9C,MAAM,GAAG,GAAG,MAAM,CAAC,KAAK,EAAE,EAAE,OAAO,EAAE,SAAS,EAAE,GAAG,EAAE,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC,CAAC;QAC7E,IAAI,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC;YACxB,WAAW,CAAC,IAAI,CACd,UAAU,CACR,OAAO,EACP,cAAc,EACd,YAAY,EAAE,+BAA+B,EAAE,IAAI,EACnD,GAAG,CACJ,CACF,CAAC;YACF,SAAS;QACX,CAAC;QACD,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,EAAE,CAAC;YAC1B,WAAW,CAAC,IAAI,CACd,UAAU,CAAC,OAAO,EAAE,kBAAkB,EAAE,YAAY,EAAE,4BAA4B,EAAE,GAAG,CAAC,CACzF,CAAC;YACF,SAAS;QACX,CAAC;QACD,MAAM,MAAM,GAAG,WAAW,CAAC,EAAE,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC;QAC3C,WAAW,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,WAAW,CAAC,CAAC;QACxC,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;YAClB,OAAO,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC;YAC5B,iBAAiB,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC;QAChC,CAAC;IACH,CAAC;IAED,OAAO,EAAE,OAAO,EAAE,iBAAiB,EAAE,WAAW,EAAE,CAAC;AACrD,CAAC;AAED,SAAS,WAAW,CAClB,EAAU,EACV,KAA8B,EAC9B,GAAmB;IAEnB,MAAM,WAAW,GAAiB,EAAE,CAAC;IACrC,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IAC3C,MAAM,SAAS,GAAG,aAAa,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC;IAC3E,IAAI,MAAM,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACnC,WAAW,CAAC,IAAI,CACd,UAAU,CACR,OAAO,EACP,cAAc,EACd,YAAY,EAAE,0DAA0D,EACxE,GAAG,CACJ,CACF,CAAC;QACF,OAAO,EAAE,WAAW,EAAE,CAAC;IACzB,CAAC;IACD,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACzB,WAAW,CAAC,IAAI,CACd,UAAU,CACR,OAAO,EACP,cAAc,EACd,YAAY,EAAE,8BAA8B,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,oBAAoB,EACpF,GAAG,EACH,uCAAuC,CACxC,CACF,CAAC;QACF,OAAO,EAAE,WAAW,EAAE,CAAC;IACzB,CAAC;IACD,MAAM,WAAW,GAAG,MAAM;QACxB,CAAC,CAAC,sBAAsB;QACxB,CAAC,CAAC,qBAAqB,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,UAAU,CAAC,CAAC;IACtD,MAAM,OAAO,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IACtE,KAAK,MAAM,GAAG,IAAI,OAAO,EAAE,CAAC;QAC1B,WAAW,CAAC,IAAI,CACd,UAAU,CACR,OAAO,EACP,sBAAsB,EACtB,YAAY,EAAE,0BAA0B,GAAG,IAAI,EAC/C,GAAG,CACJ,CACF,CAAC;IACJ,CAAC;IACD,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,EAAE,WAAW,EAAE,CAAC;IAE/C,IAAI,MAAM,EAAE,CAAC;QACX,OAAO,cAAc,CAAC,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,WAAW,CAAC,CAAC;IACrD,CAAC;IACD,IAAI,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,UAAU,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC,CAAC,EAAE,CAAC;QAC/F,OAAO,YAAY,CAAC,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,WAAW,CAAC,CAAC;IACnD,CAAC;IACD,IAAI,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,EAAE,CAAC;QAChC,MAAM,EAAE,GAAG,cAAc,CAAC,EAAE,EAAE,KAAK,EAAE,KAAK,CAAC,GAAG,EAAE,GAAG,EAAE,WAAW,CAAC,CAAC;QAClE,IAAI,CAAC,EAAE;YAAE,OAAO,EAAE,WAAW,EAAE,CAAC;QAChC,OAAO,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,EAAE,WAAW,EAAE,CAAC;IACtD,CAAC;IACD,IAAI,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,EAAE,CAAC;QAChC,MAAM,EAAE,GAAG,cAAc,CAAC,EAAE,EAAE,KAAK,EAAE,KAAK,CAAC,GAAG,EAAE,GAAG,EAAE,WAAW,CAAC,CAAC;QAClE,IAAI,CAAC,EAAE;YAAE,OAAO,EAAE,WAAW,EAAE,CAAC;QAChC,OAAO,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,EAAE,WAAW,EAAE,CAAC;IACtD,CAAC;IACD,IAAI,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,EAAE,CAAC;QAChC,IAAI,OAAO,KAAK,CAAC,GAAG,KAAK,QAAQ,EAAE,CAAC;YAClC,WAAW,CAAC,IAAI,CACd,UAAU,CAAC,OAAO,EAAE,YAAY,EAAE,YAAY,EAAE,gCAAgC,EAAE,GAAG,CAAC,CACvF,CAAC;YACF,OAAO,EAAE,WAAW,EAAE,CAAC;QACzB,CAAC;QACD,OAAO,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,KAAK,CAAC,GAAG,EAAE,EAAE,WAAW,EAAE,CAAC;IACjE,CAAC;IAED,WAAW,CAAC,IAAI,CACd,UAAU,CACR,OAAO,EACP,cAAc,EACd,YAAY,EAAE,8CAA8C,EAC5D,GAAG,EACH,sCAAsC,CACvC,CACF,CAAC;IACF,OAAO,EAAE,WAAW,EAAE,CAAC;AACzB,CAAC;AAED,SAAS,cAAc,CACrB,EAAU,EACV,KAA8B,EAC9B,GAAmB,EACnB,WAAyB;IAEzB,IAAI,OAAO,KAAK,CAAC,GAAG,KAAK,QAAQ,IAAI,KAAK,CAAC,GAAG,KAAK,EAAE,EAAE,CAAC;QACtD,WAAW,CAAC,IAAI,CACd,UAAU,CAAC,OAAO,EAAE,eAAe,EAAE,YAAY,EAAE,kCAAkC,EAAE,GAAG,CAAC,CAC5F,CAAC;QACF,OAAO,EAAE,WAAW,EAAE,CAAC;IACzB,CAAC;IAED,MAAM,MAAM,GAAoB,EAAE,IAAI,EAAE,WAAW,EAAE,GAAG,EAAE,KAAK,CAAC,GAAG,EAAE,CAAC;IACtE,IAAI,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,OAAO,CAAC,EAAE,CAAC;QAClC,IAAI,OAAO,KAAK,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;YACrC,WAAW,CAAC,IAAI,CACd,UAAU,CAAC,OAAO,EAAE,iBAAiB,EAAE,YAAY,EAAE,gCAAgC,EAAE,GAAG,CAAC,CAC5F,CAAC;YACF,OAAO,EAAE,WAAW,EAAE,CAAC;QACzB,CAAC;QACD,MAAM,CAAC,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC;IAC7B,CAAC;IACD,IAAI,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,QAAQ,CAAC,EAAE,CAAC;QACnC,IAAI,OAAO,KAAK,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;YACrC,WAAW,CAAC,IAAI,CACd,UAAU,CACR,OAAO,EACP,kBAAkB,EAClB,YAAY,EAAE,sCAAsC,EACpD,GAAG,CACJ,CACF,CAAC;YACF,OAAO,EAAE,WAAW,EAAE,CAAC;QACzB,CAAC;QACD,MAAM,CAAC,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC;IAC/B,CAAC;IACD,KAAK,MAAM,KAAK,IAAI,CAAC,MAAM,EAAE,OAAO,EAAE,YAAY,CAAU,EAAE,CAAC;QAC7D,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,IAAI,KAAK,CAAC,KAAK,CAAC,KAAK,SAAS;YAAE,SAAS;QACzE,MAAM,GAAG,GAAG,eAAe,CAAC,EAAE,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,EAAE,GAAG,EAAE,WAAW,CAAC,CAAC;QACvE,IAAI,CAAC,GAAG;YAAE,OAAO,EAAE,WAAW,EAAE,CAAC;QACjC,MAAM,CAAC,KAAK,CAAC,GAAG,GAAG,CAAC;IACtB,CAAC;IAED,IACE,MAAM,CAAC,KAAK,KAAK,SAAS;QAC1B,MAAM,CAAC,MAAM,KAAK,SAAS;QAC3B,MAAM,CAAC,IAAI,KAAK,SAAS;QACzB,MAAM,CAAC,KAAK,KAAK,SAAS;QAC1B,MAAM,CAAC,UAAU,KAAK,SAAS,EAC/B,CAAC;QACD,WAAW,CAAC,IAAI,CACd,UAAU,CACR,OAAO,EACP,iBAAiB,EACjB,YAAY,EAAE,sEAAsE,EACpF,GAAG,CACJ,CACF,CAAC;QACF,OAAO,EAAE,WAAW,EAAE,CAAC;IACzB,CAAC;IAED,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,CAAC;AACjC,CAAC;AAED,SAAS,YAAY,CACnB,EAAU,EACV,KAA8B,EAC9B,GAAmB,EACnB,WAAyB;IAEzB,IACE,OAAO,KAAK,CAAC,QAAQ,KAAK,QAAQ;QAClC,CAAC,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,QAAQ,CAAC;QACjC,KAAK,CAAC,QAAQ,GAAG,CAAC,EAClB,CAAC;QACD,WAAW,CAAC,IAAI,CACd,UAAU,CACR,OAAO,EACP,gBAAgB,EAChB,YAAY,EAAE,4CAA4C,EAC1D,GAAG,CACJ,CACF,CAAC;QACF,OAAO,EAAE,WAAW,EAAE,CAAC;IACzB,CAAC;IACD,MAAM,EAAE,GAAG,cAAc,CAAC,EAAE,EAAE,IAAI,EAAE,KAAK,CAAC,EAAE,EAAE,GAAG,EAAE,WAAW,CAAC,CAAC;IAChE,IAAI,CAAC,EAAE;QAAE,OAAO,EAAE,WAAW,EAAE,CAAC;IAChC,OAAO,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,KAAK,CAAC,QAAQ,EAAE,EAAE,EAAE,EAAE,WAAW,EAAE,CAAC;AAClF,CAAC;AAED,SAAS,eAAe,CACtB,EAAU,EACV,KAAa,EACb,KAAc,EACd,GAAmB,EACnB,WAAyB;IAEzB,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,EAAE,CAAC;QAC1B,WAAW,CAAC,IAAI,CACd,UAAU,CACR,OAAO,EACP,kBAAkB,EAClB,YAAY,EAAE,QAAQ,KAAK,+BAA+B,EAC1D,GAAG,EACH,qBAAqB,CACtB,CACF,CAAC;QACF,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,MAAM,OAAO,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,eAAe,CAAC,QAAQ,CAAC,CAAkB,CAAC,CAAC,CAAC;IAChG,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACvB,WAAW,CAAC,IAAI,CACd,UAAU,CACR,OAAO,EACP,iBAAiB,EACjB,YAAY,EAAE,QAAQ,KAAK,6BAA6B,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,EACnG,GAAG,EACH,sBAAsB,CACvB,CACF,CAAC;QACF,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,MAAM,GAAG,GAAe,EAAE,CAAC;IAC3B,KAAK,MAAM,GAAG,IAAI,eAAe,EAAE,CAAC;QAClC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,GAAG,CAAC,IAAI,KAAK,CAAC,GAAG,CAAC,KAAK,SAAS;YAAE,SAAS;QACrE,IAAI,OAAO,KAAK,CAAC,GAAG,CAAC,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;YACnE,WAAW,CAAC,IAAI,CACd,UAAU,CACR,OAAO,EACP,mBAAmB,EACnB,YAAY,EAAE,QAAQ,KAAK,IAAI,GAAG,4BAA4B,EAC9D,GAAG,CACJ,CACF,CAAC;YACF,OAAO,SAAS,CAAC;QACnB,CAAC;QACD,GAAG,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC;IACxB,CAAC;IACD,IAAI,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAClC,WAAW,CAAC,IAAI,CACd,UAAU,CACR,OAAO,EACP,kBAAkB,EAClB,YAAY,EAAE,QAAQ,KAAK,wCAAwC,EACnE,GAAG,CACJ,CACF,CAAC;QACF,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,cAAc,CACrB,EAAU,EACV,KAAa,EACb,KAAc,EACd,GAAmB,EACnB,WAAyB;IAEzB,IACE,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QACrB,KAAK,CAAC,MAAM,KAAK,CAAC;QAClB,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,IAAI,KAAK,QAAQ,CAAC,EAC9C,CAAC;QACD,WAAW,CAAC,IAAI,CACd,UAAU,CACR,OAAO,EACP,aAAa,EACb,YAAY,EAAE,QAAQ,KAAK,qCAAqC,EAChE,GAAG,CACJ,CACF,CAAC;QACF,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,OAAO,CAAC,GAAG,KAAK,CAAa,CAAC;AAChC,CAAC;AAED,MAAM,UAAU,aAAa,CAAC,MAAiB;IAC7C,QAAQ,MAAM,CAAC,IAAI,EAAE,CAAC;QACpB,KAAK,WAAW;YACd,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;QACtB,KAAK,KAAK;YACR,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;QACrB,KAAK,KAAK,CAAC;QACX,KAAK,KAAK,CAAC;QACX,KAAK,UAAU;YACb,OAAO,MAAM,CAAC,EAAE,CAAC;IACrB,CAAC;AACH,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,qBAAqB,CACnC,EAAU,EACV,MAAiB,EACjB,SAA4C,EAC5C,SAA8B,EAC9B,GAAmB;IAEnB,MAAM,WAAW,GAAiB,EAAE,CAAC;IAErC,IAAI,MAAM,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAChC,MAAM,CAAC,GAAG,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;QACpC,IAAI,CAAC,CAAC,EAAE,CAAC;YACP,WAAW,CAAC,IAAI,CACd,UAAU,CACR,OAAO,EACP,aAAa,EACb,YAAY,EAAE,oCAAoC,MAAM,CAAC,GAAG,IAAI,EAChE,GAAG,CACJ,CACF,CAAC;YACF,OAAO,WAAW,CAAC;QACrB,CAAC;QACD,IAAI,MAAM,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;YAChC,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;gBACxB,WAAW,CAAC,IAAI,CACd,UAAU,CACR,OAAO,EACP,sBAAsB,EACtB,kCAAkC,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,MAAM,CAAC,GAAG,IAAI,EACxE,GAAG,CACJ,CACF,CAAC;YACJ,CAAC;iBAAM,IAAI,CAAC,CAAC,CAAC,YAAY,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC;gBACpD,WAAW,CAAC,IAAI,CACd,UAAU,CACR,OAAO,EACP,gBAAgB,EAChB,YAAY,EAAE,0BAA0B,MAAM,CAAC,GAAG,4BAA4B,MAAM,CAAC,MAAM,IAAI,EAC/F,GAAG,EACH,cAAc,CAAC,CAAC,YAAY,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,CACjD,CACF,CAAC;YACJ,CAAC;QACH,CAAC;QACD,IAAI,MAAM,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YACnD,WAAW,CAAC,IAAI,CACd,UAAU,CACR,OAAO,EACP,kBAAkB,EAClB,gCAAgC,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,MAAM,CAAC,GAAG,IAAI,EACtE,GAAG,CACJ,CACF,CAAC;QACJ,CAAC;QACD,IAAI,MAAM,CAAC,KAAK,KAAK,SAAS,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;YACrD,WAAW,CAAC,IAAI,CACd,UAAU,CACR,OAAO,EACP,oBAAoB,EACpB,iCAAiC,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,MAAM,CAAC,GAAG,IAAI,EACvE,GAAG,CACJ,CACF,CAAC;QACJ,CAAC;QACD,IAAI,MAAM,CAAC,UAAU,KAAK,SAAS,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YACzD,WAAW,CAAC,IAAI,CACd,UAAU,CACR,OAAO,EACP,iBAAiB,EACjB,6CAA6C,MAAM,CAAC,GAAG,uCAAuC,EAC9F,GAAG,CACJ,CACF,CAAC;QACJ,CAAC;QACD,OAAO,WAAW,CAAC;IACrB,CAAC;IAED,KAAK,MAAM,GAAG,IAAI,aAAa,CAAC,MAAM,CAAC,EAAE,CAAC;QACxC,IAAI,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;YAC7C,MAAM,CAAC,GAAG,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YAC7B,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;gBAC3B,WAAW,CAAC,IAAI,CACd,UAAU,CACR,OAAO,EACP,iBAAiB,EACjB,GAAG,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,GAAG,yBAAyB,MAAM,CAAC,IAAI,wCAAwC,GAAG,MAAM,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,qBAAqB,IAAI,EACnL,GAAG,CACJ,CACF,CAAC;YACJ,CAAC;YACD,SAAS;QACX,CAAC;QACD,WAAW,CAAC,IAAI,CACd,UAAU,CAAC,OAAO,EAAE,aAAa,EAAE,YAAY,EAAE,8BAA8B,GAAG,IAAI,EAAE,GAAG,CAAC,CAC7F,CAAC;IACJ,CAAC;IACD,OAAO,WAAW,CAAC;AACrB,CAAC;AAED,SAAS,UAAU,CAAC,KAAa;IAC/B,OAAO,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,WAAW,EAAE,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;AAC/E,CAAC"}

package/dist/generate/generate.d.ts

@@ -0,0 +1,16 @@
+import type { Definition } from "../definition/schema.js";
+export interface GenerateOptions {
+    /** Used for diagnostics and, unless `sourceName` is given, for the header. */
+    filename?: string;
+    /** Name recorded in the generated header; defaults to the basename of `filename`. */
+    sourceName?: string;
+}
+/**
+ * Parse, check, and emit a `*.generated.ts` module. Throws `SystemOnePromptsError` listing every
+ * error when the definition does not check. Output is deterministic: identical TOML
+ * yields byte-identical TypeScript.
+ */
+export declare function generate(source: string, opts?: GenerateOptions): string;
+/** Emit TypeScript for an already-checked definition. */
+export declare function emitGenerated(def: Definition, sourceName: string): string;
+//# sourceMappingURL=generate.d.ts.map

package/dist/generate/generate.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"generate.d.ts","sourceRoot":"","sources":["../../src/generate/generate.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,yBAAyB,CAAC;AAG1D,MAAM,WAAW,eAAe;IAC9B,8EAA8E;IAC9E,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,qFAAqF;IACrF,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB;AAED;;;;GAIG;AACH,wBAAgB,QAAQ,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,GAAE,eAAoB,GAAG,MAAM,CAM3E;AAED,yDAAyD;AACzD,wBAAgB,aAAa,CAAC,GAAG,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,GAAG,MAAM,CAwCzE"}