@trazum/core 1.55.0 → 1.56.1

package/dist/rule-yield.d.ts

@@ -0,0 +1,134 @@
+/**
+ * Which rules actually recover anything, and how much.
+ *
+ * The README says plainly that the deterministic rules recover about one per
+ * cent, and that is the fair complaint about this tool. It is also an
+ * **aggregate**, and an aggregate is where a distribution goes to hide: seven
+ * rules recovering one per cent between them could be seven rules each doing a
+ * seventh of the work, or two rules doing all of it beside five that have never
+ * changed a byte of anybody's prompt.
+ *
+ * Nobody here had measured which. That is the wrong place to start an arc
+ * about raising the ceiling — what to add on the model's side of the line is a
+ * question about what the dictionary side already covers, and "about one per
+ * cent" does not answer it.
+ *
+ * **Two numbers per rule, and they are not the same number.**
+ *
+ * - **Alone** is what the rule saves when it is the only one running.
+ * - **Marginal** is what the whole set loses when the rule is removed.
+ *
+ * They diverge exactly where rules overlap, which is most of the interesting
+ * cases: `duplicate-lines` and `duplicate-blocks` both find a repeated stanza,
+ * so each has a real `alone` and a `marginal` near zero. Reporting either
+ * figure by itself would be wrong in a different direction — `alone` alone
+ * makes an overlapping rule look load-bearing, and `marginal` alone makes it
+ * look inert. The report carries both and **never reconciles them into one**,
+ * for the same reason a measurement and a projection are never added here.
+ *
+ * **Inert is a fact about the corpus, never about the rule.** A rule that finds
+ * nothing across twenty-one files has not been shown to be useless; it has been
+ * shown that these twenty-one files do not contain what it looks for. The
+ * distinction is the whole difference between "delete this rule" and "measure
+ * it on something else", and this module refuses to make the first claim.
+ *
+ * Browser-safe: prompts in, arithmetic out, no filesystem.
+ */
+import type { OptimizeOptions, RuleId } from './types.js';
+export interface RuleYield {
+    id: RuleId;
+    /** Tokens saved when this rule is the only one running, across every prompt. */
+    alone: number;
+    /**
+     * Tokens the full set loses when this rule is removed.
+     *
+     * Zero with a non-zero `alone` means every token it finds is found by
+     * something else too — an overlap, not a defect, and not a reason to delete
+     * anything without knowing which rule is the better one to keep.
+     */
+    marginal: number;
+    /** How many prompts it changed at all, running alone. */
+    prompts: number;
+}
+export interface RuleYieldReport {
+    schemaVersion: 1;
+    /** Prompts measured. */
+    prompts: number;
+    /** Tokens across every prompt before any rule ran. */
+    tokensBefore: number;
+    /**
+     * Tokens **the rules** save across every prompt.
+     *
+     * The whole run's saving minus the floor below, because they are not the
+     * same thing and the first version of this module reported the difference as
+     * if it were the rules' work. Run over a corpus the rules do not touch, that
+     * version said the optimiser saved twenty-one tokens and every rule was
+     * redundant — a sentence assembled out of somebody else's arithmetic.
+     */
+    tokensSaved: number;
+    /**
+     * Tokens the optimiser saves with **every rule disabled**.
+     *
+     * Normalisation the optimiser does regardless of the rule set. Named rather
+     * than folded in: it is a real saving and it is not a rule's, and a report
+     * that credited it to the rules would be flattering exactly the thing this
+     * measurement exists to be honest about.
+     */
+    floor: number;
+    /** Per rule, largest `marginal` first, then largest `alone`. */
+    rules: RuleYield[];
+    /**
+     * `alone` summed over every rule.
+     *
+     * Stated beside `tokensSaved` and deliberately not reconciled with it: the
+     * gap between them **is** the overlap, and a single "total" would be the one
+     * number that cannot be true. Larger than `tokensSaved` means rules are
+     * finding the same tokens; equal means they are disjoint on this corpus.
+     */
+    sumOfAlone: number;
+    /**
+     * Rules that save something alone and nothing at the margin — every token
+     * they find, another rule finds too. On **this corpus**.
+     */
+    redundantHere: RuleId[];
+    /**
+     * Rules that changed nothing at all — they never fired. On **this corpus**,
+     * which is the only claim the arithmetic supports: a rule that finds nothing
+     * in these files has not been shown to find nothing anywhere.
+     */
+    inertHere: RuleId[];
+    /**
+     * Rules that **fired and recovered nothing**: they changed the prompt and
+     * the token count did not move.
+     *
+     * Kept apart from `inertHere`, because the two look identical in a saving
+     * column and mean opposite things. A rule that never fires has not been
+     * exercised; a rule that fires and saves nothing has been exercised and is
+     * altering somebody's prompt for no measured benefit — which is a finding
+     * about the rule rather than about the corpus, and the one this measurement
+     * was least likely to produce and most worth producing.
+     *
+     * `emphasis` lands here on a prompt whose shouted words it lowercases: same
+     * words, same count, different instruction.
+     */
+    firedWithoutSavingHere: RuleId[];
+    /**
+     * How the tokens were counted, so the reader knows the margin.
+     *
+     * `heuristic` carries the estimator's documented band, and every figure here
+     * inherits it — a rule whose marginal yield is a handful of tokens is inside
+     * the noise, and the report says which counter it used rather than leaving
+     * somebody to assume an exact one.
+     */
+    tokenSource: 'heuristic' | 'external';
+}
+/**
+ * Measures each rule's yield over a set of prompts.
+ *
+ * `rules` is the full set to measure — the caller passes it rather than this
+ * module reaching for the catalogue, so a subset can be measured and so the
+ * list has one home. Every run uses the same options, so the level and the
+ * token counter are the caller's and not this module's assumption.
+ */
+export declare function ruleYield(prompts: string[], rules: readonly RuleId[], options?: OptimizeOptions): RuleYieldReport;
+//# sourceMappingURL=rule-yield.d.ts.map

package/dist/rule-yield.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"rule-yield.d.ts","sourceRoot":"","sources":["../src/rule-yield.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAmCG;AAGH,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,EAAE,MAAM,YAAY,CAAC;AAE1D,MAAM,WAAW,SAAS;IACxB,EAAE,EAAE,MAAM,CAAC;IACX,gFAAgF;IAChF,KAAK,EAAE,MAAM,CAAC;IACd;;;;;;OAMG;IACH,QAAQ,EAAE,MAAM,CAAC;IACjB,yDAAyD;IACzD,OAAO,EAAE,MAAM,CAAC;CACjB;AAED,MAAM,WAAW,eAAe;IAC9B,aAAa,EAAE,CAAC,CAAC;IACjB,wBAAwB;IACxB,OAAO,EAAE,MAAM,CAAC;IAChB,sDAAsD;IACtD,YAAY,EAAE,MAAM,CAAC;IACrB;;;;;;;;OAQG;IACH,WAAW,EAAE,MAAM,CAAC;IACpB;;;;;;;OAOG;IACH,KAAK,EAAE,MAAM,CAAC;IACd,gEAAgE;IAChE,KAAK,EAAE,SAAS,EAAE,CAAC;IACnB;;;;;;;OAOG;IACH,UAAU,EAAE,MAAM,CAAC;IACnB;;;OAGG;IACH,aAAa,EAAE,MAAM,EAAE,CAAC;IACxB;;;;OAIG;IACH,SAAS,EAAE,MAAM,EAAE,CAAC;IACpB;;;;;;;;;;;;;OAaG;IACH,sBAAsB,EAAE,MAAM,EAAE,CAAC;IACjC;;;;;;;OAOG;IACH,WAAW,EAAE,WAAW,GAAG,UAAU,CAAC;CACvC;AAED;;;;;;;GAOG;AACH,wBAAgB,SAAS,CACvB,OAAO,EAAE,MAAM,EAAE,EACjB,KAAK,EAAE,SAAS,MAAM,EAAE,EACxB,OAAO,GAAE,eAAoB,GAC5B,eAAe,CA+DjB"}

package/dist/rule-yield.js

@@ -0,0 +1,100 @@
+/**
+ * Which rules actually recover anything, and how much.
+ *
+ * The README says plainly that the deterministic rules recover about one per
+ * cent, and that is the fair complaint about this tool. It is also an
+ * **aggregate**, and an aggregate is where a distribution goes to hide: seven
+ * rules recovering one per cent between them could be seven rules each doing a
+ * seventh of the work, or two rules doing all of it beside five that have never
+ * changed a byte of anybody's prompt.
+ *
+ * Nobody here had measured which. That is the wrong place to start an arc
+ * about raising the ceiling — what to add on the model's side of the line is a
+ * question about what the dictionary side already covers, and "about one per
+ * cent" does not answer it.
+ *
+ * **Two numbers per rule, and they are not the same number.**
+ *
+ * - **Alone** is what the rule saves when it is the only one running.
+ * - **Marginal** is what the whole set loses when the rule is removed.
+ *
+ * They diverge exactly where rules overlap, which is most of the interesting
+ * cases: `duplicate-lines` and `duplicate-blocks` both find a repeated stanza,
+ * so each has a real `alone` and a `marginal` near zero. Reporting either
+ * figure by itself would be wrong in a different direction — `alone` alone
+ * makes an overlapping rule look load-bearing, and `marginal` alone makes it
+ * look inert. The report carries both and **never reconciles them into one**,
+ * for the same reason a measurement and a projection are never added here.
+ *
+ * **Inert is a fact about the corpus, never about the rule.** A rule that finds
+ * nothing across twenty-one files has not been shown to be useless; it has been
+ * shown that these twenty-one files do not contain what it looks for. The
+ * distinction is the whole difference between "delete this rule" and "measure
+ * it on something else", and this module refuses to make the first claim.
+ *
+ * Browser-safe: prompts in, arithmetic out, no filesystem.
+ */
+import { optimize } from './optimize.js';
+/**
+ * Measures each rule's yield over a set of prompts.
+ *
+ * `rules` is the full set to measure — the caller passes it rather than this
+ * module reaching for the catalogue, so a subset can be measured and so the
+ * list has one home. Every run uses the same options, so the level and the
+ * token counter are the caller's and not this module's assumption.
+ */
+export function ruleYield(prompts, rules, options = {}) {
+    const run = (disableRules) => prompts.map((prompt) => optimize(prompt, { ...options, disableRules }));
+    const whole = run([]);
+    const tokensBefore = whole.reduce((sum, result) => sum + result.tokensBefore, 0);
+    const wholeSaved = whole.reduce((sum, result) => sum + result.tokensSaved, 0);
+    /**
+     * What the optimiser saves with every rule off.
+     *
+     * Whitespace normalisation and the like happen either way, and crediting
+     * them to the rules is how "the rules recover about one per cent" survives
+     * on a corpus where the rules recover nothing.
+     */
+    const floorResults = run([...rules]);
+    const floor = floorResults.reduce((sum, result) => sum + result.tokensSaved, 0);
+    const tokensSaved = Math.max(0, wholeSaved - floor);
+    const measured = rules.map((id) => {
+        // Alone: everything else off.
+        const only = run(rules.filter((other) => other !== id));
+        const alone = Math.max(0, only.reduce((sum, result) => sum + result.tokensSaved, 0) - floor);
+        // Changed against the floor's own output, not against the original: the
+        // normalisation changes every prompt, and counting that as this rule
+        // having fired is how every rule came back as touching every file.
+        const changed = only.filter((result, index) => result.optimized !== floorResults[index]?.optimized).length;
+        // Marginal: everything on but this one.
+        const without = run([id]);
+        const withoutSaved = without.reduce((sum, result) => sum + result.tokensSaved, 0);
+        return {
+            id,
+            alone,
+            // Never negative: removing a rule cannot make the set save more, and a
+            // rounding artefact that said it did would be a finding nobody could act
+            // on. Clamped rather than reported, because the clamp is the honest
+            // reading of a difference inside the counter's own noise.
+            marginal: Math.max(0, wholeSaved - withoutSaved),
+            prompts: changed,
+        };
+    });
+    measured.sort((a, b) => b.marginal - a.marginal || b.alone - a.alone);
+    return {
+        schemaVersion: 1,
+        prompts: prompts.length,
+        tokensBefore,
+        tokensSaved,
+        floor,
+        rules: measured,
+        sumOfAlone: measured.reduce((sum, rule) => sum + rule.alone, 0),
+        redundantHere: measured.filter((rule) => rule.alone > 0 && rule.marginal === 0).map((rule) => rule.id),
+        inertHere: measured.filter((rule) => rule.prompts === 0).map((rule) => rule.id),
+        firedWithoutSavingHere: measured
+            .filter((rule) => rule.prompts > 0 && rule.alone === 0)
+            .map((rule) => rule.id),
+        tokenSource: whole[0]?.tokenSource ?? 'heuristic',
+    };
+}
+//# sourceMappingURL=rule-yield.js.map

package/dist/rule-yield.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"rule-yield.js","sourceRoot":"","sources":["../src/rule-yield.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAmCG;AAEH,OAAO,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAC;AA4FzC;;;;;;;GAOG;AACH,MAAM,UAAU,SAAS,CACvB,OAAiB,EACjB,KAAwB,EACxB,OAAO,GAAoB,EAAE;IAE7B,MAAM,GAAG,GAAG,CAAC,YAAsB,EAAE,EAAE,CACrC,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,QAAQ,CAAC,MAAM,EAAE,EAAE,GAAG,OAAO,EAAE,YAAY,EAAE,CAAC,CAAC,CAAC;IAE1E,MAAM,KAAK,GAAG,GAAG,CAAC,EAAE,CAAC,CAAC;IACtB,MAAM,YAAY,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,MAAM,EAAE,EAAE,CAAC,GAAG,GAAG,MAAM,CAAC,YAAY,EAAE,CAAC,CAAC,CAAC;IACjF,MAAM,UAAU,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,MAAM,EAAE,EAAE,CAAC,GAAG,GAAG,MAAM,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC;IAE9E;;;;;;OAMG;IACH,MAAM,YAAY,GAAG,GAAG,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC;IACrC,MAAM,KAAK,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,MAAM,EAAE,EAAE,CAAC,GAAG,GAAG,MAAM,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC;IAChF,MAAM,WAAW,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,UAAU,GAAG,KAAK,CAAC,CAAC;IAEpD,MAAM,QAAQ,GAAgB,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE;QAC7C,8BAA8B;QAC9B,MAAM,IAAI,GAAG,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,KAAK,EAAE,CAAC,CAAC,CAAC;QACxD,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,MAAM,EAAE,EAAE,CAAC,GAAG,GAAG,MAAM,CAAC,WAAW,EAAE,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC;QAC7F,wEAAwE;QACxE,qEAAqE;QACrE,mEAAmE;QACnE,MAAM,OAAO,GAAG,IAAI,CAAC,MAAM,CACzB,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC,MAAM,CAAC,SAAS,KAAK,YAAY,CAAC,KAAK,CAAC,EAAE,SAAS,CACvE,CAAC,MAAM,CAAC;QAET,wCAAwC;QACxC,MAAM,OAAO,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC1B,MAAM,YAAY,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,MAAM,EAAE,EAAE,CAAC,GAAG,GAAG,MAAM,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC;QAElF,OAAO;YACL,EAAE;YACF,KAAK;YACL,uEAAuE;YACvE,yEAAyE;YACzE,oEAAoE;YACpE,0DAA0D;YAC1D,QAAQ,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,UAAU,GAAG,YAAY,CAAC;YAChD,OAAO,EAAE,OAAO;SACjB,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,GAAG,CAAC,CAAC,QAAQ,IAAI,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC;IAEtE,OAAO;QACL,aAAa,EAAE,CAAC;QAChB,OAAO,EAAE,OAAO,CAAC,MAAM;QACvB,YAAY;QACZ,WAAW;QACX,KAAK;QACL,KAAK,EAAE,QAAQ;QACf,UAAU,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,IAAI,EAAE,EAAE,CAAC,GAAG,GAAG,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC;QAC/D,aAAa,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,GAAG,CAAC,IAAI,IAAI,CAAC,QAAQ,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QACtG,SAAS,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QAC/E,sBAAsB,EAAE,QAAQ;aAC7B,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,GAAG,CAAC,IAAI,IAAI,CAAC,KAAK,KAAK,CAAC,CAAC;aACtD,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QACzB,WAAW,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,WAAW,IAAI,WAAW;KAClD,CAAC;AACJ,CAAC"}

package/dist/rules.d.ts

@@ -1,5 +1,23 @@
 import type { Rule } from './types.js';
-/** Every rule, in the order they must run. */
+/**
+ * Every rule, in the order they must run.
+ *
+ * **The order decides what the reader is told, not just how fast this runs.**
+ * A repeated stanza is a repeated *block* and also a set of repeated *lines*,
+ * so all three of the deletion rules can find it and whichever runs first
+ * takes it. Coarsest first means the report says "one repeated paragraph"
+ * rather than "three repeated lines" for the same saving — the same number
+ * attached to a sentence somebody can act on instead of three they have to
+ * reassemble.
+ *
+ * That was an unstated consequence until `rules --measure` made the overlap
+ * visible: the leave-one-out measurement credits each of the three with the
+ * whole saving, because each of them *would* have caught it alone. The applied
+ * run credits exactly one, and this list is what picks which.
+ *
+ * `rules.test.js` pins both facts, so a reorder that quietly changes the
+ * attribution fails the build rather than changing what users read.
+ */
 export declare const RULES: readonly Rule[];
 export declare function getRule(id: string): Rule | undefined;
 //# sourceMappingURL=rules.d.ts.map

package/dist/rules.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"rules.d.ts","sourceRoot":"","sources":["../src/rules.ts"],"names":[],"mappings":"AAaA,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,YAAY,CAAC;AAiSvC,8CAA8C;AAC9C,eAAO,MAAM,KAAK,EAAE,SAAS,IAAI,EAgBhC,CAAC;AAEF,wBAAgB,OAAO,CAAC,EAAE,EAAE,MAAM,GAAG,IAAI,GAAG,SAAS,CAEpD"}
+{"version":3,"file":"rules.d.ts","sourceRoot":"","sources":["../src/rules.ts"],"names":[],"mappings":"AAaA,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,YAAY,CAAC;AAiSvC;;;;;;;;;;;;;;;;;;GAkBG;AACH,eAAO,MAAM,KAAK,EAAE,SAAS,IAAI,EAiBhC,CAAC;AAEF,wBAAgB,OAAO,CAAC,EAAE,EAAE,MAAM,GAAG,IAAI,GAAG,SAAS,CAEpD"}

package/dist/rules.js

@@ -255,9 +255,28 @@ const nearDuplicateBlocksRule = {
         return { text: kept.join('\n\n'), hits };
     },
 };
-/** Every rule, in the order they must run. */
+/**
+ * Every rule, in the order they must run.
+ *
+ * **The order decides what the reader is told, not just how fast this runs.**
+ * A repeated stanza is a repeated *block* and also a set of repeated *lines*,
+ * so all three of the deletion rules can find it and whichever runs first
+ * takes it. Coarsest first means the report says "one repeated paragraph"
+ * rather than "three repeated lines" for the same saving — the same number
+ * attached to a sentence somebody can act on instead of three they have to
+ * reassemble.
+ *
+ * That was an unstated consequence until `rules --measure` made the overlap
+ * visible: the leave-one-out measurement credits each of the three with the
+ * whole saving, because each of them *would* have caught it alone. The applied
+ * run credits exactly one, and this list is what picks which.
+ *
+ * `rules.test.js` pins both facts, so a reorder that quietly changes the
+ * attribution fails the build rather than changing what users read.
+ */
 export const RULES = [
-    // Whole-block deletions first, so the rest works over less text.
+    // Whole-block deletions first: less text for the rest to walk, and the
+    // coarsest description of what was removed.
     duplicateBlocksRule,
     nearDuplicateBlocksRule,
     duplicateLinesRule,

package/dist/rules.js.map

@@ -1 +1 @@
-{"version":3,"file":"rules.js","sourceRoot":"","sources":["../src/rules.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,iBAAiB,EACjB,MAAM,EACN,MAAM,EACN,YAAY,EACZ,UAAU,EACV,UAAU,EACV,aAAa,EACb,eAAe,GAChB,MAAM,cAAc,CAAC;AACtB,OAAO,EAAE,OAAO,EAAE,mBAAmB,EAAE,MAAM,iBAAiB,CAAC;AAC/D,OAAO,EAAE,kBAAkB,EAAE,MAAM,gBAAgB,CAAC;AAIpD,kEAAkE;AAClE,SAAS,QAAQ,CAAC,OAAe;IAC/B,OAAO,OAAO,CAAC,OAAO,CAAC,qBAAqB,EAAE,MAAM,CAAC,CAAC;AACxD,CAAC;AAED;;;;GAIG;AACH,SAAS,WAAW,CAAC,MAAc,EAAE,KAAK,GAAG,KAAK;IAChD,MAAM,IAAI,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACtD,OAAO,IAAI,MAAM,CAAC,uBAAuB,IAAI,qBAAqB,EAAE,KAAK,CAAC,CAAC;AAC7E,CAAC;AAED,qFAAqF;AACrF,SAAS,gBAAgB,CAAC,IAAY;IACpC,OAAO,CACL,IAAI;QACF,iEAAiE;SAChE,OAAO,CAAC,oBAAoB,EAAE,IAAI,CAAC;QACpC,uDAAuD;SACtD,OAAO,CAAC,qBAAqB,EAAE,IAAI,CAAC;QACrC,oCAAoC;SACnC,OAAO,CAAC,WAAW,EAAE,GAAG,CAAC;QAC1B,2CAA2C;SAC1C,OAAO,CAAC,qBAAqB,EAAE,EAAE,CAAC;QACnC,kEAAkE;SACjE,OAAO,CAAC,mCAAmC,EAAE,EAAE,CAAC;QACjD,8EAA8E;SAC7E,OAAO,CAAC,wBAAwB,EAAE,IAAI,CAAC;QACxC,+CAA+C;SAC9C,OAAO,CAAC,iCAAiC,EAAE,EAAE,CAAC;QAC/C,8DAA8D;SAC7D,OAAO,CAAC,kBAAkB,EAAE,EAAE,CAAC;QAChC,mBAAmB;SAClB,OAAO,CAAC,aAAa,EAAE,EAAE,CAAC;QAC3B,2EAA2E;QAC3E,wEAAwE;QACxE,gCAAgC;SAC/B,OAAO,CACN,qCAAqC,EACrC,CAAC,EAAE,EAAE,GAAW,EAAE,EAAU,EAAE,EAAE,CAAC,GAAG,GAAG,EAAE,CAAC,WAAW,EAAE,CACxD,CACJ,CAAC;AACJ,CAAC;AAED;;;;GAIG;AACH,SAAS,SAAS,CAAC,MAAc;IAC/B,MAAM,IAAI,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACtD,4EAA4E;IAC5E,2EAA2E;IAC3E,OAAO,IAAI,MAAM,CACf,uCAAuC,IAAI,iCAAiC,EAC5E,KAAK,CACN,CAAC;AACJ,CAAC;AAED,4CAA4C;AAC5C,SAAS,QAAQ,CAAC,EAAU,EAAE,KAAoB,EAAE,OAA0B;IAC5E,8DAA8D;IAC9D,MAAM,MAAM,GAAG,CAAC,GAAG,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC;IAChE,MAAM,OAAO,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC;IAEhD,OAAO;QACL,EAAE;QACF,KAAK;QACL,KAAK,CAAC,IAAI;YACR,IAAI,IAAI,GAAG,CAAC,CAAC;YACb,IAAI,GAAG,GAAG,IAAI,CAAC;YACf,KAAK,MAAM,EAAE,IAAI,OAAO,EAAE,CAAC;gBACzB,GAAG,GAAG,GAAG,CAAC,OAAO,CAAC,EAAE,EAAE,GAAG,EAAE;oBACzB,IAAI,EAAE,CAAC;oBACP,OAAO,EAAE,CAAC;gBACZ,CAAC,CAAC,CAAC;YACL,CAAC;YACD,OAAO,EAAE,IAAI,EAAE,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,gBAAgB,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,EAAE,IAAI,EAAE,CAAC;QAChE,CAAC;KACF,CAAC;AACJ,CAAC;AAED,4DAA4D;AAC5D,SAAS,SAAS,CAAC,QAAgB,EAAE,WAAmB;IACtD,IAAI,CAAC,WAAW;QAAE,OAAO,WAAW,CAAC;IACrC,MAAM,SAAS,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;IAC9B,IAAI,SAAS,IAAI,SAAS,KAAK,SAAS,CAAC,WAAW,EAAE,IAAI,SAAS,KAAK,SAAS,CAAC,WAAW,EAAE,EAAE,CAAC;QAChG,OAAO,WAAW,CAAC,CAAC,CAAE,CAAC,WAAW,EAAE,GAAG,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IAC9D,CAAC;IACD,OAAO,WAAW,CAAC;AACrB,CAAC;AAED,MAAM,cAAc,GAAS;IAC3B,EAAE,EAAE,YAAY;IAChB,KAAK,EAAE,MAAM;IACb,KAAK,CAAC,IAAI;QACR,IAAI,IAAI,GAAG,CAAC,CAAC;QACb,IAAI,GAAG,GAAG,IAAI,CAAC;QAEf,wEAAwE;QACxE,0EAA0E;QAC1E,wEAAwE;QACxE,2EAA2E;QAC3E,wEAAwE;QACxE,GAAG,GAAG,GAAG,CAAC,OAAO,CAAC,yBAAyB,EAAE,GAAG,EAAE;YAChD,IAAI,EAAE,CAAC;YACP,OAAO,EAAE,CAAC;QACZ,CAAC,CAAC,CAAC;QACH,qEAAqE;QACrE,GAAG,GAAG,GAAG,CAAC,OAAO,CAAC,kBAAkB,EAAE,CAAC,EAAE,EAAE,EAAU,EAAE,EAAE;YACvD,IAAI,EAAE,CAAC;YACP,OAAO,GAAG,EAAE,GAAG,CAAC;QAClB,CAAC,CAAC,CAAC;QACH,GAAG,GAAG,GAAG,CAAC,OAAO,CAAC,SAAS,EAAE,GAAG,EAAE;YAChC,IAAI,EAAE,CAAC;YACP,OAAO,MAAM,CAAC;QAChB,CAAC,CAAC,CAAC;QACH,GAAG,GAAG,GAAG,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,EAAE;YAC5B,IAAI,EAAE,CAAC;YACP,OAAO,GAAG,CAAC;QACb,CAAC,CAAC,CAAC;QAEH,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC;IAC7B,CAAC;CACF,CAAC;AAEF,MAAM,cAAc,GAAS;IAC3B,EAAE,EAAE,YAAY;IAChB,KAAK,EAAE,MAAM;IACb,KAAK,CAAC,IAAI;QACR,IAAI,IAAI,GAAG,CAAC,CAAC;QACb,IAAI,GAAG,GAAG,IAAI,CAAC;QAEf,6DAA6D;QAC7D,GAAG,GAAG,GAAG,CAAC,OAAO,CAAC,uCAAuC,EAAE,GAAG,EAAE;YAC9D,IAAI,EAAE,CAAC;YACP,OAAO,EAAE,CAAC;QACZ,CAAC,CAAC,CAAC;QACH,iEAAiE;QACjE,GAAG,GAAG,GAAG,CAAC,OAAO,CAAC,iBAAiB,EAAE,CAAC,EAAE,EAAE,EAAU,EAAE,EAAE;YACtD,IAAI,EAAE,CAAC;YACP,OAAO,EAAE,CAAC;QACZ,CAAC,CAAC,CAAC;QACH,0DAA0D;QAC1D,IAAI,IAAI,GAAG,CAAC;YAAE,GAAG,GAAG,GAAG,CAAC,OAAO,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC;QAEnD,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC;IAC7B,CAAC;CACF,CAAC;AAEF,MAAM,kBAAkB,GAAS;IAC/B,EAAE,EAAE,iBAAiB;IACrB,KAAK,EAAE,MAAM;IACb,KAAK,CAAC,IAAI;QACR,IAAI,IAAI,GAAG,CAAC,CAAC;QACb,IAAI,GAAG,GAAG,IAAI,CAAC;QACf,wDAAwD;QACxD,MAAM,OAAO,GAAG,CAAC,GAAG,eAAe,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;QAC/E,KAAK,MAAM,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,OAAO,EAAE,CAAC;YACjC,MAAM,EAAE,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC;YAC7B,GAAG,GAAG,GAAG,CAAC,OAAO,CAAC,EAAE,EAAE,CAAC,KAAK,EAAE,EAAE;gBAC9B,IAAI,EAAE,CAAC;gBACP,OAAO,SAAS,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;YAC9B,CAAC,CAAC,CAAC;QACL,CAAC;QACD,OAAO,EAAE,IAAI,EAAE,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,gBAAgB,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,EAAE,IAAI,EAAE,CAAC;IAChE,CAAC;CACF,CAAC;AAEF,MAAM,cAAc,GAAG,QAAQ,CAAC,YAAY,EAAE,MAAM,EAAE,UAAU,CAAC,CAAC;AAClE,MAAM,UAAU,GAAG,QAAQ,CAAC,QAAQ,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC;AACtD,MAAM,gBAAgB,GAAG,QAAQ,CAAC,cAAc,EAAE,YAAY,EAAE,YAAY,CAAC,CAAC;AAC9E,MAAM,UAAU,GAAG,QAAQ,CAAC,QAAQ,EAAE,YAAY,EAAE,MAAM,CAAC,CAAC;AAC5D,MAAM,aAAa,GAAG,QAAQ,CAAC,YAAY,EAAE,YAAY,EAAE,UAAU,CAAC,CAAC;AAEvE,MAAM,YAAY,GAAS;IACzB,EAAE,EAAE,UAAU;IACd,KAAK,EAAE,YAAY;IACnB,KAAK,CAAC,IAAI;QACR,IAAI,IAAI,GAAG,CAAC,CAAC;QACb,IAAI,GAAG,GAAG,IAAI,CAAC;QAEf,KAAK,MAAM,MAAM,IAAI,iBAAiB,EAAE,CAAC;YACvC,MAAM,EAAE,GAAG,IAAI,MAAM,CAAC,gBAAgB,QAAQ,CAAC,MAAM,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC;YACzE,GAAG,GAAG,GAAG,CAAC,OAAO,CAAC,EAAE,EAAE,CAAC,EAAE,EAAE,MAAc,EAAE,EAAE;gBAC3C,IAAI,EAAE,CAAC;gBACP,OAAO,MAAM,CAAC;YAChB,CAAC,CAAC,CAAC;QACL,CAAC;QAED,KAAK,MAAM,IAAI,IAAI,aAAa,EAAE,CAAC;YACjC,MAAM,EAAE,GAAG,WAAW,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,wCAAwC;YAC5E,GAAG,GAAG,GAAG,CAAC,OAAO,CAAC,EAAE,EAAE,CAAC,KAAK,EAAE,EAAE;gBAC9B,IAAI,EAAE,CAAC;gBACP,OAAO,KAAK,CAAC,WAAW,EAAE,CAAC;YAC7B,CAAC,CAAC,CAAC;QACL,CAAC;QAED,8EAA8E;QAC9E,OAAO,EAAE,IAAI,EAAE,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,gBAAgB,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,EAAE,IAAI,EAAE,CAAC;IAChE,CAAC;CACF,CAAC;AAEF,MAAM,kBAAkB,GAAS;IAC/B,EAAE,EAAE,iBAAiB;IACrB,KAAK,EAAE,MAAM;IACb,KAAK,CAAC,IAAI;QACR,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAC/B,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;QAC/B,MAAM,IAAI,GAAa,EAAE,CAAC;QAC1B,IAAI,IAAI,GAAG,CAAC,CAAC;QAEb,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,MAAM,UAAU,GAAG,mBAAmB,CAAC,IAAI,CAAC,CAAC;YAC7C,yEAAyE;YACzE,uEAAuE;YACvE,iDAAiD;YACjD,IAAI,UAAU,CAAC,MAAM,IAAI,EAAE,IAAI,CAAC,kBAAkB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC9D,IAAI,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC;oBACzB,IAAI,EAAE,CAAC;oBACP,SAAS;gBACX,CAAC;gBACD,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;YACvB,CAAC;YACD,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAClB,CAAC;QAED,IAAI,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC1B,IAAI,IAAI,GAAG,CAAC;YAAE,GAAG,GAAG,GAAG,CAAC,OAAO,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC;QACnD,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC;IAC7B,CAAC;CACF,CAAC;AAEF,MAAM,mBAAmB,GAAS;IAChC,EAAE,EAAE,kBAAkB;IACtB,KAAK,EAAE,MAAM;IACb,KAAK,CAAC,IAAI;QACR,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;QACpC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;QAC/B,MAAM,IAAI,GAAa,EAAE,CAAC;QAC1B,IAAI,IAAI,GAAG,CAAC,CAAC;QAEb,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;YAC3B,MAAM,UAAU,GAAG,mBAAmB,CAAC,KAAK,CAAC,CAAC;YAC9C,IAAI,UAAU,CAAC,MAAM,IAAI,EAAE,EAAE,CAAC;gBAC5B,IAAI,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC;oBACzB,IAAI,EAAE,CAAC;oBACP,SAAS;gBACX,CAAC;gBACD,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;YACvB,CAAC;YACD,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACnB,CAAC;QAED,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,CAAC;IAC3C,CAAC;CACF,CAAC;AAEF,MAAM,uBAAuB,GAAS;IACpC,EAAE,EAAE,uBAAuB;IAC3B,KAAK,EAAE,YAAY;IACnB,KAAK,CAAC,IAAI;QACR,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;QACpC,MAAM,cAAc,GAAa,EAAE,CAAC;QACpC,MAAM,IAAI,GAAa,EAAE,CAAC;QAC1B,IAAI,IAAI,GAAG,CAAC,CAAC;QAEb,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;YAC3B,MAAM,UAAU,GAAG,mBAAmB,CAAC,KAAK,CAAC,CAAC;YAC9C,IAAI,UAAU,CAAC,MAAM,IAAI,EAAE,EAAE,CAAC;gBAC5B,MAAM,WAAW,GAAG,cAAc,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,EAAE,UAAU,CAAC,IAAI,IAAI,CAAC,CAAC;gBACrF,IAAI,WAAW,EAAE,CAAC;oBAChB,IAAI,EAAE,CAAC;oBACP,SAAS;gBACX,CAAC;gBACD,cAAc,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;YAClC,CAAC;YACD,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACnB,CAAC;QAED,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,CAAC;IAC3C,CAAC;CACF,CAAC;AAEF,8CAA8C;AAC9C,MAAM,CAAC,MAAM,KAAK,GAAoB;IACpC,iEAAiE;IACjE,mBAAmB;IACnB,uBAAuB;IACvB,kBAAkB;IAClB,+BAA+B;IAC/B,kBAAkB;IAClB,cAAc;IACd,UAAU;IACV,UAAU;IACV,gBAAgB;IAChB,aAAa;IACb,YAAY;IACZ,wEAAwE;IACxE,cAAc;IACd,cAAc;CACf,CAAC;AAEF,MAAM,UAAU,OAAO,CAAC,EAAU;IAChC,OAAO,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;AACxC,CAAC"}
+{"version":3,"file":"rules.js","sourceRoot":"","sources":["../src/rules.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,iBAAiB,EACjB,MAAM,EACN,MAAM,EACN,YAAY,EACZ,UAAU,EACV,UAAU,EACV,aAAa,EACb,eAAe,GAChB,MAAM,cAAc,CAAC;AACtB,OAAO,EAAE,OAAO,EAAE,mBAAmB,EAAE,MAAM,iBAAiB,CAAC;AAC/D,OAAO,EAAE,kBAAkB,EAAE,MAAM,gBAAgB,CAAC;AAIpD,kEAAkE;AAClE,SAAS,QAAQ,CAAC,OAAe;IAC/B,OAAO,OAAO,CAAC,OAAO,CAAC,qBAAqB,EAAE,MAAM,CAAC,CAAC;AACxD,CAAC;AAED;;;;GAIG;AACH,SAAS,WAAW,CAAC,MAAc,EAAE,KAAK,GAAG,KAAK;IAChD,MAAM,IAAI,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACtD,OAAO,IAAI,MAAM,CAAC,uBAAuB,IAAI,qBAAqB,EAAE,KAAK,CAAC,CAAC;AAC7E,CAAC;AAED,qFAAqF;AACrF,SAAS,gBAAgB,CAAC,IAAY;IACpC,OAAO,CACL,IAAI;QACF,iEAAiE;SAChE,OAAO,CAAC,oBAAoB,EAAE,IAAI,CAAC;QACpC,uDAAuD;SACtD,OAAO,CAAC,qBAAqB,EAAE,IAAI,CAAC;QACrC,oCAAoC;SACnC,OAAO,CAAC,WAAW,EAAE,GAAG,CAAC;QAC1B,2CAA2C;SAC1C,OAAO,CAAC,qBAAqB,EAAE,EAAE,CAAC;QACnC,kEAAkE;SACjE,OAAO,CAAC,mCAAmC,EAAE,EAAE,CAAC;QACjD,8EAA8E;SAC7E,OAAO,CAAC,wBAAwB,EAAE,IAAI,CAAC;QACxC,+CAA+C;SAC9C,OAAO,CAAC,iCAAiC,EAAE,EAAE,CAAC;QAC/C,8DAA8D;SAC7D,OAAO,CAAC,kBAAkB,EAAE,EAAE,CAAC;QAChC,mBAAmB;SAClB,OAAO,CAAC,aAAa,EAAE,EAAE,CAAC;QAC3B,2EAA2E;QAC3E,wEAAwE;QACxE,gCAAgC;SAC/B,OAAO,CACN,qCAAqC,EACrC,CAAC,EAAE,EAAE,GAAW,EAAE,EAAU,EAAE,EAAE,CAAC,GAAG,GAAG,EAAE,CAAC,WAAW,EAAE,CACxD,CACJ,CAAC;AACJ,CAAC;AAED;;;;GAIG;AACH,SAAS,SAAS,CAAC,MAAc;IAC/B,MAAM,IAAI,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACtD,4EAA4E;IAC5E,2EAA2E;IAC3E,OAAO,IAAI,MAAM,CACf,uCAAuC,IAAI,iCAAiC,EAC5E,KAAK,CACN,CAAC;AACJ,CAAC;AAED,4CAA4C;AAC5C,SAAS,QAAQ,CAAC,EAAU,EAAE,KAAoB,EAAE,OAA0B;IAC5E,8DAA8D;IAC9D,MAAM,MAAM,GAAG,CAAC,GAAG,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC;IAChE,MAAM,OAAO,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC;IAEhD,OAAO;QACL,EAAE;QACF,KAAK;QACL,KAAK,CAAC,IAAI;YACR,IAAI,IAAI,GAAG,CAAC,CAAC;YACb,IAAI,GAAG,GAAG,IAAI,CAAC;YACf,KAAK,MAAM,EAAE,IAAI,OAAO,EAAE,CAAC;gBACzB,GAAG,GAAG,GAAG,CAAC,OAAO,CAAC,EAAE,EAAE,GAAG,EAAE;oBACzB,IAAI,EAAE,CAAC;oBACP,OAAO,EAAE,CAAC;gBACZ,CAAC,CAAC,CAAC;YACL,CAAC;YACD,OAAO,EAAE,IAAI,EAAE,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,gBAAgB,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,EAAE,IAAI,EAAE,CAAC;QAChE,CAAC;KACF,CAAC;AACJ,CAAC;AAED,4DAA4D;AAC5D,SAAS,SAAS,CAAC,QAAgB,EAAE,WAAmB;IACtD,IAAI,CAAC,WAAW;QAAE,OAAO,WAAW,CAAC;IACrC,MAAM,SAAS,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;IAC9B,IAAI,SAAS,IAAI,SAAS,KAAK,SAAS,CAAC,WAAW,EAAE,IAAI,SAAS,KAAK,SAAS,CAAC,WAAW,EAAE,EAAE,CAAC;QAChG,OAAO,WAAW,CAAC,CAAC,CAAE,CAAC,WAAW,EAAE,GAAG,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IAC9D,CAAC;IACD,OAAO,WAAW,CAAC;AACrB,CAAC;AAED,MAAM,cAAc,GAAS;IAC3B,EAAE,EAAE,YAAY;IAChB,KAAK,EAAE,MAAM;IACb,KAAK,CAAC,IAAI;QACR,IAAI,IAAI,GAAG,CAAC,CAAC;QACb,IAAI,GAAG,GAAG,IAAI,CAAC;QAEf,wEAAwE;QACxE,0EAA0E;QAC1E,wEAAwE;QACxE,2EAA2E;QAC3E,wEAAwE;QACxE,GAAG,GAAG,GAAG,CAAC,OAAO,CAAC,yBAAyB,EAAE,GAAG,EAAE;YAChD,IAAI,EAAE,CAAC;YACP,OAAO,EAAE,CAAC;QACZ,CAAC,CAAC,CAAC;QACH,qEAAqE;QACrE,GAAG,GAAG,GAAG,CAAC,OAAO,CAAC,kBAAkB,EAAE,CAAC,EAAE,EAAE,EAAU,EAAE,EAAE;YACvD,IAAI,EAAE,CAAC;YACP,OAAO,GAAG,EAAE,GAAG,CAAC;QAClB,CAAC,CAAC,CAAC;QACH,GAAG,GAAG,GAAG,CAAC,OAAO,CAAC,SAAS,EAAE,GAAG,EAAE;YAChC,IAAI,EAAE,CAAC;YACP,OAAO,MAAM,CAAC;QAChB,CAAC,CAAC,CAAC;QACH,GAAG,GAAG,GAAG,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,EAAE;YAC5B,IAAI,EAAE,CAAC;YACP,OAAO,GAAG,CAAC;QACb,CAAC,CAAC,CAAC;QAEH,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC;IAC7B,CAAC;CACF,CAAC;AAEF,MAAM,cAAc,GAAS;IAC3B,EAAE,EAAE,YAAY;IAChB,KAAK,EAAE,MAAM;IACb,KAAK,CAAC,IAAI;QACR,IAAI,IAAI,GAAG,CAAC,CAAC;QACb,IAAI,GAAG,GAAG,IAAI,CAAC;QAEf,6DAA6D;QAC7D,GAAG,GAAG,GAAG,CAAC,OAAO,CAAC,uCAAuC,EAAE,GAAG,EAAE;YAC9D,IAAI,EAAE,CAAC;YACP,OAAO,EAAE,CAAC;QACZ,CAAC,CAAC,CAAC;QACH,iEAAiE;QACjE,GAAG,GAAG,GAAG,CAAC,OAAO,CAAC,iBAAiB,EAAE,CAAC,EAAE,EAAE,EAAU,EAAE,EAAE;YACtD,IAAI,EAAE,CAAC;YACP,OAAO,EAAE,CAAC;QACZ,CAAC,CAAC,CAAC;QACH,0DAA0D;QAC1D,IAAI,IAAI,GAAG,CAAC;YAAE,GAAG,GAAG,GAAG,CAAC,OAAO,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC;QAEnD,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC;IAC7B,CAAC;CACF,CAAC;AAEF,MAAM,kBAAkB,GAAS;IAC/B,EAAE,EAAE,iBAAiB;IACrB,KAAK,EAAE,MAAM;IACb,KAAK,CAAC,IAAI;QACR,IAAI,IAAI,GAAG,CAAC,CAAC;QACb,IAAI,GAAG,GAAG,IAAI,CAAC;QACf,wDAAwD;QACxD,MAAM,OAAO,GAAG,CAAC,GAAG,eAAe,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;QAC/E,KAAK,MAAM,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,OAAO,EAAE,CAAC;YACjC,MAAM,EAAE,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC;YAC7B,GAAG,GAAG,GAAG,CAAC,OAAO,CAAC,EAAE,EAAE,CAAC,KAAK,EAAE,EAAE;gBAC9B,IAAI,EAAE,CAAC;gBACP,OAAO,SAAS,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;YAC9B,CAAC,CAAC,CAAC;QACL,CAAC;QACD,OAAO,EAAE,IAAI,EAAE,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,gBAAgB,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,EAAE,IAAI,EAAE,CAAC;IAChE,CAAC;CACF,CAAC;AAEF,MAAM,cAAc,GAAG,QAAQ,CAAC,YAAY,EAAE,MAAM,EAAE,UAAU,CAAC,CAAC;AAClE,MAAM,UAAU,GAAG,QAAQ,CAAC,QAAQ,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC;AACtD,MAAM,gBAAgB,GAAG,QAAQ,CAAC,cAAc,EAAE,YAAY,EAAE,YAAY,CAAC,CAAC;AAC9E,MAAM,UAAU,GAAG,QAAQ,CAAC,QAAQ,EAAE,YAAY,EAAE,MAAM,CAAC,CAAC;AAC5D,MAAM,aAAa,GAAG,QAAQ,CAAC,YAAY,EAAE,YAAY,EAAE,UAAU,CAAC,CAAC;AAEvE,MAAM,YAAY,GAAS;IACzB,EAAE,EAAE,UAAU;IACd,KAAK,EAAE,YAAY;IACnB,KAAK,CAAC,IAAI;QACR,IAAI,IAAI,GAAG,CAAC,CAAC;QACb,IAAI,GAAG,GAAG,IAAI,CAAC;QAEf,KAAK,MAAM,MAAM,IAAI,iBAAiB,EAAE,CAAC;YACvC,MAAM,EAAE,GAAG,IAAI,MAAM,CAAC,gBAAgB,QAAQ,CAAC,MAAM,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC;YACzE,GAAG,GAAG,GAAG,CAAC,OAAO,CAAC,EAAE,EAAE,CAAC,EAAE,EAAE,MAAc,EAAE,EAAE;gBAC3C,IAAI,EAAE,CAAC;gBACP,OAAO,MAAM,CAAC;YAChB,CAAC,CAAC,CAAC;QACL,CAAC;QAED,KAAK,MAAM,IAAI,IAAI,aAAa,EAAE,CAAC;YACjC,MAAM,EAAE,GAAG,WAAW,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,wCAAwC;YAC5E,GAAG,GAAG,GAAG,CAAC,OAAO,CAAC,EAAE,EAAE,CAAC,KAAK,EAAE,EAAE;gBAC9B,IAAI,EAAE,CAAC;gBACP,OAAO,KAAK,CAAC,WAAW,EAAE,CAAC;YAC7B,CAAC,CAAC,CAAC;QACL,CAAC;QAED,8EAA8E;QAC9E,OAAO,EAAE,IAAI,EAAE,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,gBAAgB,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,EAAE,IAAI,EAAE,CAAC;IAChE,CAAC;CACF,CAAC;AAEF,MAAM,kBAAkB,GAAS;IAC/B,EAAE,EAAE,iBAAiB;IACrB,KAAK,EAAE,MAAM;IACb,KAAK,CAAC,IAAI;QACR,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAC/B,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;QAC/B,MAAM,IAAI,GAAa,EAAE,CAAC;QAC1B,IAAI,IAAI,GAAG,CAAC,CAAC;QAEb,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,MAAM,UAAU,GAAG,mBAAmB,CAAC,IAAI,CAAC,CAAC;YAC7C,yEAAyE;YACzE,uEAAuE;YACvE,iDAAiD;YACjD,IAAI,UAAU,CAAC,MAAM,IAAI,EAAE,IAAI,CAAC,kBAAkB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC9D,IAAI,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC;oBACzB,IAAI,EAAE,CAAC;oBACP,SAAS;gBACX,CAAC;gBACD,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;YACvB,CAAC;YACD,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAClB,CAAC;QAED,IAAI,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC1B,IAAI,IAAI,GAAG,CAAC;YAAE,GAAG,GAAG,GAAG,CAAC,OAAO,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC;QACnD,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC;IAC7B,CAAC;CACF,CAAC;AAEF,MAAM,mBAAmB,GAAS;IAChC,EAAE,EAAE,kBAAkB;IACtB,KAAK,EAAE,MAAM;IACb,KAAK,CAAC,IAAI;QACR,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;QACpC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;QAC/B,MAAM,IAAI,GAAa,EAAE,CAAC;QAC1B,IAAI,IAAI,GAAG,CAAC,CAAC;QAEb,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;YAC3B,MAAM,UAAU,GAAG,mBAAmB,CAAC,KAAK,CAAC,CAAC;YAC9C,IAAI,UAAU,CAAC,MAAM,IAAI,EAAE,EAAE,CAAC;gBAC5B,IAAI,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC;oBACzB,IAAI,EAAE,CAAC;oBACP,SAAS;gBACX,CAAC;gBACD,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;YACvB,CAAC;YACD,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACnB,CAAC;QAED,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,CAAC;IAC3C,CAAC;CACF,CAAC;AAEF,MAAM,uBAAuB,GAAS;IACpC,EAAE,EAAE,uBAAuB;IAC3B,KAAK,EAAE,YAAY;IACnB,KAAK,CAAC,IAAI;QACR,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;QACpC,MAAM,cAAc,GAAa,EAAE,CAAC;QACpC,MAAM,IAAI,GAAa,EAAE,CAAC;QAC1B,IAAI,IAAI,GAAG,CAAC,CAAC;QAEb,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;YAC3B,MAAM,UAAU,GAAG,mBAAmB,CAAC,KAAK,CAAC,CAAC;YAC9C,IAAI,UAAU,CAAC,MAAM,IAAI,EAAE,EAAE,CAAC;gBAC5B,MAAM,WAAW,GAAG,cAAc,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,EAAE,UAAU,CAAC,IAAI,IAAI,CAAC,CAAC;gBACrF,IAAI,WAAW,EAAE,CAAC;oBAChB,IAAI,EAAE,CAAC;oBACP,SAAS;gBACX,CAAC;gBACD,cAAc,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;YAClC,CAAC;YACD,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACnB,CAAC;QAED,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,CAAC;IAC3C,CAAC;CACF,CAAC;AAEF;;;;;;;;;;;;;;;;;;GAkBG;AACH,MAAM,CAAC,MAAM,KAAK,GAAoB;IACpC,uEAAuE;IACvE,4CAA4C;IAC5C,mBAAmB;IACnB,uBAAuB;IACvB,kBAAkB;IAClB,+BAA+B;IAC/B,kBAAkB;IAClB,cAAc;IACd,UAAU;IACV,UAAU;IACV,gBAAgB;IAChB,aAAa;IACb,YAAY;IACZ,wEAAwE;IACxE,cAAc;IACd,cAAc;CACf,CAAC;AAEF,MAAM,UAAU,OAAO,CAAC,EAAU;IAChC,OAAO,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;AACxC,CAAC"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@trazum/core",
-  "version": "1.55.0",
+  "version": "1.56.1",
   "description": "Trazum core: priced advisories for LLM prompts (caching, model tier, batching, schemas), plus deterministic trimming, token counting and pricing.",
   "license": "MIT",
   "author": "David Mu\u00f1oz Rey",

package/src/heartbeat.ts

@@ -0,0 +1,142 @@
+/**
+ * Did the things that are supposed to run, run?
+ *
+ * `watch --once` is designed for a scheduler: it pulls, stores, evaluates and
+ * saves state, so a cron entry is the whole daemon. Its state file records the
+ * last cycle precisely so a restart is honest about the stretch it did not
+ * watch — and that file is read by exactly one thing, which is the next cycle.
+ *
+ * **So nothing can tell you the watcher stopped, because the thing that would
+ * tell you is the thing that stopped.** A dead cron produces silence, and
+ * silence is what a watcher with nothing to report produces too. That is
+ * `not-recorded is not not-happened` one layer up from where this repository
+ * usually meets it: not a missing record, a missing *run*.
+ *
+ * This module is the arithmetic for saying so. The caller reads the state file
+ * and the store; this turns instants into ages and ages into a verdict, which
+ * is what makes the rule testable without waiting a week for a cron to die.
+ *
+ * **Three refusals shape it:**
+ *
+ * - **Something that never ran cannot be stale.** A repository where nobody
+ *   has ever started a watcher is not a repository whose watcher is late; it
+ *   has no cadence to be late against. `never-run` is its own verdict and it
+ *   never gates, because a gate that fires on "you have not adopted this
+ *   feature" is a tool nagging rather than measuring.
+ * - **No limit, no verdict.** Without a stated threshold the ages are reported
+ *   and nothing is judged. How stale is too stale is a policy, and this
+ *   product does not write somebody's policy for them.
+ * - **How far the measurements reach is not a run.** A store whose newest
+ *   record covers up to yesterday is a provider reporting on its own schedule,
+ *   not a job that failed. It is reported beside the runs and deliberately
+ *   never judged by the same threshold: merging "nothing ran" with "the
+ *   provider is a day behind" would produce a red build for somebody else's
+ *   latency.
+ */
+
+const HOUR_MS = 3_600_000;
+
+export type HeartbeatKind =
+  /** The last `watch` cycle, from its state file. */
+  | 'watch-cycle'
+  /** The last time a connector wrote a record into the store. */
+  | 'store-pull'
+  /** How far the stored measurements reach — a fact, never a run. */
+  | 'store-coverage';
+
+export type HeartbeatVerdict =
+  /** It has never happened here. Not late; there is no cadence to be late against. */
+  | 'never-run'
+  /** It happened, and no threshold was stated, so nothing is judged. */
+  | 'not-judged'
+  /** Within the stated threshold. */
+  | 'within'
+  /** Past the stated threshold. */
+  | 'stale';
+
+export interface Heartbeat {
+  kind: HeartbeatKind;
+  /** When it last happened, or null when it never has. */
+  lastMs: number | null;
+  /**
+   * Whole hours since, or null when it never happened.
+   *
+   * Hours rather than days because the schedules this is about are hourly as
+   * often as daily, and a cron that died twenty hours ago is zero days old.
+   * Floored, so an age this reports as six hours is at least six hours.
+   */
+  ageHours: number | null;
+  verdict: HeartbeatVerdict;
+}
+
+export interface HeartbeatReport {
+  schemaVersion: 1;
+  nowMs: number;
+  /** The threshold the caller stated, or null when none was. */
+  maxStaleHours: number | null;
+  beats: Heartbeat[];
+  /**
+   * True when something that has run before is past the threshold.
+   *
+   * Never true for a `never-run` beat, and never true for `store-coverage`,
+   * which is not a run.
+   */
+  stale: boolean;
+}
+
+/** What the caller found on disk. Nulls are absences, never zero. */
+export interface HeartbeatInput {
+  /** `lastCycleMs` from the watch state file, or null when there is none. */
+  watchCycleMs: number | null;
+  /** The newest `pulledAtMs` in the store, or null when the store is empty. */
+  storePulledMs: number | null;
+  /** The furthest `toMs` in the store, or null when the store is empty. */
+  storeCoveredToMs: number | null;
+}
+
+/** Whole hours between two instants, floored and never negative. */
+const hoursSince = (fromMs: number, nowMs: number): number =>
+  Math.max(0, Math.floor((nowMs - fromMs) / HOUR_MS));
+
+/** Kinds that answer "did something run", as opposed to "how far does it reach". */
+const IS_A_RUN: Record<HeartbeatKind, boolean> = {
+  'watch-cycle': true,
+  'store-pull': true,
+  'store-coverage': false,
+};
+
+export function heartbeats(
+  input: HeartbeatInput,
+  options: { nowMs: number; maxStaleHours?: number },
+): HeartbeatReport {
+  const { nowMs } = options;
+  const maxStaleHours =
+    typeof options.maxStaleHours === 'number' && Number.isFinite(options.maxStaleHours)
+      ? options.maxStaleHours
+      : null;
+
+  const build = (kind: HeartbeatKind, lastMs: number | null): Heartbeat => {
+    if (lastMs === null) {
+      return { kind, lastMs: null, ageHours: null, verdict: 'never-run' };
+    }
+    const ageHours = hoursSince(lastMs, nowMs);
+    if (maxStaleHours === null || !IS_A_RUN[kind]) {
+      return { kind, lastMs, ageHours, verdict: 'not-judged' };
+    }
+    return { kind, lastMs, ageHours, verdict: ageHours > maxStaleHours ? 'stale' : 'within' };
+  };
+
+  const beats: Heartbeat[] = [
+    build('watch-cycle', input.watchCycleMs),
+    build('store-pull', input.storePulledMs),
+    build('store-coverage', input.storeCoveredToMs),
+  ];
+
+  return {
+    schemaVersion: 1,
+    nowMs,
+    maxStaleHours,
+    beats,
+    stale: beats.some((beat) => beat.verdict === 'stale'),
+  };
+}