patdown 0.3.1 → 0.4.0

package/README.md

@@ -28,7 +28,7 @@ pnpm -w patdown -- ask "Is this urgent?" --input-text "ASAP" --verbose
 pnpm -w patdown -- --yes-threshold 0.9
 ```
 
-Default command lints from the current directory. `rules` prints what it loaded. `ask` answers a yes/no question, no files involved. It prints `yes` or `no`; `--verbose` also shows the estimated probability of yes and the cutoff. The old `--noul` and `--state` flags have been replaced by a positional question and `--input-text`.
+Default command lints from the current directory. `rules` prints what it loaded. `ask` answers a yes/no question, no files involved. It prints `yes` or `no`; `--verbose` also shows a P(yes) shade bar, the cutoff, and how long the judge call took. The old `--noul` and `--state` flags have been replaced by a positional question and `--input-text`.
 
 To judge piped output, use `--stdin`. For example, after building with `pnpm -w build` or running any `pnpm -w patdown` command:
 
@@ -119,7 +119,12 @@ FAIL README.md: No title case
 patdown: failed
 ```
 
-Exit 1 on a violation, a missing rules file, a read error, an invalid cutoff, or a judge error. Add `--verbose` to show probabilities. Patdown counts estimated P(yes) strictly above the cutoff as yes; for lint, yes means violation. Default cutoff is 0.85. Override it with `--yes-threshold`, package.json `patdown.yesThreshold`, or a per-rule `yes-threshold:` line. The flag wins over package.json; a per-rule value wins for that rule only. `1` is rejected because nothing can exceed it. This cutoff belongs to patdown, not the provider.
+Exit 1 on a violation, a missing rules file, a read error, an invalid cutoff, or a judge error. Add `--verbose` to show a P(yes) shade bar, the numeric probability, the cutoff, and elapsed judge time. Lint totals that time across every rule/file pair.
+
+````
+FAIL service.ts: explicit-actor (▓▓▓▓▓▓▓▓▒░ estimated P(yes): 0.86; cutoff: >0.85; elapsed: 312ms)
+patdown: failed (elapsed: 1840ms)
+``` Patdown counts estimated P(yes) strictly above the cutoff as yes; for lint, yes means violation. Default cutoff is 0.85. Override it with `--yes-threshold`, package.json `patdown.yesThreshold`, or a per-rule `yes-threshold:` line. The flag wins over package.json; a per-rule value wins for that rule only. `1` is rejected because nothing can exceed it. This cutoff belongs to patdown, not the provider.
 
 See [judge providers](docs/judge-providers.md) for custom layers and the planned Effect Decision integration.
 
@@ -162,7 +167,7 @@ await Effect.runPromise(
 		JsonOutputLive,
 	),
 )
-```
+````
 
 The output service receives structured judgments and lint results, including probabilities even when `--verbose` is off. Your layer decides what to print, collect, or omit. Formatting does not change the cutoff or exit status. The example emits one JSON object per output event, not a single JSON document for the entire run.
 
@@ -196,6 +201,8 @@ Inspired by [pi-warden](https://github.com/DevMortimer/pi-warden). Same idea, in
 
 [Abide](https://github.com/coldteadotai/abide) is a similar Jev-backed checker. It hooks into coding agents, reads project instruction files, and asks Jev whether each edit or turn broke a rule.
 
+[Jev Review](https://github.com/devagrawal09/jev-review) is a Jev-backed diff/codebase reviewer with a local dashboard of those judgments. Patdown stays in the terminal; `--verbose` draws a P(yes) shade bar instead of a GUI.
+
 Name inspired by It's Always Sunny in Philadelphia
 
 <img width="511" height="415" alt="image" src="https://github.com/user-attachments/assets/f7c73138-3914-4fbd-9e6b-7a37d161334a" />

package/dist/cli.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"cli.d.ts","sourceRoot":"","sources":["../src/cli.ts"],"names":[],"mappings":"AAAA,OAAO,EACN,iBAAiB,EAKjB,MAAM,gBAAgB,CAAA;AACvB,OAAO,EAAU,UAAU,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,QAAQ,CAAA;AACxD,OAAO,EAAY,OAAO,EAAQ,MAAM,qBAAqB,CAAA;AAE7D,OAAO,EAAE,YAAY,EAAuC,MAAM,oBAAoB,CAAA;AAEtF,OAAO,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAA;AA4BnD,KAAK,mBAAmB,GACrB,UAAU,CAAC,UAAU,GACrB,KAAK,CAAC,KAAK,GACX,YAAY,GACZ,IAAI,CAAC,IAAI,GACT,aAAa,GACb,iBAAiB,CAAA;AAmBpB,4EAA4E;AAC5E,wBAAgB,kBAAkB,CACjC,gBAAgB,GAAE,OAAc,GAC9B,OAAO,CAAC,OAAO,CAAC,SAAS,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,mBAAmB,CAAC,CA6GvE;AAED,uEAAuE;AACvE,eAAO,MAAM,cAAc,uEAAuB,CAAA"}
+{"version":3,"file":"cli.d.ts","sourceRoot":"","sources":["../src/cli.ts"],"names":[],"mappings":"AAAA,OAAO,EACN,iBAAiB,EAKjB,MAAM,gBAAgB,CAAA;AACvB,OAAO,EAAU,UAAU,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,QAAQ,CAAA;AACxD,OAAO,EAAY,OAAO,EAAQ,MAAM,qBAAqB,CAAA;AAE7D,OAAO,EAAE,YAAY,EAAuC,MAAM,oBAAoB,CAAA;AAEtF,OAAO,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAA;AA8BnD,KAAK,mBAAmB,GACrB,UAAU,CAAC,UAAU,GACrB,KAAK,CAAC,KAAK,GACX,YAAY,GACZ,IAAI,CAAC,IAAI,GACT,aAAa,GACb,iBAAiB,CAAA;AAuBpB,4EAA4E;AAC5E,wBAAgB,kBAAkB,CACjC,gBAAgB,GAAE,OAAc,GAC9B,OAAO,CAAC,OAAO,CAAC,SAAS,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,mBAAmB,CAAC,CA6GvE;AAED,uEAAuE;AACvE,eAAO,MAAM,cAAc,uEAAuB,CAAA"}

package/dist/cli.js

@@ -12,20 +12,20 @@ const failPatdown = (message) => Effect.sync(() => {
     process.stderr.write(`${message}\n`);
 });
 const rulesFileFlag = Flag.optional(Flag.string('rules')).pipe(Flag.withDescription('Path passed to the rule source. Markdown skips the AGENTS.PATDOWN.md walk'));
-const verboseFlag = Flag.boolean('verbose').pipe(Flag.withDefault(false), Flag.withDescription('Show estimated yes probabilities and the decision cutoff'));
+const verboseFlag = Flag.boolean('verbose').pipe(Flag.withDefault(false), Flag.withDescription('Show estimated yes probabilities, the decision cutoff, and elapsed judge time'));
 const adapterFlag = Flag.optional(Flag.string('adapter')).pipe(Flag.withDescription('Module exporting PatdownRuleSourceLive, replacingkdown rule parsing'));
 const yesThresholdFlag = Flag.optional(Flag.float('yes-threshold')).pipe(Flag.withDescription('Minimum exclusive P(yes) for yes; default 0.85, overridable per rule'));
-function finishPatdownLint(failed) {
+function finishPatdownLint(failed, verbose, elapsedMs) {
     return Effect.gen(function* () {
         const output = yield* PatdownOutput;
         if (failed) {
-            yield* output.writeLintFailed;
+            yield* output.writeLintFailed(verbose ? elapsedMs : undefined);
             yield* Effect.sync(() => {
                 process.exitCode = 1;
             });
             return;
         }
-        yield* output.writeLintOk;
+        yield* output.writeLintOk(verbose ? elapsedMs : undefined);
     });
 }
 /** Builds commands with optional adapter discovery for embedded callers. */
@@ -53,8 +53,8 @@ export function makePatdownCommand(discoverAdapters = true) {
         const output = yield* PatdownOutput;
         const text = yield* readPatdownQuestionInput(inputText, stdin);
         const cutoff = yield* resolvePatdownYesThreshold(yesThreshold);
-        const answer = yield* askPatdownJudge(question, text);
-        yield* output.writeAnswer(answer, verbose, cutoff);
+        const timed = yield* askPatdownJudge(question, text);
+        yield* output.writeAnswer(timed.judgment, verbose, cutoff, timed.elapsedMs);
     }).pipe(Effect.catchTags({
         PatdownJudgeFailed: (error) => failPatdown(error.message),
         PatdownYesThresholdInvalid: (error) => failPatdown(error.message),
@@ -71,8 +71,8 @@ export function makePatdownCommand(discoverAdapters = true) {
         const document = yield* discoverAdapters
             ? loadConfiguredPatdownRules(adapter, rules)
             : patdownRuleSource.loadPatdownRules(rules);
-        const failed = yield* runPatdownLint(document, verbose, cutoff);
-        yield* finishPatdownLint(failed);
+        const linted = yield* runPatdownLint(document, verbose, cutoff);
+        yield* finishPatdownLint(linted.failed, verbose, linted.elapsedMs);
     }).pipe(Effect.catchTags({
         PatdownRulesLoadFailed: (error) => failPatdown(error.message),
         PatdownJudgeFailed: (error) => failPatdown(error.message),

package/dist/index.d.ts

@@ -2,7 +2,7 @@ export { patdownCommand, makePatdownCommand } from '#src/cli';
 export { PatdownOutput, PatdownOutputLive, type PatdownLintResult } from '#src/patdown-output';
 export type { PatdownRuleSourceLayer } from '#src/patdown-rule-source-adapter';
 export { runPatdownCli } from '#src/run-patdown-cli';
-export { PatdownJudge, PatdownJudgeFailed, PatdownJudgmentSchema, askPatdownJudge, patdownJudgmentIsYes, patdownYesThreshold, type PatdownJudgment, } from '#src/patdown-judge';
+export { PatdownJudge, PatdownJudgeFailed, PatdownJudgmentSchema, askPatdownJudge, patdownJudgmentIsYes, patdownYesThreshold, type PatdownJudgment, type PatdownTimedJudgment, } from '#src/patdown-judge';
 export { defaultPatdownYesThreshold, decodePatdownYesThreshold, PatdownYesThresholdInvalid, type PatdownYesThreshold, } from '@patdown/rules';
 export { TypeSafeJudgeLive } from '#src/typesafe-judge';
 //# sourceMappingURL=index.d.ts.map

package/dist/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,cAAc,EAAE,kBAAkB,EAAE,MAAM,UAAU,CAAA;AAE7D,OAAO,EAAE,aAAa,EAAE,iBAAiB,EAAE,KAAK,iBAAiB,EAAE,MAAM,qBAAqB,CAAA;AAE9F,YAAY,EAAE,sBAAsB,EAAE,MAAM,kCAAkC,CAAA;AAE9E,OAAO,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAA;AAEpD,OAAO,EACN,YAAY,EACZ,kBAAkB,EAClB,qBAAqB,EACrB,eAAe,EACf,oBAAoB,EACpB,mBAAmB,EACnB,KAAK,eAAe,GACpB,MAAM,oBAAoB,CAAA;AAE3B,OAAO,EACN,0BAA0B,EAC1B,yBAAyB,EACzB,0BAA0B,EAC1B,KAAK,mBAAmB,GACxB,MAAM,gBAAgB,CAAA;AAEvB,OAAO,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAA"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,cAAc,EAAE,kBAAkB,EAAE,MAAM,UAAU,CAAA;AAE7D,OAAO,EAAE,aAAa,EAAE,iBAAiB,EAAE,KAAK,iBAAiB,EAAE,MAAM,qBAAqB,CAAA;AAE9F,YAAY,EAAE,sBAAsB,EAAE,MAAM,kCAAkC,CAAA;AAE9E,OAAO,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAA;AAEpD,OAAO,EACN,YAAY,EACZ,kBAAkB,EAClB,qBAAqB,EACrB,eAAe,EACf,oBAAoB,EACpB,mBAAmB,EACnB,KAAK,eAAe,EACpB,KAAK,oBAAoB,GACzB,MAAM,oBAAoB,CAAA;AAE3B,OAAO,EACN,0BAA0B,EAC1B,yBAAyB,EACzB,0BAA0B,EAC1B,KAAK,mBAAmB,GACxB,MAAM,gBAAgB,CAAA;AAEvB,OAAO,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAA"}

package/dist/patdown-judge.d.ts

@@ -6,6 +6,11 @@ export declare const PatdownJudgmentSchema: Schema.Struct<{
 }>;
 /** A judge estimates the probability that the question is true of the supplied text. */
 export type PatdownJudgment = typeof PatdownJudgmentSchema.Type;
+/** A validated judgment plus how long the judge call took. */
+export type PatdownTimedJudgment = {
+    readonly judgment: PatdownJudgment;
+    readonly elapsedMs: number;
+};
 declare const PatdownJudgeFailed_base: new <A extends Record<string, any> = {}>(args: import("effect/Types").VoidIfEmpty<{ readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }>) => import("effect/Cause").YieldableError & {
     readonly _tag: "PatdownJudgeFailed";
 } & Readonly<A>;
@@ -25,6 +30,6 @@ export declare const patdownYesThreshold = 0.85;
 /** Applies a cutoff to a validated probability. Equality is not yes. */
 export declare function patdownJudgmentIsYes(judgment: PatdownJudgment, yesThreshold?: PatdownYesThreshold): boolean;
 /** Validates custom judge responses at the service boundary before applying policy or printing. */
-export declare function askPatdownJudge(question: string, inputText: string): Effect.Effect<PatdownJudgment, PatdownJudgeFailed, PatdownJudge>;
+export declare function askPatdownJudge(question: string, inputText: string): Effect.Effect<PatdownTimedJudgment, PatdownJudgeFailed, PatdownJudge>;
 export {};
 //# sourceMappingURL=patdown-judge.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"patdown-judge.d.ts","sourceRoot":"","sources":["../src/patdown-judge.ts"],"names":[],"mappings":"AAAA,OAAO,EAGN,KAAK,mBAAmB,EACxB,MAAM,gBAAgB,CAAA;AACvB,OAAO,EAAE,OAAO,EAAQ,MAAM,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAEtD,0FAA0F;AAC1F,eAAO,MAAM,qBAAqB;;EAEhC,CAAA;AAEF,wFAAwF;AACxF,MAAM,MAAM,eAAe,GAAG,OAAO,qBAAqB,CAAC,IAAI,CAAA;;;;AAE/D,2EAA2E;AAC3E,qBAAa,kBAAmB,SAAQ,wBAAuC;IAC9E,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;CACxB,CAAC;CAAG;;kBAMW,CACb,QAAQ,EAAE,MAAM,EAChB,SAAS,EAAE,MAAM,KACb,MAAM,CAAC,MAAM,CAAC,eAAe,EAAE,kBAAkB,CAAC;;AAPzD,6FAA6F;AAC7F,qBAAa,YAAa,SAAQ,iBAQF;CAAG;AAEnC,uFAAuF;AACvF,eAAO,MAAM,mBAAmB,OAA6B,CAAA;AAE7D,wEAAwE;AACxE,wBAAgB,oBAAoB,CACnC,QAAQ,EAAE,eAAe,EACzB,YAAY,GAAE,mBAAgD,GAC5D,OAAO,CAET;AAED,mGAAmG;AACnG,wBAAgB,eAAe,CAC9B,QAAQ,EAAE,MAAM,EAChB,SAAS,EAAE,MAAM,GACf,MAAM,CAAC,MAAM,CAAC,eAAe,EAAE,kBAAkB,EAAE,YAAY,CAAC,CAYlE"}
+{"version":3,"file":"patdown-judge.d.ts","sourceRoot":"","sources":["../src/patdown-judge.ts"],"names":[],"mappings":"AAAA,OAAO,EAGN,KAAK,mBAAmB,EACxB,MAAM,gBAAgB,CAAA;AACvB,OAAO,EAAS,OAAO,EAAQ,MAAM,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAE7D,0FAA0F;AAC1F,eAAO,MAAM,qBAAqB;;EAEhC,CAAA;AAEF,wFAAwF;AACxF,MAAM,MAAM,eAAe,GAAG,OAAO,qBAAqB,CAAC,IAAI,CAAA;AAE/D,8DAA8D;AAC9D,MAAM,MAAM,oBAAoB,GAAG;IAClC,QAAQ,CAAC,QAAQ,EAAE,eAAe,CAAA;IAClC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAA;CAC1B,CAAA;;;;AAED,2EAA2E;AAC3E,qBAAa,kBAAmB,SAAQ,wBAAuC;IAC9E,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;CACxB,CAAC;CAAG;;kBAMW,CACb,QAAQ,EAAE,MAAM,EAChB,SAAS,EAAE,MAAM,KACb,MAAM,CAAC,MAAM,CAAC,eAAe,EAAE,kBAAkB,CAAC;;AAPzD,6FAA6F;AAC7F,qBAAa,YAAa,SAAQ,iBAQF;CAAG;AAEnC,uFAAuF;AACvF,eAAO,MAAM,mBAAmB,OAA6B,CAAA;AAE7D,wEAAwE;AACxE,wBAAgB,oBAAoB,CACnC,QAAQ,EAAE,eAAe,EACzB,YAAY,GAAE,mBAAgD,GAC5D,OAAO,CAET;AAED,mGAAmG;AACnG,wBAAgB,eAAe,CAC9B,QAAQ,EAAE,MAAM,EAChB,SAAS,EAAE,MAAM,GACf,MAAM,CAAC,MAAM,CAAC,oBAAoB,EAAE,kBAAkB,EAAE,YAAY,CAAC,CAmBvE"}

package/dist/patdown-judge.js

@@ -1,5 +1,5 @@
 import { defaultPatdownYesThreshold, patdownJudgmentIsYes as comparePatdownYesProbability, } from '@patdown/rules';
-import { Context, Data, Effect, Schema } from 'effect';
+import { Clock, Context, Data, Effect, Schema } from 'effect';
 /** Provider-neutral estimate. This is P(yes), not confidence in whichever answer wins. */
 export const PatdownJudgmentSchema = Schema.Struct({
     yesProbability: Schema.Finite.check(Schema.isBetween({ minimum: 0, maximum: 1 })),
@@ -20,7 +20,13 @@ export function patdownJudgmentIsYes(judgment, yesThreshold = defaultPatdownYesT
 export function askPatdownJudge(question, inputText) {
     return Effect.gen(function* () {
         const judge = yield* PatdownJudge;
+        const startedAt = yield* Clock.currentTimeMillis;
         const answer = yield* judge.ask(question, inputText);
-        return yield* Schema.decodeEffect(PatdownJudgmentSchema)(answer).pipe(Effect.mapError(() => new PatdownJudgeFailed({ message: 'patdown: judge returned an invalid yes probability' })));
+        const finishedAt = yield* Clock.currentTimeMillis;
+        const judgment = yield* Schema.decodeEffect(PatdownJudgmentSchema)(answer).pipe(Effect.mapError(() => new PatdownJudgeFailed({ message: 'patdown: judge returned an invalid yes probability' })));
+        return {
+            judgment,
+            elapsedMs: Math.max(0, finishedAt - startedAt),
+        };
     });
 }

package/dist/patdown-lint.d.ts

@@ -3,5 +3,8 @@ import { Effect, FileSystem, Path } from 'effect';
 import { PatdownJudge, PatdownJudgeFailed } from '#src/patdown-judge';
 import { PatdownOutput } from '#src/patdown-output';
 /** Lint files matched by each rule's globs. A yes judgment means a violation. */
-export declare function runPatdownLint(document: PatdownRulesDocument, verbose?: boolean, yesThreshold?: PatdownYesThreshold): Effect.Effect<boolean, PatdownJudgeFailed | PatdownYesThresholdInvalid, FileSystem.FileSystem | PatdownJudge | Path.Path | PatdownOutput>;
+export declare function runPatdownLint(document: PatdownRulesDocument, verbose?: boolean, yesThreshold?: PatdownYesThreshold): Effect.Effect<{
+    readonly failed: boolean;
+    readonly elapsedMs: number;
+}, PatdownJudgeFailed | PatdownYesThresholdInvalid, FileSystem.FileSystem | PatdownJudge | Path.Path | PatdownOutput>;
 //# sourceMappingURL=patdown-lint.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"patdown-lint.d.ts","sourceRoot":"","sources":["../src/patdown-lint.ts"],"names":[],"mappings":"AAAA,OAAO,EAEN,0BAA0B,EAE1B,KAAK,oBAAoB,EACzB,KAAK,mBAAmB,EACxB,MAAM,gBAAgB,CAAA;AACvB,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAA;AAEjD,OAAO,EACN,YAAY,EACZ,kBAAkB,EAGlB,MAAM,oBAAoB,CAAA;AAC3B,OAAO,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAA;AA0InD,iFAAiF;AACjF,wBAAgB,cAAc,CAC7B,QAAQ,EAAE,oBAAoB,EAC9B,OAAO,GAAE,OAAe,EACxB,YAAY,GAAE,mBAAgD,GAC5D,MAAM,CAAC,MAAM,CACf,OAAO,EACP,kBAAkB,GAAG,0BAA0B,EAC/C,UAAU,CAAC,UAAU,GAAG,YAAY,GAAG,IAAI,CAAC,IAAI,GAAG,aAAa,CAChE,CAaA"}
+{"version":3,"file":"patdown-lint.d.ts","sourceRoot":"","sources":["../src/patdown-lint.ts"],"names":[],"mappings":"AAAA,OAAO,EAEN,0BAA0B,EAE1B,KAAK,oBAAoB,EACzB,KAAK,mBAAmB,EACxB,MAAM,gBAAgB,CAAA;AACvB,OAAO,EAAS,MAAM,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAA;AAExD,OAAO,EACN,YAAY,EACZ,kBAAkB,EAGlB,MAAM,oBAAoB,CAAA;AAC3B,OAAO,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAA;AA2InD,iFAAiF;AACjF,wBAAgB,cAAc,CAC7B,QAAQ,EAAE,oBAAoB,EAC9B,OAAO,GAAE,OAAe,EACxB,YAAY,GAAE,mBAAgD,GAC5D,MAAM,CAAC,MAAM,CACf;IAAE,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAA;CAAE,EACxD,kBAAkB,GAAG,0BAA0B,EAC/C,UAAU,CAAC,UAAU,GAAG,YAAY,GAAG,IAAI,CAAC,IAAI,GAAG,aAAa,CAChE,CAmBA"}

package/dist/patdown-lint.js

@@ -1,5 +1,5 @@
 import { defaultPatdownYesThreshold, PatdownYesThresholdInvalid, } from '@patdown/rules';
-import { Effect, FileSystem, Path } from 'effect';
+import { Clock, Effect, FileSystem, Path } from 'effect';
 import { PatdownJudge, PatdownJudgeFailed, askPatdownJudge, patdownJudgmentIsYes, } from '#src/patdown-judge';
 import { PatdownOutput } from '#src/patdown-output';
 import { decodePatdownRuleYesThreshold } from '#src/patdown-yes-threshold-config';
@@ -51,14 +51,15 @@ function lintPatdownRuleFile(rule, filePath, options) {
         const contents = yield* fileSystem.readFileString(filePath).pipe(Effect.mapError(() => new PatdownJudgeFailed({
             message: `patdown: failed to read ${relativePath}`,
         })));
-        const answer = yield* askPatdownJudge(patdownViolationInstructions(rule), patdownFileState(relativePath, contents));
-        const failed = patdownJudgmentIsYes(answer, options.yesThreshold);
+        const timed = yield* askPatdownJudge(patdownViolationInstructions(rule), patdownFileState(relativePath, contents));
+        const failed = patdownJudgmentIsYes(timed.judgment, options.yesThreshold);
         yield* output.writeLintResult({
             violated: failed,
             ruleTitle: rule.patdownRuleTitle,
             filePath: relativePath,
-            violationProbability: answer.yesProbability,
+            violationProbability: timed.judgment.yesProbability,
             yesThreshold: options.yesThreshold,
+            elapsedMs: timed.elapsedMs,
         }, options.verbose);
         return failed;
     });
@@ -83,7 +84,12 @@ export function runPatdownLint(document, verbose = false, yesThreshold = default
     return Effect.gen(function* () {
         const path = yield* Path.Path;
         const cwd = path.resolve('.');
+        const startedAt = yield* Clock.currentTimeMillis;
         const failures = yield* Effect.forEach(document.patdownRules, (rule) => lintPatdownRule(rule, cwd, verbose, yesThreshold), { concurrency: 1 });
-        return failures.some((failed) => failed);
+        const finishedAt = yield* Clock.currentTimeMillis;
+        return {
+            failed: failures.some((failed) => failed),
+            elapsedMs: Math.max(0, finishedAt - startedAt),
+        };
     });
 }

package/dist/patdown-output.d.ts

@@ -9,13 +9,14 @@ export type PatdownLintResult = {
     readonly filePath: string;
     readonly violationProbability: number;
     readonly yesThreshold: PatdownYesThreshold;
+    readonly elapsedMs: number;
 };
 declare const PatdownOutput_base: Context.ServiceClass<PatdownOutput, "@patdown/cli/PatdownOutput", {
-    readonly writeLintFailed: Effect.Effect<void>;
-    readonly writeLintOk: Effect.Effect<void>;
+    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>;
 }>;
 /** Swappable output service. Probability details are opt-in. */

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,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"}

package/dist/patdown-output.js

@@ -1,20 +1,24 @@
 import { defaultPatdownYesThreshold } from '@patdown/rules';
 import { Console, Context, Effect, Layer } from 'effect';
 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} (${formatPatdownProbability(result.violationProbability, result.yesThreshold, result.elapsedMs)})`
         : line;
 }
 function formatPatdownRulesDocument(document) {
@@ -36,10 +40,14 @@ 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'),
+    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)),
     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)),
 });

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/package.json

@@ -1,6 +1,6 @@
 {
   "name": "patdown",
-  "version": "0.3.1",
+  "version": "0.4.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.4.0",
+    "@patdown/rules": "0.4.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/oxlint-config": "0.0.0",
-    "@patdown/tsconfig": "0.0.0"
+    "@patdown/tsconfig": "0.0.0",
+    "@patdown/oxlint-config": "0.0.0"
   },
   "engines": {
     "node": ">=22.22.2"