musubix3 0.1.0

package/dist/packages/analysis/src/tdd.js

@@ -0,0 +1,353 @@
+import { unlink } from 'node:fs/promises';
+import ts from 'typescript';
+import { error } from '../../domain/src/index.js';
+import { loadConfig } from './config.js';
+import { digest, exists, files, isSource, readText, safePath, snapshot, within, writeJson } from './files.js';
+import { runProcess } from './process.js';
+import { buildTrace } from './trace.js';
+import { adapterInvocation, clearAdapterOutput, normalizeAdapterReport, readAdapterOutput } from './adapters.js';
+import { appendEvidenceOrder, evidenceOrderRecord, inspectEvidenceOrder } from './order.js';
+function render(value, testId, testPath, reportPath) {
+    return value.replaceAll('{testId}', testId).replaceAll('{testPath}', testPath).replaceAll('{reportPath}', reportPath);
+}
+export function parseMusubixTestReport(text) {
+    const value = JSON.parse(text);
+    if (value.schemaVersion !== 1 || !Array.isArray(value.tests))
+        throw new Error('Invalid structured TDD report.');
+    for (const test of value.tests) {
+        if (!test || typeof test.id !== 'string' || !['passed', 'failed', 'skipped', 'error'].includes(test.status)) {
+            throw new Error('Invalid structured TDD test result.');
+        }
+        if (test.operations !== undefined && (!test.operations || typeof test.operations !== 'object' || Array.isArray(test.operations)
+            || Object.entries(test.operations).some(([name, count]) => !/^[\p{L}_][\p{L}\p{N}_.:-]{0,127}$/u.test(name)
+                || typeof count !== 'number' || !Number.isSafeInteger(count) || count < 0))) {
+            throw new Error('Structured test operations must be nonnegative integer counters.');
+        }
+    }
+    return value;
+}
+function chainRecordSha256(record) {
+    return digest(JSON.stringify(record));
+}
+function appendChainRecord(evidence, cycle, phase, phaseEvidence) {
+    if (!cycle.cycleId)
+        throw new Error('TDD cycle ID is required for append-only evidence.');
+    if (!evidence.chain) {
+        if (evidence.cycles.some((entry) => entry !== cycle)) {
+            throw new Error('Existing TDD evidence lacks an append-only hash chain; regenerate it before recording new phases.');
+        }
+        evidence.chain = [];
+    }
+    const previous = evidence.chain.at(-1);
+    const payload = {
+        sequence: evidence.chain.length + 1,
+        cycleId: cycle.cycleId,
+        requirementId: cycle.requirementId,
+        testId: cycle.testId,
+        testPath: cycle.testPath,
+        commandName: cycle.commandName,
+        phase,
+        phaseEvidenceSha256: digest(JSON.stringify(phaseEvidence)),
+        previousSha256: previous?.recordSha256 ?? null,
+    };
+    evidence.chain.push({ ...payload, recordSha256: chainRecordSha256(payload) });
+}
+async function sourceFingerprint(root, testPath, excludedPaths = []) {
+    const excluded = new Set(excludedPaths);
+    const paths = (await files(root)).filter((path) => path !== testPath
+        && !excluded.has(path)
+        && !/^\.musubix\/features\/[^/]+\/trace\.json$/.test(path)
+        && !path.endsWith('.tgz')
+        && !/(?:^|\/)(?:logs?|session-logs)\//.test(path)
+        && !/\.jsonl$/.test(path));
+    return digest(JSON.stringify(await snapshot(root, paths)));
+}
+async function testFingerprint(root, test) {
+    const text = await readText(root, test.path);
+    const lines = text.split(/\r?\n/);
+    const start = lines.slice(0, Math.max(0, test.line - 1)).join('\n').length + (test.line > 1 ? 1 : 0);
+    if (isSource(test.path)) {
+        const source = ts.createSourceFile(test.path, text, ts.ScriptTarget.Latest, true);
+        const declaration = source.statements.find((statement) => statement.getStart(source) >= start);
+        if (declaration)
+            return digest(text.slice(start, declaration.end).trim());
+    }
+    const next = text.slice(start + 1).search(/^[ \t]*(?:\/\*+|\/\/|#).*?@id\s+TEST-/m);
+    return digest(text.slice(start, next < 0 ? text.length : start + 1 + next).trim());
+}
+export async function loadTddEvidence(root) {
+    const path = '.musubix/evidence/tdd.json';
+    if (!await exists(within(root, path)))
+        return null;
+    const value = JSON.parse(await readText(root, path));
+    if (value.schemaVersion !== 1 || !Array.isArray(value.cycles))
+        throw new Error('Invalid TDD evidence.');
+    return value;
+}
+export async function runTddPhase(root, phase, testId, requirementId, commandName, runner = runProcess) {
+    const config = await loadConfig(root);
+    const command = config.commands.find((entry) => entry.name === commandName);
+    if (!command)
+        throw new Error(`Configured command not found: ${commandName}`);
+    if ((!command.tddArgs?.length || !command.tddReport) && !command.adapter) {
+        throw new Error(`Configured command ${commandName} needs tddArgs and a structured tddReport.`);
+    }
+    const trace = await buildTrace(root);
+    const test = trace.nodes.find((node) => node.kind === 'test' && node.id === testId);
+    if (!test)
+        throw new Error(`Annotated test ID not found: ${testId}`);
+    if (!trace.edges.some((edge) => edge.from === testId && edge.to === requirementId && edge.relation === 'verifies')) {
+        throw new Error(`${testId} does not verify ${requirementId}.`);
+    }
+    const currentFingerprint = await testFingerprint(root, test);
+    const evidence = await loadTddEvidence(root) ?? { schemaVersion: 1, cycles: [], chain: [] };
+    if (evidence.cycles.some((cycle) => [cycle.red, cycle.green, cycle.refactor].some((item) => item && !Number.isInteger(item.order)))) {
+        throw new Error('Existing TDD evidence lacks monotonic order; regenerate it before recording new phases.');
+    }
+    const previous = evidence.cycles.filter((cycle) => cycle.testId === testId).at(-1);
+    if (phase !== 'red') {
+        if (!previous?.red.valid)
+            throw new Error(`A valid Red phase is required before ${phase}.`);
+        if (previous.red.testFingerprint !== currentFingerprint)
+            throw new Error('The test changed after Red; run the Red phase again.');
+        if (phase === 'refactor' && !previous.green?.valid)
+            throw new Error('A valid Green phase is required before Refactor.');
+    }
+    const adapter = command.adapter ? adapterInvocation(command.adapter, command.name, testId, test.path) : null;
+    const reportPath = command.tddReport
+        ? render(command.tddReport.path, testId, test.path, '')
+        : adapter.reportPath;
+    const reportAbsolute = await safePath(root, reportPath);
+    if (adapter)
+        await clearAdapterOutput(adapter, reportAbsolute);
+    else if (await exists(reportAbsolute))
+        await unlink(reportAbsolute);
+    const targetedArgs = command.tddArgs
+        ? command.tddArgs.map((arg) => render(arg, testId, test.path, reportPath))
+        : adapter.args;
+    const args = [
+        ...command.args.map((arg) => render(arg, testId, test.path, reportPath)),
+        ...targetedArgs,
+    ];
+    const execution = await runner(command.command, args, { cwd: root, timeoutMs: command.timeoutMs });
+    const output = `${execution.stdout}\n${execution.stderr}`;
+    const diagnostics = [];
+    let reportText = null;
+    let testStatus;
+    if (adapter) {
+        reportText = await readAdapterOutput(adapter, reportAbsolute, execution.stdout);
+    }
+    else if (await exists(reportAbsolute)) {
+        reportText = await readText(root, reportPath);
+    }
+    if (reportText === null) {
+        diagnostics.push(error('TDD_REPORT_MISSING', `${testId} did not produce a fresh structured TDD report.`, reportPath));
+    }
+    if (reportText !== null) {
+        try {
+            const report = command.tddReport
+                ? parseMusubixTestReport(reportText)
+                : normalizeAdapterReport(command.adapter, reportText, testId);
+            if (report.tests.length !== 1 || report.tests[0]?.id !== testId) {
+                diagnostics.push(error('TDD_REPORT_NOT_SCOPED', `${testId} must be the only test result in the structured report.`, reportPath));
+            }
+            else {
+                testStatus = report.tests[0].status;
+                const expectedStatus = phase === 'red' ? 'failed' : 'passed';
+                if (testStatus !== expectedStatus) {
+                    diagnostics.push(error('TDD_TARGET_RESULT', `${phase} requires ${testId} to report ${expectedStatus}, observed ${testStatus}.`, reportPath));
+                }
+            }
+        }
+        catch (cause) {
+            diagnostics.push(error('TDD_REPORT_INVALID', cause instanceof Error ? cause.message : String(cause), reportPath));
+        }
+    }
+    const expectedExit = phase === 'red' ? 'nonzero' : 'zero';
+    const exitValid = execution.status === 'completed' && (phase === 'red' ? execution.exitCode !== 0 : execution.exitCode === 0);
+    if (!exitValid)
+        diagnostics.push(error('TDD_PHASE_RESULT', `${phase} requires a completed command with ${expectedExit} exit status.`));
+    const currentSourceFingerprint = await sourceFingerprint(root, test.path, [reportPath]);
+    if (phase === 'green' && previous?.red.sourceFingerprint === currentSourceFingerprint) {
+        diagnostics.push(error('TDD_GREEN_WITHOUT_SOURCE_CHANGE', `${testId} has no non-test project change between Red and Green.`, test.path));
+    }
+    const cycleId = phase === 'red' ? crypto.randomUUID() : previous?.cycleId;
+    if (!cycleId)
+        throw new Error(`A cycle ID is required before recording ${phase}.`);
+    const result = {
+        phase,
+        valid: !diagnostics.length,
+        scoped: true,
+        resultObserved: testStatus === (phase === 'red' ? 'failed' : 'passed'),
+        ...(testStatus ? { testStatus } : {}),
+        ...(reportText === null ? {} : { reportSha256: digest(reportText) }),
+        commandSha256: digest(JSON.stringify([command.command, args])),
+        outputSha256: digest(output),
+        exitCode: execution.exitCode,
+        durationMs: execution.durationMs,
+        testFingerprint: currentFingerprint,
+        sourceFingerprint: currentSourceFingerprint,
+        executionId: crypto.randomUUID(),
+        recordedAt: new Date().toISOString(),
+        diagnostics,
+    };
+    result.order = (await appendEvidenceOrder(root, {
+        kind: 'tdd',
+        entityId: cycleId,
+        phase,
+    })).sequence;
+    if (phase === 'red') {
+        const cycle = { cycleId, requirementId, testId, testPath: test.path, commandName, red: result };
+        evidence.cycles.push(cycle);
+        appendChainRecord(evidence, cycle, phase, result);
+    }
+    else {
+        if (!previous || previous.requirementId !== requirementId || previous.commandName !== commandName) {
+            throw new Error(`${phase} must use the same requirement and command as Red.`);
+        }
+        previous[phase] = result;
+        appendChainRecord(evidence, previous, phase, result);
+    }
+    await writeJson(root, '.musubix/evidence/tdd.json', evidence);
+    return result;
+}
+export async function validateTddEvidence(root) {
+    const evidence = await loadTddEvidence(root);
+    if (!evidence?.cycles.length)
+        return { present: false, valid: false, diagnostics: [], cycles: 0 };
+    const diagnostics = [];
+    const order = await inspectEvidenceOrder(root);
+    diagnostics.push(...order.diagnostics);
+    if (!evidence.chain) {
+        diagnostics.push(error('TDD_CHAIN_MISSING', 'TDD evidence lacks the append-only hash chain.'));
+    }
+    else {
+        const records = new Map();
+        for (const [index, record] of evidence.chain.entries()) {
+            const expectedSequence = index + 1;
+            const expectedPrevious = index === 0 ? null : evidence.chain[index - 1].recordSha256;
+            const { recordSha256, ...payload } = record;
+            if (record.sequence !== expectedSequence) {
+                diagnostics.push(error('TDD_CHAIN_SEQUENCE', `TDD chain record ${record.sequence} is out of order; expected ${expectedSequence}.`));
+            }
+            if (record.previousSha256 !== expectedPrevious) {
+                diagnostics.push(error('TDD_CHAIN_LINK', `TDD chain record ${record.sequence} does not link to the preceding record.`));
+            }
+            if (recordSha256 !== chainRecordSha256(payload)) {
+                diagnostics.push(error('TDD_CHAIN_HASH_MISMATCH', `TDD chain record ${record.sequence} has an invalid SHA-256.`));
+            }
+            const key = `${record.cycleId}:${record.phase}`;
+            if (records.has(key))
+                diagnostics.push(error('TDD_CHAIN_PHASE_DUPLICATE', `${key} appears more than once in the TDD chain.`));
+            records.set(key, record);
+        }
+        for (const cycle of evidence.cycles) {
+            for (const phase of ['red', 'green', 'refactor']) {
+                const phaseEvidence = cycle[phase];
+                if (!phaseEvidence)
+                    continue;
+                const key = `${cycle.cycleId ?? 'missing'}:${phase}`;
+                const record = records.get(key);
+                if (!record) {
+                    diagnostics.push(error('TDD_CHAIN_PHASE_MISSING', `${cycle.testId}:${phase} is absent from the TDD hash chain.`, cycle.testPath));
+                    continue;
+                }
+                if (record.requirementId !== cycle.requirementId
+                    || record.testId !== cycle.testId
+                    || record.testPath !== cycle.testPath
+                    || record.commandName !== cycle.commandName
+                    || record.phaseEvidenceSha256 !== digest(JSON.stringify(phaseEvidence))) {
+                    diagnostics.push(error('TDD_CHAIN_PAYLOAD_MISMATCH', `${cycle.testId}:${phase} does not match its immutable TDD chain record.`, cycle.testPath));
+                }
+                records.delete(key);
+            }
+        }
+        for (const record of records.values()) {
+            diagnostics.push(error('TDD_CHAIN_ORPHAN', `TDD chain record ${record.sequence} has no matching cycle phase.`));
+        }
+    }
+    const latestCycles = new Map();
+    for (const cycle of evidence.cycles)
+        latestCycles.set(cycle.testId, cycle);
+    const trace = await buildTrace(root, false);
+    for (const requirement of trace.nodes.filter((node) => node.kind === 'requirement' && node.mandatory)) {
+        const verifiedTests = trace.edges
+            .filter((edge) => edge.relation === 'verifies' && edge.to === requirement.id)
+            .map((edge) => edge.from);
+        const covered = evidence.cycles.some((cycle) => cycle.requirementId === requirement.id
+            && verifiedTests.includes(cycle.testId)
+            && cycle.red.valid
+            && cycle.green?.valid);
+        if (!covered) {
+            diagnostics.push(error('TDD_REQUIREMENT_UNCOVERED', `${requirement.id} has no valid Red-Green cycle from an authoritative verifying test.`, requirement.path, requirement.line));
+        }
+    }
+    for (const cycle of evidence.cycles) {
+        for (const phase of ['red', 'green', 'refactor']) {
+            const item = cycle[phase];
+            if (!item)
+                continue;
+            if (!cycle.cycleId || !Number.isInteger(item.order)) {
+                diagnostics.push(error('TDD_ORDER_MIGRATION_REQUIRED', `${cycle.testId}:${phase} lacks monotonic order evidence; regenerate this TDD cycle.`, cycle.testPath));
+                continue;
+            }
+            const record = evidenceOrderRecord(order.records, 'tdd', cycle.cycleId, phase);
+            if (!record || record.sequence !== item.order) {
+                diagnostics.push(error('TDD_ORDER_MISMATCH', `${cycle.testId}:${phase} does not match the monotonic evidence order log.`, cycle.testPath));
+            }
+        }
+        if (cycle.green?.order !== undefined && cycle.red.order !== undefined && cycle.green.order <= cycle.red.order) {
+            diagnostics.push(error('TDD_ORDER_SEQUENCE', `${cycle.testId}:green is not after Red in monotonic evidence order.`, cycle.testPath));
+        }
+        if (cycle.refactor?.order !== undefined && cycle.green?.order !== undefined && cycle.refactor.order <= cycle.green.order) {
+            diagnostics.push(error('TDD_ORDER_SEQUENCE', `${cycle.testId}:refactor is not after Green in monotonic evidence order.`, cycle.testPath));
+        }
+        if (!cycle.red.scoped || !cycle.red.resultObserved || cycle.red.testStatus !== 'failed' || !cycle.red.reportSha256 || !cycle.red.sourceFingerprint || !cycle.red.executionId) {
+            diagnostics.push(error('TDD_LEGACY_OR_UNSCOPED_EVIDENCE', `${cycle.testId} lacks test-scoped execution provenance.`, cycle.testPath));
+        }
+        if (!cycle.red.valid)
+            diagnostics.push(error('TDD_RED_MISSING', `${cycle.testId} has no valid failing Red phase.`, cycle.testPath));
+        if (!cycle.green?.valid)
+            diagnostics.push(error('TDD_GREEN_MISSING', `${cycle.testId} has no valid passing Green phase.`, cycle.testPath));
+        if (cycle.green?.valid) {
+            if (!cycle.green.scoped || !cycle.green.resultObserved || cycle.green.testStatus !== 'passed' || !cycle.green.reportSha256 || !cycle.green.sourceFingerprint || !cycle.green.executionId) {
+                diagnostics.push(error('TDD_LEGACY_OR_UNSCOPED_EVIDENCE', `${cycle.testId} Green lacks test-scoped execution provenance.`, cycle.testPath));
+            }
+            if (latestCycles.get(cycle.testId) === cycle) {
+                const test = trace.nodes.find((node) => node.kind === 'test' && node.id === cycle.testId);
+                const current = test ? await testFingerprint(root, test) : undefined;
+                const latest = cycle.refactor?.valid ? cycle.refactor : cycle.green;
+                if (current !== latest.testFingerprint)
+                    diagnostics.push(error('TDD_TEST_STALE', `${cycle.testId} changed after its latest passing TDD phase.`, cycle.testPath));
+            }
+            if (cycle.red.sourceFingerprint === cycle.green.sourceFingerprint) {
+                diagnostics.push(error('TDD_GREEN_WITHOUT_SOURCE_CHANGE', `${cycle.testId} has no non-test project change between Red and Green.`, cycle.testPath));
+            }
+        }
+        if (cycle.green && cycle.green.commandSha256 !== cycle.red.commandSha256) {
+            diagnostics.push(error('TDD_COMMAND_CHANGED', `${cycle.testId} used a different command between Red and Green.`, cycle.testPath));
+        }
+        if (cycle.refactor && cycle.refactor.commandSha256 !== cycle.red.commandSha256) {
+            diagnostics.push(error('TDD_COMMAND_CHANGED', `${cycle.testId} used a different command during Refactor.`, cycle.testPath));
+        }
+        if (cycle.refactor?.valid && (!cycle.refactor.scoped || !cycle.refactor.resultObserved || cycle.refactor.testStatus !== 'passed' || !cycle.refactor.reportSha256 || !cycle.refactor.sourceFingerprint || !cycle.refactor.executionId)) {
+            diagnostics.push(error('TDD_LEGACY_OR_UNSCOPED_EVIDENCE', `${cycle.testId} Refactor lacks test-scoped execution provenance.`, cycle.testPath));
+        }
+    }
+    for (const phase of ['red', 'green', 'refactor']) {
+        const hashes = new Map();
+        for (const cycle of evidence.cycles) {
+            const item = cycle[phase];
+            if (!item)
+                continue;
+            const previous = hashes.get(item.outputSha256);
+            if (previous && previous.testId !== cycle.testId) {
+                diagnostics.push(error('TDD_EVIDENCE_REUSED', `${previous.testId} and ${cycle.testId} reuse identical ${phase} output evidence.`, cycle.testPath));
+            }
+            else
+                hashes.set(item.outputSha256, cycle);
+        }
+    }
+    return { present: true, valid: !diagnostics.length, diagnostics, cycles: evidence.cycles.length };
+}
+//# sourceMappingURL=tdd.js.map

package/dist/packages/analysis/src/tdd.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"tdd.js","sourceRoot":"","sources":["../../../../packages/analysis/src/tdd.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAC1C,OAAO,EAAE,MAAM,YAAY,CAAC;AAC5B,OAAO,EAAE,KAAK,EAAmB,MAAM,2BAA2B,CAAC;AACnE,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,QAAQ,EAAE,QAAQ,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AAC9G,OAAO,EAAE,UAAU,EAAe,MAAM,cAAc,CAAC;AACvD,OAAO,EAAE,UAAU,EAAkB,MAAM,YAAY,CAAC;AACxD,OAAO,EAAE,iBAAiB,EAAE,kBAAkB,EAAE,sBAAsB,EAAE,iBAAiB,EAAE,MAAM,eAAe,CAAC;AACjH,OAAO,EAAE,mBAAmB,EAAE,mBAAmB,EAAE,oBAAoB,EAAE,MAAM,YAAY,CAAC;AA8D5F,SAAS,MAAM,CAAC,KAAa,EAAE,MAAc,EAAE,QAAgB,EAAE,UAAkB;IACjF,OAAO,KAAK,CAAC,UAAU,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC,UAAU,CAAC,YAAY,EAAE,QAAQ,CAAC,CAAC,UAAU,CAAC,cAAc,EAAE,UAAU,CAAC,CAAC;AACxH,CAAC;AAED,MAAM,UAAU,sBAAsB,CAAC,IAAY;IACjD,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAsB,CAAC;IACpD,IAAI,KAAK,CAAC,aAAa,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,gCAAgC,CAAC,CAAC;IAChH,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;QAC/B,IAAI,CAAC,IAAI,IAAI,OAAO,IAAI,CAAC,EAAE,KAAK,QAAQ,IAAI,CAAC,CAAC,QAAQ,EAAE,QAAQ,EAAE,SAAS,EAAE,OAAO,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;YAC5G,MAAM,IAAI,KAAK,CAAC,qCAAqC,CAAC,CAAC;QACzD,CAAC;QACD,IAAI,IAAI,CAAC,UAAU,KAAK,SAAS,IAAI,CAAC,CAAC,IAAI,CAAC,UAAU,IAAI,OAAO,IAAI,CAAC,UAAU,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC;eAC1H,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC,oCAAoC,CAAC,IAAI,CAAC,IAAI,CAAC;mBACtG,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,KAAK,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;YAChF,MAAM,IAAI,KAAK,CAAC,kEAAkE,CAAC,CAAC;QACtF,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,iBAAiB,CAAC,MAA4C;IACrE,OAAO,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC;AACxC,CAAC;AAED,SAAS,iBAAiB,CAAC,QAAqB,EAAE,KAAe,EAAE,KAAe,EAAE,aAA+B;IACjH,IAAI,CAAC,KAAK,CAAC,OAAO;QAAE,MAAM,IAAI,KAAK,CAAC,oDAAoD,CAAC,CAAC;IAC1F,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAC;QACpB,IAAI,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,KAAK,KAAK,CAAC,EAAE,CAAC;YACrD,MAAM,IAAI,KAAK,CAAC,mGAAmG,CAAC,CAAC;QACvH,CAAC;QACD,QAAQ,CAAC,KAAK,GAAG,EAAE,CAAC;IACtB,CAAC;IACD,MAAM,QAAQ,GAAG,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IACvC,MAAM,OAAO,GAAyC;QACpD,QAAQ,EAAE,QAAQ,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC;QACnC,OAAO,EAAE,KAAK,CAAC,OAAO;QACtB,aAAa,EAAE,KAAK,CAAC,aAAa;QAClC,MAAM,EAAE,KAAK,CAAC,MAAM;QACpB,QAAQ,EAAE,KAAK,CAAC,QAAQ;QACxB,WAAW,EAAE,KAAK,CAAC,WAAW;QAC9B,KAAK;QACL,mBAAmB,EAAE,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC;QAC1D,cAAc,EAAE,QAAQ,EAAE,YAAY,IAAI,IAAI;KAC/C,CAAC;IACF,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,GAAG,OAAO,EAAE,YAAY,EAAE,iBAAiB,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;AAChF,CAAC;AAED,KAAK,UAAU,iBAAiB,CAAC,IAAY,EAAE,QAAgB,EAAE,gBAA0B,EAAE;IAC3F,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,aAAa,CAAC,CAAC;IACxC,MAAM,KAAK,GAAG,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAChD,IAAI,KAAK,QAAQ;WACd,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC;WACnB,CAAC,2CAA2C,CAAC,IAAI,CAAC,IAAI,CAAC;WACvD,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC;WACtB,CAAC,kCAAkC,CAAC,IAAI,CAAC,IAAI,CAAC;WAC9C,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;IAC7B,OAAO,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;AAC7D,CAAC;AAED,KAAK,UAAU,eAAe,CAAC,IAAY,EAAE,IAAe;IAC1D,MAAM,IAAI,GAAG,MAAM,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;IAC7C,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IAClC,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACrG,IAAI,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QACxB,MAAM,MAAM,GAAG,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,EAAE,CAAC,YAAY,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;QAClF,MAAM,WAAW,GAAG,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,KAAK,CAAC,CAAC;QAC/F,IAAI,WAAW;YAAE,OAAO,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,WAAW,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;IAC5E,CAAC;IACD,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,wCAAwC,CAAC,CAAC;IACpF,OAAO,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,GAAG,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;AACrF,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,eAAe,CAAC,IAAY;IAChD,MAAM,IAAI,GAAG,4BAA4B,CAAC;IAC1C,IAAI,CAAC,MAAM,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QAAE,OAAO,IAAI,CAAC;IACnD,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,CAAgB,CAAC;IACpE,IAAI,KAAK,CAAC,aAAa,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,uBAAuB,CAAC,CAAC;IACxG,OAAO,KAAK,CAAC;AACf,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,WAAW,CAC/B,IAAY,EACZ,KAAe,EACf,MAAc,EACd,aAAqB,EACrB,WAAmB,EACnB,SAAiB,UAAU;IAE3B,MAAM,MAAM,GAAG,MAAM,UAAU,CAAC,IAAI,CAAC,CAAC;IACtC,MAAM,OAAO,GAAG,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,WAAW,CAAC,CAAC;IAC5E,IAAI,CAAC,OAAO;QAAE,MAAM,IAAI,KAAK,CAAC,iCAAiC,WAAW,EAAE,CAAC,CAAC;IAC9E,IAAI,CAAC,CAAC,OAAO,CAAC,OAAO,EAAE,MAAM,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC;QACzE,MAAM,IAAI,KAAK,CAAC,sBAAsB,WAAW,4CAA4C,CAAC,CAAC;IACjG,CAAC;IACD,MAAM,KAAK,GAAG,MAAM,UAAU,CAAC,IAAI,CAAC,CAAC;IACrC,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,IAAI,CAAC,EAAE,KAAK,MAAM,CAAC,CAAC;IACpF,IAAI,CAAC,IAAI;QAAE,MAAM,IAAI,KAAK,CAAC,gCAAgC,MAAM,EAAE,CAAC,CAAC;IACrE,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,IAAI,CAAC,EAAE,KAAK,aAAa,IAAI,IAAI,CAAC,QAAQ,KAAK,UAAU,CAAC,EAAE,CAAC;QACnH,MAAM,IAAI,KAAK,CAAC,GAAG,MAAM,oBAAoB,aAAa,GAAG,CAAC,CAAC;IACjE,CAAC;IACD,MAAM,kBAAkB,GAAG,MAAM,eAAe,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IAC7D,MAAM,QAAQ,GAAgB,MAAM,eAAe,CAAC,IAAI,CAAC,IAAI,EAAE,aAAa,EAAE,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC;IACzG,IAAI,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CACjC,CAAC,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;QAClG,MAAM,IAAI,KAAK,CAAC,yFAAyF,CAAC,CAAC;IAC7G,CAAC;IACD,MAAM,QAAQ,GAAG,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IACnF,IAAI,KAAK,KAAK,KAAK,EAAE,CAAC;QACpB,IAAI,CAAC,QAAQ,EAAE,GAAG,CAAC,KAAK;YAAE,MAAM,IAAI,KAAK,CAAC,wCAAwC,KAAK,GAAG,CAAC,CAAC;QAC5F,IAAI,QAAQ,CAAC,GAAG,CAAC,eAAe,KAAK,kBAAkB;YAAE,MAAM,IAAI,KAAK,CAAC,sDAAsD,CAAC,CAAC;QACjI,IAAI,KAAK,KAAK,UAAU,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,KAAK;YAAE,MAAM,IAAI,KAAK,CAAC,kDAAkD,CAAC,CAAC;IAC1H,CAAC;IACD,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,iBAAiB,CAAC,OAAO,CAAC,OAAO,EAAE,OAAO,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAC7G,MAAM,UAAU,GAAG,OAAO,CAAC,SAAS;QAClC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,CAAC,IAAI,EAAE,EAAE,CAAC;QACvD,CAAC,CAAC,OAAQ,CAAC,UAAU,CAAC;IACxB,MAAM,cAAc,GAAG,MAAM,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;IACxD,IAAI,OAAO;QAAE,MAAM,kBAAkB,CAAC,OAAO,EAAE,cAAc,CAAC,CAAC;SAC1D,IAAI,MAAM,MAAM,CAAC,cAAc,CAAC;QAAE,MAAM,MAAM,CAAC,cAAc,CAAC,CAAC;IACpE,MAAM,YAAY,GAAG,OAAO,CAAC,OAAO;QAClC,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,EAAE,MAAM,EAAE,IAAI,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;QAC1E,CAAC,CAAC,OAAQ,CAAC,IAAI,CAAC;IAClB,MAAM,IAAI,GAAG;QACX,GAAG,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,EAAE,MAAM,EAAE,IAAI,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;QACxE,GAAG,YAAY;KAChB,CAAC;IACF,MAAM,SAAS,GAAG,MAAM,MAAM,CAAC,OAAO,CAAC,OAAO,EAAE,IAAI,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,CAAC,SAAS,EAAE,CAAC,CAAC;IACnG,MAAM,MAAM,GAAG,GAAG,SAAS,CAAC,MAAM,KAAK,SAAS,CAAC,MAAM,EAAE,CAAC;IAC1D,MAAM,WAAW,GAAiB,EAAE,CAAC;IACrC,IAAI,UAAU,GAAkB,IAAI,CAAC;IACrC,IAAI,UAA0C,CAAC;IAC/C,IAAI,OAAO,EAAE,CAAC;QACZ,UAAU,GAAG,MAAM,iBAAiB,CAAC,OAAO,EAAE,cAAc,EAAE,SAAS,CAAC,MAAM,CAAC,CAAC;IAClF,CAAC;SAAM,IAAI,MAAM,MAAM,CAAC,cAAc,CAAC,EAAE,CAAC;QACxC,UAAU,GAAG,MAAM,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;IAChD,CAAC;IACD,IAAI,UAAU,KAAK,IAAI,EAAE,CAAC;QACxB,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,oBAAoB,EAAE,GAAG,MAAM,iDAAiD,EAAE,UAAU,CAAC,CAAC,CAAC;IACxH,CAAC;IACD,IAAI,UAAU,KAAK,IAAI,EAAE,CAAC;QACxB,IAAI,CAAC;YACH,MAAM,MAAM,GAAG,OAAO,CAAC,SAAS;gBAC9B,CAAC,CAAC,sBAAsB,CAAC,UAAU,CAAC;gBACpC,CAAC,CAAC,sBAAsB,CAAC,OAAO,CAAC,OAAQ,EAAE,UAAU,EAAE,MAAM,CAAC,CAAC;YACjE,IAAI,MAAM,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,IAAI,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,KAAK,MAAM,EAAE,CAAC;gBAChE,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,uBAAuB,EAAE,GAAG,MAAM,yDAAyD,EAAE,UAAU,CAAC,CAAC,CAAC;YACnI,CAAC;iBAAM,CAAC;gBACN,UAAU,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;gBACpC,MAAM,cAAc,GAAG,KAAK,KAAK,KAAK,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC;gBAC7D,IAAI,UAAU,KAAK,cAAc,EAAE,CAAC;oBAClC,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,mBAAmB,EAAE,GAAG,KAAK,aAAa,MAAM,cAAc,cAAc,cAAc,UAAU,GAAG,EAAE,UAAU,CAAC,CAAC,CAAC;gBAC/I,CAAC;YACH,CAAC;QACH,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,oBAAoB,EAAE,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,UAAU,CAAC,CAAC,CAAC;QACpH,CAAC;IACH,CAAC;IACD,MAAM,YAAY,GAAG,KAAK,KAAK,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC;IAC1D,MAAM,SAAS,GAAG,SAAS,CAAC,MAAM,KAAK,WAAW,IAAI,CAAC,KAAK,KAAK,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,QAAQ,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,QAAQ,KAAK,CAAC,CAAC,CAAC;IAC9H,IAAI,CAAC,SAAS;QAAE,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,kBAAkB,EAAE,GAAG,KAAK,sCAAsC,YAAY,eAAe,CAAC,CAAC,CAAC;IACvI,MAAM,wBAAwB,GAAG,MAAM,iBAAiB,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC;IACxF,IAAI,KAAK,KAAK,OAAO,IAAI,QAAQ,EAAE,GAAG,CAAC,iBAAiB,KAAK,wBAAwB,EAAE,CAAC;QACtF,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,iCAAiC,EAAE,GAAG,MAAM,wDAAwD,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;IAC3I,CAAC;IACD,MAAM,OAAO,GAAG,KAAK,KAAK,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC1E,IAAI,CAAC,OAAO;QAAE,MAAM,IAAI,KAAK,CAAC,2CAA2C,KAAK,GAAG,CAAC,CAAC;IACnF,MAAM,MAAM,GAAqB;QAC/B,KAAK;QACL,KAAK,EAAE,CAAC,WAAW,CAAC,MAAM;QAC1B,MAAM,EAAE,IAAI;QACZ,cAAc,EAAE,UAAU,KAAK,CAAC,KAAK,KAAK,KAAK,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC;QACtE,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACrC,GAAG,CAAC,UAAU,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,MAAM,CAAC,UAAU,CAAC,EAAE,CAAC;QACpE,aAAa,EAAE,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,OAAO,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,CAAC;QAC9D,YAAY,EAAE,MAAM,CAAC,MAAM,CAAC;QAC5B,QAAQ,EAAE,SAAS,CAAC,QAAQ;QAC5B,UAAU,EAAE,SAAS,CAAC,UAAU;QAChC,eAAe,EAAE,kBAAkB;QACnC,iBAAiB,EAAE,wBAAwB;QAC3C,WAAW,EAAE,MAAM,CAAC,UAAU,EAAE;QAChC,UAAU,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;QACpC,WAAW;KACZ,CAAC;IACF,MAAM,CAAC,KAAK,GAAG,CAAC,MAAM,mBAAmB,CAAC,IAAI,EAAE;QAC9C,IAAI,EAAE,KAAK;QACX,QAAQ,EAAE,OAAO;QACjB,KAAK;KACN,CAAC,CAAC,CAAC,QAAQ,CAAC;IACb,IAAI,KAAK,KAAK,KAAK,EAAE,CAAC;QACpB,MAAM,KAAK,GAAa,EAAE,OAAO,EAAE,aAAa,EAAE,MAAM,EAAE,QAAQ,EAAE,IAAI,CAAC,IAAI,EAAE,WAAW,EAAE,GAAG,EAAE,MAAM,EAAE,CAAC;QAC1G,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC5B,iBAAiB,CAAC,QAAQ,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;IACpD,CAAC;SAAM,CAAC;QACN,IAAI,CAAC,QAAQ,IAAI,QAAQ,CAAC,aAAa,KAAK,aAAa,IAAI,QAAQ,CAAC,WAAW,KAAK,WAAW,EAAE,CAAC;YAClG,MAAM,IAAI,KAAK,CAAC,GAAG,KAAK,oDAAoD,CAAC,CAAC;QAChF,CAAC;QACD,QAAQ,CAAC,KAAK,CAAC,GAAG,MAAM,CAAC;QACzB,iBAAiB,CAAC,QAAQ,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;IACvD,CAAC;IACD,MAAM,SAAS,CAAC,IAAI,EAAE,4BAA4B,EAAE,QAAQ,CAAC,CAAC;IAC9D,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,mBAAmB,CAAC,IAAY;IACpD,MAAM,QAAQ,GAAG,MAAM,eAAe,CAAC,IAAI,CAAC,CAAC;IAC7C,IAAI,CAAC,QAAQ,EAAE,MAAM,CAAC,MAAM;QAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,WAAW,EAAE,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC;IAClG,MAAM,WAAW,GAAiB,EAAE,CAAC;IACrC,MAAM,KAAK,GAAG,MAAM,oBAAoB,CAAC,IAAI,CAAC,CAAC;IAC/C,WAAW,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,WAAW,CAAC,CAAC;IACvC,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAC;QACpB,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,mBAAmB,EAAE,gDAAgD,CAAC,CAAC,CAAC;IACjG,CAAC;SAAM,CAAC;QACN,MAAM,OAAO,GAAG,IAAI,GAAG,EAA0B,CAAC;QAClD,KAAK,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,IAAI,QAAQ,CAAC,KAAK,CAAC,OAAO,EAAE,EAAE,CAAC;YACvD,MAAM,gBAAgB,GAAG,KAAK,GAAG,CAAC,CAAC;YACnC,MAAM,gBAAgB,GAAG,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,KAAK,GAAG,CAAC,CAAE,CAAC,YAAY,CAAC;YACtF,MAAM,EAAE,YAAY,EAAE,GAAG,OAAO,EAAE,GAAG,MAAM,CAAC;YAC5C,IAAI,MAAM,CAAC,QAAQ,KAAK,gBAAgB,EAAE,CAAC;gBACzC,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,oBAAoB,EAAE,oBAAoB,MAAM,CAAC,QAAQ,8BAA8B,gBAAgB,GAAG,CAAC,CAAC,CAAC;YACtI,CAAC;YACD,IAAI,MAAM,CAAC,cAAc,KAAK,gBAAgB,EAAE,CAAC;gBAC/C,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,gBAAgB,EAAE,oBAAoB,MAAM,CAAC,QAAQ,yCAAyC,CAAC,CAAC,CAAC;YAC1H,CAAC;YACD,IAAI,YAAY,KAAK,iBAAiB,CAAC,OAAO,CAAC,EAAE,CAAC;gBAChD,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,yBAAyB,EAAE,oBAAoB,MAAM,CAAC,QAAQ,0BAA0B,CAAC,CAAC,CAAC;YACpH,CAAC;YACD,MAAM,GAAG,GAAG,GAAG,MAAM,CAAC,OAAO,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;YAChD,IAAI,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC;gBAAE,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,2BAA2B,EAAE,GAAG,GAAG,2CAA2C,CAAC,CAAC,CAAC;YAC9H,OAAO,CAAC,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;QAC3B,CAAC;QACD,KAAK,MAAM,KAAK,IAAI,QAAQ,CAAC,MAAM,EAAE,CAAC;YACpC,KAAK,MAAM,KAAK,IAAI,CAAC,KAAK,EAAE,OAAO,EAAE,UAAU,CAAU,EAAE,CAAC;gBAC1D,MAAM,aAAa,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC;gBACnC,IAAI,CAAC,aAAa;oBAAE,SAAS;gBAC7B,MAAM,GAAG,GAAG,GAAG,KAAK,CAAC,OAAO,IAAI,SAAS,IAAI,KAAK,EAAE,CAAC;gBACrD,MAAM,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;gBAChC,IAAI,CAAC,MAAM,EAAE,CAAC;oBACZ,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,yBAAyB,EAAE,GAAG,KAAK,CAAC,MAAM,IAAI,KAAK,qCAAqC,EAAE,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC;oBAClI,SAAS;gBACX,CAAC;gBACD,IAAI,MAAM,CAAC,aAAa,KAAK,KAAK,CAAC,aAAa;uBAC3C,MAAM,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM;uBAC9B,MAAM,CAAC,QAAQ,KAAK,KAAK,CAAC,QAAQ;uBAClC,MAAM,CAAC,WAAW,KAAK,KAAK,CAAC,WAAW;uBACxC,MAAM,CAAC,mBAAmB,KAAK,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC,EAAE,CAAC;oBAC1E,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,4BAA4B,EAAE,GAAG,KAAK,CAAC,MAAM,IAAI,KAAK,iDAAiD,EAAE,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC;gBACnJ,CAAC;gBACD,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;YACtB,CAAC;QACH,CAAC;QACD,KAAK,MAAM,MAAM,IAAI,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC;YACtC,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,kBAAkB,EAAE,oBAAoB,MAAM,CAAC,QAAQ,+BAA+B,CAAC,CAAC,CAAC;QAClH,CAAC;IACH,CAAC;IACD,MAAM,YAAY,GAAG,IAAI,GAAG,EAAoB,CAAC;IACjD,KAAK,MAAM,KAAK,IAAI,QAAQ,CAAC,MAAM;QAAE,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;IAC3E,MAAM,KAAK,GAAG,MAAM,UAAU,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAC5C,KAAK,MAAM,WAAW,IAAI,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,aAAa,IAAI,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC;QACtG,MAAM,aAAa,GAAG,KAAK,CAAC,KAAK;aAC9B,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,KAAK,UAAU,IAAI,IAAI,CAAC,EAAE,KAAK,WAAW,CAAC,EAAE,CAAC;aAC5E,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC5B,MAAM,OAAO,GAAG,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAC7C,KAAK,CAAC,aAAa,KAAK,WAAW,CAAC,EAAE;eACnC,aAAa,CAAC,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC;eACpC,KAAK,CAAC,GAAG,CAAC,KAAK;eACf,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;QACzB,IAAI,CAAC,OAAO,EAAE,CAAC;YACb,WAAW,CAAC,IAAI,CAAC,KAAK,CACpB,2BAA2B,EAC3B,GAAG,WAAW,CAAC,EAAE,qEAAqE,EACtF,WAAW,CAAC,IAAI,EAChB,WAAW,CAAC,IAAI,CACjB,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IACD,KAAK,MAAM,KAAK,IAAI,QAAQ,CAAC,MAAM,EAAE,CAAC;QACpC,KAAK,MAAM,KAAK,IAAI,CAAC,KAAK,EAAE,OAAO,EAAE,UAAU,CAAU,EAAE,CAAC;YAC1D,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC;YAC1B,IAAI,CAAC,IAAI;gBAAE,SAAS;YACpB,IAAI,CAAC,KAAK,CAAC,OAAO,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;gBACpD,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,8BAA8B,EAAE,GAAG,KAAK,CAAC,MAAM,IAAI,KAAK,6DAA6D,EAAE,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC;gBAC/J,SAAS;YACX,CAAC;YACD,MAAM,MAAM,GAAG,mBAAmB,CAAC,KAAK,CAAC,OAAO,EAAE,KAAK,EAAE,KAAK,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;YAC/E,IAAI,CAAC,MAAM,IAAI,MAAM,CAAC,QAAQ,KAAK,IAAI,CAAC,KAAK,EAAE,CAAC;gBAC9C,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,oBAAoB,EAAE,GAAG,KAAK,CAAC,MAAM,IAAI,KAAK,mDAAmD,EAAE,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC;YAC7I,CAAC;QACH,CAAC;QACD,IAAI,KAAK,CAAC,KAAK,EAAE,KAAK,KAAK,SAAS,IAAI,KAAK,CAAC,GAAG,CAAC,KAAK,KAAK,SAAS,IAAI,KAAK,CAAC,KAAK,CAAC,KAAK,IAAI,KAAK,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC;YAC9G,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,oBAAoB,EAAE,GAAG,KAAK,CAAC,MAAM,sDAAsD,EAAE,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC;QACvI,CAAC;QACD,IAAI,KAAK,CAAC,QAAQ,EAAE,KAAK,KAAK,SAAS,IAAI,KAAK,CAAC,KAAK,EAAE,KAAK,KAAK,SAAS,IAAI,KAAK,CAAC,QAAQ,CAAC,KAAK,IAAI,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC;YACzH,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,oBAAoB,EAAE,GAAG,KAAK,CAAC,MAAM,2DAA2D,EAAE,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC;QAC5I,CAAC;QACD,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,cAAc,IAAI,KAAK,CAAC,GAAG,CAAC,UAAU,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,YAAY,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,iBAAiB,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,WAAW,EAAE,CAAC;YAC7K,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,iCAAiC,EAAE,GAAG,KAAK,CAAC,MAAM,0CAA0C,EAAE,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC;QACxI,CAAC;QACD,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK;YAAE,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,iBAAiB,EAAE,GAAG,KAAK,CAAC,MAAM,kCAAkC,EAAE,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC;QACpI,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK;YAAE,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,mBAAmB,EAAE,GAAG,KAAK,CAAC,MAAM,oCAAoC,EAAE,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC;QAC3I,IAAI,KAAK,CAAC,KAAK,EAAE,KAAK,EAAE,CAAC;YACvB,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,cAAc,IAAI,KAAK,CAAC,KAAK,CAAC,UAAU,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,YAAY,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,iBAAiB,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,WAAW,EAAE,CAAC;gBACzL,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,iCAAiC,EAAE,GAAG,KAAK,CAAC,MAAM,gDAAgD,EAAE,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC;YAC9I,CAAC;YACD,IAAI,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,KAAK,EAAE,CAAC;gBAC7C,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,IAAI,CAAC,EAAE,KAAK,KAAK,CAAC,MAAM,CAAC,CAAC;gBAC1F,MAAM,OAAO,GAAG,IAAI,CAAC,CAAC,CAAC,MAAM,eAAe,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;gBACrE,MAAM,MAAM,GAAG,KAAK,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC;gBACpE,IAAI,OAAO,KAAK,MAAM,CAAC,eAAe;oBAAE,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,gBAAgB,EAAE,GAAG,KAAK,CAAC,MAAM,8CAA8C,EAAE,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC;YACnK,CAAC;YACD,IAAI,KAAK,CAAC,GAAG,CAAC,iBAAiB,KAAK,KAAK,CAAC,KAAK,CAAC,iBAAiB,EAAE,CAAC;gBAClE,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,iCAAiC,EAAE,GAAG,KAAK,CAAC,MAAM,wDAAwD,EAAE,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC;YACtJ,CAAC;QACH,CAAC;QACD,IAAI,KAAK,CAAC,KAAK,IAAI,KAAK,CAAC,KAAK,CAAC,aAAa,KAAK,KAAK,CAAC,GAAG,CAAC,aAAa,EAAE,CAAC;YACzE,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,qBAAqB,EAAE,GAAG,KAAK,CAAC,MAAM,kDAAkD,EAAE,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC;QACpI,CAAC;QACD,IAAI,KAAK,CAAC,QAAQ,IAAI,KAAK,CAAC,QAAQ,CAAC,aAAa,KAAK,KAAK,CAAC,GAAG,CAAC,aAAa,EAAE,CAAC;YAC/E,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,qBAAqB,EAAE,GAAG,KAAK,CAAC,MAAM,4CAA4C,EAAE,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC;QAC9H,CAAC;QACD,IAAI,KAAK,CAAC,QAAQ,EAAE,KAAK,IAAI,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,MAAM,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,cAAc,IAAI,KAAK,CAAC,QAAQ,CAAC,UAAU,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,YAAY,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,iBAAiB,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,WAAW,CAAC,EAAE,CAAC;YACtO,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,iCAAiC,EAAE,GAAG,KAAK,CAAC,MAAM,mDAAmD,EAAE,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC;QACjJ,CAAC;IACH,CAAC;IACD,KAAK,MAAM,KAAK,IAAI,CAAC,KAAK,EAAE,OAAO,EAAE,UAAU,CAAU,EAAE,CAAC;QAC1D,MAAM,MAAM,GAAG,IAAI,GAAG,EAAoB,CAAC;QAC3C,KAAK,MAAM,KAAK,IAAI,QAAQ,CAAC,MAAM,EAAE,CAAC;YACpC,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC;YAC1B,IAAI,CAAC,IAAI;gBAAE,SAAS;YACpB,MAAM,QAAQ,GAAG,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;YAC/C,IAAI,QAAQ,IAAI,QAAQ,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM,EAAE,CAAC;gBACjD,WAAW,CAAC,IAAI,CAAC,KAAK,CACpB,qBAAqB,EACrB,GAAG,QAAQ,CAAC,MAAM,QAAQ,KAAK,CAAC,MAAM,oBAAoB,KAAK,mBAAmB,EAClF,KAAK,CAAC,QAAQ,CACf,CAAC,CAAC;YACL,CAAC;;gBAAM,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,YAAY,EAAE,KAAK,CAAC,CAAC;QAC9C,CAAC;IACH,CAAC;IACD,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,WAAW,CAAC,MAAM,EAAE,WAAW,EAAE,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC;AACpG,CAAC"}

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

@@ -0,0 +1,45 @@
+import { type Diagnostic } from '../../domain/src/index.js';
+export interface TraceNode {
+    id: string;
+    kind: 'requirement' | 'design' | 'code' | 'test' | 'adr';
+    path: string;
+    line: number;
+    mandatory?: boolean;
+}
+export interface TraceEdge {
+    from: string;
+    to: string;
+    relation: 'satisfies' | 'implements' | 'verifies' | 'decides' | 'depends-on';
+}
+export interface TraceGraph {
+    schemaVersion: 1;
+    generatedAt: string;
+    nodes: TraceNode[];
+    edges: TraceEdge[];
+    diagnostics: Diagnostic[];
+    fingerprints: Record<string, string>;
+}
+export declare function traceInputs(root: string): Promise<string[]>;
+export declare function buildTrace(root: string, persist?: boolean): Promise<TraceGraph>;
+export declare function loadTrace(root: string): Promise<TraceGraph>;
+export interface TraceCheck {
+    valid: boolean;
+    diagnostics: Diagnostic[];
+    coverageKind: 'link-coverage';
+    mandatoryRequirements: number;
+    coverage: {
+        design: number | null;
+        implementation: number | null;
+        tests: number | null;
+    };
+}
+export declare function checkTrace(root: string, graph: TraceGraph, strict?: boolean, thresholds?: {
+    design: number;
+    implementation: number;
+    tests: number;
+}): Promise<TraceCheck>;
+export interface Impact {
+    id: string;
+    paths: string[][];
+}
+export declare function traceImpact(graph: TraceGraph, query: string): Impact[];