sdd-agent-platform 0.3.0 → 0.4.1

package/packages/core/dist/workflow-gate/evidence-packet.js

@@ -0,0 +1,182 @@
+import { createHash } from 'node:crypto';
+import { readFile } from 'node:fs/promises';
+import { WORKFLOW_GATE_RUNTIME_CONTRACT_VERSION } from '../contracts.js';
+import { listRuntimeArtifactPayloads, listRuntimeDurableGaps, listRuntimeFanInEvidenceSets, listRuntimeLlmAdvisorAssessments, listRuntimeSyncBackDecisions, recordRuntimeWorkflowGateDecision, runtimeScopedId } from '../storage/runtime-store.js';
+import { getEvidenceAttachmentPath } from '../runtime-paths.js';
+import { readAllRunStates } from '../run-state/run-state.js';
+import { affectedFileConflictsForSelectedRuns } from '../workflow-state/affected-file-conflicts.js';
+import { resolveWorkflowState } from '../workflow-state/resolve.js';
+import { evaluateWorkflowGateHardChecks } from './hard-checks.js';
+import { synthesizeWorkflowGateDecision } from './policy.js';
+export async function buildWorkflowGateEvidencePacket(projectRoot, input) {
+    const workflow = await resolveWorkflowState(projectRoot, { branch: input.branch, branchSource: input.branch ? 'cli_option' : undefined, taskId: input.taskId ?? null });
+    const taskId = input.taskId ?? workflow.latestRun?.taskId ?? workflow.model.tasks[0]?.id ?? null;
+    const selection = taskId ? workflow.latestEligibleRunsByTask.find((candidate) => candidate.taskId === taskId) ?? null : null;
+    const runId = input.runId ?? selection?.selected?.runId ?? workflow.latestRun?.runId ?? null;
+    const scopedTaskIds = sortedUnique(input.taskIds ?? (taskId ? [taskId] : []));
+    const scopedLatestEligibleSelections = scopedTaskIds.length > 0
+        ? scopedTaskIds.map((scopedTaskId) => workflow.latestEligibleRunsByTask.find((candidate) => candidate.taskId === scopedTaskId) ?? emptyLatestEligibleSelection(workflow.branch, scopedTaskId))
+        : (selection ? [selection] : []);
+    const scopedRunIds = sortedUnique(input.runIds ?? scopedLatestEligibleSelections.flatMap((candidate) => candidate.selected ? [candidate.selected.runId] : []));
+    const workflowScope = {
+        waveRunId: input.waveRunId ?? null,
+        taskIds: scopedTaskIds,
+        runIds: scopedRunIds.length > 0 ? scopedRunIds : sortedUnique(runId ? [runId] : []),
+        evidenceRefs: sortedUnique(input.evidenceRefs ?? [])
+    };
+    const scopedTasks = workflowScope.taskIds.length > 0
+        ? workflow.model.tasks.filter((candidate) => workflowScope.taskIds.includes(candidate.id))
+        : workflow.model.tasks.filter((candidate) => candidate.id === taskId);
+    const runtimeInputs = await loadRuntimeGateInputs(projectRoot, workflow.branch, workflowScope.taskIds, workflowScope.runIds);
+    const scopedAffectedFileConflicts = await loadScopedAffectedFileConflicts(projectRoot, workflow.affectedFileConflicts, workflowScope.runIds);
+    const packetBase = {
+        packetId: runtimeScopedId(WORKFLOW_GATE_RUNTIME_CONTRACT_VERSION, workflow.branch, taskId ?? 'none', runId ?? 'none', input.decisionKind),
+        generatedAt: new Date().toISOString(),
+        decisionKind: input.decisionKind,
+        partition: workflow.branch,
+        taskId,
+        runId,
+        documents: workflow.documents,
+        latestEligibleSelection: selection,
+        latestEligibleSelections: scopedLatestEligibleSelections,
+        workflowScope,
+        runtimeHealth: runtimeInputs.runtimeHealth,
+        durableGaps: runtimeInputs.durableGaps,
+        dependencyBlockers: workflow.dependencyBlockers,
+        affectedFileConflicts: scopedAffectedFileConflicts,
+        syncBackDecision: runtimeInputs.syncBackDecisions[0] ?? null,
+        syncBackDecisions: runtimeInputs.syncBackDecisions,
+        fanInEvidenceSets: runtimeInputs.fanInEvidenceSets,
+        advisorAssessments: runtimeInputs.advisorAssessments,
+        canonicalEvidenceRefs: sortedUnique([...workflowScope.evidenceRefs, ...runtimeInputs.payloads.filter((payload) => payload.status === 'active').map((payload) => payload.logicalRef)]),
+        requiredArtifactRefs: sortedUnique(scopedTasks.flatMap((task) => task.requiredArtifacts)),
+        artifactPayloadHealth: await inspectArtifactPayloadHealth(projectRoot, runtimeInputs.payloads.filter((payload) => payload.status === 'active'))
+    };
+    return {
+        ...packetBase,
+        hardChecks: evaluateWorkflowGateHardChecks(packetBase)
+    };
+}
+function emptyLatestEligibleSelection(partition, taskId) {
+    return {
+        partition,
+        taskId,
+        selected: null,
+        candidates: [],
+        rejected: []
+    };
+}
+async function loadScopedAffectedFileConflicts(projectRoot, fallback, runIds) {
+    if (runIds.length === 0) {
+        return fallback;
+    }
+    const states = await readAllRunStates(projectRoot);
+    const selectedRuns = states.filter((state) => runIds.includes(state.runId));
+    return affectedFileConflictsForSelectedRuns(states, selectedRuns);
+}
+async function loadRuntimeGateInputs(projectRoot, partition, taskIds, runIds) {
+    try {
+        const runtimeScopes = scopedRuntimeQueries(taskIds, runIds);
+        const [durableGapResults, syncBackDecisionResults, fanInEvidenceSetResults, advisorAssessmentResults, payloadResults] = await Promise.all([
+            Promise.all(runtimeScopes.map((scope) => listRuntimeDurableGaps(projectRoot, { partition, taskId: scope.taskId, runId: scope.runId, status: 'open_terminal' }))),
+            Promise.all(runIds.map((scopedRunId) => listRuntimeSyncBackDecisions(projectRoot, scopedRunId))),
+            Promise.all(runtimeScopes.map((scope) => listRuntimeFanInEvidenceSets(projectRoot, { partition, taskId: scope.taskId, runId: scope.runId }))),
+            Promise.all(runtimeScopes.map((scope) => listRuntimeLlmAdvisorAssessments(projectRoot, { partition, taskId: scope.taskId, runId: scope.runId }))),
+            Promise.all(runIds.map((scopedRunId) => listRuntimeArtifactPayloads(projectRoot, { runId: scopedRunId })))
+        ]);
+        return {
+            runtimeHealth: { status: 'ok', issues: [] },
+            durableGaps: uniqueBy(durableGapResults.flat(), (gap) => gap.gapId),
+            syncBackDecisions: uniqueBy(syncBackDecisionResults.flat(), (decision) => decision.decisionId),
+            fanInEvidenceSets: uniqueBy(fanInEvidenceSetResults.flat(), (evidenceSet) => evidenceSet.fanInId),
+            advisorAssessments: uniqueBy(advisorAssessmentResults.flat(), (assessment) => assessment.assessmentId),
+            payloads: uniqueBy(payloadResults.flat(), (payload) => payload.payloadId)
+        };
+    }
+    catch (error) {
+        return {
+            runtimeHealth: { status: 'unavailable', issues: [messageFromError(error)] },
+            durableGaps: [],
+            syncBackDecisions: [],
+            fanInEvidenceSets: [],
+            advisorAssessments: [],
+            payloads: []
+        };
+    }
+}
+function scopedRuntimeQueries(taskIds, runIds) {
+    if (taskIds.length === 0 && runIds.length === 0) {
+        return [{ taskId: null, runId: null }];
+    }
+    if (taskIds.length === 0) {
+        return runIds.map((scopedRunId) => ({ taskId: null, runId: scopedRunId }));
+    }
+    if (runIds.length === 0) {
+        return taskIds.map((scopedTaskId) => ({ taskId: scopedTaskId, runId: null }));
+    }
+    return uniqueBy([
+        ...taskIds.flatMap((scopedTaskId) => runIds.map((scopedRunId) => ({ taskId: scopedTaskId, runId: scopedRunId }))),
+        ...taskIds.map((scopedTaskId) => ({ taskId: scopedTaskId, runId: null })),
+        ...runIds.map((scopedRunId) => ({ taskId: null, runId: scopedRunId }))
+    ], (scope) => `${scope.taskId ?? 'none'}:${scope.runId ?? 'none'}`);
+}
+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;
+    });
+}
+async function inspectArtifactPayloadHealth(projectRoot, payloads) {
+    return Promise.all(payloads.map(async (payload) => {
+        try {
+            const raw = await readFile(getEvidenceAttachmentPath(projectRoot, payload.branchSlug, payload.physicalPayloadPath), 'utf8');
+            const actualDigest = hashDocumentContent(raw);
+            return {
+                payloadId: payload.payloadId,
+                logicalRef: payload.logicalRef,
+                physicalPayloadPath: payload.physicalPayloadPath,
+                expectedDigest: payload.digest,
+                actualDigest,
+                status: actualDigest === payload.digest ? 'ok' : 'digest_drift'
+            };
+        }
+        catch {
+            return {
+                payloadId: payload.payloadId,
+                logicalRef: payload.logicalRef,
+                physicalPayloadPath: payload.physicalPayloadPath,
+                expectedDigest: payload.digest,
+                actualDigest: null,
+                status: 'missing'
+            };
+        }
+    }));
+}
+function hashDocumentContent(raw) {
+    return createHash('sha256').update(raw.replace(/\r\n/g, '\n'), 'utf8').digest('hex');
+}
+export async function evaluateAndRecordWorkflowGateDecision(projectRoot, input) {
+    const packet = await buildWorkflowGateEvidencePacket(projectRoot, input);
+    const decision = synthesizeWorkflowGateDecision(packet);
+    try {
+        await recordRuntimeWorkflowGateDecision(projectRoot, decision);
+    }
+    catch (error) {
+        if (packet.runtimeHealth.status === 'ok') {
+            throw error;
+        }
+    }
+    return { packet, decision };
+}
+function sortedUnique(values) {
+    return [...new Set(values.filter(Boolean))].sort();
+}
+function messageFromError(error) {
+    return error instanceof Error ? error.message : String(error);
+}
+//# sourceMappingURL=evidence-packet.js.map

package/packages/core/dist/workflow-gate/evidence-packet.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"evidence-packet.js","sourceRoot":"","sources":["../../src/workflow-gate/evidence-packet.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAC5C,OAAO,EAAE,sCAAsC,EAAE,MAAM,iBAAiB,CAAC;AACzE,OAAO,EAAE,2BAA2B,EAAE,sBAAsB,EAAE,4BAA4B,EAAE,gCAAgC,EAAE,4BAA4B,EAAE,iCAAiC,EAAE,eAAe,EAAqC,MAAM,6BAA6B,CAAC;AACvR,OAAO,EAAE,yBAAyB,EAAE,MAAM,qBAAqB,CAAC;AAChE,OAAO,EAAE,gBAAgB,EAAE,MAAM,2BAA2B,CAAC;AAC7D,OAAO,EAAE,oCAAoC,EAAE,MAAM,8CAA8C,CAAC;AACpG,OAAO,EAAE,oBAAoB,EAAE,MAAM,8BAA8B,CAAC;AACpE,OAAO,EAAE,8BAA8B,EAAE,MAAM,kBAAkB,CAAC;AAClE,OAAO,EAAE,8BAA8B,EAAE,MAAM,aAAa,CAAC;AAG7D,MAAM,CAAC,KAAK,UAAU,+BAA+B,CAAC,WAAmB,EAAE,KAAmN;IAC5R,MAAM,QAAQ,GAAG,MAAM,oBAAoB,CAAC,WAAW,EAAE,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,YAAY,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,SAAS,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,IAAI,IAAI,EAAE,CAAC,CAAC;IACxK,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,IAAI,QAAQ,CAAC,SAAS,EAAE,MAAM,IAAI,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,IAAI,IAAI,CAAC;IACjG,MAAM,SAAS,GAAG,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,wBAAwB,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,MAAM,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;IAC7H,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,IAAI,SAAS,EAAE,QAAQ,EAAE,KAAK,IAAI,QAAQ,CAAC,SAAS,EAAE,KAAK,IAAI,IAAI,CAAC;IAC7F,MAAM,aAAa,GAAG,YAAY,CAAC,KAAK,CAAC,OAAO,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAC9E,MAAM,8BAA8B,GAAG,aAAa,CAAC,MAAM,GAAG,CAAC;QAC7D,CAAC,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,YAAY,EAAE,EAAE,CAAC,QAAQ,CAAC,wBAAwB,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,MAAM,KAAK,YAAY,CAAC,IAAI,4BAA4B,CAAC,QAAQ,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC;QAC9L,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IACnC,MAAM,YAAY,GAAG,YAAY,CAAC,KAAK,CAAC,MAAM,IAAI,8BAA8B,CAAC,OAAO,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAC/J,MAAM,aAAa,GAAG;QACpB,SAAS,EAAE,KAAK,CAAC,SAAS,IAAI,IAAI;QAClC,OAAO,EAAE,aAAa;QACtB,MAAM,EAAE,YAAY,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QACnF,YAAY,EAAE,YAAY,CAAC,KAAK,CAAC,YAAY,IAAI,EAAE,CAAC;KACrD,CAAC;IACF,MAAM,WAAW,GAAG,aAAa,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC;QAClD,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,aAAa,CAAC,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;QAC1F,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,EAAE,KAAK,MAAM,CAAC,CAAC;IACxE,MAAM,aAAa,GAAG,MAAM,qBAAqB,CAAC,WAAW,EAAE,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC,OAAO,EAAE,aAAa,CAAC,MAAM,CAAC,CAAC;IAC7H,MAAM,2BAA2B,GAAG,MAAM,+BAA+B,CAAC,WAAW,EAAE,QAAQ,CAAC,qBAAqB,EAAE,aAAa,CAAC,MAAM,CAAC,CAAC;IAC7I,MAAM,UAAU,GAAG;QACjB,QAAQ,EAAE,eAAe,CAAC,sCAAsC,EAAE,QAAQ,CAAC,MAAM,EAAE,MAAM,IAAI,MAAM,EAAE,KAAK,IAAI,MAAM,EAAE,KAAK,CAAC,YAAY,CAAC;QACzI,WAAW,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;QACrC,YAAY,EAAE,KAAK,CAAC,YAAY;QAChC,SAAS,EAAE,QAAQ,CAAC,MAAM;QAC1B,MAAM;QACN,KAAK;QACL,SAAS,EAAE,QAAQ,CAAC,SAAS;QAC7B,uBAAuB,EAAE,SAAS;QAClC,wBAAwB,EAAE,8BAA8B;QACxD,aAAa;QACb,aAAa,EAAE,aAAa,CAAC,aAAa;QAC1C,WAAW,EAAE,aAAa,CAAC,WAAW;QACtC,kBAAkB,EAAE,QAAQ,CAAC,kBAAkB;QAC/C,qBAAqB,EAAE,2BAA2B;QAClD,gBAAgB,EAAE,aAAa,CAAC,iBAAiB,CAAC,CAAC,CAAC,IAAI,IAAI;QAC5D,iBAAiB,EAAE,aAAa,CAAC,iBAAiB;QAClD,iBAAiB,EAAE,aAAa,CAAC,iBAAiB;QAClD,kBAAkB,EAAE,aAAa,CAAC,kBAAkB;QACpD,qBAAqB,EAAE,YAAY,CAAC,CAAC,GAAG,aAAa,CAAC,YAAY,EAAE,GAAG,aAAa,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,KAAK,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC;QACrL,oBAAoB,EAAE,YAAY,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC;QACzF,qBAAqB,EAAE,MAAM,4BAA4B,CAAC,WAAW,EAAE,aAAa,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,KAAK,QAAQ,CAAC,CAAC;KAChJ,CAAC;IACF,OAAO;QACL,GAAG,UAAU;QACb,UAAU,EAAE,8BAA8B,CAAC,UAAU,CAAC;KACvD,CAAC;AACJ,CAAC;AAED,SAAS,4BAA4B,CAAC,SAAiB,EAAE,MAAc;IACrE,OAAO;QACL,SAAS;QACT,MAAM;QACN,QAAQ,EAAE,IAAI;QACd,UAAU,EAAE,EAAE;QACd,QAAQ,EAAE,EAAE;KACb,CAAC;AACJ,CAAC;AAED,KAAK,UAAU,+BAA+B,CAAC,WAAmB,EAAE,QAA6D,EAAE,MAAgB;IACjJ,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACxB,OAAO,QAAQ,CAAC;IAClB,CAAC;IACD,MAAM,MAAM,GAAG,MAAM,gBAAgB,CAAC,WAAW,CAAC,CAAC;IACnD,MAAM,YAAY,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;IAC5E,OAAO,oCAAoC,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC;AACpE,CAAC;AAED,KAAK,UAAU,qBAAqB,CAAC,WAAmB,EAAE,SAAiB,EAAE,OAAiB,EAAE,MAAgB;IAQ9G,IAAI,CAAC;QACH,MAAM,aAAa,GAAG,oBAAoB,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;QAC5D,MAAM,CAAC,iBAAiB,EAAE,uBAAuB,EAAE,uBAAuB,EAAE,wBAAwB,EAAE,cAAc,CAAC,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC;YACxI,OAAO,CAAC,GAAG,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,sBAAsB,CAAC,WAAW,EAAE,EAAE,SAAS,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,MAAM,EAAE,eAAe,EAAE,CAAC,CAAC,CAAC;YAChK,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC,4BAA4B,CAAC,WAAW,EAAE,WAAW,CAAC,CAAC,CAAC;YAChG,OAAO,CAAC,GAAG,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,4BAA4B,CAAC,WAAW,EAAE,EAAE,SAAS,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;YAC7I,OAAO,CAAC,GAAG,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,gCAAgC,CAAC,WAAW,EAAE,EAAE,SAAS,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;YACjJ,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC,2BAA2B,CAAC,WAAW,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,CAAC,CAAC,CAAC;SAC3G,CAAC,CAAC;QACH,OAAO;YACL,aAAa,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE;YAC3C,WAAW,EAAE,QAAQ,CAAC,iBAAiB,CAAC,IAAI,EAAE,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC;YACnE,iBAAiB,EAAE,QAAQ,CAAC,uBAAuB,CAAC,IAAI,EAAE,EAAE,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,UAAU,CAAC;YAC9F,iBAAiB,EAAE,QAAQ,CAAC,uBAAuB,CAAC,IAAI,EAAE,EAAE,CAAC,WAAW,EAAE,EAAE,CAAC,WAAW,CAAC,OAAO,CAAC;YACjG,kBAAkB,EAAE,QAAQ,CAAC,wBAAwB,CAAC,IAAI,EAAE,EAAE,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC,YAAY,CAAC;YACtG,QAAQ,EAAE,QAAQ,CAAC,cAAc,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,SAAS,CAAC;SAC1E,CAAC;IACJ,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,OAAO;YACL,aAAa,EAAE,EAAE,MAAM,EAAE,aAAa,EAAE,MAAM,EAAE,CAAC,gBAAgB,CAAC,KAAK,CAAC,CAAC,EAAE;YAC3E,WAAW,EAAE,EAAE;YACf,iBAAiB,EAAE,EAAE;YACrB,iBAAiB,EAAE,EAAE;YACrB,kBAAkB,EAAE,EAAE;YACtB,QAAQ,EAAE,EAAE;SACb,CAAC;IACJ,CAAC;AACH,CAAC;AAED,SAAS,oBAAoB,CAAC,OAAiB,EAAE,MAAgB;IAC/D,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAChD,OAAO,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;IACzC,CAAC;IACD,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACzB,OAAO,MAAM,CAAC,GAAG,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,WAAW,EAAE,CAAC,CAAC,CAAC;IAC7E,CAAC;IACD,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACxB,OAAO,OAAO,CAAC,GAAG,CAAC,CAAC,YAAY,EAAE,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,YAAY,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;IAChF,CAAC;IACD,OAAO,QAAQ,CAAC;QACd,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC,YAAY,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,YAAY,EAAE,KAAK,EAAE,WAAW,EAAE,CAAC,CAAC,CAAC;QACjH,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,YAAY,EAAE,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,YAAY,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;QACzE,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,WAAW,EAAE,CAAC,CAAC;KACvE,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,IAAI,MAAM,IAAI,KAAK,CAAC,KAAK,IAAI,MAAM,EAAE,CAAC,CAAC;AACtE,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;AAED,KAAK,UAAU,4BAA4B,CAAC,WAAmB,EAAE,QAAwC;IACvG,OAAO,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,KAAK,EAAE,OAAO,EAAE,EAAE;QAChD,IAAI,CAAC;YACH,MAAM,GAAG,GAAG,MAAM,QAAQ,CAAC,yBAAyB,CAAC,WAAW,EAAE,OAAO,CAAC,UAAU,EAAE,OAAO,CAAC,mBAAmB,CAAC,EAAE,MAAM,CAAC,CAAC;YAC5H,MAAM,YAAY,GAAG,mBAAmB,CAAC,GAAG,CAAC,CAAC;YAC9C,OAAO;gBACL,SAAS,EAAE,OAAO,CAAC,SAAS;gBAC5B,UAAU,EAAE,OAAO,CAAC,UAAU;gBAC9B,mBAAmB,EAAE,OAAO,CAAC,mBAAmB;gBAChD,cAAc,EAAE,OAAO,CAAC,MAAM;gBAC9B,YAAY;gBACZ,MAAM,EAAE,YAAY,KAAK,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,IAAa,CAAC,CAAC,CAAC,cAAuB;aAClF,CAAC;QACJ,CAAC;QAAC,MAAM,CAAC;YACP,OAAO;gBACL,SAAS,EAAE,OAAO,CAAC,SAAS;gBAC5B,UAAU,EAAE,OAAO,CAAC,UAAU;gBAC9B,mBAAmB,EAAE,OAAO,CAAC,mBAAmB;gBAChD,cAAc,EAAE,OAAO,CAAC,MAAM;gBAC9B,YAAY,EAAE,IAAI;gBAClB,MAAM,EAAE,SAAkB;aAC3B,CAAC;QACJ,CAAC;IACH,CAAC,CAAC,CAAC,CAAC;AACN,CAAC;AAED,SAAS,mBAAmB,CAAC,GAAW;IACtC,OAAO,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,OAAO,EAAE,IAAI,CAAC,EAAE,MAAM,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AACvF,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,qCAAqC,CAAC,WAAmB,EAAE,KAAmN;IAClS,MAAM,MAAM,GAAG,MAAM,+BAA+B,CAAC,WAAW,EAAE,KAAK,CAAC,CAAC;IACzE,MAAM,QAAQ,GAAG,8BAA8B,CAAC,MAAM,CAAC,CAAC;IACxD,IAAI,CAAC;QACH,MAAM,iCAAiC,CAAC,WAAW,EAAE,QAAQ,CAAC,CAAC;IACjE,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,IAAI,MAAM,CAAC,aAAa,CAAC,MAAM,KAAK,IAAI,EAAE,CAAC;YACzC,MAAM,KAAK,CAAC;QACd,CAAC;IACH,CAAC;IACD,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC;AAC9B,CAAC;AACD,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,gBAAgB,CAAC,KAAc;IACtC,OAAO,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AAChE,CAAC"}

package/packages/core/dist/workflow-gate/hard-checks.d.ts

@@ -0,0 +1,4 @@
+import type { WorkflowGateEvidencePacket, WorkflowGateHardCheck } from './types.js';
+type WorkflowGateHardCheckInput = Omit<WorkflowGateEvidencePacket, 'hardChecks'>;
+export declare function evaluateWorkflowGateHardChecks(packet: WorkflowGateHardCheckInput): WorkflowGateHardCheck[];
+export {};

package/packages/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/packages/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/packages/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/packages/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/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,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/packages/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/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

@@ -0,0 +1,13 @@
+import type { RunState } from '../run-state/model.js';
+export interface WorkflowAffectedFileConflict {
+    file: string;
+    partition: string;
+    gitBranch: string | null;
+    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[];