patdown 0.3.1 → 0.5.0

package/dist/patdown-output.d.ts

@@ -2,26 +2,45 @@ import type { PatdownRulesDocument } from '@patdown/rules';
 import { type PatdownYesThreshold } from '@patdown/rules';
 import { Context, Effect, Layer } from 'effect';
 import { type PatdownJudgment } from '#src/patdown-judge';
+/** Optional 1-based span from a FAIL-only evidence Choice. */
+export type PatdownLintEvidenceSpan = {
+    readonly startLine: number;
+    readonly endLine: number;
+    readonly confidence: number;
+};
 /** One file/rule result; probability estimates a violation, not correctness of the verdict. */
 export type PatdownLintResult = {
     readonly violated: boolean;
     readonly ruleTitle: string;
+    readonly ruleBody: string;
+    readonly ruleGlobs: ReadonlyArray<string>;
     readonly filePath: string;
     readonly violationProbability: number;
     readonly yesThreshold: PatdownYesThreshold;
+    readonly elapsedMs: number;
+    readonly evidence?: PatdownLintEvidenceSpan;
 };
-declare const PatdownOutput_base: Context.ServiceClass<PatdownOutput, "@patdown/cli/PatdownOutput", {
-    readonly writeLintFailed: Effect.Effect<void>;
-    readonly writeLintOk: Effect.Effect<void>;
+/** Writers used by the PatdownOutput service. */
+export type PatdownOutputWriters = {
+    readonly writeLintFailed: (elapsedMs?: number) => Effect.Effect<void>;
+    readonly writeLintOk: (elapsedMs?: number) => Effect.Effect<void>;
     readonly writeLintResult: (result: PatdownLintResult, verbose: boolean) => Effect.Effect<void>;
     readonly writeNoFilesMatched: (ruleTitle: string) => Effect.Effect<void>;
-    readonly writeAnswer: (judgment: PatdownJudgment, verbose: boolean, yesThreshold?: PatdownYesThreshold) => Effect.Effect<void>;
+    readonly writeAnswer: (judgment: PatdownJudgment, verbose: boolean, yesThreshold?: PatdownYesThreshold, elapsedMs?: number) => Effect.Effect<void>;
     readonly writeRulesDocument: (document: PatdownRulesDocument) => Effect.Effect<void>;
-}>;
+};
+declare const PatdownOutput_base: Context.ServiceClass<PatdownOutput, "@patdown/cli/PatdownOutput", PatdownOutputWriters>;
 /** Swappable output service. Probability details are opt-in. */
 export declare class PatdownOutput extends PatdownOutput_base {
 }
-/** Default human-readable output, without provider-specific vocabulary. */
-export declare const PatdownOutputLive: Layer.Layer<PatdownOutput, never, never>;
+/** One-line writers shared with GitHub Actions job logs. */
+export declare const patdownStreamingHumanOutput: PatdownOutputWriters;
+/**
+ * Local human output. Quiet mode streams one PASS/FAIL line per judgment. Verbose mode groups
+ * judgments into per-rule console blocks.
+ */
+export declare const PatdownOutputLive: Layer.Layer<PatdownOutput>;
+/** @deprecated Use patdownStreamingHumanOutput for one-line logs. */
+export declare const patdownHumanOutput: PatdownOutputWriters;
 export {};
 //# sourceMappingURL=patdown-output.d.ts.map

package/dist/patdown-output.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"patdown-output.d.ts","sourceRoot":"","sources":["../src/patdown-output.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,gBAAgB,CAAA;AAC1D,OAAO,EAA8B,KAAK,mBAAmB,EAAE,MAAM,gBAAgB,CAAA;AACrF,OAAO,EAAW,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,QAAQ,CAAA;AAExD,OAAO,EAAwB,KAAK,eAAe,EAAE,MAAM,oBAAoB,CAAA;AAE/E,+FAA+F;AAC/F,MAAM,MAAM,iBAAiB,GAAG;IAC/B,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAA;IAC1B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAA;IAC1B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;IACzB,QAAQ,CAAC,oBAAoB,EAAE,MAAM,CAAA;IACrC,QAAQ,CAAC,YAAY,EAAE,mBAAmB,CAAA;CAC1C,CAAA;;8BAmD2B,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC;0BACvB,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC;8BACf,CAAC,MAAM,EAAE,iBAAiB,EAAE,OAAO,EAAE,OAAO,KAAK,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC;kCAChE,CAAC,SAAS,EAAE,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC;0BAClD,CACrB,QAAQ,EAAE,eAAe,EACzB,OAAO,EAAE,OAAO,EAChB,YAAY,CAAC,EAAE,mBAAmB,KAC9B,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC;iCACK,CAAC,QAAQ,EAAE,oBAAoB,KAAK,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC;;AAbtF,gEAAgE;AAChE,qBAAa,aAAc,SAAQ,kBAcF;CAAG;AAEpC,2EAA2E;AAC3E,eAAO,MAAM,iBAAiB,0CAQ5B,CAAA"}
+{"version":3,"file":"patdown-output.d.ts","sourceRoot":"","sources":["../src/patdown-output.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,gBAAgB,CAAA;AAC1D,OAAO,EAA8B,KAAK,mBAAmB,EAAE,MAAM,gBAAgB,CAAA;AACrF,OAAO,EAAW,OAAO,EAAE,MAAM,EAAE,KAAK,EAAO,MAAM,QAAQ,CAAA;AAM7D,OAAO,EAAwB,KAAK,eAAe,EAAE,MAAM,oBAAoB,CAAA;AAG/E,8DAA8D;AAC9D,MAAM,MAAM,uBAAuB,GAAG;IACrC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAA;IAC1B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;IACxB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAA;CAC3B,CAAA;AAED,+FAA+F;AAC/F,MAAM,MAAM,iBAAiB,GAAG;IAC/B,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAA;IAC1B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAA;IAC1B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;IACzB,QAAQ,CAAC,SAAS,EAAE,aAAa,CAAC,MAAM,CAAC,CAAA;IACzC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;IACzB,QAAQ,CAAC,oBAAoB,EAAE,MAAM,CAAA;IACrC,QAAQ,CAAC,YAAY,EAAE,mBAAmB,CAAA;IAC1C,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAA;IAC1B,QAAQ,CAAC,QAAQ,CAAC,EAAE,uBAAuB,CAAA;CAC3C,CAAA;AAoDD,iDAAiD;AACjD,MAAM,MAAM,oBAAoB,GAAG;IAClC,QAAQ,CAAC,eAAe,EAAE,CAAC,SAAS,CAAC,EAAE,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAA;IACrE,QAAQ,CAAC,WAAW,EAAE,CAAC,SAAS,CAAC,EAAE,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAA;IACjE,QAAQ,CAAC,eAAe,EAAE,CAAC,MAAM,EAAE,iBAAiB,EAAE,OAAO,EAAE,OAAO,KAAK,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAA;IAC9F,QAAQ,CAAC,mBAAmB,EAAE,CAAC,SAAS,EAAE,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAA;IACxE,QAAQ,CAAC,WAAW,EAAE,CACrB,QAAQ,EAAE,eAAe,EACzB,OAAO,EAAE,OAAO,EAChB,YAAY,CAAC,EAAE,mBAAmB,EAClC,SAAS,CAAC,EAAE,MAAM,KACd,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAA;IACxB,QAAQ,CAAC,kBAAkB,EAAE,CAAC,QAAQ,EAAE,oBAAoB,KAAK,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAA;CACpF,CAAA;;AAED,gEAAgE;AAChE,qBAAa,aAAc,SAAQ,kBAElC;CAAG;AAQJ,4DAA4D;AAC5D,eAAO,MAAM,2BAA2B,EAAE,oBA8BzC,CAAA;AAED;;;GAGG;AACH,eAAO,MAAM,iBAAiB,EAAE,KAAK,CAAC,KAAK,CAAC,aAAa,CA8ExD,CAAA;AAED,qEAAqE;AACrE,eAAO,MAAM,kBAAkB,sBAA8B,CAAA"}

package/dist/patdown-output.js

@@ -1,22 +1,20 @@
 import { defaultPatdownYesThreshold } from '@patdown/rules';
-import { Console, Context, Effect, Layer } from 'effect';
+import { Console, Context, Effect, Layer, Ref } from 'effect';
+import { formatPatdownLintResultLine, formatPatdownRuleBlock, } from '#src/patdown-console-rule-blocks';
 import { patdownJudgmentIsYes } from '#src/patdown-judge';
-function formatPatdownProbability(probability, yesThreshold) {
-    return `estimated P(yes): ${String(probability)}; cutoff: >${String(yesThreshold)}`;
+import { formatPatdownProbabilityBar } from '#src/patdown-probability-bar';
+function formatPatdownElapsedMs(elapsedMs) {
+    return `${String(elapsedMs)}ms`;
 }
-function formatPatdownAnswer(judgment, verbose, yesThreshold) {
+function formatPatdownProbability(probability, yesThreshold, elapsedMs) {
+    return `${formatPatdownProbabilityBar(probability)} estimated P(yes): ${String(probability)}; cutoff: >${String(yesThreshold)}; elapsed: ${formatPatdownElapsedMs(elapsedMs)}`;
+}
+function formatPatdownAnswer(judgment, verbose, yesThreshold, elapsedMs) {
     const answer = patdownJudgmentIsYes(judgment, yesThreshold) ? 'yes' : 'no';
     return verbose
-        ? `${answer} (${formatPatdownProbability(judgment.yesProbability, yesThreshold)})`
+        ? `${answer} (${formatPatdownProbability(judgment.yesProbability, yesThreshold, elapsedMs)})`
         : answer;
 }
-function formatPatdownLintResult(result, verbose) {
-    const verdict = result.violated ? 'FAIL' : 'PASS';
-    const line = `${verdict} ${result.filePath}: ${result.ruleTitle}`;
-    return verbose
-        ? `${line} (${formatPatdownProbability(result.violationProbability, result.yesThreshold)})`
-        : line;
-}
 function formatPatdownRulesDocument(document) {
     const lines = [
         `patdown: ${String(document.patdownRules.length)} rules from ${document.patdownRulesFilePath}`,
@@ -34,12 +32,87 @@ function formatPatdownRulesDocument(document) {
 /** Swappable output service. Probability details are opt-in. */
 export class PatdownOutput extends Context.Service()('@patdown/cli/PatdownOutput') {
 }
-/** Default human-readable output, without provider-specific vocabulary. */
-export const PatdownOutputLive = Layer.succeed(PatdownOutput, {
-    writeLintFailed: Console.log('patdown: failed'),
-    writeLintOk: Console.log('patdown: ok'),
-    writeLintResult: (result, verbose) => Console.log(formatPatdownLintResult(result, verbose)),
+function flushPatdownConsoleRuleBlock(buffer) {
+    if (buffer.ruleTitle === null)
+        return Effect.void;
+    return Console.log(formatPatdownRuleBlock(buffer.ruleTitle, buffer.results));
+}
+/** One-line writers shared with GitHub Actions job logs. */
+export const patdownStreamingHumanOutput = {
+    writeLintFailed: (elapsedMs) => Console.log(elapsedMs === undefined
+        ? 'patdown: failed'
+        : `patdown: failed (elapsed: ${formatPatdownElapsedMs(elapsedMs)})`),
+    writeLintOk: (elapsedMs) => Console.log(elapsedMs === undefined
+        ? 'patdown: passed'
+        : `patdown: passed (elapsed: ${formatPatdownElapsedMs(elapsedMs)})`),
+    writeLintResult: (result, verbose) => Console.log(verbose
+        ? `${formatPatdownLintResultLine(result)} (${formatPatdownProbability(result.violationProbability, result.yesThreshold, result.elapsedMs)})`
+        : formatPatdownLintResultLine(result)),
     writeNoFilesMatched: (title) => Console.log(`patdown: no files matched ${title}`),
-    writeAnswer: (judgment, verbose, yesThreshold = defaultPatdownYesThreshold) => Console.log(formatPatdownAnswer(judgment, verbose, yesThreshold)),
+    writeAnswer: (judgment, verbose, yesThreshold = defaultPatdownYesThreshold, elapsedMs = 0) => Console.log(formatPatdownAnswer(judgment, verbose, yesThreshold, elapsedMs)),
     writeRulesDocument: (document) => Console.log(formatPatdownRulesDocument(document)),
-});
+};
+/**
+ * Local human output. Quiet mode streams one PASS/FAIL line per judgment. Verbose mode groups
+ * judgments into per-rule console blocks.
+ */
+export const PatdownOutputLive = Layer.effect(PatdownOutput, Effect.gen(function* () {
+    const buffer = yield* Ref.make({
+        ruleTitle: null,
+        results: [],
+    });
+    const flush = () => Effect.gen(function* () {
+        const current = yield* Ref.get(buffer);
+        yield* flushPatdownConsoleRuleBlock(current);
+        yield* Ref.set(buffer, { ruleTitle: null, results: [] });
+    });
+    const writers = {
+        writeAnswer: patdownStreamingHumanOutput.writeAnswer,
+        writeRulesDocument: patdownStreamingHumanOutput.writeRulesDocument,
+        writeLintResult: (result, verbose) => {
+            if (!verbose) {
+                return patdownStreamingHumanOutput.writeLintResult(result, false);
+            }
+            return Effect.gen(function* () {
+                const current = yield* Ref.get(buffer);
+                if (current.ruleTitle !== null && current.ruleTitle !== result.ruleTitle) {
+                    yield* flushPatdownConsoleRuleBlock(current);
+                    yield* Ref.set(buffer, {
+                        ruleTitle: result.ruleTitle,
+                        results: [result],
+                    });
+                    return;
+                }
+                yield* Ref.set(buffer, {
+                    ruleTitle: result.ruleTitle,
+                    results: [...current.results, result],
+                });
+            });
+        },
+        writeNoFilesMatched: (title) => Effect.gen(function* () {
+            yield* flush();
+            yield* Console.log(formatPatdownRuleBlock(title, []));
+        }),
+        writeLintOk: (elapsedMs) => Effect.gen(function* () {
+            const current = yield* Ref.get(buffer);
+            const hadVerboseBlock = current.ruleTitle !== null;
+            yield* flush();
+            if (hadVerboseBlock) {
+                yield* Console.log('');
+            }
+            yield* patdownStreamingHumanOutput.writeLintOk(elapsedMs);
+        }),
+        writeLintFailed: (elapsedMs) => Effect.gen(function* () {
+            const current = yield* Ref.get(buffer);
+            const hadVerboseBlock = current.ruleTitle !== null;
+            yield* flush();
+            if (hadVerboseBlock) {
+                yield* Console.log('');
+            }
+            yield* patdownStreamingHumanOutput.writeLintFailed(elapsedMs);
+        }),
+    };
+    return writers;
+}));
+/** @deprecated Use patdownStreamingHumanOutput for one-line logs. */
+export const patdownHumanOutput = patdownStreamingHumanOutput;

package/dist/patdown-probability-bar.d.ts

@@ -0,0 +1,3 @@
+/** Ten-cell shade bar for estimated P(yes). Search for ▓ ▒ ░ to find the glyphs. */
+export declare function formatPatdownProbabilityBar(probability: number): string;
+//# sourceMappingURL=patdown-probability-bar.d.ts.map

package/dist/patdown-probability-bar.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"patdown-probability-bar.d.ts","sourceRoot":"","sources":["../src/patdown-probability-bar.ts"],"names":[],"mappings":"AAgBA,oFAAoF;AACpF,wBAAgB,2BAA2B,CAAC,WAAW,EAAE,MAAM,GAAG,MAAM,CAqBvE"}

package/dist/patdown-probability-bar.js

@@ -0,0 +1,29 @@
+const patdownProbabilityBarFilled = '▓';
+const patdownProbabilityBarPartial = '▒';
+const patdownProbabilityBarEmpty = '░';
+const patdownProbabilityBarWidth = 10;
+function clampPatdownProbability(probability) {
+    if (probability <= 0)
+        return 0;
+    if (probability >= 1)
+        return 1;
+    return probability;
+}
+/** Ten-cell shade bar for estimated P(yes). Search for ▓ ▒ ░ to find the glyphs. */
+export function formatPatdownProbabilityBar(probability) {
+    const filledCells = clampPatdownProbability(probability) * patdownProbabilityBarWidth;
+    const cells = [];
+    for (let index = 0; index < patdownProbabilityBarWidth; index += 1) {
+        const cellFill = filledCells - index;
+        if (cellFill >= 1) {
+            cells.push(patdownProbabilityBarFilled);
+            continue;
+        }
+        if (cellFill >= 0.5) {
+            cells.push(patdownProbabilityBarPartial);
+            continue;
+        }
+        cells.push(patdownProbabilityBarEmpty);
+    }
+    return cells.join('');
+}

package/dist/run-patdown-cli.d.ts

@@ -6,7 +6,9 @@ import { type PatdownOutput } from '#src/patdown-output';
 import type { PatdownRuleSourceLayer } from '#src/patdown-rule-source-adapter';
 /**
  * Returns a runnable CLI Effect. A supplied rule source disables discovery; argv excludes node and
- * script. The third and fourth arguments replace the judge and output layers independently.
+ * script. The third and fourth arguments replace the judge and output layers independently. Without
+ * an output layer, GitHub Actions summary/annotations turn on when GITHUB_ACTIONS and
+ * GITHUB_STEP_SUMMARY are set, unless argv includes --no-github.
  */
 export declare function runPatdownCli(ruleSourceLayer?: PatdownRuleSourceLayer, argv?: readonly string[], judgeLayer?: Layer.Layer<PatdownJudge, PatdownJudgeFailed>, outputLayer?: Layer.Layer<PatdownOutput>): Effect.Effect<void, PatdownRulesLoadFailed | PatdownJudgeFailed | CliError>;
 //# sourceMappingURL=run-patdown-cli.d.ts.map

package/dist/run-patdown-cli.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"run-patdown-cli.d.ts","sourceRoot":"","sources":["../src/run-patdown-cli.ts"],"names":[],"mappings":"AACA,OAAO,EAAiC,KAAK,sBAAsB,EAAE,MAAM,gBAAgB,CAAA;AAC3F,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,QAAQ,CAAA;AAEtC,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,8BAA8B,CAAA;AAI5D,OAAO,KAAK,EAAE,YAAY,EAAE,kBAAkB,EAAE,MAAM,oBAAoB,CAAA;AAC1E,OAAO,EAAqB,KAAK,aAAa,EAAE,MAAM,qBAAqB,CAAA;AAC3E,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,kCAAkC,CAAA;AAG9E;;;GAGG;AACH,wBAAgB,aAAa,CAC5B,eAAe,CAAC,EAAE,sBAAsB,EACxC,IAAI,GAAE,SAAS,MAAM,EAA0B,EAC/C,UAAU,GAAE,KAAK,CAAC,KAAK,CAAC,YAAY,EAAE,kBAAkB,CAAqB,EAC7E,WAAW,GAAE,KAAK,CAAC,KAAK,CAAC,aAAa,CAAqB,GACzD,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,sBAAsB,GAAG,kBAAkB,GAAG,QAAQ,CAAC,CAS7E"}
+{"version":3,"file":"run-patdown-cli.d.ts","sourceRoot":"","sources":["../src/run-patdown-cli.ts"],"names":[],"mappings":"AACA,OAAO,EAAiC,KAAK,sBAAsB,EAAE,MAAM,gBAAgB,CAAA;AAC3F,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,QAAQ,CAAA;AAEtC,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,8BAA8B,CAAA;AAM5D,OAAO,KAAK,EAAE,YAAY,EAAE,kBAAkB,EAAE,MAAM,oBAAoB,CAAA;AAC1E,OAAO,EAAqB,KAAK,aAAa,EAAE,MAAM,qBAAqB,CAAA;AAC3E,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,kCAAkC,CAAA;AAO9E;;;;;GAKG;AACH,wBAAgB,aAAa,CAC5B,eAAe,CAAC,EAAE,sBAAsB,EACxC,IAAI,GAAE,SAAS,MAAM,EAA0B,EAC/C,UAAU,GAAE,KAAK,CAAC,KAAK,CAAC,YAAY,EAAE,kBAAkB,CAAqB,EAC7E,WAAW,CAAC,EAAE,KAAK,CAAC,KAAK,CAAC,aAAa,CAAC,GACtC,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,sBAAsB,GAAG,kBAAkB,GAAG,QAAQ,CAAC,CAmB7E"}

package/dist/run-patdown-cli.js

@@ -4,14 +4,27 @@ import { Effect, Layer } from 'effect';
 import { Command } from 'effect/unstable/cli';
 import { makePatdownCommand } from '#src/cli';
 import { patdownCliVersion } from '#src/patdown-cli-version';
+import { patdownGitHubActionsIsEnabled } from '#src/patdown-github-actions-env';
+import { PatdownGitHubActionsOutputLive } from '#src/patdown-github-actions-output';
 import { PatdownOutputLive } from '#src/patdown-output';
 import { TypeSafeJudgeLive } from '#src/typesafe-judge';
+function argvDisablesPatdownGitHubActions(argv) {
+    return argv.includes('--no-github');
+}
 /**
  * Returns a runnable CLI Effect. A supplied rule source disables discovery; argv excludes node and
- * script. The third and fourth arguments replace the judge and output layers independently.
+ * script. The third and fourth arguments replace the judge and output layers independently. Without
+ * an output layer, GitHub Actions summary/annotations turn on when GITHUB_ACTIONS and
+ * GITHUB_STEP_SUMMARY are set, unless argv includes --no-github.
  */
-export function runPatdownCli(ruleSourceLayer, argv = process.argv.slice(2), judgeLayer = TypeSafeJudgeLive, outputLayer = PatdownOutputLive) {
+export function runPatdownCli(ruleSourceLayer, argv = process.argv.slice(2), judgeLayer = TypeSafeJudgeLive, outputLayer) {
     const command = makePatdownCommand(ruleSourceLayer === undefined);
     const source = ruleSourceLayer ?? MarkdownPatdownRuleSourceLive;
-    return Command.runWith(command, { version: patdownCliVersion })(argv).pipe(Effect.provide(Layer.mergeAll(source, judgeLayer, outputLayer).pipe(Layer.provideMerge(NodeServices.layer))));
+    return Effect.gen(function* () {
+        const selectedOutput = outputLayer ??
+            (argvDisablesPatdownGitHubActions(argv) || !(yield* patdownGitHubActionsIsEnabled)
+                ? PatdownOutputLive
+                : PatdownGitHubActionsOutputLive);
+        yield* Command.runWith(command, { version: patdownCliVersion })(argv).pipe(Effect.provide(Layer.mergeAll(source, judgeLayer, selectedOutput).pipe(Layer.provideMerge(NodeServices.layer))));
+    });
 }

package/dist/typesafe-judge.d.ts

@@ -1,5 +1,6 @@
 import { Layer } from 'effect';
 import { PatdownJudge } from '#src/patdown-judge';
+export { patdownEvidenceMinConfidence } from '#src/patdown-evidence-regions';
 /**
  * Temporary TypeSafe backend. Replace this layer with Effect Decision/DecisionModel when available;
  * see issue #1.

package/dist/typesafe-judge.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"typesafe-judge.d.ts","sourceRoot":"","sources":["../src/typesafe-judge.ts"],"names":[],"mappings":"AACA,OAAO,EAAU,KAAK,EAAE,MAAM,QAAQ,CAAA;AAGtC,OAAO,EAAE,YAAY,EAA4C,MAAM,oBAAoB,CAAA;AAE3F;;;GAGG;AACH,eAAO,MAAM,iBAAiB,yCAcS,CAAA"}
+{"version":3,"file":"typesafe-judge.d.ts","sourceRoot":"","sources":["../src/typesafe-judge.ts"],"names":[],"mappings":"AACA,OAAO,EAAU,KAAK,EAAE,MAAM,QAAQ,CAAA;AAOtC,OAAO,EACN,YAAY,EAIZ,MAAM,oBAAoB,CAAA;AAE3B,OAAO,EAAE,4BAA4B,EAAE,MAAM,+BAA+B,CAAA;AAE5E;;;GAGG;AACH,eAAO,MAAM,iBAAiB,yCAmCS,CAAA"}

package/dist/typesafe-judge.js

@@ -1,7 +1,9 @@
 import { JevSystemOne, JevSystemOneLive } from '@patdown/jev';
 import { Effect, Layer } from 'effect';
 import { FetchHttpClient } from 'effect/unstable/http';
-import { PatdownJudge, PatdownJudgeFailed } from '#src/patdown-judge';
+import { patdownEvidenceMinConfidence, patdownEvidenceNoMatchChoice, } from '#src/patdown-evidence-regions';
+import { PatdownJudge, PatdownJudgeFailed, } from '#src/patdown-judge';
+export { patdownEvidenceMinConfidence } from '#src/patdown-evidence-regions';
 /**
  * Temporary TypeSafe backend. Replace this layer with Effect Decision/DecisionModel when available;
  * see issue #1.
@@ -10,5 +12,17 @@ export const TypeSafeJudgeLive = Layer.effect(PatdownJudge, Effect.gen(function*
     const client = yield* JevSystemOne;
     return {
         ask: (question, inputText) => client.askNoul(question, inputText).pipe(Effect.map((answer) => ({ yesProbability: answer.noul })), Effect.mapError((error) => new PatdownJudgeFailed({ message: error.message })), Effect.provide(FetchHttpClient.layer)),
+        locateEvidence: (question, inputText, criteria) => client.askChoice(question, inputText, criteria).pipe(Effect.map((answer) => {
+            if (answer.choice === patdownEvidenceNoMatchChoice())
+                return null;
+            if (answer.confidence < patdownEvidenceMinConfidence)
+                return null;
+            if (!(answer.choice in criteria))
+                return null;
+            return {
+                regionId: answer.choice,
+                confidence: answer.confidence,
+            };
+        }), Effect.mapError((error) => new PatdownJudgeFailed({ message: error.message })), Effect.provide(FetchHttpClient.layer)),
     };
 })).pipe(Layer.provide(JevSystemOneLive));

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "patdown",
-  "version": "0.3.1",
+  "version": "0.5.0",
   "description": "Standalone CLI that lints a tree against fuzzy markdown rules",
   "homepage": "https://github.com/tyler-dot-earth/patdown",
   "bugs": {
@@ -48,8 +48,8 @@
     "@effect/platform-node": "4.0.0-rc.112",
     "effect": "4.0.0-rc.112",
     "import-meta-resolve": "4.2.0",
-    "@patdown/jev": "0.3.1",
-    "@patdown/rules": "0.3.1"
+    "@patdown/jev": "0.5.0",
+    "@patdown/rules": "0.5.0"
   },
   "devDependencies": {
     "@effect/language-service": "0.87.2",