@llm4ts/flow 2.30.0 → 2.31.0

package/dist/GateTriage.d.ts

@@ -0,0 +1,81 @@
+import * as Effect from "effect/Effect";
+import * as Schema from "effect/Schema";
+import type { PersistenceError } from "./FlowError.ts";
+import type { PlainFileStoreShape } from "./Persistence.ts";
+import { ReviewIssue, ReviewResult } from "./Review.ts";
+export declare const GateClass: Schema.Literals<readonly ["red", "hang", "crash"]>;
+export type GateClass = typeof GateClass.Type;
+export declare const FailureOrigin: Schema.Literals<readonly ["new", "base", "flaky"]>;
+export type FailureOrigin = typeof FailureOrigin.Type;
+declare const GateBaseline_base: Schema.Class<GateBaseline, Schema.Struct<{
+    readonly baseCommit: Schema.String;
+    readonly appDir: Schema.String;
+    /** Each gate command as configured, joined with one space. */
+    readonly commands: Schema.$Array<Schema.String>;
+    readonly failingLines: Schema.$Array<Schema.String>;
+    /** Tests passing on the base, when the test gate's output said (the oracle guard compares). */
+    readonly passedCount: Schema.optionalKey<Schema.Int>;
+    readonly recordedAt: Schema.Number;
+}>, {}>;
+export declare class GateBaseline extends GateBaseline_base {
+}
+/**
+ * The lines of a gate's output a change can be blamed for, made comparable
+ * across runs and worktrees: colours, timings, timestamps and the given root
+ * prefixes removed; stack frames, summaries and blank lines dropped; only
+ * lines carrying a failure marker kept, each once. A heuristic by design:
+ * per-tool parsers are kit material (a pack `diagnostics:` command, later).
+ */
+export declare const normalizeGateOutput: (text: string, roots: ReadonlyArray<string>) => ReadonlyArray<string>;
+/** The title prefix `lintCommand` gives every gate issue; nothing else is a gate. */
+export declare const gateIssuePrefix = "lint failed: ";
+export declare const isGateIssue: (issue: ReviewIssue) => boolean;
+/** Every gate issue's normalized failing lines, in order, each once. */
+export declare const failingLinesOf: (result: ReviewResult, roots: ReadonlyArray<string>) => ReadonlyArray<string>;
+export interface GateTriage {
+    /** The lint result with only the failures the change caused; clean when it caused none. */
+    readonly blocking: ReviewResult;
+    readonly newLines: ReadonlyArray<string>;
+    /** Failing lines already red on the base: listed, never charged. */
+    readonly inherited: ReadonlyArray<string>;
+}
+/**
+ * Splits a lint result against the baseline. A gate issue whose every
+ * failing line is on the baseline is dropped (inherited); one with new lines
+ * is kept with `origin: "new"` and its description reduced to those lines,
+ * so the fix prompt names only what the change broke. A gate issue with no
+ * recognizable failing line at all (a hang, a crash, an unparsed output) is
+ * kept whole. Non-gate issues (the perimeter, the oracle guard) pass through.
+ * Without a baseline the result is returned as is.
+ */
+export declare const triageGates: (result: ReviewResult, baseline: GateBaseline | undefined, roots: ReadonlyArray<string>) => GateTriage;
+export declare const baselineKey: (parts: {
+    readonly baseCommit: string;
+    readonly appDir: string;
+    readonly commands: ReadonlyArray<ReadonlyArray<string>>;
+}) => string;
+/** The one file a run keeps its baselines in. */
+export declare const baselinesPath: (stateDir: string) => string;
+export declare const readBaseline: (files: PlainFileStoreShape, stateDir: string, key: string) => Effect.Effect<GateBaseline | undefined, PersistenceError>;
+export interface EnsureBaselineArgs<E> {
+    readonly files: PlainFileStoreShape;
+    readonly stateDir: string;
+    /** The commit the change starts from. */
+    readonly commit: string;
+    readonly appDir: string;
+    readonly commands: ReadonlyArray<ReadonlyArray<string>>;
+    /** Runs the gates on that commit; called only when no baseline is stored. */
+    readonly run: Effect.Effect<ReviewResult, E>;
+    /** Root prefixes stripped from gate output (the work dir, the app dir). */
+    readonly roots: ReadonlyArray<string>;
+    readonly now: Effect.Effect<number>;
+}
+/**
+ * The baseline for a commit: the stored one, or a fresh one recorded from
+ * `run`. Lazy on purpose, so a second change on an unchanged commit costs
+ * no gate run.
+ */
+export declare const ensureBaseline: <E>(args: EnsureBaselineArgs<E>) => Effect.Effect<GateBaseline, E | PersistenceError>;
+export declare const writeBaseline: (files: PlainFileStoreShape, stateDir: string, key: string, baseline: GateBaseline) => Effect.Effect<void, PersistenceError>;
+export {};
+//# sourceMappingURL=GateTriage.d.ts.map

package/dist/GateTriage.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"GateTriage.d.ts","sourceRoot":"","sources":["../src/GateTriage.ts"],"names":[],"mappings":"AAKA,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,gBAAgB,CAAA;AACtD,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,kBAAkB,CAAA;AAC3D,OAAO,EAAE,WAAW,EAAE,YAAY,EAAE,MAAM,aAAa,CAAA;AAGvD,eAAO,MAAM,SAAS,oDAA4C,CAAA;AAClE,MAAM,MAAM,SAAS,GAAG,OAAO,SAAS,CAAC,IAAI,CAAA;AAE7C,eAAO,MAAM,aAAa,oDAA4C,CAAA;AACtE,MAAM,MAAM,aAAa,GAAG,OAAO,aAAa,CAAC,IAAI,CAAA;;;;IAKnD,8DAA8D;;;IAG9D,+FAA+F;;;;AANjG,qBAAa,YAAa,SAAQ,iBAShC;CAAG;AAkBL;;;;;;GAMG;AACH,eAAO,MAAM,mBAAmB,GAC9B,MAAM,MAAM,EACZ,OAAO,aAAa,CAAC,MAAM,CAAC,KAC3B,aAAa,CAAC,MAAM,CAuBtB,CAAA;AAED,qFAAqF;AACrF,eAAO,MAAM,eAAe,kBAAkB,CAAA;AAE9C,eAAO,MAAM,WAAW,GAAI,OAAO,WAAW,KAAG,OAAkD,CAAA;AAEnG,wEAAwE;AACxE,eAAO,MAAM,cAAc,GACzB,QAAQ,YAAY,EACpB,OAAO,aAAa,CAAC,MAAM,CAAC,KAC3B,aAAa,CAAC,MAAM,CAOpB,CAAA;AAEH,MAAM,WAAW,UAAU;IACzB,2FAA2F;IAC3F,QAAQ,CAAC,QAAQ,EAAE,YAAY,CAAA;IAC/B,QAAQ,CAAC,QAAQ,EAAE,aAAa,CAAC,MAAM,CAAC,CAAA;IACxC,oEAAoE;IACpE,QAAQ,CAAC,SAAS,EAAE,aAAa,CAAC,MAAM,CAAC,CAAA;CAC1C;AAED;;;;;;;;GAQG;AACH,eAAO,MAAM,WAAW,GACtB,QAAQ,YAAY,EACpB,UAAU,YAAY,GAAG,SAAS,EAClC,OAAO,aAAa,CAAC,MAAM,CAAC,KAC3B,UAoCF,CAAA;AAED,eAAO,MAAM,WAAW,GAAI,OAAO;IACjC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAA;IAC3B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;IACvB,QAAQ,CAAC,QAAQ,EAAE,aAAa,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC,CAAA;CACxD,KAAG,MAKa,CAAA;AAEjB,iDAAiD;AACjD,eAAO,MAAM,aAAa,GAAI,UAAU,MAAM,KAAG,MACQ,CAAA;AAiBzD,eAAO,MAAM,YAAY,GACvB,OAAO,mBAAmB,EAC1B,UAAU,MAAM,EAChB,KAAK,MAAM,KACV,MAAM,CAAC,MAAM,CAAC,YAAY,GAAG,SAAS,EAAE,gBAAgB,CACa,CAAA;AAExE,MAAM,WAAW,kBAAkB,CAAC,CAAC;IACnC,QAAQ,CAAC,KAAK,EAAE,mBAAmB,CAAA;IACnC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;IACzB,yCAAyC;IACzC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;IACvB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;IACvB,QAAQ,CAAC,QAAQ,EAAE,aAAa,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC,CAAA;IACvD,6EAA6E;IAC7E,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC,MAAM,CAAC,YAAY,EAAE,CAAC,CAAC,CAAA;IAC5C,2EAA2E;IAC3E,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC,MAAM,CAAC,CAAA;IACrC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAA;CACpC;AAED;;;;GAIG;AACH,eAAO,MAAM,cAAc,GAAI,CAAC,EAC9B,MAAM,kBAAkB,CAAC,CAAC,CAAC,KAC1B,MAAM,CAAC,MAAM,CAAC,YAAY,EAAE,CAAC,GAAG,gBAAgB,CAsB/C,CAAA;AAEJ,eAAO,MAAM,aAAa,GACxB,OAAO,mBAAmB,EAC1B,UAAU,MAAM,EAChB,KAAK,MAAM,EACX,UAAU,YAAY,KACrB,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,gBAAgB,CAKtC,CAAA"}

package/dist/GateTriage.js

@@ -0,0 +1,161 @@
+// Gates with a memory (ADR 0027): what the target's gates said on the code a
+// change started from, and which failing lines the change can be charged
+// with. Pure helpers and a small store; the seams are lintCommand and
+// reviewAndFixLoop (Review.ts), implementPlanFlow (Flow.ts) and the story
+// executor (Stories.ts). Gates.ts re-exports this module beside gatesIn.
+import * as Effect from "effect/Effect";
+import * as Schema from "effect/Schema";
+import { ReviewIssue, ReviewResult } from "./Review.js";
+import { fingerprintOf } from "./ReviewCache.js";
+export const GateClass = Schema.Literals(["red", "hang", "crash"]);
+export const FailureOrigin = Schema.Literals(["new", "base", "flaky"]);
+export class GateBaseline extends Schema.Class("GateBaseline")({
+    baseCommit: Schema.String,
+    appDir: Schema.String,
+    /** Each gate command as configured, joined with one space. */
+    commands: Schema.Array(Schema.String),
+    failingLines: Schema.Array(Schema.String),
+    /** Tests passing on the base, when the test gate's output said (the oracle guard compares). */
+    passedCount: Schema.optionalKey(Schema.Int),
+    recordedAt: Schema.Number
+}) {
+}
+/** Every baseline a run recorded, by `baselineKey`; one file, deleted on land. */
+const Baselines = Schema.Record(Schema.String, GateBaseline);
+const BaselinesJson = Schema.fromJsonString(Baselines);
+const decodeBaselines = Schema.decodeUnknownEffect(BaselinesJson);
+const encodeBaselines = Schema.encodeSync(BaselinesJson);
+// Built from the escape code point so the pattern holds no control character literal.
+const ansi = new RegExp(`${String.fromCharCode(27)}\\[[0-9;]*m`, "gu");
+const duration = /\b\d+(?:\.\d+)?\s?(?:ms|s|m)\b/gu;
+const isoTimestamp = /\d{4}-\d{2}-\d{2}T\d{2}:\d{2}:\d{2}(?:\.\d+)?(?:Z|[+-]\d{2}:\d{2})?/gu;
+const stackFrame = /^\s*at\s/u;
+const summaryLine = /^\s*(?:Test Files|Tests|Duration|Start at|Snapshots|Found \d+ errors?|\d+ (?:passing|failing|pending))\b/u;
+const failureMarker = /FAIL|✗|×|✘|✖|❯|error|Error|AssertionError|Expected|Received|expected|TS\d{4}/u;
+/**
+ * The lines of a gate's output a change can be blamed for, made comparable
+ * across runs and worktrees: colours, timings, timestamps and the given root
+ * prefixes removed; stack frames, summaries and blank lines dropped; only
+ * lines carrying a failure marker kept, each once. A heuristic by design:
+ * per-tool parsers are kit material (a pack `diagnostics:` command, later).
+ */
+export const normalizeGateOutput = (text, roots) => {
+    const prefixes = roots.filter((root) => root.length > 0).map((root) => root.replace(/\/+$/u, ""));
+    const seen = new Set();
+    const out = [];
+    for (const raw of text.split(/\r?\n/u)) {
+        let line = raw.replace(ansi, "");
+        for (const prefix of prefixes) {
+            line = line.replaceAll(`${prefix}/`, "");
+        }
+        line = line.replace(isoTimestamp, "<ts>").replace(duration, "<t>").trim();
+        if (line.length === 0 || stackFrame.test(line) || summaryLine.test(line)) {
+            continue;
+        }
+        if (!failureMarker.test(line)) {
+            continue;
+        }
+        line = line.replace(/\s+/gu, " ");
+        if (!seen.has(line)) {
+            seen.add(line);
+            out.push(line);
+        }
+    }
+    return out;
+};
+/** The title prefix `lintCommand` gives every gate issue; nothing else is a gate. */
+export const gateIssuePrefix = "lint failed: ";
+export const isGateIssue = (issue) => issue.title.startsWith(gateIssuePrefix);
+/** Every gate issue's normalized failing lines, in order, each once. */
+export const failingLinesOf = (result, roots) => Array.from(new Set(result.issues
+    .filter(isGateIssue)
+    .flatMap((issue) => normalizeGateOutput(issue.description, roots))));
+/**
+ * Splits a lint result against the baseline. A gate issue whose every
+ * failing line is on the baseline is dropped (inherited); one with new lines
+ * is kept with `origin: "new"` and its description reduced to those lines,
+ * so the fix prompt names only what the change broke. A gate issue with no
+ * recognizable failing line at all (a hang, a crash, an unparsed output) is
+ * kept whole. Non-gate issues (the perimeter, the oracle guard) pass through.
+ * Without a baseline the result is returned as is.
+ */
+export const triageGates = (result, baseline, roots) => {
+    if (baseline === undefined || result.isClean) {
+        return { blocking: result, newLines: [], inherited: [] };
+    }
+    const known = new Set(baseline.failingLines);
+    const newLines = [];
+    const inherited = [];
+    const issues = [];
+    for (const issue of result.issues) {
+        if (!isGateIssue(issue)) {
+            issues.push(issue);
+            continue;
+        }
+        const lines = normalizeGateOutput(issue.description, roots);
+        const fresh = lines.filter((line) => !known.has(line));
+        inherited.push(...lines.filter((line) => known.has(line)));
+        if (lines.length > 0 && fresh.length === 0) {
+            continue;
+        }
+        newLines.push(...fresh);
+        issues.push(ReviewIssue.make({
+            ...issue,
+            origin: "new",
+            description: fresh.length > 0 ? fresh.join("\n") : issue.description
+        }));
+    }
+    return {
+        blocking: ReviewResult.make({
+            issues,
+            summary: issues.length === 0 ? "lint passed (inherited failures only)" : result.summary
+        }),
+        newLines: Array.from(new Set(newLines)),
+        inherited: Array.from(new Set(inherited))
+    };
+};
+export const baselineKey = (parts) => fingerprintOf([
+    parts.baseCommit,
+    parts.appDir,
+    ...parts.commands.map((command) => command.join(" "))
+]).slice(0, 16);
+/** The one file a run keeps its baselines in. */
+export const baselinesPath = (stateDir) => `${stateDir.replace(/\/+$/u, "")}/gates/baselines.json`;
+const readAll = (files, path) => files.read(path).pipe(Effect.flatMap((text) => text === undefined
+    ? Effect.succeed({})
+    : decodeBaselines(text).pipe(
+    // An unreadable file is no baseline: the caller records a fresh one.
+    Effect.catch(() => Effect.succeed({})))));
+export const readBaseline = (files, stateDir, key) => Effect.map(readAll(files, baselinesPath(stateDir)), (all) => all[key]);
+/**
+ * The baseline for a commit: the stored one, or a fresh one recorded from
+ * `run`. Lazy on purpose, so a second change on an unchanged commit costs
+ * no gate run.
+ */
+export const ensureBaseline = (args) => Effect.gen(function* () {
+    const key = baselineKey({
+        baseCommit: args.commit,
+        appDir: args.appDir,
+        commands: args.commands
+    });
+    const stored = yield* readBaseline(args.files, args.stateDir, key);
+    if (stored !== undefined) {
+        return stored;
+    }
+    const result = yield* args.run;
+    const baseline = GateBaseline.make({
+        baseCommit: args.commit,
+        appDir: args.appDir,
+        commands: args.commands.map((command) => command.join(" ")),
+        failingLines: failingLinesOf(result, args.roots),
+        ...(result.passed === undefined ? {} : { passedCount: result.passed }),
+        recordedAt: yield* args.now
+    });
+    yield* writeBaseline(args.files, args.stateDir, key, baseline);
+    return baseline;
+});
+export const writeBaseline = (files, stateDir, key, baseline) => {
+    const path = baselinesPath(stateDir);
+    return Effect.flatMap(readAll(files, path), (all) => files.writeAtomic(path, encodeBaselines({ ...all, [key]: baseline })));
+};
+//# sourceMappingURL=GateTriage.js.map

package/dist/GateTriage.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"GateTriage.js","sourceRoot":"","sources":["../src/GateTriage.ts"],"names":[],"mappings":"AAAA,6EAA6E;AAC7E,yEAAyE;AACzE,sEAAsE;AACtE,0EAA0E;AAC1E,yEAAyE;AACzE,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AAGvC,OAAO,EAAE,WAAW,EAAE,YAAY,EAAE,MAAM,aAAa,CAAA;AACvD,OAAO,EAAE,aAAa,EAAE,MAAM,kBAAkB,CAAA;AAEhD,MAAM,CAAC,MAAM,SAAS,GAAG,MAAM,CAAC,QAAQ,CAAC,CAAC,KAAK,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC,CAAA;AAGlE,MAAM,CAAC,MAAM,aAAa,GAAG,MAAM,CAAC,QAAQ,CAAC,CAAC,KAAK,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC,CAAA;AAGtE,MAAM,OAAO,YAAa,SAAQ,MAAM,CAAC,KAAK,CAAe,cAAc,CAAC,CAAC;IAC3E,UAAU,EAAE,MAAM,CAAC,MAAM;IACzB,MAAM,EAAE,MAAM,CAAC,MAAM;IACrB,8DAA8D;IAC9D,QAAQ,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC;IACrC,YAAY,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC;IACzC,+FAA+F;IAC/F,WAAW,EAAE,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,GAAG,CAAC;IAC3C,UAAU,EAAE,MAAM,CAAC,MAAM;CAC1B,CAAC;CAAG;AAEL,kFAAkF;AAClF,MAAM,SAAS,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,YAAY,CAAC,CAAA;AAC5D,MAAM,aAAa,GAAG,MAAM,CAAC,cAAc,CAAC,SAAS,CAAC,CAAA;AACtD,MAAM,eAAe,GAAG,MAAM,CAAC,mBAAmB,CAAC,aAAa,CAAC,CAAA;AACjE,MAAM,eAAe,GAAG,MAAM,CAAC,UAAU,CAAC,aAAa,CAAC,CAAA;AAExD,sFAAsF;AACtF,MAAM,IAAI,GAAG,IAAI,MAAM,CAAC,GAAG,MAAM,CAAC,YAAY,CAAC,EAAE,CAAC,aAAa,EAAE,IAAI,CAAC,CAAA;AACtE,MAAM,QAAQ,GAAG,kCAAkC,CAAA;AACnD,MAAM,YAAY,GAAG,uEAAuE,CAAA;AAC5F,MAAM,UAAU,GAAG,WAAW,CAAA;AAC9B,MAAM,WAAW,GACf,2GAA2G,CAAA;AAC7G,MAAM,aAAa,GACjB,+EAA+E,CAAA;AAEjF;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAG,CACjC,IAAY,EACZ,KAA4B,EACL,EAAE;IACzB,MAAM,QAAQ,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,CAAA;IACjG,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAA;IAC9B,MAAM,GAAG,GAAkB,EAAE,CAAA;IAC7B,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE,CAAC;QACvC,IAAI,IAAI,GAAG,GAAG,CAAC,OAAO,CAAC,IAAI,EAAE,EAAE,CAAC,CAAA;QAChC,KAAK,MAAM,MAAM,IAAI,QAAQ,EAAE,CAAC;YAC9B,IAAI,GAAG,IAAI,CAAC,UAAU,CAAC,GAAG,MAAM,GAAG,EAAE,EAAE,CAAC,CAAA;QAC1C,CAAC;QACD,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,YAAY,EAAE,MAAM,CAAC,CAAC,OAAO,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC,IAAI,EAAE,CAAA;QACzE,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,IAAI,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YACzE,SAAQ;QACV,CAAC;QACD,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YAC9B,SAAQ;QACV,CAAC;QACD,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,GAAG,CAAC,CAAA;QACjC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YACpB,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;YACd,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QAChB,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAA;AACZ,CAAC,CAAA;AAED,qFAAqF;AACrF,MAAM,CAAC,MAAM,eAAe,GAAG,eAAe,CAAA;AAE9C,MAAM,CAAC,MAAM,WAAW,GAAG,CAAC,KAAkB,EAAW,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,UAAU,CAAC,eAAe,CAAC,CAAA;AAEnG,wEAAwE;AACxE,MAAM,CAAC,MAAM,cAAc,GAAG,CAC5B,MAAoB,EACpB,KAA4B,EACL,EAAE,CACzB,KAAK,CAAC,IAAI,CACR,IAAI,GAAG,CACL,MAAM,CAAC,MAAM;KACV,MAAM,CAAC,WAAW,CAAC;KACnB,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,mBAAmB,CAAC,KAAK,CAAC,WAAW,EAAE,KAAK,CAAC,CAAC,CACrE,CACF,CAAA;AAUH;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,WAAW,GAAG,CACzB,MAAoB,EACpB,QAAkC,EAClC,KAA4B,EAChB,EAAE;IACd,IAAI,QAAQ,KAAK,SAAS,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;QAC7C,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,QAAQ,EAAE,EAAE,EAAE,SAAS,EAAE,EAAE,EAAE,CAAA;IAC1D,CAAC;IACD,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,YAAY,CAAC,CAAA;IAC5C,MAAM,QAAQ,GAAkB,EAAE,CAAA;IAClC,MAAM,SAAS,GAAkB,EAAE,CAAA;IACnC,MAAM,MAAM,GAAuB,EAAE,CAAA;IACrC,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;QAClC,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,EAAE,CAAC;YACxB,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;YAClB,SAAQ;QACV,CAAC;QACD,MAAM,KAAK,GAAG,mBAAmB,CAAC,KAAK,CAAC,WAAW,EAAE,KAAK,CAAC,CAAA;QAC3D,MAAM,KAAK,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAA;QACtD,SAAS,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;QAC1D,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC3C,SAAQ;QACV,CAAC;QACD,QAAQ,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,CAAA;QACvB,MAAM,CAAC,IAAI,CACT,WAAW,CAAC,IAAI,CAAC;YACf,GAAG,KAAK;YACR,MAAM,EAAE,KAAK;YACb,WAAW,EAAE,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,WAAW;SACrE,CAAC,CACH,CAAA;IACH,CAAC;IACD,OAAO;QACL,QAAQ,EAAE,YAAY,CAAC,IAAI,CAAC;YAC1B,MAAM;YACN,OAAO,EAAE,MAAM,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,uCAAuC,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO;SACxF,CAAC;QACF,QAAQ,EAAE,KAAK,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,QAAQ,CAAC,CAAC;QACvC,SAAS,EAAE,KAAK,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,SAAS,CAAC,CAAC;KAC1C,CAAA;AACH,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,WAAW,GAAG,CAAC,KAI3B,EAAU,EAAE,CACX,aAAa,CAAC;IACZ,KAAK,CAAC,UAAU;IAChB,KAAK,CAAC,MAAM;IACZ,GAAG,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;CACtD,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAA;AAEjB,iDAAiD;AACjD,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,QAAgB,EAAU,EAAE,CACxD,GAAG,QAAQ,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC,uBAAuB,CAAA;AAEzD,MAAM,OAAO,GAAG,CACd,KAA0B,EAC1B,IAAY,EAC6D,EAAE,CAC3E,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CACnB,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CACtB,IAAI,KAAK,SAAS;IAChB,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC;IACpB,CAAC,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC,IAAI;IACxB,qEAAqE;IACrE,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CACvC,CACN,CACF,CAAA;AAEH,MAAM,CAAC,MAAM,YAAY,GAAG,CAC1B,KAA0B,EAC1B,QAAgB,EAChB,GAAW,EACgD,EAAE,CAC7D,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,KAAK,EAAE,aAAa,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAA;AAgBxE;;;;GAIG;AACH,MAAM,CAAC,MAAM,cAAc,GAAG,CAC5B,IAA2B,EACwB,EAAE,CACrD,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,MAAM,GAAG,GAAG,WAAW,CAAC;QACtB,UAAU,EAAE,IAAI,CAAC,MAAM;QACvB,MAAM,EAAE,IAAI,CAAC,MAAM;QACnB,QAAQ,EAAE,IAAI,CAAC,QAAQ;KACxB,CAAC,CAAA;IACF,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAA;IAClE,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;QACzB,OAAO,MAAM,CAAA;IACf,CAAC;IACD,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,GAAG,CAAA;IAC9B,MAAM,QAAQ,GAAG,YAAY,CAAC,IAAI,CAAC;QACjC,UAAU,EAAE,IAAI,CAAC,MAAM;QACvB,MAAM,EAAE,IAAI,CAAC,MAAM;QACnB,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC3D,YAAY,EAAE,cAAc,CAAC,MAAM,EAAE,IAAI,CAAC,KAAK,CAAC;QAChD,GAAG,CAAC,MAAM,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,MAAM,CAAC,MAAM,EAAE,CAAC;QACtE,UAAU,EAAE,KAAK,CAAC,CAAC,IAAI,CAAC,GAAG;KAC5B,CAAC,CAAA;IACF,KAAK,CAAC,CAAC,aAAa,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,QAAQ,EAAE,GAAG,EAAE,QAAQ,CAAC,CAAA;IAC9D,OAAO,QAAQ,CAAA;AACjB,CAAC,CAAC,CAAA;AAEJ,MAAM,CAAC,MAAM,aAAa,GAAG,CAC3B,KAA0B,EAC1B,QAAgB,EAChB,GAAW,EACX,QAAsB,EACiB,EAAE;IACzC,MAAM,IAAI,GAAG,aAAa,CAAC,QAAQ,CAAC,CAAA;IACpC,OAAO,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,KAAK,EAAE,IAAI,CAAC,EAAE,CAAC,GAAG,EAAE,EAAE,CAClD,KAAK,CAAC,WAAW,CAAC,IAAI,EAAE,eAAe,CAAC,EAAE,GAAG,GAAG,EAAE,CAAC,GAAG,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,CACtE,CAAA;AACH,CAAC,CAAA"}

package/dist/Gates.d.ts

@@ -0,0 +1,35 @@
+import type * as Duration from "effect/Duration";
+import * as Effect from "effect/Effect";
+import type { ProcessExecutorShape } from "@llm4ts/core/ProcessExecutor";
+import type { FlowError } from "./FlowError.ts";
+import type { FlowEventsShape } from "./FlowEvents.ts";
+import type { PlainFileStoreShape } from "./Persistence.ts";
+import { type ReviewResult } from "./Review.ts";
+export * from "./GateTriage.ts";
+export interface GateLogDir {
+    readonly files: PlainFileStoreShape;
+    readonly dir: string;
+}
+export interface GateRunOptions {
+    readonly timeout?: Duration.Duration;
+    /** Where this runner's logs go unless a call names its own; `undefined` writes none. */
+    readonly logDir?: GateLogDir;
+}
+/** `<index>-<command slug>.log`: one file per gate command, overwritten each run. */
+export declare const gateLogName: (index: number, command: ReadonlyArray<string>) => string;
+/** Runs the gates in a directory, stopping at the first red one (later output would be noise). */
+export declare const gatesIn: (process: ProcessExecutorShape, events: FlowEventsShape, commands: ReadonlyArray<ReadonlyArray<string>>, options?: GateRunOptions) => (workDir: string, laneEvents?: FlowEventsShape, log?: GateLogDir) => Effect.Effect<ReviewResult, FlowError>;
+/** A landed epic keeps why a gate was red, not the target's whole test output. */
+export declare const compactGateLog: (text: string, roots: ReadonlyArray<string>) => string;
+/** The gate log directory of one story under a run's state folder. */
+export declare const storyGateLogDir: (stateDir: string, storyId: string) => string;
+/**
+ * What `--land` keeps of the gates: no baselines (reproducible), and each
+ * story's gate logs reduced to their failing lines. Logs are enumerated from
+ * the story ids and the gate commands, so no listing is needed.
+ */
+export declare const compactGateArtifacts: (files: PlainFileStoreShape, stateDir: string, storyIds: readonly string[], commands: readonly (readonly string[])[]) => Effect.Effect<{
+    readonly baselines: number;
+    readonly logs: number;
+}, import("./FlowError.ts").PersistenceError | import("./FlowError.ts").PlanParseError | import("./FlowError.ts").UnsupportedSchemaVersion | import("./FlowError.ts").WorkspacePathError | import("./FlowError.ts").WorkspaceLimitError | import("./FlowError.ts").WorkspaceIoError | import("./FlowError.ts").FlowAborted | import("./FlowError.ts").ProcessError | import("./FlowError.ts").FlowLlmError | import("./FlowError.ts").FlowCapabilityDenied | import("./FlowError.ts").ColumnNotFound | import("./FlowError.ts").BudgetExceeded | import("./FlowError.ts").StoryPlanInvalid | import("./FlowError.ts").PerimeterViolation | import("./FlowError.ts").MissingDependency | import("./FlowError.ts").MergeConflict | import("./FlowError.ts").EpicCheckoutDirty | import("./FlowError.ts").RosterInvalid | import("./FlowError.ts").EpicIncomplete | import("./FlowError.ts").LandingFailed | import("./FlowError.ts").RefineRefused | import("./FlowError.ts").RosterExhausted | import("./FlowError.ts").StoryFailed | import("./FlowError.ts").DecisionsInvalid | import("./FlowError.ts").OpenPointsPending | import("./FlowError.ts").ExtractPackMissing | import("./FlowError.ts").EpicBriefInvalid | import("./FlowError.ts").EpicBriefNotApproved | import("./FlowError.ts").ContractConflict, never>;
+//# sourceMappingURL=Gates.d.ts.map

package/dist/Gates.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Gates.d.ts","sourceRoot":"","sources":["../src/Gates.ts"],"names":[],"mappings":"AAKA,OAAO,KAAK,KAAK,QAAQ,MAAM,iBAAiB,CAAA;AAChD,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,8BAA8B,CAAA;AACxE,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAA;AAC/C,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,iBAAiB,CAAA;AAEtD,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,kBAAkB,CAAA;AAC3D,OAAO,EAAmC,KAAK,YAAY,EAAE,MAAM,aAAa,CAAA;AAEhF,cAAc,iBAAiB,CAAA;AAE/B,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,KAAK,EAAE,mBAAmB,CAAA;IACnC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAA;CACrB;AAED,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,OAAO,CAAC,EAAE,QAAQ,CAAC,QAAQ,CAAA;IACpC,wFAAwF;IACxF,QAAQ,CAAC,MAAM,CAAC,EAAE,UAAU,CAAA;CAC7B;AAED,qFAAqF;AACrF,eAAO,MAAM,WAAW,GAAI,OAAO,MAAM,EAAE,SAAS,aAAa,CAAC,MAAM,CAAC,KAAG,MAKpD,CAAA;AAExB,kGAAkG;AAClG,eAAO,MAAM,OAAO,GAEhB,SAAS,oBAAoB,EAC7B,QAAQ,eAAe,EACvB,UAAU,aAAa,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC,EAC9C,UAAS,cAAmB,MAG5B,SAAS,MAAM,EACf,aAAa,eAAe,EAC5B,MAAM,UAAU,KACf,MAAM,CAAC,MAAM,CAAC,YAAY,EAAE,SAAS,CAiBpC,CAAA;AAEN,kFAAkF;AAClF,eAAO,MAAM,cAAc,GAAI,MAAM,MAAM,EAAE,OAAO,aAAa,CAAC,MAAM,CAAC,KAAG,MAC/B,CAAA;AAE7C,sEAAsE;AACtE,eAAO,MAAM,eAAe,GAAI,UAAU,MAAM,EAAE,SAAS,MAAM,KAAG,MACvB,CAAA;AAE7C;;;;GAIG;AACH,eAAO,MAAM,oBAAoB;wBAKS,MAAM;mBAAiB,MAAM;yvCAmBrE,CAAA"}

package/dist/Gates.js

@@ -0,0 +1,63 @@
+// The target's gates as a module (ADR 0027): run them in a directory with a
+// timeout and a log per gate, remember what they said on a base, and keep
+// only what matters when an epic lands. The pure half lives in
+// GateTriage.ts and is re-exported here.
+import { join } from "node:path";
+import * as Effect from "effect/Effect";
+import { baselinesPath, normalizeGateOutput } from "./GateTriage.js";
+import { lintCommand, mergeReviewResults } from "./Review.js";
+export * from "./GateTriage.js";
+/** `<index>-<command slug>.log`: one file per gate command, overwritten each run. */
+export const gateLogName = (index, command) => `${index}-${command
+    .join(" ")
+    .replace(/[^a-z0-9]+/giu, "-")
+    .replace(/^-|-$/gu, "")
+    .toLowerCase()}.log`;
+/** Runs the gates in a directory, stopping at the first red one (later output would be noise). */
+export const gatesIn = (process, events, commands, options = {}) => (workDir, laneEvents, log) => Effect.gen(function* () {
+    const sink = log ?? options.logDir;
+    const results = [];
+    for (const [index, command] of commands.entries()) {
+        const result = yield* lintCommand(process, laneEvents ?? events, command, workDir, {
+            ...(options.timeout === undefined ? {} : { timeout: options.timeout }),
+            ...(sink === undefined
+                ? {}
+                : { log: { files: sink.files, path: join(sink.dir, gateLogName(index, command)) } })
+        });
+        results.push(result);
+        if (!result.isClean) {
+            break;
+        }
+    }
+    return mergeReviewResults(results);
+});
+/** A landed epic keeps why a gate was red, not the target's whole test output. */
+export const compactGateLog = (text, roots) => normalizeGateOutput(text, roots).join("\n");
+/** The gate log directory of one story under a run's state folder. */
+export const storyGateLogDir = (stateDir, storyId) => join(stateDir, "stories", storyId, "gates");
+/**
+ * What `--land` keeps of the gates: no baselines (reproducible), and each
+ * story's gate logs reduced to their failing lines. Logs are enumerated from
+ * the story ids and the gate commands, so no listing is needed.
+ */
+export const compactGateArtifacts = Effect.fn("@llm4ts/flow/Gates.compactArtifacts")(function* (files, stateDir, storyIds, commands) {
+    const path = baselinesPath(stateDir);
+    const hadBaselines = (yield* files.read(path)) !== undefined;
+    if (hadBaselines) {
+        yield* files.remove(path);
+    }
+    let logs = 0;
+    for (const storyId of storyIds) {
+        for (const [index, command] of commands.entries()) {
+            const logPath = join(storyGateLogDir(stateDir, storyId), gateLogName(index, command));
+            const text = yield* files.read(logPath);
+            if (text === undefined) {
+                continue;
+            }
+            yield* files.writeAtomic(logPath, compactGateLog(text, []));
+            logs += 1;
+        }
+    }
+    return { baselines: hadBaselines ? 1 : 0, logs };
+});
+//# sourceMappingURL=Gates.js.map

package/dist/Gates.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Gates.js","sourceRoot":"","sources":["../src/Gates.ts"],"names":[],"mappings":"AAAA,4EAA4E;AAC5E,0EAA0E;AAC1E,+DAA+D;AAC/D,yCAAyC;AACzC,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAA;AAEhC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AAIvC,OAAO,EAAE,aAAa,EAAE,mBAAmB,EAAE,MAAM,iBAAiB,CAAA;AAEpE,OAAO,EAAE,WAAW,EAAE,kBAAkB,EAAqB,MAAM,aAAa,CAAA;AAEhF,cAAc,iBAAiB,CAAA;AAa/B,qFAAqF;AACrF,MAAM,CAAC,MAAM,WAAW,GAAG,CAAC,KAAa,EAAE,OAA8B,EAAU,EAAE,CACnF,GAAG,KAAK,IAAI,OAAO;KAChB,IAAI,CAAC,GAAG,CAAC;KACT,OAAO,CAAC,eAAe,EAAE,GAAG,CAAC;KAC7B,OAAO,CAAC,SAAS,EAAE,EAAE,CAAC;KACtB,WAAW,EAAE,MAAM,CAAA;AAExB,kGAAkG;AAClG,MAAM,CAAC,MAAM,OAAO,GAClB,CACE,OAA6B,EAC7B,MAAuB,EACvB,QAA8C,EAC9C,UAA0B,EAAE,EAC5B,EAAE,CACJ,CACE,OAAe,EACf,UAA4B,EAC5B,GAAgB,EACwB,EAAE,CAC1C,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,MAAM,IAAI,GAAG,GAAG,IAAI,OAAO,CAAC,MAAM,CAAA;IAClC,MAAM,OAAO,GAAwB,EAAE,CAAA;IACvC,KAAK,MAAM,CAAC,KAAK,EAAE,OAAO,CAAC,IAAI,QAAQ,CAAC,OAAO,EAAE,EAAE,CAAC;QAClD,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,WAAW,CAAC,OAAO,EAAE,UAAU,IAAI,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE;YACjF,GAAG,CAAC,OAAO,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,OAAO,EAAE,CAAC;YACtE,GAAG,CAAC,IAAI,KAAK,SAAS;gBACpB,CAAC,CAAC,EAAE;gBACJ,CAAC,CAAC,EAAE,GAAG,EAAE,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,WAAW,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC,EAAE,EAAE,CAAC;SACvF,CAAC,CAAA;QACF,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAA;QACpB,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC;YACpB,MAAK;QACP,CAAC;IACH,CAAC;IACD,OAAO,kBAAkB,CAAC,OAAO,CAAC,CAAA;AACpC,CAAC,CAAC,CAAA;AAEN,kFAAkF;AAClF,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC,IAAY,EAAE,KAA4B,EAAU,EAAE,CACnF,mBAAmB,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;AAE7C,sEAAsE;AACtE,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,QAAgB,EAAE,OAAe,EAAU,EAAE,CAC3E,IAAI,CAAC,QAAQ,EAAE,SAAS,EAAE,OAAO,EAAE,OAAO,CAAC,CAAA;AAE7C;;;;GAIG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAAG,MAAM,CAAC,EAAE,CAAC,qCAAqC,CAAC,CAAC,QAAQ,CAAC,EAC5F,KAA0B,EAC1B,QAAgB,EAChB,QAA+B,EAC/B,QAA8C;IAE9C,MAAM,IAAI,GAAG,aAAa,CAAC,QAAQ,CAAC,CAAA;IACpC,MAAM,YAAY,GAAG,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,KAAK,SAAS,CAAA;IAC5D,IAAI,YAAY,EAAE,CAAC;QACjB,KAAK,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAA;IAC3B,CAAC;IACD,IAAI,IAAI,GAAG,CAAC,CAAA;IACZ,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;QAC/B,KAAK,MAAM,CAAC,KAAK,EAAE,OAAO,CAAC,IAAI,QAAQ,CAAC,OAAO,EAAE,EAAE,CAAC;YAClD,MAAM,OAAO,GAAG,IAAI,CAAC,eAAe,CAAC,QAAQ,EAAE,OAAO,CAAC,EAAE,WAAW,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC,CAAA;YACrF,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAA;YACvC,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;gBACvB,SAAQ;YACV,CAAC;YACD,KAAK,CAAC,CAAC,KAAK,CAAC,WAAW,CAAC,OAAO,EAAE,cAAc,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,CAAA;YAC3D,IAAI,IAAI,CAAC,CAAA;QACX,CAAC;IACH,CAAC;IACD,OAAO,EAAE,SAAS,EAAE,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAA;AAClD,CAAC,CAAC,CAAA"}

package/dist/OracleGuard.d.ts

@@ -0,0 +1,53 @@
+import * as Schema from "effect/Schema";
+import { ReviewIssue } from "./Review.ts";
+declare const OracleRules_base: Schema.Class<OracleRules, Schema.Struct<{
+    /** Regex source: a path matching it is a test file. */
+    readonly testFiles: Schema.String;
+    /** Substrings whose appearance on an added line marks a skipped or focused test. */
+    readonly markers: Schema.$Array<Schema.String>;
+}>, {}>;
+export declare class OracleRules extends OracleRules_base {
+}
+export declare const defaultOracleRules: OracleRules;
+/** The parsed body of a pack's `## Oracle` section: `- tests: <regex>` and `- markers: a, b`. */
+export declare const oracleRulesFrom: (fields: {
+    readonly tests?: string;
+    readonly markers?: ReadonlyArray<string>;
+}) => OracleRules;
+export interface AddedLine {
+    readonly file: string;
+    readonly line: number;
+    readonly text: string;
+}
+export interface DiffShape {
+    /** Files the diff deletes outright. */
+    readonly deleted: ReadonlyArray<string>;
+    /** Lines the diff adds, with the path and the new line number. */
+    readonly added: ReadonlyArray<AddedLine>;
+}
+/** The deletions and added lines of a unified diff; pure, tolerant of noise between files. */
+export declare const parseUnifiedDiff: (diff: string) => DiffShape;
+/**
+ * The passed-test count in a test runner's output, when a summary line the
+ * guard knows is present (Vitest, Jest, pytest, cargo test, mocha, JUnit
+ * via Maven/Gradle); `undefined` otherwise, which the guard reports as an
+ * Info rather than a verdict.
+ */
+export declare const passedCountIn: (output: string) => number | undefined;
+export interface OracleCounts {
+    /** Tests passing on the base, from its baseline; `undefined` when unknown. */
+    readonly base: number | undefined;
+    /** Tests passing on the change, from its test gate; `undefined` when unknown. */
+    readonly current: number | undefined;
+}
+export declare const oracleIssuePrefix = "oracle: ";
+/**
+ * The guard's verdict on a change: one Critical per deleted test file, one
+ * per added marker (with `file:line`), one for a passed-count drop; empty
+ * when `declared` (the plan entry says tests may change). Counts are judged
+ * only when both are known; a caller reports the unknown case as an Info.
+ */
+export declare const checkOracle: (diff: DiffShape, counts: OracleCounts | undefined, rules: OracleRules, declared: boolean) => ReadonlyArray<ReviewIssue>;
+export declare const isOracleIssue: (issue: ReviewIssue) => boolean;
+export {};
+//# sourceMappingURL=OracleGuard.d.ts.map

package/dist/OracleGuard.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"OracleGuard.d.ts","sourceRoot":"","sources":["../src/OracleGuard.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,EAAE,WAAW,EAAE,MAAM,aAAa,CAAA;;IAGvC,uDAAuD;;IAEvD,oFAAoF;;;AAHtF,qBAAa,WAAY,SAAQ,gBAK/B;CAAG;AAEL,eAAO,MAAM,kBAAkB,aAgB7B,CAAA;AAEF,iGAAiG;AACjG,eAAO,MAAM,eAAe,GAAI,QAAQ;IACtC,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAA;IACvB,QAAQ,CAAC,OAAO,CAAC,EAAE,aAAa,CAAC,MAAM,CAAC,CAAA;CACzC,KAAG,WAIA,CAAA;AAEJ,MAAM,WAAW,SAAS;IACxB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CACtB;AAED,MAAM,WAAW,SAAS;IACxB,uCAAuC;IACvC,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAC,MAAM,CAAC,CAAA;IACvC,kEAAkE;IAClE,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC,SAAS,CAAC,CAAA;CACzC;AAKD,8FAA8F;AAC9F,eAAO,MAAM,gBAAgB,GAAI,MAAM,MAAM,KAAG,SAsC/C,CAAA;AAUD;;;;;GAKG;AACH,eAAO,MAAM,aAAa,GAAI,QAAQ,MAAM,KAAG,MAAM,GAAG,SAsBvD,CAAA;AAED,MAAM,WAAW,YAAY;IAC3B,8EAA8E;IAC9E,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,SAAS,CAAA;IACjC,iFAAiF;IACjF,QAAQ,CAAC,OAAO,EAAE,MAAM,GAAG,SAAS,CAAA;CACrC;AAED,eAAO,MAAM,iBAAiB,aAAa,CAAA;AAE3C;;;;;GAKG;AACH,eAAO,MAAM,WAAW,GACtB,MAAM,SAAS,EACf,QAAQ,YAAY,GAAG,SAAS,EAChC,OAAO,WAAW,EAClB,UAAU,OAAO,KAChB,aAAa,CAAC,WAAW,CA4C3B,CAAA;AAED,eAAO,MAAM,aAAa,GAAI,OAAO,WAAW,KAAG,OACR,CAAA"}

package/dist/OracleGuard.js

@@ -0,0 +1,165 @@
+// The oracle guard (ADR 0027, decision 4): a change may not delete a test
+// file, add a skip or focus marker, or lower the passed-test count unless
+// its plan entry says it may. Deterministic, from the diff and the gate
+// output; a violation is a gate failure the fix round can undo.
+import * as Schema from "effect/Schema";
+import { ReviewIssue } from "./Review.js";
+export class OracleRules extends Schema.Class("OracleRules")({
+    /** Regex source: a path matching it is a test file. */
+    testFiles: Schema.String,
+    /** Substrings whose appearance on an added line marks a skipped or focused test. */
+    markers: Schema.Array(Schema.String)
+}) {
+}
+export const defaultOracleRules = OracleRules.make({
+    testFiles: "(?:^|/)(?:__tests__|tests?|spec|src/test)/|\\.(?:test|spec)\\.[cm]?[jt]sx?$|_test\\.(?:go|py|rs)$|Tests?\\.(?:java|kt|scala|cs)$|^tests?_.*\\.py$",
+    markers: [
+        ".skip(",
+        ".only(",
+        "xit(",
+        "xdescribe(",
+        "xtest(",
+        "test.todo(",
+        "it.todo(",
+        "@Ignore",
+        "@Disabled",
+        "@pytest.mark.skip",
+        "#[ignore]"
+    ]
+});
+/** The parsed body of a pack's `## Oracle` section: `- tests: <regex>` and `- markers: a, b`. */
+export const oracleRulesFrom = (fields) => OracleRules.make({
+    testFiles: fields.tests ?? defaultOracleRules.testFiles,
+    markers: [...defaultOracleRules.markers, ...(fields.markers ?? [])]
+});
+const fileHeader = /^diff --git a\/(.+?) b\/(.+)$/u;
+const hunkHeader = /^@@ -\d+(?:,\d+)? \+(\d+)(?:,\d+)? @@/u;
+/** The deletions and added lines of a unified diff; pure, tolerant of noise between files. */
+export const parseUnifiedDiff = (diff) => {
+    const deleted = [];
+    const added = [];
+    let file;
+    let line = 0;
+    let inHunk = false;
+    for (const raw of diff.split(/\r?\n/u)) {
+        const header = fileHeader.exec(raw);
+        if (header !== null) {
+            file = header[2];
+            inHunk = false;
+            continue;
+        }
+        if (file === undefined)
+            continue;
+        if (raw.startsWith("deleted file mode")) {
+            deleted.push(file);
+            continue;
+        }
+        const hunk = hunkHeader.exec(raw);
+        if (hunk !== null) {
+            line = Number.parseInt(hunk[1] ?? "0", 10);
+            inHunk = true;
+            continue;
+        }
+        if (!inHunk)
+            continue;
+        if (raw.startsWith("+++") || raw.startsWith("---"))
+            continue;
+        if (raw.startsWith("+")) {
+            added.push({ file, line, text: raw.slice(1) });
+            line += 1;
+        }
+        else if (raw.startsWith("-")) {
+            // a removed line: the new file's numbering does not advance
+        }
+        else if (raw.startsWith("\\")) {
+            // ""
+        }
+        else {
+            line += 1;
+        }
+    }
+    return { deleted, added };
+};
+const vitestLike = /\bTests\b[^\n]*?(\d+)\s+passed/u;
+const jestLike = /\bTests:\s[^\n]*?(\d+)\s+passed/u;
+const pytestLike = /(?:^|\n)[^\n]*?\b(\d+)\s+passed\b[^\n]*\bin\s+[\d.]+s/u;
+const cargoLike = /test result:[^\n]*?(\d+)\s+passed/u;
+const mochaLike = /(?:^|\n)\s*(\d+)\s+passing\b/u;
+const junitLike = /Tests run:\s*(\d+),\s*Failures:\s*(\d+),\s*Errors:\s*(\d+)(?:,\s*Skipped:\s*(\d+))?/gu;
+/**
+ * The passed-test count in a test runner's output, when a summary line the
+ * guard knows is present (Vitest, Jest, pytest, cargo test, mocha, JUnit
+ * via Maven/Gradle); `undefined` otherwise, which the guard reports as an
+ * Info rather than a verdict.
+ */
+export const passedCountIn = (output) => {
+    for (const pattern of [vitestLike, jestLike, cargoLike, pytestLike, mochaLike]) {
+        const match = pattern.exec(output);
+        if (match?.[1] !== undefined) {
+            return Number.parseInt(match[1], 10);
+        }
+    }
+    // Maven prints a line per class and one grand total; the largest run is the total.
+    let largestRun = -1;
+    let passedOfLargest;
+    junitLike.lastIndex = 0;
+    for (let match = junitLike.exec(output); match !== null; match = junitLike.exec(output)) {
+        const run = Number.parseInt(match[1] ?? "0", 10);
+        const failures = Number.parseInt(match[2] ?? "0", 10);
+        const errors = Number.parseInt(match[3] ?? "0", 10);
+        const skipped = Number.parseInt(match[4] ?? "0", 10);
+        if (run >= largestRun) {
+            largestRun = run;
+            passedOfLargest = run - failures - errors - skipped;
+        }
+    }
+    return passedOfLargest;
+};
+export const oracleIssuePrefix = "oracle: ";
+/**
+ * The guard's verdict on a change: one Critical per deleted test file, one
+ * per added marker (with `file:line`), one for a passed-count drop; empty
+ * when `declared` (the plan entry says tests may change). Counts are judged
+ * only when both are known; a caller reports the unknown case as an Info.
+ */
+export const checkOracle = (diff, counts, rules, declared) => {
+    if (declared) {
+        return [];
+    }
+    const testFile = new RegExp(rules.testFiles, "u");
+    const issues = [];
+    for (const path of diff.deleted) {
+        if (testFile.test(path)) {
+            issues.push(ReviewIssue.make({
+                severity: "Critical",
+                title: `${oracleIssuePrefix}test file deleted: ${path}`,
+                description: "Restore it. A story may not delete a test unless its plan entry declares `testsChange: true`.",
+                file: path
+            }));
+        }
+    }
+    for (const line of diff.added) {
+        if (!testFile.test(line.file))
+            continue;
+        const marker = rules.markers.find((candidate) => line.text.includes(candidate));
+        if (marker === undefined)
+            continue;
+        issues.push(ReviewIssue.make({
+            severity: "Critical",
+            title: `${oracleIssuePrefix}skip or focus marker added: ${marker.trim()}`,
+            description: `${line.file}:${line.line}: ${line.text.trim()}\nRemove the marker and make the test pass, or report the test as wrong in your Findings.`,
+            file: line.file,
+            line: line.line
+        }));
+    }
+    if (counts?.base !== undefined && counts.current !== undefined && counts.current < counts.base) {
+        issues.push(ReviewIssue.make({
+            severity: "Critical",
+            title: `${oracleIssuePrefix}fewer tests pass than on the base (${counts.current} < ${counts.base})`,
+            description: "Tests were removed, skipped or no longer discovered. Restore them; declare `testsChange: true` on the story if the change is intended."
+        }));
+    }
+    return issues;
+};
+export const isOracleIssue = (issue) => issue.title.startsWith(oracleIssuePrefix);
+//# sourceMappingURL=OracleGuard.js.map

package/dist/OracleGuard.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"OracleGuard.js","sourceRoot":"","sources":["../src/OracleGuard.ts"],"names":[],"mappings":"AAAA,0EAA0E;AAC1E,0EAA0E;AAC1E,wEAAwE;AACxE,gEAAgE;AAChE,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,EAAE,WAAW,EAAE,MAAM,aAAa,CAAA;AAEzC,MAAM,OAAO,WAAY,SAAQ,MAAM,CAAC,KAAK,CAAc,aAAa,CAAC,CAAC;IACxE,uDAAuD;IACvD,SAAS,EAAE,MAAM,CAAC,MAAM;IACxB,oFAAoF;IACpF,OAAO,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC;CACrC,CAAC;CAAG;AAEL,MAAM,CAAC,MAAM,kBAAkB,GAAG,WAAW,CAAC,IAAI,CAAC;IACjD,SAAS,EACP,mJAAmJ;IACrJ,OAAO,EAAE;QACP,QAAQ;QACR,QAAQ;QACR,MAAM;QACN,YAAY;QACZ,QAAQ;QACR,YAAY;QACZ,UAAU;QACV,SAAS;QACT,WAAW;QACX,mBAAmB;QACnB,WAAW;KACZ;CACF,CAAC,CAAA;AAEF,iGAAiG;AACjG,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,MAG/B,EAAe,EAAE,CAChB,WAAW,CAAC,IAAI,CAAC;IACf,SAAS,EAAE,MAAM,CAAC,KAAK,IAAI,kBAAkB,CAAC,SAAS;IACvD,OAAO,EAAE,CAAC,GAAG,kBAAkB,CAAC,OAAO,EAAE,GAAG,CAAC,MAAM,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC;CACpE,CAAC,CAAA;AAeJ,MAAM,UAAU,GAAG,gCAAgC,CAAA;AACnD,MAAM,UAAU,GAAG,wCAAwC,CAAA;AAE3D,8FAA8F;AAC9F,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC,IAAY,EAAa,EAAE;IAC1D,MAAM,OAAO,GAAkB,EAAE,CAAA;IACjC,MAAM,KAAK,GAAqB,EAAE,CAAA;IAClC,IAAI,IAAwB,CAAA;IAC5B,IAAI,IAAI,GAAG,CAAC,CAAA;IACZ,IAAI,MAAM,GAAG,KAAK,CAAA;IAClB,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE,CAAC;QACvC,MAAM,MAAM,GAAG,UAAU,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;QACnC,IAAI,MAAM,KAAK,IAAI,EAAE,CAAC;YACpB,IAAI,GAAG,MAAM,CAAC,CAAC,CAAC,CAAA;YAChB,MAAM,GAAG,KAAK,CAAA;YACd,SAAQ;QACV,CAAC;QACD,IAAI,IAAI,KAAK,SAAS;YAAE,SAAQ;QAChC,IAAI,GAAG,CAAC,UAAU,CAAC,mBAAmB,CAAC,EAAE,CAAC;YACxC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;YAClB,SAAQ;QACV,CAAC;QACD,MAAM,IAAI,GAAG,UAAU,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;QACjC,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;YAClB,IAAI,GAAG,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,GAAG,EAAE,EAAE,CAAC,CAAA;YAC1C,MAAM,GAAG,IAAI,CAAA;YACb,SAAQ;QACV,CAAC;QACD,IAAI,CAAC,MAAM;YAAE,SAAQ;QACrB,IAAI,GAAG,CAAC,UAAU,CAAC,KAAK,CAAC,IAAI,GAAG,CAAC,UAAU,CAAC,KAAK,CAAC;YAAE,SAAQ;QAC5D,IAAI,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;YACxB,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAA;YAC9C,IAAI,IAAI,CAAC,CAAA;QACX,CAAC;aAAM,IAAI,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;YAC/B,4DAA4D;QAC9D,CAAC;aAAM,IAAI,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;YAChC,gCAAgC;QAClC,CAAC;aAAM,CAAC;YACN,IAAI,IAAI,CAAC,CAAA;QACX,CAAC;IACH,CAAC;IACD,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,CAAA;AAC3B,CAAC,CAAA;AAED,MAAM,UAAU,GAAG,iCAAiC,CAAA;AACpD,MAAM,QAAQ,GAAG,kCAAkC,CAAA;AACnD,MAAM,UAAU,GAAG,wDAAwD,CAAA;AAC3E,MAAM,SAAS,GAAG,oCAAoC,CAAA;AACtD,MAAM,SAAS,GAAG,+BAA+B,CAAA;AACjD,MAAM,SAAS,GACb,uFAAuF,CAAA;AAEzF;;;;;GAKG;AACH,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,MAAc,EAAsB,EAAE;IAClE,KAAK,MAAM,OAAO,IAAI,CAAC,UAAU,EAAE,QAAQ,EAAE,SAAS,EAAE,UAAU,EAAE,SAAS,CAAC,EAAE,CAAC;QAC/E,MAAM,KAAK,GAAG,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAA;QAClC,IAAI,KAAK,EAAE,CAAC,CAAC,CAAC,KAAK,SAAS,EAAE,CAAC;YAC7B,OAAO,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAA;QACtC,CAAC;IACH,CAAC;IACD,mFAAmF;IACnF,IAAI,UAAU,GAAG,CAAC,CAAC,CAAA;IACnB,IAAI,eAAmC,CAAA;IACvC,SAAS,CAAC,SAAS,GAAG,CAAC,CAAA;IACvB,KAAK,IAAI,KAAK,GAAG,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,KAAK,KAAK,IAAI,EAAE,KAAK,GAAG,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;QACxF,MAAM,GAAG,GAAG,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,GAAG,EAAE,EAAE,CAAC,CAAA;QAChD,MAAM,QAAQ,GAAG,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,GAAG,EAAE,EAAE,CAAC,CAAA;QACrD,MAAM,MAAM,GAAG,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,GAAG,EAAE,EAAE,CAAC,CAAA;QACnD,MAAM,OAAO,GAAG,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,GAAG,EAAE,EAAE,CAAC,CAAA;QACpD,IAAI,GAAG,IAAI,UAAU,EAAE,CAAC;YACtB,UAAU,GAAG,GAAG,CAAA;YAChB,eAAe,GAAG,GAAG,GAAG,QAAQ,GAAG,MAAM,GAAG,OAAO,CAAA;QACrD,CAAC;IACH,CAAC;IACD,OAAO,eAAe,CAAA;AACxB,CAAC,CAAA;AASD,MAAM,CAAC,MAAM,iBAAiB,GAAG,UAAU,CAAA;AAE3C;;;;;GAKG;AACH,MAAM,CAAC,MAAM,WAAW,GAAG,CACzB,IAAe,EACf,MAAgC,EAChC,KAAkB,EAClB,QAAiB,EACW,EAAE;IAC9B,IAAI,QAAQ,EAAE,CAAC;QACb,OAAO,EAAE,CAAA;IACX,CAAC;IACD,MAAM,QAAQ,GAAG,IAAI,MAAM,CAAC,KAAK,CAAC,SAAS,EAAE,GAAG,CAAC,CAAA;IACjD,MAAM,MAAM,GAAuB,EAAE,CAAA;IACrC,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;QAChC,IAAI,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YACxB,MAAM,CAAC,IAAI,CACT,WAAW,CAAC,IAAI,CAAC;gBACf,QAAQ,EAAE,UAAU;gBACpB,KAAK,EAAE,GAAG,iBAAiB,sBAAsB,IAAI,EAAE;gBACvD,WAAW,EACT,+FAA+F;gBACjG,IAAI,EAAE,IAAI;aACX,CAAC,CACH,CAAA;QACH,CAAC;IACH,CAAC;IACD,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;QAC9B,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;YAAE,SAAQ;QACvC,MAAM,MAAM,GAAG,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAA;QAC/E,IAAI,MAAM,KAAK,SAAS;YAAE,SAAQ;QAClC,MAAM,CAAC,IAAI,CACT,WAAW,CAAC,IAAI,CAAC;YACf,QAAQ,EAAE,UAAU;YACpB,KAAK,EAAE,GAAG,iBAAiB,+BAA+B,MAAM,CAAC,IAAI,EAAE,EAAE;YACzE,WAAW,EAAE,GAAG,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,2FAA2F;YACtJ,IAAI,EAAE,IAAI,CAAC,IAAI;YACf,IAAI,EAAE,IAAI,CAAC,IAAI;SAChB,CAAC,CACH,CAAA;IACH,CAAC;IACD,IAAI,MAAM,EAAE,IAAI,KAAK,SAAS,IAAI,MAAM,CAAC,OAAO,KAAK,SAAS,IAAI,MAAM,CAAC,OAAO,GAAG,MAAM,CAAC,IAAI,EAAE,CAAC;QAC/F,MAAM,CAAC,IAAI,CACT,WAAW,CAAC,IAAI,CAAC;YACf,QAAQ,EAAE,UAAU;YACpB,KAAK,EAAE,GAAG,iBAAiB,sCAAsC,MAAM,CAAC,OAAO,MAAM,MAAM,CAAC,IAAI,GAAG;YACnG,WAAW,EACT,wIAAwI;SAC3I,CAAC,CACH,CAAA;IACH,CAAC;IACD,OAAO,MAAM,CAAA;AACf,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,KAAkB,EAAW,EAAE,CAC3D,KAAK,CAAC,KAAK,CAAC,UAAU,CAAC,iBAAiB,CAAC,CAAA"}

package/dist/Pack.d.ts

@@ -3,6 +3,7 @@ import * as Schema from "effect/Schema";
 import { Dimension } from "@llm4ts/core/eval/Eval";
 import type { ConsolidateRules } from "./Domains.ts";
 import { PlanParseError } from "./FlowError.ts";
+import { type OracleRules } from "./OracleGuard.ts";
 import { type Reviewer } from "./Reviewer.ts";
 import { CoverageRule } from "./SpecChecks.ts";
 import type { WorkspaceError, WorkspaceShape } from "./Workspace.ts";
@@ -54,6 +55,12 @@ export interface Pack {
      * fragment as context (`context:`). Absent: every program is its own feature.
      */
     readonly consolidate: ConsolidateRules | undefined;
+    /**
+     * The `## Oracle` section (ADR 0027): `- tests: <regex>` for what a test
+     * file is and `- markers: a, b` for extra skip or focus markers, merged
+     * over the defaults. Absent: the defaults.
+     */
+    readonly oracle: OracleRules | undefined;
     readonly dir: string;
     readonly gate: (name: string) => ReadonlyArray<string> | undefined;
     readonly prompt: (name: string) => string | undefined;