audit-tools 0.28.0

package/dist/audit/reporting/synthesis.js

@@ -0,0 +1,369 @@
+import { AUDIT_FINDINGS_CONTRACT_VERSION as SHARED_AUDIT_FINDINGS_CONTRACT_VERSION, AUDITOR_REPORT_MARKER, renderProcessFeedbackSection, } from "audit-tools/shared";
+import { buildWorkBlocks } from "./workBlocks.js";
+import { mergeFindings } from "./mergeFindings.js";
+import { assignStableFindingIds } from "./findingIdentity.js";
+/**
+ * Contract version stamped onto the canonical `audit-findings.json`.
+ * Single-sourced from `audit-tools/shared` so the auditor's output and the
+ * remediator's validator can never drift (guarded by the
+ * `seam-artifact-ipc-envelope` test).
+ */
+export const AUDIT_FINDINGS_CONTRACT_VERSION = SHARED_AUDIT_FINDINGS_CONTRACT_VERSION;
+function countBy(items, selectKey) {
+    const breakdown = {};
+    for (const item of items) {
+        const key = selectKey(item);
+        if (!key) {
+            continue;
+        }
+        breakdown[key] = (breakdown[key] ?? 0) + 1;
+    }
+    return breakdown;
+}
+function severityBreakdown(findings) {
+    return countBy(findings, (finding) => finding.severity);
+}
+function lensBreakdown(findings) {
+    return countBy(findings, (finding) => finding.lens);
+}
+/**
+ * Per-status counts of the S7 grounding pass over the findings. Findings with no
+ * grounding verdict (the pass did not run on them) are skipped by `countBy`, so
+ * an empty result means "no finding was graded" and the caller omits the field.
+ */
+function groundingStatusBreakdown(findings) {
+    return countBy(findings, (finding) => finding.grounding?.status);
+}
+function runtimeStatusBreakdown(report, taskManifest) {
+    const breakdown = countBy(report?.results ?? [], (result) => result.status);
+    const resultTaskIds = new Set((report?.results ?? []).map((result) => result.task_id));
+    for (const task of taskManifest?.tasks ?? []) {
+        if (!resultTaskIds.has(task.id)) {
+            breakdown.pending = (breakdown.pending ?? 0) + 1;
+        }
+    }
+    return breakdown;
+}
+function coverageSummary(coverage) {
+    const files = coverage?.files ?? [];
+    return {
+        audited_file_count: files.filter((file) => file.audit_status === "complete").length,
+        excluded_file_count: files.filter((file) => file.audit_status === "excluded").length,
+        // Distinct from excluded: files a budget cap deferred (status set by scope).
+        budget_deferred_task_count: files.filter((file) => file.audit_status === "budget_deferred").length,
+    };
+}
+function formatSeverityList(summary) {
+    const ordered = ["critical", "high", "medium", "low", "info"];
+    const parts = ordered
+        .filter((severity) => (summary[severity] ?? 0) > 0)
+        .map((severity) => `${severity}: ${summary[severity]}`);
+    return parts.length > 0 ? parts.join(", ") : "none";
+}
+function formatCountList(summary) {
+    const parts = Object.entries(summary)
+        .filter(([, count]) => count > 0)
+        .sort(([left], [right]) => left.localeCompare(right))
+        .map(([key, count]) => `${key}: ${count}`);
+    return parts.length > 0 ? parts.join(", ") : "none";
+}
+export function buildAuditReportModel(params) {
+    // Re-key the finalized findings with globally-unique, content-addressed ids
+    // before anything addresses them by id. mergeFindings emits exactly one
+    // finding per file-independent identity (exact normalized lens|category|
+    // title) across files, units, and passes, and assignStableFindingIds hashes
+    // only stable identity signals — never line numbers, pass ids, or the merged
+    // file list — so the same logical finding keeps one id across passes and
+    // re-syntheses. buildWorkBlocks keys its union-find on finding.id, so the
+    // locally-scoped, collision-prone ids worker packets emit must be replaced
+    // here or unrelated findings fuse into one block.
+    const allFindings = assignStableFindingIds(mergeFindings(params.results, params.runtimeValidationReport, params.externalAnalyzerResults, params.designAssessment));
+    // B4: a tool-executable anchor that REFUTED a claim (status `refuted`, distinct
+    // from `ungrounded`) is quarantined-EXCLUDED — kept out of the admitted findings
+    // AND the work blocks so a disproven claim never merges as actionable fact. The
+    // refuted findings are preserved in `quarantined_findings` (quarantine, not
+    // delete) and rendered in their own report section. The exclusion happens AFTER
+    // merge so a finding grounded on another pass (grounded-wins in mergeGrounding)
+    // is never quarantined.
+    const findings = allFindings.filter((f) => f.grounding?.status !== "refuted");
+    const quarantinedRefuted = allFindings.filter((f) => f.grounding?.status === "refuted");
+    const workBlocks = buildWorkBlocks({
+        findings,
+        unitManifest: params.unitManifest,
+        graphBundle: params.graphBundle,
+        criticalFlows: params.criticalFlows,
+    });
+    const coverage = coverageSummary(params.coverageMatrix);
+    const strandedUnitCount = params.activeDispatch?.partial_completion_terminal?.stranded_ids?.length ?? 0;
+    // Count grounding over ALL findings (incl. quarantined-refuted) so the `refuted`
+    // tally reflects findings dropped from the admitted set.
+    const groundingBreakdown = groundingStatusBreakdown(allFindings);
+    const model = {
+        summary: {
+            finding_count: findings.length,
+            work_block_count: workBlocks.length,
+            severity_breakdown: severityBreakdown(findings),
+            lens_breakdown: lensBreakdown(findings),
+            audited_file_count: coverage.audited_file_count,
+            excluded_file_count: coverage.excluded_file_count,
+            budget_deferred_task_count: coverage.budget_deferred_task_count,
+            ...(strandedUnitCount > 0 ? { stranded_unit_count: strandedUnitCount } : {}),
+            ...(Object.keys(groundingBreakdown).length > 0
+                ? { grounding_status_breakdown: groundingBreakdown }
+                : {}),
+            runtime_validation_status_breakdown: runtimeStatusBreakdown(params.runtimeValidationReport, params.runtimeValidationTaskManifest),
+        },
+        findings,
+        work_blocks: workBlocks,
+        ...(quarantinedRefuted.length > 0 ? { quarantined_findings: quarantinedRefuted } : {}),
+    };
+    return model;
+}
+/**
+ * Wrap the deterministic report model in the canonical `audit-findings.json`
+ * contract — the machine hand-off consumed by the remediator. Narrative fields
+ * are absent here; they are layered on later by {@link applyNarrative}.
+ */
+export function buildAuditFindingsReport(model) {
+    const report = {
+        contract_version: AUDIT_FINDINGS_CONTRACT_VERSION,
+        summary: { ...model.summary },
+        findings: model.findings,
+        work_blocks: model.work_blocks,
+        ...(model.quarantined_findings && model.quarantined_findings.length > 0
+            ? { quarantined_findings: model.quarantined_findings }
+            : {}),
+    };
+    return report;
+}
+/**
+ * Merge an LLM synthesis narrative into the canonical findings report: keep only
+ * themes whose `finding_ids` reference real findings, tag each covered finding
+ * with its (first-claiming) `theme_id`, and attach the executive summary / top
+ * risks. Deterministic and idempotent — the same narrative yields the same
+ * report.
+ */
+export function applyNarrative(report, narrative) {
+    const validFindingIds = new Set(report.findings.map((finding) => finding.id));
+    const themeByFinding = new Map();
+    const themes = [];
+    for (const theme of narrative.themes ?? []) {
+        // Deduplicate within the theme first, then filter to valid ids that have not
+        // yet been claimed by a prior (first-claiming) theme. This enforces the
+        // "each finding belongs to at most one theme" contract — the first theme in
+        // narrative.themes to list a given id wins; later themes have it stripped.
+        const findingIds = [
+            ...new Set((theme.finding_ids ?? []).filter((id) => validFindingIds.has(id) && !themeByFinding.has(id))),
+        ];
+        themes.push({
+            theme_id: theme.theme_id,
+            title: theme.title,
+            root_cause: theme.root_cause,
+            finding_ids: findingIds,
+            suggested_fix_pattern: theme.suggested_fix_pattern,
+        });
+        for (const id of findingIds) {
+            themeByFinding.set(id, theme.theme_id);
+        }
+    }
+    const findings = report.findings.map((finding) => themeByFinding.has(finding.id)
+        ? { ...finding, theme_id: themeByFinding.get(finding.id) }
+        : finding);
+    return {
+        ...report,
+        findings,
+        themes,
+        executive_summary: narrative.executive_summary,
+        top_risks: narrative.top_risks,
+    };
+}
+export function renderAuditReportMarkdown(report, options = {}) {
+    const lines = [
+        AUDITOR_REPORT_MARKER,
+        "# Audit Report",
+        "",
+    ];
+    if (report.executive_summary && report.executive_summary.trim().length > 0) {
+        lines.push("## Executive Summary", "", report.executive_summary.trim(), "");
+    }
+    lines.push("## Summary", "", `- Findings: ${report.summary.finding_count}`, `- Work blocks: ${report.summary.work_block_count}`, `- Severity breakdown: ${formatSeverityList(report.summary.severity_breakdown)}`, ...(report.summary.lens_breakdown && Object.keys(report.summary.lens_breakdown).length > 0
+        ? [`- Lens breakdown: ${formatCountList(report.summary.lens_breakdown)}`]
+        : []), ...(report.summary.grounding_status_breakdown &&
+        Object.keys(report.summary.grounding_status_breakdown).length > 0
+        ? [
+            `- Grounding (S7): ${formatCountList(report.summary.grounding_status_breakdown)}` +
+                [
+                    (report.summary.grounding_status_breakdown.ungrounded ?? 0) > 0
+                        ? "ungrounded findings are surfaced-not-confirmed below"
+                        : null,
+                    (report.summary.grounding_status_breakdown.refuted ?? 0) > 0
+                        ? "refuted findings are quarantined-excluded below"
+                        : null,
+                ]
+                    .filter(Boolean)
+                    .reduce((acc, note, i) => acc + (i === 0 ? " — " : "; ") + note, ""),
+        ]
+        : []), `- Fully audited files: ${report.summary.audited_file_count}`, `- Excluded non-auditable files: ${report.summary.excluded_file_count}`, ...((report.summary.budget_deferred_task_count ?? 0) > 0
+        ? [
+            `- Not audited (budget): ${report.summary.budget_deferred_task_count} task(s) skipped by packet budget cap`,
+        ]
+        : []), ...((report.summary.stranded_unit_count ?? 0) > 0
+        ? [
+            `- Not audited (provider pool exhausted): ${report.summary.stranded_unit_count} unit(s) were not audited because the provider pool was exhausted before dispatch could complete (partial coverage)`,
+        ]
+        : []), "");
+    if (report.top_risks && report.top_risks.length > 0) {
+        lines.push("## Top Risks", "");
+        for (const risk of report.top_risks) {
+            lines.push(`- ${risk}`);
+        }
+        lines.push("");
+    }
+    if (report.themes && report.themes.length > 0) {
+        lines.push("## Themes", "");
+        for (const theme of report.themes) {
+            lines.push(`### ${theme.theme_id} — ${theme.title}`);
+            lines.push("");
+            lines.push(`- Root cause: ${theme.root_cause}`);
+            lines.push(`- Findings: ${theme.finding_ids.length > 0 ? theme.finding_ids.join(", ") : "none"}`);
+            lines.push(`- Suggested fix pattern: ${theme.suggested_fix_pattern}`);
+            lines.push("");
+        }
+    }
+    lines.push("## Work Blocks", "");
+    if (report.work_blocks.length === 0) {
+        lines.push("No remediation work blocks were generated.", "");
+    }
+    else {
+        for (const block of report.work_blocks) {
+            lines.push(`### ${block.id}`);
+            lines.push("");
+            lines.push(`- Max severity: ${block.max_severity}`);
+            lines.push(`- Units: ${block.unit_ids.join(", ")}`);
+            lines.push(`- Owned files: ${block.owned_files.join(", ")}`);
+            lines.push(`- Findings: ${block.finding_ids.join(", ")}`);
+            lines.push(`- Depends on: ${block.depends_on.length > 0 ? block.depends_on.join(", ") : "none"}`);
+            lines.push(`- Rationale: ${block.rationale}`);
+            lines.push("");
+        }
+    }
+    lines.push("## Findings", "");
+    if (report.findings.length === 0) {
+        lines.push("No findings were recorded.", "");
+    }
+    else {
+        for (const finding of report.findings) {
+            lines.push(`### ${finding.id} — ${finding.title}`);
+            lines.push("");
+            lines.push(`- Severity: ${finding.severity}`);
+            lines.push(`- Confidence: ${finding.confidence}`);
+            lines.push(`- Lens: ${finding.lens}`);
+            lines.push(`- Category: ${finding.category}`);
+            if (finding.theme_id) {
+                lines.push(`- Theme: ${finding.theme_id}`);
+            }
+            lines.push(`- Files: ${finding.affected_files.map((file) => file.path).join(", ")}`);
+            lines.push(`- Summary: ${finding.summary}`);
+            if (finding.grounding?.status === "ungrounded") {
+                lines.push(`- ⚠ Grounding: ungrounded — ${finding.grounding.reason ?? "cited span did not re-verify against disk"} (surfaced, not confirmed)`);
+            }
+            if (finding.evidence && finding.evidence.length > 0) {
+                lines.push("- Evidence:");
+                for (const evidence of finding.evidence) {
+                    lines.push(`  - ${evidence}`);
+                }
+            }
+            lines.push("");
+        }
+    }
+    // S7 surfacing: list the findings the grounding pass could not re-verify
+    // against disk in a dedicated, visually-separated section so they are never
+    // silently confirmed. They remain in the main findings list (and in the machine
+    // contract / work blocks) but are explicitly marked not-confirmed.
+    const ungroundedFindings = report.findings.filter((finding) => finding.grounding?.status === "ungrounded");
+    if (ungroundedFindings.length > 0) {
+        lines.push("## Ungrounded Findings (not confirmed)", "");
+        lines.push(`${ungroundedFindings.length} finding(s) could not be re-verified against the source on disk (S7 grounding: the cited verbatim span was not found, or no span was provided). They appear above with the other findings but are **not confirmed** — treat them with skepticism and check the code before acting.`, "");
+        for (const finding of ungroundedFindings) {
+            lines.push(`- **${finding.id}** — ${finding.title} (${finding.severity}, ${finding.lens})`);
+            if (finding.grounding?.reason) {
+                lines.push(`  - Reason: ${finding.grounding.reason}`);
+            }
+        }
+        lines.push("");
+    }
+    // B4: tool-REFUTED findings — an executable anchor actively DISPROVED the claim.
+    // Unlike ungrounded findings, these are EXCLUDED from the admitted findings and
+    // work blocks (never actionable), but recorded here (quarantine, not delete) so
+    // the disproof is auditable.
+    const refutedFindings = report.quarantined_findings ?? [];
+    if (refutedFindings.length > 0) {
+        lines.push("## Refuted Findings (quarantined — excluded)", "");
+        lines.push(`${refutedFindings.length} finding(s) were DISPROVED by a tool-executable anchor (S7 tier-2). They are **excluded** from the findings and work blocks above — a disproven claim is never actionable — and are listed here only for auditability.`, "");
+        for (const finding of refutedFindings) {
+            lines.push(`- **${finding.id}** — ${finding.title} (${finding.severity}, ${finding.lens})`);
+            if (finding.grounding?.reason) {
+                lines.push(`  - Refuted: ${finding.grounding.reason}`);
+            }
+        }
+        lines.push("");
+    }
+    lines.push(...renderProcessFeedbackSection(options.reflections ?? []));
+    const excludedScope = options.intent_checkpoint?.excluded_scope ?? [];
+    if (excludedScope.length > 0) {
+        lines.push("## Excluded / Out-of-Scope", "");
+        lines.push(`${excludedScope.length} path(s) were excluded from this audit per the intent checkpoint:`, "");
+        for (const entry of excludedScope) {
+            lines.push(`- \`${entry.path}\` — ${entry.reason}`);
+        }
+        lines.push("");
+    }
+    lines.push("## Scope and Coverage", "");
+    const scope = options.scope;
+    if (scope && scope.mode === "delta") {
+        lines.push(`**Delta audit since \`${scope.since}\`.** This run audited ${scope.seed_files.length} changed file(s) and ${scope.expanded_files.length} graph neighbour(s); all other auditable files were left out of scope (inherited from a prior audit where complete, otherwise excluded from this run). **A full audit is advised before release.**`);
+        if (scope.dropped_note) {
+            lines.push("", scope.dropped_note);
+        }
+    }
+    else if (scope && scope.mode === "budget") {
+        lines.push(`**Partial audit (budget cap).** This run dispatched only the top-${scope.budget?.max_files ?? "K"} packet(s); ` +
+            `${scope.deferred_packet_count ?? 0} packet(s) covering ${scope.deferred_task_ids?.length ?? 0} task(s) were deferred and NOT audited. ` +
+            `Findings above reflect only the audited subset. **A full audit is advised before release.**`);
+        if (scope.dropped_note) {
+            lines.push("", scope.dropped_note);
+        }
+    }
+    else {
+        lines.push("This report is deterministic output from the completed audit. Non-auditable files were excluded from scope before task generation.");
+    }
+    lines.push("");
+    return lines.join("\n");
+}
+/**
+ * Re-derive the summary fields that can be computed from the existing findings
+ * and work_blocks, bump the contract_version to the current constant, and leave
+ * upstream-derived fields that cannot be reconstructed (audited/excluded counts,
+ * runtime validation breakdown) untouched.
+ *
+ * Safe to call on already-promoted `audit-findings.json` files without access to
+ * the pruned `.audit-tools/audit` working-bundle intermediates.
+ */
+export function normalizeExistingFindingsReport(report) {
+    const groundingBreakdown = groundingStatusBreakdown(report.findings);
+    return {
+        ...report,
+        contract_version: AUDIT_FINDINGS_CONTRACT_VERSION,
+        summary: {
+            ...report.summary,
+            finding_count: report.findings.length,
+            work_block_count: report.work_blocks.length,
+            severity_breakdown: severityBreakdown(report.findings),
+            lens_breakdown: lensBreakdown(report.findings),
+            ...(Object.keys(groundingBreakdown).length > 0
+                ? { grounding_status_breakdown: groundingBreakdown }
+                : {}),
+        },
+    };
+}
+//# sourceMappingURL=synthesis.js.map

package/dist/audit/reporting/synthesis.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"synthesis.js","sourceRoot":"","sources":["../../../src/audit/reporting/synthesis.ts"],"names":[],"mappings":"AAcA,OAAO,EACL,+BAA+B,IAAI,sCAAsC,EACzE,qBAAqB,EACrB,4BAA4B,GAE7B,MAAM,oBAAoB,CAAC;AAK5B,OAAO,EAAE,eAAe,EAAkB,MAAM,iBAAiB,CAAC;AAClE,OAAO,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC;AACnD,OAAO,EAAE,sBAAsB,EAAE,MAAM,sBAAsB,CAAC;AAE9D;;;;;GAKG;AACH,MAAM,CAAC,MAAM,+BAA+B,GAC1C,sCAAsC,CAAC;AA2DzC,SAAS,OAAO,CACd,KAAkB,EAClB,SAA0C;IAE1C,MAAM,SAAS,GAA2B,EAAE,CAAC;IAC7C,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,GAAG,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC;QAC5B,IAAI,CAAC,GAAG,EAAE,CAAC;YACT,SAAS;QACX,CAAC;QACD,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;IAC7C,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,iBAAiB,CAAC,QAAmB;IAC5C,OAAO,OAAO,CAAC,QAAQ,EAAE,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;AAC1D,CAAC;AAED,SAAS,aAAa,CAAC,QAAmB;IACxC,OAAO,OAAO,CAAC,QAAQ,EAAE,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;AACtD,CAAC;AAED;;;;GAIG;AACH,SAAS,wBAAwB,CAAC,QAAmB;IACnD,OAAO,OAAO,CAAC,QAAQ,EAAE,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC;AACnE,CAAC;AAED,SAAS,sBAAsB,CAC7B,MAAgC,EAChC,YAA4C;IAE5C,MAAM,SAAS,GAAG,OAAO,CAAC,MAAM,EAAE,OAAO,IAAI,EAAE,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IAC5E,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC,CAAC,MAAM,EAAE,OAAO,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC;IACvF,KAAK,MAAM,IAAI,IAAI,YAAY,EAAE,KAAK,IAAI,EAAE,EAAE,CAAC;QAC7C,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC;YAChC,SAAS,CAAC,OAAO,GAAG,CAAC,SAAS,CAAC,OAAO,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;QACnD,CAAC;IACH,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,eAAe,CAAC,QAAyB;IAKhD,MAAM,KAAK,GAAG,QAAQ,EAAE,KAAK,IAAI,EAAE,CAAC;IACpC,OAAO;QACL,kBAAkB,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,YAAY,KAAK,UAAU,CAAC,CAAC,MAAM;QACnF,mBAAmB,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,YAAY,KAAK,UAAU,CAAC,CAAC,MAAM;QACpF,6EAA6E;QAC7E,0BAA0B,EAAE,KAAK,CAAC,MAAM,CACtC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,YAAY,KAAK,iBAAiB,CAClD,CAAC,MAAM;KACT,CAAC;AACJ,CAAC;AAED,SAAS,kBAAkB,CAAC,OAA+B;IACzD,MAAM,OAAO,GAAG,CAAC,UAAU,EAAE,MAAM,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;IAC9D,MAAM,KAAK,GAAG,OAAO;SAClB,MAAM,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;SAClD,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,GAAG,QAAQ,KAAK,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;IAC1D,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;AACtD,CAAC;AAED,SAAS,eAAe,CAAC,OAA+B;IACtD,MAAM,KAAK,GAAG,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC;SAClC,MAAM,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,KAAK,GAAG,CAAC,CAAC;SAChC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC;SACpD,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,KAAK,KAAK,EAAE,CAAC,CAAC;IAC7C,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;AACtD,CAAC;AAED,MAAM,UAAU,qBAAqB,CAAC,MAYrC;IACC,4EAA4E;IAC5E,wEAAwE;IACxE,yEAAyE;IACzE,4EAA4E;IAC5E,6EAA6E;IAC7E,yEAAyE;IACzE,0EAA0E;IAC1E,2EAA2E;IAC3E,kDAAkD;IAClD,MAAM,WAAW,GAAG,sBAAsB,CACxC,aAAa,CACX,MAAM,CAAC,OAAO,EACd,MAAM,CAAC,uBAAuB,EAC9B,MAAM,CAAC,uBAAuB,EAC9B,MAAM,CAAC,gBAAgB,CACxB,CACF,CAAC;IACF,gFAAgF;IAChF,iFAAiF;IACjF,gFAAgF;IAChF,4EAA4E;IAC5E,gFAAgF;IAChF,gFAAgF;IAChF,wBAAwB;IACxB,MAAM,QAAQ,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,EAAE,MAAM,KAAK,SAAS,CAAC,CAAC;IAC9E,MAAM,kBAAkB,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,EAAE,MAAM,KAAK,SAAS,CAAC,CAAC;IACxF,MAAM,UAAU,GAAG,eAAe,CAAC;QACjC,QAAQ;QACR,YAAY,EAAE,MAAM,CAAC,YAAY;QACjC,WAAW,EAAE,MAAM,CAAC,WAAW;QAC/B,aAAa,EAAE,MAAM,CAAC,aAAa;KACpC,CAAC,CAAC;IACH,MAAM,QAAQ,GAAG,eAAe,CAAC,MAAM,CAAC,cAAc,CAAC,CAAC;IACxD,MAAM,iBAAiB,GACrB,MAAM,CAAC,cAAc,EAAE,2BAA2B,EAAE,YAAY,EAAE,MAAM,IAAI,CAAC,CAAC;IAChF,iFAAiF;IACjF,yDAAyD;IACzD,MAAM,kBAAkB,GAAG,wBAAwB,CAAC,WAAW,CAAC,CAAC;IACjE,MAAM,KAAK,GAAqB;QAC9B,OAAO,EAAE;YACP,aAAa,EAAE,QAAQ,CAAC,MAAM;YAC9B,gBAAgB,EAAE,UAAU,CAAC,MAAM;YACnC,kBAAkB,EAAE,iBAAiB,CAAC,QAAQ,CAAC;YAC/C,cAAc,EAAE,aAAa,CAAC,QAAQ,CAAC;YACvC,kBAAkB,EAAE,QAAQ,CAAC,kBAAkB;YAC/C,mBAAmB,EAAE,QAAQ,CAAC,mBAAmB;YACjD,0BAA0B,EAAE,QAAQ,CAAC,0BAA0B;YAC/D,GAAG,CAAC,iBAAiB,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,mBAAmB,EAAE,iBAAiB,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC5E,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC,MAAM,GAAG,CAAC;gBAC5C,CAAC,CAAC,EAAE,0BAA0B,EAAE,kBAAkB,EAAE;gBACpD,CAAC,CAAC,EAAE,CAAC;YACP,mCAAmC,EAAE,sBAAsB,CACzD,MAAM,CAAC,uBAAuB,EAC9B,MAAM,CAAC,6BAA6B,CACrC;SACF;QACD,QAAQ;QACR,WAAW,EAAE,UAAU;QACvB,GAAG,CAAC,kBAAkB,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,oBAAoB,EAAE,kBAAkB,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KACvF,CAAC;IACF,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,wBAAwB,CACtC,KAAuB;IAEvB,MAAM,MAAM,GAAwB;QAClC,gBAAgB,EAAE,+BAA+B;QACjD,OAAO,EAAE,EAAE,GAAG,KAAK,CAAC,OAAO,EAAE;QAC7B,QAAQ,EAAE,KAAK,CAAC,QAAQ;QACxB,WAAW,EAAE,KAAK,CAAC,WAAW;QAC9B,GAAG,CAAC,KAAK,CAAC,oBAAoB,IAAI,KAAK,CAAC,oBAAoB,CAAC,MAAM,GAAG,CAAC;YACrE,CAAC,CAAC,EAAE,oBAAoB,EAAE,KAAK,CAAC,oBAAoB,EAAE;YACtD,CAAC,CAAC,EAAE,CAAC;KACR,CAAC;IACF,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,cAAc,CAC5B,MAA2B,EAC3B,SAA6B;IAE7B,MAAM,eAAe,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC;IAC9E,MAAM,cAAc,GAAG,IAAI,GAAG,EAAkB,CAAC;IACjD,MAAM,MAAM,GAAmB,EAAE,CAAC;IAElC,KAAK,MAAM,KAAK,IAAI,SAAS,CAAC,MAAM,IAAI,EAAE,EAAE,CAAC;QAC3C,6EAA6E;QAC7E,wEAAwE;QACxE,4EAA4E;QAC5E,2EAA2E;QAC3E,MAAM,UAAU,GAAG;YACjB,GAAG,IAAI,GAAG,CAAC,CAAC,KAAK,CAAC,WAAW,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,eAAe,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;SACzG,CAAC;QACF,MAAM,CAAC,IAAI,CAAC;YACV,QAAQ,EAAE,KAAK,CAAC,QAAQ;YACxB,KAAK,EAAE,KAAK,CAAC,KAAK;YAClB,UAAU,EAAE,KAAK,CAAC,UAAU;YAC5B,WAAW,EAAE,UAAU;YACvB,qBAAqB,EAAE,KAAK,CAAC,qBAAqB;SACnD,CAAC,CAAC;QACH,KAAK,MAAM,EAAE,IAAI,UAAU,EAAE,CAAC;YAC5B,cAAc,CAAC,GAAG,CAAC,EAAE,EAAE,KAAK,CAAC,QAAQ,CAAC,CAAC;QACzC,CAAC;IACH,CAAC;IAED,MAAM,QAAQ,GAAG,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAC/C,cAAc,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;QAC5B,CAAC,CAAC,EAAE,GAAG,OAAO,EAAE,QAAQ,EAAE,cAAc,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,EAAE;QAC1D,CAAC,CAAC,OAAO,CACZ,CAAC;IAEF,OAAO;QACL,GAAG,MAAM;QACT,QAAQ;QACR,MAAM;QACN,iBAAiB,EAAE,SAAS,CAAC,iBAAiB;QAC9C,SAAS,EAAE,SAAS,CAAC,SAAS;KAC/B,CAAC;AACJ,CAAC;AAmBD,MAAM,UAAU,yBAAyB,CACvC,MAA6B,EAC7B,UAAoC,EAAE;IAEtC,MAAM,KAAK,GAAa;QACtB,qBAAqB;QACrB,gBAAgB;QAChB,EAAE;KACH,CAAC;IAEF,IAAI,MAAM,CAAC,iBAAiB,IAAI,MAAM,CAAC,iBAAiB,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC3E,KAAK,CAAC,IAAI,CAAC,sBAAsB,EAAE,EAAE,EAAE,MAAM,CAAC,iBAAiB,CAAC,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC;IAC9E,CAAC;IAED,KAAK,CAAC,IAAI,CACR,YAAY,EACZ,EAAE,EACF,eAAe,MAAM,CAAC,OAAO,CAAC,aAAa,EAAE,EAC7C,kBAAkB,MAAM,CAAC,OAAO,CAAC,gBAAgB,EAAE,EACnD,yBAAyB,kBAAkB,CAAC,MAAM,CAAC,OAAO,CAAC,kBAAkB,CAAC,EAAE,EAChF,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,cAAc,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,cAAc,CAAC,CAAC,MAAM,GAAG,CAAC;QACxF,CAAC,CAAC,CAAC,qBAAqB,eAAe,CAAC,MAAM,CAAC,OAAO,CAAC,cAAc,CAAC,EAAE,CAAC;QACzE,CAAC,CAAC,EAAE,CAAC,EACP,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,0BAA0B;QAC7C,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,0BAA0B,CAAC,CAAC,MAAM,GAAG,CAAC;QAC/D,CAAC,CAAC;YACE,qBAAqB,eAAe,CAAC,MAAM,CAAC,OAAO,CAAC,0BAA0B,CAAC,EAAE;gBAC/E;oBACE,CAAC,MAAM,CAAC,OAAO,CAAC,0BAA0B,CAAC,UAAU,IAAI,CAAC,CAAC,GAAG,CAAC;wBAC7D,CAAC,CAAC,sDAAsD;wBACxD,CAAC,CAAC,IAAI;oBACR,CAAC,MAAM,CAAC,OAAO,CAAC,0BAA0B,CAAC,OAAO,IAAI,CAAC,CAAC,GAAG,CAAC;wBAC1D,CAAC,CAAC,iDAAiD;wBACnD,CAAC,CAAC,IAAI;iBACT;qBACE,MAAM,CAAC,OAAO,CAAC;qBACf,MAAM,CAAC,CAAC,GAAG,EAAE,IAAI,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,IAAI,EAAE,EAAE,CAAC;SACzE;QACH,CAAC,CAAC,EAAE,CAAC,EACP,0BAA0B,MAAM,CAAC,OAAO,CAAC,kBAAkB,EAAE,EAC7D,mCAAmC,MAAM,CAAC,OAAO,CAAC,mBAAmB,EAAE,EACvE,GAAG,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,0BAA0B,IAAI,CAAC,CAAC,GAAG,CAAC;QACtD,CAAC,CAAC;YACE,2BAA2B,MAAM,CAAC,OAAO,CAAC,0BAA0B,uCAAuC;SAC5G;QACH,CAAC,CAAC,EAAE,CAAC,EACP,GAAG,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,mBAAmB,IAAI,CAAC,CAAC,GAAG,CAAC;QAC/C,CAAC,CAAC;YACE,4CAA4C,MAAM,CAAC,OAAO,CAAC,mBAAmB,qHAAqH;SACpM;QACH,CAAC,CAAC,EAAE,CAAC,EACP,EAAE,CACH,CAAC;IAEF,IAAI,MAAM,CAAC,SAAS,IAAI,MAAM,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACpD,KAAK,CAAC,IAAI,CAAC,cAAc,EAAE,EAAE,CAAC,CAAC;QAC/B,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,SAAS,EAAE,CAAC;YACpC,KAAK,CAAC,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC;QAC1B,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACjB,CAAC;IAED,IAAI,MAAM,CAAC,MAAM,IAAI,MAAM,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC9C,KAAK,CAAC,IAAI,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC;QAC5B,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;YAClC,KAAK,CAAC,IAAI,CAAC,OAAO,KAAK,CAAC,QAAQ,MAAM,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC;YACrD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YACf,KAAK,CAAC,IAAI,CAAC,iBAAiB,KAAK,CAAC,UAAU,EAAE,CAAC,CAAC;YAChD,KAAK,CAAC,IAAI,CACR,eAAe,KAAK,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,EAAE,CACtF,CAAC;YACF,KAAK,CAAC,IAAI,CAAC,4BAA4B,KAAK,CAAC,qBAAqB,EAAE,CAAC,CAAC;YACtE,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACjB,CAAC;IACH,CAAC;IAED,KAAK,CAAC,IAAI,CAAC,gBAAgB,EAAE,EAAE,CAAC,CAAC;IAEjC,IAAI,MAAM,CAAC,WAAW,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACpC,KAAK,CAAC,IAAI,CAAC,4CAA4C,EAAE,EAAE,CAAC,CAAC;IAC/D,CAAC;SAAM,CAAC;QACN,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,WAAW,EAAE,CAAC;YACvC,KAAK,CAAC,IAAI,CAAC,OAAO,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC;YAC9B,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YACf,KAAK,CAAC,IAAI,CAAC,mBAAmB,KAAK,CAAC,YAAY,EAAE,CAAC,CAAC;YACpD,KAAK,CAAC,IAAI,CAAC,YAAY,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YACpD,KAAK,CAAC,IAAI,CAAC,kBAAkB,KAAK,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YAC7D,KAAK,CAAC,IAAI,CAAC,eAAe,KAAK,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YAC1D,KAAK,CAAC,IAAI,CACR,iBAAiB,KAAK,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,EAAE,CACtF,CAAC;YACF,KAAK,CAAC,IAAI,CAAC,gBAAgB,KAAK,CAAC,SAAS,EAAE,CAAC,CAAC;YAC9C,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACjB,CAAC;IACH,CAAC;IAED,KAAK,CAAC,IAAI,CAAC,aAAa,EAAE,EAAE,CAAC,CAAC;IAC9B,IAAI,MAAM,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACjC,KAAK,CAAC,IAAI,CAAC,4BAA4B,EAAE,EAAE,CAAC,CAAC;IAC/C,CAAC;SAAM,CAAC;QACN,KAAK,MAAM,OAAO,IAAI,MAAM,CAAC,QAAQ,EAAE,CAAC;YACtC,KAAK,CAAC,IAAI,CAAC,OAAO,OAAO,CAAC,EAAE,MAAM,OAAO,CAAC,KAAK,EAAE,CAAC,CAAC;YACnD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YACf,KAAK,CAAC,IAAI,CAAC,eAAe,OAAO,CAAC,QAAQ,EAAE,CAAC,CAAC;YAC9C,KAAK,CAAC,IAAI,CAAC,iBAAiB,OAAO,CAAC,UAAU,EAAE,CAAC,CAAC;YAClD,KAAK,CAAC,IAAI,CAAC,WAAW,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC;YACtC,KAAK,CAAC,IAAI,CAAC,eAAe,OAAO,CAAC,QAAQ,EAAE,CAAC,CAAC;YAC9C,IAAI,OAAO,CAAC,QAAQ,EAAE,CAAC;gBACrB,KAAK,CAAC,IAAI,CAAC,YAAY,OAAO,CAAC,QAAQ,EAAE,CAAC,CAAC;YAC7C,CAAC;YACD,KAAK,CAAC,IAAI,CAAC,YAAY,OAAO,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YACrF,KAAK,CAAC,IAAI,CAAC,cAAc,OAAO,CAAC,OAAO,EAAE,CAAC,CAAC;YAC5C,IAAI,OAAO,CAAC,SAAS,EAAE,MAAM,KAAK,YAAY,EAAE,CAAC;gBAC/C,KAAK,CAAC,IAAI,CACR,+BAA+B,OAAO,CAAC,SAAS,CAAC,MAAM,IAAI,2CAA2C,4BAA4B,CACnI,CAAC;YACJ,CAAC;YACD,IAAI,OAAO,CAAC,QAAQ,IAAI,OAAO,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACpD,KAAK,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;gBAC1B,KAAK,MAAM,QAAQ,IAAI,OAAO,CAAC,QAAQ,EAAE,CAAC;oBACxC,KAAK,CAAC,IAAI,CAAC,OAAO,QAAQ,EAAE,CAAC,CAAC;gBAChC,CAAC;YACH,CAAC;YACD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACjB,CAAC;IACH,CAAC;IAED,yEAAyE;IACzE,4EAA4E;IAC5E,gFAAgF;IAChF,mEAAmE;IACnE,MAAM,kBAAkB,GAAG,MAAM,CAAC,QAAQ,CAAC,MAAM,CAC/C,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,SAAS,EAAE,MAAM,KAAK,YAAY,CACxD,CAAC;IACF,IAAI,kBAAkB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAClC,KAAK,CAAC,IAAI,CAAC,wCAAwC,EAAE,EAAE,CAAC,CAAC;QACzD,KAAK,CAAC,IAAI,CACR,GAAG,kBAAkB,CAAC,MAAM,oRAAoR,EAChT,EAAE,CACH,CAAC;QACF,KAAK,MAAM,OAAO,IAAI,kBAAkB,EAAE,CAAC;YACzC,KAAK,CAAC,IAAI,CACR,OAAO,OAAO,CAAC,EAAE,QAAQ,OAAO,CAAC,KAAK,KAAK,OAAO,CAAC,QAAQ,KAAK,OAAO,CAAC,IAAI,GAAG,CAChF,CAAC;YACF,IAAI,OAAO,CAAC,SAAS,EAAE,MAAM,EAAE,CAAC;gBAC9B,KAAK,CAAC,IAAI,CAAC,eAAe,OAAO,CAAC,SAAS,CAAC,MAAM,EAAE,CAAC,CAAC;YACxD,CAAC;QACH,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACjB,CAAC;IAED,iFAAiF;IACjF,gFAAgF;IAChF,gFAAgF;IAChF,6BAA6B;IAC7B,MAAM,eAAe,GAAG,MAAM,CAAC,oBAAoB,IAAI,EAAE,CAAC;IAC1D,IAAI,eAAe,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC/B,KAAK,CAAC,IAAI,CAAC,8CAA8C,EAAE,EAAE,CAAC,CAAC;QAC/D,KAAK,CAAC,IAAI,CACR,GAAG,eAAe,CAAC,MAAM,wNAAwN,EACjP,EAAE,CACH,CAAC;QACF,KAAK,MAAM,OAAO,IAAI,eAAe,EAAE,CAAC;YACtC,KAAK,CAAC,IAAI,CACR,OAAO,OAAO,CAAC,EAAE,QAAQ,OAAO,CAAC,KAAK,KAAK,OAAO,CAAC,QAAQ,KAAK,OAAO,CAAC,IAAI,GAAG,CAChF,CAAC;YACF,IAAI,OAAO,CAAC,SAAS,EAAE,MAAM,EAAE,CAAC;gBAC9B,KAAK,CAAC,IAAI,CAAC,gBAAgB,OAAO,CAAC,SAAS,CAAC,MAAM,EAAE,CAAC,CAAC;YACzD,CAAC;QACH,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACjB,CAAC;IAED,KAAK,CAAC,IAAI,CAAC,GAAG,4BAA4B,CAAC,OAAO,CAAC,WAAW,IAAI,EAAE,CAAC,CAAC,CAAC;IAEvE,MAAM,aAAa,GAAG,OAAO,CAAC,iBAAiB,EAAE,cAAc,IAAI,EAAE,CAAC;IACtE,IAAI,aAAa,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC7B,KAAK,CAAC,IAAI,CAAC,4BAA4B,EAAE,EAAE,CAAC,CAAC;QAC7C,KAAK,CAAC,IAAI,CACR,GAAG,aAAa,CAAC,MAAM,mEAAmE,EAC1F,EAAE,CACH,CAAC;QACF,KAAK,MAAM,KAAK,IAAI,aAAa,EAAE,CAAC;YAClC,KAAK,CAAC,IAAI,CAAC,OAAO,KAAK,CAAC,IAAI,QAAQ,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC;QACtD,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACjB,CAAC;IAED,KAAK,CAAC,IAAI,CAAC,uBAAuB,EAAE,EAAE,CAAC,CAAC;IACxC,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC;IAC5B,IAAI,KAAK,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QACpC,KAAK,CAAC,IAAI,CACR,yBAAyB,KAAK,CAAC,KAAK,0BAA0B,KAAK,CAAC,UAAU,CAAC,MAAM,wBAAwB,KAAK,CAAC,cAAc,CAAC,MAAM,oMAAoM,CAC7U,CAAC;QACF,IAAI,KAAK,CAAC,YAAY,EAAE,CAAC;YACvB,KAAK,CAAC,IAAI,CAAC,EAAE,EAAE,KAAK,CAAC,YAAY,CAAC,CAAC;QACrC,CAAC;IACH,CAAC;SAAM,IAAI,KAAK,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC5C,KAAK,CAAC,IAAI,CACR,oEAAoE,KAAK,CAAC,MAAM,EAAE,SAAS,IAAI,GAAG,cAAc;YAC9G,GAAG,KAAK,CAAC,qBAAqB,IAAI,CAAC,uBAAuB,KAAK,CAAC,iBAAiB,EAAE,MAAM,IAAI,CAAC,0CAA0C;YACxI,6FAA6F,CAChG,CAAC;QACF,IAAI,KAAK,CAAC,YAAY,EAAE,CAAC;YACvB,KAAK,CAAC,IAAI,CAAC,EAAE,EAAE,KAAK,CAAC,YAAY,CAAC,CAAC;QACrC,CAAC;IACH,CAAC;SAAM,CAAC;QACN,KAAK,CAAC,IAAI,CACR,oIAAoI,CACrI,CAAC;IACJ,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACf,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,+BAA+B,CAC7C,MAA2B;IAE3B,MAAM,kBAAkB,GAAG,wBAAwB,CAAC,MAAM,CAAC,QAAqB,CAAC,CAAC;IAClF,OAAO;QACL,GAAG,MAAM;QACT,gBAAgB,EAAE,+BAA+B;QACjD,OAAO,EAAE;YACP,GAAG,MAAM,CAAC,OAAO;YACjB,aAAa,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM;YACrC,gBAAgB,EAAE,MAAM,CAAC,WAAW,CAAC,MAAM;YAC3C,kBAAkB,EAAE,iBAAiB,CAAC,MAAM,CAAC,QAAqB,CAAC;YACnE,cAAc,EAAE,aAAa,CAAC,MAAM,CAAC,QAAqB,CAAC;YAC3D,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC,MAAM,GAAG,CAAC;gBAC5C,CAAC,CAAC,EAAE,0BAA0B,EAAE,kBAAkB,EAAE;gBACpD,CAAC,CAAC,EAAE,CAAC;SACR;KACF,CAAC;AACJ,CAAC"}

package/dist/audit/reporting/synthesisNarrativePrompt.d.ts

@@ -0,0 +1,8 @@
+import type { AuditFindingsReport } from "audit-tools/shared";
+/**
+ * Prompt for the optional synthesis-narrative pass. The host groups the
+ * already-finalized deterministic findings into root-cause themes and writes a
+ * `SynthesisNarrative` JSON document — it does not re-audit or invent findings.
+ */
+export declare function renderSynthesisNarrativePrompt(report: AuditFindingsReport): string;
+//# sourceMappingURL=synthesisNarrativePrompt.d.ts.map

package/dist/audit/reporting/synthesisNarrativePrompt.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"synthesisNarrativePrompt.d.ts","sourceRoot":"","sources":["../../../src/audit/reporting/synthesisNarrativePrompt.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,oBAAoB,CAAC;AAc9D;;;;GAIG;AACH,wBAAgB,8BAA8B,CAC5C,MAAM,EAAE,mBAAmB,GAC1B,MAAM,CAwDR"}

package/dist/audit/reporting/synthesisNarrativePrompt.js

@@ -0,0 +1,66 @@
+const MAX_RENDERED_FINDINGS = 120;
+function summarizeFinding(finding) {
+    const files = finding.affected_files
+        .map((file) => file.path)
+        .slice(0, 4)
+        .join(", ");
+    return `- ${finding.id} [${finding.severity}/${finding.lens}/${finding.category}] ${finding.title} — ${finding.summary}${files ? ` (files: ${files})` : ""}`;
+}
+/**
+ * Prompt for the optional synthesis-narrative pass. The host groups the
+ * already-finalized deterministic findings into root-cause themes and writes a
+ * `SynthesisNarrative` JSON document — it does not re-audit or invent findings.
+ */
+export function renderSynthesisNarrativePrompt(report) {
+    const findings = report.findings;
+    const rendered = findings.slice(0, MAX_RENDERED_FINDINGS).map(summarizeFinding);
+    const overflowNote = findings.length > MAX_RENDERED_FINDINGS
+        ? [`  ... and ${findings.length - MAX_RENDERED_FINDINGS} more findings (see audit-findings.json).`]
+        : [];
+    if (findings.length > MAX_RENDERED_FINDINGS) {
+        process.stderr.write(`[audit-code] synthesisNarrative: truncated findings list to ${MAX_RENDERED_FINDINGS} of ${findings.length} total — remaining findings omitted from narrative prompt (see audit-findings.json)\n`);
+    }
+    return [
+        "# Synthesis narrative",
+        "",
+        "The deterministic audit is complete. Your job is to add an interpretive narrative on top of the finalized findings — group them into a small number of root-cause themes, write a short executive summary, and list the top risks.",
+        "",
+        "Do not re-audit the code, change severities, or invent new findings. Use only the findings below; reference them by their exact `id`.",
+        "",
+        "When categories distinguish observational contract assessment findings from conceptual design critique findings, keep that distinction visible in themes and top risks instead of flattening them into one architecture bucket.",
+        "",
+        "## Summary",
+        "",
+        `- Findings: ${report.summary.finding_count}`,
+        `- Work blocks: ${report.summary.work_block_count}`,
+        "",
+        "## Findings",
+        "",
+        ...(rendered.length > 0 ? rendered : ["- (no findings were recorded)"]),
+        ...overflowNote,
+        "",
+        "## Output format",
+        "",
+        "Write a single JSON object conforming to:",
+        "",
+        "```json",
+        "{",
+        '  "themes": [',
+        "    {",
+        '      "theme_id": "T-001",',
+        '      "title": "short root-cause title",',
+        '      "root_cause": "what underlying cause ties these findings together",',
+        '      "finding_ids": ["<finding id>", "..."],',
+        '      "suggested_fix_pattern": "the shared remediation approach for this theme"',
+        "    }",
+        "  ],",
+        '  "executive_summary": "2-4 sentence overview of the audit outcome",',
+        '  "top_risks": ["highest-impact risk", "..."]',
+        "}",
+        "```",
+        "",
+        "Prefer a handful of substantive themes over many thin ones. Every `finding_ids` entry must be an id listed above; unknown ids are dropped. A finding may belong to at most one theme.",
+        "",
+    ].join("\n");
+}
+//# sourceMappingURL=synthesisNarrativePrompt.js.map

package/dist/audit/reporting/synthesisNarrativePrompt.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"synthesisNarrativePrompt.js","sourceRoot":"","sources":["../../../src/audit/reporting/synthesisNarrativePrompt.ts"],"names":[],"mappings":"AAEA,MAAM,qBAAqB,GAAG,GAAG,CAAC;AAElC,SAAS,gBAAgB,CAAC,OAAgD;IACxE,MAAM,KAAK,GAAG,OAAO,CAAC,cAAc;SACjC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC;SACxB,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC;SACX,IAAI,CAAC,IAAI,CAAC,CAAC;IACd,OAAO,KAAK,OAAO,CAAC,EAAE,KAAK,OAAO,CAAC,QAAQ,IAAI,OAAO,CAAC,IAAI,IAAI,OAAO,CAAC,QAAQ,KAAK,OAAO,CAAC,KAAK,MAAM,OAAO,CAAC,OAAO,GACpH,KAAK,CAAC,CAAC,CAAC,YAAY,KAAK,GAAG,CAAC,CAAC,CAAC,EACjC,EAAE,CAAC;AACL,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,8BAA8B,CAC5C,MAA2B;IAE3B,MAAM,QAAQ,GAAG,MAAM,CAAC,QAAQ,CAAC;IACjC,MAAM,QAAQ,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,qBAAqB,CAAC,CAAC,GAAG,CAAC,gBAAgB,CAAC,CAAC;IAChF,MAAM,YAAY,GAChB,QAAQ,CAAC,MAAM,GAAG,qBAAqB;QACrC,CAAC,CAAC,CAAC,aAAa,QAAQ,CAAC,MAAM,GAAG,qBAAqB,2CAA2C,CAAC;QACnG,CAAC,CAAC,EAAE,CAAC;IAET,IAAI,QAAQ,CAAC,MAAM,GAAG,qBAAqB,EAAE,CAAC;QAC5C,OAAO,CAAC,MAAM,CAAC,KAAK,CAClB,+DAA+D,qBAAqB,OAAO,QAAQ,CAAC,MAAM,uFAAuF,CAClM,CAAC;IACJ,CAAC;IAED,OAAO;QACL,uBAAuB;QACvB,EAAE;QACF,oOAAoO;QACpO,EAAE;QACF,uIAAuI;QACvI,EAAE;QACF,iOAAiO;QACjO,EAAE;QACF,YAAY;QACZ,EAAE;QACF,eAAe,MAAM,CAAC,OAAO,CAAC,aAAa,EAAE;QAC7C,kBAAkB,MAAM,CAAC,OAAO,CAAC,gBAAgB,EAAE;QACnD,EAAE;QACF,aAAa;QACb,EAAE;QACF,GAAG,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,+BAA+B,CAAC,CAAC;QACvE,GAAG,YAAY;QACf,EAAE;QACF,kBAAkB;QAClB,EAAE;QACF,2CAA2C;QAC3C,EAAE;QACF,SAAS;QACT,GAAG;QACH,eAAe;QACf,OAAO;QACP,4BAA4B;QAC5B,0CAA0C;QAC1C,2EAA2E;QAC3E,+CAA+C;QAC/C,iFAAiF;QACjF,OAAO;QACP,MAAM;QACN,sEAAsE;QACtE,+CAA+C;QAC/C,GAAG;QACH,KAAK;QACL,EAAE;QACF,uLAAuL;QACvL,EAAE;KACH,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACf,CAAC"}

package/dist/audit/reporting/workBlocks.d.ts

@@ -0,0 +1,10 @@
+import type { Finding, UnitManifest } from "../types.js";
+import type { CriticalFlowManifest, GraphBundle, WorkBlock } from "audit-tools/shared";
+export type { WorkBlock } from "audit-tools/shared";
+export declare function buildWorkBlocks(params: {
+    findings: Finding[];
+    unitManifest?: UnitManifest;
+    graphBundle?: GraphBundle;
+    criticalFlows?: CriticalFlowManifest;
+}): WorkBlock[];
+//# sourceMappingURL=workBlocks.d.ts.map

package/dist/audit/reporting/workBlocks.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"workBlocks.d.ts","sourceRoot":"","sources":["../../../src/audit/reporting/workBlocks.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AACzD,OAAO,KAAK,EACV,oBAAoB,EACpB,WAAW,EACX,SAAS,EACV,MAAM,oBAAoB,CAAC;AAI5B,YAAY,EAAE,SAAS,EAAE,MAAM,oBAAoB,CAAC;AA8EpD,wBAAgB,eAAe,CAAC,MAAM,EAAE;IACtC,QAAQ,EAAE,OAAO,EAAE,CAAC;IACpB,YAAY,CAAC,EAAE,YAAY,CAAC;IAC5B,WAAW,CAAC,EAAE,WAAW,CAAC;IAC1B,aAAa,CAAC,EAAE,oBAAoB,CAAC;CACtC,GAAG,SAAS,EAAE,CAiGd"}

package/dist/audit/reporting/workBlocks.js

@@ -0,0 +1,154 @@
+import { severityRank } from "./findingRanks.js";
+function buildFileUnitMap(unitManifest) {
+    const map = new Map();
+    for (const unit of unitManifest?.units ?? []) {
+        for (const path of unit.files) {
+            if (!map.has(path)) {
+                map.set(path, unit.unit_id);
+            }
+        }
+    }
+    return map;
+}
+function normalizeOwnedUnits(finding, fileUnitMap) {
+    const unitIds = new Set();
+    for (const file of finding.affected_files) {
+        const mapped = fileUnitMap.get(file.path);
+        unitIds.add(mapped ?? `file:${file.path}`);
+    }
+    return [...unitIds].sort();
+}
+function computeDependencies(params) {
+    const blockByFile = new Map();
+    for (const block of params.blocks) {
+        for (const path of block.owned_files) {
+            blockByFile.set(path, block.id);
+        }
+    }
+    const dependsOn = new Map();
+    for (const block of params.blocks) {
+        dependsOn.set(block.id, new Set());
+    }
+    const graphEdges = [
+        ...(params.graphBundle?.graphs.imports ?? []),
+        ...(params.graphBundle?.graphs.calls ?? []),
+    ];
+    for (const edge of graphEdges) {
+        const fromBlock = blockByFile.get(edge.from);
+        const toBlock = blockByFile.get(edge.to);
+        if (fromBlock && toBlock && fromBlock !== toBlock) {
+            dependsOn.get(fromBlock)?.add(toBlock);
+        }
+    }
+    for (const flow of params.criticalFlows?.flows ?? []) {
+        // Order blocks by first appearance along the flow path so dependency
+        // direction follows the flow's traversal order, not block-id lexical order.
+        const ordered = [];
+        const seen = new Set();
+        for (const path of flow.paths) {
+            const blockId = blockByFile.get(path);
+            if (blockId && !seen.has(blockId)) {
+                seen.add(blockId);
+                ordered.push(blockId);
+            }
+        }
+        for (let i = 1; i < ordered.length; i++) {
+            dependsOn.get(ordered[i - 1])?.add(ordered[i]);
+        }
+    }
+    return params.blocks.map((block) => ({
+        ...block,
+        depends_on: [...(dependsOn.get(block.id) ?? [])].sort(),
+    }));
+}
+export function buildWorkBlocks(params) {
+    if (params.findings.length === 0) {
+        return [];
+    }
+    const fileUnitMap = buildFileUnitMap(params.unitManifest);
+    const parent = new Map();
+    const findingUnits = new Map();
+    function find(id) {
+        if (!parent.has(id))
+            parent.set(id, id);
+        const current = parent.get(id);
+        if (current === id)
+            return id;
+        const root = find(current);
+        parent.set(id, root);
+        return root;
+    }
+    function union(a, b) {
+        const rootA = find(a);
+        const rootB = find(b);
+        if (rootA !== rootB) {
+            parent.set(rootA, rootB);
+        }
+    }
+    const unitToFindingIds = new Map();
+    for (const finding of params.findings) {
+        parent.set(finding.id, finding.id);
+        const ownedUnits = normalizeOwnedUnits(finding, fileUnitMap);
+        findingUnits.set(finding.id, ownedUnits);
+        for (const unitId of ownedUnits) {
+            const ids = unitToFindingIds.get(unitId) ?? [];
+            ids.push(finding.id);
+            unitToFindingIds.set(unitId, ids);
+        }
+    }
+    for (const ids of unitToFindingIds.values()) {
+        for (let index = 1; index < ids.length; index++) {
+            union(ids[0], ids[index]);
+        }
+    }
+    const grouped = new Map();
+    for (const finding of params.findings) {
+        const root = find(finding.id);
+        const group = grouped.get(root) ?? [];
+        group.push(finding);
+        grouped.set(root, group);
+    }
+    const blocks = [...grouped.values()].map((group, index) => {
+        const orderedFindings = [...group].sort((a, b) => {
+            const severityDelta = severityRank(b.severity) - severityRank(a.severity);
+            if (severityDelta !== 0)
+                return severityDelta;
+            return a.id.localeCompare(b.id);
+        });
+        const unitIds = [
+            ...new Set(group.flatMap((finding) => findingUnits.get(finding.id) ?? [])),
+        ].sort();
+        const ownedFiles = [
+            ...new Set(group.flatMap((finding) => finding.affected_files.map((file) => file.path))),
+        ].sort();
+        return {
+            id: `block-${index + 1}`,
+            finding_ids: orderedFindings.map((finding) => finding.id),
+            unit_ids: unitIds,
+            owned_files: ownedFiles,
+            max_severity: orderedFindings[0].severity,
+            rationale: unitIds.length === 1
+                ? "All findings map to the same owned unit and should be remediated together."
+                : "Findings share owned units transitively and should remain one non-overlapping remediation block.",
+            depends_on: [],
+        };
+    });
+    blocks.sort((a, b) => {
+        const severityDelta = severityRank(b.max_severity) - severityRank(a.max_severity);
+        if (severityDelta !== 0)
+            return severityDelta;
+        const findingDelta = b.finding_ids.length - a.finding_ids.length;
+        if (findingDelta !== 0)
+            return findingDelta;
+        return a.id.localeCompare(b.id);
+    });
+    for (let index = 0; index < blocks.length; index++) {
+        blocks[index].id = `block-${index + 1}`;
+    }
+    return computeDependencies({
+        blocks,
+        graphBundle: params.graphBundle,
+        criticalFlows: params.criticalFlows,
+    });
+}
+//# sourceMappingURL=workBlocks.js.map