musubix3 0.1.0

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

@@ -0,0 +1,337 @@
+import { error, ids, validateDesign, validateRequirements } from '../../domain/src/index.js';
+import { digest, exists, files, snapshot, within, writeJson, readText } from './files.js';
+import { loadTddEvidence } from './tdd.js';
+import { buildTrace } from './trace.js';
+import { indexGraph } from './graph.js';
+import { validatePerformanceEvidence } from './performance.js';
+import { appendEvidenceOrder, evidenceOrderRecord, inspectEvidenceOrder } from './order.js';
+export const changePhases = ['impact', 'requirements', 'design', 'red', 'implementation', 'green', 'quality'];
+async function fingerprint(root, paths) {
+    return digest(JSON.stringify(await snapshot(root, [...new Set(paths)].sort())));
+}
+async function requirementImplementationFingerprints(root, requirementIds, trace) {
+    const graph = await indexGraph(root, false);
+    const nodes = new Map(trace.nodes.map((node) => [node.id, node]));
+    const testPaths = new Set(trace.nodes.filter((node) => node.kind === 'test').map((node) => node.path));
+    const result = {};
+    for (const requirementId of requirementIds) {
+        const designs = trace.edges
+            .filter((edge) => edge.relation === 'satisfies' && edge.to === requirementId && nodes.get(edge.from)?.kind === 'design')
+            .map((edge) => edge.from);
+        const direct = new Set(trace.edges
+            .filter((edge) => edge.relation === 'implements'
+            && (edge.to === requirementId || designs.includes(edge.to))
+            && nodes.get(edge.from)?.kind === 'code')
+            .map((edge) => nodes.get(edge.from).path));
+        const relevant = new Set([...direct].filter((path) => graph.files.includes(path) && !testPaths.has(path)));
+        const queue = [...relevant];
+        for (let index = 0; index < queue.length; index++) {
+            const current = queue[index];
+            for (const edge of graph.imports.filter((entry) => !entry.external && entry.from === current)) {
+                if (testPaths.has(edge.to) || relevant.has(edge.to))
+                    continue;
+                relevant.add(edge.to);
+                queue.push(edge.to);
+            }
+        }
+        const paths = [...relevant].sort();
+        result[requirementId] = { paths, fingerprints: await snapshot(root, paths) };
+    }
+    return result;
+}
+async function currentFingerprints(root, changeId, requirementIds) {
+    const paths = await files(root);
+    const trace = await buildTrace(root);
+    const codePaths = trace.nodes.filter((node) => node.kind === 'code').map((node) => node.path);
+    const testPaths = trace.nodes.filter((node) => node.kind === 'test').map((node) => node.path);
+    const tddPath = '.musubix/evidence/tdd.json';
+    return {
+        impact: await fingerprint(root, paths.filter((path) => path === `.musubix/changes/${changeId}.md`)),
+        requirements: await fingerprint(root, paths.filter((path) => /^\.musubix\/features\/[^/]+\/requirements\.md$/.test(path))),
+        design: await fingerprint(root, paths.filter((path) => /^\.musubix\/features\/[^/]+\/design\.md$/.test(path) || /^\.musubix\/decisions\/ADR-\d+\.md$/.test(path))),
+        implementation: await fingerprint(root, codePaths),
+        tests: await fingerprint(root, testPaths),
+        tdd: await fingerprint(root, await exists(within(root, tddPath)) ? [tddPath] : []),
+        requirementImplementations: await requirementImplementationFingerprints(root, requirementIds, trace),
+    };
+}
+export async function loadChangeEvidence(root) {
+    const path = '.musubix/evidence/changes.json';
+    if (!await exists(within(root, path)))
+        return null;
+    const value = JSON.parse(await readText(root, path));
+    if (value.schemaVersion !== 1 || !Array.isArray(value.changes))
+        throw new Error('Invalid change chronology evidence.');
+    return value;
+}
+export async function recordChangePhase(root, changeId, phase, requirementIds) {
+    if (!/^CHANGE-\d+$/.test(changeId))
+        throw new Error('Change ID must match CHANGE-<digits>.');
+    if (!changePhases.includes(phase))
+        throw new Error('Unknown change phase.');
+    if (!requirementIds.length || requirementIds.some((id) => !ids.requirement.test(id))) {
+        throw new Error('At least one valid REQ-* ID is required.');
+    }
+    if (phase === 'impact' && !await exists(within(root, `.musubix/changes/${changeId}.md`))) {
+        throw new Error(`Missing staged change document: .musubix/changes/${changeId}.md`);
+    }
+    const evidence = await loadChangeEvidence(root) ?? { schemaVersion: 1, changes: [] };
+    if (evidence.changes.some((entry) => changePhases.some((entryPhase) => entry.phases[entryPhase] && !Number.isInteger(entry.phases[entryPhase].order)))) {
+        throw new Error('Existing change evidence lacks monotonic order; regenerate it before recording new phases.');
+    }
+    let change = evidence.changes.find((entry) => entry.changeId === changeId);
+    if (!change) {
+        if (phase !== 'impact')
+            throw new Error('The first recorded change phase must be impact.');
+        change = { changeId, requirementIds: [...new Set(requirementIds)].sort(), phases: {} };
+        evidence.changes.push(change);
+    }
+    else if (JSON.stringify(change.requirementIds) !== JSON.stringify([...new Set(requirementIds)].sort())) {
+        throw new Error('Every phase must use the same requirement IDs.');
+    }
+    const index = changePhases.indexOf(phase);
+    if (index > 0 && !change.phases[changePhases[index - 1]]) {
+        throw new Error(`${phase} requires the preceding ${changePhases[index - 1]} phase.`);
+    }
+    if (change.phases[phase])
+        throw new Error(`${changeId}:${phase} is already recorded.`);
+    const order = await appendEvidenceOrder(root, { kind: 'change', entityId: changeId, phase });
+    change.phases[phase] = {
+        phase,
+        order: order.sequence,
+        recordedAt: new Date().toISOString(),
+        fingerprints: await currentFingerprints(root, changeId, change.requirementIds),
+    };
+    await writeJson(root, '.musubix/evidence/changes.json', evidence);
+    return evidence;
+}
+export async function validateChangeEvidence(root) {
+    const evidence = await loadChangeEvidence(root);
+    const documents = (await files(root))
+        .filter((path) => /^\.musubix\/changes\/CHANGE-\d+\.md$/.test(path))
+        .map((path) => path.split('/').at(-1).replace(/\.md$/, ''));
+    if (!evidence?.changes.length) {
+        return {
+            present: documents.length > 0,
+            valid: false,
+            changes: 0,
+            diagnostics: documents.map((changeId) => error('CHANGE_RECORD_MISSING', `${changeId} has a change document but no chronology record.`)),
+        };
+    }
+    const diagnostics = [];
+    const order = await inspectEvidenceOrder(root);
+    diagnostics.push(...order.diagnostics);
+    for (const changeId of documents) {
+        if (!evidence.changes.some((change) => change.changeId === changeId)) {
+            diagnostics.push(error('CHANGE_RECORD_MISSING', `${changeId} has a change document but no chronology record.`));
+        }
+    }
+    for (const change of evidence.changes) {
+        if (!documents.includes(change.changeId)) {
+            diagnostics.push(error('CHANGE_DOCUMENT_MISSING', `${change.changeId} has chronology evidence but no change document.`));
+        }
+    }
+    const tdd = await loadTddEvidence(root);
+    for (const change of evidence.changes) {
+        const phases = changePhases.map((phase) => change.phases[phase]);
+        for (let index = 0; index < phases.length; index++) {
+            if (!phases[index])
+                diagnostics.push(error('CHANGE_PHASE_MISSING', `${change.changeId} is missing ${changePhases[index]}.`));
+            if (phases[index] && !Number.isInteger(phases[index].order)) {
+                diagnostics.push(error('CHANGE_ORDER_MIGRATION_REQUIRED', `${change.changeId}:${changePhases[index]} lacks monotonic order evidence; regenerate this change chronology.`));
+            }
+            else if (phases[index]) {
+                const record = evidenceOrderRecord(order.records, 'change', change.changeId, changePhases[index]);
+                if (!record || record.sequence !== phases[index].order) {
+                    diagnostics.push(error('CHANGE_ORDER_MISMATCH', `${change.changeId}:${changePhases[index]} does not match the monotonic evidence order log.`));
+                }
+            }
+            if (index > 0 && phases[index]?.order !== undefined && phases[index - 1]?.order !== undefined
+                && phases[index].order <= phases[index - 1].order) {
+                diagnostics.push(error('CHANGE_PHASE_ORDER', `${change.changeId}:${changePhases[index]} is not after ${changePhases[index - 1]}.`));
+            }
+        }
+        const impact = change.phases.impact;
+        const requirements = change.phases.requirements;
+        const design = change.phases.design;
+        const red = change.phases.red;
+        const implementation = change.phases.implementation;
+        const green = change.phases.green;
+        if (impact && requirements && impact.fingerprints.requirements === requirements.fingerprints.requirements) {
+            diagnostics.push(error('CHANGE_REQUIREMENTS_UNCHANGED', `${change.changeId} did not change requirements after impact analysis.`));
+        }
+        if (requirements && design && requirements.fingerprints.design === design.fingerprints.design) {
+            diagnostics.push(error('CHANGE_DESIGN_UNCHANGED', `${change.changeId} did not change design after requirements.`));
+        }
+        if (design && red && design.fingerprints.tests === red.fingerprints.tests) {
+            diagnostics.push(error('CHANGE_TESTS_UNCHANGED', `${change.changeId} did not add or change tests before Red.`));
+        }
+        if (red && implementation && red.fingerprints.implementation === implementation.fingerprints.implementation) {
+            diagnostics.push(error('CHANGE_IMPLEMENTATION_UNCHANGED', `${change.changeId} did not change implementation after Red.`));
+        }
+        if (red && implementation) {
+            for (const requirementId of change.requirementIds) {
+                const before = red.fingerprints.requirementImplementations?.[requirementId];
+                const after = implementation.fingerprints.requirementImplementations?.[requirementId];
+                if (!before || !after || (!before.paths.length && !after.paths.length)) {
+                    diagnostics.push(error('CHANGE_IMPLEMENTATION_SCOPE_MISSING', `${change.changeId} has no Code Graph implementation scope for ${requirementId}.`));
+                }
+                else if (JSON.stringify(before.fingerprints) === JSON.stringify(after.fingerprints)) {
+                    diagnostics.push(error('CHANGE_RELEVANT_IMPLEMENTATION_UNCHANGED', `${change.changeId} did not change implementation related to ${requirementId} after Red.`));
+                }
+            }
+        }
+        if (red && green && red.fingerprints.tests !== green.fingerprints.tests) {
+            diagnostics.push(error('CHANGE_TEST_CHANGED_AFTER_RED', `${change.changeId} changed tests between Red and Green.`));
+        }
+        for (const requirementId of change.requirementIds) {
+            const cycles = tdd?.cycles.filter((cycle) => cycle.requirementId === requirementId) ?? [];
+            const validCycle = cycles.find((cycle) => requirements
+                && red
+                && implementation
+                && green
+                && Number.isInteger(requirements.order)
+                && Number.isInteger(red.order)
+                && Number.isInteger(implementation.order)
+                && Number.isInteger(green.order)
+                && Number.isInteger(cycle.red.order)
+                && Number.isInteger(cycle.green?.order)
+                && cycle.red.valid
+                && cycle.green?.valid
+                && cycle.red.order > requirements.order
+                && cycle.red.order <= red.order
+                && cycle.green.order > implementation.order
+                && cycle.green.order <= green.order);
+            if (red && cycles.some((cycle) => !Number.isInteger(cycle.red.order) || !Number.isInteger(cycle.green?.order))) {
+                diagnostics.push(error('CHANGE_ORDER_MIGRATION_REQUIRED', `${change.changeId}:${requirementId} references TDD evidence without monotonic order; regenerate the cycle.`));
+            }
+            if (red && !validCycle) {
+                diagnostics.push(error('CHANGE_RED_UNPROVEN', `${change.changeId} has no valid Red evidence for ${requirementId} before its Red phase.`));
+            }
+            if (green && !validCycle) {
+                diagnostics.push(error('CHANGE_GREEN_UNPROVEN', `${change.changeId} has no valid Green evidence for ${requirementId} before its Green phase.`));
+            }
+        }
+    }
+    return { present: true, valid: !diagnostics.length, changes: evidence.changes.length, diagnostics };
+}
+export async function validateChangeCompleteness(root) {
+    const evidence = await loadChangeEvidence(root);
+    if (!evidence?.changes.length)
+        return { present: false, valid: false, changes: [], diagnostics: [] };
+    const diagnostics = [];
+    const trace = await buildTrace(root, false);
+    const nodes = new Map(trace.nodes.map((node) => [node.id, node]));
+    const requirementsById = new Map();
+    for (const path of (await files(root)).filter((entry) => /^\.musubix\/features\/[^/]+\/requirements\.md$/.test(entry))) {
+        for (const requirement of validateRequirements(await readText(root, path), path).value) {
+            requirementsById.set(requirement.id, requirement);
+        }
+    }
+    const designsById = new Map();
+    for (const path of (await files(root)).filter((entry) => /^\.musubix\/features\/[^/]+\/design\.md$/.test(entry))) {
+        for (const component of validateDesign(await readText(root, path), path).value)
+            designsById.set(component.id, component);
+    }
+    const tdd = await loadTddEvidence(root);
+    const performance = await validatePerformanceEvidence(root);
+    const changes = [];
+    for (const change of evidence.changes) {
+        const diagnosticStart = diagnostics.length;
+        const changePath = `.musubix/changes/${change.changeId}.md`;
+        const declaredRequirements = await exists(within(root, changePath))
+            ? [...new Set((/^Requirements\s*:\s*(.+)$/im.exec(await readText(root, changePath))?.[1] ?? '').match(/\bREQ-[A-Z0-9]+(?:-[A-Z0-9]+)*-\d{3,}\b/g) ?? [])].sort()
+            : [];
+        if (JSON.stringify(declaredRequirements) !== JSON.stringify([...change.requirementIds].sort())) {
+            diagnostics.push(error('CHANGE_REQUIREMENTS_MISMATCH', `${change.changeId} must explicitly enumerate exactly ${change.requirementIds.join(', ')} in its Requirements field.`, changePath));
+        }
+        let completeRequirements = 0;
+        let functionalRequirements = 0;
+        let nonFunctionalRequirements = 0;
+        for (const requirementId of change.requirementIds) {
+            const requirementNode = nodes.get(requirementId);
+            const requirement = requirementsById.get(requirementId);
+            const type = requirement?.type;
+            if (type === 'non-functional')
+                nonFunctionalRequirements++;
+            else if (type === 'functional')
+                functionalRequirements++;
+            const designs = trace.edges
+                .filter((edge) => edge.relation === 'satisfies' && edge.to === requirementId && nodes.get(edge.from)?.kind === 'design')
+                .map((edge) => edge.from);
+            const hasAdr = trace.edges.some((edge) => edge.relation === 'decides' && designs.includes(edge.to) && nodes.get(edge.from)?.kind === 'adr');
+            const hasCode = trace.edges.some((edge) => edge.relation === 'implements'
+                && (edge.to === requirementId || designs.includes(edge.to))
+                && nodes.get(edge.from)?.kind === 'code');
+            const hasTest = trace.edges.some((edge) => edge.relation === 'verifies' && edge.to === requirementId && nodes.get(edge.from)?.kind === 'test');
+            const designConcrete = designs.some((id) => {
+                const component = designsById.get(id);
+                return component
+                    && component.requirements.includes(requirementId)
+                    && [component.responsibility, component.interfaces, component.constraints]
+                        .every((value) => value.trim().length >= 8 && !/^(TODO|TBD|N\/A|none|未定)$/i.test(value.trim()));
+            });
+            let authoritativeTest = false;
+            for (const node of trace.nodes.filter((candidate) => candidate.kind === 'test')) {
+                if (!trace.edges.some((edge) => edge.from === node.id && edge.to === requirementId && edge.relation === 'verifies'))
+                    continue;
+                const source = await readText(root, node.path);
+                if (new RegExp(`@id\\s+${node.id}\\b`).test(source) && new RegExp(`@verifies\\s+${requirementId}\\b`).test(source)) {
+                    authoritativeTest = true;
+                    break;
+                }
+            }
+            const measurableAcceptance = !!requirement?.acceptance
+                && requirement.acceptance.trim().length >= 8
+                && !/^(TODO|TBD|N\/A|none|未定)$/i.test(requirement.acceptance.trim())
+                && /(?:\d|test|check|verif|assert|given|when|then|return|status|pass|fail|テスト|確認|検証|以下|以上)/i.test(requirement.acceptance);
+            const requirements = change.phases.requirements;
+            const red = change.phases.red;
+            const implementation = change.phases.implementation;
+            const green = change.phases.green;
+            const hasTdd = tdd?.cycles.some((cycle) => cycle.requirementId === requirementId
+                && requirements
+                && red
+                && implementation
+                && green
+                && Number.isInteger(requirements.order)
+                && Number.isInteger(red.order)
+                && Number.isInteger(implementation.order)
+                && Number.isInteger(green.order)
+                && Number.isInteger(cycle.red.order)
+                && Number.isInteger(cycle.green?.order)
+                && cycle.red.valid
+                && cycle.green?.valid
+                && cycle.red.order > requirements.order
+                && cycle.red.order <= red.order
+                && cycle.green.order > implementation.order
+                && cycle.green.order <= green.order) ?? false;
+            const checks = [
+                [!!requirementNode && !!requirement && !!type, 'CHANGE_COMPLETENESS_REQUIREMENT', 'requirement'],
+                [measurableAcceptance, 'CHANGE_COMPLETENESS_ACCEPTANCE', 'nonempty measurable Acceptance criteria'],
+                [designs.length > 0 && designConcrete, 'CHANGE_COMPLETENESS_DESIGN', 'concrete design responsibilities, interfaces, and constraints'],
+                [hasAdr, 'CHANGE_COMPLETENESS_ADR', 'ADR'],
+                [hasCode, 'CHANGE_COMPLETENESS_CODE', 'implementation'],
+                [hasTest && authoritativeTest, 'CHANGE_COMPLETENESS_TEST', 'authoritative annotated test declaration'],
+                [hasTdd, 'CHANGE_COMPLETENESS_TDD', 'bounded Red-Green TDD'],
+                [!requirement?.performance || (performance.valid && performance.validRequirements.includes(requirementId)), 'CHANGE_COMPLETENESS_PERFORMANCE', 'provenance-bound deterministic operation-budget evidence'],
+            ];
+            for (const [present, code, artifact] of checks) {
+                if (!present)
+                    diagnostics.push(error(code, `${change.changeId}:${requirementId} lacks ${artifact} evidence.`));
+            }
+            if (checks.every(([present]) => present))
+                completeRequirements++;
+        }
+        changes.push({
+            changeId: change.changeId,
+            functionalRequirements,
+            nonFunctionalRequirements,
+            requirements: change.requirementIds.length,
+            completeRequirements,
+            valid: completeRequirements === change.requirementIds.length && diagnostics.length === diagnosticStart,
+        });
+    }
+    return { present: true, valid: !diagnostics.length, changes, diagnostics };
+}
+//# sourceMappingURL=change.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"change.js","sourceRoot":"","sources":["../../../../packages/analysis/src/change.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,GAAG,EAAE,cAAc,EAAE,oBAAoB,EAAqC,MAAM,2BAA2B,CAAC;AAChI,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,QAAQ,EAAE,MAAM,EAAE,SAAS,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC;AAC1F,OAAO,EAAE,eAAe,EAAE,MAAM,UAAU,CAAC;AAC3C,OAAO,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AACxC,OAAO,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AACxC,OAAO,EAAE,2BAA2B,EAAE,MAAM,kBAAkB,CAAC;AAC/D,OAAO,EAAE,mBAAmB,EAAE,mBAAmB,EAAE,oBAAoB,EAAE,MAAM,YAAY,CAAC;AAE5F,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC,QAAQ,EAAE,cAAc,EAAE,QAAQ,EAAE,KAAK,EAAE,gBAAgB,EAAE,OAAO,EAAE,SAAS,CAAU,CAAC;AA2CvH,KAAK,UAAU,WAAW,CAAC,IAAY,EAAE,KAAe;IACtD,OAAO,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,QAAQ,CAAC,IAAI,EAAE,CAAC,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;AAClF,CAAC;AAED,KAAK,UAAU,qCAAqC,CAClD,IAAY,EACZ,cAAwB,EACxB,KAA6C;IAE7C,MAAM,KAAK,GAAG,MAAM,UAAU,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAC5C,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,SAAS,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,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;IACvG,MAAM,MAAM,GAAkE,EAAE,CAAC;IACjF,KAAK,MAAM,aAAa,IAAI,cAAc,EAAE,CAAC;QAC3C,MAAM,OAAO,GAAG,KAAK,CAAC,KAAK;aACxB,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,KAAK,WAAW,IAAI,IAAI,CAAC,EAAE,KAAK,aAAa,IAAI,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,KAAK,QAAQ,CAAC;aACvH,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC5B,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,KAAK;aAC/B,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,KAAK,YAAY;eAC3C,CAAC,IAAI,CAAC,EAAE,KAAK,aAAa,IAAI,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;eACxD,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,KAAK,MAAM,CAAC;aAC1C,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAE,CAAC,IAAI,CAAC,CAAC,CAAC;QAC9C,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC3G,MAAM,KAAK,GAAG,CAAC,GAAG,QAAQ,CAAC,CAAC;QAC5B,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,KAAK,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC;YAClD,MAAM,OAAO,GAAG,KAAK,CAAC,KAAK,CAAE,CAAC;YAC9B,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,QAAQ,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO,CAAC,EAAE,CAAC;gBAC9F,IAAI,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;oBAAE,SAAS;gBAC9D,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;gBACtB,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YACtB,CAAC;QACH,CAAC;QACD,MAAM,KAAK,GAAG,CAAC,GAAG,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;QACnC,MAAM,CAAC,aAAa,CAAC,GAAG,EAAE,KAAK,EAAE,YAAY,EAAE,MAAM,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,CAAC;IAC/E,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,KAAK,UAAU,mBAAmB,CAAC,IAAY,EAAE,QAAgB,EAAE,cAAwB;IACzF,MAAM,KAAK,GAAG,MAAM,KAAK,CAAC,IAAI,CAAC,CAAC;IAChC,MAAM,KAAK,GAAG,MAAM,UAAU,CAAC,IAAI,CAAC,CAAC;IACrC,MAAM,SAAS,GAAG,KAAK,CAAC,KAAK,CAAC,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;IAC9F,MAAM,SAAS,GAAG,KAAK,CAAC,KAAK,CAAC,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;IAC9F,MAAM,OAAO,GAAG,4BAA4B,CAAC;IAC7C,OAAO;QACL,MAAM,EAAE,MAAM,WAAW,CAAC,IAAI,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,KAAK,oBAAoB,QAAQ,KAAK,CAAC,CAAC;QACnG,YAAY,EAAE,MAAM,WAAW,CAAC,IAAI,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,gDAAgD,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;QAC1H,MAAM,EAAE,MAAM,WAAW,CAAC,IAAI,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CACpD,0CAA0C,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,qCAAqC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;QAC7G,cAAc,EAAE,MAAM,WAAW,CAAC,IAAI,EAAE,SAAS,CAAC;QAClD,KAAK,EAAE,MAAM,WAAW,CAAC,IAAI,EAAE,SAAS,CAAC;QACzC,GAAG,EAAE,MAAM,WAAW,CAAC,IAAI,EAAE,MAAM,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAClF,0BAA0B,EAAE,MAAM,qCAAqC,CAAC,IAAI,EAAE,cAAc,EAAE,KAAK,CAAC;KACrG,CAAC;AACJ,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,kBAAkB,CAAC,IAAY;IACnD,MAAM,IAAI,GAAG,gCAAgC,CAAC;IAC9C,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,CAAmB,CAAC;IACvE,IAAI,KAAK,CAAC,aAAa,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,qCAAqC,CAAC,CAAC;IACvH,OAAO,KAAK,CAAC;AACf,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,iBAAiB,CACrC,IAAY,EACZ,QAAgB,EAChB,KAAkB,EAClB,cAAwB;IAExB,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,QAAQ,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,uCAAuC,CAAC,CAAC;IAC7F,IAAI,CAAC,YAAY,CAAC,QAAQ,CAAC,KAAK,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,uBAAuB,CAAC,CAAC;IAC5E,IAAI,CAAC,cAAc,CAAC,MAAM,IAAI,cAAc,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;QACrF,MAAM,IAAI,KAAK,CAAC,0CAA0C,CAAC,CAAC;IAC9D,CAAC;IACD,IAAI,KAAK,KAAK,QAAQ,IAAI,CAAC,MAAM,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,oBAAoB,QAAQ,KAAK,CAAC,CAAC,EAAE,CAAC;QACzF,MAAM,IAAI,KAAK,CAAC,oDAAoD,QAAQ,KAAK,CAAC,CAAC;IACrF,CAAC;IACD,MAAM,QAAQ,GAAG,MAAM,kBAAkB,CAAC,IAAI,CAAC,IAAI,EAAE,aAAa,EAAE,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC;IACrF,IAAI,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAClC,YAAY,CAAC,IAAI,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,MAAM,CAAC,UAAU,CAAE,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;QACrH,MAAM,IAAI,KAAK,CAAC,4FAA4F,CAAC,CAAC;IAChH,CAAC;IACD,IAAI,MAAM,GAAG,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,KAAK,QAAQ,CAAC,CAAC;IAC3E,IAAI,CAAC,MAAM,EAAE,CAAC;QACZ,IAAI,KAAK,KAAK,QAAQ;YAAE,MAAM,IAAI,KAAK,CAAC,iDAAiD,CAAC,CAAC;QAC3F,MAAM,GAAG,EAAE,QAAQ,EAAE,cAAc,EAAE,CAAC,GAAG,IAAI,GAAG,CAAC,cAAc,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC;QACvF,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAChC,CAAC;SAAM,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,cAAc,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,CAAC,GAAG,IAAI,GAAG,CAAC,cAAc,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC;QACzG,MAAM,IAAI,KAAK,CAAC,gDAAgD,CAAC,CAAC;IACpE,CAAC;IACD,MAAM,KAAK,GAAG,YAAY,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;IAC1C,IAAI,KAAK,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,YAAY,CAAC,KAAK,GAAG,CAAC,CAAE,CAAC,EAAE,CAAC;QAC1D,MAAM,IAAI,KAAK,CAAC,GAAG,KAAK,2BAA2B,YAAY,CAAC,KAAK,GAAG,CAAC,CAAC,SAAS,CAAC,CAAC;IACvF,CAAC;IACD,IAAI,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,GAAG,QAAQ,IAAI,KAAK,uBAAuB,CAAC,CAAC;IACvF,MAAM,KAAK,GAAG,MAAM,mBAAmB,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,CAAC;IAC7F,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG;QACrB,KAAK;QACL,KAAK,EAAE,KAAK,CAAC,QAAQ;QACrB,UAAU,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;QACpC,YAAY,EAAE,MAAM,mBAAmB,CAAC,IAAI,EAAE,QAAQ,EAAE,MAAM,CAAC,cAAc,CAAC;KAC/E,CAAC;IACF,MAAM,SAAS,CAAC,IAAI,EAAE,gCAAgC,EAAE,QAAQ,CAAC,CAAC;IAClE,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,sBAAsB,CAAC,IAAY;IAMvD,MAAM,QAAQ,GAAG,MAAM,kBAAkB,CAAC,IAAI,CAAC,CAAC;IAChD,MAAM,SAAS,GAAG,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,CAAC;SAClC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,sCAAsC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;SACnE,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAE,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,CAAC;IAC/D,IAAI,CAAC,QAAQ,EAAE,OAAO,CAAC,MAAM,EAAE,CAAC;QAC9B,OAAO;YACL,OAAO,EAAE,SAAS,CAAC,MAAM,GAAG,CAAC;YAC7B,KAAK,EAAE,KAAK;YACZ,OAAO,EAAE,CAAC;YACV,WAAW,EAAE,SAAS,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CACtC,KAAK,CAAC,uBAAuB,EAAE,GAAG,QAAQ,kDAAkD,CAAC,CAAC;SACjG,CAAC;IACJ,CAAC;IACD,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,KAAK,MAAM,QAAQ,IAAI,SAAS,EAAE,CAAC;QACjC,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,QAAQ,KAAK,QAAQ,CAAC,EAAE,CAAC;YACrE,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,uBAAuB,EAAE,GAAG,QAAQ,kDAAkD,CAAC,CAAC,CAAC;QAClH,CAAC;IACH,CAAC;IACD,KAAK,MAAM,MAAM,IAAI,QAAQ,CAAC,OAAO,EAAE,CAAC;QACtC,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC;YACzC,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,yBAAyB,EAAE,GAAG,MAAM,CAAC,QAAQ,kDAAkD,CAAC,CAAC,CAAC;QAC3H,CAAC;IACH,CAAC;IACD,MAAM,GAAG,GAAG,MAAM,eAAe,CAAC,IAAI,CAAC,CAAC;IACxC,KAAK,MAAM,MAAM,IAAI,QAAQ,CAAC,OAAO,EAAE,CAAC;QACtC,MAAM,MAAM,GAAG,YAAY,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;QACjE,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,MAAM,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC;YACnD,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC;gBAAE,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,sBAAsB,EAAE,GAAG,MAAM,CAAC,QAAQ,eAAe,YAAY,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC;YAC7H,IAAI,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,KAAK,CAAE,CAAC,KAAK,CAAC,EAAE,CAAC;gBAC7D,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,iCAAiC,EAAE,GAAG,MAAM,CAAC,QAAQ,IAAI,YAAY,CAAC,KAAK,CAAC,qEAAqE,CAAC,CAAC,CAAC;YAC7K,CAAC;iBAAM,IAAI,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;gBACzB,MAAM,MAAM,GAAG,mBAAmB,CAAC,KAAK,CAAC,OAAO,EAAE,QAAQ,EAAE,MAAM,CAAC,QAAQ,EAAE,YAAY,CAAC,KAAK,CAAE,CAAC,CAAC;gBACnG,IAAI,CAAC,MAAM,IAAI,MAAM,CAAC,QAAQ,KAAK,MAAM,CAAC,KAAK,CAAE,CAAC,KAAK,EAAE,CAAC;oBACxD,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,uBAAuB,EAAE,GAAG,MAAM,CAAC,QAAQ,IAAI,YAAY,CAAC,KAAK,CAAC,mDAAmD,CAAC,CAAC,CAAC;gBACjJ,CAAC;YACH,CAAC;YACD,IAAI,KAAK,GAAG,CAAC,IAAI,MAAM,CAAC,KAAK,CAAC,EAAE,KAAK,KAAK,SAAS,IAAI,MAAM,CAAC,KAAK,GAAG,CAAC,CAAC,EAAE,KAAK,KAAK,SAAS;mBACxF,MAAM,CAAC,KAAK,CAAE,CAAC,KAAM,IAAI,MAAM,CAAC,KAAK,GAAG,CAAC,CAAE,CAAC,KAAM,EAAE,CAAC;gBACxD,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,oBAAoB,EAAE,GAAG,MAAM,CAAC,QAAQ,IAAI,YAAY,CAAC,KAAK,CAAC,iBAAiB,YAAY,CAAC,KAAK,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;YACtI,CAAC;QACH,CAAC;QACD,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC;QACpC,MAAM,YAAY,GAAG,MAAM,CAAC,MAAM,CAAC,YAAY,CAAC;QAChD,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC;QACpC,MAAM,GAAG,GAAG,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC;QAC9B,MAAM,cAAc,GAAG,MAAM,CAAC,MAAM,CAAC,cAAc,CAAC;QACpD,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC;QAClC,IAAI,MAAM,IAAI,YAAY,IAAI,MAAM,CAAC,YAAY,CAAC,YAAY,KAAK,YAAY,CAAC,YAAY,CAAC,YAAY,EAAE,CAAC;YAC1G,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,+BAA+B,EAAE,GAAG,MAAM,CAAC,QAAQ,qDAAqD,CAAC,CAAC,CAAC;QACpI,CAAC;QACD,IAAI,YAAY,IAAI,MAAM,IAAI,YAAY,CAAC,YAAY,CAAC,MAAM,KAAK,MAAM,CAAC,YAAY,CAAC,MAAM,EAAE,CAAC;YAC9F,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,yBAAyB,EAAE,GAAG,MAAM,CAAC,QAAQ,4CAA4C,CAAC,CAAC,CAAC;QACrH,CAAC;QACD,IAAI,MAAM,IAAI,GAAG,IAAI,MAAM,CAAC,YAAY,CAAC,KAAK,KAAK,GAAG,CAAC,YAAY,CAAC,KAAK,EAAE,CAAC;YAC1E,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,wBAAwB,EAAE,GAAG,MAAM,CAAC,QAAQ,0CAA0C,CAAC,CAAC,CAAC;QAClH,CAAC;QACD,IAAI,GAAG,IAAI,cAAc,IAAI,GAAG,CAAC,YAAY,CAAC,cAAc,KAAK,cAAc,CAAC,YAAY,CAAC,cAAc,EAAE,CAAC;YAC5G,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,iCAAiC,EAAE,GAAG,MAAM,CAAC,QAAQ,2CAA2C,CAAC,CAAC,CAAC;QAC5H,CAAC;QACD,IAAI,GAAG,IAAI,cAAc,EAAE,CAAC;YAC1B,KAAK,MAAM,aAAa,IAAI,MAAM,CAAC,cAAc,EAAE,CAAC;gBAClD,MAAM,MAAM,GAAG,GAAG,CAAC,YAAY,CAAC,0BAA0B,EAAE,CAAC,aAAa,CAAC,CAAC;gBAC5E,MAAM,KAAK,GAAG,cAAc,CAAC,YAAY,CAAC,0BAA0B,EAAE,CAAC,aAAa,CAAC,CAAC;gBACtF,IAAI,CAAC,MAAM,IAAI,CAAC,KAAK,IAAI,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC;oBACvE,WAAW,CAAC,IAAI,CAAC,KAAK,CACpB,qCAAqC,EACrC,GAAG,MAAM,CAAC,QAAQ,+CAA+C,aAAa,GAAG,CAClF,CAAC,CAAC;gBACL,CAAC;qBAAM,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,YAAY,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,YAAY,CAAC,EAAE,CAAC;oBACtF,WAAW,CAAC,IAAI,CAAC,KAAK,CACpB,0CAA0C,EAC1C,GAAG,MAAM,CAAC,QAAQ,6CAA6C,aAAa,aAAa,CAC1F,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;QACH,CAAC;QACD,IAAI,GAAG,IAAI,KAAK,IAAI,GAAG,CAAC,YAAY,CAAC,KAAK,KAAK,KAAK,CAAC,YAAY,CAAC,KAAK,EAAE,CAAC;YACxE,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,+BAA+B,EAAE,GAAG,MAAM,CAAC,QAAQ,uCAAuC,CAAC,CAAC,CAAC;QACtH,CAAC;QACD,KAAK,MAAM,aAAa,IAAI,MAAM,CAAC,cAAc,EAAE,CAAC;YAClD,MAAM,MAAM,GAAG,GAAG,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,aAAa,KAAK,aAAa,CAAC,IAAI,EAAE,CAAC;YAC1F,MAAM,UAAU,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CACvC,YAAY;mBACT,GAAG;mBACH,cAAc;mBACd,KAAK;mBACL,MAAM,CAAC,SAAS,CAAC,YAAY,CAAC,KAAK,CAAC;mBACpC,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC;mBAC3B,MAAM,CAAC,SAAS,CAAC,cAAc,CAAC,KAAK,CAAC;mBACtC,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC;mBAC7B,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC;mBACjC,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC;mBACpC,KAAK,CAAC,GAAG,CAAC,KAAK;mBACf,KAAK,CAAC,KAAK,EAAE,KAAK;mBAClB,KAAK,CAAC,GAAG,CAAC,KAAM,GAAG,YAAY,CAAC,KAAM;mBACtC,KAAK,CAAC,GAAG,CAAC,KAAM,IAAI,GAAG,CAAC,KAAM;mBAC9B,KAAK,CAAC,KAAK,CAAC,KAAM,GAAG,cAAc,CAAC,KAAM;mBAC1C,KAAK,CAAC,KAAK,CAAC,KAAM,IAAI,KAAK,CAAC,KAAM,CAAC,CAAC;YACzC,IAAI,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC;gBAC/G,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,iCAAiC,EAAE,GAAG,MAAM,CAAC,QAAQ,IAAI,aAAa,yEAAyE,CAAC,CAAC,CAAC;YAC3K,CAAC;YACD,IAAI,GAAG,IAAI,CAAC,UAAU,EAAE,CAAC;gBACvB,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,qBAAqB,EAAE,GAAG,MAAM,CAAC,QAAQ,kCAAkC,aAAa,wBAAwB,CAAC,CAAC,CAAC;YAC5I,CAAC;YACD,IAAI,KAAK,IAAI,CAAC,UAAU,EAAE,CAAC;gBACzB,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,uBAAuB,EAAE,GAAG,MAAM,CAAC,QAAQ,oCAAoC,aAAa,0BAA0B,CAAC,CAAC,CAAC;YAClJ,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,WAAW,CAAC,MAAM,EAAE,OAAO,EAAE,QAAQ,CAAC,OAAO,CAAC,MAAM,EAAE,WAAW,EAAE,CAAC;AACtG,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,0BAA0B,CAAC,IAAY;IAM3D,MAAM,QAAQ,GAAG,MAAM,kBAAkB,CAAC,IAAI,CAAC,CAAC;IAChD,IAAI,CAAC,QAAQ,EAAE,OAAO,CAAC,MAAM;QAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,EAAE,EAAE,WAAW,EAAE,EAAE,EAAE,CAAC;IACrG,MAAM,WAAW,GAAiB,EAAE,CAAC;IACrC,MAAM,KAAK,GAAG,MAAM,UAAU,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAC5C,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,gBAAgB,GAAG,IAAI,GAAG,EAAuB,CAAC;IACxD,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,KAAK,MAAM,WAAW,IAAI,oBAAoB,CAAC,MAAM,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,IAAI,CAAC,CAAC,KAAK,EAAE,CAAC;YACvF,gBAAgB,CAAC,GAAG,CAAC,WAAW,CAAC,EAAE,EAAE,WAAW,CAAC,CAAC;QACpD,CAAC;IACH,CAAC;IACD,MAAM,WAAW,GAAG,IAAI,GAAG,EAA8D,CAAC;IAC1F,KAAK,MAAM,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,0CAA0C,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC;QACjH,KAAK,MAAM,SAAS,IAAI,cAAc,CAAC,MAAM,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,IAAI,CAAC,CAAC,KAAK;YAAE,WAAW,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,EAAE,SAAS,CAAC,CAAC;IAC3H,CAAC;IACD,MAAM,GAAG,GAAG,MAAM,eAAe,CAAC,IAAI,CAAC,CAAC;IACxC,MAAM,WAAW,GAAG,MAAM,2BAA2B,CAAC,IAAI,CAAC,CAAC;IAC5D,MAAM,OAAO,GAAyB,EAAE,CAAC;IACzC,KAAK,MAAM,MAAM,IAAI,QAAQ,CAAC,OAAO,EAAE,CAAC;QACtC,MAAM,eAAe,GAAG,WAAW,CAAC,MAAM,CAAC;QAC3C,MAAM,UAAU,GAAG,oBAAoB,MAAM,CAAC,QAAQ,KAAK,CAAC;QAC5D,MAAM,oBAAoB,GAAG,MAAM,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;YACjE,CAAC,CAAC,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,6BAA6B,CAAC,IAAI,CAAC,MAAM,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,0CAA0C,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE;YAChK,CAAC,CAAC,EAAE,CAAC;QACP,IAAI,IAAI,CAAC,SAAS,CAAC,oBAAoB,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,CAAC,GAAG,MAAM,CAAC,cAAc,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC;YAC/F,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,8BAA8B,EAAE,GAAG,MAAM,CAAC,QAAQ,sCAAsC,MAAM,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,6BAA6B,EAAE,UAAU,CAAC,CAAC,CAAC;QAC7L,CAAC;QACD,IAAI,oBAAoB,GAAG,CAAC,CAAC;QAC7B,IAAI,sBAAsB,GAAG,CAAC,CAAC;QAC/B,IAAI,yBAAyB,GAAG,CAAC,CAAC;QAClC,KAAK,MAAM,aAAa,IAAI,MAAM,CAAC,cAAc,EAAE,CAAC;YAClD,MAAM,eAAe,GAAG,KAAK,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC;YACjD,MAAM,WAAW,GAAG,gBAAgB,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC;YACxD,MAAM,IAAI,GAAG,WAAW,EAAE,IAAI,CAAC;YAC/B,IAAI,IAAI,KAAK,gBAAgB;gBAAE,yBAAyB,EAAE,CAAC;iBACtD,IAAI,IAAI,KAAK,YAAY;gBAAE,sBAAsB,EAAE,CAAC;YACzD,MAAM,OAAO,GAAG,KAAK,CAAC,KAAK;iBACxB,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,KAAK,WAAW,IAAI,IAAI,CAAC,EAAE,KAAK,aAAa,IAAI,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,KAAK,QAAQ,CAAC;iBACvH,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC5B,MAAM,MAAM,GAAG,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CACvC,IAAI,CAAC,QAAQ,KAAK,SAAS,IAAI,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,KAAK,KAAK,CAAC,CAAC;YACpG,MAAM,OAAO,GAAG,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CACxC,IAAI,CAAC,QAAQ,KAAK,YAAY;mBAC3B,CAAC,IAAI,CAAC,EAAE,KAAK,aAAa,IAAI,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;mBACxD,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,KAAK,MAAM,CAAC,CAAC;YAC5C,MAAM,OAAO,GAAG,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CACxC,IAAI,CAAC,QAAQ,KAAK,UAAU,IAAI,IAAI,CAAC,EAAE,KAAK,aAAa,IAAI,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,KAAK,MAAM,CAAC,CAAC;YACtG,MAAM,cAAc,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE;gBACzC,MAAM,SAAS,GAAG,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;gBACtC,OAAO,SAAS;uBACX,SAAS,CAAC,YAAY,CAAC,QAAQ,CAAC,aAAa,CAAC;uBAC9C,CAAC,SAAS,CAAC,cAAc,EAAE,SAAS,CAAC,UAAU,EAAE,SAAS,CAAC,WAAW,CAAC;yBACvE,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,MAAM,IAAI,CAAC,IAAI,CAAC,4BAA4B,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;YACtG,CAAC,CAAC,CAAC;YACH,IAAI,iBAAiB,GAAG,KAAK,CAAC;YAC9B,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,KAAK,MAAM,CAAC,EAAE,CAAC;gBAChF,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC,EAAE,IAAI,IAAI,CAAC,EAAE,KAAK,aAAa,IAAI,IAAI,CAAC,QAAQ,KAAK,UAAU,CAAC;oBAAE,SAAS;gBAC9H,MAAM,MAAM,GAAG,MAAM,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;gBAC/C,IAAI,IAAI,MAAM,CAAC,UAAU,IAAI,CAAC,EAAE,KAAK,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,IAAI,MAAM,CAAC,gBAAgB,aAAa,KAAK,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;oBACnH,iBAAiB,GAAG,IAAI,CAAC;oBACzB,MAAM;gBACR,CAAC;YACH,CAAC;YACD,MAAM,oBAAoB,GAAG,CAAC,CAAC,WAAW,EAAE,UAAU;mBACjD,WAAW,CAAC,UAAU,CAAC,IAAI,EAAE,CAAC,MAAM,IAAI,CAAC;mBACzC,CAAC,4BAA4B,CAAC,IAAI,CAAC,WAAW,CAAC,UAAU,CAAC,IAAI,EAAE,CAAC;mBACjE,yFAAyF,CAAC,IAAI,CAAC,WAAW,CAAC,UAAU,CAAC,CAAC;YAC5H,MAAM,YAAY,GAAG,MAAM,CAAC,MAAM,CAAC,YAAY,CAAC;YAChD,MAAM,GAAG,GAAG,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC;YAC9B,MAAM,cAAc,GAAG,MAAM,CAAC,MAAM,CAAC,cAAc,CAAC;YACpD,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC;YAClC,MAAM,MAAM,GAAG,GAAG,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CACxC,KAAK,CAAC,aAAa,KAAK,aAAa;mBAClC,YAAY;mBACZ,GAAG;mBACH,cAAc;mBACd,KAAK;mBACL,MAAM,CAAC,SAAS,CAAC,YAAY,CAAC,KAAK,CAAC;mBACpC,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC;mBAC3B,MAAM,CAAC,SAAS,CAAC,cAAc,CAAC,KAAK,CAAC;mBACtC,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC;mBAC7B,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC;mBACjC,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC;mBACpC,KAAK,CAAC,GAAG,CAAC,KAAK;mBACf,KAAK,CAAC,KAAK,EAAE,KAAK;mBAClB,KAAK,CAAC,GAAG,CAAC,KAAM,GAAG,YAAY,CAAC,KAAM;mBACtC,KAAK,CAAC,GAAG,CAAC,KAAM,IAAI,GAAG,CAAC,KAAM;mBAC9B,KAAK,CAAC,KAAK,CAAC,KAAM,GAAG,cAAc,CAAC,KAAM;mBAC1C,KAAK,CAAC,KAAK,CAAC,KAAM,IAAI,KAAK,CAAC,KAAM,CAAC,IAAI,KAAK,CAAC;YAClD,MAAM,MAAM,GAAG;gBACb,CAAC,CAAC,CAAC,eAAe,IAAI,CAAC,CAAC,WAAW,IAAI,CAAC,CAAC,IAAI,EAAE,iCAAiC,EAAE,aAAa,CAAC;gBAChG,CAAC,oBAAoB,EAAE,gCAAgC,EAAE,yCAAyC,CAAC;gBACnG,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,IAAI,cAAc,EAAE,4BAA4B,EAAE,+DAA+D,CAAC;gBACrI,CAAC,MAAM,EAAE,yBAAyB,EAAE,KAAK,CAAC;gBAC1C,CAAC,OAAO,EAAE,0BAA0B,EAAE,gBAAgB,CAAC;gBACvD,CAAC,OAAO,IAAI,iBAAiB,EAAE,0BAA0B,EAAE,0CAA0C,CAAC;gBACtG,CAAC,MAAM,EAAE,yBAAyB,EAAE,uBAAuB,CAAC;gBAC5D,CAAC,CAAC,WAAW,EAAE,WAAW,IAAI,CAAC,WAAW,CAAC,KAAK,IAAI,WAAW,CAAC,iBAAiB,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAC,EAAE,iCAAiC,EAAE,0DAA0D,CAAC;aAClM,CAAC;YACX,KAAK,MAAM,CAAC,OAAO,EAAE,IAAI,EAAE,QAAQ,CAAC,IAAI,MAAM,EAAE,CAAC;gBAC/C,IAAI,CAAC,OAAO;oBAAE,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,GAAG,MAAM,CAAC,QAAQ,IAAI,aAAa,UAAU,QAAQ,YAAY,CAAC,CAAC,CAAC;YACjH,CAAC;YACD,IAAI,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC;gBAAE,oBAAoB,EAAE,CAAC;QACnE,CAAC;QACD,OAAO,CAAC,IAAI,CAAC;YACX,QAAQ,EAAE,MAAM,CAAC,QAAQ;YACzB,sBAAsB;YACtB,yBAAyB;YACzB,YAAY,EAAE,MAAM,CAAC,cAAc,CAAC,MAAM;YAC1C,oBAAoB;YACpB,KAAK,EAAE,oBAAoB,KAAK,MAAM,CAAC,cAAc,CAAC,MAAM,IAAI,WAAW,CAAC,MAAM,KAAK,eAAe;SACvG,CAAC,CAAC;IACL,CAAC;IACD,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,WAAW,CAAC,MAAM,EAAE,OAAO,EAAE,WAAW,EAAE,CAAC;AAC7E,CAAC"}

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

@@ -0,0 +1,104 @@
+import { type Diagnostic } from '../../domain/src/index.js';
+export interface CommandConfig {
+    name: string;
+    command: string;
+    args: string[];
+    tddArgs?: string[];
+    tddReport?: {
+        format: 'musubix-json';
+        path: string;
+    };
+    testReport?: {
+        format: 'musubix-json';
+        path: string;
+    };
+    mutationReport?: {
+        format: 'musubix-mutation-json';
+        path: string;
+    };
+    adapter?: 'vitest' | 'jest' | 'pytest' | 'go-test' | 'cargo' | 'junit';
+    required: boolean;
+    timeoutMs: number;
+}
+export interface ArchitectureRule {
+    name: string;
+    from: string;
+    disallow: string[];
+}
+export interface FormalConfig {
+    solver: 'auto' | 'none' | 'z3' | 'lean';
+    minModeledFraction: number;
+    timeoutMs: number;
+}
+export interface AttestationConfig {
+    mode: 'off' | 'local' | 'ci-required';
+    repository?: string;
+    maxAgeSeconds?: number;
+    maxFutureSkewSeconds?: number;
+    trustedPublicKeys: Array<{
+        id: string;
+        publicKey: string;
+    }>;
+    githubOidc?: GitHubOidcConfig;
+}
+export interface GitHubOidcConfig {
+    mode: 'off' | 'strict';
+    issuer?: 'https://token.actions.githubusercontent.com';
+    audience?: string;
+    repository?: string;
+    workflow?: string;
+    ref?: string;
+    keyBinding?: 'public-key' | 'key-id';
+}
+export interface WorkflowConfig {
+    mode: 'compatible' | 'strict';
+    expectedSessionId?: string;
+    maxAgeSeconds?: number;
+    maxFutureSkewSeconds?: number;
+}
+export interface CodeGraphConfig {
+    mode: 'compatible' | 'strict';
+}
+export interface MutationConfig {
+    mode: 'compatible' | 'strict';
+}
+export interface Config {
+    schemaVersion: 1;
+    language: 'auto' | 'en' | 'ja';
+    commands: CommandConfig[];
+    requiredChecks: string[];
+    thresholds: {
+        design: number;
+        implementation: number;
+        tests: number;
+    };
+    architecture: {
+        forbidCycles: boolean;
+        rules: ArchitectureRule[];
+    };
+    codeGraph: CodeGraphConfig;
+    formal: FormalConfig;
+    mutation: MutationConfig;
+    workflow: WorkflowConfig;
+    attestation: AttestationConfig;
+}
+export interface PolicyBaseline {
+    schemaVersion: 1;
+    requiredChecks: string[];
+    thresholds: Config['thresholds'];
+    architecture: Config['architecture'];
+    codeGraph: Config['codeGraph'];
+    formal: Pick<FormalConfig, 'solver' | 'minModeledFraction'>;
+    mutation: MutationConfig;
+    workflow: WorkflowConfig;
+    attestation: AttestationConfig;
+    requiredCommands: string[];
+}
+export declare const checkNames: readonly ["requirements", "design", "constitution", "trace", "graph", "formal", "model-correspondence", "mutation", "workflow", "tdd", "change-history", "change-completeness", "performance", "attestation", "test-identities", "commands"];
+export declare const defaultConfig: Config;
+export declare const defaultPolicyBaseline: PolicyBaseline;
+export declare function parseConfig(input: unknown): Config;
+export declare function loadConfig(root: string): Promise<Config>;
+export declare function parsePolicyBaseline(input: unknown): PolicyBaseline;
+export declare function loadPolicyBaseline(root: string): Promise<PolicyBaseline | null>;
+export declare function policyDiagnostics(config: Config, baseline: PolicyBaseline, changed?: string[] | null): Diagnostic[];