musubix3 0.1.0

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

@@ -0,0 +1,299 @@
+import { error, validateRequirements } from '../../domain/src/index.js';
+import { loadConfig } from './config.js';
+import { digest, exists, files, readText, within, writeJson } from './files.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);
+}
+export function mutationCommandSha256(executable, args) {
+    return digest(canonical({ executable, arguments: args }));
+}
+export function mutationIdentity(record) {
+    return `MUT-${digest(canonical({
+        requirementId: record.requirementId,
+        testId: record.testId,
+        sourcePath: record.sourcePath,
+        operator: record.operator,
+        location: record.location,
+    })).slice(0, 16).toUpperCase()}`;
+}
+function validHash(value) {
+    return typeof value === 'string' && /^[a-f0-9]{64}$/.test(value);
+}
+function validRelativePath(value) {
+    return typeof value === 'string' && !!value && !value.includes('\0')
+        && !value.startsWith('/') && !/^[a-zA-Z]:[\\/]/.test(value)
+        && !value.split(/[\\/]/).includes('..');
+}
+function validRecord(record) {
+    return !!record && typeof record.id === 'string'
+        && typeof record.requirementId === 'string' && typeof record.testId === 'string'
+        && validRelativePath(record.sourcePath) && validHash(record.sourceSha256)
+        && validRelativePath(record.testPath) && validHash(record.testSha256)
+        && typeof record.operator === 'string' && /^[\p{L}_][\p{L}\p{N}_.:-]{0,127}$/u.test(record.operator)
+        && !!record.location && Number.isInteger(record.location.line) && record.location.line > 0
+        && Number.isInteger(record.location.column) && record.location.column > 0
+        && ['killed', 'survived', 'skipped', 'error'].includes(record.status);
+}
+export function parseMutationReport(text) {
+    const value = JSON.parse(text);
+    if (value.schemaVersion !== 1 || !Array.isArray(value.mutants) || !value.mutants.every(validRecord)) {
+        throw new Error('Invalid schema-v1 mutation report.');
+    }
+    return value;
+}
+function executionHash(execution) {
+    return digest(canonical(execution));
+}
+export function createMutationExecution(input) {
+    return { ...input, recordSha256: executionHash(input) };
+}
+export async function writeMutationEvidence(root, executions, runId) {
+    const evidence = {
+        schemaVersion: 1,
+        runId,
+        generatedAt: new Date().toISOString(),
+        executions,
+    };
+    await writeJson(root, '.musubix/evidence/mutation.json', evidence);
+    return evidence;
+}
+export function mutationEvidenceHead(evidence) {
+    const executions = Array.isArray(evidence.executions) ? evidence.executions : [];
+    return digest(canonical({
+        schemaVersion: evidence.schemaVersion,
+        executions: executions.map((entry) => {
+            const execution = entry;
+            return {
+                commandName: execution.commandName,
+                commandSha256: execution.commandSha256,
+                reportPath: execution.reportPath,
+                processStatus: execution.processStatus,
+                exitCode: execution.exitCode,
+                mutants: execution.mutants ?? [],
+            };
+        }).sort((a, b) => canonical(a).localeCompare(canonical(b))),
+    }));
+}
+async function functionalMustRequirements(root) {
+    const result = [];
+    const paths = (await files(root)).filter((path) => /^\.musubix\/features\/[^/]+\/requirements\.md$/.test(path));
+    for (const path of paths) {
+        result.push(...validateRequirements(await readText(root, path), path).value
+            .filter((requirement) => requirement.priority === 'must' && requirement.type === 'functional'));
+    }
+    return result;
+}
+function configuredMutation(command) {
+    if (!command.mutationReport)
+        return null;
+    return {
+        reportPath: command.mutationReport.path,
+        args: command.args.map((arg) => arg.replaceAll('{reportPath}', command.mutationReport.path)),
+    };
+}
+function sourceImplements(trace, sourceId, requirementId) {
+    if (trace.edges.some((edge) => edge.from === sourceId && edge.to === requirementId && edge.relation === 'implements'))
+        return true;
+    const designs = trace.edges.filter((edge) => edge.to === requirementId && edge.relation === 'satisfies').map((edge) => edge.from);
+    return trace.edges.some((edge) => edge.from === sourceId && designs.includes(edge.to) && edge.relation === 'implements');
+}
+export async function validateMutationEvidence(root, configOverride) {
+    const requirements = await functionalMustRequirements(root);
+    const path = '.musubix/evidence/mutation.json';
+    if (!await exists(within(root, path))) {
+        const mutationConfig = configOverride ?? (await exists(within(root, '.musubix/config.json'))
+            ? (await loadConfig(root)).mutation
+            : { mode: 'compatible' });
+        const required = mutationConfig.mode === 'strict' && requirements.length > 0;
+        return {
+            present: false,
+            valid: !required,
+            requirements: requirements.length,
+            coveredRequirements: [],
+            mutants: 0,
+            diagnostics: required
+                ? [error('MUTATION_EVIDENCE_MISSING', 'Strict mutation mode requires fresh schema-v1 mutation evidence.', path)]
+                : [],
+        };
+    }
+    const config = await loadConfig(root);
+    let value;
+    try {
+        value = JSON.parse(await readText(root, path));
+    }
+    catch (cause) {
+        return {
+            present: true, valid: false, requirements: requirements.length, coveredRequirements: [], mutants: 0,
+            diagnostics: [error('MUTATION_EVIDENCE_SCHEMA', `Invalid mutation evidence: ${cause instanceof Error ? cause.message : String(cause)}.`, path)],
+        };
+    }
+    if (value.schemaVersion !== 1 || typeof value.runId !== 'string'
+        || !/^[0-9a-f]{8}-[0-9a-f]{4}-[1-5][0-9a-f]{3}-[89ab][0-9a-f]{3}-[0-9a-f]{12}$/i.test(value.runId)
+        || Number.isNaN(Date.parse(value.generatedAt)) || !Array.isArray(value.executions)) {
+        return {
+            present: true, valid: false, requirements: requirements.length, coveredRequirements: [], mutants: 0,
+            diagnostics: [error('MUTATION_EVIDENCE_SCHEMA', 'Invalid mutation evidence.', path)],
+        };
+    }
+    const diagnostics = [];
+    let trace;
+    try {
+        trace = await loadTrace(root);
+        const traceCheck = await checkTrace(root, trace, true);
+        if (!traceCheck.valid)
+            diagnostics.push(error('MUTATION_TRACE_STALE', 'Mutation evidence requires a fresh valid trace graph.', path));
+    }
+    catch {
+        return {
+            present: true, valid: false, requirements: requirements.length, coveredRequirements: [], mutants: 0,
+            diagnostics: [error('MUTATION_TRACE_STALE', 'Mutation evidence requires generated trace evidence.', path)],
+        };
+    }
+    const nodes = new Map(trace.nodes.map((node) => [node.id, node]));
+    const currentFingerprints = {};
+    const evidencePaths = new Set();
+    for (const execution of value.executions) {
+        if (!execution || !Array.isArray(execution.mutants))
+            continue;
+        for (const mutant of execution.mutants) {
+            if (!mutant || typeof mutant !== 'object')
+                continue;
+            if (typeof mutant.sourcePath === 'string')
+                evidencePaths.add(mutant.sourcePath);
+            if (typeof mutant.testPath === 'string')
+                evidencePaths.add(mutant.testPath);
+        }
+    }
+    for (const candidate of evidencePaths) {
+        try {
+            const absolute = within(root, candidate);
+            if (await exists(absolute))
+                currentFingerprints[candidate] = digest(await readText(root, candidate));
+        }
+        catch {
+            diagnostics.push(error('MUTATION_PATH', `Mutation evidence contains an unsafe or unreadable path: ${candidate}.`, path));
+        }
+    }
+    const identities = new Map();
+    const locations = new Map();
+    const executionIds = new Set();
+    const reportOwners = new Map();
+    const covered = new Set();
+    for (const execution of value.executions) {
+        if (!execution || !validHash(execution.executionId) || typeof execution.commandName !== 'string'
+            || !validHash(execution.commandSha256) || !validRelativePath(execution.reportPath)
+            || !validHash(execution.reportSha256) || execution.processStatus !== 'completed'
+            || execution.exitCode !== 0 || !Array.isArray(execution.mutants)
+            || !execution.mutants.every(validRecord) || !validHash(execution.recordSha256)) {
+            diagnostics.push(error('MUTATION_PROVENANCE_SCHEMA', 'A mutation execution provenance record is malformed.', path));
+            continue;
+        }
+        const { recordSha256, ...unsigned } = execution;
+        if (executionHash(unsigned) !== recordSha256) {
+            diagnostics.push(error('MUTATION_PROVENANCE_TAMPERED', `Mutation execution ${execution.executionId} has an invalid record hash.`, path));
+        }
+        if (executionIds.has(execution.executionId)) {
+            diagnostics.push(error('MUTATION_EXECUTION_DUPLICATE', `Mutation execution ${execution.executionId} is duplicated.`, path));
+        }
+        executionIds.add(execution.executionId);
+        const reportOwner = reportOwners.get(execution.reportPath);
+        if (reportOwner && reportOwner !== execution.executionId) {
+            diagnostics.push(error('MUTATION_REPORT_CONFLICT', `${execution.reportPath} is claimed by multiple mutation executions.`, path));
+        }
+        reportOwners.set(execution.reportPath, execution.executionId);
+        const command = config.commands.find((candidate) => candidate.name === execution.commandName);
+        const configured = command ? configuredMutation(command) : null;
+        if (!command || !configured || configured.reportPath !== execution.reportPath
+            || mutationCommandSha256(command.command, configured.args) !== execution.commandSha256) {
+            diagnostics.push(error('MUTATION_COMMAND_MISMATCH', `${execution.commandName} is not traceable to the current configured mutation command.`, path));
+        }
+        if (!await exists(within(root, execution.reportPath))) {
+            diagnostics.push(error('MUTATION_REPORT_STALE', `${execution.reportPath} is missing.`, execution.reportPath));
+        }
+        else {
+            try {
+                const text = await readText(root, execution.reportPath);
+                const report = parseMutationReport(text);
+                if (digest(text) !== execution.reportSha256 || canonical(report.mutants) !== canonical(execution.mutants)) {
+                    diagnostics.push(error('MUTATION_REPORT_STALE', `${execution.reportPath} changed since the mutation command ran.`, execution.reportPath));
+                }
+            }
+            catch {
+                diagnostics.push(error('MUTATION_REPORT_STALE', `${execution.reportPath} is malformed or changed.`, execution.reportPath));
+            }
+        }
+        for (const mutant of execution.mutants) {
+            const expectedId = mutationIdentity(mutant);
+            if (mutant.id !== expectedId) {
+                diagnostics.push(error('MUTATION_IDENTITY', `${mutant.id} is not the deterministic identity ${expectedId}.`, path));
+            }
+            const previous = identities.get(mutant.id);
+            if (previous) {
+                diagnostics.push(error(canonical(previous) === canonical(mutant) ? 'MUTATION_DUPLICATE' : 'MUTATION_CONFLICT', `${mutant.id} is reported more than once${canonical(previous) === canonical(mutant) ? '' : ' with conflicting evidence'}.`, path));
+            }
+            else
+                identities.set(mutant.id, mutant);
+            const locationKey = canonical({
+                requirementId: mutant.requirementId,
+                sourcePath: mutant.sourcePath,
+                operator: mutant.operator,
+                location: mutant.location,
+            });
+            const locationOwner = locations.get(locationKey);
+            if (locationOwner && locationOwner.id !== mutant.id) {
+                diagnostics.push(error('MUTATION_CONFLICT', `${mutant.sourcePath}:${mutant.location.line}:${mutant.location.column} has conflicting mutant identities.`, path));
+            }
+            else
+                locations.set(locationKey, mutant);
+            const requirement = requirements.find((candidate) => candidate.id === mutant.requirementId);
+            if (!requirement) {
+                diagnostics.push(error('MUTATION_REQUIREMENT', `${mutant.id} is not linked to a must functional requirement.`, path));
+            }
+            const test = nodes.get(mutant.testId);
+            if (!test || test.kind !== 'test' || test.path !== mutant.testPath
+                || !trace.edges.some((edge) => edge.from === mutant.testId
+                    && edge.to === mutant.requirementId && edge.relation === 'verifies')) {
+                diagnostics.push(error('MUTATION_TEST_UNLINKED', `${mutant.testId} is not an authoritative test for ${mutant.requirementId}.`, path));
+            }
+            const source = trace.nodes.find((node) => node.kind === 'code' && node.path === mutant.sourcePath
+                && sourceImplements(trace, node.id, mutant.requirementId));
+            if (!source)
+                diagnostics.push(error('MUTATION_SOURCE_UNLINKED', `${mutant.sourcePath} is not authoritative implementation for ${mutant.requirementId}.`, path));
+            if (currentFingerprints[mutant.sourcePath] !== mutant.sourceSha256) {
+                diagnostics.push(error('MUTATION_SOURCE_STALE', `${mutant.id} source fingerprint is stale.`, mutant.sourcePath));
+            }
+            if (currentFingerprints[mutant.testPath] !== mutant.testSha256) {
+                diagnostics.push(error('MUTATION_TEST_STALE', `${mutant.id} test fingerprint is stale.`, mutant.testPath));
+            }
+            if (mutant.status !== 'killed') {
+                diagnostics.push(error('MUTATION_NOT_KILLED', `${mutant.id} status is ${mutant.status}; killed is required.`, path));
+            }
+            if (requirement && test?.kind === 'test' && source && mutant.status === 'killed'
+                && currentFingerprints[mutant.sourcePath] === mutant.sourceSha256
+                && currentFingerprints[mutant.testPath] === mutant.testSha256)
+                covered.add(mutant.requirementId);
+        }
+    }
+    for (const requirement of requirements) {
+        if (!covered.has(requirement.id)) {
+            diagnostics.push(error('MUTATION_REQUIREMENT_UNCOVERED', `${requirement.id} has no current linked killed mutant.`, path));
+        }
+    }
+    return {
+        present: true,
+        valid: !diagnostics.length,
+        requirements: requirements.length,
+        coveredRequirements: [...covered].sort(),
+        mutants: value.executions.reduce((sum, execution) => sum + (execution && Array.isArray(execution.mutants) ? execution.mutants.length : 0), 0),
+        diagnostics,
+    };
+}
+//# sourceMappingURL=mutation.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"mutation.js","sourceRoot":"","sources":["../../../../packages/analysis/src/mutation.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,oBAAoB,EAAqC,MAAM,2BAA2B,CAAC;AAE3G,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,QAAQ,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AAEhF,OAAO,EAAE,UAAU,EAAE,SAAS,EAAmB,MAAM,YAAY,CAAC;AAyCpE,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,MAAM,UAAU,qBAAqB,CAAC,UAAkB,EAAE,IAAc;IACtE,OAAO,MAAM,CAAC,SAAS,CAAC,EAAE,UAAU,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;AAC5D,CAAC;AAED,MAAM,UAAU,gBAAgB,CAAC,MACqC;IACpE,OAAO,OAAO,MAAM,CAAC,SAAS,CAAC;QAC7B,aAAa,EAAE,MAAM,CAAC,aAAa;QACnC,MAAM,EAAE,MAAM,CAAC,MAAM;QACrB,UAAU,EAAE,MAAM,CAAC,UAAU;QAC7B,QAAQ,EAAE,MAAM,CAAC,QAAQ;QACzB,QAAQ,EAAE,MAAM,CAAC,QAAQ;KAC1B,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC;AACnC,CAAC;AAED,SAAS,SAAS,CAAC,KAAc;IAC/B,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,gBAAgB,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;AACnE,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,WAAW,CAAC,MAAsB;IACzC,OAAO,CAAC,CAAC,MAAM,IAAI,OAAO,MAAM,CAAC,EAAE,KAAK,QAAQ;WAC3C,OAAO,MAAM,CAAC,aAAa,KAAK,QAAQ,IAAI,OAAO,MAAM,CAAC,MAAM,KAAK,QAAQ;WAC7E,iBAAiB,CAAC,MAAM,CAAC,UAAU,CAAC,IAAI,SAAS,CAAC,MAAM,CAAC,YAAY,CAAC;WACtE,iBAAiB,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,SAAS,CAAC,MAAM,CAAC,UAAU,CAAC;WAClE,OAAO,MAAM,CAAC,QAAQ,KAAK,QAAQ,IAAI,oCAAoC,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC;WACjG,CAAC,CAAC,MAAM,CAAC,QAAQ,IAAI,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,MAAM,CAAC,QAAQ,CAAC,IAAI,GAAG,CAAC;WACvF,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC;WACtE,CAAC,QAAQ,EAAE,UAAU,EAAE,SAAS,EAAE,OAAO,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;AAC1E,CAAC;AAED,MAAM,UAAU,mBAAmB,CAAC,IAAY;IAC9C,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAmB,CAAC;IACjD,IAAI,KAAK,CAAC,aAAa,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,WAAW,CAAC,EAAE,CAAC;QACpG,MAAM,IAAI,KAAK,CAAC,oCAAoC,CAAC,CAAC;IACxD,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,aAAa,CAAC,SAAkD;IACvE,OAAO,MAAM,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC,CAAC;AACtC,CAAC;AAED,MAAM,UAAU,uBAAuB,CAAC,KAA8C;IACpF,OAAO,EAAE,GAAG,KAAK,EAAE,YAAY,EAAE,aAAa,CAAC,KAAK,CAAC,EAAE,CAAC;AAC1D,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,qBAAqB,CACzC,IAAY,EACZ,UAA+B,EAC/B,KAAa;IAEb,MAAM,QAAQ,GAAqB;QACjC,aAAa,EAAE,CAAC;QAChB,KAAK;QACL,WAAW,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;QACrC,UAAU;KACX,CAAC;IACF,MAAM,SAAS,CAAC,IAAI,EAAE,iCAAiC,EAAE,QAAQ,CAAC,CAAC;IACnE,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,MAAM,UAAU,oBAAoB,CAAC,QAAiC;IACpE,MAAM,UAAU,GAAG,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,CAAC;IACjF,OAAO,MAAM,CAAC,SAAS,CAAC;QACtB,aAAa,EAAE,QAAQ,CAAC,aAAa;QACrC,UAAU,EAAE,UAAU,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE;YACnC,MAAM,SAAS,GAAG,KAAmC,CAAC;YACtD,OAAO;gBACL,WAAW,EAAE,SAAS,CAAC,WAAW;gBAClC,aAAa,EAAE,SAAS,CAAC,aAAa;gBACtC,UAAU,EAAE,SAAS,CAAC,UAAU;gBAChC,aAAa,EAAE,SAAS,CAAC,aAAa;gBACtC,QAAQ,EAAE,SAAS,CAAC,QAAQ;gBAC5B,OAAO,EAAE,SAAS,CAAC,OAAO,IAAI,EAAE;aACjC,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,0BAA0B,CAAC,IAAY;IACpD,MAAM,MAAM,GAAkB,EAAE,CAAC;IACjC,MAAM,KAAK,GAAG,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,gDAAgD,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;IAChH,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,CAAC,IAAI,CAAC,GAAG,oBAAoB,CAAC,MAAM,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,IAAI,CAAC,CAAC,KAAK;aACxE,MAAM,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC,WAAW,CAAC,QAAQ,KAAK,MAAM,IAAI,WAAW,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC,CAAC;IACpG,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,kBAAkB,CAAC,OAAsB;IAChD,IAAI,CAAC,OAAO,CAAC,cAAc;QAAE,OAAO,IAAI,CAAC;IACzC,OAAO;QACL,UAAU,EAAE,OAAO,CAAC,cAAc,CAAC,IAAI;QACvC,IAAI,EAAE,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,UAAU,CAAC,cAAc,EAAE,OAAO,CAAC,cAAe,CAAC,IAAI,CAAC,CAAC;KAC9F,CAAC;AACJ,CAAC;AAED,SAAS,gBAAgB,CAAC,KAAiB,EAAE,QAAgB,EAAE,aAAqB;IAClF,IAAI,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAC5B,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,EAAE,KAAK,aAAa,IAAI,IAAI,CAAC,QAAQ,KAAK,YAAY,CAAC;QAAE,OAAO,IAAI,CAAC;IACtG,MAAM,OAAO,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAC1C,IAAI,CAAC,EAAE,KAAK,aAAa,IAAI,IAAI,CAAC,QAAQ,KAAK,WAAW,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACvF,OAAO,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAC/B,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,IAAI,CAAC,QAAQ,KAAK,YAAY,CAAC,CAAC;AAC3F,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,wBAAwB,CAC5C,IAAY,EACZ,cAA+B;IAS/B,MAAM,YAAY,GAAG,MAAM,0BAA0B,CAAC,IAAI,CAAC,CAAC;IAC5D,MAAM,IAAI,GAAG,iCAAiC,CAAC;IAC/C,IAAI,CAAC,MAAM,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC;QACtC,MAAM,cAAc,GAAG,cAAc,IAAI,CAAC,MAAM,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,sBAAsB,CAAC,CAAC;YAC1F,CAAC,CAAC,CAAC,MAAM,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ;YACnC,CAAC,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,CAAC,CAAC;QAC5B,MAAM,QAAQ,GAAG,cAAc,CAAC,IAAI,KAAK,QAAQ,IAAI,YAAY,CAAC,MAAM,GAAG,CAAC,CAAC;QAC7E,OAAO;YACL,OAAO,EAAE,KAAK;YACd,KAAK,EAAE,CAAC,QAAQ;YAChB,YAAY,EAAE,YAAY,CAAC,MAAM;YACjC,mBAAmB,EAAE,EAAE;YACvB,OAAO,EAAE,CAAC;YACV,WAAW,EAAE,QAAQ;gBACnB,CAAC,CAAC,CAAC,KAAK,CAAC,2BAA2B,EAAE,kEAAkE,EAAE,IAAI,CAAC,CAAC;gBAChH,CAAC,CAAC,EAAE;SACP,CAAC;IACJ,CAAC;IACD,MAAM,MAAM,GAAG,MAAM,UAAU,CAAC,IAAI,CAAC,CAAC;IACtC,IAAI,KAAuB,CAAC;IAC5B,IAAI,CAAC;QACH,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,CAAqB,CAAC;IACrE,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,EAAE,OAAO,EAAE,CAAC;YACnG,WAAW,EAAE,CAAC,KAAK,CAAC,0BAA0B,EAAE,8BAA8B,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;SAChJ,CAAC;IACJ,CAAC;IACD,IAAI,KAAK,CAAC,aAAa,KAAK,CAAC,IAAI,OAAO,KAAK,CAAC,KAAK,KAAK,QAAQ;WAC3D,CAAC,4EAA4E,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC;WAC/F,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,UAAU,CAAC,EAAE,CAAC;QACrF,OAAO;YACL,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,YAAY,EAAE,YAAY,CAAC,MAAM,EAAE,mBAAmB,EAAE,EAAE,EAAE,OAAO,EAAE,CAAC;YACnG,WAAW,EAAE,CAAC,KAAK,CAAC,0BAA0B,EAAE,4BAA4B,EAAE,IAAI,CAAC,CAAC;SACrF,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,UAAU,GAAG,MAAM,UAAU,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;QACvD,IAAI,CAAC,UAAU,CAAC,KAAK;YAAE,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,sBAAsB,EAAE,uDAAuD,EAAE,IAAI,CAAC,CAAC,CAAC;IACxI,CAAC;IAAC,MAAM,CAAC;QACP,OAAO;YACL,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,YAAY,EAAE,YAAY,CAAC,MAAM,EAAE,mBAAmB,EAAE,EAAE,EAAE,OAAO,EAAE,CAAC;YACnG,WAAW,EAAE,CAAC,KAAK,CAAC,sBAAsB,EAAE,sDAAsD,EAAE,IAAI,CAAC,CAAC;SAC3G,CAAC;IACJ,CAAC;IACD,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;IAClE,MAAM,mBAAmB,GAA2B,EAAE,CAAC;IACvD,MAAM,aAAa,GAAG,IAAI,GAAG,EAAU,CAAC;IACxC,KAAK,MAAM,SAAS,IAAI,KAAK,CAAC,UAAU,EAAE,CAAC;QACzC,IAAI,CAAC,SAAS,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC;YAAE,SAAS;QAC9D,KAAK,MAAM,MAAM,IAAI,SAAS,CAAC,OAAO,EAAE,CAAC;YACvC,IAAI,CAAC,MAAM,IAAI,OAAO,MAAM,KAAK,QAAQ;gBAAE,SAAS;YACpD,IAAI,OAAO,MAAM,CAAC,UAAU,KAAK,QAAQ;gBAAE,aAAa,CAAC,GAAG,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;YAChF,IAAI,OAAO,MAAM,CAAC,QAAQ,KAAK,QAAQ;gBAAE,aAAa,CAAC,GAAG,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;QAC9E,CAAC;IACH,CAAC;IACD,KAAK,MAAM,SAAS,IAAI,aAAa,EAAE,CAAC;QACtC,IAAI,CAAC;YACH,MAAM,QAAQ,GAAG,MAAM,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;YACzC,IAAI,MAAM,MAAM,CAAC,QAAQ,CAAC;gBAAE,mBAAmB,CAAC,SAAS,CAAC,GAAG,MAAM,CAAC,MAAM,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC,CAAC;QACvG,CAAC;QAAC,MAAM,CAAC;YACP,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,eAAe,EAAE,4DAA4D,SAAS,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC;QAC3H,CAAC;IACH,CAAC;IACD,MAAM,UAAU,GAAG,IAAI,GAAG,EAA0B,CAAC;IACrD,MAAM,SAAS,GAAG,IAAI,GAAG,EAA0B,CAAC;IACpD,MAAM,YAAY,GAAG,IAAI,GAAG,EAAU,CAAC;IACvC,MAAM,YAAY,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC/C,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,KAAK,MAAM,SAAS,IAAI,KAAK,CAAC,UAAU,EAAE,CAAC;QACzC,IAAI,CAAC,SAAS,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,WAAW,CAAC,IAAI,OAAO,SAAS,CAAC,WAAW,KAAK,QAAQ;eAC3F,CAAC,SAAS,CAAC,SAAS,CAAC,aAAa,CAAC,IAAI,CAAC,iBAAiB,CAAC,SAAS,CAAC,UAAU,CAAC;eAC/E,CAAC,SAAS,CAAC,SAAS,CAAC,YAAY,CAAC,IAAI,SAAS,CAAC,aAAa,KAAK,WAAW;eAC7E,SAAS,CAAC,QAAQ,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC;eAC7D,CAAC,SAAS,CAAC,OAAO,CAAC,KAAK,CAAC,WAAW,CAAC,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,YAAY,CAAC,EAAE,CAAC;YACjF,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,4BAA4B,EAAE,sDAAsD,EAAE,IAAI,CAAC,CAAC,CAAC;YACpH,SAAS;QACX,CAAC;QACD,MAAM,EAAE,YAAY,EAAE,GAAG,QAAQ,EAAE,GAAG,SAAS,CAAC;QAChD,IAAI,aAAa,CAAC,QAAQ,CAAC,KAAK,YAAY,EAAE,CAAC;YAC7C,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,8BAA8B,EAAE,sBAAsB,SAAS,CAAC,WAAW,8BAA8B,EAAE,IAAI,CAAC,CAAC,CAAC;QAC3I,CAAC;QACD,IAAI,YAAY,CAAC,GAAG,CAAC,SAAS,CAAC,WAAW,CAAC,EAAE,CAAC;YAC5C,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,8BAA8B,EAAE,sBAAsB,SAAS,CAAC,WAAW,iBAAiB,EAAE,IAAI,CAAC,CAAC,CAAC;QAC9H,CAAC;QACD,YAAY,CAAC,GAAG,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC;QACxC,MAAM,WAAW,GAAG,YAAY,CAAC,GAAG,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;QAC3D,IAAI,WAAW,IAAI,WAAW,KAAK,SAAS,CAAC,WAAW,EAAE,CAAC;YACzD,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,0BAA0B,EAAE,GAAG,SAAS,CAAC,UAAU,8CAA8C,EAAE,IAAI,CAAC,CAAC,CAAC;QACnI,CAAC;QACD,YAAY,CAAC,GAAG,CAAC,SAAS,CAAC,UAAU,EAAE,SAAS,CAAC,WAAW,CAAC,CAAC;QAC9D,MAAM,OAAO,GAAG,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,KAAK,SAAS,CAAC,WAAW,CAAC,CAAC;QAC9F,MAAM,UAAU,GAAG,OAAO,CAAC,CAAC,CAAC,kBAAkB,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;QAChE,IAAI,CAAC,OAAO,IAAI,CAAC,UAAU,IAAI,UAAU,CAAC,UAAU,KAAK,SAAS,CAAC,UAAU;eACxE,qBAAqB,CAAC,OAAO,CAAC,OAAO,EAAE,UAAU,CAAC,IAAI,CAAC,KAAK,SAAS,CAAC,aAAa,EAAE,CAAC;YACzF,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,2BAA2B,EAAE,GAAG,SAAS,CAAC,WAAW,+DAA+D,EAAE,IAAI,CAAC,CAAC,CAAC;QACtJ,CAAC;QACD,IAAI,CAAC,MAAM,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,SAAS,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC;YACtD,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,uBAAuB,EAAE,GAAG,SAAS,CAAC,UAAU,cAAc,EAAE,SAAS,CAAC,UAAU,CAAC,CAAC,CAAC;QAChH,CAAC;aAAM,CAAC;YACN,IAAI,CAAC;gBACH,MAAM,IAAI,GAAG,MAAM,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC,UAAU,CAAC,CAAC;gBACxD,MAAM,MAAM,GAAG,mBAAmB,CAAC,IAAI,CAAC,CAAC;gBACzC,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,SAAS,CAAC,YAAY,IAAI,SAAS,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,SAAS,CAAC,SAAS,CAAC,OAAO,CAAC,EAAE,CAAC;oBAC1G,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,uBAAuB,EAAE,GAAG,SAAS,CAAC,UAAU,0CAA0C,EAAE,SAAS,CAAC,UAAU,CAAC,CAAC,CAAC;gBAC5I,CAAC;YACH,CAAC;YAAC,MAAM,CAAC;gBACP,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,uBAAuB,EAAE,GAAG,SAAS,CAAC,UAAU,2BAA2B,EAAE,SAAS,CAAC,UAAU,CAAC,CAAC,CAAC;YAC7H,CAAC;QACH,CAAC;QACD,KAAK,MAAM,MAAM,IAAI,SAAS,CAAC,OAAO,EAAE,CAAC;YACvC,MAAM,UAAU,GAAG,gBAAgB,CAAC,MAAM,CAAC,CAAC;YAC5C,IAAI,MAAM,CAAC,EAAE,KAAK,UAAU,EAAE,CAAC;gBAC7B,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,mBAAmB,EAAE,GAAG,MAAM,CAAC,EAAE,sCAAsC,UAAU,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC;YACtH,CAAC;YACD,MAAM,QAAQ,GAAG,UAAU,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;YAC3C,IAAI,QAAQ,EAAE,CAAC;gBACb,WAAW,CAAC,IAAI,CAAC,KAAK,CACpB,SAAS,CAAC,QAAQ,CAAC,KAAK,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,oBAAoB,CAAC,CAAC,CAAC,mBAAmB,EACtF,GAAG,MAAM,CAAC,EAAE,8BAA8B,SAAS,CAAC,QAAQ,CAAC,KAAK,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,4BAA4B,GAAG,EAC1H,IAAI,CACL,CAAC,CAAC;YACL,CAAC;;gBAAM,UAAU,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;YACzC,MAAM,WAAW,GAAG,SAAS,CAAC;gBAC5B,aAAa,EAAE,MAAM,CAAC,aAAa;gBACnC,UAAU,EAAE,MAAM,CAAC,UAAU;gBAC7B,QAAQ,EAAE,MAAM,CAAC,QAAQ;gBACzB,QAAQ,EAAE,MAAM,CAAC,QAAQ;aAC1B,CAAC,CAAC;YACH,MAAM,aAAa,GAAG,SAAS,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;YACjD,IAAI,aAAa,IAAI,aAAa,CAAC,EAAE,KAAK,MAAM,CAAC,EAAE,EAAE,CAAC;gBACpD,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,mBAAmB,EAAE,GAAG,MAAM,CAAC,UAAU,IAAI,MAAM,CAAC,QAAQ,CAAC,IAAI,IAAI,MAAM,CAAC,QAAQ,CAAC,MAAM,qCAAqC,EAAE,IAAI,CAAC,CAAC,CAAC;YAClK,CAAC;;gBAAM,SAAS,CAAC,GAAG,CAAC,WAAW,EAAE,MAAM,CAAC,CAAC;YAC1C,MAAM,WAAW,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,EAAE,KAAK,MAAM,CAAC,aAAa,CAAC,CAAC;YAC5F,IAAI,CAAC,WAAW,EAAE,CAAC;gBACjB,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,sBAAsB,EAAE,GAAG,MAAM,CAAC,EAAE,kDAAkD,EAAE,IAAI,CAAC,CAAC,CAAC;YACxH,CAAC;YACD,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;YACtC,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,CAAC,QAAQ;mBAC7D,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,CAAC,MAAM;uBACrD,IAAI,CAAC,EAAE,KAAK,MAAM,CAAC,aAAa,IAAI,IAAI,CAAC,QAAQ,KAAK,UAAU,CAAC,EAAE,CAAC;gBACzE,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,wBAAwB,EAAE,GAAG,MAAM,CAAC,MAAM,qCAAqC,MAAM,CAAC,aAAa,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC;YACxI,CAAC;YACD,MAAM,MAAM,GAAG,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,CAAC,UAAU;mBAC5F,gBAAgB,CAAC,KAAK,EAAE,IAAI,CAAC,EAAE,EAAE,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC;YAC7D,IAAI,CAAC,MAAM;gBAAE,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,0BAA0B,EAAE,GAAG,MAAM,CAAC,UAAU,4CAA4C,MAAM,CAAC,aAAa,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC;YAChK,IAAI,mBAAmB,CAAC,MAAM,CAAC,UAAU,CAAC,KAAK,MAAM,CAAC,YAAY,EAAE,CAAC;gBACnE,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,uBAAuB,EAAE,GAAG,MAAM,CAAC,EAAE,+BAA+B,EAAE,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC;YACnH,CAAC;YACD,IAAI,mBAAmB,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,MAAM,CAAC,UAAU,EAAE,CAAC;gBAC/D,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,qBAAqB,EAAE,GAAG,MAAM,CAAC,EAAE,6BAA6B,EAAE,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC;YAC7G,CAAC;YACD,IAAI,MAAM,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;gBAC/B,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,qBAAqB,EAAE,GAAG,MAAM,CAAC,EAAE,cAAc,MAAM,CAAC,MAAM,uBAAuB,EAAE,IAAI,CAAC,CAAC,CAAC;YACvH,CAAC;YACD,IAAI,WAAW,IAAI,IAAI,EAAE,IAAI,KAAK,MAAM,IAAI,MAAM,IAAI,MAAM,CAAC,MAAM,KAAK,QAAQ;mBAC3E,mBAAmB,CAAC,MAAM,CAAC,UAAU,CAAC,KAAK,MAAM,CAAC,YAAY;mBAC9D,mBAAmB,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,MAAM,CAAC,UAAU;gBAAE,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC;QACrG,CAAC;IACH,CAAC;IACD,KAAK,MAAM,WAAW,IAAI,YAAY,EAAE,CAAC;QACvC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,WAAW,CAAC,EAAE,CAAC,EAAE,CAAC;YACjC,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,gCAAgC,EAAE,GAAG,WAAW,CAAC,EAAE,uCAAuC,EAAE,IAAI,CAAC,CAAC,CAAC;QAC5H,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,OAAO,EAAE,KAAK,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,SAAS,EAAE,EAAE,CAClD,GAAG,GAAG,CAAC,SAAS,IAAI,KAAK,CAAC,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QAC1F,WAAW;KACZ,CAAC;AACJ,CAAC"}

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

@@ -0,0 +1,23 @@
+import { type Diagnostic } from '../../domain/src/index.js';
+export type EvidenceOrderKind = 'change' | 'tdd';
+export interface EvidenceOrderRecord {
+    sequence: number;
+    kind: EvidenceOrderKind;
+    entityId: string;
+    phase: string;
+    previousSha256: string | null;
+    recordSha256: string;
+}
+export interface EvidenceOrderLog {
+    schemaVersion: 1;
+    records: EvidenceOrderRecord[];
+}
+export declare function loadEvidenceOrder(root: string): Promise<EvidenceOrderLog | null>;
+export declare function validateEvidenceOrderLog(log: EvidenceOrderLog | null): {
+    valid: boolean;
+    records: Map<string, EvidenceOrderRecord>;
+    diagnostics: Diagnostic[];
+};
+export declare function inspectEvidenceOrder(root: string): Promise<ReturnType<typeof validateEvidenceOrderLog>>;
+export declare function appendEvidenceOrder(root: string, input: Pick<EvidenceOrderRecord, 'kind' | 'entityId' | 'phase'>): Promise<EvidenceOrderRecord>;
+export declare function evidenceOrderRecord(records: Map<string, EvidenceOrderRecord>, kind: EvidenceOrderKind, entityId: string, phase: string): EvidenceOrderRecord | undefined;

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

@@ -0,0 +1,89 @@
+import { error } from '../../domain/src/index.js';
+import { digest, exists, readText, within, writeJson } from './files.js';
+const orderPath = '.musubix/evidence/order.json';
+function recordSha256(record) {
+    return digest(JSON.stringify(record));
+}
+function recordKey(kind, entityId, phase) {
+    return JSON.stringify([kind, entityId, phase]);
+}
+export async function loadEvidenceOrder(root) {
+    if (!await exists(within(root, orderPath)))
+        return null;
+    const value = JSON.parse(await readText(root, orderPath));
+    if (value.schemaVersion !== 1 || !Array.isArray(value.records)) {
+        throw new Error('Invalid monotonic evidence order log.');
+    }
+    return value;
+}
+export function validateEvidenceOrderLog(log) {
+    const diagnostics = [];
+    const records = new Map();
+    if (!log)
+        return { valid: true, records, diagnostics };
+    for (const [index, record] of log.records.entries()) {
+        const expectedSequence = index + 1;
+        const expectedPrevious = index === 0 ? null : log.records[index - 1].recordSha256;
+        if (!record || !['change', 'tdd'].includes(record.kind)
+            || typeof record.entityId !== 'string' || !record.entityId
+            || typeof record.phase !== 'string' || !record.phase
+            || !Number.isInteger(record.sequence) || record.sequence < 1
+            || (record.previousSha256 !== null && !/^[a-f0-9]{64}$/i.test(record.previousSha256))
+            || !/^[a-f0-9]{64}$/i.test(record.recordSha256)) {
+            diagnostics.push(error('EVIDENCE_ORDER_SCHEMA', `Monotonic evidence order record ${index + 1} is malformed.`, orderPath));
+            continue;
+        }
+        const { recordSha256: actual, ...payload } = record;
+        if (record.sequence !== expectedSequence) {
+            diagnostics.push(error('EVIDENCE_ORDER_SEQUENCE', `Evidence order record ${record.sequence} is out of order; expected ${expectedSequence}.`, orderPath));
+        }
+        if (record.previousSha256 !== expectedPrevious) {
+            diagnostics.push(error('EVIDENCE_ORDER_LINK', `Evidence order record ${record.sequence} does not link to its predecessor.`, orderPath));
+        }
+        if (actual !== recordSha256(payload)) {
+            diagnostics.push(error('EVIDENCE_ORDER_HASH', `Evidence order record ${record.sequence} has an invalid SHA-256.`, orderPath));
+        }
+        const key = recordKey(record.kind, record.entityId, record.phase);
+        if (records.has(key)) {
+            diagnostics.push(error('EVIDENCE_ORDER_DUPLICATE', `${record.kind}:${record.entityId}:${record.phase} appears more than once.`, orderPath));
+        }
+        records.set(key, record);
+    }
+    return { valid: !diagnostics.length, records, diagnostics };
+}
+export async function inspectEvidenceOrder(root) {
+    try {
+        return validateEvidenceOrderLog(await loadEvidenceOrder(root));
+    }
+    catch (cause) {
+        return {
+            valid: false,
+            records: new Map(),
+            diagnostics: [error('EVIDENCE_ORDER_SCHEMA', cause instanceof Error ? cause.message : String(cause), orderPath)],
+        };
+    }
+}
+export async function appendEvidenceOrder(root, input) {
+    const log = await loadEvidenceOrder(root) ?? { schemaVersion: 1, records: [] };
+    const validated = validateEvidenceOrderLog(log);
+    if (!validated.valid) {
+        throw new Error('Existing monotonic evidence order is invalid; regenerate evidence before appending.');
+    }
+    if (validated.records.has(recordKey(input.kind, input.entityId, input.phase))) {
+        throw new Error(`${input.kind}:${input.entityId}:${input.phase} is already present in monotonic evidence order.`);
+    }
+    const previous = log.records.at(-1);
+    const payload = {
+        sequence: log.records.length + 1,
+        ...input,
+        previousSha256: previous?.recordSha256 ?? null,
+    };
+    const record = { ...payload, recordSha256: recordSha256(payload) };
+    log.records.push(record);
+    await writeJson(root, orderPath, log);
+    return record;
+}
+export function evidenceOrderRecord(records, kind, entityId, phase) {
+    return records.get(recordKey(kind, entityId, phase));
+}
+//# sourceMappingURL=order.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"order.js","sourceRoot":"","sources":["../../../../packages/analysis/src/order.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAmB,MAAM,2BAA2B,CAAC;AACnE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AAkBzE,MAAM,SAAS,GAAG,8BAA8B,CAAC;AAEjD,SAAS,YAAY,CAAC,MAAiD;IACrE,OAAO,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC;AACxC,CAAC;AAED,SAAS,SAAS,CAAC,IAAuB,EAAE,QAAgB,EAAE,KAAa;IACzE,OAAO,IAAI,CAAC,SAAS,CAAC,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAC,CAAC;AACjD,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,iBAAiB,CAAC,IAAY;IAClD,IAAI,CAAC,MAAM,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;QAAE,OAAO,IAAI,CAAC;IACxD,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC,CAAqB,CAAC;IAC9E,IAAI,KAAK,CAAC,aAAa,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC;QAC/D,MAAM,IAAI,KAAK,CAAC,uCAAuC,CAAC,CAAC;IAC3D,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,MAAM,UAAU,wBAAwB,CAAC,GAA4B;IAKnE,MAAM,WAAW,GAAiB,EAAE,CAAC;IACrC,MAAM,OAAO,GAAG,IAAI,GAAG,EAA+B,CAAC;IACvD,IAAI,CAAC,GAAG;QAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,OAAO,EAAE,WAAW,EAAE,CAAC;IACvD,KAAK,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,IAAI,GAAG,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC;QACpD,MAAM,gBAAgB,GAAG,KAAK,GAAG,CAAC,CAAC;QACnC,MAAM,gBAAgB,GAAG,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,KAAK,GAAG,CAAC,CAAE,CAAC,YAAY,CAAC;QACnF,IAAI,CAAC,MAAM,IAAI,CAAC,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC;eAClD,OAAO,MAAM,CAAC,QAAQ,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,QAAQ;eACvD,OAAO,MAAM,CAAC,KAAK,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,KAAK;eACjD,CAAC,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,MAAM,CAAC,QAAQ,GAAG,CAAC;eACzD,CAAC,MAAM,CAAC,cAAc,KAAK,IAAI,IAAI,CAAC,iBAAiB,CAAC,IAAI,CAAC,MAAM,CAAC,cAAc,CAAC,CAAC;eAClF,CAAC,iBAAiB,CAAC,IAAI,CAAC,MAAM,CAAC,YAAY,CAAC,EAAE,CAAC;YAClD,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,uBAAuB,EAAE,mCAAmC,KAAK,GAAG,CAAC,gBAAgB,EAAE,SAAS,CAAC,CAAC,CAAC;YAC1H,SAAS;QACX,CAAC;QACD,MAAM,EAAE,YAAY,EAAE,MAAM,EAAE,GAAG,OAAO,EAAE,GAAG,MAAM,CAAC;QACpD,IAAI,MAAM,CAAC,QAAQ,KAAK,gBAAgB,EAAE,CAAC;YACzC,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,yBAAyB,EAAE,yBAAyB,MAAM,CAAC,QAAQ,8BAA8B,gBAAgB,GAAG,EAAE,SAAS,CAAC,CAAC,CAAC;QAC3J,CAAC;QACD,IAAI,MAAM,CAAC,cAAc,KAAK,gBAAgB,EAAE,CAAC;YAC/C,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,qBAAqB,EAAE,yBAAyB,MAAM,CAAC,QAAQ,oCAAoC,EAAE,SAAS,CAAC,CAAC,CAAC;QAC1I,CAAC;QACD,IAAI,MAAM,KAAK,YAAY,CAAC,OAAO,CAAC,EAAE,CAAC;YACrC,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,qBAAqB,EAAE,yBAAyB,MAAM,CAAC,QAAQ,0BAA0B,EAAE,SAAS,CAAC,CAAC,CAAC;QAChI,CAAC;QACD,MAAM,GAAG,GAAG,SAAS,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,QAAQ,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC;QAClE,IAAI,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;YACrB,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,0BAA0B,EAAE,GAAG,MAAM,CAAC,IAAI,IAAI,MAAM,CAAC,QAAQ,IAAI,MAAM,CAAC,KAAK,0BAA0B,EAAE,SAAS,CAAC,CAAC,CAAC;QAC9I,CAAC;QACD,OAAO,CAAC,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;IAC3B,CAAC;IACD,OAAO,EAAE,KAAK,EAAE,CAAC,WAAW,CAAC,MAAM,EAAE,OAAO,EAAE,WAAW,EAAE,CAAC;AAC9D,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,oBAAoB,CAAC,IAAY;IACrD,IAAI,CAAC;QACH,OAAO,wBAAwB,CAAC,MAAM,iBAAiB,CAAC,IAAI,CAAC,CAAC,CAAC;IACjE,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,OAAO;YACL,KAAK,EAAE,KAAK;YACZ,OAAO,EAAE,IAAI,GAAG,EAAE;YAClB,WAAW,EAAE,CAAC,KAAK,CACjB,uBAAuB,EACvB,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EACtD,SAAS,CACV,CAAC;SACH,CAAC;IACJ,CAAC;AACH,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,mBAAmB,CACvC,IAAY,EACZ,KAA+D;IAE/D,MAAM,GAAG,GAAG,MAAM,iBAAiB,CAAC,IAAI,CAAC,IAAI,EAAE,aAAa,EAAE,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC;IAC/E,MAAM,SAAS,GAAG,wBAAwB,CAAC,GAAG,CAAC,CAAC;IAChD,IAAI,CAAC,SAAS,CAAC,KAAK,EAAE,CAAC;QACrB,MAAM,IAAI,KAAK,CAAC,qFAAqF,CAAC,CAAC;IACzG,CAAC;IACD,IAAI,SAAS,CAAC,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,QAAQ,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC;QAC9E,MAAM,IAAI,KAAK,CAAC,GAAG,KAAK,CAAC,IAAI,IAAI,KAAK,CAAC,QAAQ,IAAI,KAAK,CAAC,KAAK,kDAAkD,CAAC,CAAC;IACpH,CAAC;IACD,MAAM,QAAQ,GAAG,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IACpC,MAAM,OAAO,GAA8C;QACzD,QAAQ,EAAE,GAAG,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC;QAChC,GAAG,KAAK;QACR,cAAc,EAAE,QAAQ,EAAE,YAAY,IAAI,IAAI;KAC/C,CAAC;IACF,MAAM,MAAM,GAAG,EAAE,GAAG,OAAO,EAAE,YAAY,EAAE,YAAY,CAAC,OAAO,CAAC,EAAE,CAAC;IACnE,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACzB,MAAM,SAAS,CAAC,IAAI,EAAE,SAAS,EAAE,GAAG,CAAC,CAAC;IACtC,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,MAAM,UAAU,mBAAmB,CACjC,OAAyC,EACzC,IAAuB,EACvB,QAAgB,EAChB,KAAa;IAEb,OAAO,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAC,CAAC;AACvD,CAAC"}

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

@@ -0,0 +1,65 @@
+import { type Diagnostic, type Requirement } from '../../domain/src/index.js';
+import type { ProcessResult } from './process.js';
+import { type MusubixTestReport } from './tdd.js';
+type TestResult = MusubixTestReport['tests'][number];
+export type PerformanceReportSourceKind = 'file' | 'directory' | 'stdout';
+export interface PerformanceExecution {
+    runId: string;
+    executionId: string;
+    commandName: string;
+    commandSha256: string;
+    reportPath: string;
+    sourceKind: PerformanceReportSourceKind;
+    reportSha256: string;
+    processStatus: ProcessResult['status'];
+    exitCode: number | null;
+    tests: TestResult[];
+    recordSha256: string;
+}
+export interface PerformanceProvenance {
+    runId: string;
+    executionId: string;
+    commandName: string;
+    commandSha256: string;
+    reportPath: string;
+    sourceKind: PerformanceReportSourceKind;
+    reportSha256: string;
+    testId: string;
+    testStatus: TestResult['status'];
+    counter: string;
+    value: number;
+    processStatus: ProcessResult['status'];
+    exitCode: number | null;
+    executionRecordSha256: string;
+    recordSha256: string;
+}
+export interface PerformanceObservation {
+    requirementId: string;
+    testId: string;
+    counter: string;
+    observed: number | null;
+    maximum: number;
+    status: 'pass' | 'fail' | 'missing';
+    provenance?: PerformanceProvenance;
+}
+export interface PerformanceEvidence {
+    schemaVersion: 2;
+    runId: string;
+    generatedAt: string;
+    executions: PerformanceExecution[];
+    observations: PerformanceObservation[];
+}
+export declare function performanceEvidenceHead(evidence: Record<string, unknown>): string;
+export declare function performanceCommandSha256(executable: string, args: string[]): string;
+export declare function createPerformanceExecution(input: Omit<PerformanceExecution, 'recordSha256'>): PerformanceExecution;
+export declare function requirementsWithBudgets(root: string): Promise<Requirement[]>;
+export declare function performanceEvidence(requirements: Requirement[], executions: PerformanceExecution[], runId: string): PerformanceEvidence;
+export declare function writePerformanceEvidence(root: string, executions: PerformanceExecution[], runId: string): Promise<PerformanceEvidence>;
+export declare function validatePerformanceEvidence(root: string): Promise<{
+    present: boolean;
+    valid: boolean;
+    budgets: number;
+    validRequirements: string[];
+    diagnostics: Diagnostic[];
+}>;
+export {};