takt 0.45.0 → 0.47.0

package/dist/core/workflow/findings/context.js

@@ -0,0 +1,82 @@
+import { FINDING_SEVERITIES } from './types.js';
+export function renderFindingLedgerInstructionSummary(ledger) {
+    return JSON.stringify({
+        version: ledger.version,
+        workflowName: ledger.workflowName,
+        open: ledger.findings
+            .filter((finding) => finding.status === 'open')
+            .map((finding) => ({
+            id: finding.id,
+            lifecycle: finding.lifecycle,
+            severity: finding.severity,
+            title: finding.title,
+            location: finding.location,
+            description: finding.description,
+            suggestion: finding.suggestion,
+            reviewers: finding.reviewers,
+        })),
+        resolved: ledger.findings
+            .filter((finding) => finding.status === 'resolved')
+            .map((finding) => ({
+            id: finding.id,
+            lifecycle: finding.lifecycle,
+            severity: finding.severity,
+            title: finding.title,
+        })),
+        conflicts: ledger.conflicts.map((conflict) => ({
+            id: conflict.id,
+            status: conflict.status,
+            findingIds: conflict.findingIds,
+            rawFindingIds: conflict.rawFindingIds,
+            description: conflict.description,
+        })),
+    }, null, 2);
+}
+export function renderFindingLedgerReportSummary(ledger) {
+    return JSON.stringify({
+        openFindingIds: ledger.findings
+            .filter((finding) => finding.status === 'open')
+            .map((finding) => finding.id),
+        resolvedFindingIds: ledger.findings
+            .filter((finding) => finding.status === 'resolved')
+            .map((finding) => finding.id),
+        conflictIds: ledger.conflicts.map((conflict) => conflict.id),
+    }, null, 2);
+}
+export function buildFindingsRuleContext(ledger) {
+    const openItems = ledger.findings.filter((finding) => finding.status === 'open');
+    const activeConflicts = ledger.conflicts.filter((conflict) => conflict.status === 'active');
+    const bySeverity = Object.fromEntries(FINDING_SEVERITIES.map((severity) => [severity, 0]));
+    for (const finding of openItems) {
+        bySeverity[finding.severity] += 1;
+    }
+    return {
+        open: {
+            count: openItems.length,
+            bySeverity,
+            items: openItems.map((finding) => ({
+                id: finding.id,
+                severity: finding.severity,
+                title: finding.title,
+                ...(finding.location !== undefined ? { location: finding.location } : {}),
+                ...(finding.description !== undefined ? { description: finding.description } : {}),
+                ...(finding.suggestion !== undefined ? { suggestion: finding.suggestion } : {}),
+                reviewers: finding.reviewers,
+            })),
+        },
+        resolved: {
+            count: ledger.findings.filter((finding) => finding.status === 'resolved').length,
+        },
+        conflicts: {
+            count: activeConflicts.length,
+            items: activeConflicts.map((conflict) => ({
+                id: conflict.id,
+                status: conflict.status,
+                findingIds: conflict.findingIds,
+                rawFindingIds: conflict.rawFindingIds,
+                description: conflict.description,
+            })),
+        },
+    };
+}
+//# sourceMappingURL=context.js.map

package/dist/core/workflow/findings/context.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"context.js","sourceRoot":"","sources":["../../../../src/core/workflow/findings/context.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,kBAAkB,EAAsE,MAAM,YAAY,CAAC;AAEpH,MAAM,UAAU,qCAAqC,CAAC,MAAqB;IACzE,OAAO,IAAI,CAAC,SAAS,CAAC;QACpB,OAAO,EAAE,MAAM,CAAC,OAAO;QACvB,YAAY,EAAE,MAAM,CAAC,YAAY;QACjC,IAAI,EAAE,MAAM,CAAC,QAAQ;aAClB,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,KAAK,MAAM,CAAC;aAC9C,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;YACjB,EAAE,EAAE,OAAO,CAAC,EAAE;YACd,SAAS,EAAE,OAAO,CAAC,SAAS;YAC5B,QAAQ,EAAE,OAAO,CAAC,QAAQ;YAC1B,KAAK,EAAE,OAAO,CAAC,KAAK;YACpB,QAAQ,EAAE,OAAO,CAAC,QAAQ;YAC1B,WAAW,EAAE,OAAO,CAAC,WAAW;YAChC,UAAU,EAAE,OAAO,CAAC,UAAU;YAC9B,SAAS,EAAE,OAAO,CAAC,SAAS;SAC7B,CAAC,CAAC;QACL,QAAQ,EAAE,MAAM,CAAC,QAAQ;aACtB,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,KAAK,UAAU,CAAC;aAClD,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;YACjB,EAAE,EAAE,OAAO,CAAC,EAAE;YACd,SAAS,EAAE,OAAO,CAAC,SAAS;YAC5B,QAAQ,EAAE,OAAO,CAAC,QAAQ;YAC1B,KAAK,EAAE,OAAO,CAAC,KAAK;SACrB,CAAC,CAAC;QACL,SAAS,EAAE,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;YAC7C,EAAE,EAAE,QAAQ,CAAC,EAAE;YACf,MAAM,EAAE,QAAQ,CAAC,MAAM;YACvB,UAAU,EAAE,QAAQ,CAAC,UAAU;YAC/B,aAAa,EAAE,QAAQ,CAAC,aAAa;YACrC,WAAW,EAAE,QAAQ,CAAC,WAAW;SAClC,CAAC,CAAC;KACJ,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;AACd,CAAC;AAED,MAAM,UAAU,gCAAgC,CAAC,MAAqB;IACpE,OAAO,IAAI,CAAC,SAAS,CAAC;QACpB,cAAc,EAAE,MAAM,CAAC,QAAQ;aAC5B,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,KAAK,MAAM,CAAC;aAC9C,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC;QAC/B,kBAAkB,EAAE,MAAM,CAAC,QAAQ;aAChC,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,KAAK,UAAU,CAAC;aAClD,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC;QAC/B,WAAW,EAAE,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC;KAC7D,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;AACd,CAAC;AAED,MAAM,UAAU,wBAAwB,CAAC,MAAqB;IAC5D,MAAM,SAAS,GAAG,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC;IACjF,MAAM,eAAe,GAAG,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,MAAM,KAAK,QAAQ,CAAC,CAAC;IAC5F,MAAM,UAAU,GAAG,MAAM,CAAC,WAAW,CACnC,kBAAkB,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,CACjB,CAAC;IACrC,KAAK,MAAM,OAAO,IAAI,SAAS,EAAE,CAAC;QAChC,UAAU,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;IACpC,CAAC;IAED,OAAO;QACL,IAAI,EAAE;YACJ,KAAK,EAAE,SAAS,CAAC,MAAM;YACvB,UAAU;YACV,KAAK,EAAE,SAAS,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;gBACjC,EAAE,EAAE,OAAO,CAAC,EAAE;gBACd,QAAQ,EAAE,OAAO,CAAC,QAAQ;gBAC1B,KAAK,EAAE,OAAO,CAAC,KAAK;gBACpB,GAAG,CAAC,OAAO,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,OAAO,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBACzE,GAAG,CAAC,OAAO,CAAC,WAAW,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,OAAO,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBAClF,GAAG,CAAC,OAAO,CAAC,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,OAAO,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBAC/E,SAAS,EAAE,OAAO,CAAC,SAAS;aAC7B,CAAC,CAAC;SACJ;QACD,QAAQ,EAAE;YACR,KAAK,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,KAAK,UAAU,CAAC,CAAC,MAAM;SACjF;QACD,SAAS,EAAE;YACT,KAAK,EAAE,eAAe,CAAC,MAAM;YAC7B,KAAK,EAAE,eAAe,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;gBACxC,EAAE,EAAE,QAAQ,CAAC,EAAE;gBACf,MAAM,EAAE,QAAQ,CAAC,MAAM;gBACvB,UAAU,EAAE,QAAQ,CAAC,UAAU;gBAC/B,aAAa,EAAE,QAAQ,CAAC,aAAa;gBACrC,WAAW,EAAE,QAAQ,CAAC,WAAW;aAClC,CAAC,CAAC;SACJ;KACF,CAAC;AACJ,CAAC"}

package/dist/core/workflow/findings/ledger-validation.d.ts

@@ -0,0 +1,3 @@
+import type { FindingLedger } from './types.js';
+export declare function assertLedgerIdAllocationInvariant(ledger: FindingLedger): void;
+//# sourceMappingURL=ledger-validation.d.ts.map

package/dist/core/workflow/findings/ledger-validation.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ledger-validation.d.ts","sourceRoot":"","sources":["../../../../src/core/workflow/findings/ledger-validation.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAgBhD,wBAAgB,iCAAiC,CAAC,MAAM,EAAE,aAAa,GAAG,IAAI,CAe7E"}

package/dist/core/workflow/findings/ledger-validation.js

@@ -0,0 +1,26 @@
+const FINDING_ID_PATTERN = /^F-(\d{4})$/;
+function formatFindingIdNumber(idNumber) {
+    return `F-${String(idNumber).padStart(4, '0')}`;
+}
+function parseFindingIdNumber(findingId) {
+    const match = FINDING_ID_PATTERN.exec(findingId);
+    if (!match) {
+        throw new Error(`Invalid finding id format "${findingId}"`);
+    }
+    return Number(match[1]);
+}
+export function assertLedgerIdAllocationInvariant(ledger) {
+    const seen = new Set();
+    let maxFindingId = 0;
+    for (const finding of ledger.findings) {
+        if (seen.has(finding.id)) {
+            throw new Error(`Duplicate finding id "${finding.id}"`);
+        }
+        seen.add(finding.id);
+        maxFindingId = Math.max(maxFindingId, parseFindingIdNumber(finding.id));
+    }
+    if (ledger.nextId <= maxFindingId) {
+        throw new Error(`Finding ledger nextId ${ledger.nextId} must be greater than existing finding id ${formatFindingIdNumber(maxFindingId)}`);
+    }
+}
+//# sourceMappingURL=ledger-validation.js.map

package/dist/core/workflow/findings/ledger-validation.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ledger-validation.js","sourceRoot":"","sources":["../../../../src/core/workflow/findings/ledger-validation.ts"],"names":[],"mappings":"AAEA,MAAM,kBAAkB,GAAG,aAAa,CAAC;AAEzC,SAAS,qBAAqB,CAAC,QAAgB;IAC7C,OAAO,KAAK,MAAM,CAAC,QAAQ,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC;AAClD,CAAC;AAED,SAAS,oBAAoB,CAAC,SAAiB;IAC7C,MAAM,KAAK,GAAG,kBAAkB,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IACjD,IAAI,CAAC,KAAK,EAAE,CAAC;QACX,MAAM,IAAI,KAAK,CAAC,8BAA8B,SAAS,GAAG,CAAC,CAAC;IAC9D,CAAC;IACD,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;AAC1B,CAAC;AAED,MAAM,UAAU,iCAAiC,CAAC,MAAqB;IACrE,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,IAAI,YAAY,GAAG,CAAC,CAAC;IACrB,KAAK,MAAM,OAAO,IAAI,MAAM,CAAC,QAAQ,EAAE,CAAC;QACtC,IAAI,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,EAAE,CAAC;YACzB,MAAM,IAAI,KAAK,CAAC,yBAAyB,OAAO,CAAC,EAAE,GAAG,CAAC,CAAC;QAC1D,CAAC;QACD,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QACrB,YAAY,GAAG,IAAI,CAAC,GAAG,CAAC,YAAY,EAAE,oBAAoB,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC;IAC1E,CAAC;IACD,IAAI,MAAM,CAAC,MAAM,IAAI,YAAY,EAAE,CAAC;QAClC,MAAM,IAAI,KAAK,CACb,yBAAyB,MAAM,CAAC,MAAM,6CAA6C,qBAAqB,CAAC,YAAY,CAAC,EAAE,CACzH,CAAC;IACJ,CAAC;AACH,CAAC"}

package/dist/core/workflow/findings/manager-output-validation.d.ts

@@ -0,0 +1,15 @@
+import type { FindingLedger, FindingManagerOutput, RawFinding } from './types.js';
+export type FindingManagerValidationResult = {
+    ok: true;
+} | {
+    ok: false;
+    errors: string[];
+};
+interface ValidateFindingManagerOutputInput {
+    previousLedger: FindingLedger;
+    rawFindings: RawFinding[];
+    managerOutput: FindingManagerOutput;
+}
+export declare function validateFindingManagerOutput(input: ValidateFindingManagerOutputInput): FindingManagerValidationResult;
+export {};
+//# sourceMappingURL=manager-output-validation.d.ts.map

package/dist/core/workflow/findings/manager-output-validation.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"manager-output-validation.d.ts","sourceRoot":"","sources":["../../../../src/core/workflow/findings/manager-output-validation.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,aAAa,EAEb,oBAAoB,EAEpB,UAAU,EACX,MAAM,YAAY,CAAC;AAEpB,MAAM,MAAM,8BAA8B,GACtC;IAAE,EAAE,EAAE,IAAI,CAAA;CAAE,GACZ;IAAE,EAAE,EAAE,KAAK,CAAC;IAAC,MAAM,EAAE,MAAM,EAAE,CAAA;CAAE,CAAC;AAEpC,UAAU,iCAAiC;IACzC,cAAc,EAAE,aAAa,CAAC;IAC9B,WAAW,EAAE,UAAU,EAAE,CAAC;IAC1B,aAAa,EAAE,oBAAoB,CAAC;CACrC;AAoBD,wBAAgB,4BAA4B,CAC1C,KAAK,EAAE,iCAAiC,GACvC,8BAA8B,CAehC"}

package/dist/core/workflow/findings/manager-output-validation.js

@@ -0,0 +1,221 @@
+export function validateFindingManagerOutput(input) {
+    const context = {
+        previousFindingsById: new Map(input.previousLedger.findings.map((finding) => [finding.id, finding])),
+        previousConflictsById: new Map(input.previousLedger.conflicts.map((conflict) => [conflict.id, conflict])),
+        currentRawFindingIds: new Set(input.rawFindings.map((finding) => finding.rawFindingId)),
+        currentRawFindingsById: new Map(input.rawFindings.map((finding) => [finding.rawFindingId, finding])),
+        previousRawFindingsById: new Map(input.previousLedger.rawFindings.map((finding) => [finding.rawFindingId, finding])),
+    };
+    const errors = [
+        ...validateRawFindingDecisionRefs(input.managerOutput, context),
+        ...validateFindingDecisionRefs(input.managerOutput, context),
+        ...validateResolvedConflicts(input.managerOutput, context),
+    ];
+    return errors.length === 0 ? { ok: true } : { ok: false, errors };
+}
+function validateRawFindingDecisionRefs(managerOutput, context) {
+    const decisionRefs = collectRawFindingDecisionRefs(managerOutput);
+    const matchErrors = managerOutput.matches.flatMap((match, index) => {
+        const decision = `matches[${index}]`;
+        const finding = context.previousFindingsById.get(match.findingId);
+        return [
+            ...validateCurrentRawFindingIds(match.rawFindingIds, decision, context),
+            ...(finding === undefined ? [] : validateFindingFamilyTagCompatible(finding, match.rawFindingIds, 'match', decision, context)),
+        ];
+    });
+    const newFindingErrors = managerOutput.newFindings.flatMap((finding, index) => {
+        const decision = `newFindings[${index}]`;
+        return [
+            ...validateCurrentRawFindingIds(finding.rawFindingIds, decision, context),
+            ...validateCurrentRawFindingFamilyTags(finding.rawFindingIds, 'create a new finding from', decision, context),
+        ];
+    });
+    const reopenedErrors = managerOutput.reopenedFindings.flatMap((reopened, index) => {
+        const decision = `reopenedFindings[${index}]`;
+        const finding = context.previousFindingsById.get(reopened.findingId);
+        return [
+            ...validateCurrentRawFindingIds(reopened.rawFindingIds, decision, context),
+            ...(finding === undefined ? [] : validateFindingFamilyTagCompatible(finding, reopened.rawFindingIds, 'reopen', decision, context)),
+        ];
+    });
+    const conflictErrors = managerOutput.conflicts.flatMap((conflict, index) => {
+        const decision = `conflicts[${index}]`;
+        return [
+            ...(conflict.findingIds.length === 0 && conflict.rawFindingIds.length === 0
+                ? [`${decision} must reference at least one finding id or current raw finding id`]
+                : []),
+            ...(conflict.rawFindingIds.length > 0
+                ? validateCurrentRawFindingIds(conflict.rawFindingIds, decision, context)
+                : []),
+        ];
+    });
+    return [
+        ...matchErrors,
+        ...newFindingErrors,
+        ...reopenedErrors,
+        ...conflictErrors,
+        ...validateDuplicateRawFindingDecisionRefs(decisionRefs),
+    ];
+}
+function collectRawFindingDecisionRefs(managerOutput) {
+    return [
+        ...managerOutput.matches.flatMap((match, index) => rawFindingDecisionRefs(`matches[${index}]`, match.rawFindingIds)),
+        ...managerOutput.newFindings.flatMap((finding, index) => rawFindingDecisionRefs(`newFindings[${index}]`, finding.rawFindingIds)),
+        ...managerOutput.resolvedFindings.flatMap((resolved, index) => rawFindingDecisionRefs(`resolvedFindings[${index}]`, resolved.rawFindingIds)),
+        ...managerOutput.reopenedFindings.flatMap((reopened, index) => rawFindingDecisionRefs(`reopenedFindings[${index}]`, reopened.rawFindingIds)),
+        ...managerOutput.conflicts.flatMap((conflict, index) => rawFindingDecisionRefs(`conflicts[${index}]`, conflict.rawFindingIds)),
+    ];
+}
+function rawFindingDecisionRefs(decision, rawFindingIds) {
+    return Array.from(new Set(rawFindingIds)).map((rawFindingId) => ({ decision, rawFindingId }));
+}
+function validateDuplicateRawFindingDecisionRefs(refs) {
+    return refs.flatMap((ref, index) => {
+        const previousRef = refs.slice(0, index).find((candidate) => (candidate.rawFindingId === ref.rawFindingId && candidate.decision !== ref.decision));
+        return previousRef === undefined
+            ? []
+            : [`Raw finding id "${ref.rawFindingId}" appears in multiple manager decisions: ${previousRef.decision} and ${ref.decision}`];
+    });
+}
+function validateCurrentRawFindingIds(rawFindingIds, decision, context) {
+    if (rawFindingIds.length === 0) {
+        return [`${decision} must reference at least one current raw finding id`];
+    }
+    return [
+        ...rawFindingIds.flatMap((rawFindingId, index) => (rawFindingIds.indexOf(rawFindingId) === index
+            ? []
+            : [`Duplicate raw finding id "${rawFindingId}" in ${decision}`])),
+        ...Array.from(new Set(rawFindingIds))
+            .filter((rawFindingId) => !context.currentRawFindingIds.has(rawFindingId))
+            .map((rawFindingId) => `Unknown raw finding id "${rawFindingId}" in ${decision}`),
+    ];
+}
+function getCurrentRawFindings(rawFindingIds, context) {
+    return rawFindingIds
+        .map((rawFindingId) => context.currentRawFindingsById.get(rawFindingId))
+        .filter((rawFinding) => rawFinding !== undefined);
+}
+function validateCurrentRawFindingFamilyTags(rawFindingIds, action, decision, context) {
+    const rawFindings = getCurrentRawFindings(rawFindingIds, context);
+    const [primary, ...rest] = rawFindings;
+    if (primary === undefined) {
+        return [];
+    }
+    return rest
+        .filter((rawFinding) => rawFinding.familyTag !== primary.familyTag)
+        .map((rawFinding) => (`Cannot ${action} raw findings with different familyTag values: "${primary.familyTag}" and "${rawFinding.familyTag}" (${decision})`));
+}
+function validateFindingFamilyTagCompatible(finding, currentRawFindingIds, action, decision, context) {
+    const missingPreviousRawFindingErrors = finding.rawFindingIds
+        .filter((rawFindingId) => !context.previousRawFindingsById.has(rawFindingId))
+        .map((rawFindingId) => `Finding "${finding.id}" references previous raw finding "${rawFindingId}" that is not in the ledger`);
+    const previousRawFindings = finding.rawFindingIds
+        .map((rawFindingId) => context.previousRawFindingsById.get(rawFindingId))
+        .filter((rawFinding) => rawFinding !== undefined);
+    const currentRawFindings = getCurrentRawFindings(currentRawFindingIds, context);
+    const [primary, ...rest] = [...previousRawFindings, ...currentRawFindings];
+    if (primary === undefined) {
+        return missingPreviousRawFindingErrors;
+    }
+    return [
+        ...missingPreviousRawFindingErrors,
+        ...rest
+            .filter((rawFinding) => rawFinding.familyTag !== primary.familyTag)
+            .map((rawFinding) => (`Cannot ${action} raw findings with different familyTag values: "${primary.familyTag}" and "${rawFinding.familyTag}" (${decision}, finding "${finding.id}")`)),
+    ];
+}
+function validateFindingDecisionRefs(managerOutput, context) {
+    const decisionRefs = collectFindingDecisionRefs(managerOutput);
+    const matchErrors = managerOutput.matches.flatMap((match, index) => (validateFindingDecision(match.findingId, `matches[${index}]`, 'match', 'open', context)));
+    const resolvedErrors = managerOutput.resolvedFindings.flatMap((resolved, index) => {
+        const decision = `resolvedFindings[${index}]`;
+        const finding = context.previousFindingsById.get(resolved.findingId);
+        return [
+            ...validateFindingDecision(resolved.findingId, decision, 'resolve', 'open', context),
+            ...(finding === undefined ? [] : validateResolvedFindingRawFindingIds(finding, resolved.rawFindingIds, context)),
+        ];
+    });
+    const reopenedErrors = managerOutput.reopenedFindings.flatMap((reopened, index) => (validateFindingDecision(reopened.findingId, `reopenedFindings[${index}]`, 'reopen', 'resolved', context)));
+    const conflictErrors = managerOutput.conflicts.flatMap((conflict, index) => (validateConflictFindingIds(conflict.findingIds, `conflicts[${index}]`, context)));
+    return [
+        ...matchErrors,
+        ...resolvedErrors,
+        ...reopenedErrors,
+        ...conflictErrors,
+        ...validateDuplicateFindingDecisionRefs(decisionRefs),
+    ];
+}
+function collectFindingDecisionRefs(managerOutput) {
+    return [
+        ...managerOutput.matches.map((match, index) => ({ decision: `matches[${index}]`, findingId: match.findingId })),
+        ...managerOutput.resolvedFindings.map((resolved, index) => ({
+            decision: `resolvedFindings[${index}]`,
+            findingId: resolved.findingId,
+        })),
+        ...managerOutput.reopenedFindings.map((reopened, index) => ({
+            decision: `reopenedFindings[${index}]`,
+            findingId: reopened.findingId,
+        })),
+        ...managerOutput.conflicts.flatMap((conflict, index) => (Array.from(new Set(conflict.findingIds)).map((findingId) => ({ decision: `conflicts[${index}]`, findingId })))),
+    ];
+}
+function validateDuplicateFindingDecisionRefs(refs) {
+    return refs.flatMap((ref, index) => {
+        const previousRef = refs.slice(0, index).find((candidate) => (candidate.findingId === ref.findingId && candidate.decision !== ref.decision));
+        return previousRef === undefined
+            ? []
+            : [`Finding id "${ref.findingId}" appears in multiple manager decisions: ${previousRef.decision} and ${ref.decision}`];
+    });
+}
+function validateFindingDecision(findingId, decision, action, expectedStatus, context) {
+    const finding = context.previousFindingsById.get(findingId);
+    if (finding === undefined) {
+        return [`Unknown finding id "${findingId}" in ${decision}`];
+    }
+    return finding.status === expectedStatus
+        ? []
+        : [`Cannot ${action} finding "${findingId}" because it is not ${expectedStatus}`];
+}
+function validateConflictFindingIds(findingIds, decision, context) {
+    return findingIds.flatMap((findingId, index) => {
+        if (findingIds.indexOf(findingId) !== index) {
+            return [`Duplicate finding id "${findingId}" in ${decision}`];
+        }
+        return context.previousFindingsById.has(findingId)
+            ? []
+            : [`Unknown finding id "${findingId}" in ${decision}`];
+    });
+}
+function validateResolvedFindingRawFindingIds(finding, rawFindingIds, context) {
+    if (rawFindingIds.length === 0) {
+        return [`Resolved finding "${finding.id}" must reference at least one previous raw finding id`];
+    }
+    const findingRawFindingIds = new Set(finding.rawFindingIds);
+    return rawFindingIds.flatMap((rawFindingId, index) => {
+        if (rawFindingIds.indexOf(rawFindingId) !== index) {
+            return [`Duplicate raw finding id "${rawFindingId}" in resolvedFindings for "${finding.id}"`];
+        }
+        if (!findingRawFindingIds.has(rawFindingId)) {
+            return [`Resolved finding "${finding.id}" references raw finding id "${rawFindingId}" that does not belong to the finding`];
+        }
+        return context.previousRawFindingsById.has(rawFindingId)
+            ? []
+            : [`Resolved finding "${finding.id}" references previous raw finding "${rawFindingId}" that is not in the ledger`];
+    });
+}
+function validateResolvedConflicts(managerOutput, context) {
+    return managerOutput.resolvedConflicts.flatMap((resolvedConflict, index) => {
+        const decision = `resolvedConflicts[${index}]`;
+        if (managerOutput.resolvedConflicts.findIndex((candidate) => (candidate.conflictId === resolvedConflict.conflictId)) !== index) {
+            return [`Duplicate conflict id "${resolvedConflict.conflictId}" in ${decision}`];
+        }
+        const conflict = context.previousConflictsById.get(resolvedConflict.conflictId);
+        if (conflict === undefined) {
+            return [`Unknown conflict id "${resolvedConflict.conflictId}" in ${decision}`];
+        }
+        return conflict.status === 'active'
+            ? []
+            : [`Cannot resolve conflict "${conflict.id}" because it is not active`];
+    });
+}
+//# sourceMappingURL=manager-output-validation.js.map

package/dist/core/workflow/findings/manager-output-validation.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"manager-output-validation.js","sourceRoot":"","sources":["../../../../src/core/workflow/findings/manager-output-validation.ts"],"names":[],"mappings":"AAoCA,MAAM,UAAU,4BAA4B,CAC1C,KAAwC;IAExC,MAAM,OAAO,GAAsB;QACjC,oBAAoB,EAAE,IAAI,GAAG,CAAC,KAAK,CAAC,cAAc,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,EAAE,EAAE,OAAO,CAAC,CAAC,CAAC;QACpG,qBAAqB,EAAE,IAAI,GAAG,CAAC,KAAK,CAAC,cAAc,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,EAAE,EAAE,QAAQ,CAAC,CAAC,CAAC;QACzG,oBAAoB,EAAE,IAAI,GAAG,CAAC,KAAK,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC;QACvF,sBAAsB,EAAE,IAAI,GAAG,CAAC,KAAK,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,YAAY,EAAE,OAAO,CAAC,CAAC,CAAC;QACpG,uBAAuB,EAAE,IAAI,GAAG,CAAC,KAAK,CAAC,cAAc,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,YAAY,EAAE,OAAO,CAAC,CAAC,CAAC;KACrH,CAAC;IACF,MAAM,MAAM,GAAG;QACb,GAAG,8BAA8B,CAAC,KAAK,CAAC,aAAa,EAAE,OAAO,CAAC;QAC/D,GAAG,2BAA2B,CAAC,KAAK,CAAC,aAAa,EAAE,OAAO,CAAC;QAC5D,GAAG,yBAAyB,CAAC,KAAK,CAAC,aAAa,EAAE,OAAO,CAAC;KAC3D,CAAC;IAEF,OAAO,MAAM,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC;AACpE,CAAC;AAED,SAAS,8BAA8B,CACrC,aAAmC,EACnC,OAA0B;IAE1B,MAAM,YAAY,GAAG,6BAA6B,CAAC,aAAa,CAAC,CAAC;IAClE,MAAM,WAAW,GAAG,aAAa,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE;QACjE,MAAM,QAAQ,GAAG,WAAW,KAAK,GAAG,CAAC;QACrC,MAAM,OAAO,GAAG,OAAO,CAAC,oBAAoB,CAAC,GAAG,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QAClE,OAAO;YACL,GAAG,4BAA4B,CAAC,KAAK,CAAC,aAAa,EAAE,QAAQ,EAAE,OAAO,CAAC;YACvE,GAAG,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,kCAAkC,CAAC,OAAO,EAAE,KAAK,CAAC,aAAa,EAAE,OAAO,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC;SAC/H,CAAC;IACJ,CAAC,CAAC,CAAC;IACH,MAAM,gBAAgB,GAAG,aAAa,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,KAAK,EAAE,EAAE;QAC5E,MAAM,QAAQ,GAAG,eAAe,KAAK,GAAG,CAAC;QACzC,OAAO;YACL,GAAG,4BAA4B,CAAC,OAAO,CAAC,aAAa,EAAE,QAAQ,EAAE,OAAO,CAAC;YACzE,GAAG,mCAAmC,CAAC,OAAO,CAAC,aAAa,EAAE,2BAA2B,EAAE,QAAQ,EAAE,OAAO,CAAC;SAC9G,CAAC;IACJ,CAAC,CAAC,CAAC;IACH,MAAM,cAAc,GAAG,aAAa,CAAC,gBAAgB,CAAC,OAAO,CAAC,CAAC,QAAQ,EAAE,KAAK,EAAE,EAAE;QAChF,MAAM,QAAQ,GAAG,oBAAoB,KAAK,GAAG,CAAC;QAC9C,MAAM,OAAO,GAAG,OAAO,CAAC,oBAAoB,CAAC,GAAG,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC;QACrE,OAAO;YACL,GAAG,4BAA4B,CAAC,QAAQ,CAAC,aAAa,EAAE,QAAQ,EAAE,OAAO,CAAC;YAC1E,GAAG,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,kCAAkC,CAAC,OAAO,EAAE,QAAQ,CAAC,aAAa,EAAE,QAAQ,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC;SACnI,CAAC;IACJ,CAAC,CAAC,CAAC;IACH,MAAM,cAAc,GAAG,aAAa,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,QAAQ,EAAE,KAAK,EAAE,EAAE;QACzE,MAAM,QAAQ,GAAG,aAAa,KAAK,GAAG,CAAC;QACvC,OAAO;YACL,GAAG,CAAC,QAAQ,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC,IAAI,QAAQ,CAAC,aAAa,CAAC,MAAM,KAAK,CAAC;gBACzE,CAAC,CAAC,CAAC,GAAG,QAAQ,mEAAmE,CAAC;gBAClF,CAAC,CAAC,EAAE,CAAC;YACP,GAAG,CAAC,QAAQ,CAAC,aAAa,CAAC,MAAM,GAAG,CAAC;gBACnC,CAAC,CAAC,4BAA4B,CAAC,QAAQ,CAAC,aAAa,EAAE,QAAQ,EAAE,OAAO,CAAC;gBACzE,CAAC,CAAC,EAAE,CAAC;SACR,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,OAAO;QACL,GAAG,WAAW;QACd,GAAG,gBAAgB;QACnB,GAAG,cAAc;QACjB,GAAG,cAAc;QACjB,GAAG,uCAAuC,CAAC,YAAY,CAAC;KACzD,CAAC;AACJ,CAAC;AAED,SAAS,6BAA6B,CAAC,aAAmC;IACxE,OAAO;QACL,GAAG,aAAa,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC,sBAAsB,CAAC,WAAW,KAAK,GAAG,EAAE,KAAK,CAAC,aAAa,CAAC,CAAC;QACpH,GAAG,aAAa,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,KAAK,EAAE,EAAE,CAAC,sBAAsB,CAAC,eAAe,KAAK,GAAG,EAAE,OAAO,CAAC,aAAa,CAAC,CAAC;QAChI,GAAG,aAAa,CAAC,gBAAgB,CAAC,OAAO,CAAC,CAAC,QAAQ,EAAE,KAAK,EAAE,EAAE,CAAC,sBAAsB,CAAC,oBAAoB,KAAK,GAAG,EAAE,QAAQ,CAAC,aAAa,CAAC,CAAC;QAC5I,GAAG,aAAa,CAAC,gBAAgB,CAAC,OAAO,CAAC,CAAC,QAAQ,EAAE,KAAK,EAAE,EAAE,CAAC,sBAAsB,CAAC,oBAAoB,KAAK,GAAG,EAAE,QAAQ,CAAC,aAAa,CAAC,CAAC;QAC5I,GAAG,aAAa,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,QAAQ,EAAE,KAAK,EAAE,EAAE,CAAC,sBAAsB,CAAC,aAAa,KAAK,GAAG,EAAE,QAAQ,CAAC,aAAa,CAAC,CAAC;KAC/H,CAAC;AACJ,CAAC;AAED,SAAS,sBAAsB,CAAC,QAAgB,EAAE,aAAgC;IAChF,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,aAAa,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,YAAY,EAAE,EAAE,CAAC,CAAC,EAAE,QAAQ,EAAE,YAAY,EAAE,CAAC,CAAC,CAAC;AAChG,CAAC;AAED,SAAS,uCAAuC,CAAC,IAAsC;IACrF,OAAO,IAAI,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE;QACjC,MAAM,WAAW,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,CAC3D,SAAS,CAAC,YAAY,KAAK,GAAG,CAAC,YAAY,IAAI,SAAS,CAAC,QAAQ,KAAK,GAAG,CAAC,QAAQ,CACnF,CAAC,CAAC;QACH,OAAO,WAAW,KAAK,SAAS;YAC9B,CAAC,CAAC,EAAE;YACJ,CAAC,CAAC,CAAC,mBAAmB,GAAG,CAAC,YAAY,4CAA4C,WAAW,CAAC,QAAQ,QAAQ,GAAG,CAAC,QAAQ,EAAE,CAAC,CAAC;IAClI,CAAC,CAAC,CAAC;AACL,CAAC;AAED,SAAS,4BAA4B,CACnC,aAAgC,EAChC,QAAgB,EAChB,OAA0B;IAE1B,IAAI,aAAa,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC/B,OAAO,CAAC,GAAG,QAAQ,qDAAqD,CAAC,CAAC;IAC5E,CAAC;IAED,OAAO;QACL,GAAG,aAAa,CAAC,OAAO,CAAC,CAAC,YAAY,EAAE,KAAK,EAAE,EAAE,CAAC,CAChD,aAAa,CAAC,OAAO,CAAC,YAAY,CAAC,KAAK,KAAK;YAC3C,CAAC,CAAC,EAAE;YACJ,CAAC,CAAC,CAAC,6BAA6B,YAAY,QAAQ,QAAQ,EAAE,CAAC,CAClE,CAAC;QACF,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,aAAa,CAAC,CAAC;aAClC,MAAM,CAAC,CAAC,YAAY,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,oBAAoB,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;aACzE,GAAG,CAAC,CAAC,YAAY,EAAE,EAAE,CAAC,2BAA2B,YAAY,QAAQ,QAAQ,EAAE,CAAC;KACpF,CAAC;AACJ,CAAC;AAED,SAAS,qBAAqB,CAC5B,aAAgC,EAChC,OAA0B;IAE1B,OAAO,aAAa;SACjB,GAAG,CAAC,CAAC,YAAY,EAAE,EAAE,CAAC,OAAO,CAAC,sBAAsB,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;SACvE,MAAM,CAAC,CAAC,UAAU,EAA4B,EAAE,CAAC,UAAU,KAAK,SAAS,CAAC,CAAC;AAChF,CAAC;AAED,SAAS,mCAAmC,CAC1C,aAAgC,EAChC,MAAc,EACd,QAAgB,EAChB,OAA0B;IAE1B,MAAM,WAAW,GAAG,qBAAqB,CAAC,aAAa,EAAE,OAAO,CAAC,CAAC;IAClE,MAAM,CAAC,OAAO,EAAE,GAAG,IAAI,CAAC,GAAG,WAAW,CAAC;IACvC,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;QAC1B,OAAO,EAAE,CAAC;IACZ,CAAC;IAED,OAAO,IAAI;SACR,MAAM,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC,SAAS,KAAK,OAAO,CAAC,SAAS,CAAC;SAClE,GAAG,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,CACnB,UAAU,MAAM,mDAAmD,OAAO,CAAC,SAAS,UAAU,UAAU,CAAC,SAAS,MAAM,QAAQ,GAAG,CACpI,CAAC,CAAC;AACP,CAAC;AAED,SAAS,kCAAkC,CACzC,OAAsB,EACtB,oBAAuC,EACvC,MAAc,EACd,QAAgB,EAChB,OAA0B;IAE1B,MAAM,+BAA+B,GAAG,OAAO,CAAC,aAAa;SAC1D,MAAM,CAAC,CAAC,YAAY,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,uBAAuB,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;SAC5E,GAAG,CAAC,CAAC,YAAY,EAAE,EAAE,CAAC,YAAY,OAAO,CAAC,EAAE,sCAAsC,YAAY,6BAA6B,CAAC,CAAC;IAChI,MAAM,mBAAmB,GAAG,OAAO,CAAC,aAAa;SAC9C,GAAG,CAAC,CAAC,YAAY,EAAE,EAAE,CAAC,OAAO,CAAC,uBAAuB,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;SACxE,MAAM,CAAC,CAAC,UAAU,EAA4B,EAAE,CAAC,UAAU,KAAK,SAAS,CAAC,CAAC;IAC9E,MAAM,kBAAkB,GAAG,qBAAqB,CAAC,oBAAoB,EAAE,OAAO,CAAC,CAAC;IAChF,MAAM,CAAC,OAAO,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,mBAAmB,EAAE,GAAG,kBAAkB,CAAC,CAAC;IAC3E,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;QAC1B,OAAO,+BAA+B,CAAC;IACzC,CAAC;IAED,OAAO;QACL,GAAG,+BAA+B;QAClC,GAAG,IAAI;aACJ,MAAM,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC,SAAS,KAAK,OAAO,CAAC,SAAS,CAAC;aAClE,GAAG,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,CACnB,UAAU,MAAM,mDAAmD,OAAO,CAAC,SAAS,UAAU,UAAU,CAAC,SAAS,MAAM,QAAQ,cAAc,OAAO,CAAC,EAAE,IAAI,CAC7J,CAAC;KACL,CAAC;AACJ,CAAC;AAED,SAAS,2BAA2B,CAClC,aAAmC,EACnC,OAA0B;IAE1B,MAAM,YAAY,GAAG,0BAA0B,CAAC,aAAa,CAAC,CAAC;IAC/D,MAAM,WAAW,GAAG,aAAa,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC,CAClE,uBAAuB,CAAC,KAAK,CAAC,SAAS,EAAE,WAAW,KAAK,GAAG,EAAE,OAAO,EAAE,MAAM,EAAE,OAAO,CAAC,CACxF,CAAC,CAAC;IACH,MAAM,cAAc,GAAG,aAAa,CAAC,gBAAgB,CAAC,OAAO,CAAC,CAAC,QAAQ,EAAE,KAAK,EAAE,EAAE;QAChF,MAAM,QAAQ,GAAG,oBAAoB,KAAK,GAAG,CAAC;QAC9C,MAAM,OAAO,GAAG,OAAO,CAAC,oBAAoB,CAAC,GAAG,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC;QACrE,OAAO;YACL,GAAG,uBAAuB,CAAC,QAAQ,CAAC,SAAS,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,EAAE,OAAO,CAAC;YACpF,GAAG,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,oCAAoC,CAAC,OAAO,EAAE,QAAQ,CAAC,aAAa,EAAE,OAAO,CAAC,CAAC;SACjH,CAAC;IACJ,CAAC,CAAC,CAAC;IACH,MAAM,cAAc,GAAG,aAAa,CAAC,gBAAgB,CAAC,OAAO,CAAC,CAAC,QAAQ,EAAE,KAAK,EAAE,EAAE,CAAC,CACjF,uBAAuB,CAAC,QAAQ,CAAC,SAAS,EAAE,oBAAoB,KAAK,GAAG,EAAE,QAAQ,EAAE,UAAU,EAAE,OAAO,CAAC,CACzG,CAAC,CAAC;IACH,MAAM,cAAc,GAAG,aAAa,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,QAAQ,EAAE,KAAK,EAAE,EAAE,CAAC,CAC1E,0BAA0B,CAAC,QAAQ,CAAC,UAAU,EAAE,aAAa,KAAK,GAAG,EAAE,OAAO,CAAC,CAChF,CAAC,CAAC;IAEH,OAAO;QACL,GAAG,WAAW;QACd,GAAG,cAAc;QACjB,GAAG,cAAc;QACjB,GAAG,cAAc;QACjB,GAAG,oCAAoC,CAAC,YAAY,CAAC;KACtD,CAAC;AACJ,CAAC;AAED,SAAS,0BAA0B,CAAC,aAAmC;IACrE,OAAO;QACL,GAAG,aAAa,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,QAAQ,EAAE,WAAW,KAAK,GAAG,EAAE,SAAS,EAAE,KAAK,CAAC,SAAS,EAAE,CAAC,CAAC;QAC/G,GAAG,aAAa,CAAC,gBAAgB,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC;YAC1D,QAAQ,EAAE,oBAAoB,KAAK,GAAG;YACtC,SAAS,EAAE,QAAQ,CAAC,SAAS;SAC9B,CAAC,CAAC;QACH,GAAG,aAAa,CAAC,gBAAgB,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC;YAC1D,QAAQ,EAAE,oBAAoB,KAAK,GAAG;YACtC,SAAS,EAAE,QAAQ,CAAC,SAAS;SAC9B,CAAC,CAAC;QACH,GAAG,aAAa,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,QAAQ,EAAE,KAAK,EAAE,EAAE,CAAC,CACtD,KAAK,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC,EAAE,QAAQ,EAAE,aAAa,KAAK,GAAG,EAAE,SAAS,EAAE,CAAC,CAAC,CAC9G,CAAC;KACH,CAAC;AACJ,CAAC;AAED,SAAS,oCAAoC,CAAC,IAAmC;IAC/E,OAAO,IAAI,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE;QACjC,MAAM,WAAW,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,CAC3D,SAAS,CAAC,SAAS,KAAK,GAAG,CAAC,SAAS,IAAI,SAAS,CAAC,QAAQ,KAAK,GAAG,CAAC,QAAQ,CAC7E,CAAC,CAAC;QACH,OAAO,WAAW,KAAK,SAAS;YAC9B,CAAC,CAAC,EAAE;YACJ,CAAC,CAAC,CAAC,eAAe,GAAG,CAAC,SAAS,4CAA4C,WAAW,CAAC,QAAQ,QAAQ,GAAG,CAAC,QAAQ,EAAE,CAAC,CAAC;IAC3H,CAAC,CAAC,CAAC;AACL,CAAC;AAED,SAAS,uBAAuB,CAC9B,SAAiB,EACjB,QAAgB,EAChB,MAAc,EACd,cAAuC,EACvC,OAA0B;IAE1B,MAAM,OAAO,GAAG,OAAO,CAAC,oBAAoB,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;IAC5D,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;QAC1B,OAAO,CAAC,uBAAuB,SAAS,QAAQ,QAAQ,EAAE,CAAC,CAAC;IAC9D,CAAC;IACD,OAAO,OAAO,CAAC,MAAM,KAAK,cAAc;QACtC,CAAC,CAAC,EAAE;QACJ,CAAC,CAAC,CAAC,UAAU,MAAM,aAAa,SAAS,uBAAuB,cAAc,EAAE,CAAC,CAAC;AACtF,CAAC;AAED,SAAS,0BAA0B,CACjC,UAA6B,EAC7B,QAAgB,EAChB,OAA0B;IAE1B,OAAO,UAAU,CAAC,OAAO,CAAC,CAAC,SAAS,EAAE,KAAK,EAAE,EAAE;QAC7C,IAAI,UAAU,CAAC,OAAO,CAAC,SAAS,CAAC,KAAK,KAAK,EAAE,CAAC;YAC5C,OAAO,CAAC,yBAAyB,SAAS,QAAQ,QAAQ,EAAE,CAAC,CAAC;QAChE,CAAC;QACD,OAAO,OAAO,CAAC,oBAAoB,CAAC,GAAG,CAAC,SAAS,CAAC;YAChD,CAAC,CAAC,EAAE;YACJ,CAAC,CAAC,CAAC,uBAAuB,SAAS,QAAQ,QAAQ,EAAE,CAAC,CAAC;IAC3D,CAAC,CAAC,CAAC;AACL,CAAC;AAED,SAAS,oCAAoC,CAC3C,OAAsB,EACtB,aAAgC,EAChC,OAA0B;IAE1B,IAAI,aAAa,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC/B,OAAO,CAAC,qBAAqB,OAAO,CAAC,EAAE,uDAAuD,CAAC,CAAC;IAClG,CAAC;IACD,MAAM,oBAAoB,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,aAAa,CAAC,CAAC;IAC5D,OAAO,aAAa,CAAC,OAAO,CAAC,CAAC,YAAY,EAAE,KAAK,EAAE,EAAE;QACnD,IAAI,aAAa,CAAC,OAAO,CAAC,YAAY,CAAC,KAAK,KAAK,EAAE,CAAC;YAClD,OAAO,CAAC,6BAA6B,YAAY,8BAA8B,OAAO,CAAC,EAAE,GAAG,CAAC,CAAC;QAChG,CAAC;QACD,IAAI,CAAC,oBAAoB,CAAC,GAAG,CAAC,YAAY,CAAC,EAAE,CAAC;YAC5C,OAAO,CAAC,qBAAqB,OAAO,CAAC,EAAE,gCAAgC,YAAY,uCAAuC,CAAC,CAAC;QAC9H,CAAC;QACD,OAAO,OAAO,CAAC,uBAAuB,CAAC,GAAG,CAAC,YAAY,CAAC;YACtD,CAAC,CAAC,EAAE;YACJ,CAAC,CAAC,CAAC,qBAAqB,OAAO,CAAC,EAAE,sCAAsC,YAAY,6BAA6B,CAAC,CAAC;IACvH,CAAC,CAAC,CAAC;AACL,CAAC;AAED,SAAS,yBAAyB,CAChC,aAAmC,EACnC,OAA0B;IAE1B,OAAO,aAAa,CAAC,iBAAiB,CAAC,OAAO,CAAC,CAAC,gBAAgB,EAAE,KAAK,EAAE,EAAE;QACzE,MAAM,QAAQ,GAAG,qBAAqB,KAAK,GAAG,CAAC;QAC/C,IAAI,aAAa,CAAC,iBAAiB,CAAC,SAAS,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,CAC3D,SAAS,CAAC,UAAU,KAAK,gBAAgB,CAAC,UAAU,CACrD,CAAC,KAAK,KAAK,EAAE,CAAC;YACb,OAAO,CAAC,0BAA0B,gBAAgB,CAAC,UAAU,QAAQ,QAAQ,EAAE,CAAC,CAAC;QACnF,CAAC;QACD,MAAM,QAAQ,GAAG,OAAO,CAAC,qBAAqB,CAAC,GAAG,CAAC,gBAAgB,CAAC,UAAU,CAAC,CAAC;QAChF,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;YAC3B,OAAO,CAAC,wBAAwB,gBAAgB,CAAC,UAAU,QAAQ,QAAQ,EAAE,CAAC,CAAC;QACjF,CAAC;QACD,OAAO,QAAQ,CAAC,MAAM,KAAK,QAAQ;YACjC,CAAC,CAAC,EAAE;YACJ,CAAC,CAAC,CAAC,4BAA4B,QAAQ,CAAC,EAAE,4BAA4B,CAAC,CAAC;IAC5E,CAAC,CAAC,CAAC;AACL,CAAC"}

package/dist/core/workflow/findings/manager-runner.d.ts

@@ -0,0 +1,89 @@
+import type { AgentResponse, FindingContractConfig, WorkflowStep } from '../../models/types.js';
+import type { FindingLedgerStore } from './store.js';
+import type { FindingLedger } from './types.js';
+import type { OptionsBuilder } from '../engine/OptionsBuilder.js';
+import type { StepExecutor } from '../engine/StepExecutor.js';
+import type { StepProviderInfo } from '../types.js';
+export interface FindingManagerSubStepResult {
+    subStep: WorkflowStep;
+    response: AgentResponse;
+}
+interface RunFindingManagerForParallelStepInput {
+    contract: FindingContractConfig;
+    ledgerStore: FindingLedgerStore;
+    optionsBuilder: OptionsBuilder;
+    stepExecutor: Pick<StepExecutor, 'buildPhase1Instruction' | 'normalizeStructuredOutput'>;
+    parentStep: WorkflowStep;
+    stepIteration: number;
+    subResults: FindingManagerSubStepResult[];
+    workflowName: string;
+    runId: string;
+    timestamp: string;
+    ledgerCopyPath?: string;
+}
+export declare const RAW_FINDINGS_SCHEMA_REF = "takt.findings.raw.v1";
+export declare const FINDING_MANAGER_SCHEMA_REF = "takt.findings.manager.v1";
+export declare const RawFindingsStructuredOutput: {
+    readonly schemaRef: "takt.findings.raw.v1";
+    readonly schema: {
+        readonly type: "object";
+        readonly additionalProperties: false;
+        readonly required: readonly ["rawFindings"];
+        readonly properties: {
+            readonly rawFindings: {
+                readonly type: "array";
+                readonly items: {
+                    readonly type: "object";
+                    readonly additionalProperties: false;
+                    readonly required: readonly ["rawFindingId", "familyTag", "severity", "title", "location", "description", "suggestion"];
+                    readonly properties: {
+                        readonly rawFindingId: {
+                            readonly type: "string";
+                            readonly minLength: 1;
+                        };
+                        readonly familyTag: {
+                            readonly type: "string";
+                            readonly minLength: 1;
+                            readonly description: "Structured form of the Observed Findings family_tag value.";
+                        };
+                        readonly severity: {
+                            readonly enum: readonly ["critical", "high", "medium", "low"];
+                        };
+                        readonly title: {
+                            readonly type: "string";
+                            readonly minLength: 1;
+                        };
+                        readonly location: {
+                            readonly type: "string";
+                            readonly minLength: 1;
+                        };
+                        readonly description: {
+                            readonly type: "string";
+                            readonly minLength: 1;
+                        };
+                        readonly suggestion: {
+                            readonly type: "string";
+                            readonly minLength: 1;
+                        };
+                    };
+                };
+            };
+        };
+    };
+};
+export type FindingManagerRunResult = {
+    status: 'updated';
+    ledgerPath: string;
+    providerInfo: StepProviderInfo;
+    ledger: FindingLedger;
+} | {
+    status: 'invalid_manager_output';
+    ledgerPath: string;
+    providerInfo: StepProviderInfo;
+    reportPath: string;
+    errors: string[];
+    retryCount: number;
+};
+export declare function runFindingManagerForParallelStep(input: RunFindingManagerForParallelStepInput): Promise<FindingManagerRunResult>;
+export {};
+//# sourceMappingURL=manager-runner.d.ts.map

package/dist/core/workflow/findings/manager-runner.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"manager-runner.d.ts","sourceRoot":"","sources":["../../../../src/core/workflow/findings/manager-runner.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,aAAa,EAAqB,qBAAqB,EAAE,YAAY,EAAE,MAAM,uBAAuB,CAAC;AAQnH,OAAO,KAAK,EAAE,kBAAkB,EAAyC,MAAM,YAAY,CAAC;AAC5F,OAAO,KAAK,EAAE,aAAa,EAAoC,MAAM,YAAY,CAAC;AAKlF,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,6BAA6B,CAAC;AAClE,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AAC9D,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,aAAa,CAAC;AAGpD,MAAM,WAAW,2BAA2B;IAC1C,OAAO,EAAE,YAAY,CAAC;IACtB,QAAQ,EAAE,aAAa,CAAC;CACzB;AAED,UAAU,qCAAqC;IAC7C,QAAQ,EAAE,qBAAqB,CAAC;IAChC,WAAW,EAAE,kBAAkB,CAAC;IAChC,cAAc,EAAE,cAAc,CAAC;IAC/B,YAAY,EAAE,IAAI,CAAC,YAAY,EAAE,wBAAwB,GAAG,2BAA2B,CAAC,CAAC;IACzF,UAAU,EAAE,YAAY,CAAC;IACzB,aAAa,EAAE,MAAM,CAAC;IACtB,UAAU,EAAE,2BAA2B,EAAE,CAAC;IAC1C,YAAY,EAAE,MAAM,CAAC;IACrB,KAAK,EAAE,MAAM,CAAC;IACd,SAAS,EAAE,MAAM,CAAC;IAClB,cAAc,CAAC,EAAE,MAAM,CAAC;CACzB;AAED,eAAO,MAAM,uBAAuB,yBAAyB,CAAC;AAC9D,eAAO,MAAM,0BAA0B,6BAA6B,CAAC;AACrE,eAAO,MAAM,2BAA2B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CAG9B,CAAC;AAGX,MAAM,MAAM,uBAAuB,GAC/B;IAAE,MAAM,EAAE,SAAS,CAAC;IAAC,UAAU,EAAE,MAAM,CAAC;IAAC,YAAY,EAAE,gBAAgB,CAAC;IAAC,MAAM,EAAE,aAAa,CAAA;CAAE,GAChG;IACA,MAAM,EAAE,wBAAwB,CAAC;IACjC,UAAU,EAAE,MAAM,CAAC;IACnB,YAAY,EAAE,gBAAgB,CAAC;IAC/B,UAAU,EAAE,MAAM,CAAC;IACnB,MAAM,EAAE,MAAM,EAAE,CAAC;IACjB,UAAU,EAAE,MAAM,CAAC;CACpB,CAAC;AAkQJ,wBAAsB,gCAAgC,CACpD,KAAK,EAAE,qCAAqC,GAC3C,OAAO,CAAC,uBAAuB,CAAC,CAiFlC"}