pi-harness-runtime 1.1.394 → 1.1.396

package/packages/jev-judge/dist/validation-plan.d.ts

@@ -0,0 +1,176 @@
+/**
+ * Validation Plan - staged (fast -> full) test tiers for a todo.
+ *
+ * The harness NEVER guesses a tier from a command string. A tier is declared
+ * by the task author in the todo metadata, so the plan stays truthful and
+ * reviewable:
+ *
+ * ```json
+ * {
+ *   "metadata": {
+ *     "validationPlan": {
+ *       "fast": { "command": "bun test tests/fast", "expectedDurationMs": 18000, "datasetSize": 100 },
+ *       "full": { "command": "bun test tests/full", "expectedDurationMs": 2400000, "datasetSize": 10000 },
+ *       "budgetMinutes": 90,
+ *       "finalTierRequired": true
+ *     }
+ *   }
+ * }
+ * ```
+ *
+ * Every field is optional. A todo without a plan keeps the current behaviour
+ * (no validation context is injected), so small tasks are unaffected.
+ */
+import type { TodoItem } from "./todo-provider.js";
+/**
+ * Which side of the ladder a tier sits on.
+ *
+ * - `fast`: representative, cheap, safe to run after every edit
+ * - `full`: complete, expensive, run once as the final acceptance check
+ */
+export type ValidationTierKind = "fast" | "full";
+/**
+ * One declared validation tier.
+ */
+export interface ValidationTier {
+    kind: ValidationTierKind;
+    /** Exact command for this tier. Never rewritten by the harness. */
+    command?: string;
+    /** Human label, e.g. "fixture regression". */
+    label?: string;
+    /** Expected cost of the tier in milliseconds (measured or estimated). */
+    expectedDurationMs?: number;
+    /** Dataset size the tier exercises, when it is data-volume bound. */
+    datasetSize?: number;
+}
+/**
+ * State of one tier for one todo item.
+ */
+export interface ValidationTierState {
+    /** `not-run` when no run was recorded for this tier. */
+    status: "passed" | "failed" | "timeout" | "error" | "skipped" | "not-run";
+    /** Timestamp of the latest run. */
+    at?: string;
+    /** Duration of the latest run. */
+    durationMs?: number;
+    /** Command of the latest run. */
+    command?: string;
+}
+/**
+ * Aggregated validation state of a todo item.
+ */
+export interface ValidationState {
+    /** True when the item declares a validation plan. */
+    hasPlan: boolean;
+    /** State of the cheap tier. */
+    fast: ValidationTierState;
+    /** State of the expensive tier. */
+    full: ValidationTierState;
+    /** True when the plan declares the full tier as the final acceptance check. */
+    finalTierRequired: boolean;
+    /**
+     * True when the final tier is required but has not passed yet.
+     *
+     * A todo in this state must not be reported as complete.
+     */
+    finalTierPending: boolean;
+    /** Soft time budget of the plan, in minutes. */
+    budgetMinutes?: number;
+    /** True when the plan requires a final tier but does not declare one. */
+    planIncomplete: boolean;
+}
+/**
+ * The full staged validation plan for a todo.
+ */
+export interface ValidationPlan {
+    /** Cheap representative tier, used while the code is changing. */
+    fast?: ValidationTier;
+    /** Expensive complete tier, used once the implementation is stable. */
+    full?: ValidationTier;
+    /** Extra guidance for the agent (e.g. "fast tier must cover aggregation"). */
+    notes?: string;
+    /** Soft time budget for this todo, in minutes. */
+    budgetMinutes?: number;
+    /** When true, the todo must not be completed before the full tier passed. */
+    finalTierRequired?: boolean;
+}
+/**
+ * Parse a duration into milliseconds.
+ *
+ * Strings must carry a unit (`45s`, `40m`, `1h`, `1h30m`). A bare number is
+ * milliseconds when it is at least 1000 and seconds below that, because a
+ * bare "40" is ambiguous between milliseconds and minutes.
+ */
+export declare function parseDurationMs(value: unknown): number | undefined;
+/**
+ * Format a duration for a human-readable status line.
+ */
+export declare function formatDuration(ms: number): string;
+/**
+ * Parse one tier declaration.
+ *
+ * Accepts a plain command string (`"bun test fast"`) or an object with
+ * `command`/`label`/`expectedDurationMs`/`datasetSize` fields.
+ */
+export declare function parseTier(value: unknown, kind: ValidationTierKind): ValidationTier | undefined;
+/**
+ * Read the validation plan of a todo.
+ *
+ * Returns `null` when the todo declares no plan: ordinary tasks must keep the
+ * current behaviour.
+ */
+export declare function parseValidationPlan(item: TodoItem | null | undefined): ValidationPlan | null;
+/**
+ * Describe one tier in a single line: command, expected cost, dataset size.
+ */
+export declare function describeTier(tier: ValidationTier): string;
+/**
+ * Status of the soft time budget of a plan.
+ */
+export interface ValidationBudgetStatus {
+    /** The budget in milliseconds, when the plan declares one. */
+    budgetMs?: number;
+    /** Time already spent on the item, when it is known. */
+    elapsedMs?: number;
+    /** Time left before the budget is exhausted. */
+    remainingMs?: number;
+    /** True when the budget is spent. */
+    exhausted: boolean;
+}
+/**
+ * Compute the budget status of a plan.
+ *
+ * There is no implicit budget: only a declared `budgetMinutes` arms it. An
+ * invented budget could pause legitimate long work, so the harness never
+ * guesses one.
+ */
+export declare function validationBudgetStatus(plan: ValidationPlan | null | undefined, elapsedMs?: number): ValidationBudgetStatus;
+/**
+ * Aggregate recorded runs into the validation state of an item.
+ *
+ * The runs are expected in chronological order; the latest run of a tier
+ * defines its state.
+ */
+export declare function summarizeValidationState(plan: ValidationPlan | null | undefined, runs: {
+    ts: string;
+    tier: ValidationTierKind;
+    status: string;
+}[]): ValidationState;
+/**
+ * Render the validation context that is injected into a continuation message.
+ *
+ * The text is deliberately short: it is added to the steer payload that the
+ * agent reads when the harness continues a todo on its own.
+ */
+export declare function formatValidationContext(plan: ValidationPlan, opts?: {
+    elapsedMs?: number;
+    state?: ValidationState;
+}): string;
+/**
+ * Convenience wrapper: the validation context of a todo, or an empty string.
+ */
+export declare function buildValidationSteerSuffix(item: TodoItem | null | undefined, opts?: {
+    elapsedMs?: number;
+    state?: ValidationState;
+}): string;
+//# sourceMappingURL=validation-plan.d.ts.map

package/packages/jev-judge/dist/validation-plan.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"validation-plan.d.ts","sourceRoot":"","sources":["../src/validation-plan.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;GAsBG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,oBAAoB,CAAC;AAEnD;;;;;GAKG;AACH,MAAM,MAAM,kBAAkB,GAAG,MAAM,GAAG,MAAM,CAAC;AAEjD;;GAEG;AACH,MAAM,WAAW,cAAc;IAC9B,IAAI,EAAE,kBAAkB,CAAC;IACzB,mEAAmE;IACnE,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,8CAA8C;IAC9C,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,yEAAyE;IACzE,kBAAkB,CAAC,EAAE,MAAM,CAAC;IAC5B,qEAAqE;IACrE,WAAW,CAAC,EAAE,MAAM,CAAC;CACrB;AAED;;GAEG;AACH,MAAM,WAAW,mBAAmB;IACnC,wDAAwD;IACxD,MAAM,EAAE,QAAQ,GAAG,QAAQ,GAAG,SAAS,GAAG,OAAO,GAAG,SAAS,GAAG,SAAS,CAAC;IAC1E,mCAAmC;IACnC,EAAE,CAAC,EAAE,MAAM,CAAC;IACZ,kCAAkC;IAClC,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,iCAAiC;IACjC,OAAO,CAAC,EAAE,MAAM,CAAC;CACjB;AAED;;GAEG;AACH,MAAM,WAAW,eAAe;IAC/B,qDAAqD;IACrD,OAAO,EAAE,OAAO,CAAC;IACjB,+BAA+B;IAC/B,IAAI,EAAE,mBAAmB,CAAC;IAC1B,mCAAmC;IACnC,IAAI,EAAE,mBAAmB,CAAC;IAC1B,+EAA+E;IAC/E,iBAAiB,EAAE,OAAO,CAAC;IAC3B;;;;OAIG;IACH,gBAAgB,EAAE,OAAO,CAAC;IAC1B,gDAAgD;IAChD,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,yEAAyE;IACzE,cAAc,EAAE,OAAO,CAAC;CACxB;AAED;;GAEG;AACH,MAAM,WAAW,cAAc;IAC9B,kEAAkE;IAClE,IAAI,CAAC,EAAE,cAAc,CAAC;IACtB,uEAAuE;IACvE,IAAI,CAAC,EAAE,cAAc,CAAC;IACtB,8EAA8E;IAC9E,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,kDAAkD;IAClD,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,6EAA6E;IAC7E,iBAAiB,CAAC,EAAE,OAAO,CAAC;CAC5B;AAuBD;;;;;;GAMG;AACH,wBAAgB,eAAe,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,GAAG,SAAS,CAgBlE;AAED;;GAEG;AACH,wBAAgB,cAAc,CAAC,EAAE,EAAE,MAAM,GAAG,MAAM,CASjD;AAED;;;;;GAKG;AACH,wBAAgB,SAAS,CAAC,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,kBAAkB,GAAG,cAAc,GAAG,SAAS,CAiB9F;AAED;;;;;GAKG;AACH,wBAAgB,mBAAmB,CAAC,IAAI,EAAE,QAAQ,GAAG,IAAI,GAAG,SAAS,GAAG,cAAc,GAAG,IAAI,CA8B5F;AAED;;GAEG;AACH,wBAAgB,YAAY,CAAC,IAAI,EAAE,cAAc,GAAG,MAAM,CAMzD;AAED;;GAEG;AACH,MAAM,WAAW,sBAAsB;IACtC,8DAA8D;IAC9D,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,wDAAwD;IACxD,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,gDAAgD;IAChD,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,qCAAqC;IACrC,SAAS,EAAE,OAAO,CAAC;CACnB;AAED;;;;;;GAMG;AACH,wBAAgB,sBAAsB,CACrC,IAAI,EAAE,cAAc,GAAG,IAAI,GAAG,SAAS,EACvC,SAAS,CAAC,EAAE,MAAM,GAChB,sBAAsB,CAaxB;AAED;;;;;GAKG;AACH,wBAAgB,wBAAwB,CACvC,IAAI,EAAE,cAAc,GAAG,IAAI,GAAG,SAAS,EACvC,IAAI,EAAE;IAAE,EAAE,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,kBAAkB,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,EAAE,GAC9D,eAAe,CAsCjB;AAED;;;;;GAKG;AACH,wBAAgB,uBAAuB,CACtC,IAAI,EAAE,cAAc,EACpB,IAAI,GAAE;IAAE,SAAS,CAAC,EAAE,MAAM,CAAC;IAAC,KAAK,CAAC,EAAE,eAAe,CAAA;CAAO,GACxD,MAAM,CA2DR;AAED;;GAEG;AACH,wBAAgB,0BAA0B,CACzC,IAAI,EAAE,QAAQ,GAAG,IAAI,GAAG,SAAS,EACjC,IAAI,GAAE;IAAE,SAAS,CAAC,EAAE,MAAM,CAAC;IAAC,KAAK,CAAC,EAAE,eAAe,CAAA;CAAO,GACxD,MAAM,CAIR"}

package/packages/jev-judge/dist/validation-plan.js

@@ -0,0 +1,293 @@
+/**
+ * Validation Plan - staged (fast -> full) test tiers for a todo.
+ *
+ * The harness NEVER guesses a tier from a command string. A tier is declared
+ * by the task author in the todo metadata, so the plan stays truthful and
+ * reviewable:
+ *
+ * ```json
+ * {
+ *   "metadata": {
+ *     "validationPlan": {
+ *       "fast": { "command": "bun test tests/fast", "expectedDurationMs": 18000, "datasetSize": 100 },
+ *       "full": { "command": "bun test tests/full", "expectedDurationMs": 2400000, "datasetSize": 10000 },
+ *       "budgetMinutes": 90,
+ *       "finalTierRequired": true
+ *     }
+ *   }
+ * }
+ * ```
+ *
+ * Every field is optional. A todo without a plan keeps the current behaviour
+ * (no validation context is injected), so small tasks are unaffected.
+ */
+function asRecord(value) {
+    if (!value || typeof value !== "object" || Array.isArray(value))
+        return null;
+    return value;
+}
+function firstString(source, keys) {
+    for (const key of keys) {
+        const value = source[key];
+        if (typeof value === "string" && value.trim().length > 0)
+            return value.trim();
+    }
+    return undefined;
+}
+function firstNumber(source, keys) {
+    for (const key of keys) {
+        const value = source[key];
+        if (typeof value === "number" && Number.isFinite(value))
+            return value;
+    }
+    return undefined;
+}
+/**
+ * Parse a duration into milliseconds.
+ *
+ * Strings must carry a unit (`45s`, `40m`, `1h`, `1h30m`). A bare number is
+ * milliseconds when it is at least 1000 and seconds below that, because a
+ * bare "40" is ambiguous between milliseconds and minutes.
+ */
+export function parseDurationMs(value) {
+    if (typeof value === "number") {
+        if (!Number.isFinite(value))
+            return undefined;
+        return value >= 1000 ? value : Math.round(value * 1000);
+    }
+    if (typeof value !== "string")
+        return undefined;
+    const text = value.trim().toLowerCase();
+    if (!text)
+        return undefined;
+    const match = /^(?:(\d+(?:\.\d+)?)h)?\s*(?:(\d+(?:\.\d+)?)m)?\s*(?:(\d+(?:\.\d+)?)s)?$/.exec(text);
+    if (!match || (!match[1] && !match[2] && !match[3]))
+        return undefined;
+    const hours = match[1] ? Number(match[1]) : 0;
+    const minutes = match[2] ? Number(match[2]) : 0;
+    const seconds = match[3] ? Number(match[3]) : 0;
+    if (hours === 0 && minutes === 0 && seconds === 0)
+        return undefined;
+    return Math.round((hours * 3600 + minutes * 60 + seconds) * 1000);
+}
+/**
+ * Format a duration for a human-readable status line.
+ */
+export function formatDuration(ms) {
+    if (!Number.isFinite(ms) || ms < 0)
+        return "0s";
+    const seconds = Math.round(ms / 1000);
+    if (seconds < 60)
+        return `${seconds}s`;
+    const minutes = Math.round(seconds / 60);
+    if (minutes < 60)
+        return `${minutes}m`;
+    const hours = Math.floor(minutes / 60);
+    const rest = minutes % 60;
+    return rest === 0 ? `${hours}h` : `${hours}h ${rest}m`;
+}
+/**
+ * Parse one tier declaration.
+ *
+ * Accepts a plain command string (`"bun test fast"`) or an object with
+ * `command`/`label`/`expectedDurationMs`/`datasetSize` fields.
+ */
+export function parseTier(value, kind) {
+    if (typeof value === "string") {
+        const command = value.trim();
+        if (!command)
+            return undefined;
+        return { kind, command };
+    }
+    const record = asRecord(value);
+    if (!record)
+        return undefined;
+    const command = firstString(record, ["command", "cmd", "run"]);
+    const label = firstString(record, ["label", "name", "description"]);
+    const expectedDurationMs = firstNumber(record, ["expectedDurationMs", "expectedCostMs", "durationMs"])
+        ?? parseDurationMs(record.expectedDuration ?? record.expectedCost ?? record.duration);
+    const datasetSize = firstNumber(record, ["datasetSize", "records", "rows"]);
+    if (!command && !label && expectedDurationMs === undefined && datasetSize === undefined) {
+        return undefined;
+    }
+    return { kind, command, label, expectedDurationMs, datasetSize };
+}
+/**
+ * Read the validation plan of a todo.
+ *
+ * Returns `null` when the todo declares no plan: ordinary tasks must keep the
+ * current behaviour.
+ */
+export function parseValidationPlan(item) {
+    const metadata = asRecord(item?.metadata);
+    if (!metadata)
+        return null;
+    const raw = asRecord(metadata.validationPlan)
+        ?? asRecord(metadata.validation)
+        ?? asRecord(metadata.validation_plan);
+    if (!raw)
+        return null;
+    const tiers = asRecord(raw.tiers);
+    const plan = {};
+    const fast = parseTier(raw.fast, "fast")
+        ?? parseTier(raw.fastCommand ?? raw.fastTier ?? tiers?.fast, "fast");
+    const full = parseTier(raw.full, "full")
+        ?? parseTier(raw.fullCommand ?? raw.fullTier ?? tiers?.full, "full");
+    if (fast)
+        plan.fast = fast;
+    if (full)
+        plan.full = full;
+    const notes = firstString(raw, ["notes", "note"]);
+    if (notes)
+        plan.notes = notes;
+    const budgetMinutes = firstNumber(raw, ["budgetMinutes", "budgetMins", "timeBudgetMinutes"]);
+    if (budgetMinutes !== undefined)
+        plan.budgetMinutes = budgetMinutes;
+    if (typeof raw.finalTierRequired === "boolean")
+        plan.finalTierRequired = raw.finalTierRequired;
+    if (!plan.fast && !plan.full && plan.notes === undefined && plan.budgetMinutes === undefined) {
+        return null;
+    }
+    return plan;
+}
+/**
+ * Describe one tier in a single line: command, expected cost, dataset size.
+ */
+export function describeTier(tier) {
+    const what = tier.command ? `\`${tier.command}\`` : tier.label ?? "unspecified tier";
+    const extras = [];
+    if (tier.expectedDurationMs !== undefined)
+        extras.push(`~${formatDuration(tier.expectedDurationMs)}`);
+    if (tier.datasetSize !== undefined)
+        extras.push(`${tier.datasetSize} records`);
+    return extras.length > 0 ? `${what} (${extras.join(", ")})` : what;
+}
+/**
+ * Compute the budget status of a plan.
+ *
+ * There is no implicit budget: only a declared `budgetMinutes` arms it. An
+ * invented budget could pause legitimate long work, so the harness never
+ * guesses one.
+ */
+export function validationBudgetStatus(plan, elapsedMs) {
+    if (!plan || plan.budgetMinutes === undefined) {
+        return { elapsedMs, exhausted: false };
+    }
+    const budgetMs = Math.max(0, plan.budgetMinutes * 60_000);
+    const elapsed = elapsedMs ?? 0;
+    const remainingMs = Math.max(0, budgetMs - elapsed);
+    return {
+        budgetMs,
+        elapsedMs: elapsed,
+        remainingMs,
+        exhausted: elapsed >= budgetMs,
+    };
+}
+/**
+ * Aggregate recorded runs into the validation state of an item.
+ *
+ * The runs are expected in chronological order; the latest run of a tier
+ * defines its state.
+ */
+export function summarizeValidationState(plan, runs) {
+    const notRun = { status: "not-run" };
+    if (!plan) {
+        return {
+            hasPlan: false,
+            fast: { ...notRun },
+            full: { ...notRun },
+            finalTierRequired: false,
+            finalTierPending: false,
+            planIncomplete: false,
+        };
+    }
+    const stateOf = (tier) => {
+        const matching = runs.filter((run) => run.tier === tier);
+        if (matching.length === 0)
+            return { ...notRun };
+        // The ledger is append-only, so the array order is the chronological
+        // order: with an equal timestamp the LATER run wins.
+        const latest = matching.reduce((a, b) => (a.ts > b.ts ? a : b));
+        const state = { status: latest.status };
+        state.at = latest.ts;
+        return state;
+    };
+    const finalTierRequired = plan.finalTierRequired === true;
+    const planIncomplete = finalTierRequired && plan.full === undefined;
+    const full = stateOf("full");
+    const state = {
+        hasPlan: true,
+        fast: stateOf("fast"),
+        full,
+        finalTierRequired,
+        finalTierPending: finalTierRequired && plan.full !== undefined && full.status !== "passed",
+        planIncomplete,
+    };
+    if (plan.budgetMinutes !== undefined)
+        state.budgetMinutes = plan.budgetMinutes;
+    return state;
+}
+/**
+ * Render the validation context that is injected into a continuation message.
+ *
+ * The text is deliberately short: it is added to the steer payload that the
+ * agent reads when the harness continues a todo on its own.
+ */
+export function formatValidationContext(plan, opts = {}) {
+    const lines = [];
+    const tiers = [];
+    if (plan.fast)
+        tiers.push(`fast=${describeTier(plan.fast)}`);
+    if (plan.full)
+        tiers.push(`full=${describeTier(plan.full)}`);
+    if (tiers.length === 0 && plan.notes === undefined && plan.budgetMinutes === undefined) {
+        return "";
+    }
+    lines.push(`VALIDATION PLAN (staged): ${tiers.join(" | ") || "no tiers declared"}`);
+    if (plan.fast && plan.full) {
+        lines.push("Run the fast tier after every edit; run the full tier once when the implementation is stable. " +
+            "Do not repeat the full tier after an edit that cannot affect the behavior it covers.");
+    }
+    if (plan.finalTierRequired) {
+        lines.push("The full tier is the final acceptance check: do not complete this todo while it is pending or failed.");
+    }
+    if (plan.budgetMinutes !== undefined) {
+        const budgetMs = plan.budgetMinutes * 60_000;
+        const elapsed = opts.elapsedMs;
+        const elapsedPart = elapsed === undefined
+            ? ""
+            : ` (elapsed ${formatDuration(elapsed)}, remaining ${formatDuration(Math.max(0, budgetMs - elapsed))})`;
+        lines.push(`Time budget: ${plan.budgetMinutes}m${elapsedPart}. When the budget is reached: stop, report what passed ` +
+            "and what is still pending, and do not mark the todo complete.");
+    }
+    if (plan.notes)
+        lines.push(`Notes: ${plan.notes}`);
+    // The recorded runs tell the agent what already happened, so it neither
+    // repeats a tier that passed nor forgets a pending final tier.
+    const state = opts.state;
+    if (state?.hasPlan) {
+        if (state.fast.status !== "not-run") {
+            lines.push(`Fast tier: ${state.fast.status}${state.fast.at ? ` (last run ${state.fast.at})` : ""}.`);
+        }
+        if (state.full.status !== "not-run") {
+            lines.push(`Full tier: ${state.full.status}${state.full.at ? ` (last run ${state.full.at})` : ""}.`);
+        }
+        if (state.full.status === "passed") {
+            lines.push("The final tier already passed. Do not repeat it unless the next change can affect what it covers.");
+        }
+        if (state.planIncomplete) {
+            lines.push("The plan requires a final tier but declares none: report that instead of completing the todo silently.");
+        }
+    }
+    return lines.join("\n");
+}
+/**
+ * Convenience wrapper: the validation context of a todo, or an empty string.
+ */
+export function buildValidationSteerSuffix(item, opts = {}) {
+    const plan = parseValidationPlan(item);
+    if (!plan)
+        return "";
+    return formatValidationContext(plan, opts);
+}
+//# sourceMappingURL=validation-plan.js.map

package/packages/jev-judge/dist/validation-plan.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"validation-plan.js","sourceRoot":"","sources":["../src/validation-plan.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;GAsBG;AAiFH,SAAS,QAAQ,CAAC,KAAc;IAC/B,IAAI,CAAC,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IAC7E,OAAO,KAAgC,CAAC;AACzC,CAAC;AAED,SAAS,WAAW,CAAC,MAA+B,EAAE,IAAc;IACnE,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACxB,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC;QAC1B,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC;YAAE,OAAO,KAAK,CAAC,IAAI,EAAE,CAAC;IAC/E,CAAC;IACD,OAAO,SAAS,CAAC;AAClB,CAAC;AAED,SAAS,WAAW,CAAC,MAA+B,EAAE,IAAc;IACnE,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACxB,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC;QAC1B,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC;YAAE,OAAO,KAAK,CAAC;IACvE,CAAC;IACD,OAAO,SAAS,CAAC;AAClB,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,eAAe,CAAC,KAAc;IAC7C,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC/B,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC;YAAE,OAAO,SAAS,CAAC;QAC9C,OAAO,KAAK,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,GAAG,IAAI,CAAC,CAAC;IACzD,CAAC;IACD,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,SAAS,CAAC;IAChD,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;IACxC,IAAI,CAAC,IAAI;QAAE,OAAO,SAAS,CAAC;IAE5B,MAAM,KAAK,GAAG,yEAAyE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnG,IAAI,CAAC,KAAK,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QAAE,OAAO,SAAS,CAAC;IACtE,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC9C,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAChD,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAChD,IAAI,KAAK,KAAK,CAAC,IAAI,OAAO,KAAK,CAAC,IAAI,OAAO,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IACpE,OAAO,IAAI,CAAC,KAAK,CAAC,CAAC,KAAK,GAAG,IAAI,GAAG,OAAO,GAAG,EAAE,GAAG,OAAO,CAAC,GAAG,IAAI,CAAC,CAAC;AACnE,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,cAAc,CAAC,EAAU;IACxC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC,IAAI,EAAE,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IAChD,MAAM,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,EAAE,GAAG,IAAI,CAAC,CAAC;IACtC,IAAI,OAAO,GAAG,EAAE;QAAE,OAAO,GAAG,OAAO,GAAG,CAAC;IACvC,MAAM,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,GAAG,EAAE,CAAC,CAAC;IACzC,IAAI,OAAO,GAAG,EAAE;QAAE,OAAO,GAAG,OAAO,GAAG,CAAC;IACvC,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,GAAG,EAAE,CAAC,CAAC;IACvC,MAAM,IAAI,GAAG,OAAO,GAAG,EAAE,CAAC;IAC1B,OAAO,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK,GAAG,CAAC,CAAC,CAAC,GAAG,KAAK,KAAK,IAAI,GAAG,CAAC;AACxD,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,SAAS,CAAC,KAAc,EAAE,IAAwB;IACjE,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC/B,MAAM,OAAO,GAAG,KAAK,CAAC,IAAI,EAAE,CAAC;QAC7B,IAAI,CAAC,OAAO;YAAE,OAAO,SAAS,CAAC;QAC/B,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;IAC1B,CAAC;IACD,MAAM,MAAM,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC;IAC/B,IAAI,CAAC,MAAM;QAAE,OAAO,SAAS,CAAC;IAC9B,MAAM,OAAO,GAAG,WAAW,CAAC,MAAM,EAAE,CAAC,SAAS,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC;IAC/D,MAAM,KAAK,GAAG,WAAW,CAAC,MAAM,EAAE,CAAC,OAAO,EAAE,MAAM,EAAE,aAAa,CAAC,CAAC,CAAC;IACpE,MAAM,kBAAkB,GAAG,WAAW,CAAC,MAAM,EAAE,CAAC,oBAAoB,EAAE,gBAAgB,EAAE,YAAY,CAAC,CAAC;WAClG,eAAe,CAAC,MAAM,CAAC,gBAAgB,IAAI,MAAM,CAAC,YAAY,IAAI,MAAM,CAAC,QAAQ,CAAC,CAAC;IACvF,MAAM,WAAW,GAAG,WAAW,CAAC,MAAM,EAAE,CAAC,aAAa,EAAE,SAAS,EAAE,MAAM,CAAC,CAAC,CAAC;IAC5E,IAAI,CAAC,OAAO,IAAI,CAAC,KAAK,IAAI,kBAAkB,KAAK,SAAS,IAAI,WAAW,KAAK,SAAS,EAAE,CAAC;QACzF,OAAO,SAAS,CAAC;IAClB,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,kBAAkB,EAAE,WAAW,EAAE,CAAC;AAClE,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,mBAAmB,CAAC,IAAiC;IACpE,MAAM,QAAQ,GAAG,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;IAC1C,IAAI,CAAC,QAAQ;QAAE,OAAO,IAAI,CAAC;IAC3B,MAAM,GAAG,GAAG,QAAQ,CAAC,QAAQ,CAAC,cAAc,CAAC;WACzC,QAAQ,CAAC,QAAQ,CAAC,UAAU,CAAC;WAC7B,QAAQ,CAAC,QAAQ,CAAC,eAAe,CAAC,CAAC;IACvC,IAAI,CAAC,GAAG;QAAE,OAAO,IAAI,CAAC;IAEtB,MAAM,KAAK,GAAG,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IAClC,MAAM,IAAI,GAAmB,EAAE,CAAC;IAEhC,MAAM,IAAI,GAAG,SAAS,CAAC,GAAG,CAAC,IAAI,EAAE,MAAM,CAAC;WACpC,SAAS,CAAC,GAAG,CAAC,WAAW,IAAI,GAAG,CAAC,QAAQ,IAAI,KAAK,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;IACtE,MAAM,IAAI,GAAG,SAAS,CAAC,GAAG,CAAC,IAAI,EAAE,MAAM,CAAC;WACpC,SAAS,CAAC,GAAG,CAAC,WAAW,IAAI,GAAG,CAAC,QAAQ,IAAI,KAAK,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;IACtE,IAAI,IAAI;QAAE,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC;IAC3B,IAAI,IAAI;QAAE,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC;IAE3B,MAAM,KAAK,GAAG,WAAW,CAAC,GAAG,EAAE,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC,CAAC;IAClD,IAAI,KAAK;QAAE,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC;IAE9B,MAAM,aAAa,GAAG,WAAW,CAAC,GAAG,EAAE,CAAC,eAAe,EAAE,YAAY,EAAE,mBAAmB,CAAC,CAAC,CAAC;IAC7F,IAAI,aAAa,KAAK,SAAS;QAAE,IAAI,CAAC,aAAa,GAAG,aAAa,CAAC;IAEpE,IAAI,OAAO,GAAG,CAAC,iBAAiB,KAAK,SAAS;QAAE,IAAI,CAAC,iBAAiB,GAAG,GAAG,CAAC,iBAAiB,CAAC;IAE/F,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,KAAK,KAAK,SAAS,IAAI,IAAI,CAAC,aAAa,KAAK,SAAS,EAAE,CAAC;QAC9F,OAAO,IAAI,CAAC;IACb,CAAC;IACD,OAAO,IAAI,CAAC;AACb,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,YAAY,CAAC,IAAoB;IAChD,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,OAAO,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,IAAI,kBAAkB,CAAC;IACrF,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,IAAI,IAAI,CAAC,kBAAkB,KAAK,SAAS;QAAE,MAAM,CAAC,IAAI,CAAC,IAAI,cAAc,CAAC,IAAI,CAAC,kBAAkB,CAAC,EAAE,CAAC,CAAC;IACtG,IAAI,IAAI,CAAC,WAAW,KAAK,SAAS;QAAE,MAAM,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,WAAW,UAAU,CAAC,CAAC;IAC/E,OAAO,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,KAAK,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC;AACpE,CAAC;AAgBD;;;;;;GAMG;AACH,MAAM,UAAU,sBAAsB,CACrC,IAAuC,EACvC,SAAkB;IAElB,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,aAAa,KAAK,SAAS,EAAE,CAAC;QAC/C,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC;IACxC,CAAC;IACD,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,aAAa,GAAG,MAAM,CAAC,CAAC;IAC1D,MAAM,OAAO,GAAG,SAAS,IAAI,CAAC,CAAC;IAC/B,MAAM,WAAW,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,QAAQ,GAAG,OAAO,CAAC,CAAC;IACpD,OAAO;QACN,QAAQ;QACR,SAAS,EAAE,OAAO;QAClB,WAAW;QACX,SAAS,EAAE,OAAO,IAAI,QAAQ;KAC9B,CAAC;AACH,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,wBAAwB,CACvC,IAAuC,EACvC,IAAgE;IAEhE,MAAM,MAAM,GAAwB,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC;IAC1D,IAAI,CAAC,IAAI,EAAE,CAAC;QACX,OAAO;YACN,OAAO,EAAE,KAAK;YACd,IAAI,EAAE,EAAE,GAAG,MAAM,EAAE;YACnB,IAAI,EAAE,EAAE,GAAG,MAAM,EAAE;YACnB,iBAAiB,EAAE,KAAK;YACxB,gBAAgB,EAAE,KAAK;YACvB,cAAc,EAAE,KAAK;SACrB,CAAC;IACH,CAAC;IAED,MAAM,OAAO,GAAG,CAAC,IAAwB,EAAuB,EAAE;QACjE,MAAM,QAAQ,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;QACzD,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,EAAE,GAAG,MAAM,EAAE,CAAC;QAChD,qEAAqE;QACrE,qDAAqD;QACrD,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAChE,MAAM,KAAK,GAAwB,EAAE,MAAM,EAAE,MAAM,CAAC,MAAuC,EAAE,CAAC;QAC9F,KAAK,CAAC,EAAE,GAAG,MAAM,CAAC,EAAE,CAAC;QACrB,OAAO,KAAK,CAAC;IACd,CAAC,CAAC;IAEF,MAAM,iBAAiB,GAAG,IAAI,CAAC,iBAAiB,KAAK,IAAI,CAAC;IAC1D,MAAM,cAAc,GAAG,iBAAiB,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,CAAC;IACpE,MAAM,IAAI,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC;IAE7B,MAAM,KAAK,GAAoB;QAC9B,OAAO,EAAE,IAAI;QACb,IAAI,EAAE,OAAO,CAAC,MAAM,CAAC;QACrB,IAAI;QACJ,iBAAiB;QACjB,gBAAgB,EAAE,iBAAiB,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,MAAM,KAAK,QAAQ;QAC1F,cAAc;KACd,CAAC;IACF,IAAI,IAAI,CAAC,aAAa,KAAK,SAAS;QAAE,KAAK,CAAC,aAAa,GAAG,IAAI,CAAC,aAAa,CAAC;IAC/E,OAAO,KAAK,CAAC;AACd,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,uBAAuB,CACtC,IAAoB,EACpB,IAAI,GAAoD,EAAE;IAE1D,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,IAAI,IAAI,CAAC,IAAI;QAAE,KAAK,CAAC,IAAI,CAAC,QAAQ,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC7D,IAAI,IAAI,CAAC,IAAI;QAAE,KAAK,CAAC,IAAI,CAAC,QAAQ,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAE7D,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,IAAI,IAAI,CAAC,KAAK,KAAK,SAAS,IAAI,IAAI,CAAC,aAAa,KAAK,SAAS,EAAE,CAAC;QACxF,OAAO,EAAE,CAAC;IACX,CAAC;IAED,KAAK,CAAC,IAAI,CAAC,6BAA6B,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,mBAAmB,EAAE,CAAC,CAAC;IAEpF,IAAI,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;QAC5B,KAAK,CAAC,IAAI,CACT,gGAAgG;YAC/F,sFAAsF,CACvF,CAAC;IACH,CAAC;IACD,IAAI,IAAI,CAAC,iBAAiB,EAAE,CAAC;QAC5B,KAAK,CAAC,IAAI,CACT,uGAAuG,CACvG,CAAC;IACH,CAAC;IACD,IAAI,IAAI,CAAC,aAAa,KAAK,SAAS,EAAE,CAAC;QACtC,MAAM,QAAQ,GAAG,IAAI,CAAC,aAAa,GAAG,MAAM,CAAC;QAC7C,MAAM,OAAO,GAAG,IAAI,CAAC,SAAS,CAAC;QAC/B,MAAM,WAAW,GAAG,OAAO,KAAK,SAAS;YACxC,CAAC,CAAC,EAAE;YACJ,CAAC,CAAC,aAAa,cAAc,CAAC,OAAO,CAAC,eAAe,cAAc,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,QAAQ,GAAG,OAAO,CAAC,CAAC,GAAG,CAAC;QACzG,KAAK,CAAC,IAAI,CACT,gBAAgB,IAAI,CAAC,aAAa,IAAI,WAAW,yDAAyD;YACzG,+DAA+D,CAChE,CAAC;IACH,CAAC;IACD,IAAI,IAAI,CAAC,KAAK;QAAE,KAAK,CAAC,IAAI,CAAC,UAAU,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC;IAEnD,wEAAwE;IACxE,+DAA+D;IAC/D,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC;IACzB,IAAI,KAAK,EAAE,OAAO,EAAE,CAAC;QACpB,IAAI,KAAK,CAAC,IAAI,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;YACrC,KAAK,CAAC,IAAI,CAAC,cAAc,KAAK,CAAC,IAAI,CAAC,MAAM,GAAG,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,cAAc,KAAK,CAAC,IAAI,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;QACtG,CAAC;QACD,IAAI,KAAK,CAAC,IAAI,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;YACrC,KAAK,CAAC,IAAI,CAAC,cAAc,KAAK,CAAC,IAAI,CAAC,MAAM,GAAG,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,cAAc,KAAK,CAAC,IAAI,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;QACtG,CAAC;QACD,IAAI,KAAK,CAAC,IAAI,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;YACpC,KAAK,CAAC,IAAI,CACT,mGAAmG,CACnG,CAAC;QACH,CAAC;QACD,IAAI,KAAK,CAAC,cAAc,EAAE,CAAC;YAC1B,KAAK,CAAC,IAAI,CACT,wGAAwG,CACxG,CAAC;QACH,CAAC;IACF,CAAC;IAED,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACzB,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,0BAA0B,CACzC,IAAiC,EACjC,IAAI,GAAoD,EAAE;IAE1D,MAAM,IAAI,GAAG,mBAAmB,CAAC,IAAI,CAAC,CAAC;IACvC,IAAI,CAAC,IAAI;QAAE,OAAO,EAAE,CAAC;IACrB,OAAO,uBAAuB,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;AAC5C,CAAC"}

package/packages/jev-judge/dist/validation-tie-breaker.d.ts

@@ -0,0 +1,48 @@
+/**
+ * Validation tie-breaker - a typed verdict about one todo item.
+ *
+ * The judge (Jev) and the harness both need the same question answered with
+ * a value instead of prose: "may this item count as done?".
+ *
+ * The verdict is derived from the declared plan and the recorded runs:
+ *
+ * - `no-plan`             the item declares no validation plan
+ * - `complete`            the final tier passed, or none was required
+ * - `final-tier-pending`  the final tier is required and has not passed yet
+ * - `final-tier-failed`   the final tier ran and did not pass
+ * - `plan-incomplete`     the plan requires a final tier but declares none
+ *
+ * A `final-tier-pending` or `final-tier-failed` verdict means the item must
+ * not be reported as complete.
+ */
+import type { TodoItem } from "./todo-provider.js";
+import type { ValidationState } from "./validation-plan.js";
+/**
+ * Typed verdict about the validation state of one item.
+ */
+export type ValidationVerdict = "no-plan" | "complete" | "final-tier-pending" | "final-tier-failed" | "plan-incomplete";
+/**
+ * The verdict plus the context a caller needs to report it.
+ */
+export interface ValidationTieBreaker {
+    verdict: ValidationVerdict;
+    /** Human readable reason for the verdict. */
+    reason: string;
+    /** The item the verdict is about. */
+    itemId?: number;
+    /** Subject of the item. */
+    subject?: string;
+    /** Status of the final tier, when one ran. */
+    tierStatus?: string;
+    /** True when the item must not be reported as complete. */
+    blocksCompletion: boolean;
+}
+/**
+ * Derive the verdict from the validation state of an item.
+ */
+export declare function tieBreakValidation(item: TodoItem | null | undefined, state: ValidationState): ValidationTieBreaker;
+/**
+ * Format a verdict for a log line or a status line.
+ */
+export declare function formatTieBreaker(result: ValidationTieBreaker): string;
+//# sourceMappingURL=validation-tie-breaker.d.ts.map

package/packages/jev-judge/dist/validation-tie-breaker.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"validation-tie-breaker.d.ts","sourceRoot":"","sources":["../src/validation-tie-breaker.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,oBAAoB,CAAC;AACnD,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AAE5D;;GAEG;AACH,MAAM,MAAM,iBAAiB,GAC1B,SAAS,GACT,UAAU,GACV,oBAAoB,GACpB,mBAAmB,GACnB,iBAAiB,CAAC;AAErB;;GAEG;AACH,MAAM,WAAW,oBAAoB;IACpC,OAAO,EAAE,iBAAiB,CAAC;IAC3B,6CAA6C;IAC7C,MAAM,EAAE,MAAM,CAAC;IACf,qCAAqC;IACrC,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,2BAA2B;IAC3B,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,8CAA8C;IAC9C,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,2DAA2D;IAC3D,gBAAgB,EAAE,OAAO,CAAC;CAC1B;AAED;;GAEG;AACH,wBAAgB,kBAAkB,CACjC,IAAI,EAAE,QAAQ,GAAG,IAAI,GAAG,SAAS,EACjC,KAAK,EAAE,eAAe,GACpB,oBAAoB,CA4DtB;AAED;;GAEG;AACH,wBAAgB,gBAAgB,CAAC,MAAM,EAAE,oBAAoB,GAAG,MAAM,CAGrE"}

package/packages/jev-judge/dist/validation-tie-breaker.js

@@ -0,0 +1,83 @@
+/**
+ * Validation tie-breaker - a typed verdict about one todo item.
+ *
+ * The judge (Jev) and the harness both need the same question answered with
+ * a value instead of prose: "may this item count as done?".
+ *
+ * The verdict is derived from the declared plan and the recorded runs:
+ *
+ * - `no-plan`             the item declares no validation plan
+ * - `complete`            the final tier passed, or none was required
+ * - `final-tier-pending`  the final tier is required and has not passed yet
+ * - `final-tier-failed`   the final tier ran and did not pass
+ * - `plan-incomplete`     the plan requires a final tier but declares none
+ *
+ * A `final-tier-pending` or `final-tier-failed` verdict means the item must
+ * not be reported as complete.
+ */
+/**
+ * Derive the verdict from the validation state of an item.
+ */
+export function tieBreakValidation(item, state) {
+    const base = {
+        itemId: item?.id,
+        subject: item?.subject,
+    };
+    if (!state.hasPlan) {
+        return {
+            ...base,
+            verdict: "no-plan",
+            reason: "no validation plan declared",
+            blocksCompletion: false,
+        };
+    }
+    if (state.planIncomplete) {
+        return {
+            ...base,
+            verdict: "plan-incomplete",
+            reason: "the plan requires a final tier but declares none",
+            blocksCompletion: true,
+        };
+    }
+    if (!state.finalTierRequired) {
+        return {
+            ...base,
+            verdict: "complete",
+            reason: "no final tier required",
+            blocksCompletion: false,
+        };
+    }
+    if (state.full.status === "passed") {
+        return {
+            ...base,
+            verdict: "complete",
+            reason: "the final tier passed",
+            tierStatus: state.full.status,
+            blocksCompletion: false,
+        };
+    }
+    if (state.full.status === "not-run") {
+        return {
+            ...base,
+            verdict: "final-tier-pending",
+            reason: "the final tier has not run yet",
+            tierStatus: state.full.status,
+            blocksCompletion: true,
+        };
+    }
+    return {
+        ...base,
+        verdict: "final-tier-failed",
+        reason: `the final tier did not pass (${state.full.status})`,
+        tierStatus: state.full.status,
+        blocksCompletion: true,
+    };
+}
+/**
+ * Format a verdict for a log line or a status line.
+ */
+export function formatTieBreaker(result) {
+    const subject = result.subject ? `${result.subject}: ` : "";
+    return `${subject}${result.verdict} (${result.reason})`;
+}
+//# sourceMappingURL=validation-tie-breaker.js.map

package/packages/jev-judge/dist/validation-tie-breaker.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"validation-tie-breaker.js","sourceRoot":"","sources":["../src/validation-tie-breaker.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAgCH;;GAEG;AACH,MAAM,UAAU,kBAAkB,CACjC,IAAiC,EACjC,KAAsB;IAEtB,MAAM,IAAI,GAAG;QACZ,MAAM,EAAE,IAAI,EAAE,EAAE;QAChB,OAAO,EAAE,IAAI,EAAE,OAAO;KACtB,CAAC;IAEF,IAAI,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC;QACpB,OAAO;YACN,GAAG,IAAI;YACP,OAAO,EAAE,SAAS;YAClB,MAAM,EAAE,6BAA6B;YACrC,gBAAgB,EAAE,KAAK;SACvB,CAAC;IACH,CAAC;IAED,IAAI,KAAK,CAAC,cAAc,EAAE,CAAC;QAC1B,OAAO;YACN,GAAG,IAAI;YACP,OAAO,EAAE,iBAAiB;YAC1B,MAAM,EAAE,kDAAkD;YAC1D,gBAAgB,EAAE,IAAI;SACtB,CAAC;IACH,CAAC;IAED,IAAI,CAAC,KAAK,CAAC,iBAAiB,EAAE,CAAC;QAC9B,OAAO;YACN,GAAG,IAAI;YACP,OAAO,EAAE,UAAU;YACnB,MAAM,EAAE,wBAAwB;YAChC,gBAAgB,EAAE,KAAK;SACvB,CAAC;IACH,CAAC;IAED,IAAI,KAAK,CAAC,IAAI,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;QACpC,OAAO;YACN,GAAG,IAAI;YACP,OAAO,EAAE,UAAU;YACnB,MAAM,EAAE,uBAAuB;YAC/B,UAAU,EAAE,KAAK,CAAC,IAAI,CAAC,MAAM;YAC7B,gBAAgB,EAAE,KAAK;SACvB,CAAC;IACH,CAAC;IAED,IAAI,KAAK,CAAC,IAAI,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;QACrC,OAAO;YACN,GAAG,IAAI;YACP,OAAO,EAAE,oBAAoB;YAC7B,MAAM,EAAE,gCAAgC;YACxC,UAAU,EAAE,KAAK,CAAC,IAAI,CAAC,MAAM;YAC7B,gBAAgB,EAAE,IAAI;SACtB,CAAC;IACH,CAAC;IAED,OAAO;QACN,GAAG,IAAI;QACP,OAAO,EAAE,mBAAmB;QAC5B,MAAM,EAAE,gCAAgC,KAAK,CAAC,IAAI,CAAC,MAAM,GAAG;QAC5D,UAAU,EAAE,KAAK,CAAC,IAAI,CAAC,MAAM;QAC7B,gBAAgB,EAAE,IAAI;KACtB,CAAC;AACH,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,gBAAgB,CAAC,MAA4B;IAC5D,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,OAAO,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;IAC5D,OAAO,GAAG,OAAO,GAAG,MAAM,CAAC,OAAO,KAAK,MAAM,CAAC,MAAM,GAAG,CAAC;AACzD,CAAC"}

package/packages/jev-judge/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@pi-harness/jev-judge",
-  "version": "1.1.394",
+  "version": "1.1.396",
   "description": "Jev Judge - Structured decision model for agent routing, E2E testing, and automated decisions",
   "type": "module",
   "main": "./dist/index.js",