ai-model-verifier 1.4.1 → 2.0.0

package/dist/models/facts.d.ts

@@ -0,0 +1,56 @@
+/**
+ * Everything the engine knows about a model id, in one table. Adapters and rules
+ * read facts; none of them carries a model-name regex of its own.
+ *
+ * Resolution is layered, first match per field: consumer entries, then this
+ * table, in order. A field an entry leaves out falls through to later entries,
+ * so a narrow entry (opus-4-7 thinks adaptively) sits above the broad one
+ * (every claude belongs to anthropic) and both apply.
+ */
+import type { VendorId } from "../vendors/table";
+export type ThinkingMode = "adaptive" | "extended" | "none";
+export type TokenizerGeneration = "claude-v1" | "claude-v2";
+export type ModelFacts = {
+    /** Vendor that trained it; null when the id names nothing the table knows. */
+    vendor: VendorId | null;
+    thinking: ThinkingMode;
+    tokenizer: TokenizerGeneration | null;
+    /** Cannot switch reasoning off (a reply with no thought tokens is a cheaper tier). */
+    alwaysThinks: boolean;
+    /** Reasoning models need room for hidden thought before the visible answer. */
+    minOutputTokens: number | null;
+};
+export type FactsEntry = {
+    /** Glob(s) over the normalised id: `*` is the only wildcard, no `*` means exact. */
+    match: string | readonly string[];
+} & Partial<ModelFacts>;
+/** Lowercase, `.` and `_` to `-`, any `vendor/` or `pool/` prefix stripped. */
+export declare const normalizeModelId: (model: string) => string;
+export declare function globMatches(name: string, pattern: string): boolean;
+export declare const MODEL_FACTS: readonly [{
+    readonly match: readonly ["claude-opus-4-7*", "claude-opus-4-8*"];
+    readonly thinking: "adaptive";
+    readonly tokenizer: "claude-v2";
+}, {
+    readonly match: readonly ["claude-opus-4-6*", "claude-opus-4-5*", "claude-opus-4-1*", "claude-sonnet-4-6*", "claude-sonnet-4-5*", "claude-haiku-4-5*"];
+    readonly thinking: "extended";
+}, {
+    readonly match: "*claude*";
+    readonly vendor: "anthropic";
+    readonly tokenizer: "claude-v1";
+}, {
+    readonly match: "gemini-2-5-pro*";
+    readonly alwaysThinks: true;
+}, {
+    readonly match: "*gemini*";
+    readonly vendor: "gemini";
+}, {
+    readonly match: readonly ["gpt-5*", "o1*", "o2*", "o3*", "o4*", "o5*", "o6*", "o7*", "o8*", "o9*"];
+    readonly minOutputTokens: 2000;
+}, {
+    readonly match: readonly ["gpt-*", "o1*", "o3*", "o4*", "chatgpt*"];
+    readonly vendor: "openai";
+}];
+export declare const defineModelFacts: <const F extends readonly FactsEntry[]>(facts: F) => F;
+export declare function resolveModelFacts(model: string, extra?: readonly FactsEntry[]): ModelFacts;
+//# sourceMappingURL=facts.d.ts.map

package/dist/models/facts.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"facts.d.ts","sourceRoot":"","sources":["../../src/models/facts.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAEjD,MAAM,MAAM,YAAY,GAAG,UAAU,GAAG,UAAU,GAAG,MAAM,CAAC;AAC5D,MAAM,MAAM,mBAAmB,GAAG,WAAW,GAAG,WAAW,CAAC;AAE5D,MAAM,MAAM,UAAU,GAAG;IACvB,8EAA8E;IAC9E,MAAM,EAAE,QAAQ,GAAG,IAAI,CAAC;IACxB,QAAQ,EAAE,YAAY,CAAC;IACvB,SAAS,EAAE,mBAAmB,GAAG,IAAI,CAAC;IACtC,sFAAsF;IACtF,YAAY,EAAE,OAAO,CAAC;IACtB,+EAA+E;IAC/E,eAAe,EAAE,MAAM,GAAG,IAAI,CAAC;CAChC,CAAC;AAEF,MAAM,MAAM,UAAU,GAAG;IACvB,oFAAoF;IACpF,KAAK,EAAE,MAAM,GAAG,SAAS,MAAM,EAAE,CAAC;CACnC,GAAG,OAAO,CAAC,UAAU,CAAC,CAAC;AAExB,+EAA+E;AAC/E,eAAO,MAAM,gBAAgB,UAAW,MAAM,KAAG,MACwB,CAAC;AAI1E,wBAAgB,WAAW,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,OAAO,CAMlE;AAED,eAAO,MAAM,WAAW;;uBAGV,UAAU;wBACT,WAAW;;;uBAWZ,UAAU;;oBAEb,UAAU;qBAAU,WAAW;wBAAa,WAAW;;oBACvD,iBAAiB;;;oBACjB,UAAU;qBAAU,QAAQ;;;8BAclB,IAAI;;;qBAEsC,QAAQ;EAC7B,CAAC;AAE3C,eAAO,MAAM,gBAAgB,GAAI,KAAK,CAAC,CAAC,SAAS,SAAS,UAAU,EAAE,SAC7D,CAAC,KACP,CAAU,CAAC;AA8Bd,wBAAgB,iBAAiB,CAC/B,KAAK,EAAE,MAAM,EACb,KAAK,GAAE,SAAS,UAAU,EAAO,GAChC,UAAU,CAWZ"}

package/dist/models/facts.js

@@ -0,0 +1,91 @@
+/**
+ * Everything the engine knows about a model id, in one table. Adapters and rules
+ * read facts; none of them carries a model-name regex of its own.
+ *
+ * Resolution is layered, first match per field: consumer entries, then this
+ * table, in order. A field an entry leaves out falls through to later entries,
+ * so a narrow entry (opus-4-7 thinks adaptively) sits above the broad one
+ * (every claude belongs to anthropic) and both apply.
+ */
+/** Lowercase, `.` and `_` to `-`, any `vendor/` or `pool/` prefix stripped. */
+export const normalizeModelId = (model) => model.trim().toLowerCase().replace(/[._]/g, "-").split("/").pop() ?? "";
+const escapeRegExp = (s) => s.replace(/[.*+?^${}()|[\]\\]/g, "\\$&");
+export function globMatches(name, pattern) {
+    const p = pattern.toLowerCase();
+    if (!p.includes("*"))
+        return name === p;
+    return new RegExp(`^${p.split("*").map(escapeRegExp).join(".*")}$`).test(name);
+}
+export const MODEL_FACTS = [
+    {
+        match: ["claude-opus-4-7*", "claude-opus-4-8*"],
+        thinking: "adaptive",
+        tokenizer: "claude-v2",
+    },
+    {
+        match: [
+            "claude-opus-4-6*",
+            "claude-opus-4-5*",
+            "claude-opus-4-1*",
+            "claude-sonnet-4-6*",
+            "claude-sonnet-4-5*",
+            "claude-haiku-4-5*",
+        ],
+        thinking: "extended",
+    },
+    { match: "*claude*", vendor: "anthropic", tokenizer: "claude-v1" },
+    { match: "gemini-2-5-pro*", alwaysThinks: true },
+    { match: "*gemini*", vendor: "gemini" },
+    {
+        match: [
+            "gpt-5*",
+            "o1*",
+            "o2*",
+            "o3*",
+            "o4*",
+            "o5*",
+            "o6*",
+            "o7*",
+            "o8*",
+            "o9*",
+        ],
+        minOutputTokens: 2000,
+    },
+    { match: ["gpt-*", "o1*", "o3*", "o4*", "chatgpt*"], vendor: "openai" },
+];
+export const defineModelFacts = (facts) => facts;
+const DEFAULTS = {
+    vendor: null,
+    thinking: "none",
+    tokenizer: null,
+    alwaysThinks: false,
+    minOutputTokens: null,
+};
+const FACT_KEYS = [
+    "vendor",
+    "thinking",
+    "tokenizer",
+    "alwaysThinks",
+    "minOutputTokens",
+];
+function take(out, entry, key, seen) {
+    const v = entry[key];
+    if (seen.has(key) || v === undefined)
+        return;
+    out[key] = v;
+    seen.add(key);
+}
+export function resolveModelFacts(model, extra = []) {
+    const id = normalizeModelId(model);
+    const out = { ...DEFAULTS };
+    const seen = new Set();
+    for (const entry of [...extra, ...MODEL_FACTS]) {
+        const patterns = typeof entry.match === "string" ? [entry.match] : entry.match;
+        if (!patterns.some((p) => globMatches(id, p)))
+            continue;
+        for (const key of FACT_KEYS)
+            take(out, entry, key, seen);
+    }
+    return out;
+}
+//# sourceMappingURL=facts.js.map

package/dist/models/facts.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"facts.js","sourceRoot":"","sources":["../../src/models/facts.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAuBH,+EAA+E;AAC/E,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC,KAAa,EAAU,EAAE,CACxD,KAAK,CAAC,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC,OAAO,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,IAAI,EAAE,CAAC;AAE1E,MAAM,YAAY,GAAG,CAAC,CAAS,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,qBAAqB,EAAE,MAAM,CAAC,CAAC;AAE7E,MAAM,UAAU,WAAW,CAAC,IAAY,EAAE,OAAe;IACvD,MAAM,CAAC,GAAG,OAAO,CAAC,WAAW,EAAE,CAAC;IAChC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC;QAAE,OAAO,IAAI,KAAK,CAAC,CAAC;IACxC,OAAO,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CACtE,IAAI,CACL,CAAC;AACJ,CAAC;AAED,MAAM,CAAC,MAAM,WAAW,GAAG;IACzB;QACE,KAAK,EAAE,CAAC,kBAAkB,EAAE,kBAAkB,CAAC;QAC/C,QAAQ,EAAE,UAAU;QACpB,SAAS,EAAE,WAAW;KACvB;IACD;QACE,KAAK,EAAE;YACL,kBAAkB;YAClB,kBAAkB;YAClB,kBAAkB;YAClB,oBAAoB;YACpB,oBAAoB;YACpB,mBAAmB;SACpB;QACD,QAAQ,EAAE,UAAU;KACrB;IACD,EAAE,KAAK,EAAE,UAAU,EAAE,MAAM,EAAE,WAAW,EAAE,SAAS,EAAE,WAAW,EAAE;IAClE,EAAE,KAAK,EAAE,iBAAiB,EAAE,YAAY,EAAE,IAAI,EAAE;IAChD,EAAE,KAAK,EAAE,UAAU,EAAE,MAAM,EAAE,QAAQ,EAAE;IACvC;QACE,KAAK,EAAE;YACL,QAAQ;YACR,KAAK;YACL,KAAK;YACL,KAAK;YACL,KAAK;YACL,KAAK;YACL,KAAK;YACL,KAAK;YACL,KAAK;YACL,KAAK;SACN;QACD,eAAe,EAAE,IAAI;KACtB;IACD,EAAE,KAAK,EAAE,CAAC,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,UAAU,CAAC,EAAE,MAAM,EAAE,QAAQ,EAAE;CAC/B,CAAC;AAE3C,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAC9B,KAAQ,EACL,EAAE,CAAC,KAAK,CAAC;AAEd,MAAM,QAAQ,GAAe;IAC3B,MAAM,EAAE,IAAI;IACZ,QAAQ,EAAE,MAAM;IAChB,SAAS,EAAE,IAAI;IACf,YAAY,EAAE,KAAK;IACnB,eAAe,EAAE,IAAI;CACtB,CAAC;AAEF,MAAM,SAAS,GAAG;IAChB,QAAQ;IACR,UAAU;IACV,WAAW;IACX,cAAc;IACd,iBAAiB;CAC+B,CAAC;AAEnD,SAAS,IAAI,CACX,GAAe,EACf,KAA0B,EAC1B,GAAM,EACN,IAA2B;IAE3B,MAAM,CAAC,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC;IACrB,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,SAAS;QAAE,OAAO;IAC7C,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IACb,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;AAChB,CAAC;AAED,MAAM,UAAU,iBAAiB,CAC/B,KAAa,EACb,KAAK,GAA0B,EAAE;IAEjC,MAAM,EAAE,GAAG,gBAAgB,CAAC,KAAK,CAAC,CAAC;IACnC,MAAM,GAAG,GAAe,EAAE,GAAG,QAAQ,EAAE,CAAC;IACxC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAoB,CAAC;IACzC,KAAK,MAAM,KAAK,IAAI,CAAC,GAAG,KAAK,EAAE,GAAG,WAAW,CAAC,EAAE,CAAC;QAC/C,MAAM,QAAQ,GACZ,OAAO,KAAK,CAAC,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC;QAChE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,WAAW,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;YAAE,SAAS;QACxD,KAAK,MAAM,GAAG,IAAI,SAAS;YAAE,IAAI,CAAC,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC;IAC3D,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC"}

package/dist/models/index.d.ts

@@ -0,0 +1,6 @@
+export { MODEL_FACTS, defineModelFacts, globMatches, normalizeModelId, resolveModelFacts, } from "./facts";
+export type { FactsEntry, ModelFacts, ThinkingMode, TokenizerGeneration, } from "./facts";
+export { CURATED_MODELS, vendorForModel, vendorForRow } from "./catalog";
+export { detectSubstitution, modelsMatch } from "./substitution";
+export { detectServedModelMismatch, detectTierMismatch, tierOf } from "./tiers";
+//# sourceMappingURL=index.d.ts.map

package/dist/models/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/models/index.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,WAAW,EACX,gBAAgB,EAChB,WAAW,EACX,gBAAgB,EAChB,iBAAiB,GAClB,MAAM,SAAS,CAAC;AACjB,YAAY,EACV,UAAU,EACV,UAAU,EACV,YAAY,EACZ,mBAAmB,GACpB,MAAM,SAAS,CAAC;AACjB,OAAO,EAAE,cAAc,EAAE,cAAc,EAAE,YAAY,EAAE,MAAM,WAAW,CAAC;AACzE,OAAO,EAAE,kBAAkB,EAAE,WAAW,EAAE,MAAM,gBAAgB,CAAC;AACjE,OAAO,EAAE,yBAAyB,EAAE,kBAAkB,EAAE,MAAM,EAAE,MAAM,SAAS,CAAC"}

package/dist/models/index.js

@@ -0,0 +1,5 @@
+export { MODEL_FACTS, defineModelFacts, globMatches, normalizeModelId, resolveModelFacts, } from "./facts";
+export { CURATED_MODELS, vendorForModel, vendorForRow } from "./catalog";
+export { detectSubstitution, modelsMatch } from "./substitution";
+export { detectServedModelMismatch, detectTierMismatch, tierOf } from "./tiers";
+//# sourceMappingURL=index.js.map

package/dist/models/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/models/index.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,WAAW,EACX,gBAAgB,EAChB,WAAW,EACX,gBAAgB,EAChB,iBAAiB,GAClB,MAAM,SAAS,CAAC;AAOjB,OAAO,EAAE,cAAc,EAAE,cAAc,EAAE,YAAY,EAAE,MAAM,WAAW,CAAC;AACzE,OAAO,EAAE,kBAAkB,EAAE,WAAW,EAAE,MAAM,gBAAgB,CAAC;AACjE,OAAO,EAAE,yBAAyB,EAAE,kBAAkB,EAAE,MAAM,EAAE,MAAM,SAAS,CAAC"}

package/dist/{substitution.d.ts → models/substitution.d.ts}

@@ -7,10 +7,9 @@
  * nothing: the id is already in the response every probe makes.
  */
 /**
- * Ported from new-api-sync (`core/testing/runner.ts`), where the leniency is
- * load-bearing. A strict comparison once condemned an honest upstream and cost
- * it all ten of its Claude models, so this tolerates the three ways vendors
- * legitimately spell the same model:
+ * A strict comparison once condemned an honest upstream and cost it all ten of
+ * its Claude models, so this tolerates the three ways vendors legitimately
+ * spell the same model:
  *   - separator drift        claude-opus-4.8   vs claude-opus-4-8
  *   - vendor-qualified ids   anthropic/claude-opus-5 vs claude-opus-5
  *   - dated snapshots        claude-haiku-4-5  vs claude-haiku-4-5-20251001

package/dist/models/substitution.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"substitution.d.ts","sourceRoot":"","sources":["../../src/models/substitution.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH;;;;;;;GAOG;AACH,wBAAgB,WAAW,CAAC,SAAS,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,OAAO,CAOtE;AAED;;;GAGG;AACH,wBAAgB,kBAAkB,CAChC,SAAS,EAAE,MAAM,EACjB,aAAa,EAAE,MAAM,GAAG,IAAI,GAAG,SAAS,GACvC,MAAM,GAAG,IAAI,CAGf"}

package/dist/{substitution.js → models/substitution.js}

@@ -7,10 +7,9 @@
  * nothing: the id is already in the response every probe makes.
  */
 /**
- * Ported from new-api-sync (`core/testing/runner.ts`), where the leniency is
- * load-bearing. A strict comparison once condemned an honest upstream and cost
- * it all ten of its Claude models, so this tolerates the three ways vendors
- * legitimately spell the same model:
+ * A strict comparison once condemned an honest upstream and cost it all ten of
+ * its Claude models, so this tolerates the three ways vendors legitimately
+ * spell the same model:
  *   - separator drift        claude-opus-4.8   vs claude-opus-4-8
  *   - vendor-qualified ids   anthropic/claude-opus-5 vs claude-opus-5
  *   - dated snapshots        claude-haiku-4-5  vs claude-haiku-4-5-20251001

package/dist/models/substitution.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"substitution.js","sourceRoot":"","sources":["../../src/models/substitution.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH;;;;;;;GAOG;AACH,MAAM,UAAU,WAAW,CAAC,SAAiB,EAAE,MAAc;IAC3D,MAAM,IAAI,GAAG,CAAC,CAAS,EAAE,EAAE,CACzB,CAAC,CAAC,WAAW,EAAE,CAAC,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,IAAI,EAAE,CAAC;IAC9D,MAAM,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC;IAC1B,MAAM,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC;IACvB,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC;QAAE,OAAO,IAAI,CAAC;IAC1B,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;AACvD,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,kBAAkB,CAChC,SAAiB,EACjB,aAAwC;IAExC,IAAI,CAAC,aAAa;QAAE,OAAO,IAAI,CAAC;IAChC,OAAO,WAAW,CAAC,SAAS,EAAE,aAAa,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,aAAa,CAAC;AACtE,CAAC"}

package/dist/models/tiers.d.ts

@@ -0,0 +1,14 @@
+/** The one tier a text names, or null when it names none or hedges ("opus or sonnet"). */
+export declare function tierOf(text: string, tiers: readonly string[]): string | null;
+/**
+ * The tier the model-name reply claims when it contradicts the requested one.
+ * What a model calls itself is coachable, so callers treat this as a note.
+ */
+export declare function detectTierMismatch(requestedModel: string, modelNameText: string | undefined, tiers: readonly string[]): string | null;
+/**
+ * The served model id when the reply's own `model` field names another tier: a
+ * relay that maps the requested name to a cheaper backend reports it here while
+ * every behavioural probe passes.
+ */
+export declare function detectServedModelMismatch(requestedModel: string, servedModels: readonly (string | null)[], tiers: readonly string[]): string | null;
+//# sourceMappingURL=tiers.d.ts.map

package/dist/models/tiers.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"tiers.d.ts","sourceRoot":"","sources":["../../src/models/tiers.ts"],"names":[],"mappings":"AAAA,0FAA0F;AAC1F,wBAAgB,MAAM,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,SAAS,MAAM,EAAE,GAAG,MAAM,GAAG,IAAI,CAG5E;AAED;;;GAGG;AACH,wBAAgB,kBAAkB,CAChC,cAAc,EAAE,MAAM,EACtB,aAAa,EAAE,MAAM,GAAG,SAAS,EACjC,KAAK,EAAE,SAAS,MAAM,EAAE,GACvB,MAAM,GAAG,IAAI,CAKf;AAED;;;;GAIG;AACH,wBAAgB,yBAAyB,CACvC,cAAc,EAAE,MAAM,EACtB,YAAY,EAAE,SAAS,CAAC,MAAM,GAAG,IAAI,CAAC,EAAE,EACxC,KAAK,EAAE,SAAS,MAAM,EAAE,GACvB,MAAM,GAAG,IAAI,CASf"}

package/dist/models/tiers.js

@@ -0,0 +1,35 @@
+/** The one tier a text names, or null when it names none or hedges ("opus or sonnet"). */
+export function tierOf(text, tiers) {
+    const found = tiers.filter((tier) => text.includes(tier));
+    return found.length === 1 ? found[0] : null;
+}
+/**
+ * The tier the model-name reply claims when it contradicts the requested one.
+ * What a model calls itself is coachable, so callers treat this as a note.
+ */
+export function detectTierMismatch(requestedModel, modelNameText, tiers) {
+    const reqTier = tierOf(requestedModel.toLowerCase(), tiers);
+    if (!reqTier || !modelNameText)
+        return null;
+    const saidTier = tierOf(modelNameText, tiers);
+    return saidTier && saidTier !== reqTier ? saidTier : null;
+}
+/**
+ * The served model id when the reply's own `model` field names another tier: a
+ * relay that maps the requested name to a cheaper backend reports it here while
+ * every behavioural probe passes.
+ */
+export function detectServedModelMismatch(requestedModel, servedModels, tiers) {
+    const reqTier = tierOf(requestedModel.toLowerCase(), tiers);
+    if (!reqTier)
+        return null;
+    for (const served of servedModels) {
+        if (!served)
+            continue;
+        const tier = tierOf(served.toLowerCase(), tiers);
+        if (tier && tier !== reqTier)
+            return served.toLowerCase();
+    }
+    return null;
+}
+//# sourceMappingURL=tiers.js.map

package/dist/models/tiers.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"tiers.js","sourceRoot":"","sources":["../../src/models/tiers.ts"],"names":[],"mappings":"AAAA,0FAA0F;AAC1F,MAAM,UAAU,MAAM,CAAC,IAAY,EAAE,KAAwB;IAC3D,MAAM,KAAK,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC;IAC1D,OAAO,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,CAAC,CAAC,IAAI,CAAC;AAC/C,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,kBAAkB,CAChC,cAAsB,EACtB,aAAiC,EACjC,KAAwB;IAExB,MAAM,OAAO,GAAG,MAAM,CAAC,cAAc,CAAC,WAAW,EAAE,EAAE,KAAK,CAAC,CAAC;IAC5D,IAAI,CAAC,OAAO,IAAI,CAAC,aAAa;QAAE,OAAO,IAAI,CAAC;IAC5C,MAAM,QAAQ,GAAG,MAAM,CAAC,aAAa,EAAE,KAAK,CAAC,CAAC;IAC9C,OAAO,QAAQ,IAAI,QAAQ,KAAK,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC;AAC5D,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,yBAAyB,CACvC,cAAsB,EACtB,YAAwC,EACxC,KAAwB;IAExB,MAAM,OAAO,GAAG,MAAM,CAAC,cAAc,CAAC,WAAW,EAAE,EAAE,KAAK,CAAC,CAAC;IAC5D,IAAI,CAAC,OAAO;QAAE,OAAO,IAAI,CAAC;IAC1B,KAAK,MAAM,MAAM,IAAI,YAAY,EAAE,CAAC;QAClC,IAAI,CAAC,MAAM;YAAE,SAAS;QACtB,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,CAAC,WAAW,EAAE,EAAE,KAAK,CAAC,CAAC;QACjD,IAAI,IAAI,IAAI,IAAI,KAAK,OAAO;YAAE,OAAO,MAAM,CAAC,WAAW,EAAE,CAAC;IAC5D,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC"}

package/dist/probes/prompts.d.ts

@@ -0,0 +1,23 @@
+export declare function makeNonce(): string;
+export declare function nonceTag(nonce: string): string;
+export declare function echoesNonce(text: string, nonce: string): boolean;
+/**
+ * The fixed prompt pair every token-count rule measures against. The short
+ * prompt anchors the count; the long one appends a known run of text, so the
+ * difference is the endpoint's tokenizer at work on that run alone. Anything a
+ * relay injects (a system prompt, a wrapper) is present in both and cancels.
+ *
+ * Do not change the text: every recorded delta was measured on exactly this
+ * pair, and a different run of text yields a different table of signatures.
+ */
+export declare const SHORT_PROMPT = "Reply with exactly: ok";
+export declare const LONG_PROMPT: string;
+export declare const COUNT_PROBE_MAX_TOKENS = 16;
+/**
+ * Multi-step GCD: hard enough that adaptive models decide to think, and
+ * deliberately not the 1071/462 pair from Anthropic's own docs, which a relay
+ * could special-case.
+ */
+export declare const SIGNATURE_PROMPT = "Find the greatest common divisor of 2378 and 1547 using the Euclidean algorithm.";
+export declare const FLOOR_PROMPT = "Reply with only the word ok.";
+//# sourceMappingURL=prompts.d.ts.map

package/dist/probes/prompts.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"prompts.d.ts","sourceRoot":"","sources":["../../src/probes/prompts.ts"],"names":[],"mappings":"AAAA,wBAAgB,SAAS,IAAI,MAAM,CAIlC;AAED,wBAAgB,QAAQ,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CAE9C;AAED,wBAAgB,WAAW,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,OAAO,CAEhE;AAED;;;;;;;;GAQG;AACH,eAAO,MAAM,YAAY,2BAA2B,CAAC;AACrD,eAAO,MAAM,WAAW,QAA6D,CAAC;AACtF,eAAO,MAAM,sBAAsB,KAAK,CAAC;AAEzC;;;;GAIG;AACH,eAAO,MAAM,gBAAgB,qFACuD,CAAC;AAErF,eAAO,MAAM,YAAY,iCAAiC,CAAC"}

package/dist/probes/prompts.js

@@ -0,0 +1,31 @@
+export function makeNonce() {
+    const bytes = new Uint8Array(4);
+    crypto.getRandomValues(bytes);
+    return Array.from(bytes, (b) => b.toString(16).padStart(2, "0")).join("");
+}
+export function nonceTag(nonce) {
+    return `Begin your reply with the tag [${nonce}] then a space, then your answer.`;
+}
+export function echoesNonce(text, nonce) {
+    return text.includes(nonce.toLowerCase());
+}
+/**
+ * The fixed prompt pair every token-count rule measures against. The short
+ * prompt anchors the count; the long one appends a known run of text, so the
+ * difference is the endpoint's tokenizer at work on that run alone. Anything a
+ * relay injects (a system prompt, a wrapper) is present in both and cancels.
+ *
+ * Do not change the text: every recorded delta was measured on exactly this
+ * pair, and a different run of text yields a different table of signatures.
+ */
+export const SHORT_PROMPT = "Reply with exactly: ok";
+export const LONG_PROMPT = `${SHORT_PROMPT}\n\nReference text:${" apple".repeat(80)}`;
+export const COUNT_PROBE_MAX_TOKENS = 16;
+/**
+ * Multi-step GCD: hard enough that adaptive models decide to think, and
+ * deliberately not the 1071/462 pair from Anthropic's own docs, which a relay
+ * could special-case.
+ */
+export const SIGNATURE_PROMPT = "Find the greatest common divisor of 2378 and 1547 using the Euclidean algorithm.";
+export const FLOOR_PROMPT = "Reply with only the word ok.";
+//# sourceMappingURL=prompts.js.map

package/dist/probes/prompts.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"prompts.js","sourceRoot":"","sources":["../../src/probes/prompts.ts"],"names":[],"mappings":"AAAA,MAAM,UAAU,SAAS;IACvB,MAAM,KAAK,GAAG,IAAI,UAAU,CAAC,CAAC,CAAC,CAAC;IAChC,MAAM,CAAC,eAAe,CAAC,KAAK,CAAC,CAAC;IAC9B,OAAO,KAAK,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;AAC5E,CAAC;AAED,MAAM,UAAU,QAAQ,CAAC,KAAa;IACpC,OAAO,kCAAkC,KAAK,mCAAmC,CAAC;AACpF,CAAC;AAED,MAAM,UAAU,WAAW,CAAC,IAAY,EAAE,KAAa;IACrD,OAAO,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,WAAW,EAAE,CAAC,CAAC;AAC5C,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,YAAY,GAAG,wBAAwB,CAAC;AACrD,MAAM,CAAC,MAAM,WAAW,GAAG,GAAG,YAAY,sBAAsB,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC;AACtF,MAAM,CAAC,MAAM,sBAAsB,GAAG,EAAE,CAAC;AAEzC;;;;GAIG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAC3B,kFAAkF,CAAC;AAErF,MAAM,CAAC,MAAM,YAAY,GAAG,8BAA8B,CAAC"}

package/dist/probes/table.d.ts

@@ -0,0 +1,37 @@
+import type { VendorAdapter } from "../vendors/types";
+/**
+ * A probe is a request plus a grader for its own reply. Probes are data, not
+ * rules: the ladder rules read across every probe's outcome (a quorum, a mux
+ * count), so a probe judging itself would be the wrong unit.
+ */
+export type ProbeDef<L extends string = string> = {
+    label: L;
+    maxTokens: number;
+    prompt(nonce: string): string;
+    grade(text: string, wire: VendorAdapter): boolean;
+};
+export declare const PROBES: readonly [{
+    readonly label: "emotional";
+    readonly maxTokens: 200;
+    readonly prompt: (n: string) => string;
+    readonly grade: (text: string) => boolean;
+}, {
+    readonly label: "creative";
+    readonly maxTokens: 120;
+    readonly prompt: (n: string) => string;
+    readonly grade: (text: string) => boolean;
+}, {
+    readonly label: "identity";
+    readonly maxTokens: 60;
+    readonly prompt: (n: string) => string;
+    readonly grade: (text: string, wire: VendorAdapter) => boolean;
+}, {
+    readonly label: "model-name";
+    readonly maxTokens: 80;
+    readonly prompt: (n: string) => string;
+    readonly grade: (text: string, wire: VendorAdapter) => boolean;
+}];
+export type ProbeLabel = (typeof PROBES)[number]["label"];
+export declare const PROBE_SIGNALS: readonly ["coding-tool", "scam", "foreign", "cloud-host", "cjk-leak", "blank"];
+export type ProbeSignal = (typeof PROBE_SIGNALS)[number] | null;
+//# sourceMappingURL=table.d.ts.map

package/dist/probes/table.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"table.d.ts","sourceRoot":"","sources":["../../src/probes/table.ts"],"names":[],"mappings":"AAWA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,kBAAkB,CAAC;AAGtD;;;;GAIG;AACH,MAAM,MAAM,QAAQ,CAAC,CAAC,SAAS,MAAM,GAAG,MAAM,IAAI;IAChD,KAAK,EAAE,CAAC,CAAC;IACT,SAAS,EAAE,MAAM,CAAC;IAClB,MAAM,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CAAC;IAC9B,KAAK,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,aAAa,GAAG,OAAO,CAAC;CACnD,CAAC;AAEF,eAAO,MAAM,MAAM;oBAER,WAAW;wBACP,GAAG;yBACF,MAAM;2BAEJ,MAAM;;oBAIb,UAAU;wBACN,GAAG;yBACF,MAAM;2BAEJ,MAAM;;oBAIb,UAAU;wBACN,EAAE;yBACD,MAAM;2BAIJ,MAAM,QAAQ,aAAa;;oBAUlC,YAAY;wBACR,EAAE;yBACD,MAAM;2BAEJ,MAAM,QAAQ,aAAa;EAQL,CAAC;AAEzC,MAAM,MAAM,UAAU,GAAG,CAAC,OAAO,MAAM,CAAC,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,CAAC;AAE1D,eAAO,MAAM,aAAa,YACxB,aAAa,EACb,MAAM,EACN,SAAS,EACT,YAAY,EACZ,UAAU,EACV,OAAO,CACC,CAAC;AAEX,MAAM,MAAM,WAAW,GAAG,CAAC,OAAO,aAAa,CAAC,CAAC,MAAM,CAAC,GAAG,IAAI,CAAC"}

package/dist/probes/table.js

@@ -0,0 +1,57 @@
+import { cjkLeak, hasCodingToolRefusal, hasForeignIdentity, hasScamPage, includesAny, } from "../identity/signals";
+import { CLOUD_HOST_PATTERNS, FAKE_RESPONSE_SIGNATURES, } from "../identity/patterns";
+import { nonceTag } from "./prompts";
+export const PROBES = [
+    {
+        label: "emotional",
+        maxTokens: 200,
+        prompt: (n) => `Tell me a 2-sentence sad story about a lost kitten. ${nonceTag(n)}`,
+        grade: (text) => !hasCodingToolRefusal(text) && !cjkLeak(text) && text.length >= 40,
+    },
+    {
+        label: "creative",
+        maxTokens: 120,
+        prompt: (n) => `Write a haiku about the ocean at sunrise. ${nonceTag(n)}`,
+        grade: (text) => !hasCodingToolRefusal(text) && !cjkLeak(text) && text.length >= 25,
+    },
+    {
+        label: "identity",
+        maxTokens: 60,
+        prompt: (n) => "Which AI lab developed and trained the model you are running on? " +
+            "Not the company hosting you, the lab that trained the model. " +
+            `One word answer. ${nonceTag(n)}`,
+        grade: (text, wire) => {
+            if (hasCodingToolRefusal(text) || hasScamPage(text))
+                return false;
+            if (hasForeignIdentity(text, wire.identity, "identity"))
+                return false;
+            if (includesAny(text, wire.identity.home))
+                return true;
+            return (wire.identity.acceptsCloudHost && includesAny(text, CLOUD_HOST_PATTERNS));
+        },
+    },
+    {
+        label: "model-name",
+        maxTokens: 80,
+        prompt: (n) => `Which model are you? Reply with only your model name. ${nonceTag(n)}`,
+        grade: (text, wire) => {
+            if (hasCodingToolRefusal(text) || hasScamPage(text))
+                return false;
+            if (hasForeignIdentity(text, wire.identity, "model-name"))
+                return false;
+            if (!includesAny(text, wire.identity.homeModelNames))
+                return false;
+            const stripped = text.replace(/^\s*\[[a-z0-9]{4,8}\]\s*/i, "").trim();
+            return !FAKE_RESPONSE_SIGNATURES.includes(stripped);
+        },
+    },
+];
+export const PROBE_SIGNALS = [
+    "coding-tool",
+    "scam",
+    "foreign",
+    "cloud-host",
+    "cjk-leak",
+    "blank",
+];
+//# sourceMappingURL=table.js.map

package/dist/probes/table.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"table.js","sourceRoot":"","sources":["../../src/probes/table.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,OAAO,EACP,oBAAoB,EACpB,kBAAkB,EAClB,WAAW,EACX,WAAW,GACZ,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EACL,mBAAmB,EACnB,wBAAwB,GACzB,MAAM,sBAAsB,CAAC;AAE9B,OAAO,EAAE,QAAQ,EAAE,MAAM,WAAW,CAAC;AAcrC,MAAM,CAAC,MAAM,MAAM,GAAG;IACpB;QACE,KAAK,EAAE,WAAW;QAClB,SAAS,EAAE,GAAG;QACd,MAAM,EAAE,CAAC,CAAS,EAAE,EAAE,CACpB,uDAAuD,QAAQ,CAAC,CAAC,CAAC,EAAE;QACtE,KAAK,EAAE,CAAC,IAAY,EAAE,EAAE,CACtB,CAAC,oBAAoB,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,MAAM,IAAI,EAAE;KACrE;IACD;QACE,KAAK,EAAE,UAAU;QACjB,SAAS,EAAE,GAAG;QACd,MAAM,EAAE,CAAC,CAAS,EAAE,EAAE,CACpB,6CAA6C,QAAQ,CAAC,CAAC,CAAC,EAAE;QAC5D,KAAK,EAAE,CAAC,IAAY,EAAE,EAAE,CACtB,CAAC,oBAAoB,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,MAAM,IAAI,EAAE;KACrE;IACD;QACE,KAAK,EAAE,UAAU;QACjB,SAAS,EAAE,EAAE;QACb,MAAM,EAAE,CAAC,CAAS,EAAE,EAAE,CACpB,mEAAmE;YACnE,+DAA+D;YAC/D,oBAAoB,QAAQ,CAAC,CAAC,CAAC,EAAE;QACnC,KAAK,EAAE,CAAC,IAAY,EAAE,IAAmB,EAAE,EAAE;YAC3C,IAAI,oBAAoB,CAAC,IAAI,CAAC,IAAI,WAAW,CAAC,IAAI,CAAC;gBAAE,OAAO,KAAK,CAAC;YAClE,IAAI,kBAAkB,CAAC,IAAI,EAAE,IAAI,CAAC,QAAQ,EAAE,UAAU,CAAC;gBAAE,OAAO,KAAK,CAAC;YACtE,IAAI,WAAW,CAAC,IAAI,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC;gBAAE,OAAO,IAAI,CAAC;YACvD,OAAO,CACL,IAAI,CAAC,QAAQ,CAAC,gBAAgB,IAAI,WAAW,CAAC,IAAI,EAAE,mBAAmB,CAAC,CACzE,CAAC;QACJ,CAAC;KACF;IACD;QACE,KAAK,EAAE,YAAY;QACnB,SAAS,EAAE,EAAE;QACb,MAAM,EAAE,CAAC,CAAS,EAAE,EAAE,CACpB,yDAAyD,QAAQ,CAAC,CAAC,CAAC,EAAE;QACxE,KAAK,EAAE,CAAC,IAAY,EAAE,IAAmB,EAAE,EAAE;YAC3C,IAAI,oBAAoB,CAAC,IAAI,CAAC,IAAI,WAAW,CAAC,IAAI,CAAC;gBAAE,OAAO,KAAK,CAAC;YAClE,IAAI,kBAAkB,CAAC,IAAI,EAAE,IAAI,CAAC,QAAQ,EAAE,YAAY,CAAC;gBAAE,OAAO,KAAK,CAAC;YACxE,IAAI,CAAC,WAAW,CAAC,IAAI,EAAE,IAAI,CAAC,QAAQ,CAAC,cAAc,CAAC;gBAAE,OAAO,KAAK,CAAC;YACnE,MAAM,QAAQ,GAAG,IAAI,CAAC,OAAO,CAAC,2BAA2B,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;YACtE,OAAO,CAAC,wBAAwB,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;QACtD,CAAC;KACF;CACqC,CAAC;AAIzC,MAAM,CAAC,MAAM,aAAa,GAAG;IAC3B,aAAa;IACb,MAAM;IACN,SAAS;IACT,YAAY;IACZ,UAAU;IACV,OAAO;CACC,CAAC"}

package/dist/registry.d.ts

@@ -0,0 +1,26 @@
+import type { FactsEntry } from "./models/facts";
+import { type RuleId } from "./rules/table";
+import type { Rule } from "./rules/types";
+import type { RuleRun, VerifyOptions, VerifyResult } from "./types";
+import { type VendorId } from "./vendors/table";
+import type { VendorAdapter } from "./vendors/types";
+import { type Registry } from "./verify";
+/**
+ * A verifier with the built-in tables plus the caller's own vendors, rules and
+ * model facts. Consumer rules run after the built-ins (so they never outrank
+ * them); `omit` drops built-ins a consumer replaces or disagrees with; consumer
+ * model facts are consulted before the table.
+ */
+export declare function createVerifier<V extends string = never, R extends string = never>(cfg: {
+    vendors?: readonly VendorAdapter<V>[];
+    rules?: readonly Rule<R>[];
+    omit?: readonly RuleId[];
+    modelFacts?: readonly FactsEntry[];
+}): {
+    registry: Registry<"anthropic" | "gemini" | "openai" | V, "cjk-leak" | "coding-tool" | "envelope" | "foreign" | "mux" | "quorum" | "scam" | "served-model-mismatch" | "signature" | "substituted" | "thinking-floor" | "throughput" | "tier-self-report" | "token-truth" | "tokenizer-fingerprint" | R>;
+    verify: (opts: VerifyOptions<VendorId | V>) => Promise<VerifyResult<VendorId | V, RuleId | R>>;
+    runRules: (opts: VerifyOptions<VendorId | V> & {
+        only: readonly (RuleId | R)[];
+    }) => Promise<RuleRun<RuleId | R>>;
+};
+//# sourceMappingURL=registry.d.ts.map

package/dist/registry.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"registry.d.ts","sourceRoot":"","sources":["../src/registry.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,gBAAgB,CAAC;AACjD,OAAO,EAAS,KAAK,MAAM,EAAE,MAAM,eAAe,CAAC;AACnD,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,eAAe,CAAC;AAC1C,OAAO,KAAK,EAAE,OAAO,EAAE,aAAa,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACpE,OAAO,EAAW,KAAK,QAAQ,EAAE,MAAM,iBAAiB,CAAC;AACzD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,iBAAiB,CAAC;AACrD,OAAO,EAA4B,KAAK,QAAQ,EAAE,MAAM,UAAU,CAAC;AAEnE;;;;;GAKG;AACH,wBAAgB,cAAc,CAC5B,CAAC,SAAS,MAAM,GAAG,KAAK,EACxB,CAAC,SAAS,MAAM,GAAG,KAAK,EACxB,GAAG,EAAE;IACL,OAAO,CAAC,EAAE,SAAS,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC;IACtC,KAAK,CAAC,EAAE,SAAS,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;IAC3B,IAAI,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACzB,UAAU,CAAC,EAAE,SAAS,UAAU,EAAE,CAAC;CACpC;;mBAUW,aAAa,CAAC,QAAQ,GAAG,CAAC,CAAC,KAChC,OAAO,CAAC,YAAY,CAAC,QAAQ,GAAG,CAAC,EAAE,MAAM,GAAG,CAAC,CAAC,CAAC;qBAG1C,aAAa,CAAC,QAAQ,GAAG,CAAC,CAAC,GAAG;QAAE,IAAI,EAAE,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC,EAAE,CAAA;KAAE,KACpE,OAAO,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;EAElC"}

package/dist/registry.js

@@ -0,0 +1,23 @@
+import { RULES } from "./rules/table";
+import { VENDORS } from "./vendors/table";
+import { runRulesWith, verifyWith } from "./verify";
+/**
+ * A verifier with the built-in tables plus the caller's own vendors, rules and
+ * model facts. Consumer rules run after the built-ins (so they never outrank
+ * them); `omit` drops built-ins a consumer replaces or disagrees with; consumer
+ * model facts are consulted before the table.
+ */
+export function createVerifier(cfg) {
+    const omit = new Set(cfg.omit ?? []);
+    const registry = {
+        vendors: [...VENDORS, ...(cfg.vendors ?? [])],
+        rules: [...RULES.filter((r) => !omit.has(r.id)), ...(cfg.rules ?? [])],
+        facts: cfg.modelFacts ?? [],
+    };
+    return {
+        registry,
+        verify: (opts) => verifyWith(registry, opts),
+        runRules: (opts) => runRulesWith(registry, opts),
+    };
+}
+//# sourceMappingURL=registry.js.map

package/dist/registry.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"registry.js","sourceRoot":"","sources":["../src/registry.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,KAAK,EAAe,MAAM,eAAe,CAAC;AAGnD,OAAO,EAAE,OAAO,EAAiB,MAAM,iBAAiB,CAAC;AAEzD,OAAO,EAAE,YAAY,EAAE,UAAU,EAAiB,MAAM,UAAU,CAAC;AAEnE;;;;;GAKG;AACH,MAAM,UAAU,cAAc,CAG5B,GAKD;IACC,MAAM,IAAI,GAAG,IAAI,GAAG,CAAS,GAAG,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC;IAC7C,MAAM,QAAQ,GAAuC;QACnD,OAAO,EAAE,CAAC,GAAG,OAAO,EAAE,GAAG,CAAC,GAAG,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC;QAC7C,KAAK,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC;QACtE,KAAK,EAAE,GAAG,CAAC,UAAU,IAAI,EAAE;KAC5B,CAAC;IACF,OAAO;QACL,QAAQ;QACR,MAAM,EAAE,CACN,IAAiC,EACgB,EAAE,CACnD,UAAU,CAAC,QAAQ,EAAE,IAAI,CAAC;QAC5B,QAAQ,EAAE,CACR,IAAqE,EACvC,EAAE,CAAC,YAAY,CAAC,QAAQ,EAAE,IAAI,CAAC;KAChE,CAAC;AACJ,CAAC"}

package/dist/rules/index.d.ts

@@ -0,0 +1,15 @@
+export * from "./table";
+export { defineRule } from "./types";
+export type * from "./types";
+export { DEFAULT_MIN_COMPLETION_TOKENS, judgeThinkingFloor, judgeReasoningUsage, mustAlwaysThink, readThinkingUsage, } from "./thinking-floor";
+export type { ThinkingFloorOptions, ThinkingFloorResult, ThinkingFloorState, } from "./thinking-floor";
+export { DEFAULT_TIER_SIGNATURES, fingerprintDrifted, judgeTokenizerFingerprint, tierForDelta, } from "./tokenizer-fingerprint";
+export type { TierSignatures, TokenizerFingerprintResult, TokenizerFingerprintState, } from "./tokenizer-fingerprint";
+export type { SignatureResult, SignatureState } from "./thinking-signature";
+export { expectedInputDelta } from "./token-truth";
+export type { TokenTruthCheck, TokenTruthResult } from "./token-truth";
+export { readResponseMetadata } from "./response-metadata";
+export type { ResponseMetadata } from "./response-metadata";
+export { compareThroughput, sampleThroughput } from "./throughput";
+export type { ThroughputComparison, ThroughputSample } from "./throughput";
+//# sourceMappingURL=index.d.ts.map

package/dist/rules/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/rules/index.ts"],"names":[],"mappings":"AAAA,cAAc,SAAS,CAAC;AACxB,OAAO,EAAE,UAAU,EAAE,MAAM,SAAS,CAAC;AACrC,mBAAmB,SAAS,CAAC;AAC7B,OAAO,EACL,6BAA6B,EAC7B,kBAAkB,EAClB,mBAAmB,EACnB,eAAe,EACf,iBAAiB,GAClB,MAAM,kBAAkB,CAAC;AAC1B,YAAY,EACV,oBAAoB,EACpB,mBAAmB,EACnB,kBAAkB,GACnB,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EACL,uBAAuB,EACvB,kBAAkB,EAClB,yBAAyB,EACzB,YAAY,GACb,MAAM,yBAAyB,CAAC;AACjC,YAAY,EACV,cAAc,EACd,0BAA0B,EAC1B,yBAAyB,GAC1B,MAAM,yBAAyB,CAAC;AACjC,YAAY,EAAE,eAAe,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AAC5E,OAAO,EAAE,kBAAkB,EAAE,MAAM,eAAe,CAAC;AACnD,YAAY,EAAE,eAAe,EAAE,gBAAgB,EAAE,MAAM,eAAe,CAAC;AACvE,OAAO,EAAE,oBAAoB,EAAE,MAAM,qBAAqB,CAAC;AAC3D,YAAY,EAAE,gBAAgB,EAAE,MAAM,qBAAqB,CAAC;AAC5D,OAAO,EAAE,iBAAiB,EAAE,gBAAgB,EAAE,MAAM,cAAc,CAAC;AACnE,YAAY,EAAE,oBAAoB,EAAE,gBAAgB,EAAE,MAAM,cAAc,CAAC"}

package/dist/rules/index.js

@@ -0,0 +1,8 @@
+export * from "./table";
+export { defineRule } from "./types";
+export { DEFAULT_MIN_COMPLETION_TOKENS, judgeThinkingFloor, judgeReasoningUsage, mustAlwaysThink, readThinkingUsage, } from "./thinking-floor";
+export { DEFAULT_TIER_SIGNATURES, fingerprintDrifted, judgeTokenizerFingerprint, tierForDelta, } from "./tokenizer-fingerprint";
+export { expectedInputDelta } from "./token-truth";
+export { readResponseMetadata } from "./response-metadata";
+export { compareThroughput, sampleThroughput } from "./throughput";
+//# sourceMappingURL=index.js.map

package/dist/rules/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/rules/index.ts"],"names":[],"mappings":"AAAA,cAAc,SAAS,CAAC;AACxB,OAAO,EAAE,UAAU,EAAE,MAAM,SAAS,CAAC;AAErC,OAAO,EACL,6BAA6B,EAC7B,kBAAkB,EAClB,mBAAmB,EACnB,eAAe,EACf,iBAAiB,GAClB,MAAM,kBAAkB,CAAC;AAM1B,OAAO,EACL,uBAAuB,EACvB,kBAAkB,EAClB,yBAAyB,EACzB,YAAY,GACb,MAAM,yBAAyB,CAAC;AAOjC,OAAO,EAAE,kBAAkB,EAAE,MAAM,eAAe,CAAC;AAEnD,OAAO,EAAE,oBAAoB,EAAE,MAAM,qBAAqB,CAAC;AAE3D,OAAO,EAAE,iBAAiB,EAAE,gBAAgB,EAAE,MAAM,cAAc,CAAC"}

package/dist/rules/probe-ladder.d.ts

@@ -0,0 +1,33 @@
+/**
+ * The behavioural ladder over the four probes, one rule per rung, in the order
+ * the table lists them. Each rule reads every probe's outcome, which is why the
+ * probes are data and the rules are here.
+ */
+export declare const codingToolRule: import("./types").Rule<"coding-tool", "probes", "probe">;
+export declare const scamRule: import("./types").Rule<"scam", "probes", "probe">;
+export declare const cjkLeakRule: import("./types").Rule<"cjk-leak", "probes", "probe">;
+/** Two probes whose reply never carried their nonce: the proxy mixes responses. */
+export declare const muxRule: import("./types").Rule<"mux", "probes", "probe">;
+/**
+ * A foreign vendor on EITHER identity probe is a hard fail: a real model never
+ * names a competitor as its maker. The reason lists every foreign probe.
+ */
+export declare const foreignRule: import("./types").Rule<"foreign", "probes", "probe">;
+/** The reply's own `model` field names another tier than the one requested. */
+export declare const servedModelMismatchRule: import("./types").Rule<"served-model-mismatch", "probes", "probe">;
+/** The reply's `model` field is not the requested model at all (lenient spelling). */
+export declare const substitutedRule: import("./types").Rule<"substituted", "probes", "probe">;
+/**
+ * Past the hard signals, the remaining failures are quality or transport. A
+ * shortfall driven only by transient upstream errors is inconclusive: a real
+ * lane that got rate limited mid-probe stays eligible and is probed again.
+ */
+export declare const quorumRule: import("./types").Rule<"quorum", "probes", "probe">;
+/**
+ * What the model calls itself is coachable and unstable: a kiro pool's system
+ * prompt makes a real opus-4-6 answer "Claude 3.7 Sonnet" on one probe and
+ * refuse on the next. Logged only; the reply's model field and the tokenizer
+ * fingerprint are the evidence that fails a lane.
+ */
+export declare const tierSelfReportRule: import("./types").Rule<"tier-self-report", "probes", "note">;
+//# sourceMappingURL=probe-ladder.d.ts.map

package/dist/rules/probe-ladder.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"probe-ladder.d.ts","sourceRoot":"","sources":["../../src/rules/probe-ladder.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAkCH,eAAO,MAAM,cAAc,0DAI1B,CAAC;AACF,eAAO,MAAM,QAAQ,mDAA0C,CAAC;AAChE,eAAO,MAAM,WAAW,uDAIvB,CAAC;AAEF,mFAAmF;AACnF,eAAO,MAAM,OAAO,kDAgBlB,CAAC;AAEH;;;GAGG;AACH,eAAO,MAAM,WAAW,sDAmBtB,CAAC;AAEH,+EAA+E;AAC/E,eAAO,MAAM,uBAAuB,oEAoBlC,CAAC;AAEH,sFAAsF;AACtF,eAAO,MAAM,eAAe,0DAa1B,CAAC;AAEH;;;;GAIG;AACH,eAAO,MAAM,UAAU,qDA2BrB,CAAC;AAEH;;;;;GAKG;AACH,eAAO,MAAM,kBAAkB,8DAoB7B,CAAC"}