@linxin666/dsh-client-ui-task-board 0.4.5 → 0.4.6

package/src/client/board/TaskDetail.tsx

@@ -9,13 +9,13 @@ import type { BoardController, ControllerSnapshot } from '../../core/controller.
 import type { TaskBoardExtensionActionRequest, TaskBoardExtensionDispatch } from '../../core/extension.ts'
 import { useTaskBoardSeats } from '../seats.tsx'
 import { isValidCron } from '../../core/schedule.ts'
-import { MANUAL_STATUSES, TASK_PERMISSIONS, canMoveTask, hasOpenExecution, tagTone, type ExecutionRecord, type TaskPermission, type TaskRecord } from '../../core/tasks.ts'
+import { MANUAL_STATUSES, TASK_PERMISSIONS, canMoveTask, hasOpenExecution, tagTone, type ExecutionRecord, type ScheduleMode, type TaskPermission, type TaskRecord } from '../../core/tasks.ts'
 import { canEditTaskContent } from '../../core/use-cases/task-update.ts'
 import { requiresPermissionConfirmation } from '../../core/handover.ts'
 import { DEFAULT_SUBTASK_DEPTH, directSubtasks, taskDepth } from '../../core/subtask.ts'
 import { t, type TaskBoardKey } from '../locales.ts'
 import { SCHEDULE_PRESETS } from '../schedule-presets.ts'
-import { nextRunLabel, zoneChoices } from '../schedule-zone.ts'
+import { budgetLabel, defaultZonedInputValue, endedLabel, nextRunLabel, parseZonedInput, runCapOption, skippedLabel, zonedInputValue, zoneChoices } from '../schedule-zone.ts'
 import css from '../board.module.css'
 import { ConfirmDialog } from './ConfirmDialog.tsx'
 import { EditTaskModal, EditTagsModal } from './EditTaskModal.tsx'
@@ -39,8 +39,12 @@ const RESULT_KEY: Record<NonNullable<ExecutionRecord['result']>, TaskBoardKey> =
 /** One execution-history row. */
 function ExecutionRow({ execution, timeZone, onOpen }: { execution: ExecutionRecord; timeZone?: string; onOpen: (sessionId: string) => void }) {
   const result = execution.result
+  // An external record is one the Host never observed running: no session, no
+  // spinner, and a named outside agent instead of the initiating session. The
+  // data attribute keeps the distinction machine-readable too.
+  const external = execution.external === true
   return (
-    <li className={css.executionRow} data-result={result}>
+    <li className={css.executionRow} data-result={result} data-external={external ? 'true' : undefined}>
       <span className={css.executionBadge} data-result={result}>
         {result === undefined ? t('detail.result.running') : t(RESULT_KEY[result])}
       </span>
@@ -48,7 +52,12 @@ function ExecutionRow({ execution, timeZone, onOpen }: { execution: ExecutionRec
         {t('detail.executionStarted')} {formatTime(execution.startedAt, timeZone)}
         {execution.endedAt !== undefined && ` · ${t('detail.executionEnded')} ${formatTime(execution.endedAt, timeZone)}`}
       </span>
-      {execution.initiatedBy !== undefined && (
+      {external && execution.initiatedBy !== undefined && (
+        <span className={css.executionTimes} title={execution.initiatedBy}>
+          {t('detail.execution.external', { agent: execution.initiatedBy })}
+        </span>
+      )}
+      {!external && execution.initiatedBy !== undefined && (
         <span className={css.executionTimes} title={execution.initiatedBy}>
           {t('detail.execution.initiator', { session: execution.initiatedBy })}
         </span>
@@ -73,7 +82,7 @@ function ExecutionRow({ execution, timeZone, onOpen }: { execution: ExecutionRec
 }
 
 /** The execution-target editor: workspace / mode / permission pickers. */
-function ExecutionSettingsSection({ controller, task, pending, executionOptions, teamRunAvailable }: {
+function ExecutionSettingsSection({ controller, task, pending, executionOptions, teamRunAvailable, goalRunEnabled }: {
   controller: BoardController
   task: TaskRecord
   pending: boolean
@@ -81,6 +90,12 @@ function ExecutionSettingsSection({ controller, task, pending, executionOptions,
   executionOptions: ControllerSnapshot['executionOptions']
   /** Whether this deployment serves the Agent Teams service. */
   teamRunAvailable: boolean
+  /**
+   * Live GLOBAL native-/goal switch. It only decides whether the card's own
+   * preference takes effect: the option stays operable while it is off, the
+   * stored value is never rewritten by it, and the explanation below says so.
+   */
+  goalRunEnabled: boolean
 }) {
   const options = executionOptions
   const workspaceId = task.workspaceId ?? ''
@@ -173,13 +188,17 @@ function ExecutionSettingsSection({ controller, task, pending, executionOptions,
       <label className={css.scheduleToggle}>
         <input
           type="checkbox"
-          checked={task.goalRun !== false}
+          checked={task.goalRun === true}
+          // Always operable (only a pending execution locks it): the global
+          // switch decides whether the preference takes effect, never whether
+          // the user may state it, and it never rewrites what is stored here.
           disabled={pending}
           onChange={event => { controller.updateTask(task.id, { goalRun: event.target.checked }) }}
         />
         <span>{t('exec.goalRun')}</span>
       </label>
       <p className={css.detailText}>{t('exec.goalRunHint')}</p>
+      {!goalRunEnabled && <p className={css.detailText}>{t('settings.goalRunGlobalDisabledTaskOption')}</p>}
       <label className={css.scheduleToggle}>
         <input
           type="checkbox"
@@ -204,31 +223,49 @@ function ExecutionSettingsSection({ controller, task, pending, executionOptions,
   )
 }
 
-/** The scheduled-runs editor: enable toggle, cron input + presets, zone, next-run info. */
+/**
+ * The scheduled-runs editor. A one-shot has one planned instant; a recurring
+ * rule has a cron expression, an optional run cap, and a zone. The editor
+ * shows the rule's own state (next target, run counter, stop/skip record) and
+ * can cancel a future plan.
+ */
 function ScheduleSection({ controller, task, pending }: { controller: BoardController; task: TaskRecord; pending: boolean }) {
   const schedule = task.schedule
+  const hostTimeZone = controller.getSnapshot().host?.scheduler.timeZone
+  // The rule's own zone; '' means "follow the Host zone" (no stored zone).
+  const [zone, setZone] = useState<string>(schedule?.timeZone ?? '')
+  const [mode, setMode] = useState<ScheduleMode>(schedule?.mode ?? 'cron')
   const [cron, setCron] = useState(schedule?.cron ?? '0 9 * * *')
+  const [atText, setAtText] = useState<string>(() => schedule?.at === undefined
+    ? defaultZonedInputValue(Date.now(), schedule?.timeZone ?? hostTimeZone)
+    : zonedInputValue(schedule.at, schedule?.timeZone ?? hostTimeZone))
+  const [maxRunsChoice, setMaxRunsChoice] = useState<string>(() => runCapOption(schedule?.maxRuns))
+  const [maxRunsText, setMaxRunsText] = useState<string>(schedule?.maxRuns === undefined ? '' : String(schedule.maxRuns))
   const [enabled, setEnabled] = useState(schedule?.enabled ?? false)
   const [nextRunAt, setNextRunAt] = useState<number | undefined>(schedule?.nextRunAt)
   const [lastTriggeredAt, setLastTriggeredAt] = useState<number | undefined>(schedule?.lastTriggeredAt)
   const [error, setError] = useState<string | undefined>(undefined)
-  const hostTimeZone = controller.getSnapshot().host?.scheduler.timeZone
-  // The rule's own zone; '' means "follow the Host zone" (no stored zone).
-  const [zone, setZone] = useState<string>(schedule?.timeZone ?? '')
   // One clock reading per render pass, so the absolute and relative halves of
   // the label always describe the same instant.
   const now = Date.now()
 
   // Keep the editor in sync when the task record changes underneath (the
-  // schedule rolls forward as runs trigger).
+  // schedule rolls forward as runs trigger, ends at its budget, or is edited
+  // elsewhere).
   useEffect(() => {
+    setMode(schedule?.mode ?? 'cron')
     setCron(schedule?.cron ?? '0 9 * * *')
+    setZone(schedule?.timeZone ?? '')
+    setAtText(schedule?.at === undefined
+      ? defaultZonedInputValue(Date.now(), schedule?.timeZone ?? hostTimeZone)
+      : zonedInputValue(schedule.at, schedule?.timeZone ?? hostTimeZone))
+    setMaxRunsChoice(runCapOption(schedule?.maxRuns))
+    setMaxRunsText(schedule?.maxRuns === undefined ? '' : String(schedule.maxRuns))
     setEnabled(schedule?.enabled ?? false)
     setNextRunAt(schedule?.nextRunAt)
     setLastTriggeredAt(schedule?.lastTriggeredAt)
-    setZone(schedule?.timeZone ?? '')
     setError(undefined)
-  }, [task.id, schedule?.enabled, schedule?.cron, schedule?.timeZone, schedule?.nextRunAt, schedule?.lastTriggeredAt])
+  }, [task.id, hostTimeZone, schedule?.mode, schedule?.enabled, schedule?.cron, schedule?.at, schedule?.timeZone, schedule?.nextRunAt, schedule?.lastTriggeredAt, schedule?.maxRuns])
 
   /** Validate + persist the current cron text (Enter or blur). */
   const saveCron = (value: string): void => {
@@ -239,21 +276,101 @@ function ScheduleSection({ controller, task, pending }: { controller: BoardContr
       return
     }
     setError(undefined)
-    controller.setSchedule(task.id, { cron: trimmed })
+    controller.setSchedule(task.id, { mode: 'cron', cron: trimmed })
+  }
+
+  /** Validate + persist the one-shot's planned instant. */
+  const saveAt = (value: string): void => {
+    setAtText(value)
+    const at = parseZonedInput(value, effectiveZone)
+    if (at === undefined || at <= now) {
+      setError(t('detail.schedule.atInvalid'))
+      return
+    }
+    setError(undefined)
+    controller.setSchedule(task.id, { mode: 'once', at })
+  }
+
+  /** Switch the kind of plan, persisting a usable target for the new kind. */
+  const changeMode = (next: ScheduleMode): void => {
+    if (next === 'once') {
+      const at = parseZonedInput(atText, effectiveZone)
+      if (at === undefined || at <= now) {
+        setError(t('detail.schedule.atInvalid'))
+        return
+      }
+      setMode('once')
+      setError(undefined)
+      controller.setSchedule(task.id, { mode: 'once', at })
+      return
+    }
+    const trimmed = cron.trim()
+    if (trimmed === '' || !isValidCron(trimmed)) {
+      setError(t('detail.schedule.invalid'))
+      return
+    }
+    setMode('cron')
+    setError(undefined)
+    controller.setSchedule(task.id, { mode: 'cron', cron: trimmed })
   }
 
   /**
    * Change the rule's zone. `''` clears the stored zone, which is how a user
-   * returns a rule to following the Host zone.
+   * returns a rule to following the Host zone. A one-shot's instant is
+   * absolute, so only its rendered wall clock follows the new zone; a cron
+   * rule's wall clock itself moves with the zone.
    */
   const changeZone = (value: string): void => {
     setZone(value)
     setError(undefined)
+    if (mode === 'once' && schedule?.at !== undefined) {
+      setAtText(zonedInputValue(schedule.at, value === '' ? hostTimeZone : value))
+      controller.setSchedule(task.id, { mode: 'once', timeZone: value === '' ? null : value })
+      return
+    }
     controller.setSchedule(task.id, { timeZone: value === '' ? null : value })
   }
 
-  /** Arm/disarm the schedule (arming first persists the edited cron). */
+  /** Change the recurring rule's run cap (unlimited, a preset, or a custom value). */
+  const applyMaxRuns = (choice: string): void => {
+    setMaxRunsChoice(choice)
+    setError(undefined)
+    if (choice === 'unlimited') {
+      controller.setSchedule(task.id, { maxRuns: null })
+      return
+    }
+    if (choice === 'custom') {
+      setMaxRunsText(schedule?.maxRuns === undefined ? '' : String(schedule.maxRuns))
+      return
+    }
+    controller.setSchedule(task.id, { maxRuns: Number(choice) })
+  }
+
+  /** Persist a custom run cap; a non-positive or fractional value is refused. */
+  const saveCustomMaxRuns = (value: string): void => {
+    setMaxRunsText(value)
+    const parsed = Number(value.trim())
+    if (value.trim() === '' || !Number.isInteger(parsed) || parsed < 1) {
+      setError(t('detail.schedule.maxRunsInvalid'))
+      return
+    }
+    setError(undefined)
+    controller.setSchedule(task.id, { maxRuns: parsed })
+  }
+
+  /** Arm/disarm the schedule (arming first persists the edited plan). */
   const toggleEnabled = (next: boolean): void => {
+    if (next && mode === 'once') {
+      const at = parseZonedInput(atText, effectiveZone)
+      if (at === undefined || at <= now) {
+        setError(t('detail.schedule.atInvalid'))
+        return
+      }
+      setError(undefined)
+      const submitted = controller.setSchedule(task.id, { mode: 'once', at, enabled: true })
+      if (submitted && !controller.isHostBacked()) setEnabled(true)
+      return
+    }
     const trimmed = cron.trim()
     if (next && (trimmed === '' || !isValidCron(trimmed))) {
       setError(t('detail.schedule.invalid'))
@@ -267,11 +384,19 @@ function ScheduleSection({ controller, task, pending }: { controller: BoardContr
     if (submitted && !controller.isHostBacked()) setEnabled(next)
   }
 
+  /** Drop every future trigger without touching the card's execution history. */
+  const cancelSchedule = (): void => {
+    setError(undefined)
+    const submitted = controller.setSchedule(task.id, { enabled: false })
+    if (submitted && !controller.isHostBacked()) setEnabled(false)
+  }
+
   const applyPreset = (preset: string): void => {
     if (preset === '') return
     setCron(preset)
+    setMode('cron')
     setError(undefined)
-    controller.setSchedule(task.id, { cron: preset })
+    controller.setSchedule(task.id, { mode: 'cron', cron: preset })
   }
 
   // The zone the rule's wall clock is actually read in: its own when set,
@@ -286,6 +411,11 @@ function ScheduleSection({ controller, task, pending }: { controller: BoardContr
   // The rule's own stored zone rides the list even when this runtime's
   // inventory does not carry it, so opening the editor cannot rewrite it.
   const zones = zoneChoices(hostTimeZone, schedule?.timeZone)
+  // The ledger's own view of the budget and stop record: derived here rather
+  // than tracked in local state, so the display cannot drift from the Host.
+  const budget = schedule === undefined ? undefined : budgetLabel(schedule)
+  const ended = schedule === undefined ? undefined : endedLabel(schedule)
+  const skipped = schedule === undefined ? undefined : skippedLabel(schedule)
 
   return (
     <section className={css.detailSection}>
@@ -299,6 +429,35 @@ function ScheduleSection({ controller, task, pending }: { controller: BoardContr
         />
         <span>{t('detail.schedule.enable')}</span>
       </label>
+      <label className={css.scheduleZone}>
+        <span>{t('detail.schedule.mode')}</span>
+        <select
+          className={css.schedulePreset}
+          value={mode}
+          disabled={pending}
+          aria-label={t('detail.schedule.mode')}
+          onChange={event => { changeMode(event.target.value as ScheduleMode) }}
+        >
+          <option value="cron">{t('detail.schedule.mode.cron')}</option>
+          <option value="once">{t('detail.schedule.mode.once')}</option>
+        </select>
+      </label>
+      {mode === 'once' ? (
+        <label className={css.scheduleZone}>
+          <span>{t('detail.schedule.at')}</span>
+          <input
+            className={css.input}
+            type="datetime-local"
+            value={atText}
+            disabled={pending}
+            aria-label={t('detail.schedule.at')}
+            title={t('detail.schedule.atHint')}
+            onChange={event => { setAtText(event.target.value); setError(undefined) }}
+            onBlur={() => { saveAt(atText) }}
+          />
+        </label>
+      ) : (
+        <>
       <div className={css.scheduleRow}>
         <input
           className={`${css.input} ${css.scheduleInput}${error !== undefined ? ` ${css.scheduleInputInvalid}` : ''}`}
@@ -324,6 +483,39 @@ function ScheduleSection({ controller, task, pending }: { controller: BoardContr
           ))}
         </select>
       </div>
+          <label className={css.scheduleZone}>
+            <span>{t('detail.schedule.maxRuns')}</span>
+            <select
+              className={css.schedulePreset}
+              value={maxRunsChoice}
+              disabled={pending}
+              aria-label={t('detail.schedule.maxRuns')}
+              onChange={event => { applyMaxRuns(event.target.value) }}
+            >
+              <option value="unlimited">{t('detail.schedule.maxRunsUnlimited')}</option>
+              <option value="1">{t('detail.schedule.maxRunsValue', { count: '1' })}</option>
+              <option value="2">{t('detail.schedule.maxRunsValue', { count: '2' })}</option>
+              <option value="custom">{t('detail.schedule.maxRunsCustom')}</option>
+            </select>
+          </label>
+          {maxRunsChoice === 'custom' && (
+            <label className={css.scheduleZone}>
+              <span>{t('detail.schedule.maxRuns')}</span>
+              <input
+                className={css.input}
+                type="number"
+                min={1}
+                step={1}
+                value={maxRunsText}
+                disabled={pending}
+                aria-label={t('detail.schedule.maxRuns')}
+                onChange={event => { setMaxRunsText(event.target.value) }}
+                onBlur={() => { saveCustomMaxRuns(maxRunsText) }}
+              />
+            </label>
+          )}
+        </>
+      )}
       {/* A list is used instead of a free-text field so only zones the Host can
           also resolve are offered; the Host zone entry clears the stored value. */}
       <label className={css.scheduleZone}>
@@ -333,7 +525,7 @@ function ScheduleSection({ controller, task, pending }: { controller: BoardContr
           value={zone}
           disabled={pending}
           aria-label={t('detail.schedule.timeZone')}
-          title={t('detail.schedule.timeZoneHint')}
+          title={mode === 'once' ? t('detail.schedule.zoneOnceHint') : t('detail.schedule.timeZoneHint')}
           onChange={event => { changeZone(event.target.value) }}
         >
           {zones.map(choice => (
@@ -346,6 +538,14 @@ function ScheduleSection({ controller, task, pending }: { controller: BoardContr
         {t('detail.schedule.nextRun')} {nextLabel}
         {' · '}{t('detail.schedule.lastTriggered')} {lastLabel}
       </p>
+      {budget !== undefined && <p className={css.scheduleMeta}>{budget}</p>}
+      {ended !== undefined && <p className={css.scheduleMeta}>{ended}</p>}
+      {ended === undefined && skipped !== undefined && <p className={css.scheduleMeta}>{skipped}</p>}
+      {enabled && (
+        <button type="button" className={css.ghostButton} disabled={pending} onClick={cancelSchedule}>
+          {t('detail.schedule.cancel')}
+        </button>
+      )}
     </section>
   )
 }
@@ -611,6 +811,7 @@ export function TaskDetail({ controller, task, phase = 'open' }: { controller: B
                 pending={pending}
                 executionOptions={snapshot.executionOptions}
                 teamRunAvailable={snapshot.host?.teamRunAvailable === true}
+                goalRunEnabled={snapshot.host?.goalRunEnabled === true}
               />
               <ScheduleSection controller={controller} task={current} pending={pending} />
             </>

package/src/client/board/VerificationReport.tsx

@@ -13,13 +13,18 @@
  * execution row's existing markup instead of extending that enum.
  */
 import {
+  MAX_INVALID_ATTEMPTS,
   MAX_QUALITY_ATTEMPTS,
   exceptionAttempts,
+  invalidAttempts,
   qualityAttempts,
   verificationPhase,
   verificationTotals,
+  type AcceptanceAuditRecord,
+  type AcceptanceCleanupRecord,
   type ExecutionVerification,
   type VerificationAttempt,
+  type VerificationCriterionFinding,
 } from '../../core/verification.ts'
 import { t } from '../locales.ts'
 import type { TaskBoardKey } from '../locales.ts'
@@ -46,24 +51,67 @@ const PHASE_STATUS_KEY: Record<ReturnType<typeof verificationPhase>, TaskBoardKe
   repairing: 'verify.status.failed',
   passed: 'verify.status.passed',
   failed: 'verify.status.failed',
+  invalid: 'verify.status.invalidHeld',
 }
 
-/** One recorded attempt: a quality verdict or an acceptance anomaly. */
-function AttemptRow({ attempt }: { attempt: VerificationAttempt }) {
-  const exception = attempt.stage === 'exception'
+/** Evidence location → locale key, for one structured finding's citation. */
+const LOCATION_KEY: Record<VerificationCriterionFinding['location'], TaskBoardKey> = {
+  task: 'verify.location.task',
+  trajectory: 'verify.location.trajectory',
+  workspace: 'verify.location.workspace',
+  baseline: 'verify.location.baseline',
+  unknown: 'verify.location.unknown',
+}
+
+/** Invalid reason → locale key. */
+function invalidReasonKey(attempt: VerificationAttempt): TaskBoardKey {
+  switch (attempt.invalidReason) {
+    case 'missing-finding': return 'verify.invalidReason.missing-finding'
+    case 'unlocatable-quote': return 'verify.invalidReason.unlocatable-quote'
+    case 'baseline-finding': return 'verify.invalidReason.baseline-finding'
+    case 'vacuous-finding': return 'verify.invalidReason.vacuous-finding'
+    case 'insufficient-evidence': return 'verify.invalidReason.insufficient-evidence'
+    default: return 'verify.invalidReason.unknown'
+  }
+}
+
+/** Audit stage → locale key (the lightweight credential after cleanup). */
+const AUDIT_STAGE_KEY: Record<AcceptanceAuditRecord['stage'], TaskBoardKey> = {
+  quality: 'verify.cleanup.stage.quality',
+  invalid: 'verify.cleanup.stage.invalid',
+  exception: 'verify.cleanup.stage.exception',
+  budget: 'verify.cleanup.stage.budget',
+}
+
+/** One recorded attempt: a quality verdict, an invalid veto, an anomaly, or a budget stop. */
+function AttemptRow({ attempt, detailRemoved }: { attempt: VerificationAttempt, detailRemoved: boolean }) {
+  // Everything that is not a quality verdict renders as an anomaly row: a
+  // budget stop carries no score either, and an invalid acceptance carries a
+  // score the board REFUSED to book, so showing either as a scored failure
+  // would read as a judgement the board never made. The invalid row gets its
+  // own badge and reason line, because it is a distinct outcome.
+  const invalid = attempt.stage === 'invalid'
+  const exception = attempt.stage !== 'quality' && !invalid
   const result = exception ? 'failed' : attempt.passed ? 'succeeded' : 'failed'
   return (
     <li className={css.executionRow} data-result={result}>
       <span className={css.executionBadge} data-result={result}>
-        {exception ? t('verify.status.exception') : attempt.passed ? t('verify.status.passed') : t('verify.status.failed')}
+        {invalid ? t('verify.status.invalid') : exception ? t('verify.status.exception') : attempt.passed ? t('verify.status.passed') : t('verify.status.failed')}
       </span>
       <span className={css.executionTimes}>
-        {exception
-          ? t('verify.attemptException', { index: String(attempt.index) })
-          : t('verify.attempt', { index: String(attempt.index) })}
+        {invalid
+          ? t('verify.attemptInvalid', { index: String(attempt.index) })
+          : exception
+            ? t('verify.attemptException', { index: String(attempt.index) })
+            : t('verify.attempt', { index: String(attempt.index) })}
         {' · '}{routeLabel(attempt)}
-        {!exception && ' · ' + t('verify.rounds', { rounds: String(attempt.rounds) })}
+        {!exception && !invalid && ' · ' + t('verify.rounds', { rounds: String(attempt.rounds) })}
       </span>
+      {invalid && (
+        <span className={css.executionTimes}>
+          {t('verify.invalidDetail', { reason: t(invalidReasonKey(attempt)) })}
+        </span>
+      )}
       {attempt.error !== undefined && <span className={css.executionTimes}>{attempt.error}</span>}
       {!exception && (
         <>
@@ -88,6 +136,25 @@ function AttemptRow({ attempt }: { attempt: VerificationAttempt }) {
           </ul>
         </>
       )}
+      {(attempt.criterionFindings ?? []).length > 0 && (
+        <>
+          <span className={css.executionTimes}>{t('verify.criterionFindings')}</span>
+          <ul className={css.executionList}>
+            {(attempt.criterionFindings ?? []).map((finding, index) => (
+              <li key={findingKey(attempt, index)} className={css.executionTimes}>
+                {t('verify.criterionFindingFull', {
+                  criterion: finding.criterionId,
+                  location: t(LOCATION_KEY[finding.location]),
+                  quote: finding.quote,
+                  requirement: finding.requirement,
+                  observation: finding.observation,
+                  gap: finding.gap,
+                })}
+              </li>
+            ))}
+          </ul>
+        </>
+      )}
       {attempt.findings.length > 0 && (
         <>
           <span className={css.executionTimes}>{t('verify.findings')}</span>
@@ -98,8 +165,12 @@ function AttemptRow({ attempt }: { attempt: VerificationAttempt }) {
           </ul>
         </>
       )}
-      {!exception && attempt.findings.length === 0 && (
-        <span className={css.executionTimes}>{t('verify.noFindings')}</span>
+      {!exception && !invalid && attempt.findings.length === 0 && (
+        // A cleaned attempt has no findings because the acceptance removed them,
+        // not because the judge gave none: saying "the judge reported no
+        // finding" here would invite exactly the misreading the cleanup rule
+        // exists to avoid.
+        <span className={css.executionTimes}>{t(detailRemoved ? 'verify.detailRemoved' : 'verify.noFindings')}</span>
       )}
       <span className={css.executionTimes}>
         {t('verify.evidence', {
@@ -145,16 +216,20 @@ export function VerificationReport({ verification }: { verification: ExecutionVe
       ? 'verify.applicability.skipped'
       : verification.applicability === 'goal-unavailable'
         ? 'verify.applicability.goalUnavailable'
-        : verification.applicability === 'team-member' ? 'verify.applicability.teamMember' : undefined
+        : verification.applicability === 'goal-disabled'
+          ? 'verify.applicability.goalDisabled'
+          : verification.applicability === 'team-member' ? 'verify.applicability.teamMember' : undefined
   return (
     <div className={css.executionTimes}>
       <span className={css.executionBadge} data-result={phase === 'passed' ? 'succeeded' : phase === 'failed' ? 'failed' : undefined}>
         {t('verify.title')} · {t(PHASE_STATUS_KEY[phase])}
       </span>
       <span className={css.executionTimes}>
-        {t('verify.counts', {
+        {t('verify.invalidCounts', {
           quality: String(qualityAttempts(verification).length),
           max: String(MAX_QUALITY_ATTEMPTS),
+          invalid: String(invalidAttempts(verification).length),
+          maxInvalid: String(MAX_INVALID_ATTEMPTS),
           exceptions: String(exceptionAttempts(verification).length),
         })}
       </span>
@@ -194,10 +269,54 @@ export function VerificationReport({ verification }: { verification: ExecutionVe
       {verification.attempts.length > 0 && (
         <ul className={css.executionList}>
           {[...verification.attempts].reverse().map(attempt => (
-            <AttemptRow key={attempt.at.toString(36) + '-' + attempt.stage + '-' + String(attempt.index)} attempt={attempt} />
+            <AttemptRow
+              key={attempt.at.toString(36) + '-' + attempt.stage + '-' + String(attempt.index)}
+              attempt={attempt}
+              detailRemoved={verification.cleanup?.state === 'cleaned'}
+            />
           ))}
         </ul>
       )}
+      {verification.cleanup !== undefined && <CleanupNotice cleanup={verification.cleanup} />}
     </div>
   )
 }
+
+/**
+ * Retention notice of one execution's acceptance detail.
+ *
+ * It exists so a reader never mistakes a cleaned-up report for a judge that
+ * produced no evidence: the notice says the detail WAS produced and was removed
+ * by the automatic cleanup, and lists the lightweight credential that survives.
+ * A pending or failed cleanup is reported the same way — never as a missing
+ * verdict and never as a revoked pass.
+ */
+function CleanupNotice({ cleanup }: { cleanup: AcceptanceCleanupRecord }) {
+  const key: TaskBoardKey = cleanup.state === 'cleaned'
+    ? 'verify.cleanup.cleaned'
+    : cleanup.state === 'failed' ? 'verify.cleanup.failed' : 'verify.cleanup.pending'
+  return (
+    <>
+      <span className={css.executionTimes}>
+        {cleanup.state === 'failed'
+          ? t(key, { attempts: String(cleanup.attempts), error: cleanup.lastError ?? '' })
+          : t(key)}
+      </span>
+      {cleanup.audit.length > 0 && (
+        <ul className={css.executionList}>
+          {cleanup.audit.map((record, index) => (
+            <li key={record.at.toString(36) + '-' + record.stage + '-' + String(index)} className={css.executionTimes}>
+              {t('verify.cleanup.audit', {
+                index: String(index + 1),
+                stage: t(AUDIT_STAGE_KEY[record.stage]),
+                score: percent(record.score),
+                hash: record.evidenceHash.slice(0, 12),
+              })}
+              {record.findingSummary === undefined ? '' : ' · ' + record.findingSummary}
+            </li>
+          ))}
+        </ul>
+      )}
+    </>
+  )
+}

package/src/client/board/status-key.ts

@@ -23,6 +23,9 @@ export const VERIFICATION_PHASE_KEY: Record<VerificationPhase, TaskBoardKey> = {
   repairing: 'running.repairing',
   passed: 'running.verificationPassed',
   failed: 'running.verificationFailed',
+  // Held for a human: the judge produced no usable veto, so this is NOT the
+  // quality-failure label.
+  invalid: 'running.verificationInvalid',
 }
 
 /**