@vextlabs/theron-cli 0.1.0

package/dist/verifiers/citation_presence.js

@@ -0,0 +1,42 @@
+// Citation-presence verifier — used by the legal, research, academic,
+// medical, and policy profiles. Checks that the output contains AT
+// LEAST ONE citation in a recognized form for outputs over a threshold
+// length.
+//
+// We don't try to validate citations against an external corpus (that
+// requires WebFetch + tool budget); we just enforce that the model
+// committed itself to citing rather than hand-waving.
+// Acceptable citation forms:
+//   - Legal: [Source §1.2(b)] / [State v. Foo, 123 U.S. 456 (1900)] / [USC §123]
+//   - Academic: [Smith 2022] / [Smith et al. 2022] / (Smith, 2022)
+//   - Markdown link: [text](url)
+//   - URL: https://...
+const CITATION_PATTERNS = [
+    /\[[^\]]*§[^\]]*\]/, // [...§...]
+    /\[[A-Z][a-z]+(?:\s+et\s+al\.?)?\s+\d{4}\]/, // [Smith 2022] / [Smith et al. 2022]
+    /\([A-Z][a-z]+(?:\s+et\s+al\.?)?,?\s+\d{4}\)/, // (Smith, 2022)
+    /\[\s*[^\]]+v\.\s+[^\]]+,\s*\d{4}\]/, // [Foo v. Bar, 1985]
+    /\bhttps?:\/\/\S+/, // URL
+    /\[[^\]]+\]\(\S+\)/, // Markdown link
+];
+const MIN_LENGTH_TO_REQUIRE_CITATION = 280;
+const APPLIES_TO_PROFILES = new Set(["legal", "research", "academic", "medical", "policy", "architect"]);
+export const citationPresenceKernel = {
+    slug: "citation_presence",
+    describe: "Output above threshold length must contain ≥1 recognized citation",
+    async run(ctx) {
+        if (!APPLIES_TO_PROFILES.has(ctx.profile))
+            return [];
+        if (ctx.assistantText.length < MIN_LENGTH_TO_REQUIRE_CITATION)
+            return [];
+        const hasOne = CITATION_PATTERNS.some((re) => re.test(ctx.assistantText));
+        if (hasOne)
+            return [];
+        return [{
+                severity: "warn",
+                kernel: "citation_presence",
+                message: "Substantive output with no citations — cite a source, statute, paper, or URL",
+            }];
+    },
+};
+//# sourceMappingURL=citation_presence.js.map

package/dist/verifiers/citation_presence.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"citation_presence.js","sourceRoot":"","sources":["../../src/verifiers/citation_presence.ts"],"names":[],"mappings":"AAAA,sEAAsE;AACtE,mEAAmE;AACnE,uEAAuE;AACvE,UAAU;AACV,EAAE;AACF,sEAAsE;AACtE,mEAAmE;AACnE,sDAAsD;AAItD,6BAA6B;AAC7B,iFAAiF;AACjF,mEAAmE;AACnE,iCAAiC;AACjC,uBAAuB;AACvB,MAAM,iBAAiB,GAAG;IACxB,mBAAmB,EAAmB,YAAY;IAClD,2CAA2C,EAAG,qCAAqC;IACnF,6CAA6C,EAAE,gBAAgB;IAC/D,oCAAoC,EAAS,qBAAqB;IAClE,kBAAkB,EAA6B,MAAM;IACrD,mBAAmB,EAA4B,gBAAgB;CAChE,CAAC;AAEF,MAAM,8BAA8B,GAAG,GAAG,CAAC;AAE3C,MAAM,mBAAmB,GAAG,IAAI,GAAG,CAAC,CAAC,OAAO,EAAE,UAAU,EAAE,UAAU,EAAE,SAAS,EAAE,QAAQ,EAAE,WAAW,CAAC,CAAC,CAAC;AAEzG,MAAM,CAAC,MAAM,sBAAsB,GAAa;IAC9C,IAAI,EAAE,mBAAmB;IACzB,QAAQ,EAAE,mEAAmE;IAC7E,KAAK,CAAC,GAAG,CAAC,GAAoB;QAC5B,IAAI,CAAC,mBAAmB,CAAC,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC;YAAE,OAAO,EAAE,CAAC;QACrD,IAAI,GAAG,CAAC,aAAa,CAAC,MAAM,GAAG,8BAA8B;YAAE,OAAO,EAAE,CAAC;QACzE,MAAM,MAAM,GAAG,iBAAiB,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC,CAAC;QAC1E,IAAI,MAAM;YAAE,OAAO,EAAE,CAAC;QACtB,OAAO,CAAC;gBACN,QAAQ,EAAE,MAAM;gBAChB,MAAM,EAAE,mBAAmB;gBAC3B,OAAO,EAAE,8EAA8E;aACxF,CAAC,CAAC;IACL,CAAC;CACF,CAAC"}

package/dist/verifiers/em_dash_check.d.ts

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

package/dist/verifiers/em_dash_check.js

@@ -0,0 +1,23 @@
+// Em-dash checker — the single highest-signal "this was AI-generated"
+// tell. The writing profile system prompt forbids em-dashes; this
+// kernel surfaces any that slip through.
+//
+// Why this matters: writing mode is one of the profiles where Theron
+// has the most surface area to differentiate. Every AI assistant on
+// the planet outputs em-dashes. Theron does not. Period.
+const EM_DASH_RE = /—/g;
+export const emDashCheckKernel = {
+    slug: "em_dash_check",
+    describe: "Scan output for em-dashes (—) — the #1 AI-text tell",
+    async run(ctx) {
+        const matches = [...ctx.assistantText.matchAll(EM_DASH_RE)];
+        if (matches.length === 0)
+            return [];
+        return [{
+                severity: "block",
+                kernel: "em_dash_check",
+                message: `Found ${matches.length} em-dash${matches.length === 1 ? "" : "es"} (—). Replace with a period, comma, parenthesis, or "but".`,
+            }];
+    },
+};
+//# sourceMappingURL=em_dash_check.js.map

package/dist/verifiers/em_dash_check.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"em_dash_check.js","sourceRoot":"","sources":["../../src/verifiers/em_dash_check.ts"],"names":[],"mappings":"AAAA,sEAAsE;AACtE,kEAAkE;AAClE,yCAAyC;AACzC,EAAE;AACF,qEAAqE;AACrE,oEAAoE;AACpE,yDAAyD;AAIzD,MAAM,UAAU,GAAG,IAAI,CAAC;AAExB,MAAM,CAAC,MAAM,iBAAiB,GAAa;IACzC,IAAI,EAAE,eAAe;IACrB,QAAQ,EAAE,qDAAqD;IAC/D,KAAK,CAAC,GAAG,CAAC,GAAoB;QAC5B,MAAM,OAAO,GAAG,CAAC,GAAG,GAAG,CAAC,aAAa,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC;QAC5D,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,EAAE,CAAC;QACpC,OAAO,CAAC;gBACN,QAAQ,EAAE,OAAO;gBACjB,MAAM,EAAE,eAAe;gBACvB,OAAO,EAAE,SAAS,OAAO,CAAC,MAAM,WAAW,OAAO,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,4DAA4D;aACxI,CAAC,CAAC;IACL,CAAC;CACF,CAAC"}

package/dist/verifiers/index.d.ts

@@ -0,0 +1,16 @@
+import type { VerifierContext, VerifierIssue } from "./types.js";
+export type { Verifier, VerifierContext, VerifierIssue } from "./types.js";
+/** 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). */
+export declare function runVerifiers(slugs: string[] | undefined, ctx: VerifierContext): Promise<VerifierIssue[]>;
+/** Format issues into a short summary chip for the terminal. */
+export declare function summarizeIssues(issues: VerifierIssue[]): {
+    ok: boolean;
+    summary: string;
+    details: string[];
+};
+/** Encode verifier results as a system block to prepend to the next
+ *  user turn. The model picks this up and self-corrects without the
+ *  user typing "fix it." Empty string when there's nothing to surface. */
+export declare function formatForNextTurn(issues: VerifierIssue[]): string;

package/dist/verifiers/index.js

@@ -0,0 +1,123 @@
+// Verifier kernel registry + dispatch.
+//
+// Profile.verifiers[] is a list of kernel slugs ("typecheck", "lint",
+// "em_dash_check", etc.). After every assistant turn that produced
+// output, we run the active profile's kernels in parallel and
+// collect their issues. The summary surfaces as a small inline chip:
+//
+//   ✓ verifiers: typecheck, lint, test_smoke (all green, 312ms)
+//   ✗ verifiers: 2 issues — tsc: 1 error · style_lint: 1 warning
+//
+// The full issue list gets fed back into the next turn's user message
+// as a SYSTEM block so the model can self-correct without the user
+// needing to copy-paste error messages.
+import { typecheckKernel } from "./typecheck.js";
+import { lintKernel } from "./lint.js";
+import { testSmokeKernel } from "./test_smoke.js";
+import { styleLintKernel } from "./style_lint.js";
+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";
+// Map slug → kernel. Profiles reference these via Profile.verifiers[].
+const REGISTRY = new Map();
+function register(v) { REGISTRY.set(v.slug, v); }
+register(typecheckKernel);
+register(lintKernel);
+register(testSmokeKernel);
+register(styleLintKernel);
+register(emDashCheckKernel);
+register(aiIsmCheckKernel);
+register(citationPresenceKernel);
+register(arithmeticRecheckKernel);
+// 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",
+    "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
+    // which rule fired. Each gets its own kernel as we promote them out
+    // of "auto-baseline" into "hand-crafted."
+    REGISTRY.set(alias, { ...styleLintKernel, slug: alias });
+}
+/** 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). */
+export async function runVerifiers(slugs, ctx) {
+    if (!slugs || slugs.length === 0)
+        return [];
+    const kernels = slugs
+        .map((s) => REGISTRY.get(s))
+        .filter((k) => k !== undefined);
+    if (kernels.length === 0)
+        return [];
+    const results = await Promise.all(kernels.map(async (k) => {
+        try {
+            const issues = await Promise.race([
+                k.run(ctx),
+                new Promise((resolve) => setTimeout(() => resolve([]), 5000)),
+            ]);
+            return issues;
+        }
+        catch (err) {
+            // Verifier crashes don't kill the turn — surface as info.
+            return [{
+                    severity: "info",
+                    kernel: k.slug,
+                    message: `verifier crashed: ${err instanceof Error ? err.message : String(err)}`,
+                }];
+        }
+    }));
+    return results.flat();
+}
+/** Format issues into a short summary chip for the terminal. */
+export function summarizeIssues(issues) {
+    if (issues.length === 0)
+        return { ok: true, summary: "verifiers ✓", details: [] };
+    const blocks = issues.filter((i) => i.severity === "block");
+    const warns = issues.filter((i) => i.severity === "warn");
+    const ok = blocks.length === 0;
+    const parts = [];
+    if (blocks.length > 0)
+        parts.push(`${blocks.length} block`);
+    if (warns.length > 0)
+        parts.push(`${warns.length} warn`);
+    return {
+        ok,
+        summary: parts.join(" · "),
+        details: issues.map((i) => {
+            const sev = i.severity === "block" ? "✗" : i.severity === "warn" ? "·" : "i";
+            const loc = i.location ? ` ${i.location}` : "";
+            return `  ${sev} ${i.kernel}:${loc} ${i.message}`;
+        }),
+    };
+}
+/** Encode verifier results as a system block to prepend to the next
+ *  user turn. The model picks this up and self-corrects without the
+ *  user typing "fix it." Empty string when there's nothing to surface. */
+export function formatForNextTurn(issues) {
+    const blocks = issues.filter((i) => i.severity === "block");
+    if (blocks.length === 0)
+        return "";
+    const lines = blocks.map((i) => {
+        const loc = i.location ? ` (${i.location})` : "";
+        return `- [${i.kernel}]${loc} ${i.message}`;
+    });
+    return [
+        "[VERIFIER SUMMARY — auto-injected by CLI after your last turn]",
+        "These issues blocked your previous output. Address them in the next response, then continue:",
+        ...lines,
+        "",
+    ].join("\n");
+}
+//# sourceMappingURL=index.js.map

package/dist/verifiers/index.js.map

@@ -0,0 +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"}

package/dist/verifiers/lint.d.ts

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

package/dist/verifiers/lint.js

@@ -0,0 +1,90 @@
+// Lint verifier — looks for the easy mechanical problems that a real
+// production codebase would catch in CI: console.log left in, debugger
+// statements, TODO without a date, .only() in tests, eslint-disable
+// without a reason. These are LIGHTWEIGHT checks the kernel does
+// without invoking eslint (a real eslint run would take 30+ seconds
+// on a large repo; we have a 5s budget).
+//
+// For projects that have an `npm run lint:fast` script, we'd hand off
+// to that — but most don't. This kernel is the "Theron found this in
+// 200ms instead of waiting for CI" win.
+import fs from "node:fs";
+import path from "node:path";
+const RULES = [
+    // Code rules.
+    {
+        kernel: "lint",
+        applies: (p) => /\.(ts|tsx|js|jsx|mjs|cjs)$/.test(p),
+        pattern: /\bconsole\.log\s*\(/g,
+        message: () => "console.log left in (use a real logger or remove before commit)",
+        severity: "warn",
+    },
+    {
+        kernel: "lint",
+        applies: (p) => /\.(ts|tsx|js|jsx|mjs|cjs)$/.test(p),
+        pattern: /\bdebugger\b/g,
+        message: () => "`debugger` statement left in",
+        severity: "block",
+    },
+    {
+        kernel: "lint",
+        applies: (p) => /\.(test|spec)\.(ts|tsx|js|jsx)$/.test(p),
+        pattern: /\.(only|skip)\(/g,
+        message: (m) => `.${m[1]}() left in test — would block / hide other tests in CI`,
+        severity: "block",
+    },
+    {
+        kernel: "lint",
+        applies: (p) => /\.(ts|tsx|js|jsx|mjs|cjs)$/.test(p),
+        pattern: /\/\/\s*eslint-disable(?:-next-line|-line)?(?!.+--\s*[\S])/g,
+        message: () => "eslint-disable without an inline reason after `--`",
+        severity: "warn",
+    },
+    {
+        kernel: "lint",
+        applies: (p) => /\.(ts|tsx|js|jsx|mjs|cjs|md)$/.test(p),
+        pattern: /\bTODO\b(?!\s*\(\d{4}-\d{2}-\d{2}\))/g,
+        message: () => "TODO without a date in the form TODO(YYYY-MM-DD)",
+        severity: "warn",
+    },
+];
+export const lintKernel = {
+    slug: "lint",
+    describe: "Mechanical lint pass on touched files (no-debugger, .only, dated TODOs, etc.)",
+    async run(ctx) {
+        if (ctx.touchedFiles.length === 0)
+            return [];
+        const issues = [];
+        for (const rel of ctx.touchedFiles) {
+            const abs = path.isAbsolute(rel) ? rel : path.join(ctx.cwd, rel);
+            let content;
+            try {
+                content = fs.readFileSync(abs, "utf8");
+            }
+            catch {
+                continue;
+            }
+            for (const rule of RULES) {
+                if (!rule.applies(abs))
+                    continue;
+                let m;
+                rule.pattern.lastIndex = 0;
+                while ((m = rule.pattern.exec(content))) {
+                    const lineNo = content.slice(0, m.index).split("\n").length;
+                    issues.push({
+                        severity: rule.severity,
+                        kernel: rule.kernel,
+                        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)
+                        break;
+                }
+            }
+        }
+        return issues;
+    },
+};
+//# sourceMappingURL=lint.js.map

package/dist/verifiers/lint.js.map

@@ -0,0 +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"}

package/dist/verifiers/style_lint.d.ts

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

package/dist/verifiers/style_lint.js

@@ -0,0 +1,115 @@
+// Generic style-lint kernel — used as the fallback for profile.verifier
+// slugs that don't have their own dedicated kernel yet (claim_grounding,
+// assumption_marked, advice_disclaimer, confidence_marked,
+// sentence_variance, etc.).
+//
+// Each "rule" inside this kernel is scoped to the profile slug — when
+// running for the `legal` profile, we check for "Assumption:" markers
+// and the licensed-attorney disclaimer; when running for `research`,
+// we check for confidence markers and citations; etc.
+//
+// This is the catch-all that lets us ship 27 baseline specs without
+// hand-crafting 27 separate kernels. Each rule that proves load-bearing
+// gets promoted into its own dedicated kernel file over time.
+const RULES_BY_PROFILE = {
+    legal: [
+        {
+            must: [/\bAssumption\b\s*[:\-]/i, /\bAssumes\b/i],
+            mustMessage: "Legal output missing 'Assumption:' marker — flag the facts you're treating as given",
+            appliesIfOutputLongerThan: 240,
+            severity: "warn",
+        },
+        {
+            must: [/licen[sc]ed attorney|consult.*attorney/i],
+            mustMessage: "Legal output missing the 'have a licensed attorney review' disclaimer",
+            appliesIfOutputLongerThan: 240,
+            severity: "block",
+        },
+    ],
+    research: [
+        {
+            must: [/\bConfidence\b\s*[:\-]/i, /\bconfidence:?\s*(high|medium|low)/i],
+            mustMessage: "Research output missing a confidence marker — qualify the claims",
+            appliesIfOutputLongerThan: 360,
+            severity: "warn",
+        },
+        {
+            must: [/\[\s*(?:[A-Z][a-z]+\s+){0,3}\d{4}.{0,40}\]|https?:\/\/\S+/],
+            mustMessage: "Research output missing source citations [Author Year] or URLs",
+            appliesIfOutputLongerThan: 360,
+            severity: "warn",
+        },
+    ],
+    medical: [
+        {
+            must: [/(licen[sc]ed physician|medical advice|consult.*(physician|doctor))/i],
+            mustMessage: "Medical output missing the 'not medical advice / consult a physician' disclaimer",
+            severity: "block",
+        },
+    ],
+    therapy: [
+        {
+            must: [/(licen[sc]ed therapist|isn'?t therapy|crisis line|988)/i],
+            mustMessage: "Therapy output missing the 'not clinical therapy / crisis line' line",
+            severity: "block",
+        },
+    ],
+    trader: [
+        {
+            must: [/(not investment advice|educational|past performance)/i],
+            mustMessage: "Trader output missing the 'educational, not investment advice' disclaimer",
+            severity: "block",
+        },
+    ],
+    trainer: [
+        {
+            must: [/(sports medicine|see a (physician|doctor|trainer)|if anything hurts)/i],
+            mustMessage: "Trainer output missing the 'see a sports medicine physician if it hurts' disclaimer",
+            severity: "block",
+        },
+    ],
+    design: [
+        {
+            must: [/(default|hover|focus|active|disabled|error|loading)/i],
+            mustMessage: "Design spec missing state coverage — include default/hover/focus/active/disabled/error/loading",
+            appliesIfOutputLongerThan: 300,
+            severity: "warn",
+        },
+    ],
+};
+export const styleLintKernel = {
+    slug: "style_lint",
+    describe: "Profile-specific style + completeness checks (assumptions, disclaimers, state coverage)",
+    async run(ctx) {
+        const rules = RULES_BY_PROFILE[ctx.profile] || [];
+        if (rules.length === 0)
+            return [];
+        const issues = [];
+        for (const rule of rules) {
+            if (rule.appliesIfOutputLongerThan != null && ctx.assistantText.length < rule.appliesIfOutputLongerThan)
+                continue;
+            const hasMust = rule.must.some((re) => re.test(ctx.assistantText));
+            if (!hasMust) {
+                issues.push({
+                    severity: rule.severity ?? "warn",
+                    kernel: "style_lint",
+                    message: rule.mustMessage,
+                });
+            }
+            if (rule.forbid) {
+                for (const fre of rule.forbid) {
+                    if (fre.test(ctx.assistantText)) {
+                        issues.push({
+                            severity: rule.severity ?? "warn",
+                            kernel: "style_lint",
+                            message: rule.forbidMessage ?? `Forbidden pattern matched: ${fre.source}`,
+                        });
+                        break;
+                    }
+                }
+            }
+        }
+        return issues;
+    },
+};
+//# sourceMappingURL=style_lint.js.map

package/dist/verifiers/style_lint.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"style_lint.js","sourceRoot":"","sources":["../../src/verifiers/style_lint.ts"],"names":[],"mappings":"AAAA,wEAAwE;AACxE,yEAAyE;AACzE,2DAA2D;AAC3D,4BAA4B;AAC5B,EAAE;AACF,sEAAsE;AACtE,sEAAsE;AACtE,qEAAqE;AACrE,sDAAsD;AACtD,EAAE;AACF,oEAAoE;AACpE,wEAAwE;AACxE,8DAA8D;AAkB9D,MAAM,gBAAgB,GAAuC;IAC3D,KAAK,EAAE;QACL;YACE,IAAI,EAAE,CAAC,yBAAyB,EAAE,cAAc,CAAC;YACjD,WAAW,EAAE,qFAAqF;YAClG,yBAAyB,EAAE,GAAG;YAC9B,QAAQ,EAAE,MAAM;SACjB;QACD;YACE,IAAI,EAAE,CAAC,yCAAyC,CAAC;YACjD,WAAW,EAAE,uEAAuE;YACpF,yBAAyB,EAAE,GAAG;YAC9B,QAAQ,EAAE,OAAO;SAClB;KACF;IACD,QAAQ,EAAE;QACR;YACE,IAAI,EAAE,CAAC,yBAAyB,EAAE,qCAAqC,CAAC;YACxE,WAAW,EAAE,kEAAkE;YAC/E,yBAAyB,EAAE,GAAG;YAC9B,QAAQ,EAAE,MAAM;SACjB;QACD;YACE,IAAI,EAAE,CAAC,2DAA2D,CAAC;YACnE,WAAW,EAAE,gEAAgE;YAC7E,yBAAyB,EAAE,GAAG;YAC9B,QAAQ,EAAE,MAAM;SACjB;KACF;IACD,OAAO,EAAE;QACP;YACE,IAAI,EAAE,CAAC,qEAAqE,CAAC;YAC7E,WAAW,EAAE,kFAAkF;YAC/F,QAAQ,EAAE,OAAO;SAClB;KACF;IACD,OAAO,EAAE;QACP;YACE,IAAI,EAAE,CAAC,yDAAyD,CAAC;YACjE,WAAW,EAAE,sEAAsE;YACnF,QAAQ,EAAE,OAAO;SAClB;KACF;IACD,MAAM,EAAE;QACN;YACE,IAAI,EAAE,CAAC,uDAAuD,CAAC;YAC/D,WAAW,EAAE,2EAA2E;YACxF,QAAQ,EAAE,OAAO;SAClB;KACF;IACD,OAAO,EAAE;QACP;YACE,IAAI,EAAE,CAAC,uEAAuE,CAAC;YAC/E,WAAW,EAAE,qFAAqF;YAClG,QAAQ,EAAE,OAAO;SAClB;KACF;IACD,MAAM,EAAE;QACN;YACE,IAAI,EAAE,CAAC,sDAAsD,CAAC;YAC9D,WAAW,EAAE,gGAAgG;YAC7G,yBAAyB,EAAE,GAAG;YAC9B,QAAQ,EAAE,MAAM;SACjB;KACF;CACF,CAAC;AAEF,MAAM,CAAC,MAAM,eAAe,GAAa;IACvC,IAAI,EAAE,YAAY;IAClB,QAAQ,EAAE,yFAAyF;IACnG,KAAK,CAAC,GAAG,CAAC,GAAoB;QAC5B,MAAM,KAAK,GAAG,gBAAgB,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC;QAClD,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,EAAE,CAAC;QAClC,MAAM,MAAM,GAAoB,EAAE,CAAC;QACnC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,IAAI,IAAI,CAAC,yBAAyB,IAAI,IAAI,IAAI,GAAG,CAAC,aAAa,CAAC,MAAM,GAAG,IAAI,CAAC,yBAAyB;gBAAE,SAAS;YAClH,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC,CAAC;YACnE,IAAI,CAAC,OAAO,EAAE,CAAC;gBACb,MAAM,CAAC,IAAI,CAAC;oBACV,QAAQ,EAAE,IAAI,CAAC,QAAQ,IAAI,MAAM;oBACjC,MAAM,EAAE,YAAY;oBACpB,OAAO,EAAE,IAAI,CAAC,WAAW;iBAC1B,CAAC,CAAC;YACL,CAAC;YACD,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;gBAChB,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;oBAC9B,IAAI,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,aAAa,CAAC,EAAE,CAAC;wBAChC,MAAM,CAAC,IAAI,CAAC;4BACV,QAAQ,EAAE,IAAI,CAAC,QAAQ,IAAI,MAAM;4BACjC,MAAM,EAAE,YAAY;4BACpB,OAAO,EAAE,IAAI,CAAC,aAAa,IAAI,8BAA8B,GAAG,CAAC,MAAM,EAAE;yBAC1E,CAAC,CAAC;wBACH,MAAM;oBACR,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;QACD,OAAO,MAAM,CAAC;IAChB,CAAC;CACF,CAAC"}

package/dist/verifiers/test_smoke.d.ts

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

package/dist/verifiers/test_smoke.js

@@ -0,0 +1,94 @@
+// Smoke-test verifier — runs the project's test command in "fast" mode
+// against the touched files only. Doesn't run the full suite (that
+// could take minutes); just checks that nothing the model touched
+// breaks the existing tests for those files.
+//
+// Detection order:
+//   1. `package.json` scripts.test:smoke / scripts.test:fast → run it
+//   2. vitest config in repo → `vitest run --bail=1 <touched test files>`
+//   3. jest config in repo → `jest --bail <touched test files>`
+//   4. pytest available + tests/ dir → `pytest -q --maxfail=1 <touched .py test paths>`
+//
+// In all cases: 5s wall-clock budget. If the kernel can't finish in
+// time it returns [] rather than blocking.
+import { spawn } from "node:child_process";
+import fs from "node:fs";
+import path from "node:path";
+function findUpward(startDir, names) {
+    let dir = startDir;
+    for (let i = 0; i < 10; i++) {
+        for (const name of names) {
+            const cand = path.join(dir, name);
+            if (fs.existsSync(cand))
+                return cand;
+        }
+        const parent = path.dirname(dir);
+        if (parent === dir)
+            break;
+        dir = parent;
+    }
+    return null;
+}
+async function runCmd(cmd, args, cwd, timeoutMs) {
+    return await new Promise((resolve) => {
+        let out = "";
+        const child = spawn(cmd, args, { cwd, env: { ...process.env, FORCE_COLOR: "0" }, shell: false });
+        const timer = setTimeout(() => { try {
+            child.kill("SIGKILL");
+        }
+        catch { /* ignore */ } }, timeoutMs);
+        child.stdout?.on("data", (b) => { out += b.toString("utf8"); });
+        child.stderr?.on("data", (b) => { out += b.toString("utf8"); });
+        child.on("close", (code) => { clearTimeout(timer); resolve({ code: code ?? -1, out }); });
+        child.on("error", () => { clearTimeout(timer); resolve({ code: -1, out }); });
+    });
+}
+export const testSmokeKernel = {
+    slug: "test_smoke",
+    describe: "Run the project's smoke / fast test command against touched files",
+    async run(ctx) {
+        if (ctx.touchedFiles.length === 0)
+            return [];
+        const pkgJsonPath = findUpward(ctx.cwd, ["package.json"]);
+        if (pkgJsonPath) {
+            try {
+                const pkg = JSON.parse(fs.readFileSync(pkgJsonPath, "utf8"));
+                const scripts = pkg.scripts || {};
+                const scriptName = scripts["test:smoke"] ? "test:smoke"
+                    : scripts["test:fast"] ? "test:fast"
+                        : null;
+                if (scriptName) {
+                    const res = await runCmd("npm", ["run", "--silent", scriptName], path.dirname(pkgJsonPath), 5000);
+                    if (res.code !== 0) {
+                        return [{
+                                severity: "block",
+                                kernel: "test_smoke",
+                                message: `\`npm run ${scriptName}\` failed (exit ${res.code})`,
+                                location: path.relative(ctx.cwd, pkgJsonPath),
+                            }];
+                    }
+                    return [];
+                }
+            }
+            catch { /* fall through */ }
+        }
+        // Python: look for pytest + tests/ dir + touched .py files.
+        const pyTouched = ctx.touchedFiles.filter((p) => p.endsWith(".py"));
+        if (pyTouched.length > 0) {
+            const testsDir = findUpward(ctx.cwd, ["tests"]);
+            if (testsDir) {
+                const res = await runCmd("pytest", ["-q", "--maxfail=1", testsDir], ctx.cwd, 5000);
+                if (res.code !== 0 && res.code !== -1) {
+                    return [{
+                            severity: "block",
+                            kernel: "test_smoke",
+                            message: `pytest failed (exit ${res.code})`,
+                            location: path.relative(ctx.cwd, testsDir),
+                        }];
+                }
+            }
+        }
+        return [];
+    },
+};
+//# sourceMappingURL=test_smoke.js.map

package/dist/verifiers/test_smoke.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"test_smoke.js","sourceRoot":"","sources":["../../src/verifiers/test_smoke.ts"],"names":[],"mappings":"AAAA,uEAAuE;AACvE,mEAAmE;AACnE,kEAAkE;AAClE,6CAA6C;AAC7C,EAAE;AACF,mBAAmB;AACnB,sEAAsE;AACtE,0EAA0E;AAC1E,gEAAgE;AAChE,wFAAwF;AACxF,EAAE;AACF,oEAAoE;AACpE,2CAA2C;AAE3C,OAAO,EAAE,KAAK,EAAE,MAAM,oBAAoB,CAAC;AAC3C,OAAO,EAAE,MAAM,SAAS,CAAC;AACzB,OAAO,IAAI,MAAM,WAAW,CAAC;AAG7B,SAAS,UAAU,CAAC,QAAgB,EAAE,KAAe;IACnD,IAAI,GAAG,GAAG,QAAQ,CAAC;IACnB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC;QAC5B,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;YAClC,IAAI,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC;gBAAE,OAAO,IAAI,CAAC;QACvC,CAAC;QACD,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;QACjC,IAAI,MAAM,KAAK,GAAG;YAAE,MAAM;QAC1B,GAAG,GAAG,MAAM,CAAC;IACf,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,KAAK,UAAU,MAAM,CAAC,GAAW,EAAE,IAAc,EAAE,GAAW,EAAE,SAAiB;IAC/E,OAAO,MAAM,IAAI,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE;QACnC,IAAI,GAAG,GAAG,EAAE,CAAC;QACb,MAAM,KAAK,GAAG,KAAK,CAAC,GAAG,EAAE,IAAI,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,GAAG,OAAO,CAAC,GAAG,EAAE,WAAW,EAAE,GAAG,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC;QACjG,MAAM,KAAK,GAAG,UAAU,CAAC,GAAG,EAAE,GAAG,IAAI,CAAC;YAAC,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QAAC,CAAC;QAAC,MAAM,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC;QACrG,KAAK,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,EAAE,CAAC,CAAS,EAAE,EAAE,GAAG,GAAG,IAAI,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACxE,KAAK,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,EAAE,CAAC,CAAS,EAAE,EAAE,GAAG,GAAG,IAAI,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACxE,KAAK,CAAC,EAAE,CAAC,OAAO,EAAE,CAAC,IAAI,EAAE,EAAE,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,IAAI,IAAI,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC1F,KAAK,CAAC,EAAE,CAAC,OAAO,EAAE,GAAG,EAAE,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAChF,CAAC,CAAC,CAAC;AACL,CAAC;AAED,MAAM,CAAC,MAAM,eAAe,GAAa;IACvC,IAAI,EAAE,YAAY;IAClB,QAAQ,EAAE,mEAAmE;IAC7E,KAAK,CAAC,GAAG,CAAC,GAAoB;QAC5B,IAAI,GAAG,CAAC,YAAY,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,EAAE,CAAC;QAE7C,MAAM,WAAW,GAAG,UAAU,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,cAAc,CAAC,CAAC,CAAC;QAC1D,IAAI,WAAW,EAAE,CAAC;YAChB,IAAI,CAAC;gBACH,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,YAAY,CAAC,WAAW,EAAE,MAAM,CAAC,CAAC,CAAC;gBAC7D,MAAM,OAAO,GAA2B,GAAG,CAAC,OAAO,IAAI,EAAE,CAAC;gBAC1D,MAAM,UAAU,GAAG,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,YAAY;oBACrD,CAAC,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,WAAW;wBACpC,CAAC,CAAC,IAAI,CAAC;gBACT,IAAI,UAAU,EAAE,CAAC;oBACf,MAAM,GAAG,GAAG,MAAM,MAAM,CAAC,KAAK,EAAE,CAAC,KAAK,EAAE,UAAU,EAAE,UAAU,CAAC,EAAE,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC,EAAE,IAAI,CAAC,CAAC;oBAClG,IAAI,GAAG,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;wBACnB,OAAO,CAAC;gCACN,QAAQ,EAAE,OAAO;gCACjB,MAAM,EAAE,YAAY;gCACpB,OAAO,EAAE,aAAa,UAAU,mBAAmB,GAAG,CAAC,IAAI,GAAG;gCAC9D,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,EAAE,WAAW,CAAC;6BAC9C,CAAC,CAAC;oBACL,CAAC;oBACD,OAAO,EAAE,CAAC;gBACZ,CAAC;YACH,CAAC;YAAC,MAAM,CAAC,CAAC,kBAAkB,CAAC,CAAC;QAChC,CAAC;QAED,4DAA4D;QAC5D,MAAM,SAAS,GAAG,GAAG,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC;QACpE,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACzB,MAAM,QAAQ,GAAG,UAAU,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC;YAChD,IAAI,QAAQ,EAAE,CAAC;gBACb,MAAM,GAAG,GAAG,MAAM,MAAM,CAAC,QAAQ,EAAE,CAAC,IAAI,EAAE,aAAa,EAAE,QAAQ,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;gBACnF,IAAI,GAAG,CAAC,IAAI,KAAK,CAAC,IAAI,GAAG,CAAC,IAAI,KAAK,CAAC,CAAC,EAAE,CAAC;oBACtC,OAAO,CAAC;4BACN,QAAQ,EAAE,OAAO;4BACjB,MAAM,EAAE,YAAY;4BACpB,OAAO,EAAE,uBAAuB,GAAG,CAAC,IAAI,GAAG;4BAC3C,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,EAAE,QAAQ,CAAC;yBAC3C,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;QACH,CAAC;QAED,OAAO,EAAE,CAAC;IACZ,CAAC;CACF,CAAC"}

package/dist/verifiers/typecheck.d.ts

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