musubix3 0.1.0

package/assets/design.md

@@ -0,0 +1,13 @@
+---
+schemaVersion: 1
+feature: example
+---
+# Design / 設計
+
+## DES-EXAMPLE-001: Readiness component / 準備状況コンポーネント
+Responsibilities: Aggregate explicit readiness evidence without inventing success.
+Interfaces: reportReadiness() returns pass, fail, or skipped evidence.
+Constraints: Missing required evidence cannot count as success.
+Requirements: REQ-EXAMPLE-001
+ADRs: ADR-0001
+Depends-On: none

package/assets/requirements.md

@@ -0,0 +1,15 @@
+---
+schemaVersion: 1
+feature: example
+---
+# Requirements / 要求
+
+Replace this starter with your feature using Copilot's native planning and editing.
+この例を Copilot の計画・編集機能で実際の要求に置き換えてください。
+
+## REQ-EXAMPLE-001: Report readiness / 準備状況を表示
+Priority: must
+Type: functional
+Pattern: ubiquitous
+Statement: The system shall report its readiness.
+Acceptance: A test checks the reported readiness against the configured checks.

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

@@ -0,0 +1,12 @@
+import type { CommandConfig } from './config.js';
+import type { MusubixTestReport } from './tdd.js';
+export type TestAdapter = NonNullable<CommandConfig['adapter']>;
+export interface AdapterInvocation {
+    args: string[];
+    reportPath: string;
+    source: 'file' | 'directory' | 'stdout';
+}
+export declare function adapterInvocation(adapter: TestAdapter, commandName: string, testId?: string, testPath?: string): AdapterInvocation;
+export declare function clearAdapterOutput(invocation: AdapterInvocation, absolutePath: string): Promise<void>;
+export declare function readAdapterOutput(invocation: AdapterInvocation, absolutePath: string, stdout: string): Promise<string | null>;
+export declare function normalizeAdapterReport(adapter: TestAdapter, text: string, targetTestId?: string): MusubixTestReport;

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

@@ -0,0 +1,167 @@
+import { dirname } from 'node:path';
+import { mkdir, readdir, readFile, rm, unlink, writeFile } from 'node:fs/promises';
+import { exists } from './files.js';
+function reportPath(commandName, testId, adapter) {
+    const suffix = adapter === 'junit' ? '' : '.json';
+    return testId
+        ? `.musubix/evidence/native/${commandName}/${testId}${suffix}`
+        : `.musubix/evidence/native/${commandName}/aggregate${suffix}`;
+}
+function identifier(testId) {
+    return testId.toLowerCase().replaceAll('-', '_');
+}
+export function adapterInvocation(adapter, commandName, testId, testPath) {
+    const path = reportPath(commandName, testId, adapter);
+    if (adapter === 'vitest') {
+        return {
+            args: [...testPath ? [testPath] : [], ...testId ? ['-t', testId] : [], '--reporter=json', `--outputFile=${path}`],
+            reportPath: path,
+            source: 'file',
+        };
+    }
+    if (adapter === 'jest') {
+        return {
+            args: [...testPath ? ['--runTestsByPath', testPath] : [], ...testId ? ['-t', testId] : [], '--json', `--outputFile=${path}`],
+            reportPath: path,
+            source: 'file',
+        };
+    }
+    if (adapter === 'pytest') {
+        return {
+            args: [...testPath ? [testPath] : [], ...testId ? ['-k', identifier(testId)] : [], '--json-report', `--json-report-file=${path}`],
+            reportPath: path,
+            source: 'file',
+        };
+    }
+    if (adapter === 'go-test') {
+        const packagePath = testPath ? `./${dirname(testPath)}`.replace(/\/\.$/, '') : './...';
+        return { args: ['test', '-json', packagePath, ...testId ? ['-run', `/${testId}`] : []], reportPath: path, source: 'stdout' };
+    }
+    if (adapter === 'cargo') {
+        return { args: ['test', ...testId ? [identifier(testId)] : [], '--', '--format', 'pretty'], reportPath: path, source: 'stdout' };
+    }
+    return {
+        args: [
+            '--scan-class-path',
+            ...testId ? [`--include-tag=${testId}`, '--fail-if-no-tests'] : [],
+            `--reports-dir=${path}`,
+        ],
+        reportPath: path,
+        source: 'directory',
+    };
+}
+export async function clearAdapterOutput(invocation, absolutePath) {
+    if (await exists(absolutePath)) {
+        if (invocation.source === 'directory')
+            await rm(absolutePath, { recursive: true });
+        else
+            await unlink(absolutePath);
+    }
+    await mkdir(invocation.source === 'directory' ? absolutePath : dirname(absolutePath), { recursive: true });
+}
+export async function readAdapterOutput(invocation, absolutePath, stdout) {
+    if (invocation.source === 'stdout') {
+        if (stdout) {
+            await mkdir(dirname(absolutePath), { recursive: true });
+            await writeFile(absolutePath, stdout);
+            return stdout;
+        }
+        return await exists(absolutePath) ? readFile(absolutePath, 'utf8') : null;
+    }
+    if (!await exists(absolutePath))
+        return null;
+    if (invocation.source === 'file')
+        return readFile(absolutePath, 'utf8');
+    const entries = (await readdir(absolutePath, { withFileTypes: true }))
+        .filter((entry) => entry.isFile() && entry.name.endsWith('.xml'))
+        .sort((a, b) => a.name.localeCompare(b.name));
+    if (!entries.length)
+        return null;
+    return (await Promise.all(entries.map((entry) => readFile(`${absolutePath}/${entry.name}`, 'utf8')))).join('\n');
+}
+function idOf(value) {
+    if (typeof value !== 'string')
+        return null;
+    const match = /(?:^|[^A-Za-z0-9])(TEST[-_](?!TEST[-_])[A-Z0-9_-]*\d{3,})\b/i.exec(value);
+    return match?.[1]?.toUpperCase().replaceAll('_', '-') ?? null;
+}
+function status(value) {
+    const normalized = String(value).toLowerCase();
+    if (['pass', 'passed', 'success', 'ok'].includes(normalized))
+        return 'passed';
+    if (['skip', 'skipped', 'pending', 'todo', 'ignored'].includes(normalized))
+        return 'skipped';
+    if (['error', 'errored'].includes(normalized))
+        return 'error';
+    return 'failed';
+}
+function unique(tests) {
+    const byId = new Map();
+    for (const test of tests) {
+        const previous = byId.get(test.id);
+        if (!previous || previous.status === 'skipped' || test.status === 'error' || test.status === 'failed')
+            byId.set(test.id, test);
+    }
+    return { schemaVersion: 1, tests: [...byId.values()].sort((a, b) => a.id.localeCompare(b.id)) };
+}
+export function normalizeAdapterReport(adapter, text, targetTestId) {
+    const tests = [];
+    if (adapter === 'vitest' || adapter === 'jest') {
+        const value = JSON.parse(text);
+        const suites = Array.isArray(value.testResults) ? value.testResults : [];
+        for (const suite of suites) {
+            const assertions = Array.isArray(suite.assertionResults) ? suite.assertionResults : [];
+            for (const assertion of assertions) {
+                const id = idOf(assertion.fullName) ?? idOf(assertion.title);
+                if (id)
+                    tests.push({ id, status: status(assertion.status) });
+            }
+        }
+    }
+    else if (adapter === 'pytest') {
+        const value = JSON.parse(text);
+        for (const test of (Array.isArray(value.tests) ? value.tests : [])) {
+            const id = idOf(test.nodeid) ?? idOf(test.name);
+            if (id)
+                tests.push({ id, status: status(test.outcome) });
+        }
+    }
+    else if (adapter === 'go-test') {
+        for (const line of text.split(/\r?\n/)) {
+            if (!line.trim())
+                continue;
+            const event = JSON.parse(line);
+            if (!['pass', 'fail', 'skip'].includes(String(event.Action)) || typeof event.Test !== 'string')
+                continue;
+            const id = idOf(event.Test);
+            if (id)
+                tests.push({ id, status: status(event.Action) });
+        }
+    }
+    else if (adapter === 'cargo') {
+        for (const line of text.split(/\r?\n/)) {
+            const match = /^\s*test\s+(.+?)\s+\.\.\.\s+(ok|FAILED|ignored)\s*$/.exec(line);
+            const id = idOf(match?.[1]);
+            if (id)
+                tests.push({ id, status: status(match?.[2]) });
+        }
+    }
+    else {
+        for (const match of text.matchAll(/<testcase\b([^>]*)>([\s\S]*?)<\/testcase>|<testcase\b([^>]*)\/>/g)) {
+            const attributes = match[1] ?? match[3] ?? '';
+            const id = idOf(/\b(?:name|classname)="([^"]*)"/.exec(attributes)?.[1]);
+            if (!id)
+                continue;
+            const body = match[2] ?? '';
+            tests.push({ id, status: /<(?:error)\b/.test(body) ? 'error' : /<failure\b/.test(body) ? 'failed' : /<skipped\b/.test(body) ? 'skipped' : 'passed' });
+        }
+    }
+    const normalized = unique(tests);
+    const selected = targetTestId
+        ? { ...normalized, tests: normalized.tests.filter((test) => test.id === targetTestId) }
+        : normalized;
+    if (!selected.tests.length)
+        throw new Error(`No annotated TEST-* identities were found in the ${adapter} report.`);
+    return selected;
+}
+//# sourceMappingURL=adapters.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"adapters.js","sourceRoot":"","sources":["../../../../packages/analysis/src/adapters.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AACpC,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AACnF,OAAO,EAAE,MAAM,EAAE,MAAM,YAAY,CAAC;AAYpC,SAAS,UAAU,CAAC,WAAmB,EAAE,MAAe,EAAE,OAAqB;IAC7E,MAAM,MAAM,GAAG,OAAO,KAAK,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC;IAClD,OAAO,MAAM;QACX,CAAC,CAAC,4BAA4B,WAAW,IAAI,MAAM,GAAG,MAAM,EAAE;QAC9D,CAAC,CAAC,4BAA4B,WAAW,aAAa,MAAM,EAAE,CAAC;AACnE,CAAC;AAED,SAAS,UAAU,CAAC,MAAc;IAChC,OAAO,MAAM,CAAC,WAAW,EAAE,CAAC,UAAU,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;AACnD,CAAC;AAED,MAAM,UAAU,iBAAiB,CAC/B,OAAoB,EACpB,WAAmB,EACnB,MAAe,EACf,QAAiB;IAEjB,MAAM,IAAI,GAAG,UAAU,CAAC,WAAW,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC;IACtD,IAAI,OAAO,KAAK,QAAQ,EAAE,CAAC;QACzB,OAAO;YACL,IAAI,EAAE,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,iBAAiB,EAAE,gBAAgB,IAAI,EAAE,CAAC;YACjH,UAAU,EAAE,IAAI;YAChB,MAAM,EAAE,MAAM;SACf,CAAC;IACJ,CAAC;IACD,IAAI,OAAO,KAAK,MAAM,EAAE,CAAC;QACvB,OAAO;YACL,IAAI,EAAE,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC,kBAAkB,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,QAAQ,EAAE,gBAAgB,IAAI,EAAE,CAAC;YAC5H,UAAU,EAAE,IAAI;YAChB,MAAM,EAAE,MAAM;SACf,CAAC;IACJ,CAAC;IACD,IAAI,OAAO,KAAK,QAAQ,EAAE,CAAC;QACzB,OAAO;YACL,IAAI,EAAE,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,eAAe,EAAE,sBAAsB,IAAI,EAAE,CAAC;YACjI,UAAU,EAAE,IAAI;YAChB,MAAM,EAAE,MAAM;SACf,CAAC;IACJ,CAAC;IACD,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;QAC1B,MAAM,WAAW,GAAG,QAAQ,CAAC,CAAC,CAAC,KAAK,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC;QACvF,OAAO,EAAE,IAAI,EAAE,CAAC,MAAM,EAAE,OAAO,EAAE,WAAW,EAAE,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,EAAE,IAAI,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC;IAC/H,CAAC;IACD,IAAI,OAAO,KAAK,OAAO,EAAE,CAAC;QACxB,OAAO,EAAE,IAAI,EAAE,CAAC,MAAM,EAAE,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,QAAQ,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC;IACnI,CAAC;IACD,OAAO;QACL,IAAI,EAAE;YACJ,mBAAmB;YACnB,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,iBAAiB,MAAM,EAAE,EAAE,oBAAoB,CAAC,CAAC,CAAC,CAAC,EAAE;YAClE,iBAAiB,IAAI,EAAE;SACxB;QACD,UAAU,EAAE,IAAI;QAChB,MAAM,EAAE,WAAW;KACpB,CAAC;AACJ,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,kBAAkB,CAAC,UAA6B,EAAE,YAAoB;IAC1F,IAAI,MAAM,MAAM,CAAC,YAAY,CAAC,EAAE,CAAC;QAC/B,IAAI,UAAU,CAAC,MAAM,KAAK,WAAW;YAAE,MAAM,EAAE,CAAC,YAAY,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;;YAC9E,MAAM,MAAM,CAAC,YAAY,CAAC,CAAC;IAClC,CAAC;IACD,MAAM,KAAK,CAAC,UAAU,CAAC,MAAM,KAAK,WAAW,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,OAAO,CAAC,YAAY,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;AAC7G,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,iBAAiB,CAAC,UAA6B,EAAE,YAAoB,EAAE,MAAc;IACzG,IAAI,UAAU,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;QACnC,IAAI,MAAM,EAAE,CAAC;YACX,MAAM,KAAK,CAAC,OAAO,CAAC,YAAY,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;YACxD,MAAM,SAAS,CAAC,YAAY,EAAE,MAAM,CAAC,CAAC;YACtC,OAAO,MAAM,CAAC;QAChB,CAAC;QACD,OAAO,MAAM,MAAM,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAC5E,CAAC;IACD,IAAI,CAAC,MAAM,MAAM,CAAC,YAAY,CAAC;QAAE,OAAO,IAAI,CAAC;IAC7C,IAAI,UAAU,CAAC,MAAM,KAAK,MAAM;QAAE,OAAO,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC,CAAC;IACxE,MAAM,OAAO,GAAG,CAAC,MAAM,OAAO,CAAC,YAAY,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,CAAC;SACnE,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,EAAE,IAAI,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;SAChE,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IAChD,IAAI,CAAC,OAAO,CAAC,MAAM;QAAE,OAAO,IAAI,CAAC;IACjC,OAAO,CAAC,MAAM,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,QAAQ,CAAC,GAAG,YAAY,IAAI,KAAK,CAAC,IAAI,EAAE,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACnH,CAAC;AAED,SAAS,IAAI,CAAC,KAAc;IAC1B,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IAC3C,MAAM,KAAK,GAAG,8DAA8D,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACzF,OAAO,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,CAAC,UAAU,CAAC,GAAG,EAAE,GAAG,CAAC,IAAI,IAAI,CAAC;AAChE,CAAC;AAED,SAAS,MAAM,CAAC,KAAc;IAC5B,MAAM,UAAU,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,WAAW,EAAE,CAAC;IAC/C,IAAI,CAAC,MAAM,EAAE,QAAQ,EAAE,SAAS,EAAE,IAAI,CAAC,CAAC,QAAQ,CAAC,UAAU,CAAC;QAAE,OAAO,QAAQ,CAAC;IAC9E,IAAI,CAAC,MAAM,EAAE,SAAS,EAAE,SAAS,EAAE,MAAM,EAAE,SAAS,CAAC,CAAC,QAAQ,CAAC,UAAU,CAAC;QAAE,OAAO,SAAS,CAAC;IAC7F,IAAI,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC,QAAQ,CAAC,UAAU,CAAC;QAAE,OAAO,OAAO,CAAC;IAC9D,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,SAAS,MAAM,CAAC,KAAiC;IAC/C,MAAM,IAAI,GAAG,IAAI,GAAG,EAA8C,CAAC;IACnE,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACnC,IAAI,CAAC,QAAQ,IAAI,QAAQ,CAAC,MAAM,KAAK,SAAS,IAAI,IAAI,CAAC,MAAM,KAAK,OAAO,IAAI,IAAI,CAAC,MAAM,KAAK,QAAQ;YAAE,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;IACjI,CAAC;IACD,OAAO,EAAE,aAAa,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;AAClG,CAAC;AAED,MAAM,UAAU,sBAAsB,CAAC,OAAoB,EAAE,IAAY,EAAE,YAAqB;IAC9F,MAAM,KAAK,GAA+B,EAAE,CAAC;IAC7C,IAAI,OAAO,KAAK,QAAQ,IAAI,OAAO,KAAK,MAAM,EAAE,CAAC;QAC/C,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAA4B,CAAC;QAC1D,MAAM,MAAM,GAAG,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,CAAC;QACzE,KAAK,MAAM,KAAK,IAAI,MAAwC,EAAE,CAAC;YAC7D,MAAM,UAAU,GAAG,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAC,CAAC,EAAE,CAAC;YACvF,KAAK,MAAM,SAAS,IAAI,UAA4C,EAAE,CAAC;gBACrE,MAAM,EAAE,GAAG,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,IAAI,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;gBAC7D,IAAI,EAAE;oBAAE,KAAK,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,MAAM,EAAE,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;YAC/D,CAAC;QACH,CAAC;IACH,CAAC;SAAM,IAAI,OAAO,KAAK,QAAQ,EAAE,CAAC;QAChC,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAA4B,CAAC;QAC1D,KAAK,MAAM,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAmC,EAAE,CAAC;YACrG,MAAM,EAAE,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAChD,IAAI,EAAE;gBAAE,KAAK,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,MAAM,EAAE,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QAC3D,CAAC;IACH,CAAC;SAAM,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;QACjC,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC;YACvC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE;gBAAE,SAAS;YAC3B,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAA4B,CAAC;YAC1D,IAAI,CAAC,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,OAAO,KAAK,CAAC,IAAI,KAAK,QAAQ;gBAAE,SAAS;YACzG,MAAM,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YAC5B,IAAI,EAAE;gBAAE,KAAK,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,MAAM,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;QAC3D,CAAC;IACH,CAAC;SAAM,IAAI,OAAO,KAAK,OAAO,EAAE,CAAC;QAC/B,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC;YACvC,MAAM,KAAK,GAAG,qDAAqD,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC/E,MAAM,EAAE,GAAG,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;YAC5B,IAAI,EAAE;gBAAE,KAAK,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,MAAM,EAAE,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACzD,CAAC;IACH,CAAC;SAAM,CAAC;QACN,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,QAAQ,CAAC,kEAAkE,CAAC,EAAE,CAAC;YACtG,MAAM,UAAU,GAAG,KAAK,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;YAC9C,MAAM,EAAE,GAAG,IAAI,CAAC,gCAAgC,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;YACxE,IAAI,CAAC,EAAE;gBAAE,SAAS;YAClB,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;YAC5B,KAAK,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,MAAM,EAAE,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC;QACxJ,CAAC;IACH,CAAC;IACD,MAAM,UAAU,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC;IACjC,MAAM,QAAQ,GAAG,YAAY;QAC3B,CAAC,CAAC,EAAE,GAAG,UAAU,EAAE,KAAK,EAAE,UAAU,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,KAAK,YAAY,CAAC,EAAE;QACvF,CAAC,CAAC,UAAU,CAAC;IACf,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,MAAM;QAAE,MAAM,IAAI,KAAK,CAAC,oDAAoD,OAAO,UAAU,CAAC,CAAC;IACnH,OAAO,QAAQ,CAAC;AAClB,CAAC"}

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

@@ -0,0 +1,50 @@
+import { type Diagnostic } from '../../domain/src/index.js';
+import type { AttestationConfig } from './config.js';
+import { type Runner } from './process.js';
+export interface EvidenceAttestation {
+    schemaVersion: 1;
+    repository: string;
+    commitSha: string;
+    ci: {
+        provider: 'github' | 'azure-pipelines' | 'generic';
+        runId: string;
+    };
+    evidenceHeads: Record<string, string>;
+    issuedAt: string;
+    keyId: string;
+    githubOidc?: {
+        token: string;
+        publicKey?: string;
+    };
+    signature: string;
+}
+export interface UnsignedAttestation extends Omit<EvidenceAttestation, 'signature'> {
+}
+export type AttestationFetch = (url: string, init?: RequestInit) => Promise<{
+    ok: boolean;
+    status: number;
+    json(): Promise<unknown>;
+}>;
+export interface AttestationVerificationOptions {
+    fetch?: AttestationFetch;
+    now?: () => Date;
+}
+export type AttestationTrust = 'none' | 'static-trusted-key' | 'github-oidc-ephemeral-key' | 'github-oidc-trusted-key';
+export interface AttestationVerification {
+    present: boolean;
+    valid: boolean;
+    status: 'off' | 'unsigned-local' | 'missing' | 'verified' | 'invalid';
+    trust: AttestationTrust;
+    diagnostics: Diagnostic[];
+}
+export declare function collectEvidenceHeads(root: string): Promise<Record<string, string>>;
+export declare function createUnsignedAttestation(root: string, input: {
+    provider: EvidenceAttestation['ci']['provider'];
+    runId: string;
+    keyId: string;
+    issuedAt?: string;
+    githubOidc?: UnsignedAttestation['githubOidc'];
+}, runner?: Runner): Promise<UnsignedAttestation>;
+export declare function githubOidcAudience(audience: string, keyBinding: 'public-key' | 'key-id', keyId: string, publicKey?: string): string;
+export declare function verifyEvidenceAttestation(root: string, config: AttestationConfig, runner?: Runner, environment?: NodeJS.ProcessEnv, options?: AttestationVerificationOptions): Promise<AttestationVerification>;
+export declare function attestationSigningPayload(value: UnsignedAttestation): string;