@llm4ts/flow 2.4.2 → 2.6.0

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@llm4ts/flow",
-  "version": "2.4.2",
+  "version": "2.6.0",
   "description": "Effect-native LLM workflow, persistence, review, and repository automation",
   "license": "MIT",
   "type": "module",
@@ -27,6 +27,7 @@
     "./Classified": "./dist/Classified.js",
     "./Context": "./dist/Context.js",
     "./CostLedger": "./dist/CostLedger.js",
+    "./CostReport": "./dist/CostReport.js",
     "./CostTracker": "./dist/CostTracker.js",
     "./Decisions": "./dist/Decisions.js",
     "./Domains": "./dist/Domains.js",
@@ -47,6 +48,8 @@
     "./Package": "./dist/Package.js",
     "./PageSpec": "./dist/PageSpec.js",
     "./Patterns": "./dist/Patterns.js",
+    "./Judgment": "./dist/Judgment.js",
+    "./JudgmentLog": "./dist/JudgmentLog.js",
     "./Perimeter": "./dist/Perimeter.js",
     "./Persistence": "./dist/Persistence.js",
     "./Plan": "./dist/Plan.js",
@@ -69,7 +72,9 @@
     "./Wall": "./dist/Wall.js",
     "./Workspace": "./dist/Workspace.js",
     "./WorkspaceLayout": "./dist/WorkspaceLayout.js",
-    "./WorkspaceTools": "./dist/WorkspaceTools.js"
+    "./WorkspaceTools": "./dist/WorkspaceTools.js",
+    "./JudgmentDataset": "./dist/JudgmentDataset.js",
+    "./JudgmentEval": "./dist/JudgmentEval.js"
   },
   "publishConfig": {
     "access": "public",
@@ -93,7 +98,7 @@
     "typescript"
   ],
   "dependencies": {
-    "@llm4ts/core": "2.4.2"
+    "@llm4ts/core": "2.6.0"
   },
   "peerDependencies": {
     "effect": "4.0.0-rc.115"

package/src/Classified.ts

@@ -61,6 +61,11 @@ export class Classified<A> {
     )
   }
 
+  /** JSON boundaries must use the same sealed representation as text boundaries. */
+  toJSON(): string {
+    return this.toString()
+  }
+
   toString(): string {
     return "Classified(…)"
   }

package/src/CostReport.ts

@@ -0,0 +1,402 @@
+import * as DateTime from "effect/DateTime"
+import * as Option from "effect/Option"
+import * as Schema from "effect/Schema"
+import type { TokenUsage } from "@llm4ts/core/Models"
+import { isEstimatedModel } from "./EstimatedUsage.ts"
+import { TokensUsed } from "./FlowEvents.ts"
+import type { TraceLine } from "./FlowRecorder.ts"
+import { estimateCostUsd, PricesAsOf } from "./PriceList.ts"
+
+/**
+ * Cross-run usage report for budgeting.
+ *
+ * A run's cost summary (`CostTracker`) answers "what did this run cost"; this
+ * module answers "what do my runs cost per day, per hour, and per run" from
+ * the `TokensUsed` lines every trace already records. Measured usage (a
+ * backend's own token counts) and estimated usage (`EstimatedUsage`'s
+ * character-count fallback, labelled `estimated:<model>`) are kept in separate
+ * columns so a budget never mistakes one for the other.
+ */
+
+export const UnknownModel = "(unknown)"
+
+export class UsageSample extends Schema.Class<UsageSample>("UsageSample")({
+  /** Epoch milliseconds of the token report. */
+  at: Schema.Number,
+  runId: Schema.String,
+  agent: Schema.String,
+  model: Schema.String,
+  prompt: Schema.Int,
+  completion: Schema.Int,
+  total: Schema.Int,
+  cached: Schema.optionalKey(Schema.Int),
+  costUsd: Schema.optionalKey(Schema.Number),
+  estimated: Schema.Boolean
+}) {}
+
+export class UsageTotals extends Schema.Class<UsageTotals>("UsageTotals")({
+  requests: Schema.Int,
+  prompt: Schema.Int,
+  completion: Schema.Int,
+  total: Schema.Int,
+  cached: Schema.optionalKey(Schema.Int),
+  costUsd: Schema.optionalKey(Schema.Number)
+}) {}
+
+export class UsageBucket extends Schema.Class<UsageBucket>("UsageBucket")({
+  /** `YYYY-MM-DD` for a day, `YYYY-MM-DD HH:00` for an hour, in the report's zone. */
+  key: Schema.String,
+  runs: Schema.Int,
+  measured: UsageTotals,
+  estimated: UsageTotals
+}) {}
+
+export class ModelUsage extends Schema.Class<ModelUsage>("ModelUsage")({
+  model: Schema.String,
+  estimated: Schema.Boolean,
+  totals: UsageTotals
+}) {}
+
+export class UsageAverages extends Schema.Class<UsageAverages>("UsageAverages")({
+  activeDays: Schema.Int,
+  calendarDays: Schema.Int,
+  activeHours: Schema.Int,
+  tokensPerActiveDay: Schema.Int,
+  tokensPerCalendarDay: Schema.Int,
+  tokensPerActiveHour: Schema.Int,
+  tokensPerRun: Schema.Int,
+  costUsdPerActiveDay: Schema.optionalKey(Schema.Number),
+  costUsdPerCalendarDay: Schema.optionalKey(Schema.Number),
+  costUsdPerActiveHour: Schema.optionalKey(Schema.Number),
+  costUsdPerRun: Schema.optionalKey(Schema.Number),
+  peakDay: Schema.optionalKey(Schema.String),
+  peakHour: Schema.optionalKey(Schema.String)
+}) {}
+
+export class UsageProjection extends Schema.Class<UsageProjection>("UsageProjection")({
+  runsPerDay: Schema.Number,
+  tokensPerDay: Schema.Int,
+  costUsdPerDay: Schema.optionalKey(Schema.Number)
+}) {}
+
+export class CostReport extends Schema.Class<CostReport>("CostReport")({
+  schemaVersion: Schema.Int,
+  timeZone: Schema.String,
+  pricesAsOf: Schema.String,
+  from: Schema.optionalKey(Schema.String),
+  to: Schema.optionalKey(Schema.String),
+  runs: Schema.Int,
+  requests: Schema.Int,
+  measured: UsageTotals,
+  estimated: UsageTotals,
+  averages: UsageAverages,
+  projection: Schema.optionalKey(UsageProjection),
+  byDay: Schema.Array(UsageBucket),
+  byHour: Schema.Array(UsageBucket),
+  byModel: Schema.Array(ModelUsage)
+}) {}
+
+export const CurrentCostReportSchema = 1
+
+const tokensUsedCodec = Schema.fromJsonString(TokensUsed)
+const decodeTokensUsed = Schema.decodeUnknownOption(tokensUsedCodec)
+
+// Backend-reported cost is authoritative; the pricing table only fills in
+// when the backend said nothing (the same rule as `CostTracker`).
+const costOf = (model: string, usage: TokenUsage): number | undefined =>
+  usage.costUsd ?? (model === UnknownModel ? undefined : estimateCostUsd(model, usage))
+
+/** The token reports of one trace, in trace order; malformed lines are skipped. */
+export const usageSamplesFromTrace = (
+  lines: ReadonlyArray<TraceLine>
+): ReadonlyArray<UsageSample> =>
+  lines.flatMap((line) => {
+    if (line.kind !== "TokensUsed") {
+      return []
+    }
+    const raw = line.fields.event
+    if (typeof raw !== "string") {
+      return []
+    }
+    const decoded = decodeTokensUsed(raw)
+    if (Option.isNone(decoded)) {
+      return []
+    }
+    const event = decoded.value
+    const model = event.model ?? UnknownModel
+    const costUsd = costOf(model, event.usage)
+    return [
+      UsageSample.make({
+        at: line.timestamp,
+        runId: line.runId,
+        agent: event.agent,
+        model,
+        prompt: event.usage.prompt,
+        completion: event.usage.completion,
+        total: event.usage.total,
+        ...(event.usage.cached === undefined ? {} : { cached: event.usage.cached }),
+        ...(costUsd === undefined ? {} : { costUsd }),
+        estimated: isEstimatedModel(model)
+      })
+    ]
+  })
+
+const sumOptional = (values: ReadonlyArray<number | undefined>): number | undefined => {
+  const present = values.flatMap((value) => (value === undefined ? [] : [value]))
+  return present.length === 0 ? undefined : present.reduce((sum, value) => sum + value, 0)
+}
+
+const totalsOf = (samples: ReadonlyArray<UsageSample>): UsageTotals => {
+  const cached = sumOptional(samples.map((sample) => sample.cached))
+  const costUsd = sumOptional(samples.map((sample) => sample.costUsd))
+  return UsageTotals.make({
+    requests: samples.length,
+    prompt: samples.reduce((sum, sample) => sum + sample.prompt, 0),
+    completion: samples.reduce((sum, sample) => sum + sample.completion, 0),
+    total: samples.reduce((sum, sample) => sum + sample.total, 0),
+    ...(cached === undefined ? {} : { cached }),
+    ...(costUsd === undefined ? {} : { costUsd })
+  })
+}
+
+const distinctRuns = (samples: ReadonlyArray<UsageSample>): number =>
+  new Set(samples.map((sample) => sample.runId)).size
+
+const pad = (value: number): string => value.toString().padStart(2, "0")
+
+interface ZonedParts {
+  readonly year: number
+  readonly month: number
+  readonly day: number
+  readonly hour: number
+}
+
+const partsIn = (timeZone: DateTime.TimeZone, at: number): ZonedParts => {
+  const parts = DateTime.toParts(DateTime.makeZonedUnsafe(at, { timeZone }))
+  return { year: parts.year, month: parts.month, day: parts.day, hour: parts.hour }
+}
+
+const dayKey = (parts: ZonedParts): string => `${parts.year}-${pad(parts.month)}-${pad(parts.day)}`
+
+const hourKey = (parts: ZonedParts): string => `${dayKey(parts)} ${pad(parts.hour)}:00`
+
+const zoneLabel = (timeZone: DateTime.TimeZone): string =>
+  timeZone._tag === "Named"
+    ? timeZone.id
+    : timeZone.offset === 0
+      ? "UTC"
+      : DateTime.zoneToString(timeZone)
+
+const bucketsBy = (
+  samples: ReadonlyArray<UsageSample>,
+  keyOf: (sample: UsageSample) => string
+): ReadonlyArray<UsageBucket> => {
+  const groups = new Map<string, Array<UsageSample>>()
+  for (const sample of samples) {
+    const key = keyOf(sample)
+    groups.set(key, [...(groups.get(key) ?? []), sample])
+  }
+  return [...groups.entries()]
+    .sort(([left], [right]) => left.localeCompare(right))
+    .map(([key, members]) =>
+      UsageBucket.make({
+        key,
+        runs: distinctRuns(members),
+        measured: totalsOf(members.filter((sample) => !sample.estimated)),
+        estimated: totalsOf(members.filter((sample) => sample.estimated))
+      })
+    )
+}
+
+const bucketTokens = (bucket: UsageBucket): number => bucket.measured.total + bucket.estimated.total
+
+const bucketCost = (bucket: UsageBucket): number | undefined =>
+  sumOptional([bucket.measured.costUsd, bucket.estimated.costUsd])
+
+/** The first bucket carrying the most tokens, in chronological order. */
+const peakOf = (buckets: ReadonlyArray<UsageBucket>): UsageBucket | undefined =>
+  buckets.reduce<UsageBucket | undefined>(
+    (best, bucket) =>
+      best === undefined || bucketTokens(bucket) > bucketTokens(best) ? bucket : best,
+    undefined
+  )
+
+const calendarDaysBetween = (first: ZonedParts, last: ZonedParts): number =>
+  Math.round(
+    (Date.UTC(last.year, last.month - 1, last.day) -
+      Date.UTC(first.year, first.month - 1, first.day)) /
+      86_400_000
+  ) + 1
+
+const ratio = (value: number, count: number): number => (count === 0 ? 0 : value / count)
+
+const costRatio = (cost: number | undefined, count: number): number | undefined =>
+  cost === undefined || count === 0 ? undefined : cost / count
+
+export interface CostReportOptions {
+  /** Zone the day and hour buckets are cut in. Default UTC. */
+  readonly timeZone?: DateTime.TimeZone
+  /** Assumed daily run count for the projection line; none when absent. */
+  readonly runsPerDay?: number
+}
+
+export const buildCostReport = (
+  samples: ReadonlyArray<UsageSample>,
+  options: CostReportOptions = {}
+): CostReport => {
+  const timeZone = options.timeZone ?? DateTime.zoneMakeOffset(0)
+  const ordered = [...samples].sort((left, right) => left.at - right.at)
+  const byDay = bucketsBy(ordered, (sample) => dayKey(partsIn(timeZone, sample.at)))
+  const byHour = bucketsBy(ordered, (sample) => hourKey(partsIn(timeZone, sample.at)))
+  const measured = totalsOf(ordered.filter((sample) => !sample.estimated))
+  const estimated = totalsOf(ordered.filter((sample) => sample.estimated))
+  const tokens = measured.total + estimated.total
+  const cost = sumOptional([measured.costUsd, estimated.costUsd])
+  const runs = distinctRuns(ordered)
+  const first = ordered[0]
+  const last = ordered[ordered.length - 1]
+  const calendarDays =
+    first === undefined || last === undefined
+      ? 0
+      : calendarDaysBetween(partsIn(timeZone, first.at), partsIn(timeZone, last.at))
+  const tokensPerRun = ratio(tokens, runs)
+  const costUsdPerRun = costRatio(cost, runs)
+  const costUsdPerActiveDay = costRatio(cost, byDay.length)
+  const costUsdPerCalendarDay = costRatio(cost, calendarDays)
+  const costUsdPerActiveHour = costRatio(cost, byHour.length)
+  const peakDay = peakOf(byDay)
+  const peakHour = peakOf(byHour)
+  const projection =
+    options.runsPerDay === undefined
+      ? undefined
+      : UsageProjection.make({
+          runsPerDay: options.runsPerDay,
+          tokensPerDay: Math.round(tokensPerRun * options.runsPerDay),
+          ...(costUsdPerRun === undefined
+            ? {}
+            : { costUsdPerDay: costUsdPerRun * options.runsPerDay })
+        })
+
+  const byModelGroups = new Map<string, Array<UsageSample>>()
+  for (const sample of ordered) {
+    byModelGroups.set(sample.model, [...(byModelGroups.get(sample.model) ?? []), sample])
+  }
+  const byModel = [...byModelGroups.entries()]
+    .map(([model, members]) =>
+      ModelUsage.make({ model, estimated: isEstimatedModel(model), totals: totalsOf(members) })
+    )
+    .sort((left, right) =>
+      left.estimated === right.estimated
+        ? left.model.localeCompare(right.model)
+        : left.estimated
+          ? 1
+          : -1
+    )
+
+  return CostReport.make({
+    schemaVersion: CurrentCostReportSchema,
+    timeZone: zoneLabel(timeZone),
+    pricesAsOf: PricesAsOf,
+    ...(first === undefined ? {} : { from: new Date(first.at).toISOString() }),
+    ...(last === undefined ? {} : { to: new Date(last.at).toISOString() }),
+    runs,
+    requests: ordered.length,
+    measured,
+    estimated,
+    averages: UsageAverages.make({
+      activeDays: byDay.length,
+      calendarDays,
+      activeHours: byHour.length,
+      tokensPerActiveDay: Math.round(ratio(tokens, byDay.length)),
+      tokensPerCalendarDay: Math.round(ratio(tokens, calendarDays)),
+      tokensPerActiveHour: Math.round(ratio(tokens, byHour.length)),
+      tokensPerRun: Math.round(tokensPerRun),
+      ...(costUsdPerActiveDay === undefined ? {} : { costUsdPerActiveDay }),
+      ...(costUsdPerCalendarDay === undefined ? {} : { costUsdPerCalendarDay }),
+      ...(costUsdPerActiveHour === undefined ? {} : { costUsdPerActiveHour }),
+      ...(costUsdPerRun === undefined ? {} : { costUsdPerRun }),
+      ...(peakDay === undefined ? {} : { peakDay: peakDay.key }),
+      ...(peakHour === undefined ? {} : { peakHour: peakHour.key })
+    }),
+    ...(projection === undefined ? {} : { projection }),
+    byDay,
+    byHour,
+    byModel
+  })
+}
+
+const thousands = (value: number): string =>
+  Math.round(value)
+    .toString()
+    .replace(/\B(?=(\d{3})+(?!\d))/gu, ",")
+
+const money = (cost: number | undefined): string =>
+  cost === undefined ? "" : ` ($${cost.toFixed(4)})`
+
+const totalsLine = (label: string, totals: UsageTotals): string => {
+  const cached =
+    totals.cached === undefined || totals.cached <= 0 ? "" : ` (${thousands(totals.cached)} cached)`
+  return `${label}: ${thousands(totals.prompt)} in${cached}, ${thousands(totals.completion)} out, ${thousands(totals.total)} total${money(totals.costUsd)}`
+}
+
+const runsLabel = (runs: number): string => `${runs} run${runs === 1 ? "" : "s"}`
+
+const bucketLine = (bucket: UsageBucket): string =>
+  `  ${bucket.key}  ${runsLabel(bucket.runs)}  ${thousands(bucket.measured.total)} measured  ${thousands(bucket.estimated.total)} estimated${money(bucketCost(bucket))}`
+
+export const renderCostReport = (report: CostReport): string => {
+  if (report.from === undefined || report.to === undefined) {
+    return "llm4ts costs\n\nno usage recorded — run a flow whose backend reports token counts, then try again"
+  }
+  const averages = report.averages
+  const peakDay = peakOf(report.byDay)
+  const peakHour = peakOf(report.byHour)
+  const peaks = [
+    ...(peakDay === undefined
+      ? []
+      : [`peak day ${peakDay.key} (${thousands(bucketTokens(peakDay))})`]),
+    ...(peakHour === undefined
+      ? []
+      : [`peak hour ${peakHour.key} (${thousands(bucketTokens(peakHour))})`])
+  ]
+  const sections: Array<string> = [
+    "llm4ts costs",
+    `window: ${report.from} → ${report.to} (${report.timeZone})`,
+    `runs: ${report.runs} · requests: ${report.requests}`,
+    totalsLine("measured", report.measured),
+    totalsLine("estimated", report.estimated),
+    "",
+    "averages (measured + estimated):",
+    `  per active day: ${thousands(averages.tokensPerActiveDay)} tokens${money(averages.costUsdPerActiveDay)} over ${averages.activeDays} day${averages.activeDays === 1 ? "" : "s"}`,
+    `  per calendar day: ${thousands(averages.tokensPerCalendarDay)} tokens${money(averages.costUsdPerCalendarDay)} over ${averages.calendarDays} day${averages.calendarDays === 1 ? "" : "s"}`,
+    `  per active hour: ${thousands(averages.tokensPerActiveHour)} tokens${money(averages.costUsdPerActiveHour)} over ${averages.activeHours} hour${averages.activeHours === 1 ? "" : "s"}`,
+    `  per run: ${thousands(averages.tokensPerRun)} tokens${money(averages.costUsdPerRun)}`,
+    ...(peaks.length === 0 ? [] : [`  ${peaks.join(", ")}`])
+  ]
+  if (report.projection !== undefined) {
+    sections.push(
+      "projection:",
+      `  at ${report.projection.runsPerDay} runs/day: ${thousands(report.projection.tokensPerDay)} tokens${money(report.projection.costUsdPerDay)} per day`
+    )
+  }
+  sections.push("", "by day:", ...report.byDay.map(bucketLine))
+  sections.push("", "by hour:", ...report.byHour.map(bucketLine))
+  sections.push(
+    "",
+    "by model:",
+    ...report.byModel.map(
+      (entry) =>
+        `  ${entry.model}  ${thousands(entry.totals.total)} tokens${money(entry.totals.costUsd)}`
+    )
+  )
+  const notes = [
+    `costs are backend-reported where available, otherwise estimated from the pricing table (rates as of ${report.pricesAsOf} — may be stale)`,
+    ...(report.estimated.requests === 0
+      ? []
+      : [
+          "estimated:<model> rows come from character counts (LLM4TS_ESTIMATE_MODEL), not backend token counts"
+        ])
+  ]
+  sections.push("", ...notes.map((note) => `* ${note}`))
+  return sections.join("\n")
+}

package/src/EstimatedUsage.ts

@@ -174,6 +174,21 @@ export const makeEstimatedUsageMeter = Effect.fn("@llm4ts/flow/EstimatedUsage.ma
           )
         })
       ),
+    scoreLabels: (prompt, labels) =>
+      service
+        .scoreLabels(prompt, labels)
+        .pipe(
+          Effect.tap((distribution) =>
+            record(
+              distribution.usage ??
+                estimateUsage(
+                  prompt.length,
+                  JSON.stringify(distribution.probabilities).length,
+                  options
+                )
+            )
+          )
+        ),
     isAvailable: service.isAvailable
   }
   return { service: decorated, totals: Ref.get(totals) }

package/src/Flow.ts

@@ -5,10 +5,19 @@ import { withToolActivity } from "./Activity.ts"
 import { makeChat, type Chat } from "./Chat.ts"
 import type { FlowContextShape } from "./FlowContext.ts"
 import { FlowAborted, FlowLlmError, type FlowError } from "./FlowError.ts"
-import { AssistantMessage, Info, TokensUsed, type FlowEventsShape } from "./FlowEvents.ts"
+import {
+  AssistantMessage,
+  Info,
+  JudgmentObserved,
+  publishJudgmentObserved,
+  TokensUsed,
+  type FlowEventsShape
+} from "./FlowEvents.ts"
 import type { Plan, Task } from "./Plan.ts"
 import type { PlanStoreShape } from "./Persistence.ts"
 import { implementTaskLoop, stage } from "./PlanExecution.ts"
+import { truth } from "@llm4ts/core/judgment/Schemas"
+import { certaintyOf, decide, judgmentOf, type JudgmentMode } from "./Judgment.ts"
 import { minimalReviewers, reviewAndFixLoop, type ReviewResult } from "./Review.ts"
 import type { Reviewer } from "./Reviewer.ts"
 
@@ -65,8 +74,65 @@ export interface ImplementPlanOptions {
    * where one unconfirmed no-op should not sink otherwise-finished work.
    */
   readonly noopTaskPolicy?: "fail" | "complete"
+  /**
+   * How the "already satisfied" confirmation is read (ADR 0017): "literal"
+   * (default) looks for TASK_ALREADY_SATISFIED without any judgment call.
+   * { mode } asks the run's judgment service, defaulting to observe: observe
+   * and advise publish the literal outcome and keep using it. Explicit act
+   * uses a confident judgment, falling back to the literal reading on doubt
+   * or failure. The legacy "judgment" string remains an alias for { mode: "act" }.
+   */
+  readonly satisfiedProbe?: "literal" | "judgment" | { readonly mode?: JudgmentMode }
 }
 
+/** The judgment form of the empty-diff probe: one Truth question over the coder's reply. */
+export const satisfiedByJudgment = Effect.fn("@llm4ts/flow/Flow.satisfiedByJudgment")(function* (
+  context: FlowContextShape,
+  taskTitle: string,
+  reply: string,
+  mode: JudgmentMode = "observe"
+): Effect.fn.Return<boolean | undefined> {
+  const literalMatch = reply.includes("TASK_ALREADY_SATISFIED")
+  const judgment = judgmentOf(context)
+  const state = { task: taskTitle, reply }
+  const question = truth(
+    "The reply states that the task is already fully satisfied by the current repository and that no change was made."
+  )
+  const result = yield* judgment
+    .judge({ state, questions: { satisfied: question } })
+    .pipe(Effect.option)
+  if (result._tag === "None") {
+    return mode === "act" ? undefined : literalMatch
+  }
+  const answer = result.value.answers["satisfied"]
+  if (answer === undefined || answer.type !== "truth") {
+    return mode === "act" ? undefined : literalMatch
+  }
+  const decision = decide(answer)
+  if (mode !== "act") {
+    yield* publishJudgmentObserved(
+      context.events,
+      JudgmentObserved.make({
+        consumer: "satisfied-probe",
+        key: "satisfied",
+        state,
+        question,
+        answer,
+        judgmentIdentity: judgment.identity,
+        decision,
+        certainty: certaintyOf(answer),
+        support: answer.support,
+        origin: answer.origin,
+        outcome: { _tag: "SatisfiedProbe", literalMatch },
+        mode
+      })
+    )
+    return literalMatch
+  }
+  if (decision !== "act") return undefined
+  return answer.truth >= 0.5
+})
+
 const defaultCommitMessage = (plan: Plan, task: Task): string => `${plan.epicId}: ${task.title}`
 
 const composeSystem = (base: string | undefined, note: string): string =>
@@ -130,7 +196,16 @@ export const implementPlanFlow = Effect.fn("@llm4ts/flow/Flow.implementPlan")(fu
           )
           const afterConfirmation = yield* context.git.diffAll
           if (afterConfirmation.trim().length === 0) {
-            if (confirmation.includes("TASK_ALREADY_SATISFIED")) {
+            const judged =
+              options.satisfiedProbe !== undefined && options.satisfiedProbe !== "literal"
+                ? yield* satisfiedByJudgment(
+                    context,
+                    task.title,
+                    confirmation,
+                    options.satisfiedProbe === "judgment" ? "act" : options.satisfiedProbe.mode
+                  )
+                : undefined
+            if (judged ?? confirmation.includes("TASK_ALREADY_SATISFIED")) {
               yield* context.events.publish(
                 Info.make({
                   message: `task "${task.title}" confirmed already satisfied; skipping review and commit`

package/src/FlowContext.ts

@@ -1,6 +1,7 @@
 import * as Context from "effect/Context"
 import type * as Effect from "effect/Effect"
 import type * as Scope from "effect/Scope"
+import type { JudgmentShape } from "@llm4ts/core/judgment/Judgment"
 import type { ConnectorCapabilities } from "@llm4ts/core/Models"
 import type { LlmServiceShape } from "@llm4ts/core/LlmService"
 import type { FlowError } from "./FlowError.ts"
@@ -19,6 +20,12 @@ export interface FlowContextShape {
   readonly userPrompt: string
   readonly workDir: string
   readonly workspace: string
+  /**
+   * Typed judgments (ADR 0017), over the run's `judgment` seat or the hosted
+   * TypeSafe backend. Absent on a context built by hand; `judgmentOf` in
+   * `Judgment.ts` then derives one from the reasoning seat.
+   */
+  readonly judgment?: JudgmentShape
   /**
    * The same seats rebound to another directory (a story worktree, ADR
    * 0013): every CLI seat launched there, git rooted there, the run's

package/src/FlowEvents.ts

@@ -7,6 +7,33 @@ import * as Schema from "effect/Schema"
 import type * as Scope from "effect/Scope"
 import * as Stream from "effect/Stream"
 import { TokenUsage } from "@llm4ts/core/Models"
+import { Answer, AnswerOrigin, Question, State } from "@llm4ts/core/judgment/Schemas"
+import { Decision, JudgmentMode } from "./JudgmentTypes.ts"
+
+export const JudgmentOutcome = Schema.Union([
+  Schema.TaggedStruct("ReviewPrescreen", {
+    lens: Schema.String,
+    issues: Schema.Struct({ Critical: Schema.Int, Warning: Schema.Int, Info: Schema.Int })
+  }),
+  Schema.TaggedStruct("SatisfiedProbe", { literalMatch: Schema.Boolean }),
+  Schema.TaggedStruct("ProgramJudge", { score: Schema.Number })
+])
+export type JudgmentOutcome = typeof JudgmentOutcome.Type
+
+export class JudgmentObserved extends Schema.TaggedClass<JudgmentObserved>()("JudgmentObserved", {
+  consumer: Schema.Literals(["review-prescreen", "satisfied-probe", "program-judge"]),
+  key: Schema.String,
+  state: State,
+  question: Question,
+  answer: Answer,
+  judgmentIdentity: Schema.String,
+  decision: Decision,
+  certainty: Schema.Number,
+  support: Schema.Number,
+  origin: AnswerOrigin,
+  outcome: JudgmentOutcome,
+  mode: JudgmentMode
+}) {}
 
 export class StageStarted extends Schema.TaggedClass<StageStarted>()("StageStarted", {
   stage: Schema.String
@@ -72,6 +99,7 @@ export class Declassified extends Schema.TaggedClass<Declassified>()("Declassifi
 }) {}
 
 export const FlowEvent = Schema.Union([
+  JudgmentObserved,
   StageStarted,
   StageCompleted,
   StageFailed,
@@ -101,6 +129,20 @@ export interface FlowEventsShape {
   readonly publish: (event: FlowEvent) => Effect.Effect<void>
 }
 
+/** Publish an observation, rendering the same decision and outcome in advise mode. */
+export const publishJudgmentObserved = Effect.fn("@llm4ts/flow/FlowEvents.publishJudgmentObserved")(
+  function* (events: FlowEventsShape, observation: JudgmentObserved): Effect.fn.Return<void> {
+    yield* events.publish(observation)
+    if (observation.mode === "advise") {
+      yield* events.publish(
+        Info.make({
+          message: `judgment ${observation.consumer} '${observation.key}': ${observation.decision}; outcome ${JSON.stringify(observation.outcome)}`
+        })
+      )
+    }
+  }
+)
+
 export class FlowEvents extends Context.Service<FlowEvents, FlowEventsShape>()(
   "@llm4ts/flow/FlowEvents"
 ) {}