sdd-agent-platform 0.4.0 → 0.4.2

package/packages/core/dist/workflow-gate/policy.js

@@ -0,0 +1,182 @@
+import { createHash } from 'node:crypto';
+import { WORKFLOW_GATE_RUNTIME_CONTRACT_VERSION } from '../contracts.js';
+export function synthesizeWorkflowGateDecision(packet) {
+    const hardBlocks = packet.hardChecks.filter((check) => check.severity === 'blocked');
+    const warnings = packet.hardChecks.filter((check) => check.severity === 'warning');
+    const advisorSummary = summarizeAdvisors(packet);
+    const status = decideStatus(hardBlocks, warnings, advisorSummary, packet);
+    const humanRequired = status === 'HUMAN_REQUIRED';
+    const allowedNextActions = allowedActions(status, packet);
+    const forbiddenNextActions = forbiddenActions(status, packet);
+    return {
+        decisionId: `gate-${inputHash(packet).slice(0, 16)}`,
+        inputHash: inputHash(packet),
+        generatedAt: new Date().toISOString(),
+        partition: packet.partition,
+        taskId: packet.taskId,
+        runId: packet.runId,
+        decisionKind: packet.decisionKind,
+        status,
+        decidedBy: 'runtime_policy',
+        hardBlocks,
+        warnings,
+        advisorSummary,
+        allowedNextActions,
+        forbiddenNextActions,
+        humanRequired,
+        reasons: decisionReasons(status, hardBlocks, warnings, advisorSummary),
+        evidenceRefs: sortedUnique(selectedEvidenceRefs(packet)),
+        payload: {
+            contract: WORKFLOW_GATE_RUNTIME_CONTRACT_VERSION,
+            packetId: packet.packetId,
+            workflowScope: packet.workflowScope,
+            evidenceBinding: gateEvidenceBinding(packet)
+        }
+    };
+}
+export function summarizeAdvisors(packet) {
+    const highConcernCount = packet.advisorAssessments.filter((assessment) => assessment.concern === 'high').length;
+    const mediumConcernCount = packet.advisorAssessments.filter((assessment) => assessment.concern === 'medium').length;
+    const invalidCount = packet.advisorAssessments.filter((assessment) => assessment.advisoryOnly !== true || assessment.validity === 'invalid').length;
+    const lowConfidenceCount = packet.advisorAssessments.filter((assessment) => assessment.confidence === 'low').length;
+    return {
+        status: invalidCount > 0 ? 'invalid' : highConcernCount > 0 ? 'high_concern' : mediumConcernCount > 0 || lowConfidenceCount > 0 ? 'medium_concern' : packet.advisorAssessments.length > 0 ? 'low_concern' : 'none',
+        highConcernCount,
+        mediumConcernCount,
+        invalidCount,
+        lowConfidenceCount,
+        summaries: packet.advisorAssessments.map((assessment) => assessment.summary).filter(Boolean).sort()
+    };
+}
+export function inputHash(packet) {
+    return createHash('sha256').update(stableJson({
+        decisionKind: packet.decisionKind,
+        partition: packet.partition,
+        taskId: packet.taskId,
+        runId: packet.runId,
+        documents: packet.documents,
+        selection: packet.latestEligibleSelection,
+        selections: packet.latestEligibleSelections,
+        workflowScope: packet.workflowScope,
+        runtimeHealth: packet.runtimeHealth,
+        durableGaps: packet.durableGaps,
+        dependencyBlockers: packet.dependencyBlockers,
+        affectedFileConflicts: packet.affectedFileConflicts,
+        fanInEvidenceSets: packet.fanInEvidenceSets,
+        advisorAssessments: packet.advisorAssessments,
+        selectedEvidence: {
+            source: packet.selectedEvidence.source,
+            evidenceSetId: packet.selectedEvidence.evidenceSet?.evidenceSetId ?? null,
+            selectedEvidenceSetId: packet.selectedEvidence.pointer?.selectedEvidenceSetId ?? null,
+            payloads: packet.selectedEvidence.payloads.map((payload) => ({ payloadId: payload.payloadId, logicalRef: payload.logicalRef, digest: payload.digest, status: payload.status }))
+        },
+        canonicalEvidenceRefs: packet.canonicalEvidenceRefs,
+        requiredArtifactRefs: packet.requiredArtifactRefs,
+        artifactPayloadHealth: packet.artifactPayloadHealth,
+        hardChecks: packet.hardChecks
+    }), 'utf8').digest('hex');
+}
+function decideStatus(hardBlocks, warnings, advisorSummary, packet) {
+    if (hardBlocks.length > 0) {
+        return 'BLOCKED';
+    }
+    if (advisorSummary.status === 'invalid') {
+        return 'HUMAN_REQUIRED';
+    }
+    if (advisorSummary.status === 'high_concern') {
+        return 'HUMAN_REQUIRED';
+    }
+    if (warnings.length > 0 || advisorSummary.status === 'medium_concern') {
+        return 'WARN';
+    }
+    if (packet.decisionKind === 'stage_transition' && packet.advisorAssessments.length > 0 && packet.canonicalEvidenceRefs.length === 0) {
+        return 'ADVISORY_ONLY';
+    }
+    return 'PASS';
+}
+function allowedActions(status, packet) {
+    if (status === 'PASS') {
+        return packet.decisionKind === 'ship' ? ['ship'] : ['continue'];
+    }
+    if (status === 'WARN') {
+        return ['inspect-evidence'];
+    }
+    if (status === 'HUMAN_REQUIRED') {
+        return ['create-decision-card', 'inspect-evidence'];
+    }
+    if (status === 'ADVISORY_ONLY') {
+        return ['inspect-advisor-assessments'];
+    }
+    return ['inspect-blockers', 'recover'];
+}
+function forbiddenActions(status, packet) {
+    if (status === 'BLOCKED') {
+        return ['ship', 'truth-alignment-approval', 'mark-task-complete', 'stage-pass'];
+    }
+    if (status === 'HUMAN_REQUIRED') {
+        return ['satisfy-with-role-result', 'satisfy-with-subagent-output'];
+    }
+    if (status === 'ADVISORY_ONLY') {
+        return ['treat-advisor-as-pass'];
+    }
+    return status === 'WARN' ? ['ship', 'truth-alignment-approval', 'mark-task-complete', 'stage-pass'] : packet.decisionKind === 'ship' ? [] : ['skip-evidence-recording'];
+}
+function decisionReasons(status, hardBlocks, warnings, advisorSummary) {
+    if (hardBlocks.length > 0) {
+        return hardBlocks.map((check) => `${check.code}: ${check.message}`);
+    }
+    if (status === 'HUMAN_REQUIRED') {
+        return [`advisor=${advisorSummary.status}; human decision required because role/subagent outputs cannot satisfy this gate.`];
+    }
+    if (warnings.length > 0) {
+        return warnings.map((check) => `${check.code}: ${check.message}`);
+    }
+    if (advisorSummary.status === 'medium_concern' || advisorSummary.status === 'high_concern') {
+        return [`advisor=${advisorSummary.status}`];
+    }
+    return [`runtime_policy produced ${status}`];
+}
+function selectedEvidenceRefs(packet) {
+    return packet.selectedEvidence.payloads.map((payload) => payload.logicalRef);
+}
+function gateEvidenceBinding(packet) {
+    const selectedRefs = packet.selectedEvidence.payloads.map((payload) => ({
+        payloadId: payload.payloadId,
+        logicalRef: payload.logicalRef,
+        digest: payload.digest,
+        status: payload.status
+    }));
+    return {
+        contract: 'sdd-gate-evidence-binding-v1',
+        branch: packet.partition,
+        gate: packet.decisionKind,
+        selectionPointerRef: packet.selectedEvidence.pointer ? `selection:${packet.selectedEvidence.pointer.scopeKind}:${packet.selectedEvidence.pointer.scopeId}` : null,
+        acceptedEvidenceSetRef: packet.selectedEvidence.evidenceSet?.evidenceSetId ?? null,
+        source: packet.selectedEvidence.source,
+        selectedRefs,
+        blockedRefs: packet.hardChecks.flatMap((check) => check.refs),
+        selectionReasons: sortedUnique([packet.selectedEvidence.pointer?.reason ?? '', ...evidenceSetSelectionReasons(packet.selectedEvidence.evidenceSet?.payload)]),
+        decision: packet.hardChecks.some((check) => check.severity === 'blocked') ? 'blocked' : 'pass',
+        reasons: packet.hardChecks.map((check) => `${check.code}: ${check.message}`)
+    };
+}
+function evidenceSetSelectionReasons(payload) {
+    if (!payload || typeof payload !== 'object') {
+        return [];
+    }
+    const reasons = payload.selectionReasons;
+    return Array.isArray(reasons) ? reasons.filter((reason) => typeof reason === 'string') : [];
+}
+function sortedUnique(values) {
+    return [...new Set(values.filter(Boolean))].sort();
+}
+function stableJson(value) {
+    if (Array.isArray(value)) {
+        return `[${value.map(stableJson).join(',')}]`;
+    }
+    if (value && typeof value === 'object') {
+        return `{${Object.entries(value).sort(([left], [right]) => left.localeCompare(right)).map(([key, item]) => `${JSON.stringify(key)}:${stableJson(item)}`).join(',')}}`;
+    }
+    return JSON.stringify(value);
+}
+//# sourceMappingURL=policy.js.map

package/packages/core/dist/workflow-gate/policy.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"policy.js","sourceRoot":"","sources":["../../src/workflow-gate/policy.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,sCAAsC,EAAE,MAAM,iBAAiB,CAAC;AAGzE,MAAM,UAAU,8BAA8B,CAAC,MAAkC;IAC/E,MAAM,UAAU,GAAG,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC;IACrF,MAAM,QAAQ,GAAG,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC;IACnF,MAAM,cAAc,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAC;IACjD,MAAM,MAAM,GAAG,YAAY,CAAC,UAAU,EAAE,QAAQ,EAAE,cAAc,EAAE,MAAM,CAAC,CAAC;IAC1E,MAAM,aAAa,GAAG,MAAM,KAAK,gBAAgB,CAAC;IAClD,MAAM,kBAAkB,GAAG,cAAc,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC1D,MAAM,oBAAoB,GAAG,gBAAgB,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC9D,OAAO;QACL,UAAU,EAAE,QAAQ,SAAS,CAAC,MAAM,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE;QACpD,SAAS,EAAE,SAAS,CAAC,MAAM,CAAC;QAC5B,WAAW,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;QACrC,SAAS,EAAE,MAAM,CAAC,SAAS;QAC3B,MAAM,EAAE,MAAM,CAAC,MAAM;QACrB,KAAK,EAAE,MAAM,CAAC,KAAK;QACnB,YAAY,EAAE,MAAM,CAAC,YAAY;QACjC,MAAM;QACN,SAAS,EAAE,gBAAgB;QAC3B,UAAU;QACV,QAAQ;QACR,cAAc;QACd,kBAAkB;QAClB,oBAAoB;QACpB,aAAa;QACb,OAAO,EAAE,eAAe,CAAC,MAAM,EAAE,UAAU,EAAE,QAAQ,EAAE,cAAc,CAAC;QACtE,YAAY,EAAE,YAAY,CAAC,oBAAoB,CAAC,MAAM,CAAC,CAAC;QACxD,OAAO,EAAE;YACP,QAAQ,EAAE,sCAAsC;YAChD,QAAQ,EAAE,MAAM,CAAC,QAAQ;YACzB,aAAa,EAAE,MAAM,CAAC,aAAa;YACnC,eAAe,EAAE,mBAAmB,CAAC,MAAM,CAAC;SAC7C;KACF,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,iBAAiB,CAAC,MAAkC;IAClE,MAAM,gBAAgB,GAAG,MAAM,CAAC,kBAAkB,CAAC,MAAM,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC,OAAO,KAAK,MAAM,CAAC,CAAC,MAAM,CAAC;IAChH,MAAM,kBAAkB,GAAG,MAAM,CAAC,kBAAkB,CAAC,MAAM,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC,OAAO,KAAK,QAAQ,CAAC,CAAC,MAAM,CAAC;IACpH,MAAM,YAAY,GAAG,MAAM,CAAC,kBAAkB,CAAC,MAAM,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC,YAAY,KAAK,IAAI,IAAI,UAAU,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,MAAM,CAAC;IACpJ,MAAM,kBAAkB,GAAG,MAAM,CAAC,kBAAkB,CAAC,MAAM,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC,UAAU,KAAK,KAAK,CAAC,CAAC,MAAM,CAAC;IACpH,OAAO;QACL,MAAM,EAAE,YAAY,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,gBAAgB,GAAG,CAAC,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,kBAAkB,GAAG,CAAC,IAAI,kBAAkB,GAAG,CAAC,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,MAAM,CAAC,kBAAkB,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,MAAM;QAClN,gBAAgB;QAChB,kBAAkB;QAClB,YAAY;QACZ,kBAAkB;QAClB,SAAS,EAAE,MAAM,CAAC,kBAAkB,CAAC,GAAG,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE;KACpG,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,SAAS,CAAC,MAAkC;IAC1D,OAAO,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC;QAC5C,YAAY,EAAE,MAAM,CAAC,YAAY;QACjC,SAAS,EAAE,MAAM,CAAC,SAAS;QAC3B,MAAM,EAAE,MAAM,CAAC,MAAM;QACrB,KAAK,EAAE,MAAM,CAAC,KAAK;QACnB,SAAS,EAAE,MAAM,CAAC,SAAS;QAC3B,SAAS,EAAE,MAAM,CAAC,uBAAuB;QACzC,UAAU,EAAE,MAAM,CAAC,wBAAwB;QAC3C,aAAa,EAAE,MAAM,CAAC,aAAa;QACnC,aAAa,EAAE,MAAM,CAAC,aAAa;QACnC,WAAW,EAAE,MAAM,CAAC,WAAW;QAC/B,kBAAkB,EAAE,MAAM,CAAC,kBAAkB;QAC7C,qBAAqB,EAAE,MAAM,CAAC,qBAAqB;QACnD,iBAAiB,EAAE,MAAM,CAAC,iBAAiB;QAC3C,kBAAkB,EAAE,MAAM,CAAC,kBAAkB;QAC7C,gBAAgB,EAAE;YAChB,MAAM,EAAE,MAAM,CAAC,gBAAgB,CAAC,MAAM;YACtC,aAAa,EAAE,MAAM,CAAC,gBAAgB,CAAC,WAAW,EAAE,aAAa,IAAI,IAAI;YACzE,qBAAqB,EAAE,MAAM,CAAC,gBAAgB,CAAC,OAAO,EAAE,qBAAqB,IAAI,IAAI;YACrF,QAAQ,EAAE,MAAM,CAAC,gBAAgB,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,EAAE,SAAS,EAAE,OAAO,CAAC,SAAS,EAAE,UAAU,EAAE,OAAO,CAAC,UAAU,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC;SAChL;QACD,qBAAqB,EAAE,MAAM,CAAC,qBAAqB;QACnD,oBAAoB,EAAE,MAAM,CAAC,oBAAoB;QACjD,qBAAqB,EAAE,MAAM,CAAC,qBAAqB;QACnD,UAAU,EAAE,MAAM,CAAC,UAAU;KAC9B,CAAC,EAAE,MAAM,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AAC5B,CAAC;AAED,SAAS,YAAY,CAAC,UAAmC,EAAE,QAAiC,EAAE,cAA0C,EAAE,MAAkC;IAC1K,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC1B,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,IAAI,cAAc,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;QACxC,OAAO,gBAAgB,CAAC;IAC1B,CAAC;IACD,IAAI,cAAc,CAAC,MAAM,KAAK,cAAc,EAAE,CAAC;QAC7C,OAAO,gBAAgB,CAAC;IAC1B,CAAC;IACD,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,IAAI,cAAc,CAAC,MAAM,KAAK,gBAAgB,EAAE,CAAC;QACtE,OAAO,MAAM,CAAC;IAChB,CAAC;IACD,IAAI,MAAM,CAAC,YAAY,KAAK,kBAAkB,IAAI,MAAM,CAAC,kBAAkB,CAAC,MAAM,GAAG,CAAC,IAAI,MAAM,CAAC,qBAAqB,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACpI,OAAO,eAAe,CAAC;IACzB,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,cAAc,CAAC,MAA0B,EAAE,MAAkC;IACpF,IAAI,MAAM,KAAK,MAAM,EAAE,CAAC;QACtB,OAAO,MAAM,CAAC,YAAY,KAAK,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC;IAClE,CAAC;IACD,IAAI,MAAM,KAAK,MAAM,EAAE,CAAC;QACtB,OAAO,CAAC,kBAAkB,CAAC,CAAC;IAC9B,CAAC;IACD,IAAI,MAAM,KAAK,gBAAgB,EAAE,CAAC;QAChC,OAAO,CAAC,sBAAsB,EAAE,kBAAkB,CAAC,CAAC;IACtD,CAAC;IACD,IAAI,MAAM,KAAK,eAAe,EAAE,CAAC;QAC/B,OAAO,CAAC,6BAA6B,CAAC,CAAC;IACzC,CAAC;IACD,OAAO,CAAC,kBAAkB,EAAE,SAAS,CAAC,CAAC;AACzC,CAAC;AAED,SAAS,gBAAgB,CAAC,MAA0B,EAAE,MAAkC;IACtF,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;QACzB,OAAO,CAAC,MAAM,EAAE,0BAA0B,EAAE,oBAAoB,EAAE,YAAY,CAAC,CAAC;IAClF,CAAC;IACD,IAAI,MAAM,KAAK,gBAAgB,EAAE,CAAC;QAChC,OAAO,CAAC,0BAA0B,EAAE,8BAA8B,CAAC,CAAC;IACtE,CAAC;IACD,IAAI,MAAM,KAAK,eAAe,EAAE,CAAC;QAC/B,OAAO,CAAC,uBAAuB,CAAC,CAAC;IACnC,CAAC;IACD,OAAO,MAAM,KAAK,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,EAAE,0BAA0B,EAAE,oBAAoB,EAAE,YAAY,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,YAAY,KAAK,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,yBAAyB,CAAC,CAAC;AAC1K,CAAC;AAED,SAAS,eAAe,CAAC,MAA0B,EAAE,UAAmC,EAAE,QAAiC,EAAE,cAA0C;IACrK,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC1B,OAAO,UAAU,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,GAAG,KAAK,CAAC,IAAI,KAAK,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC;IACtE,CAAC;IACD,IAAI,MAAM,KAAK,gBAAgB,EAAE,CAAC;QAChC,OAAO,CAAC,WAAW,cAAc,CAAC,MAAM,mFAAmF,CAAC,CAAC;IAC/H,CAAC;IACD,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxB,OAAO,QAAQ,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,GAAG,KAAK,CAAC,IAAI,KAAK,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC;IACpE,CAAC;IACD,IAAI,cAAc,CAAC,MAAM,KAAK,gBAAgB,IAAI,cAAc,CAAC,MAAM,KAAK,cAAc,EAAE,CAAC;QAC3F,OAAO,CAAC,WAAW,cAAc,CAAC,MAAM,EAAE,CAAC,CAAC;IAC9C,CAAC;IACD,OAAO,CAAC,2BAA2B,MAAM,EAAE,CAAC,CAAC;AAC/C,CAAC;AAED,SAAS,oBAAoB,CAAC,MAAkC;IAC9D,OAAO,MAAM,CAAC,gBAAgB,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;AAC/E,CAAC;AAED,SAAS,mBAAmB,CAAC,MAAkC;IAC7D,MAAM,YAAY,GAAG,MAAM,CAAC,gBAAgB,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;QACtE,SAAS,EAAE,OAAO,CAAC,SAAS;QAC5B,UAAU,EAAE,OAAO,CAAC,UAAU;QAC9B,MAAM,EAAE,OAAO,CAAC,MAAM;QACtB,MAAM,EAAE,OAAO,CAAC,MAAM;KACvB,CAAC,CAAC,CAAC;IACJ,OAAO;QACL,QAAQ,EAAE,8BAA8B;QACxC,MAAM,EAAE,MAAM,CAAC,SAAS;QACxB,IAAI,EAAE,MAAM,CAAC,YAAY;QACzB,mBAAmB,EAAE,MAAM,CAAC,gBAAgB,CAAC,OAAO,CAAC,CAAC,CAAC,aAAa,MAAM,CAAC,gBAAgB,CAAC,OAAO,CAAC,SAAS,IAAI,MAAM,CAAC,gBAAgB,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,IAAI;QACjK,sBAAsB,EAAE,MAAM,CAAC,gBAAgB,CAAC,WAAW,EAAE,aAAa,IAAI,IAAI;QAClF,MAAM,EAAE,MAAM,CAAC,gBAAgB,CAAC,MAAM;QACtC,YAAY;QACZ,WAAW,EAAE,MAAM,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC;QAC7D,gBAAgB,EAAE,YAAY,CAAC,CAAC,MAAM,CAAC,gBAAgB,CAAC,OAAO,EAAE,MAAM,IAAI,EAAE,EAAE,GAAG,2BAA2B,CAAC,MAAM,CAAC,gBAAgB,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC,CAAC;QAC7J,QAAQ,EAAE,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM;QAC9F,OAAO,EAAE,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,GAAG,KAAK,CAAC,IAAI,KAAK,KAAK,CAAC,OAAO,EAAE,CAAC;KAC7E,CAAC;AACJ,CAAC;AAED,SAAS,2BAA2B,CAAC,OAAgB;IACnD,IAAI,CAAC,OAAO,IAAI,OAAO,OAAO,KAAK,QAAQ,EAAE,CAAC;QAC5C,OAAO,EAAE,CAAC;IACZ,CAAC;IACD,MAAM,OAAO,GAAI,OAA0C,CAAC,gBAAgB,CAAC;IAC7E,OAAO,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,MAAM,EAAoB,EAAE,CAAC,OAAO,MAAM,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;AAChH,CAAC;AAED,SAAS,YAAY,CAAC,MAAgB;IACpC,OAAO,CAAC,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;AACrD,CAAC;AAED,SAAS,UAAU,CAAC,KAAc;IAChC,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACzB,OAAO,IAAI,KAAK,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;IAChD,CAAC;IACD,IAAI,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QACvC,OAAO,IAAI,MAAM,CAAC,OAAO,CAAC,KAAgC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;IACnM,CAAC;IACD,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;AAC/B,CAAC"}

package/packages/core/dist/workflow-gate/types.d.ts

@@ -0,0 +1,88 @@
+import type { FanInEvidenceSetRecord, LlmAdvisorAssessmentRecord } from '../execution/stage-team-runtime.js';
+import type { RuntimeDurableGapRecord, RuntimeResolvedEvidenceSelection } 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' | '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' | 'missing_evidence_selection' | 'non_consumable_evidence' | 'non_primary_evidence' | 'validation_failure' | 'dependency_blocker' | 'authority_violation' | '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[];
+    fanInEvidenceSets: FanInEvidenceSetRecord[];
+    advisorAssessments: LlmAdvisorAssessmentRecord[];
+    selectedEvidence: RuntimeResolvedEvidenceSelection;
+    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/packages/core/dist/workflow-gate/types.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=types.js.map

package/packages/core/dist/workflow-gate/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../src/workflow-gate/types.ts"],"names":[],"mappings":""}

package/packages/core/dist/workflow-state/affected-file-conflicts.d.ts

@@ -6,7 +6,7 @@ export interface WorkflowAffectedFileConflict {
     taskId: string;
     runId: string;
     runStatus: RunState['status'];
-    syncBackStatus: RunState['syncBack']['status'];
     updatedAt: string;
 }
 export declare function affectedFileConflictsForSelectedRun(states: RunState[], selected: RunState): WorkflowAffectedFileConflict[];
+export declare function affectedFileConflictsForSelectedRuns(states: RunState[], selectedRuns: RunState[]): WorkflowAffectedFileConflict[];

package/packages/core/dist/workflow-state/affected-file-conflicts.js

@@ -17,7 +17,6 @@ export function affectedFileConflictsForSelectedRun(states, selected) {
                     taskId: state.taskId,
                     runId: state.runId,
                     runStatus: state.status,
-                    syncBackStatus: state.syncBack.status,
                     updatedAt: state.updatedAt
                 });
             }
@@ -25,6 +24,10 @@ export function affectedFileConflictsForSelectedRun(states, 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, selectedRuns) {
+    const conflicts = selectedRuns.flatMap((selected) => affectedFileConflictsForSelectedRun(states, selected));
+    return uniqueBy(conflicts, (conflict) => `${conflict.file}:${conflict.partition}:${conflict.taskId}:${conflict.runId}`);
+}
 function isAffectedFileConflictCandidate(candidate, selected) {
     if (candidate.runId === selected.runId || candidate.status === 'archived' || !candidate.partition || !candidate.taskId) {
         return false;
@@ -38,7 +41,7 @@ function isAffectedFileConflictCandidate(candidate, selected) {
     return isActiveAffectedFileRun(candidate);
 }
 function isActiveAffectedFileRun(state) {
-    return state.status === 'created' || state.status === 'running' || state.syncBack.status === 'proposed';
+    return state.status === 'created' || state.status === 'running';
 }
 function selectedSupersedesCandidate(selected, candidate) {
     return Boolean(selected.partition &&
@@ -48,7 +51,7 @@ function selectedSupersedesCandidate(selected, candidate) {
         selected.status === 'completed' &&
         selected.validation.status === 'pass' &&
         Date.parse(selected.updatedAt) > Date.parse(candidate.updatedAt) &&
-        (candidate.status === 'failed' || candidate.status === 'blocked' || candidate.validation.status === 'fail' || candidate.validation.status === 'blocked' || candidate.syncBack.status === 'proposed'));
+        (candidate.status === 'failed' || candidate.status === 'blocked' || candidate.validation.status === 'fail' || candidate.validation.status === 'blocked'));
 }
 function isNonAuthoritativeForegroundRun(state) {
     if (state.phase === 'foreground-subagents') {
@@ -57,4 +60,15 @@ function isNonAuthoritativeForegroundRun(state) {
     const delegations = Object.values(state.delegations);
     return delegations.length > 0 && delegations.every((delegation) => delegation.runMode === 'foreground' && !delegation.blocking && !delegation.requiredForPhaseExit);
 }
+function uniqueBy(items, keyOf) {
+    const seen = new Set();
+    return items.filter((item) => {
+        const key = keyOf(item);
+        if (seen.has(key)) {
+            return false;
+        }
+        seen.add(key);
+        return true;
+    });
+}
 //# sourceMappingURL=affected-file-conflicts.js.map

package/packages/core/dist/workflow-state/affected-file-conflicts.js.map

@@ -1 +1 @@
-{"version":3,"file":"affected-file-conflicts.js","sourceRoot":"","sources":["../../src/workflow-state/affected-file-conflicts.ts"],"names":[],"mappings":"AAaA,MAAM,UAAU,mCAAmC,CAAC,MAAkB,EAAE,QAAkB;IACxF,IAAI,CAAC,QAAQ,CAAC,SAAS,IAAI,CAAC,QAAQ,CAAC,MAAM,IAAI,QAAQ,CAAC,aAAa,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACnF,OAAO,EAAE,CAAC;IACZ,CAAC;IAED,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAC;IACtD,MAAM,SAAS,GAAmC,EAAE,CAAC;IACrD,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,IAAI,CAAC,+BAA+B,CAAC,KAAK,EAAE,QAAQ,CAAC,EAAE,CAAC;YACtD,SAAS;QACX,CAAC;QACD,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,aAAa,EAAE,CAAC;YACvC,IAAI,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC5B,SAAS,CAAC,IAAI,CAAC;oBACb,IAAI;oBACJ,SAAS,EAAE,KAAK,CAAC,SAAS;oBAC1B,SAAS,EAAE,KAAK,CAAC,SAAS;oBAC1B,MAAM,EAAE,KAAK,CAAC,MAAM;oBACpB,KAAK,EAAE,KAAK,CAAC,KAAK;oBAClB,SAAS,EAAE,KAAK,CAAC,MAAM;oBACvB,cAAc,EAAE,KAAK,CAAC,QAAQ,CAAC,MAAM;oBACrC,SAAS,EAAE,KAAK,CAAC,SAAS;iBAC3B,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,SAAS,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,SAAS,CAAC,aAAa,CAAC,KAAK,CAAC,SAAS,CAAC,IAAI,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,aAAa,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;AACnN,CAAC;AAED,SAAS,+BAA+B,CAAC,SAAmB,EAAE,QAAkB;IAC9E,IAAI,SAAS,CAAC,KAAK,KAAK,QAAQ,CAAC,KAAK,IAAI,SAAS,CAAC,MAAM,KAAK,UAAU,IAAI,CAAC,SAAS,CAAC,SAAS,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,CAAC;QACvH,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IAAI,+BAA+B,CAAC,SAAS,CAAC,EAAE,CAAC;QAC/C,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IAAI,2BAA2B,CAAC,QAAQ,EAAE,SAAS,CAAC,EAAE,CAAC;QACrD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,uBAAuB,CAAC,SAAS,CAAC,CAAC;AAC5C,CAAC;AAED,SAAS,uBAAuB,CAAC,KAAe;IAC9C,OAAO,KAAK,CAAC,MAAM,KAAK,SAAS,IAAI,KAAK,CAAC,MAAM,KAAK,SAAS,IAAI,KAAK,CAAC,QAAQ,CAAC,MAAM,KAAK,UAAU,CAAC;AAC1G,CAAC;AAED,SAAS,2BAA2B,CAAC,QAAkB,EAAE,SAAmB;IAC1E,OAAO,OAAO,CACZ,QAAQ,CAAC,SAAS;QAClB,QAAQ,CAAC,MAAM;QACf,QAAQ,CAAC,SAAS,KAAK,SAAS,CAAC,SAAS;QAC1C,QAAQ,CAAC,MAAM,KAAK,SAAS,CAAC,MAAM;QACpC,QAAQ,CAAC,MAAM,KAAK,WAAW;QAC/B,QAAQ,CAAC,UAAU,CAAC,MAAM,KAAK,MAAM;QACrC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,SAAS,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,SAAS,CAAC;QAChE,CAAC,SAAS,CAAC,MAAM,KAAK,QAAQ,IAAI,SAAS,CAAC,MAAM,KAAK,SAAS,IAAI,SAAS,CAAC,UAAU,CAAC,MAAM,KAAK,MAAM,IAAI,SAAS,CAAC,UAAU,CAAC,MAAM,KAAK,SAAS,IAAI,SAAS,CAAC,QAAQ,CAAC,MAAM,KAAK,UAAU,CAAC,CACrM,CAAC;AACJ,CAAC;AAED,SAAS,+BAA+B,CAAC,KAAe;IACtD,IAAI,KAAK,CAAC,KAAK,KAAK,sBAAsB,EAAE,CAAC;QAC3C,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,WAAW,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;IACrD,OAAO,WAAW,CAAC,MAAM,GAAG,CAAC,IAAI,WAAW,CAAC,KAAK,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC,OAAO,KAAK,YAAY,IAAI,CAAC,UAAU,CAAC,QAAQ,IAAI,CAAC,UAAU,CAAC,oBAAoB,CAAC,CAAC;AACtK,CAAC"}
+{"version":3,"file":"affected-file-conflicts.js","sourceRoot":"","sources":["../../src/workflow-state/affected-file-conflicts.ts"],"names":[],"mappings":"AAYA,MAAM,UAAU,mCAAmC,CAAC,MAAkB,EAAE,QAAkB;IACxF,IAAI,CAAC,QAAQ,CAAC,SAAS,IAAI,CAAC,QAAQ,CAAC,MAAM,IAAI,QAAQ,CAAC,aAAa,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACnF,OAAO,EAAE,CAAC;IACZ,CAAC;IAED,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAC;IACtD,MAAM,SAAS,GAAmC,EAAE,CAAC;IACrD,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,IAAI,CAAC,+BAA+B,CAAC,KAAK,EAAE,QAAQ,CAAC,EAAE,CAAC;YACtD,SAAS;QACX,CAAC;QACD,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,aAAa,EAAE,CAAC;YACvC,IAAI,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC5B,SAAS,CAAC,IAAI,CAAC;oBACb,IAAI;oBACJ,SAAS,EAAE,KAAK,CAAC,SAAS;oBAC1B,SAAS,EAAE,KAAK,CAAC,SAAS;oBAC1B,MAAM,EAAE,KAAK,CAAC,MAAM;oBACpB,KAAK,EAAE,KAAK,CAAC,KAAK;oBAClB,SAAS,EAAE,KAAK,CAAC,MAAM;oBACvB,SAAS,EAAE,KAAK,CAAC,SAAS;iBAC3B,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,SAAS,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,SAAS,CAAC,aAAa,CAAC,KAAK,CAAC,SAAS,CAAC,IAAI,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,aAAa,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;AACnN,CAAC;AAED,MAAM,UAAU,oCAAoC,CAAC,MAAkB,EAAE,YAAwB;IAC/F,MAAM,SAAS,GAAG,YAAY,CAAC,OAAO,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,mCAAmC,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC;IAC5G,OAAO,QAAQ,CAAC,SAAS,EAAE,CAAC,QAAQ,EAAE,EAAE,CAAC,GAAG,QAAQ,CAAC,IAAI,IAAI,QAAQ,CAAC,SAAS,IAAI,QAAQ,CAAC,MAAM,IAAI,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAC;AAC1H,CAAC;AAED,SAAS,+BAA+B,CAAC,SAAmB,EAAE,QAAkB;IAC9E,IAAI,SAAS,CAAC,KAAK,KAAK,QAAQ,CAAC,KAAK,IAAI,SAAS,CAAC,MAAM,KAAK,UAAU,IAAI,CAAC,SAAS,CAAC,SAAS,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,CAAC;QACvH,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IAAI,+BAA+B,CAAC,SAAS,CAAC,EAAE,CAAC;QAC/C,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IAAI,2BAA2B,CAAC,QAAQ,EAAE,SAAS,CAAC,EAAE,CAAC;QACrD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,uBAAuB,CAAC,SAAS,CAAC,CAAC;AAC5C,CAAC;AAED,SAAS,uBAAuB,CAAC,KAAe;IAC9C,OAAO,KAAK,CAAC,MAAM,KAAK,SAAS,IAAI,KAAK,CAAC,MAAM,KAAK,SAAS,CAAC;AAClE,CAAC;AAED,SAAS,2BAA2B,CAAC,QAAkB,EAAE,SAAmB;IAC1E,OAAO,OAAO,CACZ,QAAQ,CAAC,SAAS;QAClB,QAAQ,CAAC,MAAM;QACf,QAAQ,CAAC,SAAS,KAAK,SAAS,CAAC,SAAS;QAC1C,QAAQ,CAAC,MAAM,KAAK,SAAS,CAAC,MAAM;QACpC,QAAQ,CAAC,MAAM,KAAK,WAAW;QAC/B,QAAQ,CAAC,UAAU,CAAC,MAAM,KAAK,MAAM;QACrC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,SAAS,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,SAAS,CAAC;QAChE,CAAC,SAAS,CAAC,MAAM,KAAK,QAAQ,IAAI,SAAS,CAAC,MAAM,KAAK,SAAS,IAAI,SAAS,CAAC,UAAU,CAAC,MAAM,KAAK,MAAM,IAAI,SAAS,CAAC,UAAU,CAAC,MAAM,KAAK,SAAS,CAAC,CACzJ,CAAC;AACJ,CAAC;AAED,SAAS,+BAA+B,CAAC,KAAe;IACtD,IAAI,KAAK,CAAC,KAAK,KAAK,sBAAsB,EAAE,CAAC;QAC3C,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,WAAW,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;IACrD,OAAO,WAAW,CAAC,MAAM,GAAG,CAAC,IAAI,WAAW,CAAC,KAAK,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC,OAAO,KAAK,YAAY,IAAI,CAAC,UAAU,CAAC,QAAQ,IAAI,CAAC,UAAU,CAAC,oBAAoB,CAAC,CAAC;AACtK,CAAC;AAED,SAAS,QAAQ,CAAI,KAAU,EAAE,KAA0B;IACzD,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,OAAO,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE;QAC3B,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;QACxB,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;YAClB,OAAO,KAAK,CAAC;QACf,CAAC;QACD,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACd,OAAO,IAAI,CAAC;IACd,CAAC,CAAC,CAAC;AACL,CAAC"}

package/packages/core/dist/workflow-state/dependencies.d.ts

@@ -1,5 +1,9 @@
+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';
@@ -18,8 +22,8 @@ export interface WorkflowDependencyBlocker {
     dependencyStatus: SddTask['status'] | 'missing';
     reason: string;
 }
-export declare function resolveTaskDependencyReadiness(model: TaskDependencyModel, taskId: string): TaskDependencyReadiness;
-export declare function dependencyBlockingReasonsForTask(model: TaskDependencyModel, taskId: string): string[];
-export declare function workflowDependencyBlockers(model: TaskDependencyModel): WorkflowDependencyBlocker[];
-export declare function nextDependencyTaskId(model: TaskDependencyModel, taskId: string): string | null;
+export declare function resolveTaskDependencyReadiness(model: TaskDependencyModel, taskId: string, options?: TaskDependencyReadinessOptions): TaskDependencyReadiness;
+export declare function dependencyBlockingReasonsForTask(model: TaskDependencyModel, taskId: string, options?: TaskDependencyReadinessOptions): string[];
+export declare function workflowDependencyBlockers(model: TaskDependencyModel, options?: TaskDependencyReadinessOptions): WorkflowDependencyBlocker[];
+export declare function nextDependencyTaskId(model: TaskDependencyModel, taskId: string, options?: TaskDependencyReadinessOptions): string | null;
 export {};

package/packages/core/dist/workflow-state/dependencies.js

@@ -1,9 +1,9 @@
-export function resolveTaskDependencyReadiness(model, taskId) {
+export function resolveTaskDependencyReadiness(model, taskId, options = {}) {
     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) => Boolean(reason));
     return {
         taskId: task.id,
@@ -12,16 +12,16 @@ export function resolveTaskDependencyReadiness(model, taskId) {
         blockingReasons
     };
 }
-export function dependencyBlockingReasonsForTask(model, taskId) {
-    return resolveTaskDependencyReadiness(model, taskId).blockingReasons;
+export function dependencyBlockingReasonsForTask(model, taskId, options = {}) {
+    return resolveTaskDependencyReadiness(model, taskId, options).blockingReasons;
 }
-export function workflowDependencyBlockers(model) {
+export function workflowDependencyBlockers(model, options = {}) {
     const blockers = [];
     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,
@@ -34,10 +34,10 @@ export function workflowDependencyBlockers(model) {
     }
     return blockers;
 }
-export function nextDependencyTaskId(model, taskId) {
-    return resolveTaskDependencyReadiness(model, taskId).dependencies.find((dependency) => !dependency.ready)?.taskId ?? null;
+export function nextDependencyTaskId(model, taskId, options = {}) {
+    return resolveTaskDependencyReadiness(model, taskId, options).dependencies.find((dependency) => !dependency.ready)?.taskId ?? null;
 }
-function dependencyReadinessEntry(taskId, dependencyId, dependency) {
+function dependencyReadinessEntry(taskId, dependencyId, dependency, runtime) {
     if (!dependency) {
         return {
             taskId: dependencyId,
@@ -46,7 +46,7 @@ function dependencyReadinessEntry(taskId, dependencyId, dependency) {
             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,
@@ -58,7 +58,21 @@ function dependencyReadinessEntry(taskId, dependencyId, dependency) {
         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, runtime) {
+    if (!runtimeTaskImplemented(runtime)) {
+        return false;
+    }
+    return !dependencyRequiresVerifiedBoundary(task) || runtime?.verificationStatus === 'pass' || runtime?.status === 'implemented_verified';
+}
+function dependencyRequiresVerifiedBoundary(task) {
+    return task.requiresVerifyBeforeNext || task.validationTiming === 'task_end';
+}
+function runtimeTaskImplemented(runtime) {
+    return runtime?.implementationStatus === 'implemented' || runtime?.status === 'implemented_pending_validation' || runtime?.status === 'implemented_verified';
+}
 //# sourceMappingURL=dependencies.js.map

package/packages/core/dist/workflow-state/dependencies.js.map

@@ -1 +1 @@
-{"version":3,"file":"dependencies.js","sourceRoot":"","sources":["../../src/workflow-state/dependencies.ts"],"names":[],"mappings":"AAwBA,MAAM,UAAU,8BAA8B,CAAC,KAA0B,EAAE,MAAc;IACvF,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,EAAE,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC;IAC9E,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,YAAY,EAAE,EAAE,EAAE,eAAe,EAAE,CAAC,QAAQ,MAAM,iBAAiB,CAAC,EAAE,CAAC;IACxG,CAAC;IAED,MAAM,YAAY,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,YAAY,EAAE,EAAE,CAAC,wBAAwB,CAAC,IAAI,CAAC,EAAE,EAAE,YAAY,EAAE,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,EAAE,KAAK,YAAY,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC;IACnL,MAAM,eAAe,GAAG,YAAY,CAAC,GAAG,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC,CAAC,MAAM,EAAoB,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC;IAClI,OAAO;QACL,MAAM,EAAE,IAAI,CAAC,EAAE;QACf,KAAK,EAAE,eAAe,CAAC,MAAM,KAAK,CAAC;QACnC,YAAY;QACZ,eAAe;KAChB,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,gCAAgC,CAAC,KAA0B,EAAE,MAAc;IACzF,OAAO,8BAA8B,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,eAAe,CAAC;AACvE,CAAC;AAED,MAAM,UAAU,0BAA0B,CAAC,KAA0B;IACnE,MAAM,QAAQ,GAAgC,EAAE,CAAC;IACjD,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;QAC/B,IAAI,IAAI,CAAC,MAAM,KAAK,WAAW,IAAI,IAAI,CAAC,MAAM,KAAK,UAAU,EAAE,CAAC;YAC9D,SAAS;QACX,CAAC;QACD,KAAK,MAAM,UAAU,IAAI,8BAA8B,CAAC,KAAK,EAAE,IAAI,CAAC,EAAE,CAAC,CAAC,YAAY,EAAE,CAAC;YACrF,IAAI,CAAC,UAAU,CAAC,KAAK,IAAI,UAAU,CAAC,MAAM,EAAE,CAAC;gBAC3C,QAAQ,CAAC,IAAI,CAAC;oBACZ,MAAM,EAAE,IAAI,CAAC,EAAE;oBACf,YAAY,EAAE,UAAU,CAAC,MAAM;oBAC/B,gBAAgB,EAAE,UAAU,CAAC,MAAM;oBACnC,MAAM,EAAE,UAAU,CAAC,MAAM;iBAC1B,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,MAAM,UAAU,oBAAoB,CAAC,KAA0B,EAAE,MAAc;IAC7E,OAAO,8BAA8B,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,MAAM,IAAI,IAAI,CAAC;AAC5H,CAAC;AAED,SAAS,wBAAwB,CAAC,MAAc,EAAE,YAAoB,EAAE,UAA0B;IAChG,IAAI,CAAC,UAAU,EAAE,CAAC;QAChB,OAAO;YACL,MAAM,EAAE,YAAY;YACpB,MAAM,EAAE,SAAS;YACjB,KAAK,EAAE,KAAK;YACZ,MAAM,EAAE,QAAQ,MAAM,eAAe,YAAY,SAAS,YAAY,sEAAsE,MAAM,GAAG;SACtJ,CAAC;IACJ,CAAC;IACD,IAAI,UAAU,CAAC,MAAM,KAAK,WAAW,EAAE,CAAC;QACtC,OAAO;YACL,MAAM,EAAE,UAAU,CAAC,EAAE;YACrB,MAAM,EAAE,UAAU,CAAC,MAAM;YACzB,KAAK,EAAE,IAAI;YACX,MAAM,EAAE,IAAI;SACb,CAAC;IACJ,CAAC;IACD,OAAO;QACL,MAAM,EAAE,UAAU,CAAC,EAAE;QACrB,MAAM,EAAE,UAAU,CAAC,MAAM;QACzB,KAAK,EAAE,KAAK;QACZ,MAAM,EAAE,QAAQ,MAAM,eAAe,UAAU,CAAC,EAAE,SAAS,UAAU,CAAC,EAAE,cAAc,UAAU,CAAC,MAAM,4BAA4B,UAAU,CAAC,EAAE,sBAAsB,MAAM,GAAG;KAChL,CAAC;AACJ,CAAC"}
+{"version":3,"file":"dependencies.js","sourceRoot":"","sources":["../../src/workflow-state/dependencies.ts"],"names":[],"mappings":"AA6BA,MAAM,UAAU,8BAA8B,CAAC,KAA0B,EAAE,MAAc,EAAE,UAA0C,EAAE;IACrI,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,EAAE,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC;IAC9E,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,YAAY,EAAE,EAAE,EAAE,eAAe,EAAE,CAAC,QAAQ,MAAM,iBAAiB,CAAC,EAAE,CAAC;IACxG,CAAC;IAED,MAAM,YAAY,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,YAAY,EAAE,EAAE,CAAC,wBAAwB,CAAC,IAAI,CAAC,EAAE,EAAE,YAAY,EAAE,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,EAAE,KAAK,YAAY,CAAC,IAAI,IAAI,EAAE,OAAO,CAAC,aAAa,EAAE,GAAG,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IAC7N,MAAM,eAAe,GAAG,YAAY,CAAC,GAAG,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC,CAAC,MAAM,EAAoB,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC;IAClI,OAAO;QACL,MAAM,EAAE,IAAI,CAAC,EAAE;QACf,KAAK,EAAE,eAAe,CAAC,MAAM,KAAK,CAAC;QACnC,YAAY;QACZ,eAAe;KAChB,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,gCAAgC,CAAC,KAA0B,EAAE,MAAc,EAAE,UAA0C,EAAE;IACvI,OAAO,8BAA8B,CAAC,KAAK,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC,eAAe,CAAC;AAChF,CAAC;AAED,MAAM,UAAU,0BAA0B,CAAC,KAA0B,EAAE,UAA0C,EAAE;IACjH,MAAM,QAAQ,GAAgC,EAAE,CAAC;IACjD,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;QAC/B,IAAI,IAAI,CAAC,MAAM,KAAK,WAAW,IAAI,IAAI,CAAC,MAAM,KAAK,UAAU,EAAE,CAAC;YAC9D,SAAS;QACX,CAAC;QACD,KAAK,MAAM,UAAU,IAAI,8BAA8B,CAAC,KAAK,EAAE,IAAI,CAAC,EAAE,EAAE,OAAO,CAAC,CAAC,YAAY,EAAE,CAAC;YAC9F,IAAI,CAAC,UAAU,CAAC,KAAK,IAAI,UAAU,CAAC,MAAM,EAAE,CAAC;gBAC3C,QAAQ,CAAC,IAAI,CAAC;oBACZ,MAAM,EAAE,IAAI,CAAC,EAAE;oBACf,YAAY,EAAE,UAAU,CAAC,MAAM;oBAC/B,gBAAgB,EAAE,UAAU,CAAC,MAAM;oBACnC,MAAM,EAAE,UAAU,CAAC,MAAM;iBAC1B,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,MAAM,UAAU,oBAAoB,CAAC,KAA0B,EAAE,MAAc,EAAE,UAA0C,EAAE;IAC3H,OAAO,8BAA8B,CAAC,KAAK,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,MAAM,IAAI,IAAI,CAAC;AACrI,CAAC;AAED,SAAS,wBAAwB,CAAC,MAAc,EAAE,YAAoB,EAAE,UAA0B,EAAE,OAAwC;IAC1I,IAAI,CAAC,UAAU,EAAE,CAAC;QAChB,OAAO;YACL,MAAM,EAAE,YAAY;YACpB,MAAM,EAAE,SAAS;YACjB,KAAK,EAAE,KAAK;YACZ,MAAM,EAAE,QAAQ,MAAM,eAAe,YAAY,SAAS,YAAY,sEAAsE,MAAM,GAAG;SACtJ,CAAC;IACJ,CAAC;IACD,IAAI,UAAU,CAAC,MAAM,KAAK,WAAW,IAAI,gDAAgD,CAAC,UAAU,EAAE,OAAO,CAAC,EAAE,CAAC;QAC/G,OAAO;YACL,MAAM,EAAE,UAAU,CAAC,EAAE;YACrB,MAAM,EAAE,UAAU,CAAC,MAAM;YACzB,KAAK,EAAE,IAAI;YACX,MAAM,EAAE,IAAI;SACb,CAAC;IACJ,CAAC;IACD,OAAO;QACL,MAAM,EAAE,UAAU,CAAC,EAAE;QACrB,MAAM,EAAE,UAAU,CAAC,MAAM;QACzB,KAAK,EAAE,KAAK;QACZ,MAAM,EAAE,kCAAkC,CAAC,UAAU,CAAC;YACpD,CAAC,CAAC,QAAQ,MAAM,eAAe,UAAU,CAAC,EAAE,SAAS,UAAU,CAAC,EAAE,4DAA4D,UAAU,CAAC,EAAE,sBAAsB,MAAM,GAAG;YAC1K,CAAC,CAAC,QAAQ,MAAM,eAAe,UAAU,CAAC,EAAE,SAAS,UAAU,CAAC,EAAE,wCAAwC,UAAU,CAAC,EAAE,sBAAsB,MAAM,GAAG;KACzJ,CAAC;AACJ,CAAC;AAED,SAAS,gDAAgD,CAAC,IAAa,EAAE,OAAwC;IAC/G,IAAI,CAAC,sBAAsB,CAAC,OAAO,CAAC,EAAE,CAAC;QACrC,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,CAAC,kCAAkC,CAAC,IAAI,CAAC,IAAI,OAAO,EAAE,kBAAkB,KAAK,MAAM,IAAI,OAAO,EAAE,MAAM,KAAK,sBAAsB,CAAC;AAC3I,CAAC;AAED,SAAS,kCAAkC,CAAC,IAAa;IACvD,OAAO,IAAI,CAAC,wBAAwB,IAAI,IAAI,CAAC,gBAAgB,KAAK,UAAU,CAAC;AAC/E,CAAC;AAED,SAAS,sBAAsB,CAAC,OAAwC;IACtE,OAAO,OAAO,EAAE,oBAAoB,KAAK,aAAa,IAAI,OAAO,EAAE,MAAM,KAAK,gCAAgC,IAAI,OAAO,EAAE,MAAM,KAAK,sBAAsB,CAAC;AAC/J,CAAC"}

package/packages/core/dist/workflow-state/latest-eligible-run.d.ts

@@ -0,0 +1,37 @@
+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'];
+    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 declare function selectLatestEligibleRun(input: {
+    states: RunState[];
+    model: SddTaskModel;
+    partition: string;
+    taskId: string;
+    currentGitBranch?: string | null;
+}): LatestEligibleRunSelection;
+export declare function selectLatestEligibleRunsByTask(input: {
+    states: RunState[];
+    model: SddTaskModel;
+    partition: string;
+    currentGitBranch?: string | null;
+}): LatestEligibleRunSelection[];
+export declare function classifyDocumentCompatibility(state: RunState, model: SddTaskModel): DocumentCompatibilityClass;