@vextlabs/theron-cli 0.2.1 → 0.4.0

package/dist/verifiers/citation_gate.js

@@ -0,0 +1,130 @@
+// Citation-gate verifier — the deterministic teeth behind the
+// regulated/research methodology's "cite the source" invariant.
+//
+// The throughline across legal / medical / science / research / finance-fact
+// is: a stated FACT, PRECEDENT, or FIGURE must point at a source. Reciting a
+// statute, a holding, a clinical guideline, a study result, or a hard number
+// from memory — with nothing to verify it against — is the failure mode this
+// gate catches. It runs on the regulated + research profiles only.
+//
+// How it differs from citation_presence (the existing softer check):
+//   - citation_presence is a length-triggered "did you cite ANYTHING?" warn.
+//     It fires whenever a long output has zero citations.
+//   - citation_gate is CLAIM-triggered and BLOCKS. It only fires when the
+//     output actually ASSERTS a specific fact/precedent/figure (the sentence
+//     that needs a source), and then proves that sentence carries one. This
+//     is the harder gate: a 100-word answer that confidently states a holding
+//     with no cite is blocked even though it's under the presence threshold.
+//
+// How it works:
+//   1. Scan the output for ASSERTION language that introduces a verifiable
+//      fact: a ruled/held case, an approved/indicated drug, a study that
+//      "found"/"showed" a result, a statute that "requires", a figure stated
+//      as established ("the FDA approved", "the standard rate is 21%").
+//   2. If such a claim is present, check for a CITATION token anywhere a
+//      reader could chase it down: a statute § / a case name / a DOI / a
+//      named source / a URL / an inline (Author Year).
+//   3. A specific fact/precedent/figure claim WITHOUT a citation is a BLOCK
+//      — fed back so the model must attach the source before the claim
+//      stands.
+//
+// Conservative by design: it only fires on AFFIRMATIVE, specific assertions.
+// Hedged statements ("I don't have the cite handy"), questions, the model's
+// own disclaimers, and "I can't verify this" all pass. The negation/hedge
+// guard below keeps it from false-firing on honest uncertainty — which is
+// exactly the behavior we want to reward, not punish.
+const APPLIES_TO_PROFILES = new Set([
+    "legal",
+    "medical",
+    "research",
+    "academic",
+    "policy",
+    "science",
+    "finance",
+    "architect",
+    // education profile (slug `tutor`): teach only what you can source/derive —
+    // a confident factual/historical/scientific claim still needs a citation.
+    "tutor",
+]);
+// Only gate substantive outputs — a one-line "let me look that up" is not a
+// fact assertion that needs a cite.
+const MIN_LENGTH_TO_GATE = 180;
+// ASSERTION language: the model stating a specific, verifiable
+// fact / precedent / figure as established. Crafted to catch affirmative
+// regulated claims while ignoring intentions ("let me find the statute"),
+// questions, and the model's own uncertainty (handled by HEDGE_GUARD).
+const CLAIM_PATTERNS = [
+    // A court RULED / HELD / a case ESTABLISHED something — a precedent claim.
+    /\b(?:the\s+court|supreme\s+court|holding|precedent)\b[^.\n]{0,80}\b(?:held|ruled|found|established|decided|affirmed|reversed|struck\s+down|established\s+that)\b/i,
+    /\b(?:held|ruled|established|decided|affirmed|reversed)\b[^.\n]{0,60}\b(?:that|in|under|the\s+defendant|the\s+plaintiff)\b/i,
+    // A statute / regulation / standard REQUIRES / MANDATES / PROHIBITS — a legal-figure claim.
+    /\b(?:statute|regulation|law|code|rule|act|directive|the\s+IBC|the\s+ADA|HIPAA|GDPR|the\s+FDA|the\s+SEC|the\s+IRS)\b[^.\n]{0,80}\b(?:requires?|mandates?|prohibits?|specifies?|states?\s+that|sets?\s+(?:a|the)\s+limit|caps?)\b/i,
+    // A drug / treatment is APPROVED / INDICATED / CONTRAINDICATED — a clinical claim.
+    /\b(?:approved|indicated|contraindicated|first[- ]line|recommended\s+(?:dose|dosage)|the\s+guideline)\b[^.\n]{0,80}\b(?:for|in|by\s+the\s+FDA|treatment|patients?|is\s+\d)\b/i,
+    // A STUDY / TRIAL / META-ANALYSIS FOUND / SHOWED / DEMONSTRATED a result — a research-fact claim.
+    /\b(?:a\s+)?(?:study|trial|meta[- ]analysis|paper|the\s+research|rct|randomized\s+controlled\s+trial|systematic\s+review)\b[^.\n]{0,60}\b(?:found|showed|demonstrated|reported|concluded|established|revealed)\b/i,
+    // An established FIGURE stated as fact: "the standard rate is 21%", "mortality
+    // was 4.2%", "n = 1,204 patients", "the prevalence is 1 in 3,000".
+    /\b(?:the\s+(?:standard|statutory|federal|approved|recommended|established|baseline))\b[^.\n]{0,50}\b(?:rate|limit|threshold|dose|level|value|figure|percentage)\b[^.\n]{0,30}\bis\b[^.\n]{0,20}[\d$]/i,
+    /\b(?:mortality|incidence|prevalence|efficacy|sensitivity|specificity|the\s+rate|the\s+risk|survival)\b[^.\n]{0,40}\b(?:was|is|of)\b\s*[\d$][\d.,]*\s*%?/i,
+];
+// HEDGE / NEGATION guard: if the matched sentence reads as the model being
+// HONEST about not having the source, asking a question, or stating the
+// opposite, it's not a claim that needs proof — it's exactly the "state
+// uncertainty honestly" behavior we reward. Pass it cleanly.
+const HEDGE_GUARD = /\b(?:i\s+don'?t\s+have|i\s+can'?t\s+(?:find|locate|verify|confirm)|not\s+(?:sure|certain|aware|in\s+the)|unsure|unclear|no\s+(?:source|citation|record|study)|cannot\s+(?:cite|verify|confirm)|unverified|unsourced|i\s+believe|i\s+think|may\s+(?:be|have)|might\s+(?:be|have)|appears?\s+to|seems?\s+to|if\s+i\s+recall|as\s+far\s+as\s+i\s+know|point\s+me\s+at|do\s+you\s+have\s+the)\b/i;
+// CITATION tokens — anywhere the claim is anchored to something a reader can
+// chase. Reuses the recognized forms from citation_presence and adds DOI +
+// named-reporter + URL.
+const CITATION_EVIDENCE = [
+    /\[[^\]]*§[^\]]*\]/, // [Source §1.2(b)]
+    /§\s*\d/, // a bare § N citation
+    /\b\d+\s+[A-Z][A-Za-z.]+\s+\d+\b/, // reporter cite: 123 U.S. 456 / 410 F.3d 100
+    /\b[A-Z][A-Za-z.&'-]+\s+v\.?\s+[A-Z][A-Za-z.&'-]+/, // Case v. Name
+    /\b10\.\d{4,9}\/[-._;()/:A-Z0-9]+/i, // a DOI (10.xxxx/...)
+    /\bdoi:\s*\S+/i, // doi: ...
+    /\b(?:PMID|PMCID|NCT|arXiv)\s*:?\s*\d/i, // PubMed / trial / arXiv IDs
+    /\bhttps?:\/\/\S+/, // a URL
+    /\[[^\]]+\]\(\S+\)/, // a markdown link
+    /\[[A-Z][a-z]+(?:\s+et\s+al\.?)?\s+\d{4}\]/, // [Smith 2022]
+    /\([A-Z][a-z]+(?:\s+et\s+al\.?)?,?\s+\d{4}\)/, // (Smith, 2022)
+    /\b(?:USC|U\.S\.C\.|CFR|C\.F\.R\.|IBC|ADA|ISO|IEC|ASTM|NFPA)\s*§?\s*\d/i, // standard/code cite
+];
+function anyMatch(patterns, text) {
+    return patterns.some((re) => re.test(text));
+}
+export const citationGateKernel = {
+    slug: "citation_gate",
+    describe: "Regulated/research: a stated fact, precedent, or figure must carry a citation (statute §, case, DOI, source, or URL)",
+    async run(ctx) {
+        if (!APPLIES_TO_PROFILES.has(ctx.profile))
+            return [];
+        const text = ctx.assistantText;
+        if (text.length < MIN_LENGTH_TO_GATE)
+            return [];
+        // Is there an affirmative fact/precedent/figure assertion at all?
+        const claimMatch = CLAIM_PATTERNS.map((re) => re.exec(text)).find(Boolean);
+        if (!claimMatch)
+            return [];
+        // Hedge/negation guard: if the matched sentence is the model being honest
+        // about NOT having the source (or asking for it), don't gate it. Inspect
+        // a window around the match.
+        const idx = claimMatch.index ?? 0;
+        const window = text.slice(Math.max(0, idx - 90), idx + (claimMatch[0]?.length ?? 0) + 90);
+        if (HEDGE_GUARD.test(window))
+            return [];
+        // Does the output carry a citation the reader could chase down?
+        if (anyMatch(CITATION_EVIDENCE, text))
+            return [];
+        return [
+            {
+                severity: "block",
+                kernel: "citation_gate",
+                message: `A specific fact/precedent/figure ("${claimMatch[0].slice(0, 60).trim()}…") is stated with no citation. ` +
+                    `Per the methodology for regulated/research work: read the source and cite it (statute §, case name, DOI, named study, or URL) ` +
+                    `before asserting it. If you don't have the source, say so honestly instead of stating it as established.`,
+            },
+        ];
+    },
+};
+//# sourceMappingURL=citation_gate.js.map

package/dist/verifiers/citation_gate.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"citation_gate.js","sourceRoot":"","sources":["../../src/verifiers/citation_gate.ts"],"names":[],"mappings":"AAAA,8DAA8D;AAC9D,gEAAgE;AAChE,EAAE;AACF,6EAA6E;AAC7E,6EAA6E;AAC7E,6EAA6E;AAC7E,6EAA6E;AAC7E,mEAAmE;AACnE,EAAE;AACF,qEAAqE;AACrE,6EAA6E;AAC7E,0DAA0D;AAC1D,0EAA0E;AAC1E,6EAA6E;AAC7E,4EAA4E;AAC5E,8EAA8E;AAC9E,6EAA6E;AAC7E,EAAE;AACF,gBAAgB;AAChB,2EAA2E;AAC3E,yEAAyE;AACzE,6EAA6E;AAC7E,wEAAwE;AACxE,yEAAyE;AACzE,yEAAyE;AACzE,uDAAuD;AACvD,4EAA4E;AAC5E,uEAAuE;AACvE,eAAe;AACf,EAAE;AACF,6EAA6E;AAC7E,4EAA4E;AAC5E,0EAA0E;AAC1E,0EAA0E;AAC1E,sDAAsD;AAItD,MAAM,mBAAmB,GAAG,IAAI,GAAG,CAAC;IAClC,OAAO;IACP,SAAS;IACT,UAAU;IACV,UAAU;IACV,QAAQ;IACR,SAAS;IACT,SAAS;IACT,WAAW;IACX,4EAA4E;IAC5E,0EAA0E;IAC1E,OAAO;CACR,CAAC,CAAC;AAEH,4EAA4E;AAC5E,oCAAoC;AACpC,MAAM,kBAAkB,GAAG,GAAG,CAAC;AAE/B,+DAA+D;AAC/D,yEAAyE;AACzE,0EAA0E;AAC1E,uEAAuE;AACvE,MAAM,cAAc,GAAa;IAC/B,2EAA2E;IAC3E,mKAAmK;IACnK,4HAA4H;IAC5H,4FAA4F;IAC5F,kOAAkO;IAClO,mFAAmF;IACnF,8KAA8K;IAC9K,kGAAkG;IAClG,kNAAkN;IAClN,+EAA+E;IAC/E,mEAAmE;IACnE,uMAAuM;IACvM,0JAA0J;CAC3J,CAAC;AAEF,2EAA2E;AAC3E,wEAAwE;AACxE,wEAAwE;AACxE,6DAA6D;AAC7D,MAAM,WAAW,GACf,8XAA8X,CAAC;AAEjY,6EAA6E;AAC7E,2EAA2E;AAC3E,wBAAwB;AACxB,MAAM,iBAAiB,GAAa;IAClC,mBAAmB,EAAkC,mBAAmB;IACxE,QAAQ,EAA6C,sBAAsB;IAC3E,iCAAiC,EAAoB,6CAA6C;IAClG,kDAAkD,EAAE,eAAe;IACnE,mCAAmC,EAAkB,sBAAsB;IAC3E,eAAe,EAAsC,WAAW;IAChE,uCAAuC,EAAc,6BAA6B;IAClF,kBAAkB,EAAmC,QAAQ;IAC7D,mBAAmB,EAAkC,kBAAkB;IACvE,2CAA2C,EAAU,eAAe;IACpE,6CAA6C,EAAQ,gBAAgB;IACrE,wEAAwE,EAAE,qBAAqB;CAChG,CAAC;AAEF,SAAS,QAAQ,CAAC,QAAkB,EAAE,IAAY;IAChD,OAAO,QAAQ,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;AAC9C,CAAC;AAED,MAAM,CAAC,MAAM,kBAAkB,GAAa;IAC1C,IAAI,EAAE,eAAe;IACrB,QAAQ,EACN,sHAAsH;IACxH,KAAK,CAAC,GAAG,CAAC,GAAoB;QAC5B,IAAI,CAAC,mBAAmB,CAAC,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC;YAAE,OAAO,EAAE,CAAC;QACrD,MAAM,IAAI,GAAG,GAAG,CAAC,aAAa,CAAC;QAC/B,IAAI,IAAI,CAAC,MAAM,GAAG,kBAAkB;YAAE,OAAO,EAAE,CAAC;QAEhD,kEAAkE;QAClE,MAAM,UAAU,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAC3E,IAAI,CAAC,UAAU;YAAE,OAAO,EAAE,CAAC;QAE3B,0EAA0E;QAC1E,yEAAyE;QACzE,6BAA6B;QAC7B,MAAM,GAAG,GAAG,UAAU,CAAC,KAAK,IAAI,CAAC,CAAC;QAClC,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,GAAG,EAAE,CAAC,EAAE,GAAG,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,MAAM,IAAI,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC;QAC1F,IAAI,WAAW,CAAC,IAAI,CAAC,MAAM,CAAC;YAAE,OAAO,EAAE,CAAC;QAExC,gEAAgE;QAChE,IAAI,QAAQ,CAAC,iBAAiB,EAAE,IAAI,CAAC;YAAE,OAAO,EAAE,CAAC;QAEjD,OAAO;YACL;gBACE,QAAQ,EAAE,OAAO;gBACjB,MAAM,EAAE,eAAe;gBACvB,OAAO,EACL,sCAAsC,UAAU,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,kCAAkC;oBACzG,gIAAgI;oBAChI,0GAA0G;aAC7G;SACF,CAAC;IACJ,CAAC;CACF,CAAC"}

package/dist/verifiers/confidence_marked.d.ts

@@ -0,0 +1,2 @@
+import type { Verifier } from "./types.js";
+export declare const confidenceMarkedKernel: Verifier;

package/dist/verifiers/confidence_marked.js

@@ -0,0 +1,49 @@
+// Confidence-marked gate — promotes the previously-inert `confidence_marked`
+// alias (which just ran style_lint) into a real kernel.
+//
+// Research / science / scholarly / policy answers should CALIBRATE: a strong
+// factual claim with zero uncertainty language reads as overconfident, the #1
+// epistemic failure mode for these domains. This kernel fires (warn) only when
+// a SUBSTANTIVE answer in a calibration-expected profile contains NO hedging or
+// confidence language anywhere — a deliberately conservative trigger to avoid
+// punishing answers that are already appropriately calibrated. It never blocks
+// (calibration is a quality nudge, not a hard gate).
+// Profiles where explicit uncertainty calibration is expected.
+const CALIBRATION_PROFILES = new Set([
+    "research", "science", "academic", "policy", "strategy", "medical", "business", "investor",
+]);
+// Any one of these counts as calibration: hedges, evidence-strength language,
+// explicit confidence markers, ranges, or qualifiers.
+const CONFIDENCE_MARKERS = [
+    /\b(likely|unlikely|probabl(y|e)|possibl(y|e)|uncertain(ty)?|tentativ(e|ely)|preliminary)\b/i,
+    /\b(approximately|roughly|around|estimate[ds]?|on the order of|circa)\b/i,
+    /\b(appears?|seems?|suggests?|indicates?|implies?)\b/i,
+    /\b(may|might|could|can|would)\b/i,
+    /\b(evidence (suggests|indicates|is (mixed|weak|strong|limited)))\b/i,
+    /\b(high|medium|moderate|low)[- ]confidence\b/i,
+    /\bconfidence(:| level| is)\b/i,
+    /\b(established|contested|speculative|well[- ]supported|inconclusive|debated)\b/i,
+    /[~±]\s*\d/, // ~50, ±3
+    /\b\d+(\.\d+)?\s*(to|–|-)\s*\d/, // a numeric range (50 to 60, 50–60)
+    /\b(assum(e|ption|ing)|caveat|limitation|depends on)\b/i,
+];
+const SUBSTANTIVE_CHARS = 400;
+export const confidenceMarkedKernel = {
+    slug: "confidence_marked",
+    describe: "Nudge for calibrated uncertainty in research/science answers (no hedging at all → warn)",
+    async run(ctx) {
+        if (!CALIBRATION_PROFILES.has(ctx.profile))
+            return [];
+        const text = ctx.assistantText ?? "";
+        if (text.trim().length < SUBSTANTIVE_CHARS)
+            return [];
+        if (CONFIDENCE_MARKERS.some((re) => re.test(text)))
+            return [];
+        return [{
+                severity: "warn",
+                kernel: "confidence_marked",
+                message: "No uncertainty/confidence calibration found. Mark how strongly the evidence supports each key claim (e.g. \"evidence suggests…\", \"likely\", a confidence level, or a range) and separate established from contested from speculative.",
+            }];
+    },
+};
+//# sourceMappingURL=confidence_marked.js.map

package/dist/verifiers/confidence_marked.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"confidence_marked.js","sourceRoot":"","sources":["../../src/verifiers/confidence_marked.ts"],"names":[],"mappings":"AAAA,6EAA6E;AAC7E,wDAAwD;AACxD,EAAE;AACF,6EAA6E;AAC7E,8EAA8E;AAC9E,+EAA+E;AAC/E,gFAAgF;AAChF,8EAA8E;AAC9E,+EAA+E;AAC/E,qDAAqD;AAIrD,+DAA+D;AAC/D,MAAM,oBAAoB,GAAG,IAAI,GAAG,CAAC;IACnC,UAAU,EAAE,SAAS,EAAE,UAAU,EAAE,QAAQ,EAAE,UAAU,EAAE,SAAS,EAAE,UAAU,EAAE,UAAU;CAC3F,CAAC,CAAC;AAEH,8EAA8E;AAC9E,sDAAsD;AACtD,MAAM,kBAAkB,GAAG;IACzB,6FAA6F;IAC7F,yEAAyE;IACzE,sDAAsD;IACtD,kCAAkC;IAClC,qEAAqE;IACrE,+CAA+C;IAC/C,+BAA+B;IAC/B,iFAAiF;IACjF,WAAW,EAAwB,UAAU;IAC7C,+BAA+B,EAAG,oCAAoC;IACtE,wDAAwD;CACzD,CAAC;AAEF,MAAM,iBAAiB,GAAG,GAAG,CAAC;AAE9B,MAAM,CAAC,MAAM,sBAAsB,GAAa;IAC9C,IAAI,EAAE,mBAAmB;IACzB,QAAQ,EAAE,yFAAyF;IACnG,KAAK,CAAC,GAAG,CAAC,GAAoB;QAC5B,IAAI,CAAC,oBAAoB,CAAC,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC;YAAE,OAAO,EAAE,CAAC;QACtD,MAAM,IAAI,GAAG,GAAG,CAAC,aAAa,IAAI,EAAE,CAAC;QACrC,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,iBAAiB;YAAE,OAAO,EAAE,CAAC;QACtD,IAAI,kBAAkB,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAAE,OAAO,EAAE,CAAC;QAC9D,OAAO,CAAC;gBACN,QAAQ,EAAE,MAAM;gBAChB,MAAM,EAAE,mBAAmB;gBAC3B,OAAO,EACL,yOAAyO;aAC5O,CAAC,CAAC;IACL,CAAC;CACF,CAAC"}

package/dist/verifiers/disclaimer_gate.d.ts

@@ -0,0 +1,2 @@
+import type { Verifier } from "./types.js";
+export declare const disclaimerGateKernel: Verifier;

package/dist/verifiers/disclaimer_gate.js

@@ -0,0 +1,57 @@
+// Disclaimer gate — makes the safety-critical methodologies enforceable.
+//
+// The therapy / trader / trainer / medical methodologies (src/profiles/
+// methodologies/*) each PROMISE a closing safety disclaimer ("this isn't
+// therapy — reach out to 988", "educational, not investment advice", "see a
+// sports-medicine physician", "not a substitute for a physician"). A promise
+// the model can silently drop is not a guarantee. This kernel asserts the
+// disclaimer is actually present on substantive turns and BLOCKS (feeds back
+// into the next turn) when it's missing — the same discipline the pentest
+// evidence_gate applies to findings, applied to user-safety language.
+// Profile → required closing disclaimer. Only these safety-sensitive,
+// educational-not-professional profiles are gated.
+const DISCLAIMERS = {
+    therapy: {
+        label: "not-therapy / crisis resource",
+        any: [/\b988\b/, /crisis (lifeline|line)/i, /licensed (therapist|clinician|counselor)/i, /\bisn'?t therapy\b/i, /not (a substitute for |real )?therapy/i],
+        fix: 'End with the not-therapy disclaimer, e.g. "This isn\'t therapy — if things feel heavy, reach out to a licensed therapist or 988."',
+    },
+    trader: {
+        label: "not-investment-advice",
+        any: [/not (investment |financial )?advice/i, /licensed (financial )?advisor/i, /past performance/i, /\beducational\b/i],
+        fix: 'End with the not-advice disclaimer, e.g. "This is educational. Past performance does not predict future results. Talk to a licensed advisor."',
+    },
+    trainer: {
+        label: "see-a-physician",
+        any: [/physician/i, /sports[- ]medicine/i, /medical (advice|professional)/i, /\bdoctor\b/i, /healthcare (provider|professional)/i],
+        fix: 'End with the safety disclaimer, e.g. "If anything hurts beyond normal soreness, see a sports-medicine physician."',
+    },
+    medical: {
+        label: "not-a-substitute-for-a-physician",
+        any: [/physician/i, /healthcare (provider|professional)/i, /\bdoctor\b/i, /not a substitute/i, /consult (a|your) (doctor|physician|clinician)/i, /medical advice/i],
+        fix: 'Add the educational-use disclaimer — this is not a substitute for a licensed physician; the user should consult one.',
+    },
+};
+// Below this length a turn is a clarifying aside, not substantive advice;
+// don't force a disclaimer onto "Which symptom do you mean?".
+const SUBSTANTIVE_CHARS = 240;
+export const disclaimerGateKernel = {
+    slug: "disclaimer_gate",
+    describe: "Assert the required safety disclaimer is present (therapy/trader/trainer/medical)",
+    async run(ctx) {
+        const spec = DISCLAIMERS[ctx.profile];
+        if (!spec)
+            return [];
+        const text = ctx.assistantText ?? "";
+        if (text.trim().length < SUBSTANTIVE_CHARS)
+            return [];
+        if (spec.any.some((re) => re.test(text)))
+            return [];
+        return [{
+                severity: "block",
+                kernel: "disclaimer_gate",
+                message: `Missing the required ${spec.label} disclaimer for ${ctx.profile} mode. ${spec.fix}`,
+            }];
+    },
+};
+//# sourceMappingURL=disclaimer_gate.js.map

package/dist/verifiers/disclaimer_gate.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"disclaimer_gate.js","sourceRoot":"","sources":["../../src/verifiers/disclaimer_gate.ts"],"names":[],"mappings":"AAAA,yEAAyE;AACzE,EAAE;AACF,wEAAwE;AACxE,yEAAyE;AACzE,4EAA4E;AAC5E,6EAA6E;AAC7E,0EAA0E;AAC1E,6EAA6E;AAC7E,0EAA0E;AAC1E,sEAAsE;AAatE,sEAAsE;AACtE,mDAAmD;AACnD,MAAM,WAAW,GAAmC;IAClD,OAAO,EAAE;QACP,KAAK,EAAE,+BAA+B;QACtC,GAAG,EAAE,CAAC,SAAS,EAAE,yBAAyB,EAAE,2CAA2C,EAAE,qBAAqB,EAAE,wCAAwC,CAAC;QACzJ,GAAG,EAAE,mIAAmI;KACzI;IACD,MAAM,EAAE;QACN,KAAK,EAAE,uBAAuB;QAC9B,GAAG,EAAE,CAAC,sCAAsC,EAAE,gCAAgC,EAAE,mBAAmB,EAAE,kBAAkB,CAAC;QACxH,GAAG,EAAE,+IAA+I;KACrJ;IACD,OAAO,EAAE;QACP,KAAK,EAAE,iBAAiB;QACxB,GAAG,EAAE,CAAC,YAAY,EAAE,qBAAqB,EAAE,gCAAgC,EAAE,aAAa,EAAE,qCAAqC,CAAC;QAClI,GAAG,EAAE,mHAAmH;KACzH;IACD,OAAO,EAAE;QACP,KAAK,EAAE,kCAAkC;QACzC,GAAG,EAAE,CAAC,YAAY,EAAE,qCAAqC,EAAE,aAAa,EAAE,mBAAmB,EAAE,gDAAgD,EAAE,iBAAiB,CAAC;QACnK,GAAG,EAAE,sHAAsH;KAC5H;CACF,CAAC;AAEF,0EAA0E;AAC1E,8DAA8D;AAC9D,MAAM,iBAAiB,GAAG,GAAG,CAAC;AAE9B,MAAM,CAAC,MAAM,oBAAoB,GAAa;IAC5C,IAAI,EAAE,iBAAiB;IACvB,QAAQ,EAAE,mFAAmF;IAC7F,KAAK,CAAC,GAAG,CAAC,GAAoB;QAC5B,MAAM,IAAI,GAAG,WAAW,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QACtC,IAAI,CAAC,IAAI;YAAE,OAAO,EAAE,CAAC;QACrB,MAAM,IAAI,GAAG,GAAG,CAAC,aAAa,IAAI,EAAE,CAAC;QACrC,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,iBAAiB;YAAE,OAAO,EAAE,CAAC;QACtD,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAAE,OAAO,EAAE,CAAC;QACpD,OAAO,CAAC;gBACN,QAAQ,EAAE,OAAO;gBACjB,MAAM,EAAE,iBAAiB;gBACzB,OAAO,EAAE,wBAAwB,IAAI,CAAC,KAAK,mBAAmB,GAAG,CAAC,OAAO,UAAU,IAAI,CAAC,GAAG,EAAE;aAC9F,CAAC,CAAC;IACL,CAAC;CACF,CAAC"}

package/dist/verifiers/evidence_gate.d.ts

@@ -0,0 +1,2 @@
+import type { Verifier } from "./types.js";
+export declare const evidenceGateKernel: Verifier;

package/dist/verifiers/evidence_gate.js

@@ -0,0 +1,108 @@
+// Evidence-gate verifier — the deterministic teeth behind the pentest /
+// security methodology's "confirm with evidence" invariant.
+//
+// The methodology says: NEVER claim a vulnerability without the exact
+// request that triggers it AND the response/error that proves it. This
+// kernel enforces that gate mechanically rather than trusting the model
+// to self-police. It runs on the `pentest` and `security` profiles only.
+//
+// How it works:
+//   1. Scan the output for VULN-CLAIM language ("SQL injection confirmed",
+//      "auth bypass found", "vulnerable to XSS", "IDOR present", etc.).
+//   2. If a claim is present, scan for EVIDENCE alongside it: a concrete
+//      request (curl / HTTP method + path / a payload string) AND a
+//      concrete observed response (status code, error string, extracted
+//      row, token contents, a fenced response block, etc.).
+//   3. A claim WITHOUT both halves of the evidence is a BLOCK — it gets
+//      fed back into the next turn so the model must go prove it (re-run
+//      the request, paste the response) before the finding stands.
+//
+// This is intentionally conservative: it only fires when the output
+// actually asserts a vulnerability. Recon, baselining, scoping, and
+// "I tested X and it's NOT vulnerable" never trip it. The point is to
+// stop unproven "found a critical SQLi" claims, not to slow down honest
+// investigation.
+const APPLIES_TO_PROFILES = new Set(["pentest", "security"]);
+// A claim is only gated if the output is substantive enough to be a
+// finding rather than a passing aside. Short "let me test for SQLi"
+// lines are not claims.
+const MIN_LENGTH_TO_GATE = 200;
+// VULN-CLAIM language: the model asserting a vulnerability EXISTS /
+// is confirmed / was exploited. Crafted to catch affirmative findings
+// while ignoring negative results ("not vulnerable") and intentions
+// ("let's test for SQLi"), which are handled by NEGATION_GUARD below.
+const CLAIM_PATTERNS = [
+    /\b(?:sql\s*injection|sqli|xss|cross[- ]site\s+scripting|csrf|ssrf|idor|bola|rce|remote\s+code\s+execution|auth(?:entication|orization)?\s+bypass|privilege\s+escalation|path\s+traversal|directory\s+traversal|lfi|rfi|xxe|open\s+redirect|insecure\s+deserialization|command\s+injection|broken\s+access\s+control)\b[^.\n]{0,80}\b(?:confirmed|found|present|exists?|works?|succeeds?|is\s+exploitable|vulnerab(?:le|ility)|triggered|exploited|verified)\b/i,
+    /\b(?:vulnerab(?:le|ility))\b[^.\n]{0,60}\b(?:to|confirmed|found|present)\b/i,
+    /\b(?:confirmed|verified|exploited|found)\b[^.\n]{0,40}\b(?:sql\s*injection|sqli|xss|csrf|ssrf|idor|bola|rce|auth(?:entication|orization)?\s+bypass|privilege\s+escalation|path\s+traversal|command\s+injection|access\s+control)\b/i,
+    // A structured finding header asserting severity — "Severity: Critical"
+    // / "**Critical**" alongside a finding implies a positive claim.
+    /\bseverity\b\s*[:\-]\s*(critical|high|medium|med|low)\b/i,
+];
+// Negation guard: if the matched sentence is a NEGATIVE result, it's not
+// a claim that needs proof. "/login is NOT vulnerable to SQLi" should
+// pass cleanly.
+const NEGATION_NEAR = /\b(not|isn'?t|wasn'?t|no\s+evidence|appears?\s+safe|does\s+not\s+appear|could\s+not|couldn'?t|unable\s+to|ruled\s+out|false\s+positive)\b/i;
+// EVIDENCE — a concrete REQUEST. The exact thing that was sent.
+const REQUEST_EVIDENCE = [
+    /\bcurl\b/i, // a curl invocation
+    /\b(GET|POST|PUT|DELETE|PATCH)\s+\/?\S/, // METHOD /path
+    /\?\w+=/, // a query param payload (?q=...)
+    /https?:\/\/\S+/, // a full URL under test
+    /\bpayload\b\s*[:\-]/i, // an explicit payload line
+    /['"`][^'"`\n]*(?:'|--|\bUNION\b|\bSELECT\b|<script|\.\.\/)[^'"`\n]*['"`]/i, // an injection string
+];
+// EVIDENCE — a concrete RESPONSE / observation that PROVES it.
+const RESPONSE_EVIDENCE = [
+    /\b(?:HTTP\/?\d?\.?\d?\s*)?(?:status\s*(?:code)?\s*[:=]?\s*)?\b(200|201|301|302|400|401|403|404|419|500|502|503)\b/,
+    /\b(?:SQLITE_ERROR|SQL\s*syntax|ORA-\d+|PG::|MySQLSyntaxError|near\s+["'][^"']*["']:\s*syntax\s+error|unterminated\s+(?:quoted\s+)?string|column\s+count|unrecognized\s+token)\b/i,
+    /\b(?:returned|returns|response(?:\s+(?:was|is|body))?|error(?:\s+(?:was|is|message))?|output(?:\s+(?:was|is))?)\b\s*[:\-]/i,
+    /```[\s\S]*?```/, // a fenced response/error block
+    /\b\d+\s+rows?\b/i, // "3 rows" — baseline/extract evidence
+    /\beyJ[A-Za-z0-9_-]{8,}/, // a JWT (header.payload...) inline
+    /\b(?:extracted|leaked|dumped|recovered)\b[^.\n]{0,40}\b(?:user|password|hash|token|email|row|record|column)\b/i,
+];
+function anyMatch(patterns, text) {
+    return patterns.some((re) => re.test(text));
+}
+export const evidenceGateKernel = {
+    slug: "evidence_gate",
+    describe: "Pentest/security: a vulnerability CLAIM must carry the exact request + the proving response/error",
+    async run(ctx) {
+        if (!APPLIES_TO_PROFILES.has(ctx.profile))
+            return [];
+        const text = ctx.assistantText;
+        if (text.length < MIN_LENGTH_TO_GATE)
+            return [];
+        // Is there an affirmative vulnerability claim at all?
+        const claimMatch = CLAIM_PATTERNS.map((re) => re.exec(text)).find(Boolean);
+        if (!claimMatch)
+            return [];
+        // Negation guard: if the matched claim sentence reads as a NEGATIVE
+        // result, it's not a finding that needs evidence. Inspect a window
+        // around the match.
+        const idx = claimMatch.index ?? 0;
+        const window = text.slice(Math.max(0, idx - 80), idx + (claimMatch[0]?.length ?? 0) + 80);
+        if (NEGATION_NEAR.test(window))
+            return [];
+        const hasRequest = anyMatch(REQUEST_EVIDENCE, text);
+        const hasResponse = anyMatch(RESPONSE_EVIDENCE, text);
+        if (hasRequest && hasResponse)
+            return [];
+        const missing = [];
+        if (!hasRequest)
+            missing.push("the exact request (curl / METHOD path / payload)");
+        if (!hasResponse)
+            missing.push("the proving response (status code, error, extracted data, or a fenced response block)");
+        return [
+            {
+                severity: "block",
+                kernel: "evidence_gate",
+                message: `Vulnerability claim ("${claimMatch[0].slice(0, 60).trim()}…") is missing ${missing.join(" and ")}. ` +
+                    `Per the methodology: never claim a vuln without the exact request AND the response/error that proves it. ` +
+                    `Re-run the request, paste both halves of the evidence, then restate the finding.`,
+            },
+        ];
+    },
+};
+//# sourceMappingURL=evidence_gate.js.map

package/dist/verifiers/evidence_gate.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"evidence_gate.js","sourceRoot":"","sources":["../../src/verifiers/evidence_gate.ts"],"names":[],"mappings":"AAAA,wEAAwE;AACxE,4DAA4D;AAC5D,EAAE;AACF,sEAAsE;AACtE,uEAAuE;AACvE,wEAAwE;AACxE,yEAAyE;AACzE,EAAE;AACF,gBAAgB;AAChB,2EAA2E;AAC3E,wEAAwE;AACxE,yEAAyE;AACzE,oEAAoE;AACpE,wEAAwE;AACxE,4DAA4D;AAC5D,wEAAwE;AACxE,yEAAyE;AACzE,mEAAmE;AACnE,EAAE;AACF,oEAAoE;AACpE,oEAAoE;AACpE,sEAAsE;AACtE,wEAAwE;AACxE,iBAAiB;AAIjB,MAAM,mBAAmB,GAAG,IAAI,GAAG,CAAC,CAAC,SAAS,EAAE,UAAU,CAAC,CAAC,CAAC;AAE7D,oEAAoE;AACpE,oEAAoE;AACpE,wBAAwB;AACxB,MAAM,kBAAkB,GAAG,GAAG,CAAC;AAE/B,oEAAoE;AACpE,sEAAsE;AACtE,oEAAoE;AACpE,sEAAsE;AACtE,MAAM,cAAc,GAAa;IAC/B,gcAAgc;IAChc,6EAA6E;IAC7E,qOAAqO;IACrO,wEAAwE;IACxE,iEAAiE;IACjE,0DAA0D;CAC3D,CAAC;AAEF,yEAAyE;AACzE,sEAAsE;AACtE,gBAAgB;AAChB,MAAM,aAAa,GAAG,4IAA4I,CAAC;AAEnK,gEAAgE;AAChE,MAAM,gBAAgB,GAAa;IACjC,WAAW,EAAoC,oBAAoB;IACnE,uCAAuC,EAAS,eAAe;IAC/D,QAAQ,EAAwC,iCAAiC;IACjF,gBAAgB,EAAgC,wBAAwB;IACxE,sBAAsB,EAA2B,2BAA2B;IAC5E,2EAA2E,EAAE,sBAAsB;CACpG,CAAC;AAEF,+DAA+D;AAC/D,MAAM,iBAAiB,GAAa;IAClC,mHAAmH;IACnH,kLAAkL;IAClL,4HAA4H;IAC5H,gBAAgB,EAAiC,gCAAgC;IACjF,kBAAkB,EAA8B,uCAAuC;IACvF,wBAAwB,EAAyB,mCAAmC;IACpF,gHAAgH;CACjH,CAAC;AAEF,SAAS,QAAQ,CAAC,QAAkB,EAAE,IAAY;IAChD,OAAO,QAAQ,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;AAC9C,CAAC;AAED,MAAM,CAAC,MAAM,kBAAkB,GAAa;IAC1C,IAAI,EAAE,eAAe;IACrB,QAAQ,EACN,mGAAmG;IACrG,KAAK,CAAC,GAAG,CAAC,GAAoB;QAC5B,IAAI,CAAC,mBAAmB,CAAC,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC;YAAE,OAAO,EAAE,CAAC;QACrD,MAAM,IAAI,GAAG,GAAG,CAAC,aAAa,CAAC;QAC/B,IAAI,IAAI,CAAC,MAAM,GAAG,kBAAkB;YAAE,OAAO,EAAE,CAAC;QAEhD,sDAAsD;QACtD,MAAM,UAAU,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAC3E,IAAI,CAAC,UAAU;YAAE,OAAO,EAAE,CAAC;QAE3B,oEAAoE;QACpE,mEAAmE;QACnE,oBAAoB;QACpB,MAAM,GAAG,GAAG,UAAU,CAAC,KAAK,IAAI,CAAC,CAAC;QAClC,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,GAAG,EAAE,CAAC,EAAE,GAAG,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,MAAM,IAAI,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC;QAC1F,IAAI,aAAa,CAAC,IAAI,CAAC,MAAM,CAAC;YAAE,OAAO,EAAE,CAAC;QAE1C,MAAM,UAAU,GAAG,QAAQ,CAAC,gBAAgB,EAAE,IAAI,CAAC,CAAC;QACpD,MAAM,WAAW,GAAG,QAAQ,CAAC,iBAAiB,EAAE,IAAI,CAAC,CAAC;QAEtD,IAAI,UAAU,IAAI,WAAW;YAAE,OAAO,EAAE,CAAC;QAEzC,MAAM,OAAO,GAAa,EAAE,CAAC;QAC7B,IAAI,CAAC,UAAU;YAAE,OAAO,CAAC,IAAI,CAAC,kDAAkD,CAAC,CAAC;QAClF,IAAI,CAAC,WAAW;YAAE,OAAO,CAAC,IAAI,CAAC,uFAAuF,CAAC,CAAC;QAExH,OAAO;YACL;gBACE,QAAQ,EAAE,OAAO;gBACjB,MAAM,EAAE,eAAe;gBACvB,OAAO,EACL,yBAAyB,UAAU,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,kBAAkB,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI;oBACrG,2GAA2G;oBAC3G,kFAAkF;aACrF;SACF,CAAC;IACJ,CAAC;CACF,CAAC"}

package/dist/verifiers/index.d.ts

@@ -1,5 +1,10 @@
 import type { VerifierContext, VerifierIssue } from "./types.js";
 export type { Verifier, VerifierContext, VerifierIssue } from "./types.js";
+/** All registered verifier slugs (real kernels + aliases). Used by the
+ *  integrity test to catch a profile referencing a slug that doesn't resolve
+ *  to a kernel (runVerifiers silently drops unknown slugs, so without this a
+ *  typo'd verifier slug would be an invisible no-op). */
+export declare function listVerifierSlugs(): string[];
 /** Run the kernels for the active profile in parallel. Each kernel
  *  has its own 5s timeout — slow kernels return [] rather than block
  *  the loop. Total wall time bounded by max(per-kernel time, 5s). */

package/dist/verifiers/index.js

@@ -19,6 +19,13 @@ import { emDashCheckKernel } from "./em_dash_check.js";
 import { aiIsmCheckKernel } from "./ai_ism_check.js";
 import { citationPresenceKernel } from "./citation_presence.js";
 import { arithmeticRecheckKernel } from "./arithmetic_recheck.js";
+import { evidenceGateKernel } from "./evidence_gate.js";
+import { citationGateKernel } from "./citation_gate.js";
+import { calcGateKernel } from "./calc_gate.js";
+import { sourceGateKernel } from "./source_gate.js";
+import { disclaimerGateKernel } from "./disclaimer_gate.js";
+import { confidenceMarkedKernel } from "./confidence_marked.js";
+import { PROMOTED_KERNELS } from "./promoted_kernels.js";
 // Map slug → kernel. Profiles reference these via Profile.verifiers[].
 const REGISTRY = new Map();
 function register(v) { REGISTRY.set(v.slug, v); }
@@ -30,19 +37,26 @@ register(emDashCheckKernel);
 register(aiIsmCheckKernel);
 register(citationPresenceKernel);
 register(arithmeticRecheckKernel);
+register(evidenceGateKernel);
+register(citationGateKernel);
+register(calcGateKernel);
+register(sourceGateKernel);
+register(disclaimerGateKernel);
+register(confidenceMarkedKernel);
+// Promoted real kernels (claim_grounding, assumption_marked, unit_consistency,
+// sentence_variance, component_states_complete, token_lint) — previously inert
+// style_lint aliases, now each with conservative warn-level domain logic.
+for (const k of PROMOTED_KERNELS)
+    register(k);
 // Aliases for verifier slugs referenced in seeds.ts that share a kernel
 // (e.g. assumption_marked / advice_disclaimer / confidence_marked all
 // run via style_lint with a different config — the verifier reads the
 // active profile slug to know what to look for).
 for (const alias of [
-    "claim_grounding",
-    "assumption_marked",
+    // The only remaining style_lint alias. The rest (claim_grounding,
+    // assumption_marked, confidence_marked, sentence_variance, unit_consistency,
+    // component_states_complete, token_lint) are now real kernels.
     "advice_disclaimer",
-    "confidence_marked",
-    "sentence_variance",
-    "unit_consistency",
-    "component_states_complete",
-    "token_lint",
 ]) {
     // Default these aliases to the style_lint kernel for now — they're
     // surfaced as the kernel name in issue.kernel so the user still sees
@@ -50,6 +64,13 @@ for (const alias of [
     // of "auto-baseline" into "hand-crafted."
     REGISTRY.set(alias, { ...styleLintKernel, slug: alias });
 }
+/** All registered verifier slugs (real kernels + aliases). Used by the
+ *  integrity test to catch a profile referencing a slug that doesn't resolve
+ *  to a kernel (runVerifiers silently drops unknown slugs, so without this a
+ *  typo'd verifier slug would be an invisible no-op). */
+export function listVerifierSlugs() {
+    return [...REGISTRY.keys()];
+}
 /** Run the kernels for the active profile in parallel. Each kernel
  *  has its own 5s timeout — slow kernels return [] rather than block
  *  the loop. Total wall time bounded by max(per-kernel time, 5s). */

package/dist/verifiers/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/verifiers/index.ts"],"names":[],"mappings":"AAAA,uCAAuC;AACvC,EAAE;AACF,sEAAsE;AACtE,mEAAmE;AACnE,8DAA8D;AAC9D,qEAAqE;AACrE,EAAE;AACF,gEAAgE;AAChE,iEAAiE;AACjE,EAAE;AACF,sEAAsE;AACtE,mEAAmE;AACnE,wCAAwC;AAExC,OAAO,EAAE,eAAe,EAAE,MAAM,gBAAgB,CAAC;AACjD,OAAO,EAAE,UAAU,EAAE,MAAM,WAAW,CAAC;AACvC,OAAO,EAAE,eAAe,EAAE,MAAM,iBAAiB,CAAC;AAClD,OAAO,EAAE,eAAe,EAAE,MAAM,iBAAiB,CAAC;AAClD,OAAO,EAAE,iBAAiB,EAAE,MAAM,oBAAoB,CAAC;AACvD,OAAO,EAAE,gBAAgB,EAAE,MAAM,mBAAmB,CAAC;AACrD,OAAO,EAAE,sBAAsB,EAAE,MAAM,wBAAwB,CAAC;AAChE,OAAO,EAAE,uBAAuB,EAAE,MAAM,yBAAyB,CAAC;AAGlE,uEAAuE;AACvE,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAoB,CAAC;AAC7C,SAAS,QAAQ,CAAC,CAAW,IAAU,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;AAEjE,QAAQ,CAAC,eAAe,CAAC,CAAC;AAC1B,QAAQ,CAAC,UAAU,CAAC,CAAC;AACrB,QAAQ,CAAC,eAAe,CAAC,CAAC;AAC1B,QAAQ,CAAC,eAAe,CAAC,CAAC;AAC1B,QAAQ,CAAC,iBAAiB,CAAC,CAAC;AAC5B,QAAQ,CAAC,gBAAgB,CAAC,CAAC;AAC3B,QAAQ,CAAC,sBAAsB,CAAC,CAAC;AACjC,QAAQ,CAAC,uBAAuB,CAAC,CAAC;AAElC,wEAAwE;AACxE,sEAAsE;AACtE,sEAAsE;AACtE,iDAAiD;AACjD,KAAK,MAAM,KAAK,IAAI;IAClB,iBAAiB;IACjB,mBAAmB;IACnB,mBAAmB;IACnB,mBAAmB;IACnB,mBAAmB;IACnB,kBAAkB;IAClB,2BAA2B;IAC3B,YAAY;CACb,EAAE,CAAC;IACF,mEAAmE;IACnE,qEAAqE;IACrE,oEAAoE;IACpE,0CAA0C;IAC1C,QAAQ,CAAC,GAAG,CAAC,KAAK,EAAE,EAAE,GAAG,eAAe,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;AAC3D,CAAC;AAID;;qEAEqE;AACrE,MAAM,CAAC,KAAK,UAAU,YAAY,CAChC,KAA2B,EAC3B,GAAoB;IAEpB,IAAI,CAAC,KAAK,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IAC5C,MAAM,OAAO,GAAG,KAAK;SAClB,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;SAC3B,MAAM,CAAC,CAAC,CAAC,EAAiB,EAAE,CAAC,CAAC,KAAK,SAAS,CAAC,CAAC;IACjD,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IAEpC,MAAM,OAAO,GAAG,MAAM,OAAO,CAAC,GAAG,CAC/B,OAAO,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE;QACtB,IAAI,CAAC;YACH,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,IAAI,CAAC;gBAChC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC;gBACV,IAAI,OAAO,CAAkB,CAAC,OAAO,EAAE,EAAE,CAAC,UAAU,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC;aAC/E,CAAC,CAAC;YACH,OAAO,MAAM,CAAC;QAChB,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,0DAA0D;YAC1D,OAAO,CAAC;oBACN,QAAQ,EAAE,MAAe;oBACzB,MAAM,EAAE,CAAC,CAAC,IAAI;oBACd,OAAO,EAAE,qBAAqB,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE;iBACjF,CAAC,CAAC;QACL,CAAC;IACH,CAAC,CAAC,CACH,CAAC;IACF,OAAO,OAAO,CAAC,IAAI,EAAE,CAAC;AACxB,CAAC;AAED,gEAAgE;AAChE,MAAM,UAAU,eAAe,CAAC,MAAuB;IAKrD,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,aAAa,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC;IAClF,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC;IAC5D,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,MAAM,CAAC,CAAC;IAC1D,MAAM,EAAE,GAAG,MAAM,CAAC,MAAM,KAAK,CAAC,CAAC;IAC/B,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC;QAAE,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,MAAM,QAAQ,CAAC,CAAC;IAC5D,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC;QAAE,KAAK,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,MAAM,OAAO,CAAC,CAAC;IACzD,OAAO;QACL,EAAE;QACF,OAAO,EAAE,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC;QAC1B,OAAO,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;YACxB,MAAM,GAAG,GAAG,CAAC,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,KAAK,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC;YAC7E,MAAM,GAAG,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC/C,OAAO,KAAK,GAAG,IAAI,CAAC,CAAC,MAAM,IAAI,GAAG,IAAI,CAAC,CAAC,OAAO,EAAE,CAAC;QACpD,CAAC,CAAC;KACH,CAAC;AACJ,CAAC;AAED;;0EAE0E;AAC1E,MAAM,UAAU,iBAAiB,CAAC,MAAuB;IACvD,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC;IAC5D,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IACnC,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;QAC7B,MAAM,GAAG,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,QAAQ,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;QACjD,OAAO,MAAM,CAAC,CAAC,MAAM,IAAI,GAAG,IAAI,CAAC,CAAC,OAAO,EAAE,CAAC;IAC9C,CAAC,CAAC,CAAC;IACH,OAAO;QACL,gEAAgE;QAChE,8FAA8F;QAC9F,GAAG,KAAK;QACR,EAAE;KACH,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACf,CAAC"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/verifiers/index.ts"],"names":[],"mappings":"AAAA,uCAAuC;AACvC,EAAE;AACF,sEAAsE;AACtE,mEAAmE;AACnE,8DAA8D;AAC9D,qEAAqE;AACrE,EAAE;AACF,gEAAgE;AAChE,iEAAiE;AACjE,EAAE;AACF,sEAAsE;AACtE,mEAAmE;AACnE,wCAAwC;AAExC,OAAO,EAAE,eAAe,EAAE,MAAM,gBAAgB,CAAC;AACjD,OAAO,EAAE,UAAU,EAAE,MAAM,WAAW,CAAC;AACvC,OAAO,EAAE,eAAe,EAAE,MAAM,iBAAiB,CAAC;AAClD,OAAO,EAAE,eAAe,EAAE,MAAM,iBAAiB,CAAC;AAClD,OAAO,EAAE,iBAAiB,EAAE,MAAM,oBAAoB,CAAC;AACvD,OAAO,EAAE,gBAAgB,EAAE,MAAM,mBAAmB,CAAC;AACrD,OAAO,EAAE,sBAAsB,EAAE,MAAM,wBAAwB,CAAC;AAChE,OAAO,EAAE,uBAAuB,EAAE,MAAM,yBAAyB,CAAC;AAClE,OAAO,EAAE,kBAAkB,EAAE,MAAM,oBAAoB,CAAC;AACxD,OAAO,EAAE,kBAAkB,EAAE,MAAM,oBAAoB,CAAC;AACxD,OAAO,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAChD,OAAO,EAAE,gBAAgB,EAAE,MAAM,kBAAkB,CAAC;AACpD,OAAO,EAAE,oBAAoB,EAAE,MAAM,sBAAsB,CAAC;AAC5D,OAAO,EAAE,sBAAsB,EAAE,MAAM,wBAAwB,CAAC;AAChE,OAAO,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAC;AAGzD,uEAAuE;AACvE,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAoB,CAAC;AAC7C,SAAS,QAAQ,CAAC,CAAW,IAAU,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;AAEjE,QAAQ,CAAC,eAAe,CAAC,CAAC;AAC1B,QAAQ,CAAC,UAAU,CAAC,CAAC;AACrB,QAAQ,CAAC,eAAe,CAAC,CAAC;AAC1B,QAAQ,CAAC,eAAe,CAAC,CAAC;AAC1B,QAAQ,CAAC,iBAAiB,CAAC,CAAC;AAC5B,QAAQ,CAAC,gBAAgB,CAAC,CAAC;AAC3B,QAAQ,CAAC,sBAAsB,CAAC,CAAC;AACjC,QAAQ,CAAC,uBAAuB,CAAC,CAAC;AAClC,QAAQ,CAAC,kBAAkB,CAAC,CAAC;AAC7B,QAAQ,CAAC,kBAAkB,CAAC,CAAC;AAC7B,QAAQ,CAAC,cAAc,CAAC,CAAC;AACzB,QAAQ,CAAC,gBAAgB,CAAC,CAAC;AAC3B,QAAQ,CAAC,oBAAoB,CAAC,CAAC;AAC/B,QAAQ,CAAC,sBAAsB,CAAC,CAAC;AACjC,+EAA+E;AAC/E,+EAA+E;AAC/E,0EAA0E;AAC1E,KAAK,MAAM,CAAC,IAAI,gBAAgB;IAAE,QAAQ,CAAC,CAAC,CAAC,CAAC;AAE9C,wEAAwE;AACxE,sEAAsE;AACtE,sEAAsE;AACtE,iDAAiD;AACjD,KAAK,MAAM,KAAK,IAAI;IAClB,kEAAkE;IAClE,6EAA6E;IAC7E,+DAA+D;IAC/D,mBAAmB;CACpB,EAAE,CAAC;IACF,mEAAmE;IACnE,qEAAqE;IACrE,oEAAoE;IACpE,0CAA0C;IAC1C,QAAQ,CAAC,GAAG,CAAC,KAAK,EAAE,EAAE,GAAG,eAAe,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;AAC3D,CAAC;AAID;;;yDAGyD;AACzD,MAAM,UAAU,iBAAiB;IAC/B,OAAO,CAAC,GAAG,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC;AAC9B,CAAC;AAED;;qEAEqE;AACrE,MAAM,CAAC,KAAK,UAAU,YAAY,CAChC,KAA2B,EAC3B,GAAoB;IAEpB,IAAI,CAAC,KAAK,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IAC5C,MAAM,OAAO,GAAG,KAAK;SAClB,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;SAC3B,MAAM,CAAC,CAAC,CAAC,EAAiB,EAAE,CAAC,CAAC,KAAK,SAAS,CAAC,CAAC;IACjD,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IAEpC,MAAM,OAAO,GAAG,MAAM,OAAO,CAAC,GAAG,CAC/B,OAAO,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE;QACtB,IAAI,CAAC;YACH,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,IAAI,CAAC;gBAChC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC;gBACV,IAAI,OAAO,CAAkB,CAAC,OAAO,EAAE,EAAE,CAAC,UAAU,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC;aAC/E,CAAC,CAAC;YACH,OAAO,MAAM,CAAC;QAChB,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,0DAA0D;YAC1D,OAAO,CAAC;oBACN,QAAQ,EAAE,MAAe;oBACzB,MAAM,EAAE,CAAC,CAAC,IAAI;oBACd,OAAO,EAAE,qBAAqB,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE;iBACjF,CAAC,CAAC;QACL,CAAC;IACH,CAAC,CAAC,CACH,CAAC;IACF,OAAO,OAAO,CAAC,IAAI,EAAE,CAAC;AACxB,CAAC;AAED,gEAAgE;AAChE,MAAM,UAAU,eAAe,CAAC,MAAuB;IAKrD,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,aAAa,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC;IAClF,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC;IAC5D,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,MAAM,CAAC,CAAC;IAC1D,MAAM,EAAE,GAAG,MAAM,CAAC,MAAM,KAAK,CAAC,CAAC;IAC/B,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC;QAAE,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,MAAM,QAAQ,CAAC,CAAC;IAC5D,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC;QAAE,KAAK,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,MAAM,OAAO,CAAC,CAAC;IACzD,OAAO;QACL,EAAE;QACF,OAAO,EAAE,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC;QAC1B,OAAO,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;YACxB,MAAM,GAAG,GAAG,CAAC,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,KAAK,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC;YAC7E,MAAM,GAAG,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC/C,OAAO,KAAK,GAAG,IAAI,CAAC,CAAC,MAAM,IAAI,GAAG,IAAI,CAAC,CAAC,OAAO,EAAE,CAAC;QACpD,CAAC,CAAC;KACH,CAAC;AACJ,CAAC;AAED;;0EAE0E;AAC1E,MAAM,UAAU,iBAAiB,CAAC,MAAuB;IACvD,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC;IAC5D,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IACnC,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;QAC7B,MAAM,GAAG,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,QAAQ,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;QACjD,OAAO,MAAM,CAAC,CAAC,MAAM,IAAI,GAAG,IAAI,CAAC,CAAC,OAAO,EAAE,CAAC;IAC9C,CAAC,CAAC,CAAC;IACH,OAAO;QACL,gEAAgE;QAChE,8FAA8F;QAC9F,GAAG,KAAK;QACR,EAAE;KACH,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACf,CAAC"}

package/dist/verifiers/lint.js

@@ -69,6 +69,7 @@ export const lintKernel = {
                     continue;
                 let m;
                 rule.pattern.lastIndex = 0;
+                let ruleCount = 0;
                 while ((m = rule.pattern.exec(content))) {
                     const lineNo = content.slice(0, m.index).split("\n").length;
                     issues.push({
@@ -77,9 +78,9 @@ export const lintKernel = {
                         message: rule.message(m),
                         location: `${path.relative(ctx.cwd, abs)}:${lineNo}`,
                     });
-                    // Cap repetitions of the same rule per file at 5 — saves us
-                    // from spamming 200 "console.log" warnings.
-                    if ((issues.filter((i) => i.kernel === rule.kernel).length) > 5)
+                    ruleCount++;
+                    // Cap repetitions of the same rule per file at 5.
+                    if (ruleCount >= 5)
                         break;
                 }
             }

package/dist/verifiers/lint.js.map

@@ -1 +1 @@
-{"version":3,"file":"lint.js","sourceRoot":"","sources":["../../src/verifiers/lint.ts"],"names":[],"mappings":"AAAA,qEAAqE;AACrE,uEAAuE;AACvE,oEAAoE;AACpE,iEAAiE;AACjE,oEAAoE;AACpE,yCAAyC;AACzC,EAAE;AACF,sEAAsE;AACtE,qEAAqE;AACrE,wCAAwC;AAExC,OAAO,EAAE,MAAM,SAAS,CAAC;AACzB,OAAO,IAAI,MAAM,WAAW,CAAC;AAG7B,MAAM,KAAK,GAMN;IACH,cAAc;IACd;QACE,MAAM,EAAE,MAAM;QACd,OAAO,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,4BAA4B,CAAC,IAAI,CAAC,CAAC,CAAC;QACpD,OAAO,EAAE,sBAAsB;QAC/B,OAAO,EAAE,GAAG,EAAE,CAAC,iEAAiE;QAChF,QAAQ,EAAE,MAAM;KACjB;IACD;QACE,MAAM,EAAE,MAAM;QACd,OAAO,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,4BAA4B,CAAC,IAAI,CAAC,CAAC,CAAC;QACpD,OAAO,EAAE,eAAe;QACxB,OAAO,EAAE,GAAG,EAAE,CAAC,8BAA8B;QAC7C,QAAQ,EAAE,OAAO;KAClB;IACD;QACE,MAAM,EAAE,MAAM;QACd,OAAO,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,iCAAiC,CAAC,IAAI,CAAC,CAAC,CAAC;QACzD,OAAO,EAAE,kBAAkB;QAC3B,OAAO,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,wDAAwD;QAChF,QAAQ,EAAE,OAAO;KAClB;IACD;QACE,MAAM,EAAE,MAAM;QACd,OAAO,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,4BAA4B,CAAC,IAAI,CAAC,CAAC,CAAC;QACpD,OAAO,EAAE,4DAA4D;QACrE,OAAO,EAAE,GAAG,EAAE,CAAC,oDAAoD;QACnE,QAAQ,EAAE,MAAM;KACjB;IACD;QACE,MAAM,EAAE,MAAM;QACd,OAAO,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,+BAA+B,CAAC,IAAI,CAAC,CAAC,CAAC;QACvD,OAAO,EAAE,uCAAuC;QAChD,OAAO,EAAE,GAAG,EAAE,CAAC,kDAAkD;QACjE,QAAQ,EAAE,MAAM;KACjB;CACF,CAAC;AAEF,MAAM,CAAC,MAAM,UAAU,GAAa;IAClC,IAAI,EAAE,MAAM;IACZ,QAAQ,EAAE,+EAA+E;IACzF,KAAK,CAAC,GAAG,CAAC,GAAoB;QAC5B,IAAI,GAAG,CAAC,YAAY,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,EAAE,CAAC;QAC7C,MAAM,MAAM,GAAoB,EAAE,CAAC;QACnC,KAAK,MAAM,GAAG,IAAI,GAAG,CAAC,YAAY,EAAE,CAAC;YACnC,MAAM,GAAG,GAAG,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;YACjE,IAAI,OAAe,CAAC;YACpB,IAAI,CAAC;gBAAC,OAAO,GAAG,EAAE,CAAC,YAAY,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;YAAC,CAAC;YAAC,MAAM,CAAC;gBAAC,SAAS;YAAC,CAAC;YACnE,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;gBACzB,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC;oBAAE,SAAS;gBACjC,IAAI,CAAyB,CAAC;gBAC9B,IAAI,CAAC,OAAO,CAAC,SAAS,GAAG,CAAC,CAAC;gBAC3B,OAAO,CAAC,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC;oBACxC,MAAM,MAAM,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC;oBAC5D,MAAM,CAAC,IAAI,CAAC;wBACV,QAAQ,EAAE,IAAI,CAAC,QAAQ;wBACvB,MAAM,EAAE,IAAI,CAAC,MAAM;wBACnB,OAAO,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC;wBACxB,QAAQ,EAAE,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,IAAI,MAAM,EAAE;qBACrD,CAAC,CAAC;oBACH,4DAA4D;oBAC5D,4CAA4C;oBAC5C,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,IAAI,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC;wBAAE,MAAM;gBACzE,CAAC;YACH,CAAC;QACH,CAAC;QACD,OAAO,MAAM,CAAC;IAChB,CAAC;CACF,CAAC"}
+{"version":3,"file":"lint.js","sourceRoot":"","sources":["../../src/verifiers/lint.ts"],"names":[],"mappings":"AAAA,qEAAqE;AACrE,uEAAuE;AACvE,oEAAoE;AACpE,iEAAiE;AACjE,oEAAoE;AACpE,yCAAyC;AACzC,EAAE;AACF,sEAAsE;AACtE,qEAAqE;AACrE,wCAAwC;AAExC,OAAO,EAAE,MAAM,SAAS,CAAC;AACzB,OAAO,IAAI,MAAM,WAAW,CAAC;AAG7B,MAAM,KAAK,GAMN;IACH,cAAc;IACd;QACE,MAAM,EAAE,MAAM;QACd,OAAO,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,4BAA4B,CAAC,IAAI,CAAC,CAAC,CAAC;QACpD,OAAO,EAAE,sBAAsB;QAC/B,OAAO,EAAE,GAAG,EAAE,CAAC,iEAAiE;QAChF,QAAQ,EAAE,MAAM;KACjB;IACD;QACE,MAAM,EAAE,MAAM;QACd,OAAO,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,4BAA4B,CAAC,IAAI,CAAC,CAAC,CAAC;QACpD,OAAO,EAAE,eAAe;QACxB,OAAO,EAAE,GAAG,EAAE,CAAC,8BAA8B;QAC7C,QAAQ,EAAE,OAAO;KAClB;IACD;QACE,MAAM,EAAE,MAAM;QACd,OAAO,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,iCAAiC,CAAC,IAAI,CAAC,CAAC,CAAC;QACzD,OAAO,EAAE,kBAAkB;QAC3B,OAAO,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,wDAAwD;QAChF,QAAQ,EAAE,OAAO;KAClB;IACD;QACE,MAAM,EAAE,MAAM;QACd,OAAO,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,4BAA4B,CAAC,IAAI,CAAC,CAAC,CAAC;QACpD,OAAO,EAAE,4DAA4D;QACrE,OAAO,EAAE,GAAG,EAAE,CAAC,oDAAoD;QACnE,QAAQ,EAAE,MAAM;KACjB;IACD;QACE,MAAM,EAAE,MAAM;QACd,OAAO,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,+BAA+B,CAAC,IAAI,CAAC,CAAC,CAAC;QACvD,OAAO,EAAE,uCAAuC;QAChD,OAAO,EAAE,GAAG,EAAE,CAAC,kDAAkD;QACjE,QAAQ,EAAE,MAAM;KACjB;CACF,CAAC;AAEF,MAAM,CAAC,MAAM,UAAU,GAAa;IAClC,IAAI,EAAE,MAAM;IACZ,QAAQ,EAAE,+EAA+E;IACzF,KAAK,CAAC,GAAG,CAAC,GAAoB;QAC5B,IAAI,GAAG,CAAC,YAAY,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,EAAE,CAAC;QAC7C,MAAM,MAAM,GAAoB,EAAE,CAAC;QACnC,KAAK,MAAM,GAAG,IAAI,GAAG,CAAC,YAAY,EAAE,CAAC;YACnC,MAAM,GAAG,GAAG,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;YACjE,IAAI,OAAe,CAAC;YACpB,IAAI,CAAC;gBAAC,OAAO,GAAG,EAAE,CAAC,YAAY,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;YAAC,CAAC;YAAC,MAAM,CAAC;gBAAC,SAAS;YAAC,CAAC;YACnE,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;gBACzB,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC;oBAAE,SAAS;gBACjC,IAAI,CAAyB,CAAC;gBAC9B,IAAI,CAAC,OAAO,CAAC,SAAS,GAAG,CAAC,CAAC;gBAC3B,IAAI,SAAS,GAAG,CAAC,CAAC;gBAClB,OAAO,CAAC,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC;oBACxC,MAAM,MAAM,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC;oBAC5D,MAAM,CAAC,IAAI,CAAC;wBACV,QAAQ,EAAE,IAAI,CAAC,QAAQ;wBACvB,MAAM,EAAE,IAAI,CAAC,MAAM;wBACnB,OAAO,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC;wBACxB,QAAQ,EAAE,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,IAAI,MAAM,EAAE;qBACrD,CAAC,CAAC;oBACH,SAAS,EAAE,CAAC;oBACZ,kDAAkD;oBAClD,IAAI,SAAS,IAAI,CAAC;wBAAE,MAAM;gBAC5B,CAAC;YACH,CAAC;QACH,CAAC;QACD,OAAO,MAAM,CAAC;IAChB,CAAC;CACF,CAAC"}

package/dist/verifiers/promoted_kernels.d.ts

@@ -0,0 +1,8 @@
+import type { Verifier } from "./types.js";
+export declare const claimGroundingKernel: Verifier;
+export declare const assumptionMarkedKernel: Verifier;
+export declare const unitConsistencyKernel: Verifier;
+export declare const sentenceVarianceKernel: Verifier;
+export declare const componentStatesCompleteKernel: Verifier;
+export declare const tokenLintKernel: Verifier;
+export declare const PROMOTED_KERNELS: Verifier[];