musubix3 0.1.0

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

@@ -0,0 +1,242 @@
+import ts from 'typescript';
+import { dirname, basename } from 'node:path';
+import { error, ids, validateDesign, validateRequirements } from '../../domain/src/index.js';
+import { exists, files, isArtifact, isSource, isTraceSource, readText, snapshot, within, writeJson } from './files.js';
+export async function traceInputs(root) {
+    return (await files(root)).filter((path) => isArtifact(path) || isTraceSource(path));
+}
+function typedCommentBlocks(text, path) {
+    // Parser-aware comment locations avoid treating template tails or regex text as comments.
+    const source = ts.createSourceFile(path, text, ts.ScriptTarget.Latest, true);
+    const ranges = new Map();
+    const literals = [];
+    function visit(node) {
+        if (ts.isStringLiteralLike(node) || ts.isRegularExpressionLiteral(node) ||
+            node.kind === ts.SyntaxKind.TemplateHead || node.kind === ts.SyntaxKind.TemplateMiddle ||
+            node.kind === ts.SyntaxKind.TemplateTail || node.kind === ts.SyntaxKind.JsxText) {
+            literals.push({ start: node.kind === ts.SyntaxKind.JsxText ? node.pos : node.getStart(source), end: node.end });
+        }
+        for (const range of [
+            ...ts.getLeadingCommentRanges(text, node.pos) ?? [],
+            ...ts.getTrailingCommentRanges(text, node.end) ?? [],
+        ])
+            ranges.set(range.pos, range);
+        ts.forEachChild(node, visit);
+    }
+    visit(source);
+    return [...ranges.values()].filter((range) => !literals.some((literal) => range.pos >= literal.start && range.pos < literal.end))
+        .sort((a, b) => a.pos - b.pos).map((range) => ({
+        text: text.slice(range.pos, range.end), line: source.getLineAndCharacterOfPosition(range.pos).line + 1,
+    }));
+}
+function maskGenericStrings(text, path) {
+    const chars = [...text];
+    const quotes = path.endsWith('.rs') ? ['"'] : ['"', "'", '`'];
+    for (let index = 0; index < chars.length; index += 1) {
+        const quote = chars[index];
+        if (!quotes.includes(quote))
+            continue;
+        const triple = chars[index + 1] === quote && chars[index + 2] === quote;
+        const endToken = triple ? quote.repeat(3) : quote;
+        const start = index;
+        index += endToken.length;
+        while (index < chars.length) {
+            if (!triple && chars[index] === '\\') {
+                chars[index] = ' ';
+                if (chars[index + 1] !== '\n' && chars[index + 1] !== '\r')
+                    chars[index + 1] = ' ';
+                index += 2;
+                continue;
+            }
+            if (text.startsWith(endToken, index)) {
+                index += endToken.length - 1;
+                break;
+            }
+            if (chars[index] !== '\n' && chars[index] !== '\r')
+                chars[index] = ' ';
+            index += 1;
+        }
+        for (let cursor = start; cursor <= index && cursor < chars.length; cursor += 1) {
+            if (chars[cursor] !== '\n' && chars[cursor] !== '\r')
+                chars[cursor] = ' ';
+        }
+    }
+    return chars.join('');
+}
+function genericCommentBlocks(text, path) {
+    const searchable = maskGenericStrings(text, path);
+    const matches = [];
+    for (const pattern of [
+        /\/\*[\s\S]*?\*\//g,
+        /(?:^[ \t]*\/\/[^\r\n]*(?:\r?\n|$))+/gm,
+        /(?:^[ \t]*#[^\r\n]*(?:\r?\n|$))+/gm,
+    ]) {
+        for (const match of searchable.matchAll(pattern)) {
+            if (match.index !== undefined) {
+                const original = text.slice(match.index, match.index + match[0].length);
+                if (/@(id|implements|verifies|design)\b/.test(original)) {
+                    matches.push({ text: original, index: match.index });
+                }
+            }
+        }
+    }
+    return matches.sort((a, b) => a.index - b.index).map((match) => ({
+        text: match.text,
+        line: text.slice(0, match.index).split(/\r?\n/).length,
+    }));
+}
+function commentBlocks(text, path) {
+    return isSource(path) ? typedCommentBlocks(text, path) : genericCommentBlocks(text, path);
+}
+export async function buildTrace(root, persist = true) {
+    const paths = await traceInputs(root);
+    const graph = { schemaVersion: 1, generatedAt: new Date().toISOString(), nodes: [], edges: [], diagnostics: [], fingerprints: await snapshot(root, paths) };
+    const add = (node) => {
+        if (graph.nodes.some((n) => n.id === node.id))
+            graph.diagnostics.push(error('TRACE_DUPLICATE', `Duplicate global ID ${node.id}.`, node.path, node.line));
+        else
+            graph.nodes.push(node);
+    };
+    for (const path of paths) {
+        const text = await readText(root, path);
+        if (isArtifact(path) && path.endsWith('/requirements.md')) {
+            const result = validateRequirements(text, path);
+            graph.diagnostics.push(...result.diagnostics);
+            for (const req of result.value)
+                add({ id: req.id, kind: 'requirement', path, line: req.line, mandatory: req.priority === 'must' });
+        }
+        else if (isArtifact(path) && path.endsWith('/design.md')) {
+            const result = validateDesign(text, path);
+            graph.diagnostics.push(...result.diagnostics);
+            for (const component of result.value) {
+                add({ id: component.id, kind: 'design', path, line: component.line });
+                for (const req of component.requirements)
+                    graph.edges.push({ from: component.id, to: req, relation: 'satisfies' });
+                for (const adr of component.decisions)
+                    graph.edges.push({ from: adr, to: component.id, relation: 'decides' });
+                for (const dep of component.dependencies)
+                    graph.edges.push({ from: component.id, to: dep, relation: 'depends-on' });
+            }
+        }
+        else if (path.startsWith('.musubix/decisions/')) {
+            add({ id: basename(path, '.md'), kind: 'adr', path, line: 1 });
+        }
+        else if (isTraceSource(path)) {
+            for (const block of commentBlocks(text, path)) {
+                const annotations = [...block.text.matchAll(/@(implements|verifies|design)\s+([^\r\n*]+)/g)];
+                if (!annotations.length)
+                    continue;
+                const id = /@id\s+(\S+)/.exec(block.text)?.[1];
+                const kind = annotations.some((a) => a[1] === 'verifies') ? 'test' : 'code';
+                if (!id || !ids[kind].test(id)) {
+                    graph.diagnostics.push(error('TRACE_ANNOTATION_ID', `Annotation block requires @id ${kind === 'test' ? 'TEST' : 'CODE'}-FEATURE-001.`, path, block.line));
+                    continue;
+                }
+                add({ id, kind, path, line: block.line });
+                for (const annotation of annotations) {
+                    const relation = annotation[1] === 'verifies' ? 'verifies' : 'implements';
+                    const prefix = annotation[1] === 'design' ? 'DES' : 'REQ';
+                    const targets = (annotation[2] ?? '').split(/[\s,]+/).filter(Boolean);
+                    for (const target of targets) {
+                        if (!target.startsWith(`${prefix}-`) || !(prefix === 'DES' ? ids.design : ids.requirement).test(target)) {
+                            graph.diagnostics.push(error('TRACE_ANNOTATION_TARGET', `Invalid @${annotation[1]} target ${target}.`, path, block.line));
+                        }
+                        graph.edges.push({ from: id, to: target, relation });
+                    }
+                }
+            }
+        }
+    }
+    if (persist) {
+        await writeJson(root, '.musubix/cache/trace.json', graph);
+        const features = new Set(paths.filter((p) => /^\.musubix\/features\/[^/]+\/requirements\.md$/.test(p)).map(dirname));
+        for (const feature of features)
+            await writeJson(root, `${feature}/trace.json`, graph);
+    }
+    return graph;
+}
+export async function loadTrace(root) {
+    const path = await exists(within(root, '.musubix/cache/trace.json')) ? '.musubix/cache/trace.json' :
+        (await files(root)).find((p) => /^\.musubix\/features\/[^/]+\/trace\.json$/.test(p));
+    if (!path)
+        throw new Error('Trace graph missing; run musubix3 trace build.');
+    const value = JSON.parse(await readText(root, path));
+    if (value.schemaVersion !== 1 || !Array.isArray(value.nodes) || !Array.isArray(value.edges) || !value.fingerprints || !Array.isArray(value.diagnostics))
+        throw new Error('Invalid trace graph; rebuild it.');
+    return value;
+}
+export async function checkTrace(root, graph, strict = false, thresholds = { design: 1, implementation: 1, tests: 1 }) {
+    const diagnostics = [...graph.diagnostics];
+    const nodes = new Map(graph.nodes.map((n) => [n.id, n]));
+    for (const edge of graph.edges) {
+        if (!nodes.has(edge.from) || !nodes.has(edge.to))
+            diagnostics.push(error('TRACE_DANGLING', `${edge.from} → ${edge.to} (${edge.relation}) has a missing endpoint.`));
+    }
+    for (const node of graph.nodes) {
+        if (!await exists(within(root, node.path)))
+            diagnostics.push(error('TRACE_STALE_PATH', `Missing source for ${node.id}.`, node.path));
+    }
+    const current = await snapshot(root, await traceInputs(root));
+    const allPaths = new Set([...Object.keys(current), ...Object.keys(graph.fingerprints)]);
+    for (const path of allPaths) {
+        if (current[path] !== graph.fingerprints[path])
+            diagnostics.push(error('TRACE_STALE', 'Trace inputs changed; run trace build.', path));
+    }
+    const mandatory = graph.nodes.filter((n) => n.kind === 'requirement' && n.mandatory);
+    const counts = { design: 0, implementation: 0, tests: 0 };
+    if (!graph.nodes.some((n) => n.kind === 'requirement'))
+        diagnostics.push(error('TRACE_NO_REQUIREMENTS', 'No requirements in trace graph.'));
+    for (const requirement of mandatory) {
+        const designs = graph.edges.filter((e) => e.to === requirement.id && e.relation === 'satisfies' && nodes.get(e.from)?.kind === 'design').map((e) => e.from);
+        const coverage = {
+            design: designs.length > 0,
+            implementation: graph.edges.some((e) => e.relation === 'implements' && (e.to === requirement.id || designs.includes(e.to)) && nodes.get(e.from)?.kind === 'code'),
+            tests: graph.edges.some((e) => e.to === requirement.id && e.relation === 'verifies' && nodes.get(e.from)?.kind === 'test'),
+        };
+        for (const key of Object.keys(counts)) {
+            if (coverage[key])
+                counts[key]++;
+            else
+                diagnostics.push({ code: 'TRACE_UNCOVERED', severity: 'warning', message: `${requirement.id} lacks ${key}.`, path: requirement.path, line: requirement.line });
+        }
+    }
+    const coverage = { design: null, implementation: null, tests: null };
+    for (const key of Object.keys(counts)) {
+        coverage[key] = mandatory.length ? counts[key] / mandatory.length : null;
+        if (coverage[key] !== null && coverage[key] < thresholds[key]) {
+            diagnostics.push({ code: 'TRACE_COVERAGE', severity: strict ? 'error' : 'warning', message: `${key} link coverage ${coverage[key]} is below ${thresholds[key]}.` });
+        }
+    }
+    return {
+        valid: !diagnostics.some((d) => d.severity === 'error'),
+        diagnostics,
+        coverageKind: 'link-coverage',
+        mandatoryRequirements: mandatory.length,
+        coverage,
+    };
+}
+export function traceImpact(graph, query) {
+    const starts = graph.nodes.filter((n) => n.id === query || n.path === query).map((n) => n.id);
+    if (!starts.length)
+        throw new Error(`Trace ID or path not found: ${query}`);
+    const results = new Map();
+    for (const start of starts) {
+        const queue = [[start]];
+        const seen = new Set([start]);
+        for (let i = 0; i < queue.length; i++) {
+            const path = queue[i];
+            const current = path.at(-1);
+            const neighbors = graph.edges.flatMap((e) => e.from === current ? [e.to] : e.to === current ? [e.from] : []).sort();
+            for (const next of neighbors) {
+                if (seen.has(next))
+                    continue;
+                seen.add(next);
+                const chain = [...path, next];
+                queue.push(chain);
+                results.set(next, [...(results.get(next) ?? []), chain]);
+            }
+        }
+    }
+    return [...results.entries()].sort(([a], [b]) => a.localeCompare(b)).map(([id, paths]) => ({ id, paths }));
+}
+//# sourceMappingURL=trace.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"trace.js","sourceRoot":"","sources":["../../../../packages/analysis/src/trace.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,YAAY,CAAC;AAC5B,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,WAAW,CAAC;AAC9C,OAAO,EAAE,KAAK,EAAE,GAAG,EAAE,cAAc,EAAE,oBAAoB,EAAmB,MAAM,2BAA2B,CAAC;AAC9G,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,UAAU,EAAE,QAAQ,EAAE,aAAa,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AAyBvH,MAAM,CAAC,KAAK,UAAU,WAAW,CAAC,IAAY;IAC5C,OAAO,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC;AACvF,CAAC;AAED,SAAS,kBAAkB,CAAC,IAAY,EAAE,IAAY;IACpD,0FAA0F;IAC1F,MAAM,MAAM,GAAG,EAAE,CAAC,gBAAgB,CAAC,IAAI,EAAE,IAAI,EAAE,EAAE,CAAC,YAAY,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;IAC7E,MAAM,MAAM,GAAG,IAAI,GAAG,EAA2B,CAAC;IAClD,MAAM,QAAQ,GAAqC,EAAE,CAAC;IACtD,SAAS,KAAK,CAAC,IAAa;QAC1B,IAAI,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,0BAA0B,CAAC,IAAI,CAAC;YACrE,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,YAAY,IAAI,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,cAAc;YACtF,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,YAAY,IAAI,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,OAAO,EAAE,CAAC;YAClF,QAAQ,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC;QAClH,CAAC;QACD,KAAK,MAAM,KAAK,IAAI;YAClB,GAAG,EAAE,CAAC,uBAAuB,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE;YACnD,GAAG,EAAE,CAAC,wBAAwB,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE;SACrD;YAAE,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;QAChC,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAC/B,CAAC;IACD,KAAK,CAAC,MAAM,CAAC,CAAC;IACd,OAAO,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,IAAI,OAAO,CAAC,KAAK,IAAI,KAAK,CAAC,GAAG,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC;SAC9H,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;QAC/C,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,6BAA6B,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,GAAG,CAAC;KACvG,CAAC,CAAC,CAAC;AACN,CAAC;AAED,SAAS,kBAAkB,CAAC,IAAY,EAAE,IAAY;IACpD,MAAM,KAAK,GAAG,CAAC,GAAG,IAAI,CAAC,CAAC;IACxB,MAAM,MAAM,GAAG,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;IAC9D,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,KAAK,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QACrD,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAE,CAAC;QAC5B,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC;YAAE,SAAS;QACtC,MAAM,MAAM,GAAG,KAAK,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,KAAK,IAAI,KAAK,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,KAAK,CAAC;QACxE,MAAM,QAAQ,GAAG,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;QAClD,MAAM,KAAK,GAAG,KAAK,CAAC;QACpB,KAAK,IAAI,QAAQ,CAAC,MAAM,CAAC;QACzB,OAAO,KAAK,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC;YAC5B,IAAI,CAAC,MAAM,IAAI,KAAK,CAAC,KAAK,CAAC,KAAK,IAAI,EAAE,CAAC;gBACrC,KAAK,CAAC,KAAK,CAAC,GAAG,GAAG,CAAC;gBACnB,IAAI,KAAK,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,IAAI,IAAI,KAAK,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,IAAI;oBAAE,KAAK,CAAC,KAAK,GAAG,CAAC,CAAC,GAAG,GAAG,CAAC;gBACnF,KAAK,IAAI,CAAC,CAAC;gBACX,SAAS;YACX,CAAC;YACD,IAAI,IAAI,CAAC,UAAU,CAAC,QAAQ,EAAE,KAAK,CAAC,EAAE,CAAC;gBACrC,KAAK,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC;gBAC7B,MAAM;YACR,CAAC;YACD,IAAI,KAAK,CAAC,KAAK,CAAC,KAAK,IAAI,IAAI,KAAK,CAAC,KAAK,CAAC,KAAK,IAAI;gBAAE,KAAK,CAAC,KAAK,CAAC,GAAG,GAAG,CAAC;YACvE,KAAK,IAAI,CAAC,CAAC;QACb,CAAC;QACD,KAAK,IAAI,MAAM,GAAG,KAAK,EAAE,MAAM,IAAI,KAAK,IAAI,MAAM,GAAG,KAAK,CAAC,MAAM,EAAE,MAAM,IAAI,CAAC,EAAE,CAAC;YAC/E,IAAI,KAAK,CAAC,MAAM,CAAC,KAAK,IAAI,IAAI,KAAK,CAAC,MAAM,CAAC,KAAK,IAAI;gBAAE,KAAK,CAAC,MAAM,CAAC,GAAG,GAAG,CAAC;QAC5E,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;AACxB,CAAC;AAED,SAAS,oBAAoB,CAAC,IAAY,EAAE,IAAY;IACtD,MAAM,UAAU,GAAG,kBAAkB,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IAClD,MAAM,OAAO,GAAsC,EAAE,CAAC;IACtD,KAAK,MAAM,OAAO,IAAI;QACpB,mBAAmB;QACnB,uCAAuC;QACvC,oCAAoC;KACrC,EAAE,CAAC;QACF,KAAK,MAAM,KAAK,IAAI,UAAU,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;YACjD,IAAI,KAAK,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;gBAC9B,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;gBACxE,IAAI,oCAAoC,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;oBACxD,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC;gBACvD,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;QAC/D,IAAI,EAAE,KAAK,CAAC,IAAI;QAChB,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,MAAM;KACvD,CAAC,CAAC,CAAC;AACN,CAAC;AAED,SAAS,aAAa,CAAC,IAAY,EAAE,IAAY;IAC/C,OAAO,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,kBAAkB,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,oBAAoB,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;AAC5F,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,UAAU,CAAC,IAAY,EAAE,OAAO,GAAG,IAAI;IAC3D,MAAM,KAAK,GAAG,MAAM,WAAW,CAAC,IAAI,CAAC,CAAC;IACtC,MAAM,KAAK,GAAe,EAAE,aAAa,EAAE,CAAC,EAAE,WAAW,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,WAAW,EAAE,EAAE,EAAE,YAAY,EAAE,MAAM,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,CAAC;IACxK,MAAM,GAAG,GAAG,CAAC,IAAe,EAAQ,EAAE;QACpC,IAAI,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;YAAE,KAAK,CAAC,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,iBAAiB,EAAE,uBAAuB,IAAI,CAAC,EAAE,GAAG,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;;YACpJ,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC9B,CAAC,CAAC;IACF,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,IAAI,GAAG,MAAM,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QACxC,IAAI,UAAU,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,kBAAkB,CAAC,EAAE,CAAC;YAC1D,MAAM,MAAM,GAAG,oBAAoB,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;YAChD,KAAK,CAAC,WAAW,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,WAAW,CAAC,CAAC;YAC9C,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,KAAK;gBAAE,GAAG,CAAC,EAAE,EAAE,EAAE,GAAG,CAAC,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,SAAS,EAAE,GAAG,CAAC,QAAQ,KAAK,MAAM,EAAE,CAAC,CAAC;QACrI,CAAC;aAAM,IAAI,UAAU,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,YAAY,CAAC,EAAE,CAAC;YAC3D,MAAM,MAAM,GAAG,cAAc,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;YAC1C,KAAK,CAAC,WAAW,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,WAAW,CAAC,CAAC;YAC9C,KAAK,MAAM,SAAS,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;gBACrC,GAAG,CAAC,EAAE,EAAE,EAAE,SAAS,CAAC,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,SAAS,CAAC,IAAI,EAAE,CAAC,CAAC;gBACtE,KAAK,MAAM,GAAG,IAAI,SAAS,CAAC,YAAY;oBAAE,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,CAAC,EAAE,EAAE,EAAE,EAAE,GAAG,EAAE,QAAQ,EAAE,WAAW,EAAE,CAAC,CAAC;gBACnH,KAAK,MAAM,GAAG,IAAI,SAAS,CAAC,SAAS;oBAAE,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,EAAE,SAAS,CAAC,EAAE,EAAE,QAAQ,EAAE,SAAS,EAAE,CAAC,CAAC;gBAC9G,KAAK,MAAM,GAAG,IAAI,SAAS,CAAC,YAAY;oBAAE,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,CAAC,EAAE,EAAE,EAAE,EAAE,GAAG,EAAE,QAAQ,EAAE,YAAY,EAAE,CAAC,CAAC;YACtH,CAAC;QACH,CAAC;aAAM,IAAI,IAAI,CAAC,UAAU,CAAC,qBAAqB,CAAC,EAAE,CAAC;YAClD,GAAG,CAAC,EAAE,EAAE,EAAE,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC;QACjE,CAAC;aAAM,IAAI,aAAa,CAAC,IAAI,CAAC,EAAE,CAAC;YAC/B,KAAK,MAAM,KAAK,IAAI,aAAa,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,CAAC;gBAC9C,MAAM,WAAW,GAAG,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,8CAA8C,CAAC,CAAC,CAAC;gBAC7F,IAAI,CAAC,WAAW,CAAC,MAAM;oBAAE,SAAS;gBAClC,MAAM,EAAE,GAAG,aAAa,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;gBAC/C,MAAM,IAAI,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,UAAU,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC;gBAC5E,IAAI,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC;oBAC/B,KAAK,CAAC,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,qBAAqB,EAAE,iCAAiC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,eAAe,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;oBAC1J,SAAS;gBACX,CAAC;gBACD,GAAG,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;gBAC1C,KAAK,MAAM,UAAU,IAAI,WAAW,EAAE,CAAC;oBACrC,MAAM,QAAQ,GAAG,UAAU,CAAC,CAAC,CAAC,KAAK,UAAU,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,YAAY,CAAC;oBAC1E,MAAM,MAAM,GAAG,UAAU,CAAC,CAAC,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC;oBAC1D,MAAM,OAAO,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;oBACtE,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;wBAC7B,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,GAAG,MAAM,GAAG,CAAC,IAAI,CAAC,CAAC,MAAM,KAAK,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;4BACxG,KAAK,CAAC,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,yBAAyB,EAAE,YAAY,UAAU,CAAC,CAAC,CAAC,WAAW,MAAM,GAAG,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;wBAC5H,CAAC;wBACD,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,EAAE,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC,CAAC;oBACvD,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IACD,IAAI,OAAO,EAAE,CAAC;QACZ,MAAM,SAAS,CAAC,IAAI,EAAE,2BAA2B,EAAE,KAAK,CAAC,CAAC;QAC1D,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,gDAAgD,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC;QACrH,KAAK,MAAM,OAAO,IAAI,QAAQ;YAAE,MAAM,SAAS,CAAC,IAAI,EAAE,GAAG,OAAO,aAAa,EAAE,KAAK,CAAC,CAAC;IACxF,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,SAAS,CAAC,IAAY;IAC1C,MAAM,IAAI,GAAG,MAAM,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,2BAA2B,CAAC,CAAC,CAAC,CAAC,CAAC,2BAA2B,CAAC,CAAC;QAClG,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,2CAA2C,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;IACvF,IAAI,CAAC,IAAI;QAAE,MAAM,IAAI,KAAK,CAAC,gDAAgD,CAAC,CAAC;IAC7E,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,CAAe,CAAC;IACnE,IAAI,KAAK,CAAC,aAAa,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,YAAY,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,WAAW,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,kCAAkC,CAAC,CAAC;IAC7M,OAAO,KAAK,CAAC;AACf,CAAC;AAUD,MAAM,CAAC,KAAK,UAAU,UAAU,CAAC,IAAY,EAAE,KAAiB,EAAE,MAAM,GAAG,KAAK,EAAE,UAAU,GAAG,EAAE,MAAM,EAAE,CAAC,EAAE,cAAc,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE;IACvI,MAAM,WAAW,GAAG,CAAC,GAAG,KAAK,CAAC,WAAW,CAAC,CAAC;IAC3C,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IACzD,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;QAC/B,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YAAE,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,gBAAgB,EAAE,GAAG,IAAI,CAAC,IAAI,MAAM,IAAI,CAAC,EAAE,KAAK,IAAI,CAAC,QAAQ,2BAA2B,CAAC,CAAC,CAAC;IACtK,CAAC;IACD,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;QAC/B,IAAI,CAAC,MAAM,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;YAAE,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,kBAAkB,EAAE,sBAAsB,IAAI,CAAC,EAAE,GAAG,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;IACvI,CAAC;IACD,MAAM,OAAO,GAAG,MAAM,QAAQ,CAAC,IAAI,EAAE,MAAM,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC;IAC9D,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IACxF,KAAK,MAAM,IAAI,IAAI,QAAQ,EAAE,CAAC;QAC5B,IAAI,OAAO,CAAC,IAAI,CAAC,KAAK,KAAK,CAAC,YAAY,CAAC,IAAI,CAAC;YAAE,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,aAAa,EAAE,wCAAwC,EAAE,IAAI,CAAC,CAAC,CAAC;IACzI,CAAC;IACD,MAAM,SAAS,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,aAAa,IAAI,CAAC,CAAC,SAAS,CAAC,CAAC;IACrF,MAAM,MAAM,GAAG,EAAE,MAAM,EAAE,CAAC,EAAE,cAAc,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;IAC1D,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,aAAa,CAAC;QAAE,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,uBAAuB,EAAE,iCAAiC,CAAC,CAAC,CAAC;IAC5I,KAAK,MAAM,WAAW,IAAI,SAAS,EAAE,CAAC;QACpC,MAAM,OAAO,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,WAAW,CAAC,EAAE,IAAI,CAAC,CAAC,QAAQ,KAAK,WAAW,IAAI,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,IAAI,KAAK,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QAC5J,MAAM,QAAQ,GAAG;YACf,MAAM,EAAE,OAAO,CAAC,MAAM,GAAG,CAAC;YAC1B,cAAc,EAAE,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,YAAY,IAAI,CAAC,CAAC,CAAC,EAAE,KAAK,WAAW,CAAC,EAAE,IAAI,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,IAAI,KAAK,MAAM,CAAC;YACjK,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,WAAW,CAAC,EAAE,IAAI,CAAC,CAAC,QAAQ,KAAK,UAAU,IAAI,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,IAAI,KAAK,MAAM,CAAC;SAC3H,CAAC;QACF,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,CAA4B,EAAE,CAAC;YACjE,IAAI,QAAQ,CAAC,GAAG,CAAC;gBAAE,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC;;gBAC5B,WAAW,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,iBAAiB,EAAE,QAAQ,EAAE,SAAS,EAAE,OAAO,EAAE,GAAG,WAAW,CAAC,EAAE,UAAU,GAAG,GAAG,EAAE,IAAI,EAAE,WAAW,CAAC,IAAI,EAAE,IAAI,EAAE,WAAW,CAAC,IAAI,EAAE,CAAC,CAAC;QACtK,CAAC;IACH,CAAC;IACD,MAAM,QAAQ,GAA2B,EAAE,MAAM,EAAE,IAAI,EAAE,cAAc,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;IAC7F,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,CAA4B,EAAE,CAAC;QACjE,QAAQ,CAAC,GAAG,CAAC,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC;QACzE,IAAI,QAAQ,CAAC,GAAG,CAAC,KAAK,IAAI,IAAI,QAAQ,CAAC,GAAG,CAAC,GAAG,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;YAC9D,WAAW,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,EAAE,OAAO,EAAE,GAAG,GAAG,kBAAkB,QAAQ,CAAC,GAAG,CAAC,aAAa,UAAU,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC;QACtK,CAAC;IACH,CAAC;IACD,OAAO;QACL,KAAK,EAAE,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,CAAC;QACvD,WAAW;QACX,YAAY,EAAE,eAAe;QAC7B,qBAAqB,EAAE,SAAS,CAAC,MAAM;QACvC,QAAQ;KACT,CAAC;AACJ,CAAC;AAOD,MAAM,UAAU,WAAW,CAAC,KAAiB,EAAE,KAAa;IAC1D,MAAM,MAAM,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,KAAK,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IAC9F,IAAI,CAAC,MAAM,CAAC,MAAM;QAAE,MAAM,IAAI,KAAK,CAAC,+BAA+B,KAAK,EAAE,CAAC,CAAC;IAC5E,MAAM,OAAO,GAAG,IAAI,GAAG,EAAsB,CAAC;IAC9C,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,MAAM,KAAK,GAAe,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;QACpC,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;QAC9B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACtC,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAE,CAAC;YACvB,MAAM,OAAO,GAAG,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAE,CAAC;YAC7B,MAAM,SAAS,GAAG,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;YACpH,KAAK,MAAM,IAAI,IAAI,SAAS,EAAE,CAAC;gBAC7B,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC;oBAAE,SAAS;gBAC7B,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;gBACf,MAAM,KAAK,GAAG,CAAC,GAAG,IAAI,EAAE,IAAI,CAAC,CAAC;gBAC9B,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;gBAClB,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC;YAC3D,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,CAAC,GAAG,OAAO,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC;AAC7G,CAAC"}

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

@@ -0,0 +1,59 @@
+import { type Diagnostic } from '../../domain/src/index.js';
+import type { WorkflowConfig } from './config.js';
+export interface WorkflowEvent {
+    skill: string;
+    version: string;
+    provenance?: 'self-reported';
+    phase: string;
+    status: 'completed' | 'skipped' | 'failed';
+    reason?: string;
+    commandSha256?: string;
+    recordedAt: string;
+}
+export interface WorkflowManifest {
+    schemaVersion: 1;
+    events: WorkflowEvent[];
+    verification?: {
+        mode?: 'compatible' | 'strict';
+        sourceSha256: string;
+        transcriptSha256?: string;
+        eventsSha256: string;
+        verifiedAt: string;
+        sessionId?: string;
+        exitCode?: number;
+        terminalAt?: string;
+        eventCount?: number;
+        invocations: Array<{
+            skill: string;
+            toolCallId: string;
+            invokedAt: string;
+            completedAt?: string;
+            status: 'completed' | 'failed' | 'incomplete';
+        }>;
+    };
+}
+export interface WorkflowVerificationOptions extends WorkflowConfig {
+    now?: () => Date;
+    maxBytes?: number;
+    maxLineBytes?: number;
+    maxEvents?: number;
+}
+export declare const workflowVerificationLimits: {
+    readonly maxBytes: 100000000;
+    readonly maxLineBytes: 1000000;
+    readonly maxEvents: 1000000;
+};
+export declare function workflowEvidenceHead(workflow: WorkflowManifest | null | undefined): string | null;
+export declare function loadWorkflow(root: string): Promise<WorkflowManifest | null>;
+export declare function recordWorkflow(root: string, event: Omit<WorkflowEvent, 'version' | 'recordedAt' | 'commandSha256'> & {
+    command?: string;
+}): Promise<WorkflowManifest>;
+export declare function verifyWorkflowLog(root: string, logText: string, options?: WorkflowVerificationOptions): Promise<WorkflowManifest>;
+export declare function verifyWorkflowLogFile(root: string, path: string, options?: WorkflowVerificationOptions): Promise<WorkflowManifest>;
+export declare function validateWorkflow(root: string, options?: WorkflowVerificationOptions): Promise<{
+    present: boolean;
+    verified: boolean;
+    events: number;
+    skills: number;
+    diagnostics: Diagnostic[];
+}>;