sdd-agent-platform 0.4.0 → 0.4.1

package/node_modules/@sdd-agent-platform/core/dist/workflow-gate/hard-checks.js

@@ -0,0 +1,130 @@
+export function evaluateWorkflowGateHardChecks(packet) {
+    return [
+        ...runtimeHealthChecks(packet),
+        ...documentChecks(packet),
+        ...latestEligibleChecks(packet),
+        ...dependencyChecks(packet),
+        ...affectedFileChecks(packet),
+        ...durableGapChecks(packet),
+        ...artifactChecks(packet),
+        ...syncBackChecks(packet),
+        ...authorityChecks(packet)
+    ];
+}
+function runtimeHealthChecks(packet) {
+    if (packet.runtimeHealth.status === 'ok') {
+        return [];
+    }
+    return [blocked('schema_health_unavailable', packet.partition, `Runtime store health is unavailable: ${packet.runtimeHealth.issues.join('; ') || 'unknown issue'}.`, 'Repair runtime.sqlite schema or rerun after runtime storage is available.', packet.runtimeHealth.issues)];
+}
+function documentChecks(packet) {
+    const checks = [];
+    const docs = packet.documents;
+    const missing = [
+        ['spec.md', docs.specExists],
+        ['plan.md', docs.planExists],
+        ['tasks.md', docs.tasksExists],
+        ['verify.md', docs.verifyExists]
+    ].filter(([, exists]) => !exists).map(([name]) => String(name));
+    if (missing.length > 0) {
+        checks.push(blocked('missing_documents', packet.partition, `Missing workflow documents: ${missing.join(', ')}.`, 'Run the missing SDD document stages before gate evaluation.', missing));
+    }
+    const stale = [
+        ['plan.md', docs.planStale],
+        ['tasks.md', docs.tasksStale],
+        ['verify.md', docs.verifyStale]
+    ].filter(([, value]) => value === true).map(([name]) => String(name));
+    if (stale.length > 0) {
+        checks.push(blocked('stale_documents', packet.partition, `Stale workflow documents: ${stale.join(', ')}.`, 'Refresh the stale stage contract before continuing.', stale));
+    }
+    if (docs.verifyExists && !docs.verifyBasedOnTasksContractHash) {
+        checks.push(blocked('contract_hash_mismatch', packet.partition, 'verify.md is missing based_on_tasks_contract_hash.', 'Regenerate verify.md from the frozen current tasks contract.', ['verify.md', 'tasks.md']));
+    }
+    else if (docs.verifyBasedOnTasksContractHash && docs.tasksContractHash && docs.verifyBasedOnTasksContractHash !== docs.tasksContractHash) {
+        checks.push(blocked('contract_hash_mismatch', packet.partition, 'verify.md is bound to an older tasks contract hash.', 'Regenerate verify.md from the frozen current tasks contract.', ['verify.md', 'tasks.md']));
+    }
+    return checks;
+}
+function latestEligibleChecks(packet) {
+    const scopedSelections = packet.latestEligibleSelections ?? [];
+    const selections = scopedSelections.length > 0 ? scopedSelections : (packet.latestEligibleSelection ? [packet.latestEligibleSelection] : []);
+    if (selections.length === 0) {
+        return [warning('latest_eligible_missing', packet.partition, 'No latest eligible selection is available.', 'Create a run or inspect task evidence before applying gate decisions.', [])];
+    }
+    return selections.flatMap((selection) => {
+        if (!selection.selected && selection.candidates.length > 0) {
+            return [blocked('run_rejected', packet.partition, `No default-eligible run for ${selection.taskId}; rejected candidates=${selection.rejected.length}.`, 'Inspect rejected latest-eligible candidates and resolve their reasons.', selection.rejected.map((candidate) => candidate.runId))];
+        }
+        if (!selection.selected) {
+            return [warning('latest_eligible_missing', packet.partition, `No run candidates found for ${selection.taskId}.`, 'Run implementation or validation before expecting gate PASS.', [])];
+        }
+        const selected = selection.selected;
+        if (selected.runStatus === 'blocked' || selected.runStatus === 'failed' || selected.runStatus === 'archived') {
+            return [blocked('blocked_failed_or_archived_run', packet.partition, `Selected run ${selected.runId} is ${selected.runStatus}.`, 'Use a non-blocked completed run before continuing.', [selected.runId])];
+        }
+        if (!selected.eligibleForDefaultApply || selected.compatibility === 'strict_stale' || selected.compatibility === 'incompatible') {
+            return [blocked('run_rejected', packet.partition, `Selected run ${selected.runId} is not eligible: ${selected.reasons.join('; ') || selected.compatibility}.`, 'Resolve run eligibility before continuing.', [selected.runId])];
+        }
+        if (selected.validationStatus === 'fail' || selected.validationStatus === 'blocked') {
+            return [blocked('validation_failure', packet.partition, `Selected run validation is ${selected.validationStatus}.`, 'Rerun validation and collect passing evidence.', [selected.runId])];
+        }
+        return [];
+    });
+}
+function dependencyChecks(packet) {
+    return packet.dependencyBlockers.map((blocker) => blocked('dependency_blocker', packet.partition, blocker.reason, `Inspect dependency ${blocker.dependencyId} before continuing.`, [blocker.taskId, blocker.dependencyId]));
+}
+function affectedFileChecks(packet) {
+    return packet.affectedFileConflicts.map((conflict) => blocked('affected_file_conflict', packet.partition, `Affected file ${conflict.file} is active in run ${conflict.runId}.`, 'Resolve active run conflict before applying changes.', [conflict.file, conflict.runId]));
+}
+function durableGapChecks(packet) {
+    return packet.durableGaps
+        .filter((gap) => gap.status === 'open' || gap.status === 'acknowledged')
+        .filter((gap) => gap.severity === 'blocking')
+        .map((gap) => blocked('durable_gap_blocking', packet.partition, gap.message, gap.recommendation ?? 'Resolve the blocking durable gap before continuing.', [gap.gapId, ...gap.evidenceRefs]));
+}
+function artifactChecks(packet) {
+    const available = new Set([...packet.canonicalEvidenceRefs, ...packet.fanInEvidenceSets.flatMap((set) => [...set.canonicalEvidenceRefs, ...set.evidenceRefs])]);
+    const checks = packet.requiredArtifactRefs
+        .filter((ref) => !available.has(ref))
+        .map((ref) => blocked('missing_required_artifact', packet.partition, `Required artifact ${ref} is missing from gate evidence.`, 'Collect required artifacts before gate PASS.', [ref]));
+    for (const payload of packet.artifactPayloadHealth) {
+        if (payload.status === 'missing') {
+            checks.push(blocked('missing_payload', packet.partition, `Artifact payload ${payload.logicalRef} is missing at ${payload.physicalPayloadPath}.`, 'Restore the immutable payload or regenerate current evidence before gate PASS.', [payload.payloadId, payload.logicalRef, payload.physicalPayloadPath]));
+        }
+        else if (payload.status === 'digest_drift') {
+            checks.push(blocked('digest_drift', packet.partition, `Artifact payload ${payload.logicalRef} digest drifted: expected ${payload.expectedDigest} actual ${payload.actualDigest}.`, 'Treat the payload as tampered or stale; regenerate accepted evidence before gate PASS.', [payload.payloadId, payload.logicalRef, payload.physicalPayloadPath]));
+        }
+    }
+    return checks;
+}
+function syncBackChecks(packet) {
+    const decisions = packet.syncBackDecisions.length > 0 ? packet.syncBackDecisions : (packet.syncBackDecision ? [packet.syncBackDecision] : []);
+    return decisions
+        .filter((decision) => decision.status === 'blocked' || decision.status === 'divergent')
+        .map((decision) => blocked('sync_back_divergence', packet.partition, `Sync-back decision ${decision.decisionId} is ${decision.status}.`, 'Inspect sync-back decision divergence before continuing.', [decision.decisionId]));
+}
+function authorityChecks(packet) {
+    const checks = [];
+    for (const fanIn of packet.fanInEvidenceSets) {
+        if (fanIn.gateInputOnly !== true) {
+            checks.push(blocked('authority_violation', packet.partition, `Fan-in evidence set ${fanIn.fanInId} is not gate-input-only.`, 'Regenerate fan-in evidence as non-final gate input.', [fanIn.fanInId]));
+        }
+    }
+    for (const advisor of packet.advisorAssessments) {
+        if (advisor.advisoryOnly !== true) {
+            checks.push(blocked('authority_violation', packet.partition, `Advisor assessment ${advisor.assessmentId} is not advisory-only.`, 'Discard or regenerate advisor assessment as advisory-only.', [advisor.assessmentId]));
+        }
+    }
+    return checks;
+}
+function blocked(code, scope, message, recovery, refs) {
+    return { code, severity: 'blocked', scope, message, recovery, refs: sortedUnique(refs) };
+}
+function warning(code, scope, message, recovery, refs) {
+    return { code, severity: 'warning', scope, message, recovery, refs: sortedUnique(refs) };
+}
+function sortedUnique(values) {
+    return [...new Set(values.filter(Boolean))].sort();
+}
+//# sourceMappingURL=hard-checks.js.map

package/node_modules/@sdd-agent-platform/core/dist/workflow-gate/hard-checks.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"hard-checks.js","sourceRoot":"","sources":["../../src/workflow-gate/hard-checks.ts"],"names":[],"mappings":"AAIA,MAAM,UAAU,8BAA8B,CAAC,MAAkC;IAC/E,OAAO;QACL,GAAG,mBAAmB,CAAC,MAAM,CAAC;QAC9B,GAAG,cAAc,CAAC,MAAM,CAAC;QACzB,GAAG,oBAAoB,CAAC,MAAM,CAAC;QAC/B,GAAG,gBAAgB,CAAC,MAAM,CAAC;QAC3B,GAAG,kBAAkB,CAAC,MAAM,CAAC;QAC7B,GAAG,gBAAgB,CAAC,MAAM,CAAC;QAC3B,GAAG,cAAc,CAAC,MAAM,CAAC;QACzB,GAAG,cAAc,CAAC,MAAM,CAAC;QACzB,GAAG,eAAe,CAAC,MAAM,CAAC;KAC3B,CAAC;AACJ,CAAC;AAED,SAAS,mBAAmB,CAAC,MAAkC;IAC7D,IAAI,MAAM,CAAC,aAAa,CAAC,MAAM,KAAK,IAAI,EAAE,CAAC;QACzC,OAAO,EAAE,CAAC;IACZ,CAAC;IACD,OAAO,CAAC,OAAO,CAAC,2BAA2B,EAAE,MAAM,CAAC,SAAS,EAAE,wCAAwC,MAAM,CAAC,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,eAAe,GAAG,EAAE,2EAA2E,EAAE,MAAM,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC,CAAC;AAClR,CAAC;AAED,SAAS,cAAc,CAAC,MAAkC;IACxD,MAAM,MAAM,GAA4B,EAAE,CAAC;IAC3C,MAAM,IAAI,GAAG,MAAM,CAAC,SAAS,CAAC;IAC9B,MAAM,OAAO,GAAG;QACd,CAAC,SAAS,EAAE,IAAI,CAAC,UAAU,CAAC;QAC5B,CAAC,SAAS,EAAE,IAAI,CAAC,UAAU,CAAC;QAC5B,CAAC,UAAU,EAAE,IAAI,CAAC,WAAW,CAAC;QAC9B,CAAC,WAAW,EAAE,IAAI,CAAC,YAAY,CAAC;KACjC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC;IAChE,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACvB,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,mBAAmB,EAAE,MAAM,CAAC,SAAS,EAAE,+BAA+B,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,6DAA6D,EAAE,OAAO,CAAC,CAAC,CAAC;IAC5L,CAAC;IACD,MAAM,KAAK,GAAG;QACZ,CAAC,SAAS,EAAE,IAAI,CAAC,SAAS,CAAC;QAC3B,CAAC,UAAU,EAAE,IAAI,CAAC,UAAU,CAAC;QAC7B,CAAC,WAAW,EAAE,IAAI,CAAC,WAAW,CAAC;KAChC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,KAAK,KAAK,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC;IACtE,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACrB,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,iBAAiB,EAAE,MAAM,CAAC,SAAS,EAAE,6BAA6B,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,qDAAqD,EAAE,KAAK,CAAC,CAAC,CAAC;IAC5K,CAAC;IACD,IAAI,IAAI,CAAC,YAAY,IAAI,CAAC,IAAI,CAAC,8BAA8B,EAAE,CAAC;QAC9D,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,wBAAwB,EAAE,MAAM,CAAC,SAAS,EAAE,oDAAoD,EAAE,8DAA8D,EAAE,CAAC,WAAW,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC;IACpN,CAAC;SAAM,IAAI,IAAI,CAAC,8BAA8B,IAAI,IAAI,CAAC,iBAAiB,IAAI,IAAI,CAAC,8BAA8B,KAAK,IAAI,CAAC,iBAAiB,EAAE,CAAC;QAC3I,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,wBAAwB,EAAE,MAAM,CAAC,SAAS,EAAE,qDAAqD,EAAE,8DAA8D,EAAE,CAAC,WAAW,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC;IACrN,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,oBAAoB,CAAC,MAAkC;IAC9D,MAAM,gBAAgB,GAAG,MAAM,CAAC,wBAAwB,IAAI,EAAE,CAAC;IAC/D,MAAM,UAAU,GAAG,gBAAgB,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,uBAAuB,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,uBAAuB,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IAC7I,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC5B,OAAO,CAAC,OAAO,CAAC,yBAAyB,EAAE,MAAM,CAAC,SAAS,EAAE,4CAA4C,EAAE,uEAAuE,EAAE,EAAE,CAAC,CAAC,CAAC;IAC3L,CAAC;IACD,OAAO,UAAU,CAAC,OAAO,CAAC,CAAC,SAAS,EAAE,EAAE;QACtC,IAAI,CAAC,SAAS,CAAC,QAAQ,IAAI,SAAS,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC3D,OAAO,CAAC,OAAO,CAAC,cAAc,EAAE,MAAM,CAAC,SAAS,EAAE,+BAA+B,SAAS,CAAC,MAAM,yBAAyB,SAAS,CAAC,QAAQ,CAAC,MAAM,GAAG,EAAE,wEAAwE,EAAE,SAAS,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QAC7R,CAAC;QACD,IAAI,CAAC,SAAS,CAAC,QAAQ,EAAE,CAAC;YACxB,OAAO,CAAC,OAAO,CAAC,yBAAyB,EAAE,MAAM,CAAC,SAAS,EAAE,+BAA+B,SAAS,CAAC,MAAM,GAAG,EAAE,8DAA8D,EAAE,EAAE,CAAC,CAAC,CAAC;QACxL,CAAC;QACD,MAAM,QAAQ,GAAG,SAAS,CAAC,QAAQ,CAAC;QACpC,IAAI,QAAQ,CAAC,SAAS,KAAK,SAAS,IAAI,QAAQ,CAAC,SAAS,KAAK,QAAQ,IAAI,QAAQ,CAAC,SAAS,KAAK,UAAU,EAAE,CAAC;YAC7G,OAAO,CAAC,OAAO,CAAC,gCAAgC,EAAE,MAAM,CAAC,SAAS,EAAE,gBAAgB,QAAQ,CAAC,KAAK,OAAO,QAAQ,CAAC,SAAS,GAAG,EAAE,oDAAoD,EAAE,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QAC3M,CAAC;QACD,IAAI,CAAC,QAAQ,CAAC,uBAAuB,IAAI,QAAQ,CAAC,aAAa,KAAK,cAAc,IAAI,QAAQ,CAAC,aAAa,KAAK,cAAc,EAAE,CAAC;YAChI,OAAO,CAAC,OAAO,CAAC,cAAc,EAAE,MAAM,CAAC,SAAS,EAAE,gBAAgB,QAAQ,CAAC,KAAK,qBAAqB,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,QAAQ,CAAC,aAAa,GAAG,EAAE,4CAA4C,EAAE,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QAClO,CAAC;QACD,IAAI,QAAQ,CAAC,gBAAgB,KAAK,MAAM,IAAI,QAAQ,CAAC,gBAAgB,KAAK,SAAS,EAAE,CAAC;YACpF,OAAO,CAAC,OAAO,CAAC,oBAAoB,EAAE,MAAM,CAAC,SAAS,EAAE,8BAA8B,QAAQ,CAAC,gBAAgB,GAAG,EAAE,gDAAgD,EAAE,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QAC3L,CAAC;QACD,OAAO,EAAE,CAAC;IACZ,CAAC,CAAC,CAAC;AACL,CAAC;AAED,SAAS,gBAAgB,CAAC,MAAkC;IAC1D,OAAO,MAAM,CAAC,kBAAkB,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,oBAAoB,EAAE,MAAM,CAAC,SAAS,EAAE,OAAO,CAAC,MAAM,EAAE,sBAAsB,OAAO,CAAC,YAAY,qBAAqB,EAAE,CAAC,OAAO,CAAC,MAAM,EAAE,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;AAC9N,CAAC;AAED,SAAS,kBAAkB,CAAC,MAAkC;IAC5D,OAAO,MAAM,CAAC,qBAAqB,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,OAAO,CAAC,wBAAwB,EAAE,MAAM,CAAC,SAAS,EAAE,iBAAiB,QAAQ,CAAC,IAAI,qBAAqB,QAAQ,CAAC,KAAK,GAAG,EAAE,sDAAsD,EAAE,CAAC,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;AAC5Q,CAAC;AAED,SAAS,gBAAgB,CAAC,MAAkC;IAC1D,OAAO,MAAM,CAAC,WAAW;SACtB,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,MAAM,KAAK,MAAM,IAAI,GAAG,CAAC,MAAM,KAAK,cAAc,CAAC;SACvE,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,QAAQ,KAAK,UAAU,CAAC;SAC5C,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,OAAO,CAAC,sBAAsB,EAAE,MAAM,CAAC,SAAS,EAAE,GAAG,CAAC,OAAO,EAAE,GAAG,CAAC,cAAc,IAAI,qDAAqD,EAAE,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,GAAG,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;AACjM,CAAC;AAED,SAAS,cAAc,CAAC,MAAkC;IACxD,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,MAAM,CAAC,qBAAqB,EAAE,GAAG,MAAM,CAAC,iBAAiB,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,GAAG,GAAG,CAAC,qBAAqB,EAAE,GAAG,GAAG,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC;IAChK,MAAM,MAAM,GAAG,MAAM,CAAC,oBAAoB;SACvC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;SACpC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,OAAO,CAAC,2BAA2B,EAAE,MAAM,CAAC,SAAS,EAAE,qBAAqB,GAAG,iCAAiC,EAAE,8CAA8C,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IAC1L,KAAK,MAAM,OAAO,IAAI,MAAM,CAAC,qBAAqB,EAAE,CAAC;QACnD,IAAI,OAAO,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;YACjC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,iBAAiB,EAAE,MAAM,CAAC,SAAS,EAAE,oBAAoB,OAAO,CAAC,UAAU,kBAAkB,OAAO,CAAC,mBAAmB,GAAG,EAAE,gFAAgF,EAAE,CAAC,OAAO,CAAC,SAAS,EAAE,OAAO,CAAC,UAAU,EAAE,OAAO,CAAC,mBAAmB,CAAC,CAAC,CAAC,CAAC;QAC5S,CAAC;aAAM,IAAI,OAAO,CAAC,MAAM,KAAK,cAAc,EAAE,CAAC;YAC7C,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,cAAc,EAAE,MAAM,CAAC,SAAS,EAAE,oBAAoB,OAAO,CAAC,UAAU,6BAA6B,OAAO,CAAC,cAAc,WAAW,OAAO,CAAC,YAAY,GAAG,EAAE,wFAAwF,EAAE,CAAC,OAAO,CAAC,SAAS,EAAE,OAAO,CAAC,UAAU,EAAE,OAAO,CAAC,mBAAmB,CAAC,CAAC,CAAC,CAAC;QACtV,CAAC;IACH,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,cAAc,CAAC,MAAkC;IACxD,MAAM,SAAS,GAAG,MAAM,CAAC,iBAAiB,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,gBAAgB,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,gBAAgB,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IAC9I,OAAO,SAAS;SACb,MAAM,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,MAAM,KAAK,SAAS,IAAI,QAAQ,CAAC,MAAM,KAAK,WAAW,CAAC;SACtF,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,OAAO,CAAC,sBAAsB,EAAE,MAAM,CAAC,SAAS,EAAE,sBAAsB,QAAQ,CAAC,UAAU,OAAO,QAAQ,CAAC,MAAM,GAAG,EAAE,0DAA0D,EAAE,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;AACjO,CAAC;AAED,SAAS,eAAe,CAAC,MAAkC;IACzD,MAAM,MAAM,GAA4B,EAAE,CAAC;IAC3C,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,iBAAiB,EAAE,CAAC;QAC7C,IAAI,KAAK,CAAC,aAAa,KAAK,IAAI,EAAE,CAAC;YACjC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,qBAAqB,EAAE,MAAM,CAAC,SAAS,EAAE,uBAAuB,KAAK,CAAC,OAAO,0BAA0B,EAAE,qDAAqD,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;QACxM,CAAC;IACH,CAAC;IACD,KAAK,MAAM,OAAO,IAAI,MAAM,CAAC,kBAAkB,EAAE,CAAC;QAChD,IAAI,OAAO,CAAC,YAAY,KAAK,IAAI,EAAE,CAAC;YAClC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,qBAAqB,EAAE,MAAM,CAAC,SAAS,EAAE,sBAAsB,OAAO,CAAC,YAAY,wBAAwB,EAAE,4DAA4D,EAAE,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC1N,CAAC;IACH,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,OAAO,CAAC,IAAmC,EAAE,KAAa,EAAE,OAAe,EAAE,QAAgB,EAAE,IAAc;IACpH,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,KAAK,EAAE,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC;AAC3F,CAAC;AAED,SAAS,OAAO,CAAC,IAAmC,EAAE,KAAa,EAAE,OAAe,EAAE,QAAgB,EAAE,IAAc;IACpH,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,KAAK,EAAE,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC;AAC3F,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"}

package/node_modules/@sdd-agent-platform/core/dist/workflow-gate/policy.d.ts

@@ -0,0 +1,4 @@
+import type { WorkflowGateAdvisorSummary, WorkflowGateDecision, WorkflowGateEvidencePacket } from './types.js';
+export declare function synthesizeWorkflowGateDecision(packet: WorkflowGateEvidencePacket): WorkflowGateDecision;
+export declare function summarizeAdvisors(packet: WorkflowGateEvidencePacket): WorkflowGateAdvisorSummary;
+export declare function inputHash(packet: WorkflowGateEvidencePacket): string;

package/node_modules/@sdd-agent-platform/core/dist/workflow-gate/policy.js

@@ -0,0 +1,146 @@
+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([...packet.canonicalEvidenceRefs, ...packet.fanInEvidenceSets.flatMap((set) => [...set.evidenceRefs, ...set.canonicalEvidenceRefs])]),
+        payload: {
+            contract: WORKFLOW_GATE_RUNTIME_CONTRACT_VERSION,
+            packetId: packet.packetId,
+            workflowScope: packet.workflowScope
+        }
+    };
+}
+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,
+        syncBackDecision: packet.syncBackDecision,
+        syncBackDecisions: packet.syncBackDecisions,
+        fanInEvidenceSets: packet.fanInEvidenceSets,
+        advisorAssessments: packet.advisorAssessments,
+        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', 'sync-back-apply', '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', 'sync-back-apply', '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 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/node_modules/@sdd-agent-platform/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,CAAC,GAAG,MAAM,CAAC,qBAAqB,EAAE,GAAG,MAAM,CAAC,iBAAiB,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,GAAG,GAAG,CAAC,YAAY,EAAE,GAAG,GAAG,CAAC,qBAAqB,CAAC,CAAC,CAAC,CAAC;QAChK,OAAO,EAAE;YACP,QAAQ,EAAE,sCAAsC;YAChD,QAAQ,EAAE,MAAM,CAAC,QAAQ;YACzB,aAAa,EAAE,MAAM,CAAC,aAAa;SACpC;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,gBAAgB,EAAE,MAAM,CAAC,gBAAgB;QACzC,iBAAiB,EAAE,MAAM,CAAC,iBAAiB;QAC3C,iBAAiB,EAAE,MAAM,CAAC,iBAAiB;QAC3C,kBAAkB,EAAE,MAAM,CAAC,kBAAkB;QAC7C,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,iBAAiB,EAAE,oBAAoB,EAAE,YAAY,CAAC,CAAC;IACzE,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,iBAAiB,EAAE,oBAAoB,EAAE,YAAY,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,YAAY,KAAK,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,yBAAyB,CAAC,CAAC;AACjK,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,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/node_modules/@sdd-agent-platform/core/dist/workflow-gate/types.d.ts

@@ -0,0 +1,89 @@
+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/dist/workflow-gate/types.js

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

package/node_modules/@sdd-agent-platform/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/node_modules/@sdd-agent-platform/core/dist/workflow-state/affected-file-conflicts.d.ts

@@ -10,3 +10,4 @@ export interface WorkflowAffectedFileConflict {
     updatedAt: string;
 }
 export declare function affectedFileConflictsForSelectedRun(states: RunState[], selected: RunState): WorkflowAffectedFileConflict[];
+export declare function affectedFileConflictsForSelectedRuns(states: RunState[], selectedRuns: RunState[]): WorkflowAffectedFileConflict[];

package/node_modules/@sdd-agent-platform/core/dist/workflow-state/affected-file-conflicts.js

@@ -25,6 +25,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 +42,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 &&
@@ -57,4 +61,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/node_modules/@sdd-agent-platform/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":"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,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,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;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/node_modules/@sdd-agent-platform/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/node_modules/@sdd-agent-platform/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/node_modules/@sdd-agent-platform/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/node_modules/@sdd-agent-platform/core/dist/workflow-state/latest-eligible-run.d.ts

@@ -0,0 +1,38 @@
+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 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;