@sanity/ailf 5.0.0 → 6.1.0

package/dist/_vendor/ailf-core/grader/failure-modes/agent-harness.d.ts

@@ -0,0 +1,13 @@
+/**
+ * Agent-harness failure modes — valid for the `agent-harness` dimension
+ * family (process-quality, agent-output, tool-usage).
+ *
+ * Relocated from packages/eval/src/grader/agent-harness.ts to @sanity/ailf-core
+ * so card files in packages/core/src/services/diagnosis/cards/ can import
+ * them without violating the core→eval import direction rule (D-05).
+ *
+ * @see docs/design-docs/actionability-ladder/03-structured-grader-judgments.md
+ *      §"Per-dimension failure-mode taxonomies" (lines 239-283).
+ */
+export declare const AGENT_FAILURE_MODES: readonly ["tool-misuse", "chaotic-process", "missing-recovery"];
+export type AgentFailureMode = (typeof AGENT_FAILURE_MODES)[number];

package/dist/_vendor/ailf-core/grader/failure-modes/agent-harness.js

@@ -0,0 +1,16 @@
+/**
+ * Agent-harness failure modes — valid for the `agent-harness` dimension
+ * family (process-quality, agent-output, tool-usage).
+ *
+ * Relocated from packages/eval/src/grader/agent-harness.ts to @sanity/ailf-core
+ * so card files in packages/core/src/services/diagnosis/cards/ can import
+ * them without violating the core→eval import direction rule (D-05).
+ *
+ * @see docs/design-docs/actionability-ladder/03-structured-grader-judgments.md
+ *      §"Per-dimension failure-mode taxonomies" (lines 239-283).
+ */
+export const AGENT_FAILURE_MODES = [
+    "tool-misuse", // assistant calls tools incorrectly or with wrong args
+    "chaotic-process", // assistant flails — undirected exploration, no plan
+    "missing-recovery", // assistant doesn't recover from a tool error
+];

package/dist/_vendor/ailf-core/grader/failure-modes/common.d.ts

@@ -0,0 +1,14 @@
+/**
+ * Cross-cutting failure modes — valid for any dimension family.
+ *
+ * Relocated from packages/eval/src/grader/common.ts to @sanity/ailf-core
+ * so card files in packages/core/src/services/diagnosis/cards/ can import
+ * them without violating the core→eval import direction rule (D-05).
+ *
+ * @see docs/design-docs/actionability-ladder/03-structured-grader-judgments.md
+ *      §"Per-dimension failure-mode taxonomies" (lines 239-283 — the v0 lists)
+ * @see docs/decisions/D0005-grader-model-separation.md — single grader model;
+ *      taxonomies travel with the rubric prompt for reproducibility.
+ */
+export declare const COMMON_FAILURE_MODES: readonly ["api-error", "model-limitation", "false-floor", "unclassified"];
+export type CommonFailureMode = (typeof COMMON_FAILURE_MODES)[number];

package/dist/_vendor/ailf-core/grader/failure-modes/common.js

@@ -0,0 +1,18 @@
+/**
+ * Cross-cutting failure modes — valid for any dimension family.
+ *
+ * Relocated from packages/eval/src/grader/common.ts to @sanity/ailf-core
+ * so card files in packages/core/src/services/diagnosis/cards/ can import
+ * them without violating the core→eval import direction rule (D-05).
+ *
+ * @see docs/design-docs/actionability-ladder/03-structured-grader-judgments.md
+ *      §"Per-dimension failure-mode taxonomies" (lines 239-283 — the v0 lists)
+ * @see docs/decisions/D0005-grader-model-separation.md — single grader model;
+ *      taxonomies travel with the rubric prompt for reproducibility.
+ */
+export const COMMON_FAILURE_MODES = [
+    "api-error", // infrastructure failure, not a docs problem
+    "model-limitation", // high ceiling, model can't reach it
+    "false-floor", // model already knew the answer; docs added no value
+    "unclassified", // grader could not pick a mode (low-confidence fallback)
+];

package/dist/_vendor/ailf-core/grader/failure-modes/index.d.ts

@@ -0,0 +1,45 @@
+/**
+ * Per-dimension failure-mode taxonomy barrel — relocated to @sanity/ailf-core.
+ *
+ * Previously lived in packages/eval/src/grader/index.ts. Moved here (D-05)
+ * so card files in packages/core/src/services/diagnosis/cards/ can import
+ * `failureModesForDimension` without violating the core→eval import rule.
+ *
+ * Named re-exports only (W0124 — never `export *`).
+ *
+ * The eval-side packages/eval/src/grader/index.ts now re-exports from here,
+ * keeping all existing eval-side callers working without source changes.
+ *
+ * @see docs/design-docs/actionability-ladder/03-structured-grader-judgments.md
+ *      §"Per-dimension failure-mode taxonomies" (lines 239-283).
+ * @see docs/decisions/D0005-grader-model-separation.md — single grader model;
+ *      taxonomies travel with the rubric prompt for reproducibility.
+ */
+export { COMMON_FAILURE_MODES, type CommonFailureMode } from "./common.js";
+export { LITERACY_FAILURE_MODES, type LiteracyFailureMode } from "./literacy.js";
+export { MCP_FAILURE_MODES, type MCPFailureMode } from "./mcp.js";
+export { KP_FAILURE_MODES, type KPFailureMode } from "./knowledge-probe.js";
+export { AGENT_FAILURE_MODES, type AgentFailureMode } from "./agent-harness.js";
+/**
+ * Return the legal failure-mode list for a given rubric dimension.
+ *
+ * Accepts both family-level keys (`mcp-behavior`, `knowledge-probe`,
+ * `agent-harness`) and the per-template `dimension` strings used in
+ * `config/rubrics.ts` (`task-completion`, `input-validation`,
+ * `factual-correctness`, `process-quality`, …). The cross-cutting
+ * `COMMON_FAILURE_MODES` is always included.
+ *
+ * Unknown dimensions fall through to `COMMON_FAILURE_MODES` only — safe
+ * default, the grader can still pick `unclassified`.
+ */
+export declare function failureModesForDimension(dimension: string): readonly string[];
+/**
+ * Flat list of all dimension names recognized by `failureModesForDimension`.
+ * Used by card-validators and test calibration.
+ */
+export declare const CANONICAL_DIMENSIONS: readonly string[];
+/**
+ * Returns `true` when `mode` appears in the failure-mode list of any
+ * canonical dimension family.
+ */
+export declare function isCanonicalFailureMode(mode: string): boolean;

package/dist/_vendor/ailf-core/grader/failure-modes/index.js

@@ -0,0 +1,109 @@
+/**
+ * Per-dimension failure-mode taxonomy barrel — relocated to @sanity/ailf-core.
+ *
+ * Previously lived in packages/eval/src/grader/index.ts. Moved here (D-05)
+ * so card files in packages/core/src/services/diagnosis/cards/ can import
+ * `failureModesForDimension` without violating the core→eval import rule.
+ *
+ * Named re-exports only (W0124 — never `export *`).
+ *
+ * The eval-side packages/eval/src/grader/index.ts now re-exports from here,
+ * keeping all existing eval-side callers working without source changes.
+ *
+ * @see docs/design-docs/actionability-ladder/03-structured-grader-judgments.md
+ *      §"Per-dimension failure-mode taxonomies" (lines 239-283).
+ * @see docs/decisions/D0005-grader-model-separation.md — single grader model;
+ *      taxonomies travel with the rubric prompt for reproducibility.
+ */
+export { COMMON_FAILURE_MODES } from "./common.js";
+export { LITERACY_FAILURE_MODES } from "./literacy.js";
+export { MCP_FAILURE_MODES } from "./mcp.js";
+export { KP_FAILURE_MODES } from "./knowledge-probe.js";
+export { AGENT_FAILURE_MODES } from "./agent-harness.js";
+import { COMMON_FAILURE_MODES } from "./common.js";
+import { LITERACY_FAILURE_MODES } from "./literacy.js";
+import { MCP_FAILURE_MODES } from "./mcp.js";
+import { KP_FAILURE_MODES } from "./knowledge-probe.js";
+import { AGENT_FAILURE_MODES } from "./agent-harness.js";
+/**
+ * Return the legal failure-mode list for a given rubric dimension.
+ *
+ * Accepts both family-level keys (`mcp-behavior`, `knowledge-probe`,
+ * `agent-harness`) and the per-template `dimension` strings used in
+ * `config/rubrics.ts` (`task-completion`, `input-validation`,
+ * `factual-correctness`, `process-quality`, …). The cross-cutting
+ * `COMMON_FAILURE_MODES` is always included.
+ *
+ * Unknown dimensions fall through to `COMMON_FAILURE_MODES` only — safe
+ * default, the grader can still pick `unclassified`.
+ */
+export function failureModesForDimension(dimension) {
+    switch (dimension) {
+        // ── Literacy family ──────────────────────────────────────
+        case "task-completion":
+        case "code-correctness":
+        case "doc-coverage":
+            return [...COMMON_FAILURE_MODES, ...LITERACY_FAILURE_MODES];
+        // ── MCP family ───────────────────────────────────────────
+        case "mcp-behavior":
+        case "input-validation":
+        case "output-correctness":
+        case "error-handling":
+        case "security":
+            return [...COMMON_FAILURE_MODES, ...MCP_FAILURE_MODES];
+        // ── Knowledge-probe family ───────────────────────────────
+        case "knowledge-probe":
+        case "factual-correctness":
+        case "completeness":
+        case "currency":
+            return [...COMMON_FAILURE_MODES, ...KP_FAILURE_MODES];
+        // ── Agent-harness family ─────────────────────────────────
+        case "agent-harness":
+        case "process-quality":
+        case "agent-output":
+        case "tool-usage":
+            return [...COMMON_FAILURE_MODES, ...AGENT_FAILURE_MODES];
+        default:
+            return COMMON_FAILURE_MODES;
+    }
+}
+/**
+ * Flat list of all dimension names recognized by `failureModesForDimension`.
+ * Used by card-validators and test calibration.
+ */
+export const CANONICAL_DIMENSIONS = [
+    // Literacy family
+    "task-completion",
+    "code-correctness",
+    "doc-coverage",
+    // MCP family
+    "mcp-behavior",
+    "input-validation",
+    "output-correctness",
+    "error-handling",
+    "security",
+    // Knowledge-probe family
+    "knowledge-probe",
+    "factual-correctness",
+    "completeness",
+    "currency",
+    // Agent-harness family
+    "agent-harness",
+    "process-quality",
+    "agent-output",
+    "tool-usage",
+];
+/**
+ * Returns `true` when `mode` appears in the failure-mode list of any
+ * canonical dimension family.
+ */
+export function isCanonicalFailureMode(mode) {
+    const allModes = new Set([
+        ...COMMON_FAILURE_MODES,
+        ...LITERACY_FAILURE_MODES,
+        ...MCP_FAILURE_MODES,
+        ...KP_FAILURE_MODES,
+        ...AGENT_FAILURE_MODES,
+    ]);
+    return allModes.has(mode);
+}

package/dist/_vendor/ailf-core/grader/failure-modes/knowledge-probe.d.ts

@@ -0,0 +1,13 @@
+/**
+ * Knowledge-probe failure modes — valid for the `knowledge-probe` dimension
+ * family (factual-correctness, completeness, currency).
+ *
+ * Relocated from packages/eval/src/grader/knowledge-probe.ts to @sanity/ailf-core
+ * so card files in packages/core/src/services/diagnosis/cards/ can import
+ * them without violating the core→eval import direction rule (D-05).
+ *
+ * @see docs/design-docs/actionability-ladder/03-structured-grader-judgments.md
+ *      §"Per-dimension failure-mode taxonomies" (lines 239-283).
+ */
+export declare const KP_FAILURE_MODES: readonly ["factual-error", "incompleteness", "currency-violation", "hallucination"];
+export type KPFailureMode = (typeof KP_FAILURE_MODES)[number];

package/dist/_vendor/ailf-core/grader/failure-modes/knowledge-probe.js

@@ -0,0 +1,17 @@
+/**
+ * Knowledge-probe failure modes — valid for the `knowledge-probe` dimension
+ * family (factual-correctness, completeness, currency).
+ *
+ * Relocated from packages/eval/src/grader/knowledge-probe.ts to @sanity/ailf-core
+ * so card files in packages/core/src/services/diagnosis/cards/ can import
+ * them without violating the core→eval import direction rule (D-05).
+ *
+ * @see docs/design-docs/actionability-ladder/03-structured-grader-judgments.md
+ *      §"Per-dimension failure-mode taxonomies" (lines 239-283).
+ */
+export const KP_FAILURE_MODES = [
+    "factual-error", // assistant asserts something demonstrably false
+    "incompleteness", // assistant covers part of the answer; misses key piece
+    "currency-violation", // assistant cites stale facts beyond doc currency horizon
+    "hallucination", // assistant invents details not present in any doc
+];

package/dist/_vendor/ailf-core/grader/failure-modes/literacy.d.ts

@@ -0,0 +1,13 @@
+/**
+ * Literacy failure modes — valid for `task-completion`, `code-correctness`,
+ * `doc-coverage` (the literacy dimension family).
+ *
+ * Relocated from packages/eval/src/grader/literacy.ts to @sanity/ailf-core
+ * so card files in packages/core/src/services/diagnosis/cards/ can import
+ * them without violating the core→eval import direction rule (D-05).
+ *
+ * @see docs/design-docs/actionability-ladder/03-structured-grader-judgments.md
+ *      §"Per-dimension failure-mode taxonomies" (lines 239-283).
+ */
+export declare const LITERACY_FAILURE_MODES: readonly ["missing-docs", "outdated-docs", "incorrect-docs", "poor-structure"];
+export type LiteracyFailureMode = (typeof LITERACY_FAILURE_MODES)[number];

package/dist/_vendor/ailf-core/grader/failure-modes/literacy.js

@@ -0,0 +1,17 @@
+/**
+ * Literacy failure modes — valid for `task-completion`, `code-correctness`,
+ * `doc-coverage` (the literacy dimension family).
+ *
+ * Relocated from packages/eval/src/grader/literacy.ts to @sanity/ailf-core
+ * so card files in packages/core/src/services/diagnosis/cards/ can import
+ * them without violating the core→eval import direction rule (D-05).
+ *
+ * @see docs/design-docs/actionability-ladder/03-structured-grader-judgments.md
+ *      §"Per-dimension failure-mode taxonomies" (lines 239-283).
+ */
+export const LITERACY_FAILURE_MODES = [
+    "missing-docs", // relevant doc didn't exist
+    "outdated-docs", // doc reflects an older API/version
+    "incorrect-docs", // doc states something factually wrong
+    "poor-structure", // doc exists but is hard to find or follow
+];

package/dist/_vendor/ailf-core/grader/failure-modes/mcp.d.ts

@@ -0,0 +1,13 @@
+/**
+ * MCP failure modes — valid for the `mcp-behavior` dimension family
+ * (input-validation, output-correctness, error-handling, security).
+ *
+ * Relocated from packages/eval/src/grader/mcp.ts to @sanity/ailf-core
+ * so card files in packages/core/src/services/diagnosis/cards/ can import
+ * them without violating the core→eval import direction rule (D-05).
+ *
+ * @see docs/design-docs/actionability-ladder/03-structured-grader-judgments.md
+ *      §"Per-dimension failure-mode taxonomies" (lines 239-283).
+ */
+export declare const MCP_FAILURE_MODES: readonly ["spec-mismatch", "missing-error-handling", "over-privileged", "missing-docs"];
+export type MCPFailureMode = (typeof MCP_FAILURE_MODES)[number];

package/dist/_vendor/ailf-core/grader/failure-modes/mcp.js

@@ -0,0 +1,17 @@
+/**
+ * MCP failure modes — valid for the `mcp-behavior` dimension family
+ * (input-validation, output-correctness, error-handling, security).
+ *
+ * Relocated from packages/eval/src/grader/mcp.ts to @sanity/ailf-core
+ * so card files in packages/core/src/services/diagnosis/cards/ can import
+ * them without violating the core→eval import direction rule (D-05).
+ *
+ * @see docs/design-docs/actionability-ladder/03-structured-grader-judgments.md
+ *      §"Per-dimension failure-mode taxonomies" (lines 239-283).
+ */
+export const MCP_FAILURE_MODES = [
+    "spec-mismatch", // tool/server output doesn't match published MCP spec
+    "missing-error-handling", // tool failure path under-documented or absent
+    "over-privileged", // tool exposes operations the doc didn't sanction
+    "missing-docs", // re-export from literacy (cross-cutting)
+];

package/dist/_vendor/ailf-core/index.d.ts

@@ -23,3 +23,4 @@ export type { PricingEntry, PromptEntry, SourceEntry, } from "./config-helpers.j
 export { env } from "./env-helper.js";
 export { NoOpArtifactWriter, NotImplementedError, } from "./ports/artifact-writer.js";
 export { assoc, resolveVariantMode, splitTaskVariant, type AssocContext, type TaskVariantSplit, } from "./artifact-capture/association.js";
+export { AGENT_FAILURE_MODES, CANONICAL_DIMENSIONS, COMMON_FAILURE_MODES, KP_FAILURE_MODES, LITERACY_FAILURE_MODES, MCP_FAILURE_MODES, failureModesForDimension, isCanonicalFailureMode, type AgentFailureMode, type CommonFailureMode, type KPFailureMode, type LiteracyFailureMode, type MCPFailureMode, } from "./grader/failure-modes/index.js";

package/dist/_vendor/ailf-core/index.js

@@ -25,3 +25,7 @@ export { defineCanaryTasks, defineConfig, defineFeatures, defineModeBase, define
 export { env } from "./env-helper.js";
 export { NoOpArtifactWriter, NotImplementedError, } from "./ports/artifact-writer.js";
 export { assoc, resolveVariantMode, splitTaskVariant, } from "./artifact-capture/association.js";
+// ---------------------------------------------------------------------------
+// Phase 5 — failure-mode taxonomy (D-05 hoist)
+// ---------------------------------------------------------------------------
+export { AGENT_FAILURE_MODES, CANONICAL_DIMENSIONS, COMMON_FAILURE_MODES, KP_FAILURE_MODES, LITERACY_FAILURE_MODES, MCP_FAILURE_MODES, failureModesForDimension, isCanonicalFailureMode, } from "./grader/failure-modes/index.js";

package/dist/_vendor/ailf-core/ports/context.d.ts

@@ -237,6 +237,14 @@ export interface ResolvedConfig {
      * Sourced from AILF_ARTIFACT_UPLOAD env var or `artifactUpload` in ailf.config.ts.
      */
     artifactUpload?: boolean;
+    /**
+     * Post-run diagnosis summary policy (Phase 6 / DIAG-06). Carried from
+     * `.ailf/config.yaml` summary.onRun via RepoConfigSchema (CLI path) or
+     * EvalConfigSchema (file-config path). Precedence resolution is deferred to
+     * shouldRunPostSummary() at execution time — this field carries only the
+     * config-file signal.
+     */
+    summaryOnRun?: "auto" | "always" | "never";
 }
 /**
  * Application context — the complete dependency carrier.
@@ -331,6 +339,10 @@ export interface ReportStorePort {
     findComparableBaseline(query: unknown): Promise<null | unknown>;
     /** Write a report to the store */
     write(report: unknown): Promise<unknown>;
+    /** Read a report by its ID (used by the post-run diagnosis hook). */
+    read(id: string): Promise<null | unknown>;
+    /** Patch synthesis telemetry onto a published report (Phase 6 / DIAG-06). */
+    patchSynthesis(id: string, telemetry: unknown): Promise<void>;
 }
 /**
  * Minimal report sink interface used by AppContext.

package/dist/_vendor/ailf-core/schemas/eval-config.d.ts

@@ -88,6 +88,13 @@ export declare const EvalConfigSchema: z.ZodObject<{
     skipEval: z.ZodOptional<z.ZodBoolean>;
     skipFetch: z.ZodOptional<z.ZodBoolean>;
     source: z.ZodOptional<z.ZodString>;
+    summary: z.ZodOptional<z.ZodObject<{
+        onRun: z.ZodOptional<z.ZodEnum<{
+            never: "never";
+            always: "always";
+            auto: "auto";
+        }>>;
+    }, z.core.$strip>>;
     tasks: z.ZodOptional<z.ZodArray<z.ZodString>>;
     urls: z.ZodOptional<z.ZodArray<z.ZodString>>;
     presets: z.ZodOptional<z.ZodArray<z.ZodString>>;

package/dist/_vendor/ailf-core/schemas/eval-config.js

@@ -175,6 +175,14 @@ export const EvalConfigSchema = z
     skipFetch: z.boolean().optional(),
     /** Documentation source name */
     source: z.string().optional(),
+    /**
+     * Post-run diagnosis summary policy (Phase 6 / DIAG-06). Mirrors
+     * `RepoConfigSchema`'s `summary` block for `--config <path>` parity.
+     * Precedence resolved at the CLI layer by `shouldRunPostSummary()`.
+     */
+    summary: z
+        .object({ onRun: z.enum(["auto", "always", "never"]).optional() })
+        .optional(),
     /** Task ID filter */
     tasks: z.array(z.string()).optional(),
     /** Doc source URL overrides */

package/dist/_vendor/ailf-core/services/diagnosis/card-validators.d.ts

@@ -0,0 +1,41 @@
+/**
+ * Shared Zod `.refine()` helpers for diagnosis card body schemas (D-05).
+ *
+ * Card body schemas that mention failure modes MUST encode `dimension` AND
+ * call `.refine(buildFailureModeRefinement())` to prevent cross-dimension
+ * hallucinations from passing Zod (CONTEXT D-05). The refinement turns a
+ * "Zod-passes, semantically wrong" LLM output into a `parseFailed: true`
+ * degraded card, which the budget logic then absorbs.
+ *
+ * This file is a sibling of cards/ (NOT inside cards/), so it is NOT inside
+ * the D0045 trust-boundary scan root. It is a pure utility, not a boundary
+ * parser.
+ *
+ * @see packages/core/src/grader/failure-modes/index.ts
+ * @see .planning/phases/05-diagnosis-engine-cli-llm-cards/05-CONTEXT.md (D-05)
+ */
+/**
+ * Returns `true` when the `failureMode` in `body` is in the canonical
+ * taxonomy for `body.dimension`. Used directly and via `buildFailureModeRefinement`.
+ */
+export declare function isFailureModeInDimensionTaxonomy(body: {
+    dimension: string;
+    failureMode: string;
+}): boolean;
+/**
+ * Returns a Zod `.refine()` predicate that approves canonical
+ * (dimension, failureMode) pairs and rejects cross-dimension pairs.
+ *
+ * Usage:
+ * ```ts
+ * export const FailureModeSummaryBodySchema = z
+ *   .object({ dimension: z.string(), failureMode: z.string(), ... })
+ *   .refine(buildFailureModeRefinement(), {
+ *     message: "failureMode not in canonical taxonomy for this dimension",
+ *   }) satisfies z.ZodType<FailureModeSummaryBody>
+ * ```
+ */
+export declare function buildFailureModeRefinement<TBody extends {
+    dimension: string;
+    failureMode: string;
+}>(): (body: TBody) => boolean;

package/dist/_vendor/ailf-core/services/diagnosis/card-validators.js

@@ -0,0 +1,40 @@
+/**
+ * Shared Zod `.refine()` helpers for diagnosis card body schemas (D-05).
+ *
+ * Card body schemas that mention failure modes MUST encode `dimension` AND
+ * call `.refine(buildFailureModeRefinement())` to prevent cross-dimension
+ * hallucinations from passing Zod (CONTEXT D-05). The refinement turns a
+ * "Zod-passes, semantically wrong" LLM output into a `parseFailed: true`
+ * degraded card, which the budget logic then absorbs.
+ *
+ * This file is a sibling of cards/ (NOT inside cards/), so it is NOT inside
+ * the D0045 trust-boundary scan root. It is a pure utility, not a boundary
+ * parser.
+ *
+ * @see packages/core/src/grader/failure-modes/index.ts
+ * @see .planning/phases/05-diagnosis-engine-cli-llm-cards/05-CONTEXT.md (D-05)
+ */
+import { failureModesForDimension } from "../../grader/failure-modes/index.js";
+/**
+ * Returns `true` when the `failureMode` in `body` is in the canonical
+ * taxonomy for `body.dimension`. Used directly and via `buildFailureModeRefinement`.
+ */
+export function isFailureModeInDimensionTaxonomy(body) {
+    return failureModesForDimension(body.dimension).includes(body.failureMode);
+}
+/**
+ * Returns a Zod `.refine()` predicate that approves canonical
+ * (dimension, failureMode) pairs and rejects cross-dimension pairs.
+ *
+ * Usage:
+ * ```ts
+ * export const FailureModeSummaryBodySchema = z
+ *   .object({ dimension: z.string(), failureMode: z.string(), ... })
+ *   .refine(buildFailureModeRefinement(), {
+ *     message: "failureMode not in canonical taxonomy for this dimension",
+ *   }) satisfies z.ZodType<FailureModeSummaryBody>
+ * ```
+ */
+export function buildFailureModeRefinement() {
+    return (body) => isFailureModeInDimensionTaxonomy(body);
+}

package/dist/_vendor/ailf-core/services/diagnosis/cards/__tests__/area-summary.test.d.ts

@@ -0,0 +1,7 @@
+/**
+ * area-summary.test.ts — Tests 1-4 for the deterministic area-summary card.
+ *
+ * D0042: vitest only, no node:test.
+ * D0045: AreaSummaryBodySchema satisfies z.ZodType<AreaSummaryBody> compile-time gate.
+ */
+export {};

package/dist/_vendor/ailf-core/services/diagnosis/cards/__tests__/area-summary.test.js

@@ -0,0 +1,131 @@
+/**
+ * area-summary.test.ts — Tests 1-4 for the deterministic area-summary card.
+ *
+ * D0042: vitest only, no node:test.
+ * D0045: AreaSummaryBodySchema satisfies z.ZodType<AreaSummaryBody> compile-time gate.
+ */
+import { describe, expect, it } from "vitest";
+import { AreaSummaryBodySchema, generateAreaSummary } from "../area-summary.js";
+// Test 1: schema satisfies compile-time gate
+const _satisfiesCheck = AreaSummaryBodySchema;
+const silentLogger = {
+    debug: () => { },
+    info: () => { },
+    warn: () => { },
+    error: () => { },
+    step: () => { },
+    section: () => { },
+    table: () => { },
+};
+const noopProgress = {
+    phaseStart: () => { },
+    phaseProgress: () => { },
+    phaseComplete: () => { },
+};
+function makeCtx() {
+    return {
+        llm: undefined,
+        model: "anthropic:claude-sonnet-4-6",
+        logger: silentLogger,
+        progress: noopProgress,
+        versions: {
+            graderJudgmentsVersion: "1.0.0",
+            ensembleVersion: "1.0.0",
+            diagnosisVersion: "0.1.0",
+            cardVersion: "1.0.0",
+        },
+        runId: "run-001",
+        reportId: "report-001",
+    };
+}
+function makeReportWithScores(scores) {
+    return {
+        id: "report-001",
+        completedAt: "2026-01-01T00:00:00Z",
+        durationMs: 1000,
+        provenance: {
+            runId: "run-001",
+            mode: "standard",
+            areas: [],
+            taskIds: [],
+            models: [],
+            graderModel: "gpt-4o",
+            source: "local",
+            evalFingerprint: "",
+            trigger: "manual",
+            git: undefined,
+        },
+        summary: {
+            belowCritical: [],
+            lowestArea: "groq",
+            lowestScore: Math.min(...(scores.length ? scores : [0])),
+            overall: {
+                avgCeilingScore: 80,
+                avgScore: 75,
+                avgDocLift: 5,
+                avgDocQualityGap: 20,
+                avgFloorScore: 70,
+                negativeDocLiftCount: 0,
+            },
+            scores: scores.map((s, i) => ({
+                feature: `area-${i + 1}`,
+                ceilingScore: 80,
+                codeCorrectness: s,
+                docCoverage: s,
+                docLift: 5,
+                docQualityGap: 20,
+                floorScore: s - 5,
+                negativeDocLift: false,
+                taskCompletion: s,
+                testCount: 10,
+                totalCost: 0.05,
+                totalScore: s,
+            })),
+        },
+    };
+}
+describe("AreaSummaryBodySchema (Test 1)", () => {
+    it("satisfies z.ZodType<AreaSummaryBody> (compile-time check assigned above)", () => {
+        // Runtime check: valid payload parses successfully
+        const result = AreaSummaryBodySchema.safeParse({ summary: "test summary" });
+        expect(result.success).toBe(true);
+        // The _satisfiesCheck assignment above is the actual compile-time gate
+        expect(_satisfiesCheck).toBeDefined();
+    });
+});
+describe("generateAreaSummary (Test 2)", () => {
+    it("returns a ready card with summary including area count and mean score for 3 areas at [80, 60, 70]", async () => {
+        const report = makeReportWithScores([80, 60, 70]);
+        const card = await generateAreaSummary(report, makeCtx());
+        expect(card.status).toBe("ready");
+        if (card.status === "ready") {
+            expect(card.cardType).toBe("area-summary");
+            expect(card.meta.cardVersion).toBe("area-summary@0.1.0");
+            expect(card.meta.generatedAt).toBeTruthy();
+        }
+    });
+});
+describe("generateAreaSummary — summary content (Test 3)", () => {
+    it("summary includes BOTH the area count AND mean score to one decimal", async () => {
+        const report = makeReportWithScores([80, 60, 70]);
+        const card = await generateAreaSummary(report, makeCtx());
+        expect(card.status).toBe("ready");
+        if (card.status === "ready") {
+            const body = card.body;
+            // Mean of [80, 60, 70] = 70.0
+            expect(body.summary).toContain("3");
+            expect(body.summary).toContain("70.0");
+        }
+    });
+});
+describe("generateAreaSummary — zero areas guard (Test 4)", () => {
+    it("returns missing card with 'report has no areas' reason for zero-area report", async () => {
+        const report = makeReportWithScores([]);
+        const card = await generateAreaSummary(report, makeCtx());
+        expect(card.status).toBe("missing");
+        if (card.status === "missing") {
+            expect(card.cardType).toBe("area-summary");
+            expect(card.reason).toContain("no areas");
+        }
+    });
+});

package/dist/_vendor/ailf-core/services/diagnosis/cards/__tests__/failure-mode-summary.test.d.ts

@@ -0,0 +1,7 @@
+/**
+ * failure-mode-summary.test.ts — Tests 5-9 for deterministic failure-mode-summary card.
+ *
+ * D0042: vitest only.
+ * D-05: schema must reject cross-dimension (dimension, failureMode) pairs.
+ */
+export {};