musubix3 0.1.0

package/dist/packages/analysis/src/model-correspondence.js

@@ -0,0 +1,310 @@
+import { error, validateRequirements } from '../../domain/src/index.js';
+import { adapterInvocation, normalizeAdapterReport, readAdapterOutput } from './adapters.js';
+import { loadConfig } from './config.js';
+import { digest, exists, files, readText, snapshot, within, writeJson } from './files.js';
+import { parseMusubixTestReport } from './tdd.js';
+import { checkTrace, loadTrace } from './trace.js';
+function canonical(value) {
+    if (Array.isArray(value))
+        return `[${value.map(canonical).join(',')}]`;
+    if (value && typeof value === 'object') {
+        return `{${Object.entries(value)
+            .sort(([a], [b]) => a.localeCompare(b))
+            .map(([key, nested]) => `${JSON.stringify(key)}:${canonical(nested)}`).join(',')}}`;
+    }
+    return JSON.stringify(value);
+}
+function validRelativePath(value) {
+    return typeof value === 'string' && !!value && !value.includes('\0')
+        && !value.startsWith('/') && !/^[a-zA-Z]:[\\/]/.test(value)
+        && !value.split(/[\\/]/).includes('..');
+}
+function formalHash(formal) {
+    return digest(canonical(formal));
+}
+function modelHash(requirementId, formal) {
+    return digest(canonical({ requirement: requirementId, constraint: formal }));
+}
+function traceHash(trace) {
+    return digest(canonical({
+        nodes: trace.nodes.map(({ id, kind, path, line, mandatory }) => ({ id, kind, path, line, mandatory: mandatory ?? false })),
+        edges: trace.edges,
+        fingerprints: trace.fingerprints,
+    }));
+}
+function testProvenanceHash(test) {
+    return digest(canonical(test));
+}
+function formalEvidenceHash(formal) {
+    return digest(canonical({
+        fingerprints: formal.fingerprints,
+        literals: formal.result.literals,
+        constraints: formal.result.constraints,
+        unsupported: formal.result.unsupported,
+        consistency: formal.result.consistency,
+        solver: {
+            requested: formal.result.solver.requested,
+            name: formal.result.solver.name,
+            command: formal.result.solver.command,
+            version: formal.result.solver.version,
+            status: formal.result.solver.status,
+            artifact: formal.result.solver.artifact ?? null,
+        },
+    }));
+}
+async function explicitRequirements(root) {
+    const result = [];
+    for (const path of (await files(root)).filter((entry) => /^\.musubix\/features\/[^/]+\/requirements\.md$/.test(entry))) {
+        result.push(...validateRequirements(await readText(root, path), path).value
+            .filter((requirement) => requirement.formal !== null)
+            .map((requirement) => ({ ...requirement, path })));
+    }
+    return result;
+}
+export async function writeModelCorrespondenceEvidence(root, trace, formalEvidence, executions, runId) {
+    const requirements = await explicitRequirements(root);
+    const fingerprints = await snapshot(root, [...new Set(trace.nodes
+            .filter((node) => node.kind === 'test').map((node) => node.path))]);
+    const entries = requirements.map((requirement) => {
+        const linked = new Set(trace.edges.filter((edge) => edge.to === requirement.id && edge.relation === 'verifies').map((edge) => edge.from));
+        const tests = executions.flatMap((execution) => execution.tests
+            .filter((test) => linked.has(test.id) && test.status === 'passed'
+            && execution.processStatus === 'completed' && execution.exitCode === 0)
+            .flatMap((test) => {
+            const node = trace.nodes.find((candidate) => candidate.kind === 'test' && candidate.id === test.id);
+            if (!node)
+                return [];
+            const provenance = {
+                testId: test.id,
+                testPath: node.path,
+                testSha256: fingerprints[node.path],
+                commandName: execution.commandName,
+                commandSha256: execution.commandSha256,
+                reportPath: execution.reportPath,
+                reportSha256: execution.reportSha256,
+            };
+            return [{ ...provenance, provenanceSha256: testProvenanceHash(provenance) }];
+        }));
+        return {
+            requirementId: requirement.id,
+            requirementPath: requirement.path,
+            formalSha256: formalHash(requirement.formal),
+            modelSha256: modelHash(requirement.id, requirement.formal),
+            traceSha256: traceHash(trace),
+            tests,
+        };
+    });
+    const evidence = {
+        schemaVersion: 1,
+        runId,
+        generatedAt: new Date().toISOString(),
+        formalEvidenceSha256: formalEvidenceHash(formalEvidence),
+        traceEvidenceSha256: traceHash(trace),
+        entries,
+    };
+    await writeJson(root, '.musubix/evidence/model-correspondence.json', evidence);
+    return evidence;
+}
+export function modelCorrespondenceEvidenceHead(evidence) {
+    const entries = Array.isArray(evidence.entries) ? evidence.entries : [];
+    return digest(canonical({
+        schemaVersion: evidence.schemaVersion,
+        formalEvidenceSha256: evidence.formalEvidenceSha256,
+        traceEvidenceSha256: evidence.traceEvidenceSha256,
+        entries: entries.map((value) => {
+            const entry = value;
+            return {
+                requirementId: entry.requirementId,
+                requirementPath: entry.requirementPath,
+                formalSha256: entry.formalSha256,
+                modelSha256: entry.modelSha256,
+                traceSha256: entry.traceSha256,
+                tests: (entry.tests ?? []).map((test) => ({
+                    testId: test.testId,
+                    testPath: test.testPath,
+                    testSha256: test.testSha256,
+                    commandName: test.commandName,
+                    commandSha256: test.commandSha256,
+                    reportPath: test.reportPath,
+                })).sort((a, b) => canonical(a).localeCompare(canonical(b))),
+            };
+        }).sort((a, b) => canonical(a).localeCompare(canonical(b))),
+    }));
+}
+async function currentReport(root, commandName, reportPath) {
+    const config = await loadConfig(root);
+    const command = config.commands.find((candidate) => candidate.name === commandName);
+    if (!command || (!command.testReport && !command.adapter))
+        return null;
+    const invocation = command.adapter ? adapterInvocation(command.adapter, command.name) : null;
+    const configuredPath = command.testReport?.path ?? invocation.reportPath;
+    if (configuredPath !== reportPath)
+        return null;
+    const args = [
+        ...command.args.map((arg) => arg.replaceAll('{reportPath}', configuredPath)),
+        ...invocation?.args ?? [],
+    ];
+    const absolute = within(root, reportPath);
+    const text = invocation
+        ? await readAdapterOutput(invocation, absolute, '')
+        : await exists(absolute) ? await readText(root, reportPath) : null;
+    if (text === null)
+        return null;
+    const report = command.testReport
+        ? parseMusubixTestReport(text)
+        : normalizeAdapterReport(command.adapter, text);
+    return {
+        commandSha256: digest(canonical({ executable: command.command, arguments: args })),
+        reportSha256: digest(text),
+        passed: new Set(report.tests.filter((test) => test.status === 'passed').map((test) => test.id)),
+    };
+}
+export async function validateModelCorrespondenceEvidence(root) {
+    const requirements = await explicitRequirements(root);
+    const path = '.musubix/evidence/model-correspondence.json';
+    if (!await exists(within(root, path))) {
+        return {
+            present: false,
+            valid: requirements.length === 0,
+            requirements: requirements.length,
+            coveredRequirements: [],
+            diagnostics: requirements.length
+                ? [error('MODEL_CORRESPONDENCE_MISSING', 'Requirements with explicit Formal JSON require model correspondence evidence.', path)]
+                : [],
+        };
+    }
+    let value;
+    let formalEvidence;
+    try {
+        value = JSON.parse(await readText(root, path));
+        formalEvidence = JSON.parse(await readText(root, '.musubix/evidence/formal.json'));
+    }
+    catch (cause) {
+        return {
+            present: true, valid: false, requirements: requirements.length, coveredRequirements: [],
+            diagnostics: [error('MODEL_CORRESPONDENCE_SCHEMA', `Invalid correspondence/formal evidence: ${cause instanceof Error ? cause.message : String(cause)}.`, path)],
+        };
+    }
+    if (value.schemaVersion !== 1 || !Array.isArray(value.entries)
+        || typeof value.runId !== 'string' || Number.isNaN(Date.parse(value.generatedAt))
+        || !/^[a-f0-9]{64}$/.test(value.formalEvidenceSha256)
+        || !/^[a-f0-9]{64}$/.test(value.traceEvidenceSha256)
+        || formalEvidence.schemaVersion !== 1 || !formalEvidence.result || !formalEvidence.fingerprints) {
+        return {
+            present: true, valid: false, requirements: requirements.length, coveredRequirements: [],
+            diagnostics: [error('MODEL_CORRESPONDENCE_SCHEMA', 'Invalid model correspondence evidence.', path)],
+        };
+    }
+    const diagnostics = [];
+    let trace;
+    try {
+        trace = await loadTrace(root);
+        const checkedTrace = await checkTrace(root, trace, true);
+        if (!checkedTrace.valid)
+            diagnostics.push(error('MODEL_CORRESPONDENCE_TRACE_STALE', 'Generated trace evidence is missing, stale, or invalid.', path));
+    }
+    catch {
+        return {
+            present: true, valid: false, requirements: requirements.length, coveredRequirements: [],
+            diagnostics: [error('MODEL_CORRESPONDENCE_TRACE_STALE', 'Generated trace evidence is missing or invalid.', path)],
+        };
+    }
+    const currentTraceHash = traceHash(trace);
+    if (value.traceEvidenceSha256 !== currentTraceHash) {
+        diagnostics.push(error('MODEL_CORRESPONDENCE_TRACE_STALE', 'Correspondence trace fingerprint does not match the current generated trace.', path));
+    }
+    if (value.formalEvidenceSha256 !== formalEvidenceHash(formalEvidence)) {
+        diagnostics.push(error('MODEL_CORRESPONDENCE_FORMAL_TAMPERED', 'Correspondence formal evidence fingerprint is invalid.', path));
+    }
+    const requirementFingerprints = await snapshot(root, requirements.map((requirement) => requirement.path));
+    for (const requirement of requirements) {
+        if (formalEvidence.fingerprints[requirement.path] !== requirementFingerprints[requirement.path]) {
+            diagnostics.push(error('MODEL_CORRESPONDENCE_FORMAL_STALE', `${requirement.id} formal input fingerprint is stale.`, requirement.path, requirement.line));
+        }
+        const modeled = formalEvidence.result.constraints.filter((entry) => entry.requirement === requirement.id);
+        if (modeled.length !== 1 || canonical(modeled[0]?.constraint) !== canonical(requirement.formal)) {
+            diagnostics.push(error('MODEL_CORRESPONDENCE_MODEL_STALE', `${requirement.id} has no unique current formal model entry.`, requirement.path, requirement.line));
+        }
+    }
+    const covered = new Set();
+    const seen = new Set();
+    for (const entry of value.entries) {
+        if (!entry || typeof entry.requirementId !== 'string' || !validRelativePath(entry.requirementPath)
+            || !/^[a-f0-9]{64}$/.test(entry.formalSha256) || !/^[a-f0-9]{64}$/.test(entry.modelSha256)
+            || !/^[a-f0-9]{64}$/.test(entry.traceSha256) || !Array.isArray(entry.tests)) {
+            diagnostics.push(error('MODEL_CORRESPONDENCE_SCHEMA', 'A correspondence entry is malformed.', path));
+            continue;
+        }
+        if (seen.has(entry.requirementId)) {
+            diagnostics.push(error('MODEL_CORRESPONDENCE_DUPLICATE', `${entry.requirementId} has duplicate correspondence entries.`, path));
+        }
+        seen.add(entry.requirementId);
+        const requirement = requirements.find((candidate) => candidate.id === entry.requirementId);
+        if (!requirement || requirement.path !== entry.requirementPath) {
+            diagnostics.push(error('MODEL_CORRESPONDENCE_REQUIREMENT', `${entry.requirementId} is not a current requirement with explicit Formal JSON.`, path));
+            continue;
+        }
+        if (entry.formalSha256 !== formalHash(requirement.formal)
+            || entry.modelSha256 !== modelHash(requirement.id, requirement.formal)
+            || entry.traceSha256 !== currentTraceHash) {
+            diagnostics.push(error('MODEL_CORRESPONDENCE_STALE', `${entry.requirementId} model or trace fingerprint is stale.`, path));
+        }
+        let validTests = 0;
+        for (const test of entry.tests) {
+            if (!test || typeof test.testId !== 'string' || !validRelativePath(test.testPath)
+                || !/^[a-f0-9]{64}$/.test(test.testSha256) || typeof test.commandName !== 'string'
+                || !/^[a-f0-9]{64}$/.test(test.commandSha256) || !validRelativePath(test.reportPath)
+                || !/^[a-f0-9]{64}$/.test(test.reportSha256)
+                || !/^[a-f0-9]{64}$/.test(test.provenanceSha256)) {
+                diagnostics.push(error('MODEL_CORRESPONDENCE_SCHEMA', `A test evidence entry for ${entry.requirementId} is malformed.`, path));
+                continue;
+            }
+            const { provenanceSha256, ...provenance } = test;
+            if (testProvenanceHash(provenance) !== provenanceSha256) {
+                diagnostics.push(error('MODEL_CORRESPONDENCE_PROVENANCE_TAMPERED', `${test.testId} correspondence provenance was changed.`, path));
+                continue;
+            }
+            const node = trace.nodes.find((candidate) => candidate.id === test.testId && candidate.kind === 'test');
+            if (!node || node.path !== test.testPath || !trace.edges.some((edge) => edge.from === test.testId && edge.to === requirement.id && edge.relation === 'verifies')) {
+                diagnostics.push(error('MODEL_CORRESPONDENCE_TEST_UNLINKED', `${test.testId} is not an authoritative trace-linked test for ${requirement.id}.`, path));
+                continue;
+            }
+            const fingerprint = (await snapshot(root, [test.testPath]))[test.testPath];
+            if (fingerprint !== test.testSha256) {
+                diagnostics.push(error('MODEL_CORRESPONDENCE_TEST_STALE', `${test.testId} fingerprint is stale.`, test.testPath));
+                continue;
+            }
+            try {
+                const report = await currentReport(root, test.commandName, test.reportPath);
+                if (!report || report.commandSha256 !== test.commandSha256
+                    || report.reportSha256 !== test.reportSha256 || !report.passed.has(test.testId)) {
+                    diagnostics.push(error('MODEL_CORRESPONDENCE_TEST_NOT_PASSED', `${test.testId} lacks a current passing structured command report.`, test.reportPath));
+                    continue;
+                }
+            }
+            catch {
+                diagnostics.push(error('MODEL_CORRESPONDENCE_TEST_NOT_PASSED', `${test.testId} report is missing, malformed, or stale.`, test.reportPath));
+                continue;
+            }
+            validTests++;
+        }
+        if (!validTests) {
+            diagnostics.push(error('MODEL_CORRESPONDENCE_UNPROVED', `${requirement.id} has no current authoritative passing test evidence.`, path));
+        }
+        else
+            covered.add(requirement.id);
+    }
+    for (const requirement of requirements) {
+        if (!seen.has(requirement.id)) {
+            diagnostics.push(error('MODEL_CORRESPONDENCE_UNPROVED', `${requirement.id} has no correspondence entry.`, requirement.path, requirement.line));
+        }
+    }
+    return {
+        present: true,
+        valid: !diagnostics.length,
+        requirements: requirements.length,
+        coveredRequirements: [...covered].sort(),
+        diagnostics,
+    };
+}
+//# sourceMappingURL=model-correspondence.js.map

package/dist/packages/analysis/src/model-correspondence.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"model-correspondence.js","sourceRoot":"","sources":["../../../../packages/analysis/src/model-correspondence.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,oBAAoB,EAA4D,MAAM,2BAA2B,CAAC;AAClI,OAAO,EAAE,iBAAiB,EAAE,sBAAsB,EAAE,iBAAiB,EAAE,MAAM,eAAe,CAAC;AAC7F,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AAG1F,OAAO,EAAE,sBAAsB,EAAE,MAAM,UAAU,CAAC;AAClD,OAAO,EAAE,UAAU,EAAE,SAAS,EAAmB,MAAM,YAAY,CAAC;AAuCpE,SAAS,SAAS,CAAC,KAAc;IAC/B,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,IAAI,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;IACvE,IAAI,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QACvC,OAAO,IAAI,MAAM,CAAC,OAAO,CAAC,KAAgC,CAAC;aACxD,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC;aACtC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,MAAM,CAAC,EAAE,EAAE,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,SAAS,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;IACxF,CAAC;IACD,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;AAC/B,CAAC;AAED,SAAS,iBAAiB,CAAC,KAAc;IACvC,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,CAAC,KAAK,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC;WAC/D,CAAC,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,iBAAiB,CAAC,IAAI,CAAC,KAAK,CAAC;WACxD,CAAC,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;AAC5C,CAAC;AAED,SAAS,UAAU,CAAC,MAAwB;IAC1C,OAAO,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC;AACnC,CAAC;AAED,SAAS,SAAS,CAAC,aAAqB,EAAE,MAAwB;IAChE,OAAO,MAAM,CAAC,SAAS,CAAC,EAAE,WAAW,EAAE,aAAa,EAAE,UAAU,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC;AAC/E,CAAC;AAED,SAAS,SAAS,CAAC,KAAiB;IAClC,OAAO,MAAM,CAAC,SAAS,CAAC;QACtB,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,SAAS,EAAE,SAAS,IAAI,KAAK,EAAE,CAAC,CAAC;QAC1H,KAAK,EAAE,KAAK,CAAC,KAAK;QAClB,YAAY,EAAE,KAAK,CAAC,YAAY;KACjC,CAAC,CAAC,CAAC;AACN,CAAC;AAED,SAAS,kBAAkB,CAAC,IAA0D;IACpF,OAAO,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC;AACjC,CAAC;AAED,SAAS,kBAAkB,CAAC,MAA2B;IACrD,OAAO,MAAM,CAAC,SAAS,CAAC;QACtB,YAAY,EAAE,MAAM,CAAC,YAAY;QACjC,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,QAAQ;QAChC,WAAW,EAAE,MAAM,CAAC,MAAM,CAAC,WAAW;QACtC,WAAW,EAAE,MAAM,CAAC,MAAM,CAAC,WAAW;QACtC,WAAW,EAAE,MAAM,CAAC,MAAM,CAAC,WAAW;QACtC,MAAM,EAAE;YACN,SAAS,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,SAAS;YACzC,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI;YAC/B,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO;YACrC,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO;YACrC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM;YACnC,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,QAAQ,IAAI,IAAI;SAChD;KACF,CAAC,CAAC,CAAC;AACN,CAAC;AAED,KAAK,UAAU,oBAAoB,CAAC,IAAY;IAC9C,MAAM,MAAM,GAA0B,EAAE,CAAC;IACzC,KAAK,MAAM,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,gDAAgD,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC;QACvH,MAAM,CAAC,IAAI,CAAC,GAAG,oBAAoB,CAAC,MAAM,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,IAAI,CAAC,CAAC,KAAK;aACxE,MAAM,CAAC,CAAC,WAAW,EAA6E,EAAE,CAAC,WAAW,CAAC,MAAM,KAAK,IAAI,CAAC;aAC/H,GAAG,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,WAAW,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;IACvD,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,gCAAgC,CACpD,IAAY,EACZ,KAAiB,EACjB,cAAmC,EACnC,UAAkC,EAClC,KAAa;IAEb,MAAM,YAAY,GAAG,MAAM,oBAAoB,CAAC,IAAI,CAAC,CAAC;IACtD,MAAM,YAAY,GAAG,MAAM,QAAQ,CAAC,IAAI,EAAE,CAAC,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,KAAK;aAC9D,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;IACtE,MAAM,OAAO,GAAG,YAAY,CAAC,GAAG,CAAC,CAAC,WAAW,EAA4B,EAAE;QACzE,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CACjD,IAAI,CAAC,EAAE,KAAK,WAAW,CAAC,EAAE,IAAI,IAAI,CAAC,QAAQ,KAAK,UAAU,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;QACxF,MAAM,KAAK,GAAG,UAAU,CAAC,OAAO,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,KAAK;aAC5D,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,IAAI,CAAC,MAAM,KAAK,QAAQ;eAC5D,SAAS,CAAC,aAAa,KAAK,WAAW,IAAI,SAAS,CAAC,QAAQ,KAAK,CAAC,CAAC;aACxE,OAAO,CAAC,CAAC,IAAI,EAAgC,EAAE;YAC9C,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,KAAK,MAAM,IAAI,SAAS,CAAC,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC,CAAC;YACpG,IAAI,CAAC,IAAI;gBAAE,OAAO,EAAE,CAAC;YACrB,MAAM,UAAU,GAAyD;gBACvE,MAAM,EAAE,IAAI,CAAC,EAAE;gBACf,QAAQ,EAAE,IAAI,CAAC,IAAI;gBACnB,UAAU,EAAE,YAAY,CAAC,IAAI,CAAC,IAAI,CAAE;gBACpC,WAAW,EAAE,SAAS,CAAC,WAAW;gBAClC,aAAa,EAAE,SAAS,CAAC,aAAa;gBACtC,UAAU,EAAE,SAAS,CAAC,UAAU;gBAChC,YAAY,EAAE,SAAS,CAAC,YAAY;aACrC,CAAC;YACF,OAAO,CAAC,EAAE,GAAG,UAAU,EAAE,gBAAgB,EAAE,kBAAkB,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC;QAC/E,CAAC,CAAC,CAAC,CAAC;QACN,OAAO;YACL,aAAa,EAAE,WAAW,CAAC,EAAE;YAC7B,eAAe,EAAE,WAAW,CAAC,IAAI;YACjC,YAAY,EAAE,UAAU,CAAC,WAAW,CAAC,MAAM,CAAC;YAC5C,WAAW,EAAE,SAAS,CAAC,WAAW,CAAC,EAAE,EAAE,WAAW,CAAC,MAAM,CAAC;YAC1D,WAAW,EAAE,SAAS,CAAC,KAAK,CAAC;YAC7B,KAAK;SACN,CAAC;IACJ,CAAC,CAAC,CAAC;IACH,MAAM,QAAQ,GAAgC;QAC5C,aAAa,EAAE,CAAC;QAChB,KAAK;QACL,WAAW,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;QACrC,oBAAoB,EAAE,kBAAkB,CAAC,cAAc,CAAC;QACxD,mBAAmB,EAAE,SAAS,CAAC,KAAK,CAAC;QACrC,OAAO;KACR,CAAC;IACF,MAAM,SAAS,CAAC,IAAI,EAAE,6CAA6C,EAAE,QAAQ,CAAC,CAAC;IAC/E,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,MAAM,UAAU,+BAA+B,CAAC,QAAiC;IAC/E,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;IACxE,OAAO,MAAM,CAAC,SAAS,CAAC;QACtB,aAAa,EAAE,QAAQ,CAAC,aAAa;QACrC,oBAAoB,EAAE,QAAQ,CAAC,oBAAoB;QACnD,mBAAmB,EAAE,QAAQ,CAAC,mBAAmB;QACjD,OAAO,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE;YAC7B,MAAM,KAAK,GAAG,KAA0C,CAAC;YACzD,OAAO;gBACL,aAAa,EAAE,KAAK,CAAC,aAAa;gBAClC,eAAe,EAAE,KAAK,CAAC,eAAe;gBACtC,YAAY,EAAE,KAAK,CAAC,YAAY;gBAChC,WAAW,EAAE,KAAK,CAAC,WAAW;gBAC9B,WAAW,EAAE,KAAK,CAAC,WAAW;gBAC9B,KAAK,EAAE,CAAC,KAAK,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;oBACxC,MAAM,EAAE,IAAI,CAAC,MAAM;oBACnB,QAAQ,EAAE,IAAI,CAAC,QAAQ;oBACvB,UAAU,EAAE,IAAI,CAAC,UAAU;oBAC3B,WAAW,EAAE,IAAI,CAAC,WAAW;oBAC7B,aAAa,EAAE,IAAI,CAAC,aAAa;oBACjC,UAAU,EAAE,IAAI,CAAC,UAAU;iBAC5B,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC;aAC7D,CAAC;QACJ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC;KAC5D,CAAC,CAAC,CAAC;AACN,CAAC;AAED,KAAK,UAAU,aAAa,CAAC,IAAY,EAAE,WAAmB,EAAE,UAAkB;IAKhF,MAAM,MAAM,GAAG,MAAM,UAAU,CAAC,IAAI,CAAC,CAAC;IACtC,MAAM,OAAO,GAAG,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,KAAK,WAAW,CAAC,CAAC;IACpF,IAAI,CAAC,OAAO,IAAI,CAAC,CAAC,OAAO,CAAC,UAAU,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC;QAAE,OAAO,IAAI,CAAC;IACvE,MAAM,UAAU,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,iBAAiB,CAAC,OAAO,CAAC,OAAO,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAC7F,MAAM,cAAc,GAAG,OAAO,CAAC,UAAU,EAAE,IAAI,IAAI,UAAW,CAAC,UAAU,CAAC;IAC1E,IAAI,cAAc,KAAK,UAAU;QAAE,OAAO,IAAI,CAAC;IAC/C,MAAM,IAAI,GAAG;QACX,GAAG,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,UAAU,CAAC,cAAc,EAAE,cAAc,CAAC,CAAC;QAC5E,GAAG,UAAU,EAAE,IAAI,IAAI,EAAE;KAC1B,CAAC;IACF,MAAM,QAAQ,GAAG,MAAM,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;IAC1C,MAAM,IAAI,GAAG,UAAU;QACrB,CAAC,CAAC,MAAM,iBAAiB,CAAC,UAAU,EAAE,QAAQ,EAAE,EAAE,CAAC;QACnD,CAAC,CAAC,MAAM,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,MAAM,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IACrE,IAAI,IAAI,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAC/B,MAAM,MAAM,GAAG,OAAO,CAAC,UAAU;QAC/B,CAAC,CAAC,sBAAsB,CAAC,IAAI,CAAC;QAC9B,CAAC,CAAC,sBAAsB,CAAC,OAAO,CAAC,OAAQ,EAAE,IAAI,CAAC,CAAC;IACnD,OAAO;QACL,aAAa,EAAE,MAAM,CAAC,SAAS,CAAC,EAAE,UAAU,EAAE,OAAO,CAAC,OAAO,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;QAClF,YAAY,EAAE,MAAM,CAAC,IAAI,CAAC;QAC1B,MAAM,EAAE,IAAI,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,KAAK,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;KAChG,CAAC;AACJ,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,mCAAmC,CAAC,IAAY;IAOpE,MAAM,YAAY,GAAG,MAAM,oBAAoB,CAAC,IAAI,CAAC,CAAC;IACtD,MAAM,IAAI,GAAG,6CAA6C,CAAC;IAC3D,IAAI,CAAC,MAAM,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC;QACtC,OAAO;YACL,OAAO,EAAE,KAAK;YACd,KAAK,EAAE,YAAY,CAAC,MAAM,KAAK,CAAC;YAChC,YAAY,EAAE,YAAY,CAAC,MAAM;YACjC,mBAAmB,EAAE,EAAE;YACvB,WAAW,EAAE,YAAY,CAAC,MAAM;gBAC9B,CAAC,CAAC,CAAC,KAAK,CAAC,8BAA8B,EAAE,+EAA+E,EAAE,IAAI,CAAC,CAAC;gBAChI,CAAC,CAAC,EAAE;SACP,CAAC;IACJ,CAAC;IACD,IAAI,KAAkC,CAAC;IACvC,IAAI,cAAmC,CAAC;IACxC,IAAI,CAAC;QACH,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,CAAgC,CAAC;QAC9E,cAAc,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,QAAQ,CAAC,IAAI,EAAE,+BAA+B,CAAC,CAAwB,CAAC;IAC5G,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,OAAO;YACL,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,YAAY,EAAE,YAAY,CAAC,MAAM,EAAE,mBAAmB,EAAE,EAAE;YACvF,WAAW,EAAE,CAAC,KAAK,CAAC,6BAA6B,EAAE,2CAA2C,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;SAChK,CAAC;IACJ,CAAC;IACD,IAAI,KAAK,CAAC,aAAa,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC;WACzD,OAAO,KAAK,CAAC,KAAK,KAAK,QAAQ,IAAI,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;WAC9E,CAAC,gBAAgB,CAAC,IAAI,CAAC,KAAK,CAAC,oBAAoB,CAAC;WAClD,CAAC,gBAAgB,CAAC,IAAI,CAAC,KAAK,CAAC,mBAAmB,CAAC;WACjD,cAAc,CAAC,aAAa,KAAK,CAAC,IAAI,CAAC,cAAc,CAAC,MAAM,IAAI,CAAC,cAAc,CAAC,YAAY,EAAE,CAAC;QAClG,OAAO;YACL,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,YAAY,EAAE,YAAY,CAAC,MAAM,EAAE,mBAAmB,EAAE,EAAE;YACvF,WAAW,EAAE,CAAC,KAAK,CAAC,6BAA6B,EAAE,wCAAwC,EAAE,IAAI,CAAC,CAAC;SACpG,CAAC;IACJ,CAAC;IACD,MAAM,WAAW,GAAiB,EAAE,CAAC;IACrC,IAAI,KAAiB,CAAC;IACtB,IAAI,CAAC;QACH,KAAK,GAAG,MAAM,SAAS,CAAC,IAAI,CAAC,CAAC;QAC9B,MAAM,YAAY,GAAG,MAAM,UAAU,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;QACzD,IAAI,CAAC,YAAY,CAAC,KAAK;YAAE,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,kCAAkC,EAAE,yDAAyD,EAAE,IAAI,CAAC,CAAC,CAAC;IACxJ,CAAC;IAAC,MAAM,CAAC;QACP,OAAO;YACL,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,YAAY,EAAE,YAAY,CAAC,MAAM,EAAE,mBAAmB,EAAE,EAAE;YACvF,WAAW,EAAE,CAAC,KAAK,CAAC,kCAAkC,EAAE,iDAAiD,EAAE,IAAI,CAAC,CAAC;SAClH,CAAC;IACJ,CAAC;IACD,MAAM,gBAAgB,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC;IAC1C,IAAI,KAAK,CAAC,mBAAmB,KAAK,gBAAgB,EAAE,CAAC;QACnD,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,kCAAkC,EAAE,8EAA8E,EAAE,IAAI,CAAC,CAAC,CAAC;IACpJ,CAAC;IACD,IAAI,KAAK,CAAC,oBAAoB,KAAK,kBAAkB,CAAC,cAAc,CAAC,EAAE,CAAC;QACtE,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,sCAAsC,EAAE,wDAAwD,EAAE,IAAI,CAAC,CAAC,CAAC;IAClI,CAAC;IACD,MAAM,uBAAuB,GAAG,MAAM,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC,GAAG,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC;IAC1G,KAAK,MAAM,WAAW,IAAI,YAAY,EAAE,CAAC;QACvC,IAAI,cAAc,CAAC,YAAY,CAAC,WAAW,CAAC,IAAI,CAAC,KAAK,uBAAuB,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,CAAC;YAChG,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,mCAAmC,EAAE,GAAG,WAAW,CAAC,EAAE,qCAAqC,EAAE,WAAW,CAAC,IAAI,EAAE,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC;QAC3J,CAAC;QACD,MAAM,OAAO,GAAG,cAAc,CAAC,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,WAAW,KAAK,WAAW,CAAC,EAAE,CAAC,CAAC;QAC1G,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,IAAI,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,UAAU,CAAC,KAAK,SAAS,CAAC,WAAW,CAAC,MAAM,CAAC,EAAE,CAAC;YAChG,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,kCAAkC,EAAE,GAAG,WAAW,CAAC,EAAE,4CAA4C,EAAE,WAAW,CAAC,IAAI,EAAE,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC;QACjK,CAAC;IACH,CAAC;IACD,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;QAClC,IAAI,CAAC,KAAK,IAAI,OAAO,KAAK,CAAC,aAAa,KAAK,QAAQ,IAAI,CAAC,iBAAiB,CAAC,KAAK,CAAC,eAAe,CAAC;eAC7F,CAAC,gBAAgB,CAAC,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,IAAI,CAAC,gBAAgB,CAAC,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC;eACvF,CAAC,gBAAgB,CAAC,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;YAC9E,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,6BAA6B,EAAE,sCAAsC,EAAE,IAAI,CAAC,CAAC,CAAC;YACrG,SAAS;QACX,CAAC;QACD,IAAI,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,aAAa,CAAC,EAAE,CAAC;YAClC,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,gCAAgC,EAAE,GAAG,KAAK,CAAC,aAAa,wCAAwC,EAAE,IAAI,CAAC,CAAC,CAAC;QAClI,CAAC;QACD,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC;QAC9B,MAAM,WAAW,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,EAAE,KAAK,KAAK,CAAC,aAAa,CAAC,CAAC;QAC3F,IAAI,CAAC,WAAW,IAAI,WAAW,CAAC,IAAI,KAAK,KAAK,CAAC,eAAe,EAAE,CAAC;YAC/D,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,kCAAkC,EAAE,GAAG,KAAK,CAAC,aAAa,0DAA0D,EAAE,IAAI,CAAC,CAAC,CAAC;YACpJ,SAAS;QACX,CAAC;QACD,IAAI,KAAK,CAAC,YAAY,KAAK,UAAU,CAAC,WAAW,CAAC,MAAM,CAAC;eACpD,KAAK,CAAC,WAAW,KAAK,SAAS,CAAC,WAAW,CAAC,EAAE,EAAE,WAAW,CAAC,MAAM,CAAC;eACnE,KAAK,CAAC,WAAW,KAAK,gBAAgB,EAAE,CAAC;YAC5C,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,4BAA4B,EAAE,GAAG,KAAK,CAAC,aAAa,uCAAuC,EAAE,IAAI,CAAC,CAAC,CAAC;QAC7H,CAAC;QACD,IAAI,UAAU,GAAG,CAAC,CAAC;QACnB,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;YAC/B,IAAI,CAAC,IAAI,IAAI,OAAO,IAAI,CAAC,MAAM,KAAK,QAAQ,IAAI,CAAC,iBAAiB,CAAC,IAAI,CAAC,QAAQ,CAAC;mBAC5E,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,OAAO,IAAI,CAAC,WAAW,KAAK,QAAQ;mBAC/E,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,iBAAiB,CAAC,IAAI,CAAC,UAAU,CAAC;mBACjF,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,YAAY,CAAC;mBACzC,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,gBAAgB,CAAC,EAAE,CAAC;gBACnD,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,6BAA6B,EAAE,6BAA6B,KAAK,CAAC,aAAa,gBAAgB,EAAE,IAAI,CAAC,CAAC,CAAC;gBAC/H,SAAS;YACX,CAAC;YACD,MAAM,EAAE,gBAAgB,EAAE,GAAG,UAAU,EAAE,GAAG,IAAI,CAAC;YACjD,IAAI,kBAAkB,CAAC,UAAU,CAAC,KAAK,gBAAgB,EAAE,CAAC;gBACxD,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,0CAA0C,EAAE,GAAG,IAAI,CAAC,MAAM,yCAAyC,EAAE,IAAI,CAAC,CAAC,CAAC;gBACnI,SAAS;YACX,CAAC;YACD,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,EAAE,KAAK,IAAI,CAAC,MAAM,IAAI,SAAS,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC;YACxG,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC,QAAQ,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CACrE,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC,MAAM,IAAI,IAAI,CAAC,EAAE,KAAK,WAAW,CAAC,EAAE,IAAI,IAAI,CAAC,QAAQ,KAAK,UAAU,CAAC,EAAE,CAAC;gBAC3F,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,oCAAoC,EAAE,GAAG,IAAI,CAAC,MAAM,kDAAkD,WAAW,CAAC,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC;gBACvJ,SAAS;YACX,CAAC;YACD,MAAM,WAAW,GAAG,CAAC,MAAM,QAAQ,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;YAC3E,IAAI,WAAW,KAAK,IAAI,CAAC,UAAU,EAAE,CAAC;gBACpC,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,iCAAiC,EAAE,GAAG,IAAI,CAAC,MAAM,wBAAwB,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC;gBAClH,SAAS;YACX,CAAC;YACD,IAAI,CAAC;gBACH,MAAM,MAAM,GAAG,MAAM,aAAa,CAAC,IAAI,EAAE,IAAI,CAAC,WAAW,EAAE,IAAI,CAAC,UAAU,CAAC,CAAC;gBAC5E,IAAI,CAAC,MAAM,IAAI,MAAM,CAAC,aAAa,KAAK,IAAI,CAAC,aAAa;uBACrD,MAAM,CAAC,YAAY,KAAK,IAAI,CAAC,YAAY,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;oBAClF,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,sCAAsC,EAAE,GAAG,IAAI,CAAC,MAAM,qDAAqD,EAAE,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC;oBACtJ,SAAS;gBACX,CAAC;YACH,CAAC;YAAC,MAAM,CAAC;gBACP,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,sCAAsC,EAAE,GAAG,IAAI,CAAC,MAAM,0CAA0C,EAAE,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC;gBAC3I,SAAS;YACX,CAAC;YACD,UAAU,EAAE,CAAC;QACf,CAAC;QACD,IAAI,CAAC,UAAU,EAAE,CAAC;YAChB,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,+BAA+B,EAAE,GAAG,WAAW,CAAC,EAAE,sDAAsD,EAAE,IAAI,CAAC,CAAC,CAAC;QAC1I,CAAC;;YAAM,OAAO,CAAC,GAAG,CAAC,WAAW,CAAC,EAAE,CAAC,CAAC;IACrC,CAAC;IACD,KAAK,MAAM,WAAW,IAAI,YAAY,EAAE,CAAC;QACvC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,WAAW,CAAC,EAAE,CAAC,EAAE,CAAC;YAC9B,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,+BAA+B,EAAE,GAAG,WAAW,CAAC,EAAE,+BAA+B,EAAE,WAAW,CAAC,IAAI,EAAE,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC;QACjJ,CAAC;IACH,CAAC;IACD,OAAO;QACL,OAAO,EAAE,IAAI;QACb,KAAK,EAAE,CAAC,WAAW,CAAC,MAAM;QAC1B,YAAY,EAAE,YAAY,CAAC,MAAM;QACjC,mBAAmB,EAAE,CAAC,GAAG,OAAO,CAAC,CAAC,IAAI,EAAE;QACxC,WAAW;KACZ,CAAC;AACJ,CAAC"}

package/dist/packages/analysis/src/mutation.d.ts

@@ -0,0 +1,54 @@
+import { type Diagnostic } from '../../domain/src/index.js';
+import type { MutationConfig } from './config.js';
+import type { ProcessResult } from './process.js';
+export type MutationStatus = 'killed' | 'survived' | 'skipped' | 'error';
+export interface MutationRecord {
+    id: string;
+    requirementId: string;
+    testId: string;
+    sourcePath: string;
+    sourceSha256: string;
+    testPath: string;
+    testSha256: string;
+    operator: string;
+    location: {
+        line: number;
+        column: number;
+    };
+    status: MutationStatus;
+}
+export interface MutationReport {
+    schemaVersion: 1;
+    mutants: MutationRecord[];
+}
+export interface MutationExecution {
+    executionId: string;
+    commandName: string;
+    commandSha256: string;
+    reportPath: string;
+    reportSha256: string;
+    processStatus: ProcessResult['status'];
+    exitCode: number | null;
+    mutants: MutationRecord[];
+    recordSha256: string;
+}
+export interface MutationEvidence {
+    schemaVersion: 1;
+    runId: string;
+    generatedAt: string;
+    executions: MutationExecution[];
+}
+export declare function mutationCommandSha256(executable: string, args: string[]): string;
+export declare function mutationIdentity(record: Pick<MutationRecord, 'requirementId' | 'testId' | 'sourcePath' | 'operator' | 'location'>): string;
+export declare function parseMutationReport(text: string): MutationReport;
+export declare function createMutationExecution(input: Omit<MutationExecution, 'recordSha256'>): MutationExecution;
+export declare function writeMutationEvidence(root: string, executions: MutationExecution[], runId: string): Promise<MutationEvidence>;
+export declare function mutationEvidenceHead(evidence: Record<string, unknown>): string;
+export declare function validateMutationEvidence(root: string, configOverride?: MutationConfig): Promise<{
+    present: boolean;
+    valid: boolean;
+    requirements: number;
+    coveredRequirements: string[];
+    mutants: number;
+    diagnostics: Diagnostic[];
+}>;