@sourcey/catalog-verifier 1.1.0 → 1.1.2

package/dist/modules/evidence-comparison/src/values.js

@@ -0,0 +1,283 @@
+import { compareCanonicalStrings } from "provenry/primitives";
+import { getPublicSuffix } from "tldts";
+import { minorUnitsOf, numericTokens, periodsEqual, } from "../../evidence-grounding/src/index.js";
+export function moneyEqual(left, right) {
+    return left.currency === right.currency && left.minor_units === right.minor_units;
+}
+/** Same bound and same amounts: "up to 5,000" never equals "exactly 5,000" or "up to 25,000". */
+export function moneyValueEqual(left, right) {
+    if (left.kind === "range" || right.kind === "range") {
+        return (left.kind === "range" &&
+            right.kind === "range" &&
+            moneyEqual(left.minimum, right.minimum) &&
+            moneyEqual(left.maximum, right.maximum));
+    }
+    return left.kind === right.kind && moneyEqual(left.amount, right.amount);
+}
+export function percentageValueEqual(left, right) {
+    if (left.kind === "range" || right.kind === "range") {
+        return (left.kind === "range" &&
+            right.kind === "range" &&
+            left.minimum_basis_points === right.minimum_basis_points &&
+            left.maximum_basis_points === right.maximum_basis_points);
+    }
+    return left.kind === right.kind && left.basis_points === right.basis_points;
+}
+export function durationValueEqual(left, right) {
+    return left.kind === right.kind && periodsEqual(left.value, right.value);
+}
+export function cashbackValueEqual(left, right) {
+    if (left.kind === "money" && right.kind === "money")
+        return moneyValueEqual(left.value, right.value);
+    if (left.kind === "percentage" && right.kind === "percentage") {
+        return percentageValueEqual(left.value, right.value);
+    }
+    return false;
+}
+/** The written tokens a typed value needs to be stated by its passages. */
+export function moneyValueTokens(value) {
+    const amounts = value.kind === "range" ? [value.minimum, value.maximum] : [value.amount];
+    return amounts.map(({ currency, minor_units: minorUnits }) => ({
+        kind: "money",
+        currency,
+        minorUnits,
+    }));
+}
+export function percentageValueTokens(value) {
+    const points = value.kind === "range"
+        ? [value.minimum_basis_points, value.maximum_basis_points]
+        : [value.basis_points];
+    return points.map((basisPoints) => ({ kind: "percentage", basisPoints }));
+}
+export function durationValueTokens(value) {
+    return [{ kind: "period", iso: value.value }];
+}
+export function cashbackValueTokens(value) {
+    return value.kind === "money"
+        ? moneyValueTokens(value.value)
+        : percentageValueTokens(value.value);
+}
+/**
+ * The figures a numeric or date eligibility condition needs its passage to
+ * write, one for each value of a set. A numeric fact's unit comes from its
+ * declared suffix in the Catalog vocabulary.
+ */
+export function conditionValueTokens(condition) {
+    if (!("value" in condition))
+        return [];
+    const { fact, value } = condition;
+    if (value.type === "date")
+        return [{ kind: "date", iso: value.value }];
+    if (value.type === "number")
+        return [factFigure(fact, value.value)];
+    if (value.type === "number-set")
+        return value.values.map((figure) => factFigure(fact, figure));
+    return [];
+}
+/** The category values a condition names, each of which its passage must write. */
+export function conditionValueLiterals(condition) {
+    if (!("value" in condition))
+        return [];
+    const { value } = condition;
+    if (value.type === "string")
+        return [value.value];
+    if (value.type === "string-set")
+        return value.values;
+    return [];
+}
+function factFigure(fact, value) {
+    if (fact.endsWith("_usd"))
+        return { kind: "money", currency: "USD", minorUnits: minorUnitsOf("USD", value) };
+    if (fact.endsWith("_months"))
+        return { kind: "period", iso: `P${value}M` };
+    if (fact.endsWith("_years"))
+        return { kind: "period", iso: `P${value}Y` };
+    if (fact.endsWith("_days"))
+        return { kind: "period", iso: `P${value}D` };
+    return { kind: "number", value };
+}
+/** True when every required token is written somewhere in the passages. */
+export function tokensWrittenIn(required, passages) {
+    const written = passages.flatMap((passage) => numericTokens(passage));
+    return required.every((token) => written.some((candidate) => tokensEqual(token, candidate)));
+}
+export function tokensEqual(left, right) {
+    switch (left.kind) {
+        case "money":
+            return (right.kind === "money" &&
+                right.currency === left.currency &&
+                right.minorUnits === left.minorUnits);
+        case "percentage":
+            return right.kind === "percentage" && right.basisPoints === left.basisPoints;
+        case "period":
+            return right.kind === "period" && periodsEqual(left.iso, right.iso);
+        case "date":
+            return right.kind === "date" && right.iso === left.iso;
+        default:
+            return right.kind === "number" && right.value === left.value;
+    }
+}
+const NEGATED_OPERATOR = {
+    lt: "gte",
+    lte: "gt",
+    gt: "lte",
+    gte: "lt",
+    eq: "neq",
+    neq: "eq",
+    present: "absent",
+    absent: "present",
+};
+/**
+ * One canonical reading of a condition, optionally negated: `not(lt 5M)` reads
+ * as `gte 5M`, a boolean `neq true` reads as `eq false`, and category values
+ * compare without case or Unicode form. A predicate's criterion ID and
+ * statement are identity and prose, never compared.
+ */
+export function canonicalCondition(condition, negated = false) {
+    let operator = condition.operator;
+    if (negated) {
+        const flipped = NEGATED_OPERATOR[operator];
+        if (!flipped)
+            return null;
+        operator = flipped;
+    }
+    let value = "value" in condition ? condition.value : null;
+    if ((operator === "eq" || operator === "neq") &&
+        typeof value === "object" &&
+        value !== null &&
+        "type" in value &&
+        value.type === "boolean" &&
+        "value" in value) {
+        value = { type: "boolean", value: operator === "eq" ? value.value : !value.value };
+        operator = "eq";
+    }
+    if (typeof value === "object" && value !== null && "type" in value) {
+        if (value.type === "string" && "value" in value && typeof value.value === "string") {
+            value = { type: "string", value: categoryValue(value.value) };
+        }
+        else if (value.type === "string-set" && "values" in value) {
+            const values = value.values.map(categoryValue);
+            value = { type: "string-set", values: [...new Set(values)].sort(compareCanonicalStrings) };
+        }
+        else if (value.type === "number-set" && "values" in value) {
+            const values = [...new Set(value.values)].sort((a, b) => a - b);
+            value = { type: "number-set", values };
+        }
+        else if ((value.type === "number" || value.type === "date") && "value" in value) {
+            // Rebuilt in one key order, so equality never depends on how the value was written.
+            value = { type: value.type, value: value.value };
+        }
+    }
+    return { fact: condition.fact, operator, value };
+}
+function categoryValue(value) {
+    return value.normalize("NFKC").toLowerCase().replace(/\s+/gu, " ").trim();
+}
+export function conditionsEqual(left, right) {
+    return (left !== null &&
+        right !== null &&
+        left.fact === right.fact &&
+        left.operator === right.operator &&
+        JSON.stringify(left.value) === JSON.stringify(right.value));
+}
+/**
+ * A stated conflict: the same fact bounded the same way at a different
+ * figure, a condition and its exact negation, or a yes/no fact required both
+ * ways. Any other difference (an
+ * inclusive bound, another category, another set) is a different reading,
+ * never evidence against the other.
+ */
+export function conditionsConflict(left, right) {
+    if (left === null || right === null || left.fact !== right.fact)
+        return false;
+    if (conditionsEqual(left, right))
+        return false;
+    // One condition that is exactly the other's negation (`gte 5M` against `lt 5M`) is a conflict.
+    if (NEGATED_OPERATOR[left.operator] === right.operator &&
+        JSON.stringify(left.value) === JSON.stringify(right.value)) {
+        return true;
+    }
+    if (left.operator !== right.operator)
+        return false;
+    const a = left.value;
+    const b = right.value;
+    if (a?.type !== b?.type || a?.value === b?.value)
+        return false;
+    if (["lt", "lte", "gt", "gte"].includes(left.operator)) {
+        return a?.type === "number" || a?.type === "date";
+    }
+    return left.operator === "eq" && a?.type === "boolean";
+}
+/**
+ * One resource per URL: for a web URL, scheme, host without `www.`, port,
+ * path without a trailing slash, and sorted query; the fragment never names
+ * a different resource. Any other URL is its exact form. Relative targets
+ * resolve against `base`. Null when the value is not a URL.
+ */
+export function canonicalResourceUrl(value, base) {
+    let url;
+    try {
+        url = new URL(value, base);
+    }
+    catch {
+        return null;
+    }
+    if (!WEB_PROTOCOLS.has(url.protocol))
+        return url.href;
+    const host = url.hostname
+        .toLowerCase()
+        .replace(/\.$/u, "")
+        .replace(/^www\./u, "");
+    const path = url.pathname.replace(/\/+$/u, "") || "/";
+    const query = [...url.searchParams.entries()].sort(([left], [right]) => compareCanonicalStrings(left, right));
+    const port = url.port ? `:${url.port}` : "";
+    return `${url.protocol}//${host}${port}${path}?${new URLSearchParams(query).toString()}`;
+}
+export function sameResource(left, right) {
+    const canonical = canonicalResourceUrl(left);
+    return canonical !== null && canonical === canonicalResourceUrl(right);
+}
+const WEB_PROTOCOLS = new Set(["http:", "https:"]);
+/** Scheme and host without `www.`: the origin a web URL belongs to, or null for anything else. */
+function canonicalOrigin(value) {
+    let url;
+    try {
+        url = new URL(value);
+    }
+    catch {
+        return null;
+    }
+    if (!WEB_PROTOCOLS.has(url.protocol))
+        return null;
+    return `${url.protocol}//${url.hostname
+        .toLowerCase()
+        .replace(/\.$/u, "")
+        .replace(/^www\./u, "")}${url.port ? `:${url.port}` : ""}`;
+}
+export function sameOrigin(left, right) {
+    const origin = canonicalOrigin(left);
+    return origin !== null && origin === canonicalOrigin(right);
+}
+/** True for a URL that names an origin itself: the root path, with no query. */
+export function originRoot(value) {
+    return canonicalResourceUrl(value)?.endsWith("/?") === true;
+}
+/**
+ * Whether a domain is a public suffix, such as `io`, `co.uk` or `github.io`:
+ * a namespace many parties register under, which no one vendor can claim.
+ */
+export function domainIsPublicSuffix(domain) {
+    const normalized = domain.toLowerCase().replace(/\.$/u, "");
+    return getPublicSuffix(normalized, { allowPrivateDomains: true }) === normalized;
+}
+/** A host is the domain itself or one of its subdomains. */
+export function hostWithinDomain(host, domain) {
+    const normalizedHost = host.toLowerCase().replace(/\.$/u, "");
+    const normalizedDomain = domain.toLowerCase().replace(/\.$/u, "");
+    return normalizedHost === normalizedDomain || normalizedHost.endsWith(`.${normalizedDomain}`);
+}
+/** Names compare after Unicode, case and spacing normalization only. */
+export function normalizedName(name) {
+    return name.normalize("NFKC").toLowerCase().replace(/\s+/gu, " ").trim();
+}
+//# sourceMappingURL=values.js.map

package/dist/modules/evidence-comparison/src/values.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"values.js","sourceRoot":"","sources":["../../../../modules/evidence-comparison/src/values.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,uBAAuB,EAAE,MAAM,qBAAqB,CAAC;AAC9D,OAAO,EAAE,eAAe,EAAE,MAAM,OAAO,CAAC;AAUxC,OAAO,EACL,YAAY,EAEZ,aAAa,EACb,YAAY,GACb,MAAM,uCAAuC,CAAC;AAS/C,MAAM,UAAU,UAAU,CAAC,IAAW,EAAE,KAAY;IAClD,OAAO,IAAI,CAAC,QAAQ,KAAK,KAAK,CAAC,QAAQ,IAAI,IAAI,CAAC,WAAW,KAAK,KAAK,CAAC,WAAW,CAAC;AACpF,CAAC;AAED,iGAAiG;AACjG,MAAM,UAAU,eAAe,CAAC,IAAgB,EAAE,KAAiB;IACjE,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QACpD,OAAO,CACL,IAAI,CAAC,IAAI,KAAK,OAAO;YACrB,KAAK,CAAC,IAAI,KAAK,OAAO;YACtB,UAAU,CAAC,IAAI,CAAC,OAAO,EAAE,KAAK,CAAC,OAAO,CAAC;YACvC,UAAU,CAAC,IAAI,CAAC,OAAO,EAAE,KAAK,CAAC,OAAO,CAAC,CACxC,CAAC;IACJ,CAAC;IACD,OAAO,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI,IAAI,UAAU,CAAC,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;AAC3E,CAAC;AAED,MAAM,UAAU,oBAAoB,CAAC,IAAqB,EAAE,KAAsB;IAChF,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QACpD,OAAO,CACL,IAAI,CAAC,IAAI,KAAK,OAAO;YACrB,KAAK,CAAC,IAAI,KAAK,OAAO;YACtB,IAAI,CAAC,oBAAoB,KAAK,KAAK,CAAC,oBAAoB;YACxD,IAAI,CAAC,oBAAoB,KAAK,KAAK,CAAC,oBAAoB,CACzD,CAAC;IACJ,CAAC;IACD,OAAO,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI,IAAI,IAAI,CAAC,YAAY,KAAK,KAAK,CAAC,YAAY,CAAC;AAC9E,CAAC;AAED,MAAM,UAAU,kBAAkB,CAAC,IAAmB,EAAE,KAAoB;IAC1E,OAAO,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI,IAAI,YAAY,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;AAC3E,CAAC;AAED,MAAM,UAAU,kBAAkB,CAAC,IAAmB,EAAE,KAAoB;IAC1E,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO;QACjD,OAAO,eAAe,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;IAClD,IAAI,IAAI,CAAC,IAAI,KAAK,YAAY,IAAI,KAAK,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;QAC9D,OAAO,oBAAoB,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;IACvD,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,2EAA2E;AAC3E,MAAM,UAAU,gBAAgB,CAAC,KAAiB;IAChD,MAAM,OAAO,GAAG,KAAK,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;IACzF,OAAO,OAAO,CAAC,GAAG,CAAC,CAAC,EAAE,QAAQ,EAAE,WAAW,EAAE,UAAU,EAAE,EAAE,EAAE,CAAC,CAAC;QAC7D,IAAI,EAAE,OAAgB;QACtB,QAAQ;QACR,UAAU;KACX,CAAC,CAAC,CAAC;AACN,CAAC;AAED,MAAM,UAAU,qBAAqB,CAAC,KAAsB;IAC1D,MAAM,MAAM,GACV,KAAK,CAAC,IAAI,KAAK,OAAO;QACpB,CAAC,CAAC,CAAC,KAAK,CAAC,oBAAoB,EAAE,KAAK,CAAC,oBAAoB,CAAC;QAC1D,CAAC,CAAC,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC;IAC3B,OAAO,MAAM,CAAC,GAAG,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,YAAqB,EAAE,WAAW,EAAE,CAAC,CAAC,CAAC;AACrF,CAAC;AAED,MAAM,UAAU,mBAAmB,CAAC,KAAoB;IACtD,OAAO,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC;AAChD,CAAC;AAED,MAAM,UAAU,mBAAmB,CAAC,KAAoB;IACtD,OAAO,KAAK,CAAC,IAAI,KAAK,OAAO;QAC3B,CAAC,CAAC,gBAAgB,CAAC,KAAK,CAAC,KAAK,CAAC;QAC/B,CAAC,CAAC,qBAAqB,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;AACzC,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,oBAAoB,CAAC,SAA+B;IAClE,IAAI,CAAC,CAAC,OAAO,IAAI,SAAS,CAAC;QAAE,OAAO,EAAE,CAAC;IACvC,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,SAAS,CAAC;IAClC,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM;QAAE,OAAO,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC;IACvE,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,CAAC,UAAU,CAAC,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;IACpE,IAAI,KAAK,CAAC,IAAI,KAAK,YAAY;QAAE,OAAO,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,UAAU,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC;IAC/F,OAAO,EAAE,CAAC;AACZ,CAAC;AAED,mFAAmF;AACnF,MAAM,UAAU,sBAAsB,CAAC,SAA+B;IACpE,IAAI,CAAC,CAAC,OAAO,IAAI,SAAS,CAAC;QAAE,OAAO,EAAE,CAAC;IACvC,MAAM,EAAE,KAAK,EAAE,GAAG,SAAS,CAAC;IAC5B,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IAClD,IAAI,KAAK,CAAC,IAAI,KAAK,YAAY;QAAE,OAAO,KAAK,CAAC,MAAM,CAAC;IACrD,OAAO,EAAE,CAAC;AACZ,CAAC;AAED,SAAS,UAAU,CAAC,IAAY,EAAE,KAAa;IAC7C,IAAI,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC;QACvB,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,UAAU,EAAE,YAAY,CAAC,KAAK,EAAE,KAAK,CAAC,EAAE,CAAC;IACpF,IAAI,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC;QAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,IAAI,KAAK,GAAG,EAAE,CAAC;IAC3E,IAAI,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC;QAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,IAAI,KAAK,GAAG,EAAE,CAAC;IAC1E,IAAI,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC;QAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,IAAI,KAAK,GAAG,EAAE,CAAC;IACzE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC;AACnC,CAAC;AAED,2EAA2E;AAC3E,MAAM,UAAU,eAAe,CAC7B,QAAiC,EACjC,QAA2B;IAE3B,MAAM,OAAO,GAAG,QAAQ,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC,CAAC;IACtE,OAAO,QAAQ,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,WAAW,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC;AAC/F,CAAC;AAED,MAAM,UAAU,WAAW,CAAC,IAAkB,EAAE,KAAmB;IACjE,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,OAAO;YACV,OAAO,CACL,KAAK,CAAC,IAAI,KAAK,OAAO;gBACtB,KAAK,CAAC,QAAQ,KAAK,IAAI,CAAC,QAAQ;gBAChC,KAAK,CAAC,UAAU,KAAK,IAAI,CAAC,UAAU,CACrC,CAAC;QACJ,KAAK,YAAY;YACf,OAAO,KAAK,CAAC,IAAI,KAAK,YAAY,IAAI,KAAK,CAAC,WAAW,KAAK,IAAI,CAAC,WAAW,CAAC;QAC/E,KAAK,QAAQ;YACX,OAAO,KAAK,CAAC,IAAI,KAAK,QAAQ,IAAI,YAAY,CAAC,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC;QACtE,KAAK,MAAM;YACT,OAAO,KAAK,CAAC,IAAI,KAAK,MAAM,IAAI,KAAK,CAAC,GAAG,KAAK,IAAI,CAAC,GAAG,CAAC;QACzD;YACE,OAAO,KAAK,CAAC,IAAI,KAAK,QAAQ,IAAI,KAAK,CAAC,KAAK,KAAK,IAAI,CAAC,KAAK,CAAC;IACjE,CAAC;AACH,CAAC;AAID,MAAM,gBAAgB,GAAwC;IAC5D,EAAE,EAAE,KAAK;IACT,GAAG,EAAE,IAAI;IACT,EAAE,EAAE,KAAK;IACT,GAAG,EAAE,IAAI;IACT,EAAE,EAAE,KAAK;IACT,GAAG,EAAE,IAAI;IACT,OAAO,EAAE,QAAQ;IACjB,MAAM,EAAE,SAAS;CAClB,CAAC;AAQF;;;;;GAKG;AACH,MAAM,UAAU,kBAAkB,CAChC,SAA+B,EAC/B,OAAO,GAAG,KAAK;IAEf,IAAI,QAAQ,GAAa,SAAS,CAAC,QAAQ,CAAC;IAC5C,IAAI,OAAO,EAAE,CAAC;QACZ,MAAM,OAAO,GAAG,gBAAgB,CAAC,QAAQ,CAAC,CAAC;QAC3C,IAAI,CAAC,OAAO;YAAE,OAAO,IAAI,CAAC;QAC1B,QAAQ,GAAG,OAAO,CAAC;IACrB,CAAC;IACD,IAAI,KAAK,GAAY,OAAO,IAAI,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC;IACnE,IACE,CAAC,QAAQ,KAAK,IAAI,IAAI,QAAQ,KAAK,KAAK,CAAC;QACzC,OAAO,KAAK,KAAK,QAAQ;QACzB,KAAK,KAAK,IAAI;QACd,MAAM,IAAI,KAAK;QACf,KAAK,CAAC,IAAI,KAAK,SAAS;QACxB,OAAO,IAAI,KAAK,EAChB,CAAC;QACD,KAAK,GAAG,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,QAAQ,KAAK,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC;QACnF,QAAQ,GAAG,IAAI,CAAC;IAClB,CAAC;IACD,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,MAAM,IAAI,KAAK,EAAE,CAAC;QACnE,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ,IAAI,OAAO,IAAI,KAAK,IAAI,OAAO,KAAK,CAAC,KAAK,KAAK,QAAQ,EAAE,CAAC;YACnF,KAAK,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,aAAa,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;QAChE,CAAC;aAAM,IAAI,KAAK,CAAC,IAAI,KAAK,YAAY,IAAI,QAAQ,IAAI,KAAK,EAAE,CAAC;YAC5D,MAAM,MAAM,GAAI,KAAK,CAAC,MAA4B,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC;YACtE,KAAK,GAAG,EAAE,IAAI,EAAE,YAAY,EAAE,MAAM,EAAE,CAAC,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,uBAAuB,CAAC,EAAE,CAAC;QAC7F,CAAC;aAAM,IAAI,KAAK,CAAC,IAAI,KAAK,YAAY,IAAI,QAAQ,IAAI,KAAK,EAAE,CAAC;YAC5D,MAAM,MAAM,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,MAA2B,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;YACrF,KAAK,GAAG,EAAE,IAAI,EAAE,YAAY,EAAE,MAAM,EAAE,CAAC;QACzC,CAAC;aAAM,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,QAAQ,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM,CAAC,IAAI,OAAO,IAAI,KAAK,EAAE,CAAC;YAClF,oFAAoF;YACpF,KAAK,GAAG,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,CAAC;QACnD,CAAC;IACH,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,SAAS,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC;AACnD,CAAC;AAED,SAAS,aAAa,CAAC,KAAa;IAClC,OAAO,KAAK,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,WAAW,EAAE,CAAC,OAAO,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;AAC5E,CAAC;AAED,MAAM,UAAU,eAAe,CAC7B,IAA+B,EAC/B,KAAgC;IAEhC,OAAO,CACL,IAAI,KAAK,IAAI;QACb,KAAK,KAAK,IAAI;QACd,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI;QACxB,IAAI,CAAC,QAAQ,KAAK,KAAK,CAAC,QAAQ;QAChC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC,CAC3D,CAAC;AACJ,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,kBAAkB,CAChC,IAA+B,EAC/B,KAAgC;IAEhC,IAAI,IAAI,KAAK,IAAI,IAAI,KAAK,KAAK,IAAI,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI;QAAE,OAAO,KAAK,CAAC;IAC9E,IAAI,eAAe,CAAC,IAAI,EAAE,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IAC/C,+FAA+F;IAC/F,IACE,gBAAgB,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,KAAK,CAAC,QAAQ;QAClD,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC,EAC1D,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,IAAI,CAAC,QAAQ,KAAK,KAAK,CAAC,QAAQ;QAAE,OAAO,KAAK,CAAC;IACnD,MAAM,CAAC,GAAG,IAAI,CAAC,KAAoE,CAAC;IACpF,MAAM,CAAC,GAAG,KAAK,CAAC,KAAoE,CAAC;IACrF,IAAI,CAAC,EAAE,IAAI,KAAK,CAAC,EAAE,IAAI,IAAI,CAAC,EAAE,KAAK,KAAK,CAAC,EAAE,KAAK;QAAE,OAAO,KAAK,CAAC;IAC/D,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;QACvD,OAAO,CAAC,EAAE,IAAI,KAAK,QAAQ,IAAI,CAAC,EAAE,IAAI,KAAK,MAAM,CAAC;IACpD,CAAC;IACD,OAAO,IAAI,CAAC,QAAQ,KAAK,IAAI,IAAI,CAAC,EAAE,IAAI,KAAK,SAAS,CAAC;AACzD,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,oBAAoB,CAAC,KAAa,EAAE,IAAa;IAC/D,IAAI,GAAQ,CAAC;IACb,IAAI,CAAC;QACH,GAAG,GAAG,IAAI,GAAG,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IAC7B,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAC;QAAE,OAAO,GAAG,CAAC,IAAI,CAAC;IACtD,MAAM,IAAI,GAAG,GAAG,CAAC,QAAQ;SACtB,WAAW,EAAE;SACb,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC;SACnB,OAAO,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC;IAC1B,MAAM,IAAI,GAAG,GAAG,CAAC,QAAQ,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC,IAAI,GAAG,CAAC;IACtD,MAAM,KAAK,GAAG,CAAC,GAAG,GAAG,CAAC,YAAY,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,EAAE,CACrE,uBAAuB,CAAC,IAAI,EAAE,KAAK,CAAC,CACrC,CAAC;IACF,MAAM,IAAI,GAAG,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IAC5C,OAAO,GAAG,GAAG,CAAC,QAAQ,KAAK,IAAI,GAAG,IAAI,GAAG,IAAI,IAAI,IAAI,eAAe,CAAC,KAAK,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC;AAC3F,CAAC;AAED,MAAM,UAAU,YAAY,CAAC,IAAY,EAAE,KAAa;IACtD,MAAM,SAAS,GAAG,oBAAoB,CAAC,IAAI,CAAC,CAAC;IAC7C,OAAO,SAAS,KAAK,IAAI,IAAI,SAAS,KAAK,oBAAoB,CAAC,KAAK,CAAC,CAAC;AACzE,CAAC;AAED,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC,CAAC;AAEnD,kGAAkG;AAClG,SAAS,eAAe,CAAC,KAAa;IACpC,IAAI,GAAQ,CAAC;IACb,IAAI,CAAC;QACH,GAAG,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC;IACvB,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAC;QAAE,OAAO,IAAI,CAAC;IAClD,OAAO,GAAG,GAAG,CAAC,QAAQ,KAAK,GAAG,CAAC,QAAQ;SACpC,WAAW,EAAE;SACb,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC;SACnB,OAAO,CAAC,SAAS,EAAE,EAAE,CAAC,GAAG,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;AAC/D,CAAC;AAED,MAAM,UAAU,UAAU,CAAC,IAAY,EAAE,KAAa;IACpD,MAAM,MAAM,GAAG,eAAe,CAAC,IAAI,CAAC,CAAC;IACrC,OAAO,MAAM,KAAK,IAAI,IAAI,MAAM,KAAK,eAAe,CAAC,KAAK,CAAC,CAAC;AAC9D,CAAC;AAED,gFAAgF;AAChF,MAAM,UAAU,UAAU,CAAC,KAAa;IACtC,OAAO,oBAAoB,CAAC,KAAK,CAAC,EAAE,QAAQ,CAAC,IAAI,CAAC,KAAK,IAAI,CAAC;AAC9D,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,oBAAoB,CAAC,MAAc;IACjD,MAAM,UAAU,GAAG,MAAM,CAAC,WAAW,EAAE,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;IAC5D,OAAO,eAAe,CAAC,UAAU,EAAE,EAAE,mBAAmB,EAAE,IAAI,EAAE,CAAC,KAAK,UAAU,CAAC;AACnF,CAAC;AAED,4DAA4D;AAC5D,MAAM,UAAU,gBAAgB,CAAC,IAAY,EAAE,MAAc;IAC3D,MAAM,cAAc,GAAG,IAAI,CAAC,WAAW,EAAE,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;IAC9D,MAAM,gBAAgB,GAAG,MAAM,CAAC,WAAW,EAAE,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;IAClE,OAAO,cAAc,KAAK,gBAAgB,IAAI,cAAc,CAAC,QAAQ,CAAC,IAAI,gBAAgB,EAAE,CAAC,CAAC;AAChG,CAAC;AAED,wEAAwE;AACxE,MAAM,UAAU,cAAc,CAAC,IAAY;IACzC,OAAO,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,WAAW,EAAE,CAAC,OAAO,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;AAC3E,CAAC"}

package/dist/modules/evidence-grounding/src/figures.d.ts

@@ -0,0 +1,56 @@
+/**
+ * The figures a passage writes, read by one strict grammar so that a value a
+ * reader reported can be checked against the passage it cited. The grammar
+ * reads amounts in US dollars, euros and pounds (`$`, `US$`, `€`, `£`) or an
+ * ISO code, percentages, periods, dates with their year and counts, written
+ * with comma thousands and point decimals, each on its own line. Everything
+ * else that looks like a figure (another number format, currency, scale word,
+ * fraction, range or rate, or a marker on the next line) is unread: it keeps
+ * its extent, so no quote can cut a figure out of it, but gives no token, and
+ * the text is incomplete. The detector of what is unread is deliberately
+ * broad: reading too little only leaves a value unchecked, never admits one.
+ * This parses written form; it never judges what a passage means.
+ */
+export type NumericToken = {
+    readonly kind: "money";
+    readonly currency: string;
+    readonly minorUnits: number;
+} | {
+    readonly kind: "percentage";
+    readonly basisPoints: number;
+} | {
+    readonly kind: "period";
+    readonly iso: string;
+} | {
+    readonly kind: "date";
+    readonly iso: string;
+} | {
+    readonly kind: "number";
+    readonly value: number;
+};
+/** A figure's exact extent in the text it was read from. */
+export interface FigureSpan {
+    readonly start: number;
+    readonly end: number;
+}
+/** Everything a text writes as figures. */
+export interface WrittenFigures {
+    /** Every numeric token, in order of appearance. */
+    readonly tokens: readonly NumericToken[];
+    /** Names written with digits, such as "H100", "Q3" or "5G": literals a passage must write exactly. */
+    readonly identifiers: readonly string[];
+    /** False when some figure or quantity word is unread, so not every figure can be checked. */
+    readonly complete: boolean;
+    /** Where each figure and name is written, markers and units included, in the text's own indexes. */
+    readonly spans: readonly FigureSpan[];
+}
+/** Every numeric token written in `text`, in order of appearance. */
+export declare function numericTokens(text: string): readonly NumericToken[];
+/** Where every figure in `text` is written, in its own indexes, in order. */
+export declare function figureSpans(text: string): readonly FigureSpan[];
+/** The minor units of `major` whole units of `currency`. */
+export declare function minorUnitsOf(currency: string, major: number): number;
+/** Periods compare by the months or days they denote, so P12M equals P1Y. */
+export declare function periodsEqual(left: string, right: string): boolean;
+export declare function writtenFigures(text: string): WrittenFigures;
+//# sourceMappingURL=figures.d.ts.map

package/dist/modules/evidence-grounding/src/figures.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"figures.d.ts","sourceRoot":"","sources":["../../../../modules/evidence-grounding/src/figures.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH,MAAM,MAAM,YAAY,GACpB;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAA;CAAE,GAClF;IAAE,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC;IAAC,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAA;CAAE,GAC7D;IAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IAAC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAA;CAAE,GACjD;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAA;CAAE,GAC/C;IAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;CAAE,CAAC;AAExD,4DAA4D;AAC5D,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;CACtB;AAED,2CAA2C;AAC3C,MAAM,WAAW,cAAc;IAC7B,mDAAmD;IACnD,QAAQ,CAAC,MAAM,EAAE,SAAS,YAAY,EAAE,CAAC;IACzC,sGAAsG;IACtG,QAAQ,CAAC,WAAW,EAAE,SAAS,MAAM,EAAE,CAAC;IACxC,6FAA6F;IAC7F,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,oGAAoG;IACpG,QAAQ,CAAC,KAAK,EAAE,SAAS,UAAU,EAAE,CAAC;CACvC;AAwND,qEAAqE;AACrE,wBAAgB,aAAa,CAAC,IAAI,EAAE,MAAM,GAAG,SAAS,YAAY,EAAE,CAEnE;AAED,6EAA6E;AAC7E,wBAAgB,WAAW,CAAC,IAAI,EAAE,MAAM,GAAG,SAAS,UAAU,EAAE,CAE/D;AAED,4DAA4D;AAC5D,wBAAgB,YAAY,CAAC,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,MAAM,CAEpE;AAED,6EAA6E;AAC7E,wBAAgB,YAAY,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,OAAO,CAIjE;AAED,wBAAgB,cAAc,CAAC,IAAI,EAAE,MAAM,GAAG,cAAc,CA0F3D"}