projscan 4.14.0 → 4.15.0

package/dist/core/proofLedger.js

@@ -1,21 +1,31 @@
 import crypto from 'node:crypto';
+import { createReadStream } from 'node:fs';
 import fs from 'node:fs/promises';
 import path from 'node:path';
+import readline from 'node:readline';
 export const DEFAULT_PROOF_LEDGER_PATH = '.projscan/proof-ledger.jsonl';
 const MAX_SUMMARY_LENGTH = 240;
 const REDACTION_PATTERNS = [
+    /-----BEGIN [A-Z0-9 ]*PRIVATE KEY-----[\s\S]*?-----END [A-Z0-9 ]*PRIVATE KEY-----/g,
+    /\beyJ[A-Za-z0-9_-]{8,}\.eyJ[A-Za-z0-9_-]{8,}\.[A-Za-z0-9_-]{8,}\b/g,
+    /\bxox[baprs]-[A-Za-z0-9-]{10,}\b/g,
     /\bBearer\s+[A-Za-z0-9._~+/=-]+/gi,
-    /\b(?:sk|pk|whsec|ghp|gho|github_pat)_[A-Za-z0-9_=-]{8,}/gi,
-    /\b(password|passwd|pwd|token|secret|api[_-]?key)\s*[:=]\s*["']?[^"'\s,;]+/gi,
-    /\b(--?(?:password|passwd|pwd|token|secret|api[_-]?key))\s+[^"'\s,;]+/gi,
-    /\b[A-Za-z_][A-Za-z0-9_]*\.env\s*[:=]\s*[^"'\s,;]+/gi,
+    /\b(?:sk|pk|whsec|ghp|gho|github_pat)[_-][A-Za-z0-9_=-]{8,}/gi,
+    /\b[A-Z0-9_]*(?:TOKEN|SECRET|PASSWORD|PASSWD|PWD|API[_-]?KEY|ACCESS[_-]?KEY|PRIVATE[_-]?KEY)[A-Z0-9_]*\s*=\s*(?:"[^"]*"|'[^']*'|[^"'\s,;]+)/gi,
+    /\b(password|passwd|pwd|token|secret|api[_-]?key)\s*[:=]\s*(?:"[^"]*"|'[^']*'|[^"'\s,;]+)/gi,
+    /(--?(?:password|passwd|pwd|token|secret|api[_-]?key))\s+(?:"[^"]*"|'[^']*'|[^"'\s,;]+)/gi,
+    /\b[A-Za-z_][A-Za-z0-9_]*\.env\s*[:=]\s*(?:"[^"]*"|'[^']*'|[^"'\s,;]+)/gi,
 ];
 export function normalizeProofCommand(command) {
     return command.trim().replace(/\s+/g, ' ');
 }
-export function changedFileFingerprint(files) {
+export function redactProofCommand(command) {
+    return redactProofOutput(command);
+}
+export async function changedFileFingerprint(rootPath, files) {
     const normalized = [...new Set(files.map(normalizePath).filter(Boolean))].sort();
-    return crypto.createHash('sha256').update(normalized.join('\n')).digest('hex');
+    const entries = await Promise.all(normalized.map((file) => changedFileFingerprintEntry(rootPath, file)));
+    return crypto.createHash('sha256').update(entries.join('\n')).digest('hex');
 }
 export function redactProofSummary(value) {
     let summary = redactProofOutput(value ?? '').replace(/\s+/g, ' ').trim();
@@ -41,25 +51,26 @@ export async function appendProofLedgerRecord(rootPath, ledgerPath, input) {
         ? new Date(completedMs - durationMs).toISOString()
         : completedAt;
     const changedFiles = [...new Set(input.changedFiles.map(normalizePath).filter(Boolean))].sort();
+    const command = redactProofCommand(input.command);
     const record = {
         schemaVersion: 1,
-        id: proofRecordId(input.command, completedAt, input.exitCode),
-        command: input.command,
-        normalizedCommand: normalizeProofCommand(input.command),
+        id: proofRecordId(command, completedAt, input.exitCode),
+        command,
+        normalizedCommand: normalizeProofCommand(command),
         cwd: normalizePath(input.cwd ?? '.'),
         exitCode: input.exitCode,
         status: input.exitCode === 0 ? 'passed' : 'failed',
         startedAt,
         completedAt,
         durationMs,
-        changedFileFingerprint: changedFileFingerprint(changedFiles),
+        changedFileFingerprint: await changedFileFingerprint(rootPath, changedFiles),
         changedFiles,
         outputSummary: redactProofSummary(input.outputSummary),
         source: input.source ?? 'prove-record',
-        ...(input.logPath ? { logPath: normalizePath(input.logPath) } : {}),
+        ...(input.logPath ? { logPath: normalizeProofLogPath(input.logPath) } : {}),
     };
     const fullPath = resolveProofLedgerPath(rootPath, ledgerPath);
-    await fs.mkdir(path.dirname(fullPath), { recursive: true });
+    await prepareProofArtifactWritePath(rootPath, fullPath);
     await fs.appendFile(fullPath, `${JSON.stringify(record)}\n`, 'utf-8');
     return record;
 }
@@ -67,6 +78,7 @@ export async function readProofLedger(rootPath, ledgerPath) {
     const fullPath = resolveProofLedgerPath(rootPath, ledgerPath);
     let raw;
     try {
+        await prepareProofArtifactReadPath(rootPath, fullPath);
         raw = await fs.readFile(fullPath, 'utf-8');
     }
     catch (error) {
@@ -79,6 +91,41 @@ export async function readProofLedger(rootPath, ledgerPath) {
         .map(parseProofLedgerRow)
         .filter((record) => Boolean(record));
 }
+export async function readLatestProofLedgerRecords(rootPath, ledgerPath, commands) {
+    const normalizedCommands = uniqueNormalizedCommands(commands);
+    if (normalizedCommands.length === 0)
+        return [];
+    const fullPath = resolveProofLedgerPath(rootPath, ledgerPath);
+    const latestByCommand = new Map();
+    let stream;
+    try {
+        await prepareProofArtifactReadPath(rootPath, fullPath);
+        await fs.access(fullPath);
+        stream = createReadStream(fullPath, { encoding: 'utf-8' });
+    }
+    catch (error) {
+        if (isNodeErrorCode(error, 'ENOENT'))
+            return [];
+        throw error;
+    }
+    const lines = readline.createInterface({
+        input: stream,
+        crlfDelay: Infinity,
+    });
+    const requested = new Set(normalizedCommands);
+    for await (const line of lines) {
+        const record = parseProofLedgerRow(line);
+        if (!record || !requested.has(record.normalizedCommand))
+            continue;
+        const latest = latestByCommand.get(record.normalizedCommand);
+        if (!latest || record.completedAt.localeCompare(latest.completedAt) >= 0) {
+            latestByCommand.set(record.normalizedCommand, record);
+        }
+    }
+    return normalizedCommands
+        .map((command) => latestByCommand.get(command))
+        .filter((record) => Boolean(record));
+}
 export function latestProofRecordFor(records, command) {
     const normalized = normalizeProofCommand(command);
     let latest;
@@ -90,6 +137,28 @@ export function latestProofRecordFor(records, command) {
     }
     return latest;
 }
+export async function prepareProofArtifactWritePath(rootPath, fullPath) {
+    const root = path.resolve(rootPath);
+    const target = path.resolve(fullPath);
+    const relative = path.relative(root, target);
+    if (!relative || relative.startsWith('..') || path.isAbsolute(relative)) {
+        throw new Error('Proof artifact path must stay inside the project root.');
+    }
+    const parent = path.dirname(target);
+    await assertNoSymlinkInExistingPath(root, parent);
+    await fs.mkdir(parent, { recursive: true });
+    await assertNoSymlinkInExistingPath(root, parent);
+    await assertPathIsNotSymlink(target);
+}
+export async function prepareProofArtifactReadPath(rootPath, fullPath) {
+    const root = path.resolve(rootPath);
+    const target = path.resolve(fullPath);
+    const relative = path.relative(root, target);
+    if (!relative || relative.startsWith('..') || path.isAbsolute(relative)) {
+        throw new Error('Proof artifact path must stay inside the project root.');
+    }
+    await assertNoSymlinkInExistingPath(root, target);
+}
 function proofRecordId(command, completedAt, exitCode) {
     const digest = crypto
         .createHash('sha256')
@@ -106,8 +175,80 @@ function resolveProofLedgerPath(rootPath, ledgerPath) {
     if (!relative || relative.startsWith('..') || path.isAbsolute(relative)) {
         throw new Error('Proof ledger path must stay inside the project root.');
     }
+    const normalizedRequested = normalizePath(relative);
+    if (normalizedRequested !== DEFAULT_PROOF_LEDGER_PATH &&
+        !/^\.projscan\/proof-ledgers\/[^/]+\.jsonl$/.test(normalizedRequested)) {
+        throw new Error('Proof ledger path must be .projscan/proof-ledger.jsonl or .projscan/proof-ledgers/<name>.jsonl.');
+    }
+    return fullPath;
+}
+async function changedFileFingerprintEntry(rootPath, file) {
+    const fullPath = resolvePathInsideRoot(rootPath, file);
+    if (!fullPath)
+        return `${file}\0outside-root`;
+    try {
+        const stat = await fs.lstat(fullPath);
+        if (stat.isSymbolicLink()) {
+            const linkTarget = await fs.readlink(fullPath);
+            const digest = crypto.createHash('sha256').update(linkTarget).digest('hex');
+            return `${file}\0symlink\0${digest}`;
+        }
+        if (!stat.isFile())
+            return `${file}\0${stat.isDirectory() ? 'directory' : 'non-file'}`;
+        const digest = crypto.createHash('sha256').update(await fs.readFile(fullPath)).digest('hex');
+        return `${file}\0file\0${digest}`;
+    }
+    catch (error) {
+        if (isNodeErrorCode(error, 'ENOENT'))
+            return `${file}\0missing`;
+        throw error;
+    }
+}
+function resolvePathInsideRoot(rootPath, file) {
+    const root = path.resolve(rootPath);
+    const fullPath = path.resolve(root, file);
+    const relative = path.relative(root, fullPath);
+    if (!relative || relative.startsWith('..') || path.isAbsolute(relative))
+        return null;
     return fullPath;
 }
+function normalizeProofLogPath(logPath) {
+    const normalized = normalizePath(logPath);
+    if (!/^\.projscan\/proof-logs\/[^/]+\.log$/.test(normalized)) {
+        throw new Error('Proof log path must stay under .projscan/proof-logs/ and end with .log.');
+    }
+    return normalized;
+}
+async function assertNoSymlinkInExistingPath(root, target) {
+    const relative = path.relative(root, target);
+    const segments = relative.split(path.sep).filter(Boolean);
+    let current = root;
+    for (const segment of segments) {
+        current = path.join(current, segment);
+        try {
+            const stat = await fs.lstat(current);
+            if (stat.isSymbolicLink())
+                throw new Error('Proof artifact paths must not contain symlinks.');
+        }
+        catch (error) {
+            if (isNodeErrorCode(error, 'ENOENT'))
+                return;
+            throw error;
+        }
+    }
+}
+async function assertPathIsNotSymlink(target) {
+    try {
+        const stat = await fs.lstat(target);
+        if (stat.isSymbolicLink())
+            throw new Error('Proof artifact paths must not contain symlinks.');
+    }
+    catch (error) {
+        if (isNodeErrorCode(error, 'ENOENT'))
+            return;
+        throw error;
+    }
+}
 function parseProofLedgerRow(line) {
     const trimmed = line.trim();
     if (!trimmed)
@@ -127,12 +268,20 @@ function isProofLedgerRecord(value) {
         typeof value.normalizedCommand === 'string' &&
         typeof value.exitCode === 'number');
 }
+function uniqueNormalizedCommands(commands) {
+    return [...new Set(commands.map(normalizeProofCommand).filter(Boolean))];
+}
 function normalizePath(value) {
     return value.split(path.sep).join('/').replace(/^\.\//, '');
 }
 function redactionReplacement(_match, ...args) {
     const captures = args.slice(0, -2);
     const label = captures.find((value) => typeof value === 'string' && value.length > 0);
+    if (!label) {
+        const assignment = /^([A-Za-z0-9_-]*(?:TOKEN|SECRET|PASSWORD|PASSWD|PWD|API[_-]?KEY|ACCESS[_-]?KEY|PRIVATE[_-]?KEY)[A-Za-z0-9_-]*)\s*[:=]/i.exec(_match);
+        if (assignment?.[1])
+            return `${assignment[1]}=[redacted]`;
+    }
     return label ? `${label}=[redacted]` : '[redacted]';
 }
 function isNodeErrorCode(error, code) {

package/dist/core/proofLedger.js.map

@@ -1 +1 @@
-{"version":3,"file":"proofLedger.js","sourceRoot":"","sources":["../../src/core/proofLedger.ts"],"names":[],"mappings":"AAAA,OAAO,MAAM,MAAM,aAAa,CAAC;AACjC,OAAO,EAAE,MAAM,kBAAkB,CAAC;AAClC,OAAO,IAAI,MAAM,WAAW,CAAC;AAI7B,MAAM,CAAC,MAAM,yBAAyB,GAAG,8BAA8B,CAAC;AAExE,MAAM,kBAAkB,GAAG,GAAG,CAAC;AAC/B,MAAM,kBAAkB,GAAG;IACzB,kCAAkC;IAClC,2DAA2D;IAC3D,6EAA6E;IAC7E,wEAAwE;IACxE,qDAAqD;CACtD,CAAC;AAEF,MAAM,UAAU,qBAAqB,CAAC,OAAe;IACnD,OAAO,OAAO,CAAC,IAAI,EAAE,CAAC,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;AAC7C,CAAC;AAED,MAAM,UAAU,sBAAsB,CAAC,KAAe;IACpD,MAAM,UAAU,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IACjF,OAAO,MAAM,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AACjF,CAAC;AAED,MAAM,UAAU,kBAAkB,CAAC,KAAyB;IAC1D,IAAI,OAAO,GAAG,iBAAiB,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;IACzE,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,GAAG,mCAAmC,CAAC;IACxE,IAAI,OAAO,CAAC,MAAM,GAAG,kBAAkB,EAAE,CAAC;QACxC,OAAO,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,kBAAkB,GAAG,CAAC,CAAC,KAAK,CAAC;IAC1D,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,MAAM,UAAU,iBAAiB,CAAC,KAAa;IAC7C,IAAI,MAAM,GAAG,KAAK,CAAC;IACnB,KAAK,MAAM,OAAO,IAAI,kBAAkB,EAAE,CAAC;QACzC,MAAM,GAAG,MAAM,CAAC,OAAO,CAAC,OAAO,EAAE,oBAAoB,CAAC,CAAC;IACzD,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,uBAAuB,CAC3C,QAAgB,EAChB,UAA8B,EAC9B,KAA4B;IAE5B,MAAM,WAAW,GAAG,KAAK,CAAC,WAAW,IAAI,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;IAClE,MAAM,UAAU,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC;IAC7D,MAAM,WAAW,GAAG,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;IAC5C,MAAM,SAAS,GAAG,MAAM,CAAC,QAAQ,CAAC,WAAW,CAAC;QAC5C,CAAC,CAAC,IAAI,IAAI,CAAC,WAAW,GAAG,UAAU,CAAC,CAAC,WAAW,EAAE;QAClD,CAAC,CAAC,WAAW,CAAC;IAChB,MAAM,YAAY,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,YAAY,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IAChG,MAAM,MAAM,GAAsB;QAChC,aAAa,EAAE,CAAC;QAChB,EAAE,EAAE,aAAa,CAAC,KAAK,CAAC,OAAO,EAAE,WAAW,EAAE,KAAK,CAAC,QAAQ,CAAC;QAC7D,OAAO,EAAE,KAAK,CAAC,OAAO;QACtB,iBAAiB,EAAE,qBAAqB,CAAC,KAAK,CAAC,OAAO,CAAC;QACvD,GAAG,EAAE,aAAa,CAAC,KAAK,CAAC,GAAG,IAAI,GAAG,CAAC;QACpC,QAAQ,EAAE,KAAK,CAAC,QAAQ;QACxB,MAAM,EAAE,KAAK,CAAC,QAAQ,KAAK,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ;QAClD,SAAS;QACT,WAAW;QACX,UAAU;QACV,sBAAsB,EAAE,sBAAsB,CAAC,YAAY,CAAC;QAC5D,YAAY;QACZ,aAAa,EAAE,kBAAkB,CAAC,KAAK,CAAC,aAAa,CAAC;QACtD,MAAM,EAAE,KAAK,CAAC,MAAM,IAAI,cAAc;QACtC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,aAAa,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KACpE,CAAC;IAEF,MAAM,QAAQ,GAAG,sBAAsB,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC;IAC9D,MAAM,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IAC5D,MAAM,EAAE,CAAC,UAAU,CAAC,QAAQ,EAAE,GAAG,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACtE,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,eAAe,CACnC,QAAgB,EAChB,UAA8B;IAE9B,MAAM,QAAQ,GAAG,sBAAsB,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC;IAC9D,IAAI,GAAW,CAAC;IAChB,IAAI,CAAC;QACH,GAAG,GAAG,MAAM,EAAE,CAAC,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;IAC7C,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,IAAI,eAAe,CAAC,KAAK,EAAE,QAAQ,CAAC;YAAE,OAAO,EAAE,CAAC;QAChD,MAAM,KAAK,CAAC;IACd,CAAC;IACD,OAAO,GAAG;SACP,KAAK,CAAC,IAAI,CAAC;SACX,GAAG,CAAC,mBAAmB,CAAC;SACxB,MAAM,CAAC,CAAC,MAAM,EAA+B,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC;AACtE,CAAC;AAED,MAAM,UAAU,oBAAoB,CAClC,OAA4B,EAC5B,OAAe;IAEf,MAAM,UAAU,GAAG,qBAAqB,CAAC,OAAO,CAAC,CAAC;IAClD,IAAI,MAAqC,CAAC;IAC1C,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,IAAI,MAAM,CAAC,iBAAiB,KAAK,UAAU;YAAE,SAAS;QACtD,IAAI,CAAC,MAAM,IAAI,MAAM,CAAC,WAAW,CAAC,aAAa,CAAC,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC;YAAE,MAAM,GAAG,MAAM,CAAC;IAC5F,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,aAAa,CAAC,OAAe,EAAE,WAAmB,EAAE,QAAgB;IAC3E,MAAM,MAAM,GAAG,MAAM;SAClB,UAAU,CAAC,QAAQ,CAAC;SACpB,MAAM,CAAC,GAAG,qBAAqB,CAAC,OAAO,CAAC,KAAK,WAAW,KAAK,QAAQ,EAAE,CAAC;SACxE,MAAM,CAAC,KAAK,CAAC;SACb,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IAChB,OAAO,gBAAgB,MAAM,EAAE,CAAC;AAClC,CAAC;AAED,SAAS,sBAAsB,CAAC,QAAgB,EAAE,UAA8B;IAC9E,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;IACpC,MAAM,SAAS,GAAG,UAAU,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,yBAAyB,CAAC;IAC9E,MAAM,QAAQ,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;IAC/C,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;IAC/C,IAAI,CAAC,QAAQ,IAAI,QAAQ,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,CAAC;QACxE,MAAM,IAAI,KAAK,CAAC,sDAAsD,CAAC,CAAC;IAC1E,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,SAAS,mBAAmB,CAAC,IAAY;IACvC,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;IAC5B,IAAI,CAAC,OAAO;QAAE,OAAO,SAAS,CAAC;IAC/B,IAAI,CAAC;QACH,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,CAA+B,CAAC;QACjE,OAAO,mBAAmB,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC;IAC1D,CAAC;IAAC,MAAM,CAAC;QACP,+EAA+E;QAC/E,OAAO,SAAS,CAAC;IACnB,CAAC;AACH,CAAC;AAED,SAAS,mBAAmB,CAAC,KAAiC;IAC5D,OAAO,CACL,KAAK,CAAC,aAAa,KAAK,CAAC;QACzB,OAAO,KAAK,CAAC,OAAO,KAAK,QAAQ;QACjC,OAAO,KAAK,CAAC,iBAAiB,KAAK,QAAQ;QAC3C,OAAO,KAAK,CAAC,QAAQ,KAAK,QAAQ,CACnC,CAAC;AACJ,CAAC;AAED,SAAS,aAAa,CAAC,KAAa;IAClC,OAAO,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;AAC9D,CAAC;AAED,SAAS,oBAAoB,CAAC,MAAc,EAAE,GAAG,IAAe;IAC9D,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACnC,MAAM,KAAK,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,KAAK,EAAmB,EAAE,CAAC,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IACvG,OAAO,KAAK,CAAC,CAAC,CAAC,GAAG,KAAK,aAAa,CAAC,CAAC,CAAC,YAAY,CAAC;AACtD,CAAC;AAED,SAAS,eAAe,CAAC,KAAc,EAAE,IAAY;IACnD,OAAO,CACL,OAAO,KAAK,KAAK,QAAQ;QACzB,KAAK,KAAK,IAAI;QACd,MAAM,IAAI,KAAK;QACd,KAA4B,CAAC,IAAI,KAAK,IAAI,CAC5C,CAAC;AACJ,CAAC"}
+{"version":3,"file":"proofLedger.js","sourceRoot":"","sources":["../../src/core/proofLedger.ts"],"names":[],"mappings":"AAAA,OAAO,MAAM,MAAM,aAAa,CAAC;AACjC,OAAO,EAAE,gBAAgB,EAAE,MAAM,SAAS,CAAC;AAC3C,OAAO,EAAE,MAAM,kBAAkB,CAAC;AAClC,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,QAAQ,MAAM,eAAe,CAAC;AAIrC,MAAM,CAAC,MAAM,yBAAyB,GAAG,8BAA8B,CAAC;AAExE,MAAM,kBAAkB,GAAG,GAAG,CAAC;AAC/B,MAAM,kBAAkB,GAAG;IACzB,mFAAmF;IACnF,oEAAoE;IACpE,mCAAmC;IACnC,kCAAkC;IAClC,8DAA8D;IAC9D,8IAA8I;IAC9I,4FAA4F;IAC5F,0FAA0F;IAC1F,yEAAyE;CAC1E,CAAC;AAEF,MAAM,UAAU,qBAAqB,CAAC,OAAe;IACnD,OAAO,OAAO,CAAC,IAAI,EAAE,CAAC,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;AAC7C,CAAC;AAED,MAAM,UAAU,kBAAkB,CAAC,OAAe;IAChD,OAAO,iBAAiB,CAAC,OAAO,CAAC,CAAC;AACpC,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,sBAAsB,CAAC,QAAgB,EAAE,KAAe;IAC5E,MAAM,UAAU,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IACjF,MAAM,OAAO,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,2BAA2B,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;IACzG,OAAO,MAAM,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AAC9E,CAAC;AAED,MAAM,UAAU,kBAAkB,CAAC,KAAyB;IAC1D,IAAI,OAAO,GAAG,iBAAiB,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;IACzE,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,GAAG,mCAAmC,CAAC;IACxE,IAAI,OAAO,CAAC,MAAM,GAAG,kBAAkB,EAAE,CAAC;QACxC,OAAO,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,kBAAkB,GAAG,CAAC,CAAC,KAAK,CAAC;IAC1D,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,MAAM,UAAU,iBAAiB,CAAC,KAAa;IAC7C,IAAI,MAAM,GAAG,KAAK,CAAC;IACnB,KAAK,MAAM,OAAO,IAAI,kBAAkB,EAAE,CAAC;QACzC,MAAM,GAAG,MAAM,CAAC,OAAO,CAAC,OAAO,EAAE,oBAAoB,CAAC,CAAC;IACzD,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,uBAAuB,CAC3C,QAAgB,EAChB,UAA8B,EAC9B,KAA4B;IAE5B,MAAM,WAAW,GAAG,KAAK,CAAC,WAAW,IAAI,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;IAClE,MAAM,UAAU,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC;IAC7D,MAAM,WAAW,GAAG,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;IAC5C,MAAM,SAAS,GAAG,MAAM,CAAC,QAAQ,CAAC,WAAW,CAAC;QAC5C,CAAC,CAAC,IAAI,IAAI,CAAC,WAAW,GAAG,UAAU,CAAC,CAAC,WAAW,EAAE;QAClD,CAAC,CAAC,WAAW,CAAC;IAChB,MAAM,YAAY,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,YAAY,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IAChG,MAAM,OAAO,GAAG,kBAAkB,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IAClD,MAAM,MAAM,GAAsB;QAChC,aAAa,EAAE,CAAC;QAChB,EAAE,EAAE,aAAa,CAAC,OAAO,EAAE,WAAW,EAAE,KAAK,CAAC,QAAQ,CAAC;QACvD,OAAO;QACP,iBAAiB,EAAE,qBAAqB,CAAC,OAAO,CAAC;QACjD,GAAG,EAAE,aAAa,CAAC,KAAK,CAAC,GAAG,IAAI,GAAG,CAAC;QACpC,QAAQ,EAAE,KAAK,CAAC,QAAQ;QACxB,MAAM,EAAE,KAAK,CAAC,QAAQ,KAAK,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ;QAClD,SAAS;QACT,WAAW;QACX,UAAU;QACV,sBAAsB,EAAE,MAAM,sBAAsB,CAAC,QAAQ,EAAE,YAAY,CAAC;QAC5E,YAAY;QACZ,aAAa,EAAE,kBAAkB,CAAC,KAAK,CAAC,aAAa,CAAC;QACtD,MAAM,EAAE,KAAK,CAAC,MAAM,IAAI,cAAc;QACtC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,qBAAqB,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAC5E,CAAC;IAEF,MAAM,QAAQ,GAAG,sBAAsB,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC;IAC9D,MAAM,6BAA6B,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC;IACxD,MAAM,EAAE,CAAC,UAAU,CAAC,QAAQ,EAAE,GAAG,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACtE,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,eAAe,CACnC,QAAgB,EAChB,UAA8B;IAE9B,MAAM,QAAQ,GAAG,sBAAsB,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC;IAC9D,IAAI,GAAW,CAAC;IAChB,IAAI,CAAC;QACH,MAAM,4BAA4B,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC;QACvD,GAAG,GAAG,MAAM,EAAE,CAAC,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;IAC7C,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,IAAI,eAAe,CAAC,KAAK,EAAE,QAAQ,CAAC;YAAE,OAAO,EAAE,CAAC;QAChD,MAAM,KAAK,CAAC;IACd,CAAC;IACD,OAAO,GAAG;SACP,KAAK,CAAC,IAAI,CAAC;SACX,GAAG,CAAC,mBAAmB,CAAC;SACxB,MAAM,CAAC,CAAC,MAAM,EAA+B,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC;AACtE,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,4BAA4B,CAChD,QAAgB,EAChB,UAA8B,EAC9B,QAAkB;IAElB,MAAM,kBAAkB,GAAG,wBAAwB,CAAC,QAAQ,CAAC,CAAC;IAC9D,IAAI,kBAAkB,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IAE/C,MAAM,QAAQ,GAAG,sBAAsB,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC;IAC9D,MAAM,eAAe,GAAG,IAAI,GAAG,EAA6B,CAAC;IAC7D,IAAI,MAA2C,CAAC;IAChD,IAAI,CAAC;QACH,MAAM,4BAA4B,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC;QACvD,MAAM,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;QAC1B,MAAM,GAAG,gBAAgB,CAAC,QAAQ,EAAE,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAC,CAAC;IAC7D,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,IAAI,eAAe,CAAC,KAAK,EAAE,QAAQ,CAAC;YAAE,OAAO,EAAE,CAAC;QAChD,MAAM,KAAK,CAAC;IACd,CAAC;IAED,MAAM,KAAK,GAAG,QAAQ,CAAC,eAAe,CAAC;QACrC,KAAK,EAAE,MAAM;QACb,SAAS,EAAE,QAAQ;KACpB,CAAC,CAAC;IACH,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,kBAAkB,CAAC,CAAC;IAC9C,IAAI,KAAK,EAAE,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QAC/B,MAAM,MAAM,GAAG,mBAAmB,CAAC,IAAI,CAAC,CAAC;QACzC,IAAI,CAAC,MAAM,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,iBAAiB,CAAC;YAAE,SAAS;QAClE,MAAM,MAAM,GAAG,eAAe,CAAC,GAAG,CAAC,MAAM,CAAC,iBAAiB,CAAC,CAAC;QAC7D,IAAI,CAAC,MAAM,IAAI,MAAM,CAAC,WAAW,CAAC,aAAa,CAAC,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,CAAC;YACzE,eAAe,CAAC,GAAG,CAAC,MAAM,CAAC,iBAAiB,EAAE,MAAM,CAAC,CAAC;QACxD,CAAC;IACH,CAAC;IAED,OAAO,kBAAkB;SACtB,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,eAAe,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;SAC9C,MAAM,CAAC,CAAC,MAAM,EAA+B,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC;AACtE,CAAC;AAED,MAAM,UAAU,oBAAoB,CAClC,OAA4B,EAC5B,OAAe;IAEf,MAAM,UAAU,GAAG,qBAAqB,CAAC,OAAO,CAAC,CAAC;IAClD,IAAI,MAAqC,CAAC;IAC1C,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,IAAI,MAAM,CAAC,iBAAiB,KAAK,UAAU;YAAE,SAAS;QACtD,IAAI,CAAC,MAAM,IAAI,MAAM,CAAC,WAAW,CAAC,aAAa,CAAC,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC;YAAE,MAAM,GAAG,MAAM,CAAC;IAC5F,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,6BAA6B,CACjD,QAAgB,EAChB,QAAgB;IAEhB,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;IACpC,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;IACtC,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IAC7C,IAAI,CAAC,QAAQ,IAAI,QAAQ,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,CAAC;QACxE,MAAM,IAAI,KAAK,CAAC,wDAAwD,CAAC,CAAC;IAC5E,CAAC;IACD,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;IACpC,MAAM,6BAA6B,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IAClD,MAAM,EAAE,CAAC,KAAK,CAAC,MAAM,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IAC5C,MAAM,6BAA6B,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IAClD,MAAM,sBAAsB,CAAC,MAAM,CAAC,CAAC;AACvC,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,4BAA4B,CAChD,QAAgB,EAChB,QAAgB;IAEhB,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;IACpC,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;IACtC,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IAC7C,IAAI,CAAC,QAAQ,IAAI,QAAQ,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,CAAC;QACxE,MAAM,IAAI,KAAK,CAAC,wDAAwD,CAAC,CAAC;IAC5E,CAAC;IACD,MAAM,6BAA6B,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;AACpD,CAAC;AAED,SAAS,aAAa,CAAC,OAAe,EAAE,WAAmB,EAAE,QAAgB;IAC3E,MAAM,MAAM,GAAG,MAAM;SAClB,UAAU,CAAC,QAAQ,CAAC;SACpB,MAAM,CAAC,GAAG,qBAAqB,CAAC,OAAO,CAAC,KAAK,WAAW,KAAK,QAAQ,EAAE,CAAC;SACxE,MAAM,CAAC,KAAK,CAAC;SACb,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IAChB,OAAO,gBAAgB,MAAM,EAAE,CAAC;AAClC,CAAC;AAED,SAAS,sBAAsB,CAAC,QAAgB,EAAE,UAA8B;IAC9E,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;IACpC,MAAM,SAAS,GAAG,UAAU,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,yBAAyB,CAAC;IAC9E,MAAM,QAAQ,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;IAC/C,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;IAC/C,IAAI,CAAC,QAAQ,IAAI,QAAQ,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,CAAC;QACxE,MAAM,IAAI,KAAK,CAAC,sDAAsD,CAAC,CAAC;IAC1E,CAAC;IACD,MAAM,mBAAmB,GAAG,aAAa,CAAC,QAAQ,CAAC,CAAC;IACpD,IACE,mBAAmB,KAAK,yBAAyB;QACjD,CAAC,2CAA2C,CAAC,IAAI,CAAC,mBAAmB,CAAC,EACtE,CAAC;QACD,MAAM,IAAI,KAAK,CAAC,iGAAiG,CAAC,CAAC;IACrH,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,KAAK,UAAU,2BAA2B,CAAC,QAAgB,EAAE,IAAY;IACvE,MAAM,QAAQ,GAAG,qBAAqB,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;IACvD,IAAI,CAAC,QAAQ;QAAE,OAAO,GAAG,IAAI,gBAAgB,CAAC;IAC9C,IAAI,CAAC;QACH,MAAM,IAAI,GAAG,MAAM,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;QACtC,IAAI,IAAI,CAAC,cAAc,EAAE,EAAE,CAAC;YAC1B,MAAM,UAAU,GAAG,MAAM,EAAE,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;YAC/C,MAAM,MAAM,GAAG,MAAM,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;YAC5E,OAAO,GAAG,IAAI,cAAc,MAAM,EAAE,CAAC;QACvC,CAAC;QACD,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE;YAAE,OAAO,GAAG,IAAI,KAAK,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,UAAU,EAAE,CAAC;QACvF,MAAM,MAAM,GAAG,MAAM,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QAC7F,OAAO,GAAG,IAAI,WAAW,MAAM,EAAE,CAAC;IACpC,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,IAAI,eAAe,CAAC,KAAK,EAAE,QAAQ,CAAC;YAAE,OAAO,GAAG,IAAI,WAAW,CAAC;QAChE,MAAM,KAAK,CAAC;IACd,CAAC;AACH,CAAC;AAED,SAAS,qBAAqB,CAAC,QAAgB,EAAE,IAAY;IAC3D,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;IACpC,MAAM,QAAQ,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IAC1C,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;IAC/C,IAAI,CAAC,QAAQ,IAAI,QAAQ,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC;QAAE,OAAO,IAAI,CAAC;IACrF,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,SAAS,qBAAqB,CAAC,OAAe;IAC5C,MAAM,UAAU,GAAG,aAAa,CAAC,OAAO,CAAC,CAAC;IAC1C,IAAI,CAAC,sCAAsC,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC;QAC7D,MAAM,IAAI,KAAK,CAAC,yEAAyE,CAAC,CAAC;IAC7F,CAAC;IACD,OAAO,UAAU,CAAC;AACpB,CAAC;AAED,KAAK,UAAU,6BAA6B,CAAC,IAAY,EAAE,MAAc;IACvE,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IAC7C,MAAM,QAAQ,GAAG,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;IAC1D,IAAI,OAAO,GAAG,IAAI,CAAC;IACnB,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;QAC/B,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;QACtC,IAAI,CAAC;YACH,MAAM,IAAI,GAAG,MAAM,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;YACrC,IAAI,IAAI,CAAC,cAAc,EAAE;gBAAE,MAAM,IAAI,KAAK,CAAC,iDAAiD,CAAC,CAAC;QAChG,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,IAAI,eAAe,CAAC,KAAK,EAAE,QAAQ,CAAC;gBAAE,OAAO;YAC7C,MAAM,KAAK,CAAC;QACd,CAAC;IACH,CAAC;AACH,CAAC;AAED,KAAK,UAAU,sBAAsB,CAAC,MAAc;IAClD,IAAI,CAAC;QACH,MAAM,IAAI,GAAG,MAAM,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;QACpC,IAAI,IAAI,CAAC,cAAc,EAAE;YAAE,MAAM,IAAI,KAAK,CAAC,iDAAiD,CAAC,CAAC;IAChG,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,IAAI,eAAe,CAAC,KAAK,EAAE,QAAQ,CAAC;YAAE,OAAO;QAC7C,MAAM,KAAK,CAAC;IACd,CAAC;AACH,CAAC;AAED,SAAS,mBAAmB,CAAC,IAAY;IACvC,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;IAC5B,IAAI,CAAC,OAAO;QAAE,OAAO,SAAS,CAAC;IAC/B,IAAI,CAAC;QACH,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,CAA+B,CAAC;QACjE,OAAO,mBAAmB,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC;IAC1D,CAAC;IAAC,MAAM,CAAC;QACP,+EAA+E;QAC/E,OAAO,SAAS,CAAC;IACnB,CAAC;AACH,CAAC;AAED,SAAS,mBAAmB,CAAC,KAAiC;IAC5D,OAAO,CACL,KAAK,CAAC,aAAa,KAAK,CAAC;QACzB,OAAO,KAAK,CAAC,OAAO,KAAK,QAAQ;QACjC,OAAO,KAAK,CAAC,iBAAiB,KAAK,QAAQ;QAC3C,OAAO,KAAK,CAAC,QAAQ,KAAK,QAAQ,CACnC,CAAC;AACJ,CAAC;AAED,SAAS,wBAAwB,CAAC,QAAkB;IAClD,OAAO,CAAC,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,qBAAqB,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;AAC3E,CAAC;AAED,SAAS,aAAa,CAAC,KAAa;IAClC,OAAO,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;AAC9D,CAAC;AAED,SAAS,oBAAoB,CAAC,MAAc,EAAE,GAAG,IAAe;IAC9D,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACnC,MAAM,KAAK,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,KAAK,EAAmB,EAAE,CAAC,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IACvG,IAAI,CAAC,KAAK,EAAE,CAAC;QACX,MAAM,UAAU,GAAG,wHAAwH,CAAC,IAAI,CAC9I,MAAM,CACP,CAAC;QACF,IAAI,UAAU,EAAE,CAAC,CAAC,CAAC;YAAE,OAAO,GAAG,UAAU,CAAC,CAAC,CAAC,aAAa,CAAC;IAC5D,CAAC;IACD,OAAO,KAAK,CAAC,CAAC,CAAC,GAAG,KAAK,aAAa,CAAC,CAAC,CAAC,YAAY,CAAC;AACtD,CAAC;AAED,SAAS,eAAe,CAAC,KAAc,EAAE,IAAY;IACnD,OAAO,CACL,OAAO,KAAK,KAAK,QAAQ;QACzB,KAAK,KAAK,IAAI;QACd,MAAM,IAAI,KAAK;QACd,KAA4B,CAAC,IAAI,KAAK,IAAI,CAC5C,CAAC;AACJ,CAAC"}

package/dist/core/proofReplay.d.ts

@@ -0,0 +1,9 @@
+import type { ProveProofReplay, ProveProofSufficiency, ProveReceipt, ProveReviewerDecision, ProveRiskDeltaDirection } from '../types/prove.js';
+export declare function buildProofReplay(input: {
+    scope: ProveReceipt['scope'];
+    proofStatus: ProveReceipt['proofStatus'];
+    proofSufficiency: ProveProofSufficiency;
+    riskDeltaDirection: ProveRiskDeltaDirection;
+    reviewerDecision: ProveReviewerDecision;
+    replayCommand: string;
+}): ProveProofReplay;

package/dist/core/proofReplay.js

@@ -0,0 +1,164 @@
+import crypto from 'node:crypto';
+import { proofRelevantChangedFiles } from './proofSufficiency.js';
+export function buildProofReplay(input) {
+    const currentChangedFiles = proofRelevantChangedFiles(input.scope.changedFiles);
+    const changedAfterProof = changedAfterProofForCommands(currentChangedFiles, input.proofStatus.commandEvidence);
+    const status = proofReplayStatus({
+        scopeStatus: input.scope.status,
+        proofStatus: input.proofStatus.status,
+        proofSufficiencyStatus: input.proofSufficiency.status,
+    });
+    const events = proofReplayEvents({
+        status,
+        scope: input.scope,
+        proofStatus: input.proofStatus,
+        proofSufficiency: input.proofSufficiency,
+        currentChangedFiles,
+        changedAfterProof,
+    });
+    return {
+        status,
+        summary: proofReplaySummary(status, changedAfterProof),
+        events,
+        changedAfterProof,
+        replayCommand: input.replayCommand,
+        receiptFingerprint: receiptFingerprint({
+            status,
+            scopeStatus: input.scope.status,
+            changedFiles: input.scope.changedFiles,
+            proofStatus: input.proofStatus.status,
+            proofSufficiencyStatus: input.proofSufficiency.status,
+            proofSufficiencyRequirements: input.proofSufficiency.requirements.map((requirement) => ({
+                id: requirement.id,
+                status: requirement.status,
+                matchedCommands: requirement.matchedCommands,
+            })),
+            commandEvidence: input.proofStatus.commandEvidence.map((entry) => ({
+                command: entry.command,
+                status: entry.status,
+                fresh: entry.fresh,
+                source: entry.source,
+                exitCode: entry.exitCode,
+                completedAt: entry.completedAt,
+                recordedChangedFileFingerprint: entry.recordedChangedFileFingerprint,
+            })),
+            changedAfterProof,
+            riskDeltaDirection: input.riskDeltaDirection,
+            reviewerDecision: input.reviewerDecision,
+        }),
+    };
+}
+function proofReplayStatus(input) {
+    if (input.proofStatus === 'failed' || input.proofSufficiencyStatus === 'failed')
+        return 'failed';
+    if (input.proofStatus === 'stale' || input.proofSufficiencyStatus === 'stale')
+        return 'stale';
+    if (input.scopeStatus === 'drifted')
+        return 'drifted';
+    if (input.scopeStatus === 'missing-contract' ||
+        input.proofStatus === 'missing' ||
+        input.proofStatus === 'partial' ||
+        input.proofSufficiencyStatus === 'missing' ||
+        input.proofSufficiencyStatus === 'weak') {
+        return 'needs-proof';
+    }
+    return 'verified';
+}
+function proofReplayEvents(input) {
+    return [
+        contractEvent(input.scope),
+        {
+            kind: 'change-set',
+            status: input.scope.status === 'within-contract' ? 'passed' : input.scope.status,
+            summary: `${input.scope.changedFiles.length} changed file(s) replayed against the Proof Contract.`,
+            changedFiles: input.scope.changedFiles,
+        },
+        ...input.proofStatus.commandEvidence.map((entry) => proofCommandEvent(entry, input.currentChangedFiles)),
+        {
+            kind: 'proof-sufficiency',
+            status: input.proofSufficiency.status,
+            summary: input.proofSufficiency.summary,
+        },
+        {
+            kind: 'receipt',
+            status: input.status,
+            summary: proofReplaySummary(input.status, input.changedAfterProof),
+        },
+    ];
+}
+function contractEvent(scope) {
+    if (scope.status === 'missing-contract') {
+        return {
+            kind: 'contract',
+            status: 'missing',
+            summary: 'No saved Proof Contract was available for replay.',
+        };
+    }
+    if (scope.status === 'drifted') {
+        return {
+            kind: 'contract',
+            status: 'drifted',
+            summary: 'Changed files drifted outside the Proof Contract.',
+            changedFiles: scope.outsideAllowed,
+        };
+    }
+    return {
+        kind: 'contract',
+        status: 'passed',
+        summary: 'Changed files stayed inside the Proof Contract.',
+    };
+}
+function proofCommandEvent(entry, currentChangedFiles) {
+    const changedAfterProof = changedAfterProofForCommand(currentChangedFiles, entry);
+    return {
+        kind: 'proof-command',
+        status: entry.status,
+        summary: proofCommandSummary(entry, changedAfterProof),
+        command: entry.command,
+        completedAt: entry.completedAt,
+        ...(entry.source ? { source: entry.source } : {}),
+        ...(entry.recordedChangedFiles ? { changedFiles: entry.recordedChangedFiles } : {}),
+        ...(changedAfterProof.length > 0 ? { changedAfterProof } : {}),
+    };
+}
+function proofCommandSummary(entry, changedAfterProof) {
+    if (entry.status === 'missing')
+        return 'No ledger record exists for this required command.';
+    if (entry.status === 'failed')
+        return 'The latest ledger record for this command failed.';
+    if (entry.status === 'stale') {
+        const files = changedAfterProof.length > 0 ? ` ${changedAfterProof.length} file(s) appeared after proof.` : '';
+        return `The latest ledger record no longer matches the current changed-file set.${files}`;
+    }
+    return 'The latest ledger record passed and matches the current changed-file set.';
+}
+function changedAfterProofForCommands(currentChangedFiles, evidence) {
+    return unique(evidence.flatMap((entry) => changedAfterProofForCommand(currentChangedFiles, entry)));
+}
+function changedAfterProofForCommand(currentChangedFiles, evidence) {
+    if (!evidence.recordedChangedFiles || evidence.recordedChangedFiles.length === 0)
+        return [];
+    const recorded = new Set(evidence.recordedChangedFiles);
+    return currentChangedFiles.filter((file) => !recorded.has(file)).sort();
+}
+function proofReplaySummary(status, changedAfterProof) {
+    if (status === 'verified')
+        return 'Proof replay is verified: scope and proof evidence match.';
+    if (status === 'failed')
+        return 'Proof replay found failed proof evidence.';
+    if (status === 'drifted')
+        return 'Proof replay found scope drift outside the contract.';
+    if (status === 'stale') {
+        return changedAfterProof.length > 0
+            ? `Proof replay is stale: ${changedAfterProof.length} file(s) appeared after proof.`
+            : 'Proof replay is stale: recorded proof no longer matches the current changed-file set.';
+    }
+    return 'Proof replay needs more evidence before reviewer approval.';
+}
+function receiptFingerprint(value) {
+    return crypto.createHash('sha256').update(JSON.stringify(value)).digest('hex').slice(0, 16);
+}
+function unique(values) {
+    return [...new Set(values)];
+}
+//# sourceMappingURL=proofReplay.js.map

package/dist/core/proofReplay.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"proofReplay.js","sourceRoot":"","sources":["../../src/core/proofReplay.ts"],"names":[],"mappings":"AAAA,OAAO,MAAM,MAAM,aAAa,CAAC;AAajC,OAAO,EAAE,yBAAyB,EAAE,MAAM,uBAAuB,CAAC;AAElE,MAAM,UAAU,gBAAgB,CAAC,KAOhC;IACC,MAAM,mBAAmB,GAAG,yBAAyB,CAAC,KAAK,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC;IAChF,MAAM,iBAAiB,GAAG,4BAA4B,CACpD,mBAAmB,EACnB,KAAK,CAAC,WAAW,CAAC,eAAe,CAClC,CAAC;IACF,MAAM,MAAM,GAAG,iBAAiB,CAAC;QAC/B,WAAW,EAAE,KAAK,CAAC,KAAK,CAAC,MAAM;QAC/B,WAAW,EAAE,KAAK,CAAC,WAAW,CAAC,MAAM;QACrC,sBAAsB,EAAE,KAAK,CAAC,gBAAgB,CAAC,MAAM;KACtD,CAAC,CAAC;IACH,MAAM,MAAM,GAAG,iBAAiB,CAAC;QAC/B,MAAM;QACN,KAAK,EAAE,KAAK,CAAC,KAAK;QAClB,WAAW,EAAE,KAAK,CAAC,WAAW;QAC9B,gBAAgB,EAAE,KAAK,CAAC,gBAAgB;QACxC,mBAAmB;QACnB,iBAAiB;KAClB,CAAC,CAAC;IACH,OAAO;QACL,MAAM;QACN,OAAO,EAAE,kBAAkB,CAAC,MAAM,EAAE,iBAAiB,CAAC;QACtD,MAAM;QACN,iBAAiB;QACjB,aAAa,EAAE,KAAK,CAAC,aAAa;QAClC,kBAAkB,EAAE,kBAAkB,CAAC;YACrC,MAAM;YACN,WAAW,EAAE,KAAK,CAAC,KAAK,CAAC,MAAM;YAC/B,YAAY,EAAE,KAAK,CAAC,KAAK,CAAC,YAAY;YACtC,WAAW,EAAE,KAAK,CAAC,WAAW,CAAC,MAAM;YACrC,sBAAsB,EAAE,KAAK,CAAC,gBAAgB,CAAC,MAAM;YACrD,4BAA4B,EAAE,KAAK,CAAC,gBAAgB,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC;gBACtF,EAAE,EAAE,WAAW,CAAC,EAAE;gBAClB,MAAM,EAAE,WAAW,CAAC,MAAM;gBAC1B,eAAe,EAAE,WAAW,CAAC,eAAe;aAC7C,CAAC,CAAC;YACH,eAAe,EAAE,KAAK,CAAC,WAAW,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;gBACjE,OAAO,EAAE,KAAK,CAAC,OAAO;gBACtB,MAAM,EAAE,KAAK,CAAC,MAAM;gBACpB,KAAK,EAAE,KAAK,CAAC,KAAK;gBAClB,MAAM,EAAE,KAAK,CAAC,MAAM;gBACpB,QAAQ,EAAE,KAAK,CAAC,QAAQ;gBACxB,WAAW,EAAE,KAAK,CAAC,WAAW;gBAC9B,8BAA8B,EAAE,KAAK,CAAC,8BAA8B;aACrE,CAAC,CAAC;YACH,iBAAiB;YACjB,kBAAkB,EAAE,KAAK,CAAC,kBAAkB;YAC5C,gBAAgB,EAAE,KAAK,CAAC,gBAAgB;SACzC,CAAC;KACH,CAAC;AACJ,CAAC;AAED,SAAS,iBAAiB,CAAC,KAI1B;IACC,IAAI,KAAK,CAAC,WAAW,KAAK,QAAQ,IAAI,KAAK,CAAC,sBAAsB,KAAK,QAAQ;QAAE,OAAO,QAAQ,CAAC;IACjG,IAAI,KAAK,CAAC,WAAW,KAAK,OAAO,IAAI,KAAK,CAAC,sBAAsB,KAAK,OAAO;QAAE,OAAO,OAAO,CAAC;IAC9F,IAAI,KAAK,CAAC,WAAW,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IACtD,IACE,KAAK,CAAC,WAAW,KAAK,kBAAkB;QACxC,KAAK,CAAC,WAAW,KAAK,SAAS;QAC/B,KAAK,CAAC,WAAW,KAAK,SAAS;QAC/B,KAAK,CAAC,sBAAsB,KAAK,SAAS;QAC1C,KAAK,CAAC,sBAAsB,KAAK,MAAM,EACvC,CAAC;QACD,OAAO,aAAa,CAAC;IACvB,CAAC;IACD,OAAO,UAAU,CAAC;AACpB,CAAC;AAED,SAAS,iBAAiB,CAAC,KAO1B;IACC,OAAO;QACL,aAAa,CAAC,KAAK,CAAC,KAAK,CAAC;QAC1B;YACE,IAAI,EAAE,YAAY;YAClB,MAAM,EAAE,KAAK,CAAC,KAAK,CAAC,MAAM,KAAK,iBAAiB,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM;YAChF,OAAO,EAAE,GAAG,KAAK,CAAC,KAAK,CAAC,YAAY,CAAC,MAAM,uDAAuD;YAClG,YAAY,EAAE,KAAK,CAAC,KAAK,CAAC,YAAY;SACvC;QACD,GAAG,KAAK,CAAC,WAAW,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CACjD,iBAAiB,CAAC,KAAK,EAAE,KAAK,CAAC,mBAAmB,CAAC,CACpD;QACD;YACE,IAAI,EAAE,mBAAmB;YACzB,MAAM,EAAE,KAAK,CAAC,gBAAgB,CAAC,MAAM;YACrC,OAAO,EAAE,KAAK,CAAC,gBAAgB,CAAC,OAAO;SACxC;QACD;YACE,IAAI,EAAE,SAAS;YACf,MAAM,EAAE,KAAK,CAAC,MAAM;YACpB,OAAO,EAAE,kBAAkB,CAAC,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,iBAAiB,CAAC;SACnE;KACF,CAAC;AACJ,CAAC;AAED,SAAS,aAAa,CAAC,KAA4B;IACjD,IAAI,KAAK,CAAC,MAAM,KAAK,kBAAkB,EAAE,CAAC;QACxC,OAAO;YACL,IAAI,EAAE,UAAU;YAChB,MAAM,EAAE,SAAS;YACjB,OAAO,EAAE,mDAAmD;SAC7D,CAAC;IACJ,CAAC;IACD,IAAI,KAAK,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;QAC/B,OAAO;YACL,IAAI,EAAE,UAAU;YAChB,MAAM,EAAE,SAAS;YACjB,OAAO,EAAE,mDAAmD;YAC5D,YAAY,EAAE,KAAK,CAAC,cAAc;SACnC,CAAC;IACJ,CAAC;IACD,OAAO;QACL,IAAI,EAAE,UAAU;QAChB,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,iDAAiD;KAC3D,CAAC;AACJ,CAAC;AAED,SAAS,iBAAiB,CACxB,KAAgC,EAChC,mBAA6B;IAE7B,MAAM,iBAAiB,GAAG,2BAA2B,CAAC,mBAAmB,EAAE,KAAK,CAAC,CAAC;IAClF,OAAO;QACL,IAAI,EAAE,eAAe;QACrB,MAAM,EAAE,KAAK,CAAC,MAAM;QACpB,OAAO,EAAE,mBAAmB,CAAC,KAAK,EAAE,iBAAiB,CAAC;QACtD,OAAO,EAAE,KAAK,CAAC,OAAO;QACtB,WAAW,EAAE,KAAK,CAAC,WAAW;QAC9B,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACjD,GAAG,CAAC,KAAK,CAAC,oBAAoB,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,KAAK,CAAC,oBAAoB,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACnF,GAAG,CAAC,iBAAiB,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,iBAAiB,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAC/D,CAAC;AACJ,CAAC;AAED,SAAS,mBAAmB,CAC1B,KAAgC,EAChC,iBAA2B;IAE3B,IAAI,KAAK,CAAC,MAAM,KAAK,SAAS;QAAE,OAAO,oDAAoD,CAAC;IAC5F,IAAI,KAAK,CAAC,MAAM,KAAK,QAAQ;QAAE,OAAO,mDAAmD,CAAC;IAC1F,IAAI,KAAK,CAAC,MAAM,KAAK,OAAO,EAAE,CAAC;QAC7B,MAAM,KAAK,GAAG,iBAAiB,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,iBAAiB,CAAC,MAAM,gCAAgC,CAAC,CAAC,CAAC,EAAE,CAAC;QAC/G,OAAO,2EAA2E,KAAK,EAAE,CAAC;IAC5F,CAAC;IACD,OAAO,2EAA2E,CAAC;AACrF,CAAC;AAED,SAAS,4BAA4B,CACnC,mBAA6B,EAC7B,QAAqC;IAErC,OAAO,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,2BAA2B,CAAC,mBAAmB,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;AACtG,CAAC;AAED,SAAS,2BAA2B,CAClC,mBAA6B,EAC7B,QAAmC;IAEnC,IAAI,CAAC,QAAQ,CAAC,oBAAoB,IAAI,QAAQ,CAAC,oBAAoB,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IAC5F,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,oBAAoB,CAAC,CAAC;IACxD,OAAO,mBAAmB,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;AAC1E,CAAC;AAED,SAAS,kBAAkB,CAAC,MAA8B,EAAE,iBAA2B;IACrF,IAAI,MAAM,KAAK,UAAU;QAAE,OAAO,2DAA2D,CAAC;IAC9F,IAAI,MAAM,KAAK,QAAQ;QAAE,OAAO,2CAA2C,CAAC;IAC5E,IAAI,MAAM,KAAK,SAAS;QAAE,OAAO,sDAAsD,CAAC;IACxF,IAAI,MAAM,KAAK,OAAO,EAAE,CAAC;QACvB,OAAO,iBAAiB,CAAC,MAAM,GAAG,CAAC;YACjC,CAAC,CAAC,0BAA0B,iBAAiB,CAAC,MAAM,gCAAgC;YACpF,CAAC,CAAC,uFAAuF,CAAC;IAC9F,CAAC;IACD,OAAO,4DAA4D,CAAC;AACtE,CAAC;AAED,SAAS,kBAAkB,CAAC,KAAc;IACxC,OAAO,MAAM,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;AAC9F,CAAC;AAED,SAAS,MAAM,CAAI,MAAW;IAC5B,OAAO,CAAC,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC;AAC9B,CAAC"}

package/dist/core/proofSufficiency.d.ts

@@ -0,0 +1,19 @@
+import type { ProveContract, ProveProofRequirement, ProveProofSufficiency, ProveReceipt } from '../types/prove.js';
+export declare function buildProofRequirements(input: {
+    allowedFiles: string[];
+    likelyTests: string[];
+    riskyContracts: string[];
+    proofCommands: string[];
+}): ProveProofRequirement[];
+export declare function proofSufficiencyFor(input: {
+    contract?: ProveContract;
+    scope: ProveReceipt['scope'];
+    proofStatus: ProveReceipt['proofStatus'];
+}): ProveProofSufficiency;
+export declare function proofRelevantChangedFiles(files: string[]): string[];
+export declare function isDocumentationPath(file: string): boolean;
+export declare function isGeneratedPath(file: string): boolean;
+export declare function isSecuritySensitivePath(file: string): boolean;
+export declare function isConfigPath(file: string): boolean;
+export declare function isTestPath(file: string): boolean;
+export declare function isProductionPath(file: string): boolean;