agentplane 0.3.10 → 0.3.11

package/dist/commands/task/verify-command-shared.js

@@ -1,13 +1,82 @@
 import { usageError } from "../../cli/spec/errors.js";
+export const verifyFindingOptions = [
+    {
+        kind: "string",
+        name: "observation",
+        valueHint: "<text>",
+        description: "Structured finding observation to append with the verification.",
+    },
+    {
+        kind: "string",
+        name: "impact",
+        valueHint: "<text>",
+        description: "Structured finding impact to append with the verification.",
+    },
+    {
+        kind: "string",
+        name: "resolution",
+        valueHint: "<text>",
+        description: "Structured finding resolution to append with the verification.",
+    },
+    {
+        kind: "boolean",
+        name: "local-only",
+        default: false,
+        description: "Keep the finding task-local; omit incident-candidate promotion.",
+    },
+    {
+        kind: "boolean",
+        name: "repo-fixable",
+        default: false,
+        description: "Mark the structured finding as repo-fixable so incidents collect can promote it.",
+    },
+    {
+        kind: "string",
+        name: "incident-scope",
+        valueHint: "<text>",
+        description: "Optional incident scope for the appended finding.",
+    },
+    {
+        kind: "string",
+        name: "incident-tag",
+        valueHint: "<tag>",
+        repeatable: true,
+        description: "Repeatable incident tag for the appended finding.",
+    },
+    {
+        kind: "string",
+        name: "incident-match",
+        valueHint: "<term>",
+        repeatable: true,
+        description: "Repeatable incident match term for the appended finding.",
+    },
+    {
+        kind: "string",
+        name: "incident-advice",
+        valueHint: "<text>",
+        description: "Optional operator advice for the appended finding.",
+    },
+    {
+        kind: "string",
+        name: "incident-rule",
+        valueHint: "<text>",
+        description: "Optional incident rule for the appended finding.",
+    },
+];
 export const verifyCommonOptions = [
     { kind: "string", name: "by", valueHint: "<id>", required: true, description: "Verifier id." },
     {
         kind: "string",
         name: "note",
         valueHint: "<text>",
-        required: true,
         description: "Short verification note.",
     },
+    {
+        kind: "string",
+        name: "note-file",
+        valueHint: "<path>",
+        description: "Read the verification note from a file path (mutually exclusive with --note).",
+    },
     {
         kind: "string",
         name: "details",
@@ -26,6 +95,13 @@ export const verifyCommonOptions = [
         default: false,
         description: "Suppress normal output (still prints errors).",
     },
+    {
+        kind: "boolean",
+        name: "collect-incidents",
+        default: false,
+        description: "After recording verification, collect promotable findings into incidents.md immediately.",
+    },
+    ...verifyFindingOptions,
 ];
 export function validateVerifyDetailsFileExclusive(raw, spec, opts) {
     if (typeof raw.opts.details === "string" && typeof raw.opts.file === "string") {
@@ -42,12 +118,87 @@ export function validateVerifyNonEmptyInput(raw, spec, name) {
         throw usageError({ spec, message: `Invalid value for --${name}: empty.` });
     }
 }
+export function validateVerifyNoteSource(raw, spec, opts) {
+    const inlineNote = raw.opts.note;
+    const noteFile = raw.opts["note-file"];
+    if (typeof inlineNote === "string" && typeof noteFile === "string") {
+        throw usageError({
+            spec,
+            command: opts?.command,
+            message: "Options --note and --note-file are mutually exclusive.",
+        });
+    }
+    if (typeof noteFile === "string" && noteFile.trim().length === 0) {
+        throw usageError({
+            spec,
+            command: opts?.command,
+            message: "Invalid value for --note-file: empty.",
+        });
+    }
+    if (typeof inlineNote === "string" && inlineNote.trim().length === 0) {
+        throw usageError({
+            spec,
+            command: opts?.command,
+            message: "Invalid value for --note: empty.",
+        });
+    }
+    if (typeof inlineNote !== "string" && typeof noteFile !== "string") {
+        throw usageError({
+            spec,
+            command: opts?.command,
+            message: "Provide exactly one of --note or --note-file.",
+        });
+    }
+}
+export function validateVerifyFindingSource(raw, spec, opts) {
+    const hasFindingField = [
+        raw.opts.observation,
+        raw.opts.impact,
+        raw.opts.resolution,
+        raw.opts["incident-scope"],
+        raw.opts["incident-advice"],
+        raw.opts["incident-rule"],
+    ].some((value) => typeof value === "string" && value.trim().length > 0);
+    const hasFindingCollections = Array.isArray(raw.opts["incident-tag"]) && raw.opts["incident-tag"].length > 0
+        ? true
+        : Array.isArray(raw.opts["incident-match"]) && raw.opts["incident-match"].length > 0;
+    const hasFindingToggle = raw.opts["local-only"] === true || raw.opts["repo-fixable"] === true;
+    if (!hasFindingField && !hasFindingCollections && !hasFindingToggle)
+        return;
+    const observation = raw.opts.observation;
+    const impact = raw.opts.impact;
+    const resolution = raw.opts.resolution;
+    if (typeof observation !== "string" ||
+        observation.trim().length === 0 ||
+        typeof impact !== "string" ||
+        impact.trim().length === 0 ||
+        typeof resolution !== "string" ||
+        resolution.trim().length === 0) {
+        throw usageError({
+            spec,
+            command: opts?.command,
+            message: "Provide --observation, --impact, and --resolution together when appending a structured finding.",
+        });
+    }
+}
 export function parseVerifyCommonOptions(raw) {
     return {
         by: typeof raw.opts.by === "string" ? raw.opts.by : "",
         note: typeof raw.opts.note === "string" ? raw.opts.note : "",
+        noteFile: typeof raw.opts["note-file"] === "string" ? raw.opts["note-file"] : undefined,
         details: typeof raw.opts.details === "string" ? raw.opts.details : undefined,
         file: typeof raw.opts.file === "string" ? raw.opts.file : undefined,
         quiet: raw.opts.quiet === true,
+        collectIncidents: raw.opts["collect-incidents"] === true,
+        observation: typeof raw.opts.observation === "string" ? raw.opts.observation : undefined,
+        impact: typeof raw.opts.impact === "string" ? raw.opts.impact : undefined,
+        resolution: typeof raw.opts.resolution === "string" ? raw.opts.resolution : undefined,
+        localOnly: raw.opts["local-only"] === true,
+        repoFixable: raw.opts["repo-fixable"] === true,
+        incidentScope: typeof raw.opts["incident-scope"] === "string" ? raw.opts["incident-scope"] : undefined,
+        incidentTags: raw.opts["incident-tag"] ?? [],
+        incidentMatch: raw.opts["incident-match"] ?? [],
+        incidentAdvice: typeof raw.opts["incident-advice"] === "string" ? raw.opts["incident-advice"] : undefined,
+        incidentRule: typeof raw.opts["incident-rule"] === "string" ? raw.opts["incident-rule"] : undefined,
     };
 }

package/dist/commands/task/verify-ok.command.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"verify-ok.command.d.ts","sourceRoot":"","sources":["../../../src/commands/task/verify-ok.command.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,WAAW,EAAE,MAAM,wBAAwB,CAAC;AACtE,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,2BAA2B,CAAC;AAGhE,OAAO,EAKL,KAAK,kBAAkB,EACxB,MAAM,4BAA4B,CAAC;AAEpC,MAAM,MAAM,kBAAkB,GAAG,kBAAkB,GAAG;IACpD,MAAM,EAAE,MAAM,CAAC;CAChB,CAAC;AAEF,eAAO,MAAM,gBAAgB,EAAE,WAAW,CAAC,kBAAkB,CAuB5D,CAAC;AAEF,wBAAgB,0BAA0B,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,MAAM,KAAK,OAAO,CAAC,cAAc,CAAC,IAC3E,KAAK,UAAU,EAAE,GAAG,kBAAkB,KAAG,OAAO,CAAC,MAAM,CAAC,CAavE"}
+{"version":3,"file":"verify-ok.command.d.ts","sourceRoot":"","sources":["../../../src/commands/task/verify-ok.command.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,WAAW,EAAE,MAAM,wBAAwB,CAAC;AACtE,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,2BAA2B,CAAC;AAGhE,OAAO,EAOL,KAAK,kBAAkB,EACxB,MAAM,4BAA4B,CAAC;AAEpC,MAAM,MAAM,kBAAkB,GAAG,kBAAkB,GAAG;IACpD,MAAM,EAAE,MAAM,CAAC;CAChB,CAAC;AAEF,eAAO,MAAM,gBAAgB,EAAE,WAAW,CAAC,kBAAkB,CAwB5D,CAAC;AAEF,wBAAgB,0BAA0B,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,MAAM,KAAK,OAAO,CAAC,cAAc,CAAC,IAC3E,KAAK,UAAU,EAAE,GAAG,kBAAkB,KAAG,OAAO,CAAC,MAAM,CAAC,CAyBvE"}

package/dist/commands/task/verify-ok.command.js

@@ -1,5 +1,5 @@
 import { cmdTaskVerifyOk } from "./verify-record.js";
-import { parseVerifyCommonOptions, validateVerifyDetailsFileExclusive, validateVerifyNonEmptyInput, verifyCommonOptions, } from "./verify-command-shared.js";
+import { parseVerifyCommonOptions, validateVerifyDetailsFileExclusive, validateVerifyFindingSource, validateVerifyNonEmptyInput, validateVerifyNoteSource, verifyCommonOptions, } from "./verify-command-shared.js";
 export const taskVerifyOkSpec = {
     id: ["task", "verify", "ok"],
     group: "Task",
@@ -17,7 +17,8 @@ export const taskVerifyOkSpec = {
             message: "Provide at most one of --details or --file.",
         });
         validateVerifyNonEmptyInput(raw, taskVerifyOkSpec, "by");
-        validateVerifyNonEmptyInput(raw, taskVerifyOkSpec, "note");
+        validateVerifyNoteSource(raw, taskVerifyOkSpec);
+        validateVerifyFindingSource(raw, taskVerifyOkSpec);
     },
     parse: (raw) => ({
         taskId: String(raw.args["task-id"]),
@@ -33,9 +34,21 @@ export function makeRunTaskVerifyOkHandler(getCtx) {
             taskId: p.taskId,
             by: p.by,
             note: p.note,
+            noteFile: p.noteFile,
             details: p.details,
             file: p.file,
+            collectIncidents: p.collectIncidents,
             quiet: p.quiet,
+            observation: p.observation,
+            impact: p.impact,
+            resolution: p.resolution,
+            localOnly: p.localOnly,
+            repoFixable: p.repoFixable,
+            incidentScope: p.incidentScope,
+            incidentTags: p.incidentTags,
+            incidentMatch: p.incidentMatch,
+            incidentAdvice: p.incidentAdvice,
+            incidentRule: p.incidentRule,
         });
     };
 }

package/dist/commands/task/verify-record.d.ts

@@ -7,8 +7,20 @@ export declare function cmdTaskVerifyOk(opts: {
     taskId: string;
     by: string;
     note: string;
+    noteFile?: string;
     details?: string;
     file?: string;
+    collectIncidents?: boolean;
+    observation?: string;
+    impact?: string;
+    resolution?: string;
+    localOnly: boolean;
+    repoFixable: boolean;
+    incidentScope?: string;
+    incidentTags: string[];
+    incidentMatch: string[];
+    incidentAdvice?: string;
+    incidentRule?: string;
     quiet: boolean;
 }): Promise<number>;
 export declare function cmdTaskVerifyRework(opts: {
@@ -18,8 +30,20 @@ export declare function cmdTaskVerifyRework(opts: {
     taskId: string;
     by: string;
     note: string;
+    noteFile?: string;
     details?: string;
     file?: string;
+    collectIncidents?: boolean;
+    observation?: string;
+    impact?: string;
+    resolution?: string;
+    localOnly?: boolean;
+    repoFixable?: boolean;
+    incidentScope?: string;
+    incidentTags?: string[];
+    incidentMatch?: string[];
+    incidentAdvice?: string;
+    incidentRule?: string;
     quiet: boolean;
 }): Promise<number>;
 export declare function cmdVerifyParsed(opts: {
@@ -30,8 +54,20 @@ export declare function cmdVerifyParsed(opts: {
     state: VerifyState;
     by: string;
     note: string;
+    noteFile?: string;
     details?: string;
     file?: string;
+    collectIncidents?: boolean;
+    observation?: string;
+    impact?: string;
+    resolution?: string;
+    localOnly?: boolean;
+    repoFixable?: boolean;
+    incidentScope?: string;
+    incidentTags?: string[];
+    incidentMatch?: string[];
+    incidentAdvice?: string;
+    incidentRule?: string;
     quiet: boolean;
 }): Promise<number>;
 export {};

package/dist/commands/task/verify-record.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"verify-record.d.ts","sourceRoot":"","sources":["../../../src/commands/task/verify-record.ts"],"names":[],"mappings":"AAQA,OAAO,EAAsB,KAAK,cAAc,EAAE,MAAM,2BAA2B,CAAC;AAYpF,KAAK,WAAW,GAAG,IAAI,GAAG,cAAc,CAAC;AA0KzC,wBAAsB,eAAe,CAAC,IAAI,EAAE;IAC1C,GAAG,CAAC,EAAE,cAAc,CAAC;IACrB,GAAG,EAAE,MAAM,CAAC;IACZ,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,MAAM,EAAE,MAAM,CAAC;IACf,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,KAAK,EAAE,OAAO,CAAC;CAChB,GAAG,OAAO,CAAC,MAAM,CAAC,CAElB;AAED,wBAAsB,mBAAmB,CAAC,IAAI,EAAE;IAC9C,GAAG,CAAC,EAAE,cAAc,CAAC;IACrB,GAAG,EAAE,MAAM,CAAC;IACZ,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,MAAM,EAAE,MAAM,CAAC;IACf,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,KAAK,EAAE,OAAO,CAAC;CAChB,GAAG,OAAO,CAAC,MAAM,CAAC,CAMlB;AAED,wBAAsB,eAAe,CAAC,IAAI,EAAE;IAC1C,GAAG,CAAC,EAAE,cAAc,CAAC;IACrB,GAAG,EAAE,MAAM,CAAC;IACZ,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,MAAM,EAAE,MAAM,CAAC;IACf,KAAK,EAAE,WAAW,CAAC;IACnB,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,KAAK,EAAE,OAAO,CAAC;CAChB,GAAG,OAAO,CAAC,MAAM,CAAC,CAElB"}
+{"version":3,"file":"verify-record.d.ts","sourceRoot":"","sources":["../../../src/commands/task/verify-record.ts"],"names":[],"mappings":"AAaA,OAAO,EAAsB,KAAK,cAAc,EAAE,MAAM,2BAA2B,CAAC;AAepF,KAAK,WAAW,GAAG,IAAI,GAAG,cAAc,CAAC;AAoSzC,wBAAsB,eAAe,CAAC,IAAI,EAAE;IAC1C,GAAG,CAAC,EAAE,cAAc,CAAC;IACrB,GAAG,EAAE,MAAM,CAAC;IACZ,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,MAAM,EAAE,MAAM,CAAC;IACf,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,gBAAgB,CAAC,EAAE,OAAO,CAAC;IAC3B,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,SAAS,EAAE,OAAO,CAAC;IACnB,WAAW,EAAE,OAAO,CAAC;IACrB,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,YAAY,EAAE,MAAM,EAAE,CAAC;IACvB,aAAa,EAAE,MAAM,EAAE,CAAC;IACxB,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,KAAK,EAAE,OAAO,CAAC;CAChB,GAAG,OAAO,CAAC,MAAM,CAAC,CAuBlB;AAED,wBAAsB,mBAAmB,CAAC,IAAI,EAAE;IAC9C,GAAG,CAAC,EAAE,cAAc,CAAC;IACrB,GAAG,EAAE,MAAM,CAAC;IACZ,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,MAAM,EAAE,MAAM,CAAC;IACf,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,gBAAgB,CAAC,EAAE,OAAO,CAAC;IAC3B,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,SAAS,CAAC,EAAE,OAAO,CAAC;IACpB,WAAW,CAAC,EAAE,OAAO,CAAC;IACtB,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,YAAY,CAAC,EAAE,MAAM,EAAE,CAAC;IACxB,aAAa,CAAC,EAAE,MAAM,EAAE,CAAC;IACzB,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,KAAK,EAAE,OAAO,CAAC;CAChB,GAAG,OAAO,CAAC,MAAM,CAAC,CAuBlB;AAED,wBAAsB,eAAe,CAAC,IAAI,EAAE;IAC1C,GAAG,CAAC,EAAE,cAAc,CAAC;IACrB,GAAG,EAAE,MAAM,CAAC;IACZ,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,MAAM,EAAE,MAAM,CAAC;IACf,KAAK,EAAE,WAAW,CAAC;IACnB,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,gBAAgB,CAAC,EAAE,OAAO,CAAC;IAC3B,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,SAAS,CAAC,EAAE,OAAO,CAAC;IACpB,WAAW,CAAC,EAAE,OAAO,CAAC;IACtB,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,YAAY,CAAC,EAAE,MAAM,EAAE,CAAC;IACxB,aAAa,CAAC,EAAE,MAAM,EAAE,CAAC;IACzB,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,KAAK,EAAE,OAAO,CAAC;CAChB,GAAG,OAAO,CAAC,MAAM,CAAC,CAsBlB"}

package/dist/commands/task/verify-record.js

@@ -1,16 +1,21 @@
 import { readFile } from "node:fs/promises";
 import path from "node:path";
 import { mapBackendError, mapCoreError } from "../../cli/error-map.js";
-import { backendNotSupportedMessage, successMessage } from "../../cli/output.js";
+import { backendNotSupportedMessage, infoMessage, successMessage } from "../../cli/output.js";
 import { CliError } from "../../shared/errors.js";
 import { writeJsonStableIfChanged } from "../../shared/write-if-changed.js";
+import { collectTaskIncidents, inspectTaskIncidents, renderIncidentCollectionPlanOutcome, } from "../incidents/shared.js";
 import { ensureReconciledBeforeMutation } from "../shared/reconcile-check.js";
 import { loadCommandContext } from "../shared/task-backend.js";
 import { applyTaskMutation } from "../shared/task-mutation.js";
 import { ensurePrArtifactsSynced } from "../pr/internal/sync.js";
 import { resolvePrPaths } from "../pr/internal/pr-paths.js";
 import { buildVerifiedPrMeta, parsePrMeta } from "../shared/pr-meta.js";
-import { decodeEscapedTaskTextNewlines, executeTaskVerificationTransitionRequest, nowIso, } from "./shared.js";
+import { buildStructuredFindingMutationPlan } from "./findings.js";
+import { assertVerifyStepsFilled, decodeEscapedTaskTextNewlines, executeTaskVerificationTransitionRequest, extractDocSection, nowIso, } from "./shared.js";
+function normalizeFileBackedVerifyNote(raw) {
+    return decodeEscapedTaskTextNewlines(raw).replaceAll(/\s+/gu, " ").trim();
+}
 async function recordVerificationResult(opts) {
     const ctx = opts.ctx ??
         (await loadCommandContext({ cwd: opts.cwd, rootOverride: opts.rootOverride ?? null }));
@@ -30,6 +35,14 @@ async function recordVerificationResult(opts) {
         ctx,
         taskId: opts.taskId,
         build: async (current) => {
+            const doc = (typeof current.doc === "string" ? current.doc : "") ||
+                (await backend.getTaskDoc(current.id));
+            assertVerifyStepsFilled({
+                taskId: current.id,
+                sectionText: extractDocSection(doc, "Verify Steps"),
+                action: "record verification",
+                guidance: "fill it before running `agentplane verify ...`",
+            });
             const execution = executeTaskVerificationTransitionRequest({
                 task: current,
                 at,
@@ -37,11 +50,30 @@ async function recordVerificationResult(opts) {
                 note: opts.note,
                 state: opts.state,
                 details: opts.details ?? null,
-                doc: (typeof current.doc === "string" ? current.doc : "") ||
-                    (await backend.getTaskDoc(current.id)),
+                doc,
                 requiredSections: config.tasks.doc.required_sections,
             });
-            return { intents: execution.intents };
+            const intents = [...execution.intents];
+            if (opts.finding) {
+                const findingPlan = buildStructuredFindingMutationPlan({
+                    current,
+                    config,
+                    observation: opts.finding.observation,
+                    impact: opts.finding.impact,
+                    resolution: opts.finding.resolution,
+                    promote: !opts.finding.localOnly,
+                    external: !opts.finding.localOnly,
+                    fixability: opts.finding.repoFixable ? "repo-fixable" : null,
+                    incidentScope: opts.finding.incidentScope,
+                    incidentTags: opts.finding.incidentTags ?? [],
+                    incidentMatch: opts.finding.incidentMatch ?? [],
+                    incidentAdvice: opts.finding.incidentAdvice,
+                    incidentRule: opts.finding.incidentRule,
+                });
+                if (findingPlan)
+                    intents.push(...findingPlan.intents);
+            }
+            return { intents };
         },
     });
     if (config.workflow_mode === "branch_pr") {
@@ -67,20 +99,70 @@ async function recordVerificationResult(opts) {
             }));
         }
     }
+    let incidentSummary = null;
+    if (opts.collectIncidents === true) {
+        const collected = await collectTaskIncidents({
+            ctx,
+            taskId: opts.taskId,
+            write: true,
+        });
+        incidentSummary = renderIncidentCollectionPlanOutcome(collected.plan, {
+            wrote: collected.wrote,
+            context: "collect",
+            promotedIds: collected.plan.promotable.map((item) => item.entry.id),
+            registryPaths: collected.registryPaths,
+            taskId: opts.taskId,
+        });
+    }
+    else if (config.workflow_mode === "branch_pr") {
+        const inspected = await inspectTaskIncidents({
+            ctx,
+            taskId: opts.taskId,
+        });
+        incidentSummary = renderIncidentCollectionPlanOutcome(inspected.plan, {
+            wrote: false,
+            context: "verify",
+            taskId: opts.taskId,
+        });
+    }
     if (!opts.quiet) {
+        const findingState = opts.finding
+            ? opts.finding.localOnly
+                ? "task-local"
+                : "incident-candidate"
+            : null;
         const readmePath = path.join(resolved.gitRoot, config.paths.workflow_dir, opts.taskId, "README.md");
         const relReadmePath = path.relative(resolved.gitRoot, readmePath);
-        process.stdout.write(`${successMessage("verified", opts.taskId, `state=${opts.state} readme=${relReadmePath}`)}\n`);
+        const extra = findingState ? ` finding=${findingState}` : "";
+        process.stdout.write(`${successMessage("verified", opts.taskId, `state=${opts.state} readme=${relReadmePath}${extra}`)}\n`);
+        if (incidentSummary && config.workflow_mode === "branch_pr") {
+            process.stdout.write(`${infoMessage(incidentSummary)}\n`);
+        }
     }
 }
 async function resolveVerifyRecordInput(opts) {
     const by = String(opts.by ?? "").trim();
-    const note = String(opts.note ?? "").trim();
-    if (!by || !note) {
+    const inlineNote = String(opts.note ?? "").trim();
+    const noteFile = typeof opts.noteFile === "string" ? opts.noteFile.trim() : "";
+    if (!by) {
+        throw new CliError({
+            exitCode: 2,
+            code: "E_USAGE",
+            message: "Missing required input: --by.",
+        });
+    }
+    if (!inlineNote && !noteFile) {
         throw new CliError({
             exitCode: 2,
             code: "E_USAGE",
-            message: "Missing required inputs: --by and --note.",
+            message: "Provide exactly one of --note or --note-file.",
+        });
+    }
+    if (inlineNote && noteFile) {
+        throw new CliError({
+            exitCode: 2,
+            code: "E_USAGE",
+            message: "Options --note and --note-file are mutually exclusive.",
         });
     }
     if (typeof opts.details === "string" && typeof opts.file === "string") {
@@ -90,6 +172,22 @@ async function resolveVerifyRecordInput(opts) {
             message: "Options --details and --file are mutually exclusive.",
         });
     }
+    let note = inlineNote;
+    if (noteFile) {
+        try {
+            note = normalizeFileBackedVerifyNote(await readFile(path.resolve(opts.cwd, noteFile), "utf8"));
+        }
+        catch (err) {
+            throw mapCoreError(err, { command: opts.command, filePath: noteFile });
+        }
+    }
+    if (!note) {
+        throw new CliError({
+            exitCode: 2,
+            code: "E_USAGE",
+            message: "Verification note cannot be empty after normalization.",
+        });
+    }
     let details = typeof opts.details === "string" ? opts.details : null;
     if (typeof opts.file === "string") {
         try {
@@ -116,6 +214,8 @@ async function executeVerifyRecordCommand(opts) {
             by: input.by,
             note: input.note,
             details: input.details,
+            finding: opts.finding,
+            collectIncidents: opts.collectIncidents,
             quiet: opts.quiet,
         });
         return 0;
@@ -127,15 +227,70 @@ async function executeVerifyRecordCommand(opts) {
     }
 }
 export async function cmdTaskVerifyOk(opts) {
-    return await executeVerifyRecordCommand({ ...opts, state: "ok", command: "task verify ok" });
+    return await executeVerifyRecordCommand({
+        ...opts,
+        state: "ok",
+        command: "task verify ok",
+        finding: typeof opts.observation === "string" &&
+            typeof opts.impact === "string" &&
+            typeof opts.resolution === "string"
+            ? {
+                observation: opts.observation,
+                impact: opts.impact,
+                resolution: opts.resolution,
+                localOnly: opts.localOnly === true,
+                repoFixable: opts.repoFixable === true,
+                incidentScope: opts.incidentScope,
+                incidentTags: opts.incidentTags ?? [],
+                incidentMatch: opts.incidentMatch ?? [],
+                incidentAdvice: opts.incidentAdvice,
+                incidentRule: opts.incidentRule,
+            }
+            : null,
+    });
 }
 export async function cmdTaskVerifyRework(opts) {
     return await executeVerifyRecordCommand({
         ...opts,
         state: "needs_rework",
         command: "task verify rework",
+        finding: typeof opts.observation === "string" &&
+            typeof opts.impact === "string" &&
+            typeof opts.resolution === "string"
+            ? {
+                observation: opts.observation,
+                impact: opts.impact,
+                resolution: opts.resolution,
+                localOnly: opts.localOnly === true,
+                repoFixable: opts.repoFixable === true,
+                incidentScope: opts.incidentScope,
+                incidentTags: opts.incidentTags ?? [],
+                incidentMatch: opts.incidentMatch ?? [],
+                incidentAdvice: opts.incidentAdvice,
+                incidentRule: opts.incidentRule,
+            }
+            : null,
     });
 }
 export async function cmdVerifyParsed(opts) {
-    return await executeVerifyRecordCommand({ ...opts, command: "verify" });
+    return await executeVerifyRecordCommand({
+        ...opts,
+        command: "verify",
+        finding: typeof opts.observation === "string" &&
+            typeof opts.impact === "string" &&
+            typeof opts.resolution === "string"
+            ? {
+                observation: opts.observation,
+                impact: opts.impact,
+                resolution: opts.resolution,
+                localOnly: opts.localOnly === true,
+                repoFixable: opts.repoFixable === true,
+                incidentScope: opts.incidentScope,
+                incidentTags: opts.incidentTags ?? [],
+                incidentMatch: opts.incidentMatch ?? [],
+                incidentAdvice: opts.incidentAdvice,
+                incidentRule: opts.incidentRule,
+            }
+            : null,
+    });
 }

package/dist/commands/task/verify-rework.command.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"verify-rework.command.d.ts","sourceRoot":"","sources":["../../../src/commands/task/verify-rework.command.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,WAAW,EAAE,MAAM,wBAAwB,CAAC;AACtE,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,2BAA2B,CAAC;AAGhE,OAAO,EAKL,KAAK,kBAAkB,EACxB,MAAM,4BAA4B,CAAC;AAEpC,MAAM,MAAM,sBAAsB,GAAG,kBAAkB,GAAG;IACxD,MAAM,EAAE,MAAM,CAAC;CAChB,CAAC;AAEF,eAAO,MAAM,oBAAoB,EAAE,WAAW,CAAC,sBAAsB,CAwBpE,CAAC;AAEF,wBAAgB,8BAA8B,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,MAAM,KAAK,OAAO,CAAC,cAAc,CAAC,IAC/E,KAAK,UAAU,EAAE,GAAG,sBAAsB,KAAG,OAAO,CAAC,MAAM,CAAC,CAa3E"}
+{"version":3,"file":"verify-rework.command.d.ts","sourceRoot":"","sources":["../../../src/commands/task/verify-rework.command.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,WAAW,EAAE,MAAM,wBAAwB,CAAC;AACtE,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,2BAA2B,CAAC;AAGhE,OAAO,EAOL,KAAK,kBAAkB,EACxB,MAAM,4BAA4B,CAAC;AAEpC,MAAM,MAAM,sBAAsB,GAAG,kBAAkB,GAAG;IACxD,MAAM,EAAE,MAAM,CAAC;CAChB,CAAC;AAEF,eAAO,MAAM,oBAAoB,EAAE,WAAW,CAAC,sBAAsB,CAyBpE,CAAC;AAEF,wBAAgB,8BAA8B,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,MAAM,KAAK,OAAO,CAAC,cAAc,CAAC,IAC/E,KAAK,UAAU,EAAE,GAAG,sBAAsB,KAAG,OAAO,CAAC,MAAM,CAAC,CAyB3E"}

package/dist/commands/task/verify-rework.command.js

@@ -1,5 +1,5 @@
 import { cmdTaskVerifyRework } from "./verify-record.js";
-import { parseVerifyCommonOptions, validateVerifyDetailsFileExclusive, validateVerifyNonEmptyInput, verifyCommonOptions, } from "./verify-command-shared.js";
+import { parseVerifyCommonOptions, validateVerifyDetailsFileExclusive, validateVerifyFindingSource, validateVerifyNonEmptyInput, validateVerifyNoteSource, verifyCommonOptions, } from "./verify-command-shared.js";
 export const taskVerifyReworkSpec = {
     id: ["task", "verify", "rework"],
     group: "Task",
@@ -17,7 +17,8 @@ export const taskVerifyReworkSpec = {
             message: "Provide at most one of --details or --file.",
         });
         validateVerifyNonEmptyInput(raw, taskVerifyReworkSpec, "by");
-        validateVerifyNonEmptyInput(raw, taskVerifyReworkSpec, "note");
+        validateVerifyNoteSource(raw, taskVerifyReworkSpec);
+        validateVerifyFindingSource(raw, taskVerifyReworkSpec);
     },
     parse: (raw) => ({
         taskId: String(raw.args["task-id"]),
@@ -33,9 +34,21 @@ export function makeRunTaskVerifyReworkHandler(getCtx) {
             taskId: p.taskId,
             by: p.by,
             note: p.note,
+            noteFile: p.noteFile,
             details: p.details,
             file: p.file,
+            collectIncidents: p.collectIncidents,
             quiet: p.quiet,
+            observation: p.observation,
+            impact: p.impact,
+            resolution: p.resolution,
+            localOnly: p.localOnly,
+            repoFixable: p.repoFixable,
+            incidentScope: p.incidentScope,
+            incidentTags: p.incidentTags,
+            incidentMatch: p.incidentMatch,
+            incidentAdvice: p.incidentAdvice,
+            incidentRule: p.incidentRule,
         });
     };
 }

package/dist/commands/task/verify-show.command.d.ts

@@ -1,5 +1,5 @@
 import type { CommandCtx, CommandSpec } from "../../cli/spec/spec.js";
-import type { CommandContext } from "../shared/task-backend.js";
+import { type CommandContext } from "../shared/task-backend.js";
 export type TaskVerifyShowParsed = {
     taskId: string;
     quiet: boolean;

package/dist/commands/task/verify-show.command.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"verify-show.command.d.ts","sourceRoot":"","sources":["../../../src/commands/task/verify-show.command.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,WAAW,EAAE,MAAM,wBAAwB,CAAC;AACtE,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,2BAA2B,CAAC;AAIhE,MAAM,MAAM,oBAAoB,GAAG;IACjC,MAAM,EAAE,MAAM,CAAC;IACf,KAAK,EAAE,OAAO,CAAC;CAChB,CAAC;AAEF,eAAO,MAAM,kBAAkB,EAAE,WAAW,CAAC,oBAAoB,CA6BhE,CAAC;AAEF,wBAAgB,4BAA4B,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,MAAM,KAAK,OAAO,CAAC,cAAc,CAAC,IAC7E,KAAK,UAAU,EAAE,GAAG,oBAAoB,KAAG,OAAO,CAAC,MAAM,CAAC,CAUzE"}
+{"version":3,"file":"verify-show.command.d.ts","sourceRoot":"","sources":["../../../src/commands/task/verify-show.command.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,WAAW,EAAE,MAAM,wBAAwB,CAAC;AAGtE,OAAO,EAAuB,KAAK,cAAc,EAAE,MAAM,2BAA2B,CAAC;AAKrF,MAAM,MAAM,oBAAoB,GAAG;IACjC,MAAM,EAAE,MAAM,CAAC;IACf,KAAK,EAAE,OAAO,CAAC;CAChB,CAAC;AAEF,eAAO,MAAM,kBAAkB,EAAE,WAAW,CAAC,oBAAoB,CA6BhE,CAAC;AAEF,wBAAgB,4BAA4B,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,MAAM,KAAK,OAAO,CAAC,cAAc,CAAC,IAC7E,KAAK,UAAU,EAAE,GAAG,oBAAoB,KAAG,OAAO,CAAC,MAAM,CAAC,CAkCzE"}

package/dist/commands/task/verify-show.command.js

@@ -1,4 +1,8 @@
+import { backendNotSupportedMessage } from "../../cli/output.js";
+import { CliError } from "../../shared/errors.js";
+import { loadTaskFromContext } from "../shared/task-backend.js";
 import { cmdTaskDocShow } from "./doc.js";
+import { assertVerifyStepsFilled, extractDocSection, isVerifyStepsFilled } from "./shared.js";
 export const taskVerifyShowSpec = {
     id: ["task", "verify-show"],
     group: "Task",
@@ -30,8 +34,31 @@ export const taskVerifyShowSpec = {
 };
 export function makeRunTaskVerifyShowHandler(getCtx) {
     return async (ctx, p) => {
+        const commandCtx = await getCtx("task verify-show");
+        const backend = commandCtx.taskBackend;
+        if (!backend.getTaskDoc) {
+            throw new CliError({
+                exitCode: 2,
+                code: "E_USAGE",
+                message: backendNotSupportedMessage("task docs"),
+            });
+        }
+        const task = await loadTaskFromContext({ ctx: commandCtx, taskId: p.taskId });
+        const doc = typeof task.doc === "string" ? task.doc : ((await backend.getTaskDoc(p.taskId)) ?? "");
+        const verifySteps = extractDocSection(doc, "Verify Steps");
+        if (!p.quiet) {
+            assertVerifyStepsFilled({
+                taskId: p.taskId,
+                sectionText: verifySteps,
+                action: "show Verify Steps",
+                guidance: "fill it before verification",
+            });
+        }
+        else if (!isVerifyStepsFilled(verifySteps)) {
+            return 0;
+        }
         return await cmdTaskDocShow({
-            ctx: await getCtx("task verify-show"),
+            ctx: commandCtx,
             cwd: ctx.cwd,
             rootOverride: ctx.rootOverride,
             taskId: p.taskId,

package/dist/commands/verify.run.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"verify.run.d.ts","sourceRoot":"","sources":["../../src/commands/verify.run.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,qBAAqB,CAAC;AACtD,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,0BAA0B,CAAC;AAG/D,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAC;AAErD,wBAAgB,oBAAoB,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,MAAM,KAAK,OAAO,CAAC,cAAc,CAAC,IACrE,KAAK,UAAU,EAAE,GAAG,YAAY,KAAG,OAAO,CAAC,MAAM,CAAC,CAcjE"}
+{"version":3,"file":"verify.run.d.ts","sourceRoot":"","sources":["../../src/commands/verify.run.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,qBAAqB,CAAC;AACtD,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,0BAA0B,CAAC;AAG/D,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAC;AAErD,wBAAgB,oBAAoB,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,MAAM,KAAK,OAAO,CAAC,cAAc,CAAC,IACrE,KAAK,UAAU,EAAE,GAAG,YAAY,KAAG,OAAO,CAAC,MAAM,CAAC,CA0BjE"}