sdd-agent-platform 0.4.0 → 0.4.1

package/node_modules/@sdd-agent-platform/core/src/workflow-gate/types.ts

@@ -0,0 +1,114 @@
+import type { FanInEvidenceSetRecord, LlmAdvisorAssessmentRecord } from '../execution/stage-team-runtime.js';
+import type { RuntimeDurableGapRecord, RuntimeSyncBackDecisionRecord } from '../storage/runtime-store.js';
+import type { LatestEligibleRunSelection } from '../workflow-state/latest-eligible-run.js';
+import type { WorkflowDependencyBlocker } from '../workflow-state/dependencies.js';
+import type { WorkflowAffectedFileConflict } from '../workflow-state/affected-file-conflicts.js';
+import type { SddTaskModel } from '../sdd-docs/task-parser.js';
+
+export type WorkflowGateStatus = 'PASS' | 'WARN' | 'BLOCKED' | 'HUMAN_REQUIRED' | 'ADVISORY_ONLY';
+export type WorkflowGateHardCheckSeverity = 'info' | 'warning' | 'blocked';
+export type WorkflowGateAdvisorSummaryStatus = 'none' | 'low_concern' | 'medium_concern' | 'high_concern' | 'invalid';
+export type WorkflowGateDecisionKind = 'test' | 'validation_wave' | 'review_gate' | 'sync_back' | 'ship' | 'stage_transition';
+
+export type WorkflowGateHardCheckCode =
+  | 'schema_health_unavailable'
+  | 'missing_documents'
+  | 'stale_documents'
+  | 'contract_hash_mismatch'
+  | 'run_rejected'
+  | 'blocked_failed_or_archived_run'
+  | 'latest_eligible_missing'
+  | 'missing_payload'
+  | 'digest_drift'
+  | 'missing_required_artifact'
+  | 'validation_failure'
+  | 'dependency_blocker'
+  | 'authority_violation'
+  | 'sync_back_divergence'
+  | 'affected_file_conflict'
+  | 'durable_gap_blocking';
+
+export interface WorkflowGateHardCheck {
+  code: WorkflowGateHardCheckCode;
+  severity: WorkflowGateHardCheckSeverity;
+  scope: string;
+  message: string;
+  recovery: string;
+  refs: string[];
+}
+
+export interface WorkflowGateArtifactPayloadHealth {
+  payloadId: string;
+  logicalRef: string;
+  physicalPayloadPath: string;
+  expectedDigest: string;
+  actualDigest: string | null;
+  status: 'ok' | 'missing' | 'digest_drift';
+}
+
+export interface WorkflowGateRuntimeHealth {
+  status: 'ok' | 'unavailable';
+  issues: string[];
+}
+
+export interface WorkflowGateScope {
+  waveRunId: string | null;
+  taskIds: string[];
+  runIds: string[];
+  evidenceRefs: string[];
+}
+
+export interface WorkflowGateEvidencePacket {
+  packetId: string;
+  generatedAt: string;
+  decisionKind: WorkflowGateDecisionKind;
+  partition: string;
+  taskId: string | null;
+  runId: string | null;
+  documents: SddTaskModel['documents'];
+  latestEligibleSelection: LatestEligibleRunSelection | null;
+  latestEligibleSelections: LatestEligibleRunSelection[];
+  workflowScope: WorkflowGateScope;
+  runtimeHealth: WorkflowGateRuntimeHealth;
+  durableGaps: RuntimeDurableGapRecord[];
+  dependencyBlockers: WorkflowDependencyBlocker[];
+  affectedFileConflicts: WorkflowAffectedFileConflict[];
+  syncBackDecision: RuntimeSyncBackDecisionRecord | null;
+  syncBackDecisions: RuntimeSyncBackDecisionRecord[];
+  fanInEvidenceSets: FanInEvidenceSetRecord[];
+  advisorAssessments: LlmAdvisorAssessmentRecord[];
+  canonicalEvidenceRefs: string[];
+  requiredArtifactRefs: string[];
+  artifactPayloadHealth: WorkflowGateArtifactPayloadHealth[];
+  hardChecks: WorkflowGateHardCheck[];
+}
+
+export interface WorkflowGateAdvisorSummary {
+  status: WorkflowGateAdvisorSummaryStatus;
+  highConcernCount: number;
+  mediumConcernCount: number;
+  invalidCount: number;
+  lowConfidenceCount: number;
+  summaries: string[];
+}
+
+export interface WorkflowGateDecision {
+  decisionId: string;
+  inputHash: string;
+  generatedAt: string;
+  partition: string;
+  taskId: string | null;
+  runId: string | null;
+  decisionKind: WorkflowGateDecisionKind;
+  status: WorkflowGateStatus;
+  decidedBy: 'runtime_policy';
+  hardBlocks: WorkflowGateHardCheck[];
+  warnings: WorkflowGateHardCheck[];
+  advisorSummary: WorkflowGateAdvisorSummary;
+  allowedNextActions: string[];
+  forbiddenNextActions: string[];
+  humanRequired: boolean;
+  reasons: string[];
+  evidenceRefs: string[];
+  payload: unknown;
+}

package/node_modules/@sdd-agent-platform/core/src/workflow-state/affected-file-conflicts.ts

@@ -40,6 +40,11 @@ export function affectedFileConflictsForSelectedRun(states: RunState[], selected
   return conflicts.sort((left, right) => left.file.localeCompare(right.file) || left.partition.localeCompare(right.partition) || left.taskId.localeCompare(right.taskId) || left.runId.localeCompare(right.runId));
 }
 
+export function affectedFileConflictsForSelectedRuns(states: RunState[], selectedRuns: RunState[]): WorkflowAffectedFileConflict[] {
+  const conflicts = selectedRuns.flatMap((selected) => affectedFileConflictsForSelectedRun(states, selected));
+  return uniqueBy(conflicts, (conflict) => `${conflict.file}:${conflict.partition}:${conflict.taskId}:${conflict.runId}`);
+}
+
 function isAffectedFileConflictCandidate(candidate: RunState, selected: RunState): candidate is RunState & { partition: string; taskId: string } {
   if (candidate.runId === selected.runId || candidate.status === 'archived' || !candidate.partition || !candidate.taskId) {
     return false;
@@ -54,7 +59,7 @@ function isAffectedFileConflictCandidate(candidate: RunState, selected: RunState
 }
 
 function isActiveAffectedFileRun(state: RunState): boolean {
-  return state.status === 'created' || state.status === 'running' || state.syncBack.status === 'proposed';
+  return state.status === 'created' || state.status === 'running';
 }
 
 function selectedSupersedesCandidate(selected: RunState, candidate: RunState): boolean {
@@ -77,3 +82,15 @@ function isNonAuthoritativeForegroundRun(state: RunState): boolean {
   const delegations = Object.values(state.delegations);
   return delegations.length > 0 && delegations.every((delegation) => delegation.runMode === 'foreground' && !delegation.blocking && !delegation.requiredForPhaseExit);
 }
+
+function uniqueBy<T>(items: T[], keyOf: (item: T) => string): T[] {
+  const seen = new Set<string>();
+  return items.filter((item) => {
+    const key = keyOf(item);
+    if (seen.has(key)) {
+      return false;
+    }
+    seen.add(key);
+    return true;
+  });
+}

package/node_modules/@sdd-agent-platform/core/src/workflow-state/dependencies.test.ts

@@ -16,7 +16,7 @@ test('dependency readiness blocks tasks until dependencies are completed', () =>
 
   assert.equal(readiness.ready, false);
   assert.deepEqual(readiness.dependencies.map((dependency) => `${dependency.taskId}:${dependency.status}:${dependency.ready}`), ['DEP1:pending:false']);
-  assert.match(readiness.blockingReasons[0], /DEP2 depends on DEP1, but DEP1 status is pending/);
+  assert.match(readiness.blockingReasons[0], /DEP2 depends on DEP1, but DEP1 has not passed required verification/);
   assert.deepEqual(workflowDependencyBlockers(model).map((blocker) => `${blocker.taskId}->${blocker.dependencyId}:${blocker.dependencyStatus}`), ['DEP2->DEP1:pending']);
 });
 

package/node_modules/@sdd-agent-platform/core/src/workflow-state/dependencies.ts

@@ -1,6 +1,11 @@
+import type { RunStateTaskRuntime } from '../run-state/model.js';
 import type { SddTask, SddTaskModel } from '../sdd-docs/task-parser.js';
 type TaskDependencyModel = Pick<SddTaskModel, 'tasks'>;
 
+export interface TaskDependencyReadinessOptions {
+  runtimeByTask?: Map<string, RunStateTaskRuntime>;
+}
+
 export interface TaskDependencyReadinessEntry {
   taskId: string;
   status: SddTask['status'] | 'missing';
@@ -22,13 +27,13 @@ export interface WorkflowDependencyBlocker {
   reason: string;
 }
 
-export function resolveTaskDependencyReadiness(model: TaskDependencyModel, taskId: string): TaskDependencyReadiness {
+export function resolveTaskDependencyReadiness(model: TaskDependencyModel, taskId: string, options: TaskDependencyReadinessOptions = {}): TaskDependencyReadiness {
   const task = model.tasks.find((candidate) => candidate.id === taskId) ?? null;
   if (!task) {
     return { taskId, ready: false, dependencies: [], blockingReasons: [`Task ${taskId} was not found.`] };
   }
 
-  const dependencies = task.dependsOn.map((dependencyId) => dependencyReadinessEntry(task.id, dependencyId, model.tasks.find((candidate) => candidate.id === dependencyId) ?? null));
+  const dependencies = task.dependsOn.map((dependencyId) => dependencyReadinessEntry(task.id, dependencyId, model.tasks.find((candidate) => candidate.id === dependencyId) ?? null, options.runtimeByTask?.get(dependencyId)));
   const blockingReasons = dependencies.map((dependency) => dependency.reason).filter((reason): reason is string => Boolean(reason));
   return {
     taskId: task.id,
@@ -38,17 +43,17 @@ export function resolveTaskDependencyReadiness(model: TaskDependencyModel, taskI
   };
 }
 
-export function dependencyBlockingReasonsForTask(model: TaskDependencyModel, taskId: string): string[] {
-  return resolveTaskDependencyReadiness(model, taskId).blockingReasons;
+export function dependencyBlockingReasonsForTask(model: TaskDependencyModel, taskId: string, options: TaskDependencyReadinessOptions = {}): string[] {
+  return resolveTaskDependencyReadiness(model, taskId, options).blockingReasons;
 }
 
-export function workflowDependencyBlockers(model: TaskDependencyModel): WorkflowDependencyBlocker[] {
+export function workflowDependencyBlockers(model: TaskDependencyModel, options: TaskDependencyReadinessOptions = {}): WorkflowDependencyBlocker[] {
   const blockers: WorkflowDependencyBlocker[] = [];
   for (const task of model.tasks) {
     if (task.status === 'completed' || task.status === 'deferred') {
       continue;
     }
-    for (const dependency of resolveTaskDependencyReadiness(model, task.id).dependencies) {
+    for (const dependency of resolveTaskDependencyReadiness(model, task.id, options).dependencies) {
       if (!dependency.ready && dependency.reason) {
         blockers.push({
           taskId: task.id,
@@ -62,11 +67,11 @@ export function workflowDependencyBlockers(model: TaskDependencyModel): Workflow
   return blockers;
 }
 
-export function nextDependencyTaskId(model: TaskDependencyModel, taskId: string): string | null {
-  return resolveTaskDependencyReadiness(model, taskId).dependencies.find((dependency) => !dependency.ready)?.taskId ?? null;
+export function nextDependencyTaskId(model: TaskDependencyModel, taskId: string, options: TaskDependencyReadinessOptions = {}): string | null {
+  return resolveTaskDependencyReadiness(model, taskId, options).dependencies.find((dependency) => !dependency.ready)?.taskId ?? null;
 }
 
-function dependencyReadinessEntry(taskId: string, dependencyId: string, dependency: SddTask | null): TaskDependencyReadinessEntry {
+function dependencyReadinessEntry(taskId: string, dependencyId: string, dependency: SddTask | null, runtime: RunStateTaskRuntime | undefined): TaskDependencyReadinessEntry {
   if (!dependency) {
     return {
       taskId: dependencyId,
@@ -75,7 +80,7 @@ function dependencyReadinessEntry(taskId: string, dependencyId: string, dependen
       reason: `Task ${taskId} depends on ${dependencyId}, but ${dependencyId} was not found; restore or remove the dependency before continuing ${taskId}.`
     };
   }
-  if (dependency.status === 'completed') {
+  if (dependency.status === 'completed' || dependencyRuntimeSatisfiesImplementationBoundary(dependency, runtime)) {
     return {
       taskId: dependency.id,
       status: dependency.status,
@@ -87,6 +92,23 @@ function dependencyReadinessEntry(taskId: string, dependencyId: string, dependen
     taskId: dependency.id,
     status: dependency.status,
     ready: false,
-    reason: `Task ${taskId} depends on ${dependency.id}, but ${dependency.id} status is ${dependency.status}; complete and sync-back ${dependency.id} before continuing ${taskId}.`
+    reason: dependencyRequiresVerifiedBoundary(dependency)
+      ? `Task ${taskId} depends on ${dependency.id}, but ${dependency.id} has not passed required verification; run sdd test task ${dependency.id} before continuing ${taskId}.`
+      : `Task ${taskId} depends on ${dependency.id}, but ${dependency.id} is not implemented; run sdd do task ${dependency.id} before continuing ${taskId}.`
   };
 }
+
+function dependencyRuntimeSatisfiesImplementationBoundary(task: SddTask, runtime: RunStateTaskRuntime | undefined): boolean {
+  if (!runtimeTaskImplemented(runtime)) {
+    return false;
+  }
+  return !dependencyRequiresVerifiedBoundary(task) || runtime?.verificationStatus === 'pass' || runtime?.status === 'implemented_verified';
+}
+
+function dependencyRequiresVerifiedBoundary(task: SddTask): boolean {
+  return task.requiresVerifyBeforeNext || task.validationTiming === 'task_end';
+}
+
+function runtimeTaskImplemented(runtime: RunStateTaskRuntime | undefined): boolean {
+  return runtime?.implementationStatus === 'implemented' || runtime?.status === 'implemented_pending_validation' || runtime?.status === 'implemented_verified';
+}

package/node_modules/@sdd-agent-platform/core/src/workflow-state/latest-eligible-run.ts

@@ -0,0 +1,156 @@
+import type { RunState } from '../run-state/model.js';
+import type { SddTaskModel } from '../sdd-docs/task-parser.js';
+
+export type DocumentCompatibilityClass = 'compatible' | 'soft_stale' | 'strict_stale' | 'incompatible';
+
+export interface LatestEligibleRunCandidate {
+  partition: string;
+  gitBranch: string | null;
+  taskId: string;
+  runId: string;
+  runStatus: RunState['status'];
+  validationStatus: RunState['validation']['status'];
+  syncBackStatus: RunState['syncBack']['status'];
+  affectedFiles: string[];
+  updatedAt: string;
+  compatibility: DocumentCompatibilityClass;
+  eligibleForDefaultApply: boolean;
+  reasons: string[];
+}
+
+export interface LatestEligibleRunSelection {
+  partition: string;
+  taskId: string;
+  selected: LatestEligibleRunCandidate | null;
+  candidates: LatestEligibleRunCandidate[];
+  rejected: LatestEligibleRunCandidate[];
+}
+
+export function selectLatestEligibleRun(input: { states: RunState[]; model: SddTaskModel; partition: string; taskId: string; currentGitBranch?: string | null }): LatestEligibleRunSelection {
+  const candidates = input.states
+    .filter((state) => state.partition === input.partition && state.taskId === input.taskId)
+    .map((state) => latestEligibleCandidate(state, input.model));
+  const visible = candidates.filter((candidate) => candidate.runStatus !== 'archived').sort(compareCandidates);
+  const eligible = visible.filter((candidate) => candidate.eligibleForDefaultApply);
+  return {
+    partition: input.partition,
+    taskId: input.taskId,
+    selected: eligible[0] ?? null,
+    candidates: visible,
+    rejected: candidates.filter((candidate) => !candidate.eligibleForDefaultApply).sort(compareCandidates)
+  };
+}
+
+export function selectLatestEligibleRunsByTask(input: { states: RunState[]; model: SddTaskModel; partition: string; currentGitBranch?: string | null }): LatestEligibleRunSelection[] {
+  const taskIds = Array.from(new Set([
+    ...input.model.tasks.map((task) => task.id),
+    ...input.states
+      .filter((state) => state.partition === input.partition && state.taskId)
+      .map((state) => state.taskId as string)
+  ]))
+    .sort((left, right) => left.localeCompare(right));
+  return taskIds.map((taskId) => selectLatestEligibleRun({ ...input, taskId }));
+}
+
+function latestEligibleCandidate(state: RunState, model: SddTaskModel): LatestEligibleRunCandidate {
+  const compatibility = classifyDocumentCompatibility(state, model);
+  const reasons = candidateRejectionReasons(state, compatibility);
+  return {
+    partition: state.partition ?? model.branch,
+    gitBranch: state.gitBranch,
+    taskId: state.taskId ?? state.currentTask ?? '',
+    runId: state.runId,
+    runStatus: state.status,
+    validationStatus: state.validation.status,
+    syncBackStatus: state.syncBack.status,
+    affectedFiles: state.affectedFiles,
+    updatedAt: state.updatedAt,
+    compatibility,
+    eligibleForDefaultApply: reasons.length === 0,
+    reasons
+  };
+}
+
+export function classifyDocumentCompatibility(state: RunState, model: SddTaskModel): DocumentCompatibilityClass {
+  const snapshot = state.documentSnapshot;
+  const hasSnapshot = Boolean(snapshot.specHash || snapshot.planHash || snapshot.tasksHash || snapshot.specContractHash || snapshot.planContractHash || snapshot.tasksContractHash);
+  if (!hasSnapshot) {
+    return 'incompatible';
+  }
+  const specMismatch = snapshot.specContractHash !== null
+    ? documentHashMismatch(snapshot.specContractHash, model.documents.specContractHash ?? null)
+    : documentHashMismatch(snapshot.specHash, model.documents.specHash ?? null);
+  const planMismatch = snapshot.planContractHash !== null
+    ? documentHashMismatch(snapshot.planContractHash, model.documents.planContractHash ?? null)
+    : documentHashMismatch(snapshot.planHash, model.documents.planHash ?? null);
+  const tasksSemanticMismatch = snapshot.tasksContractHash !== null
+    ? documentHashMismatch(snapshot.tasksContractHash, model.documents.tasksContractHash ?? null)
+    : false;
+  const tasksDocMismatch = documentHashMismatch(snapshot.tasksHash, model.documents.tasksHash ?? null);
+  if (specMismatch || planMismatch) {
+    return 'strict_stale';
+  }
+  if (model.documents.planStale || model.documents.tasksStale) {
+    return 'strict_stale';
+  }
+  if (tasksSemanticMismatch) {
+    return 'strict_stale';
+  }
+  if (tasksDocMismatch) {
+    return 'soft_stale';
+  }
+  return 'compatible';
+}
+
+function candidateRejectionReasons(state: RunState, compatibility: DocumentCompatibilityClass): string[] {
+  const reasons: string[] = [];
+  if (state.status === 'archived') {
+    reasons.push('Run is archived.');
+  }
+  if (state.status === 'failed') {
+    reasons.push('Run failed.');
+  }
+  if (state.status === 'blocked') {
+    reasons.push('Run is blocked.');
+  }
+  if (state.validation.status === 'fail' || state.validation.status === 'blocked') {
+    reasons.push(`Run validation status is ${state.validation.status}.`);
+  }
+  if (compatibility === 'strict_stale') {
+    reasons.push('Run document compatibility is strict_stale.');
+  }
+  if (compatibility === 'incompatible') {
+    reasons.push('Run document compatibility is incompatible.');
+  }
+  return reasons;
+}
+
+function documentHashMismatch(expected: string | null, actual: string | null): boolean {
+  if (!expected && !actual) {
+    return false;
+  }
+  return expected !== actual;
+}
+
+function compareCandidates(left: LatestEligibleRunCandidate, right: LatestEligibleRunCandidate): number {
+  const leftRank = compatibilityRank(left.compatibility);
+  const rightRank = compatibilityRank(right.compatibility);
+  if (leftRank !== rightRank) {
+    return leftRank - rightRank;
+  }
+  const updatedAt = Date.parse(right.updatedAt) - Date.parse(left.updatedAt);
+  return updatedAt !== 0 ? updatedAt : right.runId.localeCompare(left.runId);
+}
+
+function compatibilityRank(compatibility: DocumentCompatibilityClass): number {
+  switch (compatibility) {
+    case 'compatible':
+      return 0;
+    case 'soft_stale':
+      return 1;
+    case 'strict_stale':
+      return 2;
+    case 'incompatible':
+      return 3;
+  }
+}