gsd-pi 2.79.0-dev.ece5fd8ba → 2.80.0-dev.c5f2443b3

package/src/resources/extensions/github-sync/templates.ts

@@ -1,3 +1,6 @@
+// Project/App: GSD-2
+// File Purpose: Markdown formatters for GitHub sync issues, PR bodies, and comments.
+
 /**
  * Markdown formatters for GitHub issue bodies, PR descriptions,
  * and summary comments.
@@ -6,6 +9,8 @@
  * for the `gh` CLI body parameters.
  */
 
+import { buildPrEvidence } from "../gsd/pr-evidence.js";
+
 // ─── Milestone Issue Body ───────────────────────────────────────────────────
 
 export interface MilestoneData {
@@ -65,44 +70,34 @@ export interface SliceData {
 }
 
 export function formatSlicePRBody(data: SliceData): string {
-  const lines: string[] = [];
-
-  lines.push(`## ${data.id}: ${data.title}`);
-  lines.push("");
-
-  if (data.goal) {
-    lines.push("### Goal");
-    lines.push(data.goal);
-    lines.push("");
-  }
-
-  if (data.mustHaves?.length) {
-    lines.push("### Must-Haves");
-    for (const item of data.mustHaves) {
-      lines.push(`- ${item}`);
-    }
-    lines.push("");
-  }
-
-  if (data.demoCriterion) {
-    lines.push("### Demo Criterion");
-    lines.push(data.demoCriterion);
-    lines.push("");
-  }
-
-  if (data.tasks?.length) {
-    lines.push("### Tasks");
-    for (const task of data.tasks) {
-      const ref = task.issueNumber ? ` (#${task.issueNumber})` : "";
-      lines.push(`- [ ] ${task.id}: ${task.title}${ref}`);
-    }
-    lines.push("");
-  }
-
-  lines.push("---");
-  lines.push("*Auto-generated by GSD GitHub Sync*");
-
-  return lines.join("\n");
+  const summaries = [
+    data.goal ? `### Goal\n${data.goal}` : "",
+    data.mustHaves?.length ? `### Must-Haves\n${data.mustHaves.map((item) => `- ${item}`).join("\n")}` : "",
+    data.demoCriterion ? `### Demo Criterion\n${data.demoCriterion}` : "",
+    data.tasks?.length
+      ? `### Tasks\n${data.tasks.map((task) => {
+        const ref = task.issueNumber ? ` (#${task.issueNumber})` : "";
+        return `- [ ] ${task.id}: ${task.title}${ref}`;
+      }).join("\n")}`
+      : "",
+  ].filter(Boolean);
+  const issueRefs = (data.tasks ?? [])
+    .map((task) => task.issueNumber)
+    .filter((issueNumber): issueNumber is number => typeof issueNumber === "number")
+    .map((issueNumber) => `#${issueNumber}`);
+
+  return buildPrEvidence({
+    milestoneId: data.id,
+    subjectId: data.id,
+    subjectKind: "slice",
+    milestoneTitle: data.title,
+    changeType: "feat",
+    linkedIssue: issueRefs.length > 0 ? `Related issues: ${issueRefs.join(", ")}` : undefined,
+    summaries,
+    testsRun: data.demoCriterion ? [`Demo criterion: ${data.demoCriterion}`] : undefined,
+    rollbackNotes: ["Close this draft slice PR before merge or revert the slice squash commit from the milestone branch."],
+    how: "Generated by GSD GitHub Sync from the slice plan, task issues, and branch mapping.",
+  }).body;
 }
 
 // ─── Task Issue Body ────────────────────────────────────────────────────────
@@ -228,53 +223,33 @@ function checkedList(items: string[] | undefined, emptyLabel: string): string[]
 }
 
 export function formatSwarmLanePRBody(data: SwarmLanePRData): string {
-  const lines: string[] = [];
   const laneLabel = SWARM_LANE_LABELS[data.lane.id];
-
-  lines.push("## Swarm lane");
-  lines.push("");
-  lines.push(`**Lane:** \`${laneLabel}\``);
-  lines.push(`**Branch:** \`${data.lane.branch}\``);
-  if (data.lane.owner) lines.push(`**Owner:** ${data.lane.owner}`);
-  if (data.lane.latestCommit) lines.push(`**Latest commit:** \`${data.lane.latestCommit}\``);
-  lines.push("");
-
-  lines.push("## Impact area");
-  lines.push("");
-  lines.push(data.impactArea);
-  lines.push("");
-
-  lines.push("## Changed contracts");
-  lines.push(...checkedList(data.lane.changedContracts, "No shared contracts changed"));
-  lines.push("");
-
-  lines.push("## Transition risks");
-  lines.push(...checkedList(data.transitionRisks, "No transition risks identified"));
-  lines.push("");
-
-  lines.push("## Rollback plan");
-  lines.push(...checkedList(data.rollbackPlan, "Revert this lane PR"));
-  lines.push("");
-
-  lines.push("## Test evidence");
-  lines.push(...checkedList(data.lane.testEvidence, "Test evidence pending"));
-  lines.push("");
-
-  if (data.lane.blockers?.length) {
-    lines.push("## Blockers");
-    for (const blocker of data.lane.blockers) lines.push(`- ${blocker}`);
-    lines.push("");
-  }
-
-  if (data.linkedIssue) {
-    lines.push(`Closes #${data.linkedIssue}`);
-    lines.push("");
-  }
-
-  lines.push("---");
-  lines.push("*Auto-generated by GSD GitHub Sync swarm routines*");
-
-  return lines.join("\n");
+  const summaries = [
+    [
+      "### Swarm lane",
+      `**Lane:** \`${laneLabel}\``,
+      `**Branch:** \`${data.lane.branch}\``,
+      data.lane.owner ? `**Owner:** ${data.lane.owner}` : "",
+      data.lane.latestCommit ? `**Latest commit:** \`${data.lane.latestCommit}\`` : "",
+    ].filter(Boolean).join("\n"),
+    `### Impact area\n${data.impactArea}`,
+    `### Changed contracts\n${checkedList(data.lane.changedContracts, "No shared contracts changed").join("\n")}`,
+    `### Transition risks\n${checkedList(data.transitionRisks, "No transition risks identified").join("\n")}`,
+    data.lane.blockers?.length ? `### Blockers\n${data.lane.blockers.map((blocker) => `- ${blocker}`).join("\n")}` : "",
+  ].filter(Boolean);
+
+  return buildPrEvidence({
+    milestoneId: laneLabel,
+    subjectId: laneLabel,
+    subjectKind: "workflow",
+    milestoneTitle: laneLabel,
+    changeType: "refactor",
+    linkedIssue: data.linkedIssue ? `Closes #${data.linkedIssue}` : undefined,
+    summaries,
+    testsRun: data.lane.testEvidence,
+    rollbackNotes: data.rollbackPlan,
+    how: "Generated by GSD GitHub Sync swarm routines from lane evidence.",
+  }).body;
 }
 
 export function formatSwarmReleaseChecklistBody(data: SwarmReleaseChecklistData): string {

package/src/resources/extensions/github-sync/tests/templates.test.ts

@@ -1,3 +1,6 @@
+// Project/App: GSD-2
+// File Purpose: Tests for GitHub sync markdown formatters.
+
 import { describe, it } from "node:test";
 import assert from "node:assert/strict";
 import {
@@ -57,6 +60,9 @@ describe("templates", () => {
       assert.ok(body.includes("Define all auth types"));
       assert.ok(body.includes("- User type"));
       assert.ok(body.includes("- Session type"));
+      assert.ok(body.includes("## Linked Issue"));
+      assert.ok(body.includes("## Tests Run"));
+      assert.ok(body.includes("## AI Assistance Disclosure"));
     });
 
     it("renders task checklist with issue links", () => {
@@ -71,6 +77,7 @@ describe("templates", () => {
       assert.ok(body.includes("- [ ] T01: Types (#43)"));
       assert.ok(body.includes("- [ ] T02: Schema"));
       assert.ok(!body.includes("T02: Schema (#"));
+      assert.ok(body.includes("Related issues: #43"));
     });
   });
 
@@ -163,9 +170,10 @@ describe("templates", () => {
       assert.ok(body.includes("`lane/writer`"));
       assert.ok(body.includes("Single-writer UOK metadata."));
       assert.ok(body.includes("- [ ] Writer token lifecycle regression"));
-      assert.ok(body.includes("- [ ] Disable writer sequence enrichment"));
-      assert.ok(body.includes("- [ ] npm run typecheck:extensions"));
+      assert.ok(body.includes("- Disable writer sequence enrichment"));
+      assert.ok(body.includes("- npm run typecheck:extensions"));
       assert.ok(body.includes("Closes #123"));
+      assert.ok(body.includes("## AI Assistance Disclosure"));
     });
 
     it("formats release checklist bodies from lane state", () => {

package/src/resources/extensions/gsd/auto/contracts.ts

@@ -0,0 +1,87 @@
+import type { GSDState } from "../types.js";
+
+export interface AutoSessionContext {
+  basePath: string;
+  trigger: "guided-flow" | "resume" | "auto-loop" | "manual";
+}
+
+export interface AutoStatus {
+  phase: "idle" | "running" | "paused" | "stopped" | "error";
+  activeUnit?: {
+    unitType: string;
+    unitId: string;
+  };
+  lastTransitionAt?: number;
+  transitionCount: number;
+}
+
+export interface AutoAdvanceResult {
+  kind: "advanced" | "blocked" | "paused" | "stopped" | "error";
+  reason?: string;
+  stateSnapshot?: GSDState;
+}
+
+export interface AutoOrchestrationModule {
+  start(sessionContext: AutoSessionContext): Promise<AutoAdvanceResult>;
+  advance(): Promise<AutoAdvanceResult>;
+  resume(): Promise<AutoAdvanceResult>;
+  stop(reason: string): Promise<AutoAdvanceResult>;
+  getStatus(): AutoStatus;
+}
+
+export interface DispatchAdapter {
+  decideNextUnit(): Promise<{
+    unitType: string;
+    unitId: string;
+    reason: string;
+    preconditions: string[];
+  } | null>;
+}
+
+export interface RecoveryAdapter {
+  classifyAndRecover(input: {
+    error: unknown;
+    unitType?: string;
+    unitId?: string;
+  }): Promise<{
+    action: "retry" | "escalate" | "stop";
+    reason: string;
+  }>;
+}
+
+export interface WorktreeAdapter {
+  prepareForUnit(unitType: string, unitId: string): Promise<void>;
+  syncAfterUnit(unitType: string, unitId: string): Promise<void>;
+  cleanupOnStop(reason: string): Promise<void>;
+}
+
+export interface HealthAdapter {
+  preAdvanceGate(): Promise<{ allow: boolean; reason?: string }>;
+  postAdvanceRecord(result: AutoAdvanceResult): Promise<void>;
+}
+
+export interface RuntimePersistenceAdapter {
+  ensureLockOwnership(): Promise<void>;
+  journalTransition(event: {
+    name: string;
+    reason?: string;
+    unitType?: string;
+    unitId?: string;
+  }): Promise<void>;
+}
+
+export interface NotificationAdapter {
+  notifyLifecycle(event: {
+    name: string;
+    detail?: string;
+  }): Promise<void>;
+}
+
+export interface AutoOrchestratorDeps {
+  dispatch: DispatchAdapter;
+  recovery: RecoveryAdapter;
+  worktree: WorktreeAdapter;
+  health: HealthAdapter;
+  runtime: RuntimePersistenceAdapter;
+  notifications: NotificationAdapter;
+}

package/src/resources/extensions/gsd/auto/custom-verify-retry-store.ts

@@ -0,0 +1,72 @@
+// Project/App: GSD-2
+// File Purpose: Persistence adapter for custom workflow verification retry counts.
+
+import { readFileSync, mkdirSync, unlinkSync } from "node:fs";
+import { join } from "node:path";
+import { atomicWriteSync } from "../atomic-write.js";
+import { gsdRoot } from "../paths.js";
+import type { AutoSession } from "./session.js";
+
+type RetrySession = Pick<AutoSession, "activeRunDir" | "basePath" | "verificationRetryCount">;
+
+interface RetryStoreLogDeps {
+  logFailure: (err: unknown) => void;
+}
+
+export function customVerifyRetryStateDir(s: Pick<AutoSession, "activeRunDir" | "basePath">): string {
+  return s.activeRunDir ? join(s.activeRunDir, "runtime") : join(gsdRoot(s.basePath), "runtime");
+}
+
+export function customVerifyRetryStatePath(s: Pick<AutoSession, "activeRunDir" | "basePath">): string {
+  return join(customVerifyRetryStateDir(s), "custom-verify-retries.json");
+}
+
+export function hydrateCustomVerifyRetryCounts(
+  s: RetrySession,
+  deps: RetryStoreLogDeps,
+): Map<string, number> {
+  if (s.verificationRetryCount.size > 0) {
+    return s.verificationRetryCount;
+  }
+
+  try {
+    const raw = JSON.parse(readFileSync(customVerifyRetryStatePath(s), "utf-8"));
+    const counts = raw && typeof raw === "object" && raw.counts && typeof raw.counts === "object"
+      ? raw.counts as Record<string, unknown>
+      : {};
+    for (const [key, value] of Object.entries(counts)) {
+      if (typeof value === "number" && Number.isFinite(value) && value > 0) {
+        s.verificationRetryCount.set(key, Math.floor(value));
+      }
+    }
+  } catch (err) {
+    deps.logFailure(err);
+  }
+
+  return s.verificationRetryCount;
+}
+
+export function saveCustomVerifyRetryCounts(
+  s: RetrySession,
+  deps: RetryStoreLogDeps,
+): void {
+  const retryCounts = s.verificationRetryCount;
+  const filePath = customVerifyRetryStatePath(s);
+
+  try {
+    if (!retryCounts || retryCounts.size === 0) {
+      unlinkSync(filePath);
+      return;
+    }
+    mkdirSync(customVerifyRetryStateDir(s), { recursive: true });
+    atomicWriteSync(filePath, JSON.stringify({
+      counts: Object.fromEntries(retryCounts),
+      updatedAt: new Date().toISOString(),
+    }) + "\n");
+  } catch (err) {
+    const code = err && typeof err === "object" && "code" in err ? (err as { code?: string }).code : undefined;
+    if (code !== "ENOENT") {
+      deps.logFailure(err);
+    }
+  }
+}

package/src/resources/extensions/gsd/auto/loop-deps.ts

@@ -7,6 +7,7 @@
 import type { ExtensionAPI, ExtensionContext } from "@gsd/pi-coding-agent";
 
 import type { AutoSession } from "./session.js";
+import type { ErrorContext } from "./types.js";
 import type { GSDPreferences } from "../preferences.js";
 import type { GSDState } from "../types.js";
 import type { SessionLockStatus } from "../session-lock.js";
@@ -24,6 +25,12 @@ import type { MergeReconcileResult } from "../auto-recovery.js";
 import type { UokTurnObserver } from "../uok/contracts.js";
 import type { PreflightResult } from "../clean-root-preflight.js";
 
+type PauseAutoFn = (
+  ctx?: ExtensionContext,
+  pi?: ExtensionAPI,
+  errorContext?: ErrorContext,
+) => Promise<void>;
+
 /**
  * Dependencies injected by the caller (auto.ts startAuto) so autoLoop
  * can access private functions from auto.ts without exporting them.
@@ -39,7 +46,7 @@ export interface LoopDeps {
     pi?: ExtensionAPI,
     reason?: string,
   ) => Promise<void>;
-  pauseAuto: (ctx?: ExtensionContext, pi?: ExtensionAPI) => Promise<void>;
+  pauseAuto: PauseAutoFn;
   clearUnitTimeout: () => void;
   updateProgressWidget: (
     ctx: ExtensionContext,
@@ -245,7 +252,7 @@ export interface LoopDeps {
     prefs: GSDPreferences | undefined;
     buildSnapshotOpts: () => CloseoutOptions & Record<string, unknown>;
     buildRecoveryContext: () => unknown;
-    pauseAuto: (ctx?: ExtensionContext, pi?: ExtensionAPI) => Promise<void>;
+    pauseAuto: PauseAutoFn;
   }) => void;
 
   // Prompt helpers
@@ -271,7 +278,7 @@ export interface LoopDeps {
   ) => Promise<"dispatched" | "continue" | "retry">;
   runPostUnitVerification: (
     vctx: VerificationContext,
-    pauseAuto: (ctx?: ExtensionContext, pi?: ExtensionAPI) => Promise<void>,
+    pauseAuto: PauseAutoFn,
   ) => Promise<VerificationResult>;
   postUnitPostVerification: (
     pctx: PostUnitContext,