zob-harness 0.1.0

package/.pi/extensions/zob-harness/src/goal-todo-imports.ts

@@ -0,0 +1,111 @@
+import { existsSync, readdirSync, statSync } from "node:fs";
+import { join } from "node:path";
+import type { ExtensionAPI } from "@earendil-works/pi-coding-agent";
+
+import { addGoalTodo, completeGoalTodo, type GoalTodoNode, type GoalTodoOwner } from "./goal-todos.js";
+import type { HarnessRuntimeState } from "./runtime/state.js";
+
+export interface GoalTodoImportResult {
+  kind: "factory" | "orchestration" | "chain";
+  runId: string;
+  imported: number;
+  parent: GoalTodoNode;
+  nodes: GoalTodoNode[];
+  evidenceRefs: string[];
+  missingRefs: string[];
+}
+
+function safeRunId(runId: string): string {
+  if (!/^[A-Za-z0-9._-]+$/.test(runId)) throw new Error(`Unsafe run id: ${runId}`);
+  return runId;
+}
+
+function existingRepoRefs(repoRoot: string, refs: string[]): string[] {
+  return refs.filter((ref) => existsSync(join(repoRoot, ref)));
+}
+
+function missingRepoRefs(repoRoot: string, refs: string[]): string[] {
+  return refs.filter((ref) => !existsSync(join(repoRoot, ref)));
+}
+
+function filesUnder(repoRoot: string, relativeDir: string, suffix?: string): string[] {
+  const dir = join(repoRoot, relativeDir);
+  if (!existsSync(dir) || !statSync(dir).isDirectory()) return [];
+  return readdirSync(dir)
+    .filter((entry) => !entry.startsWith("."))
+    .map((entry) => `${relativeDir}/${entry}`)
+    .filter((ref) => statSync(join(repoRoot, ref)).isFile())
+    .filter((ref) => !suffix || ref.endsWith(suffix))
+    .sort();
+}
+
+function importArtifactTodos(pi: ExtensionAPI, state: HarnessRuntimeState, goalId: string, parentId: string, owner: GoalTodoOwner, repoRoot: string, artifactRefs: string[]): GoalTodoNode[] {
+  return artifactRefs.map((ref) => addGoalTodo(pi, state, goalId, {
+    title: `artifact ${ref}`,
+    parentId,
+    owner,
+    required: false,
+    priority: "normal",
+    status: existsSync(join(repoRoot, ref)) ? "done" : "planned",
+    evidenceRefs: existsSync(join(repoRoot, ref)) ? [ref] : [],
+  }, "import"));
+}
+
+function maybeCompleteParent(pi: ExtensionAPI, state: HarnessRuntimeState, goalId: string, parent: GoalTodoNode, evidenceRefs: string[], complete: boolean): GoalTodoNode {
+  if (!complete || evidenceRefs.length === 0) return parent;
+  return completeGoalTodo(pi, state, goalId, parent.id, { evidenceRefs, validationCommands: [] }, "import");
+}
+
+export function importFactoryRunTodos(pi: ExtensionAPI, state: HarnessRuntimeState, repoRoot: string, goalId: string, runIdInput: string): GoalTodoImportResult {
+  const runId = safeRunId(runIdInput);
+  const base = `reports/factory-runs/${runId}`;
+  const primaryRefs = [`${base}/manifest.json`, `${base}/agentic-plan.json`, `${base}/validation.json`, `${base}/DONE.sentinel`, `${base}/SMOKE_PASSED.sentinel`, `${base}/PILOT_PASSED.sentinel`];
+  const artifactRefs = [...primaryRefs, ...filesUnder(repoRoot, `${base}/checkpoints`, ".checkpoint.json"), ...filesUnder(repoRoot, `${base}/outputs`, ".json")];
+  const evidenceRefs = existingRepoRefs(repoRoot, artifactRefs);
+  const parent = addGoalTodo(pi, state, goalId, {
+    title: `factory ${runId}`,
+    owner: "factory",
+    required: true,
+    priority: "high",
+    status: evidenceRefs.length > 0 ? "in_progress" : "planned",
+    evidenceRefs,
+    validationCommands: existsSync(join(repoRoot, `${base}/validation.json`)) ? [`inspect ${base}/validation.json`] : [],
+  }, "import");
+  const children = importArtifactTodos(pi, state, goalId, parent.id, "factory", repoRoot, artifactRefs);
+  const completedParent = maybeCompleteParent(pi, state, goalId, parent, evidenceRefs, existsSync(join(repoRoot, `${base}/validation.json`)) && existsSync(join(repoRoot, `${base}/DONE.sentinel`)));
+  return { kind: "factory", runId, imported: 1 + children.length, parent: completedParent, nodes: [completedParent, ...children], evidenceRefs, missingRefs: missingRepoRefs(repoRoot, artifactRefs) };
+}
+
+export function importOrchestrationRunTodos(pi: ExtensionAPI, state: HarnessRuntimeState, repoRoot: string, goalId: string, runIdInput: string): GoalTodoImportResult {
+  const runId = safeRunId(runIdInput);
+  const base = `reports/orchestrations/${runId}`;
+  const artifactRefs = [`${base}/orchestration-plan.json`, `${base}/manifest.json`, `${base}/status.jsonl`, `${base}/final-report.md`, `${base}/validation.json`, `${base}/room/evidence-index.json`, `${base}/room/context-pack.json`, `${base}/room/status.jsonl`];
+  const evidenceRefs = existingRepoRefs(repoRoot, artifactRefs);
+  const parent = addGoalTodo(pi, state, goalId, {
+    title: `orchestration ${runId}`,
+    owner: "orchestration",
+    required: true,
+    priority: "high",
+    status: evidenceRefs.length > 0 ? "in_progress" : "planned",
+    evidenceRefs,
+  }, "import");
+  const children = importArtifactTodos(pi, state, goalId, parent.id, "orchestration", repoRoot, artifactRefs);
+  return { kind: "orchestration", runId, imported: 1 + children.length, parent, nodes: [parent, ...children], evidenceRefs, missingRefs: missingRepoRefs(repoRoot, artifactRefs) };
+}
+
+export function importChainRunTodos(pi: ExtensionAPI, state: HarnessRuntimeState, repoRoot: string, goalId: string, runIdInput: string): GoalTodoImportResult {
+  const runId = safeRunId(runIdInput);
+  const base = `reports/chains/${runId}`;
+  const artifactRefs = [`${base}/chain-plan.json`, `${base}/status.jsonl`, `${base}/final-report.md`, `${base}/validation.json`];
+  const evidenceRefs = existingRepoRefs(repoRoot, artifactRefs);
+  const parent = addGoalTodo(pi, state, goalId, {
+    title: `chain ${runId}`,
+    owner: "orchestration",
+    required: true,
+    priority: "normal",
+    status: evidenceRefs.length > 0 ? "in_progress" : "planned",
+    evidenceRefs,
+  }, "import");
+  const children = importArtifactTodos(pi, state, goalId, parent.id, "orchestration", repoRoot, artifactRefs);
+  return { kind: "chain", runId, imported: 1 + children.length, parent, nodes: [parent, ...children], evidenceRefs, missingRefs: missingRepoRefs(repoRoot, artifactRefs) };
+}

package/.pi/extensions/zob-harness/src/goal-todo-types.ts

@@ -0,0 +1,231 @@
+import type { ZcommitChildChangedPathRef } from "./git-ops.js";
+
+export type GoalTodoStatus = "planned" | "ready" | "in_progress" | "delegated" | "claim_returned" | "needs_review" | "needs_oracle" | "needs_user" | "blocked" | "done" | "skipped";
+export type GoalTodoOwner = "agent" | "user" | "oracle" | "subagent" | "factory" | "orchestration";
+export type GoalTodoPriority = "low" | "normal" | "high" | "critical";
+export type GoalTodoDelegationStatus = "queued" | "running" | "claim_returned" | "accepted" | "rejected" | "failed";
+export type TodoSplitRequestAction = "split" | "replan" | "factory" | "needs_user" | "blocked";
+export type TodoSplitRiskLevel = "low" | "medium" | "high";
+export type GoalTodoChildGoalStatus = "ready_for_oracle" | "incomplete" | "blocked";
+export type GoalTodoStatusClaim = "done" | "incomplete" | "blocked";
+export type GoalTodoClaimTargetReadiness = "ready_for_parent_acceptance" | "needs_parent_review" | "blocked";
+export type GoalTodoClaimValidationStatus = "queued" | "running" | "passed" | "warn" | "failed" | "blocked";
+export type GoalTodoClaimValidationVerdict = "PASS" | "WARN" | "FAIL";
+export type GoalTodoClaimValidationRecommendedAction = "accept_claim" | "needs_review" | "reject_claim" | "block";
+export type GoalTodoClaimValidationConfidence = "LOW" | "MEDIUM" | "HIGH";
+
+export interface GoalTodoClaimRef {
+  claimHash: string;
+  runId?: string;
+  outputHash?: string;
+  outputContract?: string;
+  gatePassed?: boolean;
+  childGoalStatus?: GoalTodoChildGoalStatus;
+  statusClaim?: GoalTodoStatusClaim;
+  targetReadiness?: GoalTodoClaimTargetReadiness;
+  acceptanceBlockers: string[];
+  noShip?: boolean;
+  childChangedPaths?: ZcommitChildChangedPathRef[];
+  returnedAt: number;
+}
+
+export interface GoalTodoClaimValidationRef {
+  runId?: string;
+  agent?: string;
+  status: GoalTodoClaimValidationStatus;
+  verdict?: GoalTodoClaimValidationVerdict;
+  recommendedAction?: GoalTodoClaimValidationRecommendedAction;
+  noShip?: boolean;
+  outputHash?: string;
+  evidenceRefs: string[];
+  validationCommands: string[];
+  blockingIssues: string[];
+  confidence?: GoalTodoClaimValidationConfidence;
+  requestedAt?: number;
+  validatedAt?: number;
+}
+
+export interface TodoClaimValidationResult {
+  todoId?: string;
+  claimHash?: string;
+  verdict?: GoalTodoClaimValidationVerdict;
+  recommendedAction?: GoalTodoClaimValidationRecommendedAction;
+  evidenceRefs: string[];
+  validationCommands: string[];
+  blockingIssues: string[];
+  noShip?: boolean;
+  confidence?: GoalTodoClaimValidationConfidence;
+  hasFinalMarker: boolean;
+}
+
+export interface TodoSplitRequest {
+  todoId?: string;
+  reason?: string;
+  recommendedAction?: TodoSplitRequestAction;
+  proposedSubtodos: string[];
+  riskLevel?: TodoSplitRiskLevel;
+  validationPlan: string[];
+  noShip?: boolean;
+  hasFinalMarker: boolean;
+}
+
+export interface GoalTodoDelegationRef {
+  runId?: string;
+  agent?: string;
+  childGoalId?: string;
+  requestId?: string;
+  delegationDepth: number;
+  status: GoalTodoDelegationStatus;
+}
+
+export interface GoalTodoArtifacts {
+  reports?: string[];
+  checkpoints?: string[];
+  sentinels?: string[];
+  taskHash?: string;
+  outputHash?: string;
+}
+
+export interface GoalTodoNode {
+  id: string;
+  goalId: string;
+  parentId?: string;
+  path: string;
+  depth: number;
+  title: string;
+  descriptionHash?: string;
+  status: GoalTodoStatus;
+  owner: GoalTodoOwner;
+  required: boolean;
+  priority: GoalTodoPriority;
+  acceptanceCriteria: string[];
+  evidenceRefs: string[];
+  validationCommands: string[];
+  delegation?: GoalTodoDelegationRef;
+  claim?: GoalTodoClaimRef;
+  validation?: GoalTodoClaimValidationRef;
+  artifacts?: GoalTodoArtifacts;
+  contextScopeId?: string;
+  contextPackRef?: string;
+  citations?: string[];
+  freshness?: string;
+  blocker?: string;
+  skipReason?: string;
+  /** Advisory review no_ship evidence returned by a child/oracle; parent resolution decides final state. */
+  reviewNoShip?: boolean;
+  createdAt: number;
+  updatedAt: number;
+}
+
+export interface GoalTodoPolicy {
+  maxTodoDepth: number;
+  maxDelegationDepth: number;
+  maxChildrenPerTodo: number;
+  maxOpenTodos: number;
+  requireEvidenceForCritical: true;
+  parentOwnedClaims: true;
+  oracleBeforeGoalComplete: true;
+}
+
+export interface GoalTodoState {
+  nodes: GoalTodoNode[];
+  policy: GoalTodoPolicy;
+  focusTodoId?: string;
+}
+
+export type GoalTodoEventSource = "command" | "tool" | "runtime" | "delegation" | "import";
+
+export type GoalTodoEvent =
+  | { version: 1; kind: "policy_set"; source: GoalTodoEventSource; goalId: string; policy: GoalTodoPolicy; at: number }
+  | { version: 1; kind: "add"; source: GoalTodoEventSource; goalId: string; node: GoalTodoNode; at: number }
+  | { version: 1; kind: "patch"; source: GoalTodoEventSource; goalId: string; todoId: string; patch: Partial<GoalTodoNode>; at: number }
+  | { version: 1; kind: "move"; source: GoalTodoEventSource; goalId: string; todoId: string; parentId?: string; at: number }
+  | { version: 1; kind: "split"; source: GoalTodoEventSource; goalId: string; todoId: string; childIds: string[]; at: number }
+  | { version: 1; kind: "delegate_link"; source: GoalTodoEventSource; goalId: string; todoId: string; runId: string; delegation: GoalTodoDelegationRef; at: number }
+  | { version: 1; kind: "claim_returned"; source: GoalTodoEventSource; goalId: string; todoId: string; claimHash: string; evidenceRefs: string[]; validationCommands: string[]; noShip?: boolean; runId?: string; outputHash?: string; outputContract?: string; gatePassed?: boolean; childGoalStatus?: GoalTodoChildGoalStatus; statusClaim?: GoalTodoStatusClaim; targetReadiness?: GoalTodoClaimTargetReadiness; acceptanceBlockers?: string[]; childChangedPaths?: ZcommitChildChangedPathRef[]; at: number }
+  | { version: 1; kind: "claim_validation_requested"; source: GoalTodoEventSource; goalId: string; todoId: string; validation: GoalTodoClaimValidationRef; at: number }
+  | { version: 1; kind: "claim_validation_returned"; source: GoalTodoEventSource; goalId: string; todoId: string; validation: GoalTodoClaimValidationRef; evidenceRefs: string[]; validationCommands: string[]; noShip?: boolean; at: number }
+  | { version: 1; kind: "claim_accepted"; source: GoalTodoEventSource; goalId: string; todoId: string; evidenceRefs: string[]; validationCommands: string[]; at: number }
+  | { version: 1; kind: "claim_rejected"; source: GoalTodoEventSource; goalId: string; todoId: string; reasonHash: string; at: number }
+  | { version: 1; kind: "clear_goal_todos"; source: GoalTodoEventSource; goalId: string; at: number }
+  | { version: 1; kind: "focus"; source: GoalTodoEventSource; goalId: string; todoId?: string; at: number }
+  | { version: 1; kind: "snapshot"; source: GoalTodoEventSource; goalId: string; nodes: GoalTodoNode[]; policy?: GoalTodoPolicy; focusTodoId?: string; at: number };
+
+export type GoalRoomTodoReducerAction = "ignore" | "return_claim" | "mark_needs_review" | "block";
+
+export interface GoalRoomTodoReducerDecision {
+  schema: "zob.todo-event-reducer-decision.v1";
+  action: GoalRoomTodoReducerAction;
+  reasonCodes: string[];
+  goalId?: string;
+  todoId?: string;
+  sourceMsgId?: string;
+  sourceKind?: string;
+  runId?: string;
+  claimHash?: string;
+  outputHash?: string;
+  evidenceRefs: string[];
+  validationCommands: string[];
+  noShip?: boolean;
+  childGoalStatus?: GoalTodoChildGoalStatus;
+  statusClaim?: GoalTodoStatusClaim;
+  targetReadiness?: GoalTodoClaimTargetReadiness;
+  acceptanceBlockers: string[];
+  parentOwnedActions: true;
+  directMutationByWorker: false;
+  reducerRequiredForTodoMutation: true;
+  bodyStored: false;
+  promptBodiesStored: false;
+  outputBodiesStored: false;
+}
+
+export interface GoalTodoSummary {
+  goalId?: string;
+  total: number;
+  required: number;
+  done: number;
+  skipped: number;
+  open: number;
+  active: number;
+  blocked: number;
+  delegated: number;
+  claimReturned: number;
+  validationQueued: number;
+  validationRunning: number;
+  validationPassed: number;
+  validationFailed: number;
+  needsUser: number;
+  needsOracle: number;
+  nextAgent?: GoalTodoNode;
+  nextUser?: GoalTodoNode;
+}
+
+export interface AddGoalTodoInput {
+  title: string;
+  parentId?: string;
+  owner?: GoalTodoOwner;
+  required?: boolean;
+  priority?: GoalTodoPriority;
+  status?: GoalTodoStatus;
+  acceptanceCriteria?: string[];
+  evidenceRefs?: string[];
+  validationCommands?: string[];
+  descriptionHash?: string;
+}
+
+export interface GoalTodoCommandResult {
+  ok: boolean;
+  message: string;
+  node?: GoalTodoNode;
+}
+
+export type ResolveGoalTodoAction = "auto" | "complete" | "accept_claim" | "reject_claim" | "block" | "skip" | "reopen";
+
+export interface GoalTodoCompletionDiagnostics {
+  completionReady: boolean;
+  hardNoShip: boolean;
+  reviewNoShip: boolean;
+  effectiveNoShip: boolean;
+  completionBlockers: string[];
+  nextValidActions: Record<string, ResolveGoalTodoAction[]>;
+}