@warpgogol/forge 5.1.2 → 5.2.0

package/src/pipeline-status.test.ts

@@ -0,0 +1,192 @@
+import { test, expect, describe, beforeEach, afterEach } from "vitest";
+import fs from "node:fs/promises";
+import path from "node:path";
+import os from "node:os";
+
+import {
+  deriveQueueItemStatus,
+  deriveQueueReport,
+  resolveDocument,
+  computeRfcPipelineStages,
+  nextPipelineStep,
+} from "./pipeline-status.ts";
+
+let tmpDir: string;
+
+beforeEach(async () => {
+  tmpDir = await fs.mkdtemp(path.join(os.tmpdir(), "pipeline-status-test-"));
+  await fs.mkdir(path.join(tmpDir, "docs/rfcs"), { recursive: true });
+  await fs.mkdir(path.join(tmpDir, "docs/adrs"), { recursive: true });
+  await fs.mkdir(path.join(tmpDir, "docs/audits"), { recursive: true });
+  await fs.mkdir(path.join(tmpDir, "docs/plans"), { recursive: true });
+});
+
+afterEach(async () => {
+  await fs.rm(tmpDir, { recursive: true, force: true });
+});
+
+async function writeRfc(id: string, frontmatter: string): Promise<void> {
+  await fs.writeFile(
+    path.join(tmpDir, `docs/rfcs/${id.toLowerCase()}-test.md`),
+    `---\nid: ${id}\n${frontmatter}---\n# ${id}\n`,
+  );
+}
+
+async function writeAdr(id: string, frontmatter: string): Promise<void> {
+  await fs.writeFile(
+    path.join(tmpDir, `docs/adrs/${id.toLowerCase()}-test.md`),
+    `---\nid: ${id}\n${frontmatter}---\n# ${id}\n`,
+  );
+}
+
+describe("resolveDocument", () => {
+  test("resolves an active RFC file", async () => {
+    await writeRfc("RFC-1001", "status: draft\n");
+    const doc = await resolveDocument(tmpDir, "RFC-1001");
+    expect(doc?.kind).toBe("rfc");
+    expect(doc?.frontmatter["status"]).toBe("draft");
+  });
+
+  test("resolves an archived RFC file", async () => {
+    await fs.mkdir(path.join(tmpDir, "docs/rfcs/archive/implemented"), { recursive: true });
+    await fs.writeFile(
+      path.join(tmpDir, "docs/rfcs/archive/implemented/rfc-1002-old.md"),
+      "---\nid: RFC-1002\nstatus: implemented\n---\n# RFC-1002\n",
+    );
+    const doc = await resolveDocument(tmpDir, "RFC-1002");
+    expect(doc?.file).toContain("archive/implemented");
+    expect(doc?.frontmatter["status"]).toBe("implemented");
+  });
+
+  test("returns undefined for malformed ids", async () => {
+    expect(await resolveDocument(tmpDir, "NOT-A-DOC")).toBeUndefined();
+    expect(await resolveDocument(tmpDir, "RFC-999")).toBeUndefined();
+  });
+});
+
+describe("deriveQueueItemStatus — derivation matrix (RFC-1140)", () => {
+  test("implemented status → implemented", async () => {
+    await writeRfc("RFC-1100", "status: implemented\n");
+    const r = await deriveQueueItemStatus(tmpDir, "RFC-1100");
+    expect(r?.status).toBe("implemented");
+  });
+
+  test("implementedAt set → implemented", async () => {
+    await writeRfc("RFC-1101", "status: accepted\nimplementedAt: 2026-09-01\n");
+    const r = await deriveQueueItemStatus(tmpDir, "RFC-1101");
+    expect(r?.status).toBe("implemented");
+  });
+
+  test("rejected → skipped", async () => {
+    await writeRfc("RFC-1102", "status: rejected\n");
+    const r = await deriveQueueItemStatus(tmpDir, "RFC-1102");
+    expect(r?.status).toBe("skipped");
+  });
+
+  test("superseded → skipped", async () => {
+    await writeRfc("RFC-1103", "status: superseded\n");
+    const r = await deriveQueueItemStatus(tmpDir, "RFC-1103");
+    expect(r?.status).toBe("skipped");
+  });
+
+  test("accepted RFC → in-progress/implement", async () => {
+    await writeRfc("RFC-1104", "status: accepted\n");
+    const r = await deriveQueueItemStatus(tmpDir, "RFC-1104");
+    expect(r?.status).toBe("in-progress");
+    expect(r?.pipelineStep).toBe("implement");
+  });
+
+  test("plan file exists → in-progress/implement", async () => {
+    await writeRfc("RFC-1105", "status: draft\nenhancedAt: 2026-09-01\n");
+    await fs.writeFile(
+      path.join(tmpDir, "docs/plans/plan-rfc-1105-test.md"),
+      "---\nrfcId: RFC-1105\n---\n",
+    );
+    const r = await deriveQueueItemStatus(tmpDir, "RFC-1105");
+    expect(r?.status).toBe("in-progress");
+    expect(r?.pipelineStep).toBe("implement");
+  });
+
+  test("enhancedAt without plan → in-progress/plan", async () => {
+    await writeRfc("RFC-1106", "status: draft\nenhancedAt: 2026-09-01\n");
+    const r = await deriveQueueItemStatus(tmpDir, "RFC-1106");
+    expect(r?.status).toBe("in-progress");
+    expect(r?.pipelineStep).toBe("plan");
+  });
+
+  test("audit file only → in-progress/enhance", async () => {
+    await writeRfc("RFC-1107", "status: draft\n");
+    await fs.writeFile(
+      path.join(tmpDir, "docs/audits/audit-rfc-1107-test.md"),
+      "# audit\n",
+    );
+    const r = await deriveQueueItemStatus(tmpDir, "RFC-1107");
+    expect(r?.status).toBe("in-progress");
+    expect(r?.pipelineStep).toBe("enhance");
+  });
+
+  test("no artifacts → pending", async () => {
+    await writeRfc("RFC-1108", "status: draft\n");
+    const r = await deriveQueueItemStatus(tmpDir, "RFC-1108");
+    expect(r?.status).toBe("pending");
+    expect(r?.pipelineStep).toBeUndefined();
+  });
+
+  test("non-terminal ADR → pending", async () => {
+    await writeAdr("ADR-0100", "status: accepted\n");
+    const r = await deriveQueueItemStatus(tmpDir, "ADR-0100");
+    expect(r?.status).toBe("pending");
+  });
+
+  test("unresolvable id → undefined", async () => {
+    expect(await deriveQueueItemStatus(tmpDir, "RFC-9999")).toBeUndefined();
+  });
+});
+
+describe("deriveQueueReport", () => {
+  test("preserves manifest order and picks the first actionable item as next", async () => {
+    await writeRfc("RFC-1200", "status: implemented\n");
+    await writeRfc("RFC-1201", "status: draft\n");
+    await writeRfc("RFC-1202", "status: draft\n");
+
+    const report = await deriveQueueReport(tmpDir, ["RFC-1200", "RFC-1201", "RFC-1202"]);
+
+    expect(report.items.map((i) => i.id)).toEqual(["RFC-1200", "RFC-1201", "RFC-1202"]);
+    expect(report.next).toBe("RFC-1201");
+  });
+
+  test("next is null when every item is terminal", async () => {
+    await writeRfc("RFC-1210", "status: implemented\n");
+    await writeRfc("RFC-1211", "status: rejected\n");
+
+    const report = await deriveQueueReport(tmpDir, ["RFC-1210", "RFC-1211"]);
+
+    expect(report.next).toBeNull();
+  });
+
+  test("in-progress items are actionable for next", async () => {
+    await writeRfc("RFC-1220", "status: draft\nenhancedAt: 2026-09-01\n");
+    await writeRfc("RFC-1221", "status: draft\n");
+
+    const report = await deriveQueueReport(tmpDir, ["RFC-1220", "RFC-1221"]);
+
+    expect(report.next).toBe("RFC-1220");
+  });
+});
+
+describe("computeRfcPipelineStages + nextPipelineStep", () => {
+  test("stages reflect artifact completion", () => {
+    const stages = computeRfcPipelineStages({
+      status: "draft",
+      enhancedAt: "2026-09-01",
+      auditFile: "docs/audits/audit-rfc-1.md",
+    });
+    expect(stages.map((s) => s.done)).toEqual([true, true, false, false]);
+    expect(nextPipelineStep("draft", stages)).toBe("plan");
+  });
+
+  test("terminal status yields null next step", () => {
+    const stages = computeRfcPipelineStages({ status: "implemented" });
+    expect(nextPipelineStep("implemented", stages)).toBeNull();
+  });
+});

package/src/pipeline-status.ts

@@ -0,0 +1,319 @@
+/*
+<MODULE_CONTRACT>
+<purpose>Shared pipeline-status resolver (RFC-1140) — derives per-document
+pipeline progress (audit, enhance, plan, implement) from document frontmatter
+and pipeline artifacts. Single source of truth consumed by rfc.pipeline.status,
+queue.validate, and the orchestrator's resume detection. Portable layer: no
+os/ or kernel imports.</purpose>
+<non-goals>
+  <item>Do not validate RFC/ADR content — use rfc.validate / adr.validate.</item>
+  <item>Do not mutate any files — derivation is read-only.</item>
+  <item>Do not store progress state — status is derived at read time, never persisted.</item>
+</non-goals>
+</MODULE_CONTRACT>
+<CHANGE_SUMMARY>
+  <item>RFC-1140: initial shared resolver — artifact conventions (audit-*.md,
+  plan-*.md, enhancedAt, implementedAt) extracted from
+  os/rfc/handlers/pipeline-status.ts; QueueItemStatus derivation matrix added
+  for queue.validate.</item>
+  <item>RFC-1140: steps 1-4 — shared resolver, queue module, registration
+
+Extract pipeline-status derivation into packages/forge/src/pipeline-status.ts, refactor rfc.pipeline.status onto it, add os/queue module with queue.validate command, register in WORKSHOP_MODULE_MAP.forge + bin/cli.ts + package.json exports.</item>
+  <item>RFC-1140: step 6 — cover shared resolver and queue.validate
+
+Add pipeline-status.test.ts (derivation matrix, order, next selection, ADR, skipped) and queue-validate.test.ts (schema errors, unknown/dup ids, id-filename mismatch, empty items, dependsOn warning, JSON shape). Fix queue derivation: pipelineStep is the stage after the last completed stage, not first incomplete — handles non-contiguous artifacts.</item>
+</CHANGE_SUMMARY>
+*/
+
+import fs from "node:fs/promises";
+import path from "node:path";
+import YAML from "yaml";
+
+// ---------------------------------------------------------------------------
+// Pipeline stages (shared with rfc.pipeline.status)
+// ---------------------------------------------------------------------------
+
+export type PipelineStage = "audit" | "enhance" | "plan" | "implement";
+
+export interface RfcPipelineStageInfo {
+  stage: PipelineStage;
+  done: boolean;
+  /** File or marker that confirms completion, when applicable. */
+  evidence?: string;
+}
+
+export const TERMINAL_STATUSES: ReadonlySet<string> = new Set([
+  "implemented",
+  "rejected",
+  "superseded",
+]);
+
+// ---------------------------------------------------------------------------
+// Minimal frontmatter parsing (self-contained — src/ must not import os/)
+// ---------------------------------------------------------------------------
+
+export interface ParsedDocument {
+  frontmatter: Record<string, unknown>;
+  body: string;
+}
+
+export function parseFrontmatter(source: string): ParsedDocument {
+  const match = source.match(/^---\r?\n([\s\S]*?)\r?\n---\r?\n?([\s\S]*)$/);
+  if (!match) {
+    return { frontmatter: {}, body: source };
+  }
+  return {
+    frontmatter: (YAML.parse(match[1]!) ?? {}) as Record<string, unknown>,
+    body: match[2] ?? "",
+  };
+}
+
+// ---------------------------------------------------------------------------
+// Artifact finders — the canonical conventions
+// ---------------------------------------------------------------------------
+
+export async function findAuditFile(
+  workspaceRoot: string,
+  docId: string,
+): Promise<string | undefined> {
+  const auditsDir = path.join(workspaceRoot, "docs/audits");
+  try {
+    const entries = await fs.readdir(auditsDir);
+    const prefix = `audit-${docId.toLowerCase()}`;
+    const match = entries.find((e) => e.toLowerCase().startsWith(prefix) && e.endsWith(".md"));
+    return match ? path.join("docs/audits", match) : undefined;
+  } catch {
+    return undefined;
+  }
+}
+
+export async function findPlanFile(
+  workspaceRoot: string,
+  docId: string,
+): Promise<string | undefined> {
+  const plansDir = path.join(workspaceRoot, "docs/plans");
+  try {
+    const entries = await fs.readdir(plansDir);
+    const prefix = `plan-${docId.toLowerCase()}`;
+    const match = entries.find((e) => e.toLowerCase().startsWith(prefix) && e.endsWith(".md"));
+    return match ? path.join("docs/plans", match) : undefined;
+  } catch {
+    return undefined;
+  }
+}
+
+// ---------------------------------------------------------------------------
+// Document resolution — active dir + archive (implemented docs may be archived)
+// ---------------------------------------------------------------------------
+
+export type QueueDocumentKind = "rfc" | "adr";
+
+export interface ResolvedDocument {
+  id: string;
+  kind: QueueDocumentKind;
+  /** Workspace-relative path to the document file. */
+  file: string;
+  frontmatter: Record<string, unknown>;
+}
+
+const DOC_ID_PATTERN = /^(RFC|ADR)-\d{4}$/i;
+
+async function scanForDocument(
+  dirPath: string,
+  relativePrefix: string,
+  idLower: string,
+): Promise<string | undefined> {
+  let entries;
+  try {
+    entries = await fs.readdir(dirPath, { withFileTypes: true });
+  } catch {
+    return undefined;
+  }
+  for (const entry of entries) {
+    const relativePath = relativePrefix ? `${relativePrefix}/${entry.name}` : entry.name;
+    if (entry.isDirectory()) {
+      const found = await scanForDocument(path.join(dirPath, entry.name), relativePath, idLower);
+      if (found) return found;
+    } else if (
+      entry.isFile() &&
+      entry.name.endsWith(".md") &&
+      entry.name.toLowerCase().startsWith(idLower)
+    ) {
+      return relativePath;
+    }
+  }
+  return undefined;
+}
+
+/**
+ * Resolve an RFC-XXXX or ADR-XXXX id to its document file and parsed
+ * frontmatter. Scans the active dir and archive subdirectories recursively.
+ * Returns undefined when the id is malformed or no file matches.
+ */
+export async function resolveDocument(
+  workspaceRoot: string,
+  docId: string,
+): Promise<ResolvedDocument | undefined> {
+  const idMatch = DOC_ID_PATTERN.exec(docId.trim());
+  if (!idMatch) return undefined;
+  const kind: QueueDocumentKind = idMatch[1]!.toUpperCase() === "ADR" ? "adr" : "rfc";
+  const baseDir = kind === "adr" ? "docs/adrs" : "docs/rfcs";
+  const idLower = docId.toLowerCase();
+
+  const found = await scanForDocument(path.join(workspaceRoot, baseDir), "", idLower);
+  if (!found) return undefined;
+
+  let source: string;
+  try {
+    source = await fs.readFile(path.join(workspaceRoot, baseDir, found), "utf-8");
+  } catch {
+    return undefined;
+  }
+  const parsed = parseFrontmatter(source);
+  return {
+    id: docId.toUpperCase(),
+    kind,
+    file: path.join(baseDir, found),
+    frontmatter: parsed.frontmatter,
+  };
+}
+
+// ---------------------------------------------------------------------------
+// RFC stage derivation — shared by rfc.pipeline.status and queue.validate
+// ---------------------------------------------------------------------------
+
+export interface RfcStageInput {
+  status: string;
+  enhancedAt?: string;
+  implementedAt?: string;
+  auditFile?: string;
+  planFile?: string;
+}
+
+/** Compute the four pipeline stages for an RFC from frontmatter + artifacts. */
+export function computeRfcPipelineStages(input: RfcStageInput): RfcPipelineStageInfo[] {
+  return [
+    { stage: "audit", done: !!input.auditFile, evidence: input.auditFile },
+    {
+      stage: "enhance",
+      done: !!input.enhancedAt,
+      evidence: input.enhancedAt ? `enhancedAt: ${input.enhancedAt}` : undefined,
+    },
+    { stage: "plan", done: !!input.planFile, evidence: input.planFile },
+    {
+      stage: "implement",
+      done: input.status === "implemented" || !!input.implementedAt,
+      evidence: input.implementedAt ? `implementedAt: ${input.implementedAt}` : undefined,
+    },
+  ];
+}
+
+/** First incomplete stage for a non-terminal RFC, or null when terminal. */
+export function nextPipelineStep(
+  status: string,
+  stages: RfcPipelineStageInfo[],
+): PipelineStage | null {
+  if (TERMINAL_STATUSES.has(status)) return null;
+  for (const s of stages) {
+    if (!s.done) return s.stage;
+  }
+  return null;
+}
+
+// ---------------------------------------------------------------------------
+// Queue item derivation (RFC-1140)
+// ---------------------------------------------------------------------------
+
+export type QueueItemStatus = "pending" | "in-progress" | "implemented" | "skipped";
+
+export interface QueueItemReport {
+  id: string;
+  status: QueueItemStatus;
+  /** First incomplete pipeline stage — present only when in-progress. */
+  pipelineStep?: PipelineStage;
+}
+
+/**
+ * Derive the queue status of a single document per the RFC-1140 matrix:
+ * implemented → implemented; rejected/superseded → skipped; RFC accepted or
+ * plan file → in-progress/implement; enhancedAt → in-progress/plan; audit
+ * file → in-progress/enhance; otherwise pending. ADR non-terminal → pending.
+ */
+export async function deriveQueueItemStatus(
+  workspaceRoot: string,
+  docId: string,
+): Promise<QueueItemReport | undefined> {
+  const doc = await resolveDocument(workspaceRoot, docId);
+  if (!doc) return undefined;
+
+  const fm = doc.frontmatter;
+  const status = String(fm["status"] ?? "");
+  const implementedAt = fm["implementedAt"] ? String(fm["implementedAt"]) : undefined;
+
+  if (status === "implemented" || implementedAt) {
+    return { id: doc.id, status: "implemented" };
+  }
+  if (status === "rejected" || status === "superseded") {
+    return { id: doc.id, status: "skipped" };
+  }
+
+  // ADR pipeline is create → implement — no intermediate artifacts exist.
+  if (doc.kind === "adr") {
+    return { id: doc.id, status: "pending" };
+  }
+
+  // RFC accepted means the plan step is done by definition.
+  if (status === "accepted") {
+    return { id: doc.id, status: "in-progress", pipelineStep: "implement" };
+  }
+
+  const enhancedAt = fm["enhancedAt"] ? String(fm["enhancedAt"]) : undefined;
+  const auditFile = await findAuditFile(workspaceRoot, doc.id);
+  const planFile = await findPlanFile(workspaceRoot, doc.id);
+
+  const stages = computeRfcPipelineStages({
+    status,
+    enhancedAt,
+    implementedAt,
+    auditFile,
+    planFile,
+  });
+
+  // Queue semantics: the actionable step is the stage AFTER the last completed
+  // one — artifacts may be non-contiguous (e.g. enhancedAt without an audit
+  // file), where "first incomplete stage" would wrongly report audit.
+  let lastDone = -1;
+  for (let i = 0; i < stages.length; i++) {
+    if (stages[i]!.done) lastDone = i;
+  }
+  if (lastDone === -1) {
+    return { id: doc.id, status: "pending" };
+  }
+  const nextStage = stages[lastDone + 1];
+  if (!nextStage) {
+    return { id: doc.id, status: "pending" };
+  }
+  return { id: doc.id, status: "in-progress", pipelineStep: nextStage.stage };
+}
+
+export interface QueueReport {
+  items: QueueItemReport[];
+  /** First item whose derived status is pending or in-progress; null when fully terminal. */
+  next: string | null;
+}
+
+/** Derive the full queue report, preserving manifest order. */
+export async function deriveQueueReport(
+  workspaceRoot: string,
+  itemIds: string[],
+): Promise<QueueReport> {
+  const items: QueueItemReport[] = [];
+  for (const id of itemIds) {
+    const report = await deriveQueueItemStatus(workspaceRoot, id);
+    // Unresolvable ids are reported by the manifest validator; the resolver
+    // skips them here so a partial report stays usable.
+    if (report) items.push(report);
+  }
+  const nextItem = items.find((i) => i.status === "pending" || i.status === "in-progress");
+  return { items, next: nextItem?.id ?? null };
+}

package/src/profiles/profile-schema.ts

@@ -363,6 +363,7 @@ export const stackProfileDomainFieldsSchema = z.object({
   templates: z.array(profileTemplateSchema).optional(),
   scriptDir: z.string().min(1).optional(),
   rootAgentsMdTemplate: z.string().optional(),
+  nextSteps: z.string().optional(),
   compass: compassPolicyOverridesSchema.optional(),
 });
 
@@ -380,5 +381,6 @@ export interface StackProfileDomainFields {
   templates?: ProfileTemplate[];
   scriptDir?: string;
   rootAgentsMdTemplate?: string;
+  nextSteps?: string;
   compass?: CompassPolicyOverrides;
 }

package/src/profiles/stack-profile.ts

@@ -80,6 +80,8 @@ export const stackProfileSchema = z.object({
   scriptDir: stackProfileDomainFieldsSchema.shape.scriptDir,
   // Profile-driven root AGENTS.md template
   rootAgentsMdTemplate: stackProfileDomainFieldsSchema.shape.rootAgentsMdTemplate,
+  // RFC-1125: profile-driven NEXT_STEPS.md content override
+  nextSteps: stackProfileDomainFieldsSchema.shape.nextSteps,
   // Profile-driven Compass file extensions
   compass: stackProfileDomainFieldsSchema.shape.compass,
 });

package/src/tests/adr-implement-stamp.test.ts

@@ -70,6 +70,48 @@ Test consequences.
 Test evolution.
 `;
 
+const ADR_BODY_WITH_AC = (
+  id: string,
+  status: string,
+  createdAt: string,
+  acBlock: string,
+): string => `---
+id: ${id}
+title: "Test ADR"
+status: ${status}
+scope: workspace
+decider: human:test
+createdAt: ${createdAt}
+updatedAt: ${createdAt}
+---
+
+# ${id}: Test ADR
+
+## Context
+
+Test context.
+
+## Decision
+
+Test decision.
+
+## Justification
+
+Test justification.
+
+## Consequences
+
+Test consequences.
+
+## Evolution
+
+Test evolution.
+
+## Acceptance criteria
+
+${acBlock}
+`;
+
 async function makeGitRepo(dir: string): Promise<void> {
   execFileSync("git", ["init"], { cwd: dir, timeout: 5000 });
   execFileSync("git", ["config", "user.email", "test@test.com"], { cwd: dir, timeout: 5000 });
@@ -295,6 +337,114 @@ describe("adr.implement.stamp", () => {
     expect(result.data?.violations.some((v) => v.rule === "ADR-IMP-05")).toBe(true);
   });
 
+  // ── ADR-IMP-02: acceptance criteria completeness (post-cutoff, mirrors AV-17) ──
+
+  it("rejects post-cutoff ADR with unchecked acceptance criteria", async () => {
+    await writeFile(
+      join(workspaceRoot, "docs", "adrs", "adr-0001-test.md"),
+      ADR_BODY_WITH_AC(
+        "ADR-0001",
+        "accepted",
+        "2026-09-10",
+        "- [ ] AC-1: THE artifact SHALL exist (evidence: file: x.ts:1)\n- [x] AC-2: THE other SHALL pass (evidence: file: y.ts:2)",
+      ),
+    );
+    const sha = await commitAll(workspaceRoot, "implement: ADR-0001 add feature");
+
+    const result = await runAdrImplementStamp(
+      makeInput("ADR-0001", sha),
+      makeContext(workspaceRoot),
+    );
+
+    expect(result.data?.status).toBe("fail");
+    expect(result.data?.violations.some((v) => v.rule === "ADR-IMP-02")).toBe(true);
+    expect(result.exitCode).toBe(1);
+  });
+
+  it("rejects post-cutoff ADR with checked criteria lacking evidence annotation", async () => {
+    await writeFile(
+      join(workspaceRoot, "docs", "adrs", "adr-0001-test.md"),
+      ADR_BODY_WITH_AC(
+        "ADR-0001",
+        "accepted",
+        "2026-09-10",
+        "- [x] AC-1: THE artifact SHALL exist",
+      ),
+    );
+    const sha = await commitAll(workspaceRoot, "implement: ADR-0001 add feature");
+
+    const result = await runAdrImplementStamp(
+      makeInput("ADR-0001", sha),
+      makeContext(workspaceRoot),
+    );
+
+    expect(result.data?.status).toBe("fail");
+    expect(result.data?.violations.some((v) => v.rule === "ADR-IMP-02")).toBe(true);
+  });
+
+  it("stamps post-cutoff ADR when all criteria are checked with evidence", async () => {
+    const adrPath = join(workspaceRoot, "docs", "adrs", "adr-0001-test.md");
+    await writeFile(
+      adrPath,
+      ADR_BODY_WITH_AC(
+        "ADR-0001",
+        "accepted",
+        "2026-09-10",
+        "- [x] AC-1: THE artifact SHALL exist (evidence: file: x.ts:1)\n- [x] AC-2: THE other SHALL pass (evidence: file: y.ts:2)",
+      ),
+    );
+    const sha = await commitAll(workspaceRoot, "implement: ADR-0001 add feature");
+
+    const result = await runAdrImplementStamp(
+      makeInput("ADR-0001", sha),
+      makeContext(workspaceRoot),
+    );
+
+    expect(result.data?.status).toBe("pass");
+    expect(result.data?.data?.criteriaChecked).toBe(2);
+
+    const afterContent = await readFile(adrPath, "utf-8");
+    expect(afterContent).toContain("status: implemented");
+  });
+
+  it("stamps pre-cutoff ADR with unchecked criteria (AV-17 exempt)", async () => {
+    await writeFile(
+      join(workspaceRoot, "docs", "adrs", "adr-0001-test.md"),
+      ADR_BODY_WITH_AC(
+        "ADR-0001",
+        "accepted",
+        "2026-08-01",
+        "- [ ] AC-1: THE artifact SHALL exist (evidence: file: x.ts:1)",
+      ),
+    );
+    const sha = await commitAll(workspaceRoot, "implement: ADR-0001 add feature");
+
+    const result = await runAdrImplementStamp(
+      makeInput("ADR-0001", sha),
+      makeContext(workspaceRoot),
+    );
+
+    expect(result.data?.status).toBe("pass");
+    expect(result.data?.data?.criteriaChecked).toBeUndefined();
+  });
+
+  it("stamps post-cutoff ADR without an acceptance criteria section", async () => {
+    const adrPath = join(workspaceRoot, "docs", "adrs", "adr-0001-test.md");
+    const body = ADR_BODY("ADR-0001", "accepted").replace(
+      "createdAt: 2026-08-01",
+      "createdAt: 2026-09-10",
+    );
+    await writeFile(adrPath, body);
+    const sha = await commitAll(workspaceRoot, "implement: ADR-0001 add feature");
+
+    const result = await runAdrImplementStamp(
+      makeInput("ADR-0001", sha),
+      makeContext(workspaceRoot),
+    );
+
+    expect(result.data?.status).toBe("pass");
+  });
+
   // ── Dry-run ──────────────────────────────────────────────────────────────────
 
   it("dry-run checks preconditions without mutating file", async () => {