patdown 0.4.0 → 0.5.0

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;AAG/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;IAC1C,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAA;CAC1B,CAAA;;8BA4D2B,CAAC,SAAS,CAAC,EAAE,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC;0BAC/C,CAAC,SAAS,CAAC,EAAE,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC;8BACvC,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,EAClC,SAAS,CAAC,EAAE,MAAM,KACd,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC;iCACK,CAAC,QAAQ,EAAE,oBAAoB,KAAK,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC;;AAdtF,gEAAgE;AAChE,qBAAa,aAAc,SAAQ,kBAeF;CAAG;AAEpC,2EAA2E;AAC3E,eAAO,MAAM,iBAAiB,0CAkB5B,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,5 +1,6 @@
 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';
 import { formatPatdownProbabilityBar } from '#src/patdown-probability-bar';
 function formatPatdownElapsedMs(elapsedMs) {
@@ -14,13 +15,6 @@ function formatPatdownAnswer(judgment, verbose, yesThreshold, elapsedMs) {
         ? `${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, result.elapsedMs)})`
-        : line;
-}
 function formatPatdownRulesDocument(document) {
     const lines = [
         `patdown: ${String(document.patdownRules.length)} rules from ${document.patdownRulesFilePath}`,
@@ -38,16 +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, {
+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: ok'
-        : `patdown: ok (elapsed: ${formatPatdownElapsedMs(elapsedMs)})`),
-    writeLintResult: (result, verbose) => Console.log(formatPatdownLintResult(result, verbose)),
+        ? '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, 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/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.4.0",
+  "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.4.0",
-    "@patdown/rules": "0.4.0"
+    "@patdown/jev": "0.5.0",
+    "@patdown/rules": "0.5.0"
   },
   "devDependencies": {
     "@effect/language-service": "0.87.2",
@@ -61,8 +61,8 @@
     "oxlint-tsgolint": "^7.0.2001",
     "typescript": "7.0.2",
     "vitest": "^4.1.11",
-    "@patdown/tsconfig": "0.0.0",
-    "@patdown/oxlint-config": "0.0.0"
+    "@patdown/oxlint-config": "0.0.0",
+    "@patdown/tsconfig": "0.0.0"
   },
   "engines": {
     "node": ">=22.22.2"