@shapeshift-labs/frontier-swarm-codex 0.5.140 → 0.5.142

package/dist/proof-artifacts.js

@@ -0,0 +1,251 @@
+import fs from 'node:fs/promises';
+import path from 'node:path';
+import { isObject, readStringArray, stableHash, uniqueStrings } from './common.js';
+export const FRONTIER_CODEX_PLAYWRIGHT_RUNTIME_PROOF_ARTIFACT_FILE = 'playwright-runtime-proof-artifacts.json';
+export const FRONTIER_CODEX_PLAYWRIGHT_RUNTIME_PROOF_ARTIFACT_KIND = 'frontier.playwright.runtime-proof-artifact';
+export const FRONTIER_CODEX_PLAYWRIGHT_RUNTIME_PROOF_ARTIFACT_INDEX_KIND = 'frontier-swarm-codex.playwright-runtime-proof-artifact-index';
+export const FRONTIER_CODEX_PLAYWRIGHT_RUNTIME_PROOF_ARTIFACT_RECORD_KIND = 'frontier-swarm-codex.playwright-runtime-proof-artifact-record';
+export async function collectCodexPlaywrightRuntimeProofArtifacts(input) {
+    const records = [];
+    for (const evidencePath of input.bundle.evidencePaths ?? []) {
+        const file = resolveEvidencePath(evidencePath, input.mergePath);
+        const record = await readCodexPlaywrightRuntimeProofArtifactRecord(file, input.bundle, input.bucket);
+        if (record)
+            records.push(record);
+    }
+    return records.sort((left, right) => left.path.localeCompare(right.path));
+}
+export function createCodexPlaywrightRuntimeProofArtifactIndex(input) {
+    const records = [...input.records].sort((left, right) => left.id.localeCompare(right.id));
+    return {
+        kind: FRONTIER_CODEX_PLAYWRIGHT_RUNTIME_PROOF_ARTIFACT_INDEX_KIND,
+        version: 1,
+        id: `codex-playwright-runtime-proof-artifacts:${stableHash(records.map((record) => record.id))}`,
+        generatedAt: input.generatedAt,
+        runDir: input.runDir,
+        collectionDir: input.collectionDir,
+        records,
+        summary: summarizeCodexPlaywrightRuntimeProofArtifacts(records)
+    };
+}
+export function createCodexPlaywrightRuntimeProofEvidenceEntries(records) {
+    return records.map((record) => ({
+        jobId: record.jobId,
+        ...(record.queueItemId ? { queueItemId: record.queueItemId } : {}),
+        ...(record.lane ? { lane: record.lane } : {}),
+        topic: 'playwright-runtime-proof',
+        path: record.path,
+        kind: 'playwright-runtime-proof-artifact',
+        status: record.validatorReadiness,
+        confidence: record.validatorReadiness === 'candidate' ? 0.85 : record.validatorReadiness === 'failed' ? 0.25 : 0.45,
+        tags: uniqueStrings([
+            'playwright-runtime-proof-artifact',
+            `playwright-runtime-proof-${record.validatorReadiness}`,
+            `playwright-runtime-proof-status-${record.artifactStatus}`,
+            record.bucket,
+            record.runtimeEvidenceBound ? 'runtime-evidence-bound' : 'runtime-evidence-unbound',
+            record.failedAssertionCount > 0 ? 'runtime-assertion-failed' : '',
+            record.broadClaimCount > 0 ? 'runtime-proof-broad-claim' : ''
+        ]),
+        facets: {
+            bucket: record.bucket,
+            artifactStatus: record.artifactStatus,
+            validatorReadiness: record.validatorReadiness,
+            runtimeEvidenceBound: record.runtimeEvidenceBound,
+            runtimeSignals: record.runtimeSignals.join(','),
+            runtimeCommand: record.runtimeCommand ?? '',
+            runtimeProbeId: record.runtimeProbeId ?? '',
+            runtimeEvidenceHash: record.runtimeEvidenceHash ?? '',
+            assertionCount: record.assertionCount,
+            failedAssertionCount: record.failedAssertionCount,
+            sourceTextHashCount: record.sourceTextHashCount,
+            broadClaimCount: record.broadClaimCount,
+            sourcePath: record.sourcePath ?? '',
+            reasonCodes: record.reasonCodes.join(','),
+            sides: record.sides.join(','),
+            shapeKeys: record.shapeKeys.join(',')
+        }
+    }));
+}
+export function codexPlaywrightRuntimeProofArtifactMetadata(parsed) {
+    return parsed.kind === FRONTIER_CODEX_PLAYWRIGHT_RUNTIME_PROOF_ARTIFACT_KIND ? {
+        proofArtifactStatus: parsed.status,
+        proofArtifactRuntimeEvidenceBound: parsed.runtimeEvidenceBound,
+        proofArtifactAssertionCount: Array.isArray(parsed.assertions) ? parsed.assertions.length : undefined,
+        proofArtifactSourceTextHashCount: isObject(parsed.sourceTextHashes) ? Object.keys(parsed.sourceTextHashes).length : undefined
+    } : {};
+}
+export function codexPlaywrightRuntimeProofArtifactTags(metadata) {
+    return [
+        metadata.artifactKind === FRONTIER_CODEX_PLAYWRIGHT_RUNTIME_PROOF_ARTIFACT_KIND ? 'playwright-runtime-proof-artifact' : '',
+        metadata.proofArtifactRuntimeEvidenceBound ? 'runtime-evidence-bound' : '',
+        metadata.proofArtifactStatus === 'passed' ? 'playwright-runtime-proof-passed' : '',
+        metadata.proofArtifactStatus === 'failed' ? 'playwright-runtime-proof-failed' : ''
+    ];
+}
+export function codexPlaywrightRuntimeProofArtifactKindForFile(name) {
+    if (name === FRONTIER_CODEX_PLAYWRIGHT_RUNTIME_PROOF_ARTIFACT_FILE)
+        return 'playwright-runtime-proof-artifact-index';
+    if (name === 'playwright-runtime-proof.json' || name === 'runtime-proof-artifact.json' || name === 'playwright-runtime-proof-artifact.json')
+        return 'playwright-runtime-proof-artifact';
+    return undefined;
+}
+function summarizeCodexPlaywrightRuntimeProofArtifacts(records) {
+    return {
+        artifactCount: records.length,
+        passedCount: records.filter((record) => record.artifactStatus === 'passed').length,
+        failedCount: records.filter((record) => record.artifactStatus === 'failed').length,
+        incompleteCount: records.filter((record) => record.validatorReadiness === 'incomplete').length,
+        runtimeEvidenceBoundCount: records.filter((record) => record.runtimeEvidenceBound).length,
+        validatorCandidateCount: records.filter((record) => record.validatorReadiness === 'candidate').length,
+        failedAssertionCount: records.reduce((sum, record) => sum + record.failedAssertionCount, 0),
+        broadClaimCount: records.reduce((sum, record) => sum + record.broadClaimCount, 0)
+    };
+}
+async function readCodexPlaywrightRuntimeProofArtifactRecord(file, bundle, bucket) {
+    const parsed = await readJsonIfExists(file);
+    if (!isObject(parsed) || parsed.kind !== FRONTIER_CODEX_PLAYWRIGHT_RUNTIME_PROOF_ARTIFACT_KIND)
+        return undefined;
+    const runtimeEvidence = readObject(parsed.runtimeEvidence);
+    const builderFields = readObject(parsed.builderFields);
+    const proofBuilderInput = readObject(parsed.proofBuilderInput);
+    const sourceTextHashes = stringRecord(parsed.sourceTextHashes);
+    const assertions = Array.isArray(parsed.assertions) ? parsed.assertions.filter(isObject) : [];
+    const failedAssertionCount = assertions.filter((assertion) => assertion.status === 'failed').length;
+    const runtimeSignals = uniqueStrings([
+        ...readStringArray(runtimeEvidence?.runtimeSignals),
+        ...readStringArray(builderFields?.runtimeSignals),
+        ...readStringArray(readObject(runtimeEvidence?.evidence)?.signals),
+        ...readStringArray(readObject(builderFields?.runtimeEvidence)?.signals),
+        ...readStringArray(readObject(proofBuilderInput?.runtimeEvidence)?.signals)
+    ]).sort();
+    const claims = {
+        browserRuntimeEquivalenceClaim: hasTrueClaim(parsed, runtimeEvidence, builderFields, proofBuilderInput, 'browserRuntimeEquivalenceClaim'),
+        browserCascadeEquivalenceClaim: hasTrueClaim(parsed, runtimeEvidence, builderFields, proofBuilderInput, 'browserCascadeEquivalenceClaim'),
+        browserRenderEquivalenceClaim: hasTrueClaim(parsed, runtimeEvidence, builderFields, proofBuilderInput, 'browserRenderEquivalenceClaim'),
+        semanticEquivalenceClaim: hasTrueClaim(parsed, runtimeEvidence, builderFields, proofBuilderInput, 'semanticEquivalenceClaim'),
+        autoMergeClaim: hasTrueClaim(parsed, runtimeEvidence, builderFields, proofBuilderInput, 'autoMergeClaim')
+    };
+    const broadClaimCount = Object.values(claims).filter(Boolean).length;
+    const artifactStatus = parsed.status === 'passed' || parsed.status === 'failed' ? parsed.status : 'unknown';
+    const runtimeEvidenceBound = parsed.runtimeEvidenceBound === true ||
+        runtimeEvidence?.runtimeEvidenceBound === true ||
+        builderFields?.runtimeEvidenceBound === true ||
+        proofBuilderInput?.runtimeEvidenceBound === true;
+    const sourceTextHashCount = Object.keys(sourceTextHashes).length;
+    const proofBuilderInputAvailable = Boolean(proofBuilderInput);
+    const validatorReadiness = artifactStatus === 'passed' &&
+        runtimeEvidenceBound &&
+        proofBuilderInputAvailable &&
+        sourceTextHashCount > 0 &&
+        failedAssertionCount === 0 &&
+        broadClaimCount === 0
+        ? 'candidate'
+        : artifactStatus === 'failed' || failedAssertionCount > 0 || broadClaimCount > 0
+            ? 'failed'
+            : 'incomplete';
+    const artifactId = firstString(parsed.artifactId, parsed.id);
+    const proofRunId = firstString(parsed.proofRunId);
+    const runtimeCommand = firstString(runtimeEvidence?.runtimeCommand, builderFields?.runtimeCommand, readObject(runtimeEvidence?.evidence)?.command, readObject(builderFields?.runtimeEvidence)?.command, readObject(proofBuilderInput?.runtimeEvidence)?.command);
+    const runtimeProbeId = firstString(runtimeEvidence?.runtimeProbeId, builderFields?.runtimeProbeId, readObject(runtimeEvidence?.evidence)?.probeId, readObject(builderFields?.runtimeEvidence)?.probeId, readObject(proofBuilderInput?.runtimeEvidence)?.probeId);
+    const runtimeEvidenceHash = firstString(runtimeEvidence?.runtimeEvidenceHash, builderFields?.runtimeEvidenceHash, readObject(runtimeEvidence?.evidence)?.evidenceHash, readObject(builderFields?.runtimeEvidence)?.evidenceHash, readObject(proofBuilderInput?.runtimeEvidence)?.evidenceHash);
+    const record = {
+        kind: FRONTIER_CODEX_PLAYWRIGHT_RUNTIME_PROOF_ARTIFACT_RECORD_KIND,
+        version: 1,
+        id: `codex-playwright-runtime-proof-artifact:${stableHash([bundle.jobId, file, artifactId, proofRunId])}`,
+        jobId: bundle.jobId,
+        ...(bundle.taskId ? { taskId: bundle.taskId } : {}),
+        ...(bundle.queueItemIds[0] ? { queueItemId: bundle.queueItemIds[0] } : {}),
+        ...(bundle.lane ? { lane: bundle.lane } : {}),
+        bucket,
+        path: file,
+        ...(artifactId ? { artifactId } : {}),
+        artifactStatus,
+        validatorReadiness,
+        ...(firstString(parsed.runKind) ? { runKind: firstString(parsed.runKind) } : {}),
+        ...(firstString(parsed.runId) ? { runId: firstString(parsed.runId) } : {}),
+        ...(proofRunId ? { proofRunId } : {}),
+        ...(firstString(proofBuilderInput?.sourcePath) ? { sourcePath: firstString(proofBuilderInput?.sourcePath) } : {}),
+        reasonCodes: uniqueStrings([
+            ...readStringArray(proofBuilderInput?.reasonCodes),
+            ...scalarString(proofBuilderInput?.reasonCode)
+        ]),
+        sides: uniqueStrings([
+            ...readStringArray(proofBuilderInput?.sides),
+            ...scalarString(proofBuilderInput?.side)
+        ]),
+        recordKeys: uniqueStrings([
+            ...readStringArray(proofBuilderInput?.recordKeys),
+            ...scalarString(proofBuilderInput?.recordKey)
+        ]),
+        boundaries: uniqueStrings([
+            ...readStringArray(proofBuilderInput?.boundaries),
+            ...scalarString(proofBuilderInput?.boundary)
+        ]),
+        attributeNames: uniqueStrings([
+            ...readStringArray(proofBuilderInput?.attributeNames),
+            ...scalarString(proofBuilderInput?.attributeName)
+        ]),
+        shapeKeys: uniqueStrings([
+            ...readStringArray(proofBuilderInput?.shapeKeys),
+            ...scalarString(proofBuilderInput?.shapeKey)
+        ]),
+        runtimeEvidenceBound,
+        ...(runtimeCommand ? { runtimeCommand } : {}),
+        ...(runtimeProbeId ? { runtimeProbeId } : {}),
+        ...(runtimeEvidenceHash ? { runtimeEvidenceHash } : {}),
+        runtimeSignals,
+        assertionCount: assertions.length,
+        failedAssertionCount,
+        sourceTextHashCount,
+        ...(sourceTextHashCount ? { sourceTextHashes } : {}),
+        broadClaimCount,
+        claims,
+        proofBuilderInputAvailable,
+        languageValidators: languageValidatorsForProof(proofBuilderInput),
+        ...(isObject(parsed.metadata) ? { metadata: parsed.metadata } : {})
+    };
+    return record;
+}
+function languageValidatorsForProof(proofBuilderInput) {
+    const sourcePath = firstString(proofBuilderInput?.sourcePath);
+    if (sourcePath?.toLowerCase().endsWith('.css'))
+        return ['createCssCascadeRuntimeProof'];
+    if (sourcePath?.toLowerCase().endsWith('.html'))
+        return ['createHtmlRuntimeProof', 'createHtmlRuntimeBoundaryProof'];
+    return [];
+}
+function resolveEvidencePath(file, mergePath) {
+    if (path.isAbsolute(file))
+        return file;
+    return path.resolve(mergePath ? path.dirname(mergePath) : process.cwd(), file);
+}
+async function readJsonIfExists(file) {
+    try {
+        return JSON.parse(await fs.readFile(file, 'utf8'));
+    }
+    catch {
+        return undefined;
+    }
+}
+function readObject(value) {
+    return isObject(value) ? value : undefined;
+}
+function stringRecord(value) {
+    if (!isObject(value))
+        return {};
+    return Object.fromEntries(Object.entries(value).filter((entry) => typeof entry[1] === 'string' && entry[1].length > 0));
+}
+function firstString(...values) {
+    return values.find((value) => typeof value === 'string' && value.trim().length > 0)?.trim();
+}
+function scalarString(value) {
+    return typeof value === 'string' && value.trim() ? [value.trim()] : [];
+}
+function hasTrueClaim(artifact, runtimeEvidence, builderFields, proofBuilderInput, key) {
+    return artifact[key] === true ||
+        runtimeEvidence?.[key] === true ||
+        builderFields?.[key] === true ||
+        proofBuilderInput?.[key] === true;
+}
+//# sourceMappingURL=proof-artifacts.js.map

package/dist/proof-artifacts.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"proof-artifacts.js","sourceRoot":"","sources":["../src/proof-artifacts.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,kBAAkB,CAAC;AAClC,OAAO,IAAI,MAAM,WAAW,CAAC;AAE7B,OAAO,EAAE,QAAQ,EAAE,eAAe,EAAE,UAAU,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAOnF,MAAM,CAAC,MAAM,qDAAqD,GAAG,yCAAyC,CAAC;AAC/G,MAAM,CAAC,MAAM,qDAAqD,GAAG,4CAA4C,CAAC;AAClH,MAAM,CAAC,MAAM,2DAA2D,GAAG,8DAA8D,CAAC;AAC1I,MAAM,CAAC,MAAM,4DAA4D,GAAG,+DAA+D,CAAC;AAE5I,MAAM,CAAC,KAAK,UAAU,2CAA2C,CAAC,KAIjE;IACC,MAAM,OAAO,GAAwD,EAAE,CAAC;IACxE,KAAK,MAAM,YAAY,IAAI,KAAK,CAAC,MAAM,CAAC,aAAa,IAAI,EAAE,EAAE,CAAC;QAC5D,MAAM,IAAI,GAAG,mBAAmB,CAAC,YAAY,EAAE,KAAK,CAAC,SAAS,CAAC,CAAC;QAChE,MAAM,MAAM,GAAG,MAAM,6CAA6C,CAAC,IAAI,EAAE,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;QACrG,IAAI,MAAM;YAAE,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACnC,CAAC;IACD,OAAO,OAAO,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;AAC5E,CAAC;AAED,MAAM,UAAU,8CAA8C,CAAC,KAK9D;IACC,MAAM,OAAO,GAAG,CAAC,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,aAAa,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC;IAC1F,OAAO;QACL,IAAI,EAAE,2DAA2D;QACjE,OAAO,EAAE,CAAC;QACV,EAAE,EAAE,4CAA4C,UAAU,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE;QAChG,WAAW,EAAE,KAAK,CAAC,WAAW;QAC9B,MAAM,EAAE,KAAK,CAAC,MAAM;QACpB,aAAa,EAAE,KAAK,CAAC,aAAa;QAClC,OAAO;QACP,OAAO,EAAE,6CAA6C,CAAC,OAAO,CAAC;KAChE,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,gDAAgD,CAC9D,OAAqE;IAErE,OAAO,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;QAC9B,KAAK,EAAE,MAAM,CAAC,KAAK;QACnB,GAAG,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,MAAM,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAClE,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC7C,KAAK,EAAE,0BAA0B;QACjC,IAAI,EAAE,MAAM,CAAC,IAAI;QACjB,IAAI,EAAE,mCAAmC;QACzC,MAAM,EAAE,MAAM,CAAC,kBAAkB;QACjC,UAAU,EAAE,MAAM,CAAC,kBAAkB,KAAK,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,kBAAkB,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI;QACnH,IAAI,EAAE,aAAa,CAAC;YAClB,mCAAmC;YACnC,4BAA4B,MAAM,CAAC,kBAAkB,EAAE;YACvD,mCAAmC,MAAM,CAAC,cAAc,EAAE;YAC1D,MAAM,CAAC,MAAM;YACb,MAAM,CAAC,oBAAoB,CAAC,CAAC,CAAC,wBAAwB,CAAC,CAAC,CAAC,0BAA0B;YACnF,MAAM,CAAC,oBAAoB,GAAG,CAAC,CAAC,CAAC,CAAC,0BAA0B,CAAC,CAAC,CAAC,EAAE;YACjE,MAAM,CAAC,eAAe,GAAG,CAAC,CAAC,CAAC,CAAC,2BAA2B,CAAC,CAAC,CAAC,EAAE;SAC9D,CAAC;QACF,MAAM,EAAE;YACN,MAAM,EAAE,MAAM,CAAC,MAAM;YACrB,cAAc,EAAE,MAAM,CAAC,cAAc;YACrC,kBAAkB,EAAE,MAAM,CAAC,kBAAkB;YAC7C,oBAAoB,EAAE,MAAM,CAAC,oBAAoB;YACjD,cAAc,EAAE,MAAM,CAAC,cAAc,CAAC,IAAI,CAAC,GAAG,CAAC;YAC/C,cAAc,EAAE,MAAM,CAAC,cAAc,IAAI,EAAE;YAC3C,cAAc,EAAE,MAAM,CAAC,cAAc,IAAI,EAAE;YAC3C,mBAAmB,EAAE,MAAM,CAAC,mBAAmB,IAAI,EAAE;YACrD,cAAc,EAAE,MAAM,CAAC,cAAc;YACrC,oBAAoB,EAAE,MAAM,CAAC,oBAAoB;YACjD,mBAAmB,EAAE,MAAM,CAAC,mBAAmB;YAC/C,eAAe,EAAE,MAAM,CAAC,eAAe;YACvC,UAAU,EAAE,MAAM,CAAC,UAAU,IAAI,EAAE;YACnC,WAAW,EAAE,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC,GAAG,CAAC;YACzC,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC;YAC7B,SAAS,EAAE,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC;SACtC;KACF,CAAC,CAAC,CAAC;AACN,CAAC;AAED,MAAM,UAAU,2CAA2C,CAAC,MAA+B;IACzF,OAAO,MAAM,CAAC,IAAI,KAAK,qDAAqD,CAAC,CAAC,CAAC;QAC7E,mBAAmB,EAAE,MAAM,CAAC,MAAM;QAClC,iCAAiC,EAAE,MAAM,CAAC,oBAAoB;QAC9D,2BAA2B,EAAE,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS;QACpG,gCAAgC,EAAE,QAAQ,CAAC,MAAM,CAAC,gBAAgB,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,gBAAgB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS;KAC9H,CAAC,CAAC,CAAC,EAAE,CAAC;AACT,CAAC;AAED,MAAM,UAAU,uCAAuC,CAAC,QAAiC;IACvF,OAAO;QACL,QAAQ,CAAC,YAAY,KAAK,qDAAqD,CAAC,CAAC,CAAC,mCAAmC,CAAC,CAAC,CAAC,EAAE;QAC1H,QAAQ,CAAC,iCAAiC,CAAC,CAAC,CAAC,wBAAwB,CAAC,CAAC,CAAC,EAAE;QAC1E,QAAQ,CAAC,mBAAmB,KAAK,QAAQ,CAAC,CAAC,CAAC,iCAAiC,CAAC,CAAC,CAAC,EAAE;QAClF,QAAQ,CAAC,mBAAmB,KAAK,QAAQ,CAAC,CAAC,CAAC,iCAAiC,CAAC,CAAC,CAAC,EAAE;KACnF,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,8CAA8C,CAAC,IAAY;IACzE,IAAI,IAAI,KAAK,qDAAqD;QAAE,OAAO,yCAAyC,CAAC;IACrH,IAAI,IAAI,KAAK,+BAA+B,IAAI,IAAI,KAAK,6BAA6B,IAAI,IAAI,KAAK,wCAAwC;QAAE,OAAO,mCAAmC,CAAC;IACxL,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,6CAA6C,CACpD,OAAqE;IAErE,OAAO;QACL,aAAa,EAAE,OAAO,CAAC,MAAM;QAC7B,WAAW,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,cAAc,KAAK,QAAQ,CAAC,CAAC,MAAM;QAClF,WAAW,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,cAAc,KAAK,QAAQ,CAAC,CAAC,MAAM;QAClF,eAAe,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,kBAAkB,KAAK,YAAY,CAAC,CAAC,MAAM;QAC9F,yBAAyB,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,oBAAoB,CAAC,CAAC,MAAM;QACzF,uBAAuB,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,kBAAkB,KAAK,WAAW,CAAC,CAAC,MAAM;QACrG,oBAAoB,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,MAAM,EAAE,EAAE,CAAC,GAAG,GAAG,MAAM,CAAC,oBAAoB,EAAE,CAAC,CAAC;QAC3F,eAAe,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,MAAM,EAAE,EAAE,CAAC,GAAG,GAAG,MAAM,CAAC,eAAe,EAAE,CAAC,CAAC;KAClF,CAAC;AACJ,CAAC;AAED,KAAK,UAAU,6CAA6C,CAC1D,IAAY,EACZ,MAAgC,EAChC,MAAkC;IAElC,MAAM,MAAM,GAAG,MAAM,gBAAgB,CAAC,IAAI,CAAC,CAAC;IAC5C,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,IAAI,KAAK,qDAAqD;QAAE,OAAO,SAAS,CAAC;IACjH,MAAM,eAAe,GAAG,UAAU,CAAC,MAAM,CAAC,eAAe,CAAC,CAAC;IAC3D,MAAM,aAAa,GAAG,UAAU,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC;IACvD,MAAM,iBAAiB,GAAG,UAAU,CAAC,MAAM,CAAC,iBAAiB,CAAC,CAAC;IAC/D,MAAM,gBAAgB,GAAG,YAAY,CAAC,MAAM,CAAC,gBAAgB,CAAC,CAAC;IAC/D,MAAM,UAAU,GAAG,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC,QAAQ,CAA8B,CAAC,CAAC,CAAC,EAAE,CAAC;IAC3H,MAAM,oBAAoB,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,MAAM,KAAK,QAAQ,CAAC,CAAC,MAAM,CAAC;IACpG,MAAM,cAAc,GAAG,aAAa,CAAC;QACnC,GAAG,eAAe,CAAC,eAAe,EAAE,cAAc,CAAC;QACnD,GAAG,eAAe,CAAC,aAAa,EAAE,cAAc,CAAC;QACjD,GAAG,eAAe,CAAC,UAAU,CAAC,eAAe,EAAE,QAAQ,CAAC,EAAE,OAAO,CAAC;QAClE,GAAG,eAAe,CAAC,UAAU,CAAC,aAAa,EAAE,eAAe,CAAC,EAAE,OAAO,CAAC;QACvE,GAAG,eAAe,CAAC,UAAU,CAAC,iBAAiB,EAAE,eAAe,CAAC,EAAE,OAAO,CAAC;KAC5E,CAAC,CAAC,IAAI,EAAE,CAAC;IACV,MAAM,MAAM,GAAG;QACb,8BAA8B,EAAE,YAAY,CAAC,MAAM,EAAE,eAAe,EAAE,aAAa,EAAE,iBAAiB,EAAE,gCAAgC,CAAC;QACzI,8BAA8B,EAAE,YAAY,CAAC,MAAM,EAAE,eAAe,EAAE,aAAa,EAAE,iBAAiB,EAAE,gCAAgC,CAAC;QACzI,6BAA6B,EAAE,YAAY,CAAC,MAAM,EAAE,eAAe,EAAE,aAAa,EAAE,iBAAiB,EAAE,+BAA+B,CAAC;QACvI,wBAAwB,EAAE,YAAY,CAAC,MAAM,EAAE,eAAe,EAAE,aAAa,EAAE,iBAAiB,EAAE,0BAA0B,CAAC;QAC7H,cAAc,EAAE,YAAY,CAAC,MAAM,EAAE,eAAe,EAAE,aAAa,EAAE,iBAAiB,EAAE,gBAAgB,CAAC;KAC1G,CAAC;IACF,MAAM,eAAe,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC;IACrE,MAAM,cAAc,GAAG,MAAM,CAAC,MAAM,KAAK,QAAQ,IAAI,MAAM,CAAC,MAAM,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC;IAC5G,MAAM,oBAAoB,GAAG,MAAM,CAAC,oBAAoB,KAAK,IAAI;QAC/D,eAAe,EAAE,oBAAoB,KAAK,IAAI;QAC9C,aAAa,EAAE,oBAAoB,KAAK,IAAI;QAC5C,iBAAiB,EAAE,oBAAoB,KAAK,IAAI,CAAC;IACnD,MAAM,mBAAmB,GAAG,MAAM,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC,MAAM,CAAC;IACjE,MAAM,0BAA0B,GAAG,OAAO,CAAC,iBAAiB,CAAC,CAAC;IAC9D,MAAM,kBAAkB,GAAG,cAAc,KAAK,QAAQ;QACpD,oBAAoB;QACpB,0BAA0B;QAC1B,mBAAmB,GAAG,CAAC;QACvB,oBAAoB,KAAK,CAAC;QAC1B,eAAe,KAAK,CAAC;QACrB,CAAC,CAAC,WAAW;QACb,CAAC,CAAC,cAAc,KAAK,QAAQ,IAAI,oBAAoB,GAAG,CAAC,IAAI,eAAe,GAAG,CAAC;YAC9E,CAAC,CAAC,QAAQ;YACV,CAAC,CAAC,YAAY,CAAC;IACnB,MAAM,UAAU,GAAG,WAAW,CAAC,MAAM,CAAC,UAAU,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC;IAC7D,MAAM,UAAU,GAAG,WAAW,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;IAClD,MAAM,cAAc,GAAG,WAAW,CAChC,eAAe,EAAE,cAAc,EAC/B,aAAa,EAAE,cAAc,EAC7B,UAAU,CAAC,eAAe,EAAE,QAAQ,CAAC,EAAE,OAAO,EAC9C,UAAU,CAAC,aAAa,EAAE,eAAe,CAAC,EAAE,OAAO,EACnD,UAAU,CAAC,iBAAiB,EAAE,eAAe,CAAC,EAAE,OAAO,CACxD,CAAC;IACF,MAAM,cAAc,GAAG,WAAW,CAChC,eAAe,EAAE,cAAc,EAC/B,aAAa,EAAE,cAAc,EAC7B,UAAU,CAAC,eAAe,EAAE,QAAQ,CAAC,EAAE,OAAO,EAC9C,UAAU,CAAC,aAAa,EAAE,eAAe,CAAC,EAAE,OAAO,EACnD,UAAU,CAAC,iBAAiB,EAAE,eAAe,CAAC,EAAE,OAAO,CACxD,CAAC;IACF,MAAM,mBAAmB,GAAG,WAAW,CACrC,eAAe,EAAE,mBAAmB,EACpC,aAAa,EAAE,mBAAmB,EAClC,UAAU,CAAC,eAAe,EAAE,QAAQ,CAAC,EAAE,YAAY,EACnD,UAAU,CAAC,aAAa,EAAE,eAAe,CAAC,EAAE,YAAY,EACxD,UAAU,CAAC,iBAAiB,EAAE,eAAe,CAAC,EAAE,YAAY,CAC7D,CAAC;IACF,MAAM,MAAM,GAAsD;QAChE,IAAI,EAAE,4DAA4D;QAClE,OAAO,EAAE,CAAC;QACV,EAAE,EAAE,2CAA2C,UAAU,CAAC,CAAC,MAAM,CAAC,KAAK,EAAE,IAAI,EAAE,UAAU,EAAE,UAAU,CAAC,CAAC,EAAE;QACzG,KAAK,EAAE,MAAM,CAAC,KAAK;QACnB,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACnD,GAAG,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,MAAM,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC1E,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC7C,MAAM;QACN,IAAI,EAAE,IAAI;QACV,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACrC,cAAc;QACd,kBAAkB;QAClB,GAAG,CAAC,WAAW,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,WAAW,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAChF,GAAG,CAAC,WAAW,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,WAAW,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC1E,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACrC,GAAG,CAAC,WAAW,CAAC,iBAAiB,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,WAAW,CAAC,iBAAiB,EAAE,UAAU,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACjH,WAAW,EAAE,aAAa,CAAC;YACzB,GAAG,eAAe,CAAC,iBAAiB,EAAE,WAAW,CAAC;YAClD,GAAG,YAAY,CAAC,iBAAiB,EAAE,UAAU,CAAC;SAC/C,CAAC;QACF,KAAK,EAAE,aAAa,CAAC;YACnB,GAAG,eAAe,CAAC,iBAAiB,EAAE,KAAK,CAAC;YAC5C,GAAG,YAAY,CAAC,iBAAiB,EAAE,IAAI,CAAC;SACzC,CAAC;QACF,UAAU,EAAE,aAAa,CAAC;YACxB,GAAG,eAAe,CAAC,iBAAiB,EAAE,UAAU,CAAC;YACjD,GAAG,YAAY,CAAC,iBAAiB,EAAE,SAAS,CAAC;SAC9C,CAAC;QACF,UAAU,EAAE,aAAa,CAAC;YACxB,GAAG,eAAe,CAAC,iBAAiB,EAAE,UAAU,CAAC;YACjD,GAAG,YAAY,CAAC,iBAAiB,EAAE,QAAQ,CAAC;SAC7C,CAAC;QACF,cAAc,EAAE,aAAa,CAAC;YAC5B,GAAG,eAAe,CAAC,iBAAiB,EAAE,cAAc,CAAC;YACrD,GAAG,YAAY,CAAC,iBAAiB,EAAE,aAAa,CAAC;SAClD,CAAC;QACF,SAAS,EAAE,aAAa,CAAC;YACvB,GAAG,eAAe,CAAC,iBAAiB,EAAE,SAAS,CAAC;YAChD,GAAG,YAAY,CAAC,iBAAiB,EAAE,QAAQ,CAAC;SAC7C,CAAC;QACF,oBAAoB;QACpB,GAAG,CAAC,cAAc,CAAC,CAAC,CAAC,EAAE,cAAc,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC7C,GAAG,CAAC,cAAc,CAAC,CAAC,CAAC,EAAE,cAAc,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC7C,GAAG,CAAC,mBAAmB,CAAC,CAAC,CAAC,EAAE,mBAAmB,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACvD,cAAc;QACd,cAAc,EAAE,UAAU,CAAC,MAAM;QACjC,oBAAoB;QACpB,mBAAmB;QACnB,GAAG,CAAC,mBAAmB,CAAC,CAAC,CAAC,EAAE,gBAAgB,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACpD,eAAe;QACf,MAAM;QACN,0BAA0B;QAC1B,kBAAkB,EAAE,0BAA0B,CAAC,iBAAiB,CAAC;QACjE,GAAG,CAAC,QAAQ,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,MAAM,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KACpE,CAAC;IACF,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,0BAA0B,CAAC,iBAAsD;IACxF,MAAM,UAAU,GAAG,WAAW,CAAC,iBAAiB,EAAE,UAAU,CAAC,CAAC;IAC9D,IAAI,UAAU,EAAE,WAAW,EAAE,CAAC,QAAQ,CAAC,MAAM,CAAC;QAAE,OAAO,CAAC,8BAA8B,CAAC,CAAC;IACxF,IAAI,UAAU,EAAE,WAAW,EAAE,CAAC,QAAQ,CAAC,OAAO,CAAC;QAAE,OAAO,CAAC,wBAAwB,EAAE,gCAAgC,CAAC,CAAC;IACrH,OAAO,EAAE,CAAC;AACZ,CAAC;AAED,SAAS,mBAAmB,CAAC,IAAY,EAAE,SAA6B;IACtE,IAAI,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IACvC,OAAO,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,IAAI,CAAC,CAAC;AACjF,CAAC;AAED,KAAK,UAAU,gBAAgB,CAAC,IAAY;IAC1C,IAAI,CAAC;QACH,OAAO,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC;IACrD,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,SAAS,CAAC;IACnB,CAAC;AACH,CAAC;AAED,SAAS,UAAU,CAAC,KAAc;IAChC,OAAO,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC;AAC7C,CAAC;AAED,SAAS,YAAY,CAAC,KAAc;IAClC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IAChC,OAAO,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,CAAC,KAAK,EAA6B,EAAE,CAAC,OAAO,KAAK,CAAC,CAAC,CAAC,KAAK,QAAQ,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC;AACrJ,CAAC;AAED,SAAS,WAAW,CAAC,GAAG,MAA0B;IAChD,OAAO,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAmB,EAAE,CAAC,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC;AAC/G,CAAC;AAED,SAAS,YAAY,CAAC,KAAc;IAClC,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;AACzE,CAAC;AAED,SAAS,YAAY,CACnB,QAAiC,EACjC,eAAoD,EACpD,aAAkD,EAClD,iBAAsD,EACtD,GAAW;IAEX,OAAO,QAAQ,CAAC,GAAG,CAAC,KAAK,IAAI;QAC3B,eAAe,EAAE,CAAC,GAAG,CAAC,KAAK,IAAI;QAC/B,aAAa,EAAE,CAAC,GAAG,CAAC,KAAK,IAAI;QAC7B,iBAAiB,EAAE,CAAC,GAAG,CAAC,KAAK,IAAI,CAAC;AACtC,CAAC"}

package/dist/proof-readmission.d.ts

@@ -0,0 +1,42 @@
+import type { FrontierSwarmEvidenceIndexEntryInput } from '@shapeshift-labs/frontier-swarm';
+import type { FrontierCodexPlaywrightRuntimeProofArtifactIndex } from './types-proof-artifacts.js';
+export declare const FRONTIER_CODEX_PLAYWRIGHT_PROOF_READMISSION_FILE = "playwright-proof-readmission.json";
+export declare const FRONTIER_CODEX_PLAYWRIGHT_PROOF_READMISSION_KIND = "frontier-swarm-codex.playwright-proof-readmission";
+export interface FrontierCodexPlaywrightProofReadmissionRecord {
+    readonly id: string;
+    readonly artifactRecordId: string;
+    readonly artifactPath: string;
+    readonly jobId: string;
+    readonly sourcePath?: string;
+    readonly language: 'html' | 'css' | 'unknown';
+    readonly validator?: string;
+    readonly status: 'admitted' | 'blocked' | 'skipped' | 'unavailable' | 'error';
+    readonly mergeStatus?: string;
+    readonly proofStatus?: string;
+    readonly proofKind?: string;
+    readonly reasonCodes: readonly string[];
+    readonly runtimeEvidenceBound: boolean;
+    readonly message?: string;
+    readonly diagnostics?: readonly string[];
+}
+export interface FrontierCodexPlaywrightProofReadmission {
+    readonly kind: typeof FRONTIER_CODEX_PLAYWRIGHT_PROOF_READMISSION_KIND;
+    readonly version: 1;
+    readonly id: string;
+    readonly generatedAt: number;
+    readonly records: readonly FrontierCodexPlaywrightProofReadmissionRecord[];
+    readonly summary: {
+        readonly total: number;
+        readonly admitted: number;
+        readonly blocked: number;
+        readonly skipped: number;
+        readonly unavailable: number;
+        readonly error: number;
+    };
+}
+export declare function createCodexPlaywrightProofReadmission(input: {
+    readonly proofArtifacts: FrontierCodexPlaywrightRuntimeProofArtifactIndex;
+    readonly generatedAt?: number;
+}): Promise<FrontierCodexPlaywrightProofReadmission | undefined>;
+export declare function createCodexPlaywrightProofReadmissionEvidenceEntries(records: readonly FrontierCodexPlaywrightProofReadmissionRecord[]): FrontierSwarmEvidenceIndexEntryInput[];
+//# sourceMappingURL=proof-readmission.d.ts.map

package/dist/proof-readmission.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"proof-readmission.d.ts","sourceRoot":"","sources":["../src/proof-readmission.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,oCAAoC,EAAE,MAAM,iCAAiC,CAAC;AAE5F,OAAO,KAAK,EACV,gDAAgD,EAEjD,MAAM,4BAA4B,CAAC;AAEpC,eAAO,MAAM,gDAAgD,sCAAsC,CAAC;AACpG,eAAO,MAAM,gDAAgD,sDAAsD,CAAC;AAEpH,MAAM,WAAW,6CAA6C;IAC5D,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAC;IAClC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,QAAQ,EAAE,MAAM,GAAG,KAAK,GAAG,SAAS,CAAC;IAC9C,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,MAAM,EAAE,UAAU,GAAG,SAAS,GAAG,SAAS,GAAG,aAAa,GAAG,OAAO,CAAC;IAC9E,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,WAAW,EAAE,SAAS,MAAM,EAAE,CAAC;IACxC,QAAQ,CAAC,oBAAoB,EAAE,OAAO,CAAC;IACvC,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,WAAW,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;CAC1C;AAED,MAAM,WAAW,uCAAuC;IACtD,QAAQ,CAAC,IAAI,EAAE,OAAO,gDAAgD,CAAC;IACvE,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAC;IACpB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,OAAO,EAAE,SAAS,6CAA6C,EAAE,CAAC;IAC3E,QAAQ,CAAC,OAAO,EAAE;QAChB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;QACvB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;QAC1B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;QACzB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;QACzB,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;QAC7B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;KACxB,CAAC;CACH;AAED,wBAAsB,qCAAqC,CAAC,KAAK,EAAE;IACjE,QAAQ,CAAC,cAAc,EAAE,gDAAgD,CAAC;IAC1E,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;CAC/B,GAAG,OAAO,CAAC,uCAAuC,GAAG,SAAS,CAAC,CAe/D;AAED,wBAAgB,oDAAoD,CAClE,OAAO,EAAE,SAAS,6CAA6C,EAAE,GAChE,oCAAoC,EAAE,CAyBxC"}

package/dist/proof-readmission.js

@@ -0,0 +1,200 @@
+import fs from 'node:fs/promises';
+import { isObject, stableHash, uniqueStrings } from './common.js';
+export const FRONTIER_CODEX_PLAYWRIGHT_PROOF_READMISSION_FILE = 'playwright-proof-readmission.json';
+export const FRONTIER_CODEX_PLAYWRIGHT_PROOF_READMISSION_KIND = 'frontier-swarm-codex.playwright-proof-readmission';
+export async function createCodexPlaywrightProofReadmission(input) {
+    if (!input.proofArtifacts.records.length)
+        return undefined;
+    const lang = await importFrontierLang();
+    const records = [];
+    for (const record of input.proofArtifacts.records) {
+        records.push(await readmitProofArtifact(record, lang));
+    }
+    return {
+        kind: FRONTIER_CODEX_PLAYWRIGHT_PROOF_READMISSION_KIND,
+        version: 1,
+        id: `codex-playwright-proof-readmission:${stableHash(records.map((record) => record.id))}`,
+        generatedAt: input.generatedAt ?? Date.now(),
+        records,
+        summary: summarizeReadmission(records)
+    };
+}
+export function createCodexPlaywrightProofReadmissionEvidenceEntries(records) {
+    return records.map((record) => ({
+        jobId: record.jobId,
+        topic: 'playwright-proof-readmission',
+        path: record.artifactPath,
+        kind: 'playwright-proof-readmission',
+        status: record.status,
+        confidence: record.status === 'admitted' ? 0.9 : record.status === 'blocked' ? 0.45 : 0.25,
+        tags: uniqueStrings([
+            'playwright-proof-readmission',
+            `playwright-proof-readmission-${record.status}`,
+            record.language,
+            record.runtimeEvidenceBound ? 'runtime-evidence-bound' : ''
+        ]),
+        facets: {
+            language: record.language,
+            validator: record.validator ?? '',
+            mergeStatus: record.mergeStatus ?? '',
+            proofStatus: record.proofStatus ?? '',
+            proofKind: record.proofKind ?? '',
+            runtimeEvidenceBound: record.runtimeEvidenceBound,
+            reasonCodes: record.reasonCodes.join(','),
+            sourcePath: record.sourcePath ?? ''
+        }
+    }));
+}
+async function readmitProofArtifact(record, lang) {
+    const language = languageForSource(record.sourcePath);
+    if (record.validatorReadiness !== 'candidate')
+        return readmissionRecord(record, language, 'skipped', { message: 'proof artifact is not a validator candidate' });
+    if (!lang)
+        return readmissionRecord(record, language, 'unavailable', { message: '@shapeshift-labs/frontier-lang is unavailable' });
+    const artifact = await readJson(record.path);
+    const proofBuilderInput = isObject(artifact?.proofBuilderInput) ? artifact.proofBuilderInput : undefined;
+    if (!proofBuilderInput)
+        return readmissionRecord(record, language, 'skipped', { message: 'proofBuilderInput missing from proof artifact' });
+    try {
+        if (language === 'html')
+            return readmitHtml(record, proofBuilderInput, lang);
+        if (language === 'css')
+            return readmitCss(record, proofBuilderInput, lang);
+        return readmissionRecord(record, language, 'skipped', { message: 'unsupported proof artifact source language' });
+    }
+    catch (error) {
+        return readmissionRecord(record, language, 'error', { message: error instanceof Error ? error.message : String(error) });
+    }
+}
+function readmitHtml(record, proofBuilderInput, lang) {
+    const createProof = hasBoundaryProofShape(proofBuilderInput) ? lang.createHtmlRuntimeBoundaryProof : lang.createHtmlRuntimeProof;
+    const safeMerge = lang.safeMergeHtmlSource;
+    if (typeof createProof !== 'function' || typeof safeMerge !== 'function')
+        return readmissionRecord(record, 'html', 'unavailable', { message: 'HTML proof validators unavailable' });
+    const proof = createProof(proofBuilderInput);
+    const merge = safeMerge({
+        id: `readmit:${record.id}`,
+        sourcePath: record.sourcePath,
+        baseSourceText: firstString(proofBuilderInput.baseSourceText, proofBuilderInput.base),
+        workerSourceText: firstString(proofBuilderInput.workerSourceText, proofBuilderInput.worker),
+        headSourceText: firstString(proofBuilderInput.headSourceText, proofBuilderInput.head),
+        ...(hasBoundaryProofShape(proofBuilderInput) ? { htmlRuntimeBoundaryProofs: [proof] } : { htmlBrowserRuntimeProofs: [proof] })
+    });
+    return readmissionRecord(record, 'html', merge?.status === 'merged' ? 'admitted' : 'blocked', {
+        validator: hasBoundaryProofShape(proofBuilderInput) ? 'createHtmlRuntimeBoundaryProof/safeMergeHtmlSource' : 'createHtmlRuntimeProof/safeMergeHtmlSource',
+        merge,
+        proof
+    });
+}
+function readmitCss(record, proofBuilderInput, lang) {
+    const createProof = lang.createCssCascadeRuntimeProof;
+    const safeMerge = lang.safeMergeCssSource;
+    if (typeof createProof !== 'function' || typeof safeMerge !== 'function')
+        return readmissionRecord(record, 'css', 'unavailable', { message: 'CSS proof validators unavailable' });
+    const proof = createProof(proofBuilderInput);
+    const merge = safeMerge({
+        id: `readmit:${record.id}`,
+        sourcePath: record.sourcePath,
+        baseSourceText: firstString(proofBuilderInput.baseSourceText, proofBuilderInput.base),
+        workerSourceText: firstString(proofBuilderInput.workerSourceText, proofBuilderInput.worker),
+        headSourceText: firstString(proofBuilderInput.headSourceText, proofBuilderInput.head),
+        ...cssGraphProofInputs(proofBuilderInput),
+        cssCascadeRuntimeProofs: [proof]
+    });
+    return readmissionRecord(record, 'css', merge?.status === 'merged' ? 'admitted' : 'blocked', {
+        validator: 'createCssCascadeRuntimeProof/safeMergeCssSource',
+        merge,
+        proof
+    });
+}
+function readmissionRecord(record, language, status, input = {}) {
+    const merge = isObject(input.merge) ? input.merge : undefined;
+    const proof = isObject(input.proof) ? input.proof : undefined;
+    return {
+        id: `codex-playwright-proof-readmission-record:${stableHash([record.id, status, merge?.status])}`,
+        artifactRecordId: record.id,
+        artifactPath: record.path,
+        jobId: record.jobId,
+        ...(record.sourcePath ? { sourcePath: record.sourcePath } : {}),
+        language,
+        ...(input.validator ? { validator: input.validator } : {}),
+        status,
+        ...(typeof merge?.status === 'string' ? { mergeStatus: merge.status } : {}),
+        ...(typeof proof?.status === 'string' ? { proofStatus: proof.status } : {}),
+        ...(typeof proof?.kind === 'string' ? { proofKind: proof.kind } : {}),
+        reasonCodes: uniqueStrings([...record.reasonCodes, ...mergeReasonCodes(merge), ...proofReasonCodes(proof)]),
+        runtimeEvidenceBound: record.runtimeEvidenceBound,
+        ...(input.message ? { message: input.message } : {}),
+        diagnostics: diagnosticsFromMerge(merge)
+    };
+}
+function summarizeReadmission(records) {
+    return {
+        total: records.length,
+        admitted: records.filter((record) => record.status === 'admitted').length,
+        blocked: records.filter((record) => record.status === 'blocked').length,
+        skipped: records.filter((record) => record.status === 'skipped').length,
+        unavailable: records.filter((record) => record.status === 'unavailable').length,
+        error: records.filter((record) => record.status === 'error').length
+    };
+}
+async function importFrontierLang() {
+    try {
+        return await import('@shapeshift-labs/frontier-lang');
+    }
+    catch {
+        return undefined;
+    }
+}
+async function readJson(file) {
+    try {
+        const parsed = JSON.parse(await fs.readFile(file, 'utf8'));
+        return isObject(parsed) ? parsed : undefined;
+    }
+    catch {
+        return undefined;
+    }
+}
+function languageForSource(sourcePath) {
+    if (sourcePath?.toLowerCase().endsWith('.html'))
+        return 'html';
+    if (sourcePath?.toLowerCase().endsWith('.css'))
+        return 'css';
+    return 'unknown';
+}
+function hasBoundaryProofShape(input) {
+    return typeof input.boundary === 'string' || Array.isArray(input.boundaryAttributes) || typeof input.attributeName === 'string';
+}
+function cssGraphProofInputs(input) {
+    return compact({
+        scopedCascadeGraphHash: input.scopedCascadeGraphHash,
+        baseScopedCascadeGraphHash: input.baseScopedCascadeGraphHash,
+        workerScopedCascadeGraphHash: input.workerScopedCascadeGraphHash,
+        headScopedCascadeGraphHash: input.headScopedCascadeGraphHash
+    });
+}
+function mergeReasonCodes(merge) {
+    const conflicts = Array.isArray(merge?.conflicts) ? merge.conflicts.filter(isObject) : [];
+    return conflicts.flatMap((conflict) => isObject(conflict.details) && typeof conflict.details.reasonCode === 'string' ? [conflict.details.reasonCode] : []);
+}
+function proofReasonCodes(proof) {
+    return [
+        ...stringArray(proof?.reasonCodes),
+        ...(typeof proof?.reasonCode === 'string' ? [proof.reasonCode] : [])
+    ];
+}
+function diagnosticsFromMerge(merge) {
+    const conflicts = Array.isArray(merge?.conflicts) ? merge.conflicts.filter(isObject) : [];
+    const diagnostics = conflicts.map((conflict) => isObject(conflict.details) && typeof conflict.details.reasonCode === 'string' ? conflict.details.reasonCode : undefined).filter((entry) => Boolean(entry));
+    return diagnostics.length ? uniqueStrings(diagnostics) : undefined;
+}
+function firstString(...values) {
+    return values.find((value) => typeof value === 'string' && value.length > 0);
+}
+function stringArray(value) {
+    return Array.isArray(value) ? value.filter((entry) => typeof entry === 'string') : [];
+}
+function compact(input) {
+    return Object.fromEntries(Object.entries(input).filter(([, value]) => value !== undefined));
+}
+//# sourceMappingURL=proof-readmission.js.map

package/dist/proof-readmission.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"proof-readmission.js","sourceRoot":"","sources":["../src/proof-readmission.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,kBAAkB,CAAC;AAElC,OAAO,EAAE,QAAQ,EAAE,UAAU,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAMlE,MAAM,CAAC,MAAM,gDAAgD,GAAG,mCAAmC,CAAC;AACpG,MAAM,CAAC,MAAM,gDAAgD,GAAG,mDAAmD,CAAC;AAoCpH,MAAM,CAAC,KAAK,UAAU,qCAAqC,CAAC,KAG3D;IACC,IAAI,CAAC,KAAK,CAAC,cAAc,CAAC,OAAO,CAAC,MAAM;QAAE,OAAO,SAAS,CAAC;IAC3D,MAAM,IAAI,GAAG,MAAM,kBAAkB,EAAE,CAAC;IACxC,MAAM,OAAO,GAAoD,EAAE,CAAC;IACpE,KAAK,MAAM,MAAM,IAAI,KAAK,CAAC,cAAc,CAAC,OAAO,EAAE,CAAC;QAClD,OAAO,CAAC,IAAI,CAAC,MAAM,oBAAoB,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC;IACzD,CAAC;IACD,OAAO;QACL,IAAI,EAAE,gDAAgD;QACtD,OAAO,EAAE,CAAC;QACV,EAAE,EAAE,sCAAsC,UAAU,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE;QAC1F,WAAW,EAAE,KAAK,CAAC,WAAW,IAAI,IAAI,CAAC,GAAG,EAAE;QAC5C,OAAO;QACP,OAAO,EAAE,oBAAoB,CAAC,OAAO,CAAC;KACvC,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,oDAAoD,CAClE,OAAiE;IAEjE,OAAO,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;QAC9B,KAAK,EAAE,MAAM,CAAC,KAAK;QACnB,KAAK,EAAE,8BAA8B;QACrC,IAAI,EAAE,MAAM,CAAC,YAAY;QACzB,IAAI,EAAE,8BAA8B;QACpC,MAAM,EAAE,MAAM,CAAC,MAAM;QACrB,UAAU,EAAE,MAAM,CAAC,MAAM,KAAK,UAAU,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI;QAC1F,IAAI,EAAE,aAAa,CAAC;YAClB,8BAA8B;YAC9B,gCAAgC,MAAM,CAAC,MAAM,EAAE;YAC/C,MAAM,CAAC,QAAQ;YACf,MAAM,CAAC,oBAAoB,CAAC,CAAC,CAAC,wBAAwB,CAAC,CAAC,CAAC,EAAE;SAC5D,CAAC;QACF,MAAM,EAAE;YACN,QAAQ,EAAE,MAAM,CAAC,QAAQ;YACzB,SAAS,EAAE,MAAM,CAAC,SAAS,IAAI,EAAE;YACjC,WAAW,EAAE,MAAM,CAAC,WAAW,IAAI,EAAE;YACrC,WAAW,EAAE,MAAM,CAAC,WAAW,IAAI,EAAE;YACrC,SAAS,EAAE,MAAM,CAAC,SAAS,IAAI,EAAE;YACjC,oBAAoB,EAAE,MAAM,CAAC,oBAAoB;YACjD,WAAW,EAAE,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC,GAAG,CAAC;YACzC,UAAU,EAAE,MAAM,CAAC,UAAU,IAAI,EAAE;SACpC;KACF,CAAC,CAAC,CAAC;AACN,CAAC;AAED,KAAK,UAAU,oBAAoB,CACjC,MAAyD,EACzD,IAAyC;IAEzC,MAAM,QAAQ,GAAG,iBAAiB,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;IACtD,IAAI,MAAM,CAAC,kBAAkB,KAAK,WAAW;QAAE,OAAO,iBAAiB,CAAC,MAAM,EAAE,QAAQ,EAAE,SAAS,EAAE,EAAE,OAAO,EAAE,6CAA6C,EAAE,CAAC,CAAC;IACjK,IAAI,CAAC,IAAI;QAAE,OAAO,iBAAiB,CAAC,MAAM,EAAE,QAAQ,EAAE,aAAa,EAAE,EAAE,OAAO,EAAE,+CAA+C,EAAE,CAAC,CAAC;IACnI,MAAM,QAAQ,GAAG,MAAM,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IAC7C,MAAM,iBAAiB,GAAG,QAAQ,CAAC,QAAQ,EAAE,iBAAiB,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,iBAAiB,CAAC,CAAC,CAAC,SAAS,CAAC;IACzG,IAAI,CAAC,iBAAiB;QAAE,OAAO,iBAAiB,CAAC,MAAM,EAAE,QAAQ,EAAE,SAAS,EAAE,EAAE,OAAO,EAAE,+CAA+C,EAAE,CAAC,CAAC;IAC5I,IAAI,CAAC;QACH,IAAI,QAAQ,KAAK,MAAM;YAAE,OAAO,WAAW,CAAC,MAAM,EAAE,iBAAiB,EAAE,IAAI,CAAC,CAAC;QAC7E,IAAI,QAAQ,KAAK,KAAK;YAAE,OAAO,UAAU,CAAC,MAAM,EAAE,iBAAiB,EAAE,IAAI,CAAC,CAAC;QAC3E,OAAO,iBAAiB,CAAC,MAAM,EAAE,QAAQ,EAAE,SAAS,EAAE,EAAE,OAAO,EAAE,4CAA4C,EAAE,CAAC,CAAC;IACnH,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,OAAO,iBAAiB,CAAC,MAAM,EAAE,QAAQ,EAAE,OAAO,EAAE,EAAE,OAAO,EAAE,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;IAC3H,CAAC;AACH,CAAC;AAED,SAAS,WAAW,CAClB,MAAyD,EACzD,iBAA0C,EAC1C,IAA6B;IAE7B,MAAM,WAAW,GAAG,qBAAqB,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,8BAA8B,CAAC,CAAC,CAAC,IAAI,CAAC,sBAAsB,CAAC;IACjI,MAAM,SAAS,GAAG,IAAI,CAAC,mBAAmB,CAAC;IAC3C,IAAI,OAAO,WAAW,KAAK,UAAU,IAAI,OAAO,SAAS,KAAK,UAAU;QAAE,OAAO,iBAAiB,CAAC,MAAM,EAAE,MAAM,EAAE,aAAa,EAAE,EAAE,OAAO,EAAE,mCAAmC,EAAE,CAAC,CAAC;IACpL,MAAM,KAAK,GAAG,WAAW,CAAC,iBAAiB,CAAC,CAAC;IAC7C,MAAM,KAAK,GAAG,SAAS,CAAC;QACtB,EAAE,EAAE,WAAW,MAAM,CAAC,EAAE,EAAE;QAC1B,UAAU,EAAE,MAAM,CAAC,UAAU;QAC7B,cAAc,EAAE,WAAW,CAAC,iBAAiB,CAAC,cAAc,EAAE,iBAAiB,CAAC,IAAI,CAAC;QACrF,gBAAgB,EAAE,WAAW,CAAC,iBAAiB,CAAC,gBAAgB,EAAE,iBAAiB,CAAC,MAAM,CAAC;QAC3F,cAAc,EAAE,WAAW,CAAC,iBAAiB,CAAC,cAAc,EAAE,iBAAiB,CAAC,IAAI,CAAC;QACrF,GAAG,CAAC,qBAAqB,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC,EAAE,yBAAyB,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,wBAAwB,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC;KAC/H,CAAC,CAAC;IACH,OAAO,iBAAiB,CAAC,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,KAAK,QAAQ,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,SAAS,EAAE;QAC5F,SAAS,EAAE,qBAAqB,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC,oDAAoD,CAAC,CAAC,CAAC,4CAA4C;QACzJ,KAAK;QACL,KAAK;KACN,CAAC,CAAC;AACL,CAAC;AAED,SAAS,UAAU,CACjB,MAAyD,EACzD,iBAA0C,EAC1C,IAA6B;IAE7B,MAAM,WAAW,GAAG,IAAI,CAAC,4BAA4B,CAAC;IACtD,MAAM,SAAS,GAAG,IAAI,CAAC,kBAAkB,CAAC;IAC1C,IAAI,OAAO,WAAW,KAAK,UAAU,IAAI,OAAO,SAAS,KAAK,UAAU;QAAE,OAAO,iBAAiB,CAAC,MAAM,EAAE,KAAK,EAAE,aAAa,EAAE,EAAE,OAAO,EAAE,kCAAkC,EAAE,CAAC,CAAC;IAClL,MAAM,KAAK,GAAG,WAAW,CAAC,iBAAiB,CAAC,CAAC;IAC7C,MAAM,KAAK,GAAG,SAAS,CAAC;QACtB,EAAE,EAAE,WAAW,MAAM,CAAC,EAAE,EAAE;QAC1B,UAAU,EAAE,MAAM,CAAC,UAAU;QAC7B,cAAc,EAAE,WAAW,CAAC,iBAAiB,CAAC,cAAc,EAAE,iBAAiB,CAAC,IAAI,CAAC;QACrF,gBAAgB,EAAE,WAAW,CAAC,iBAAiB,CAAC,gBAAgB,EAAE,iBAAiB,CAAC,MAAM,CAAC;QAC3F,cAAc,EAAE,WAAW,CAAC,iBAAiB,CAAC,cAAc,EAAE,iBAAiB,CAAC,IAAI,CAAC;QACrF,GAAG,mBAAmB,CAAC,iBAAiB,CAAC;QACzC,uBAAuB,EAAE,CAAC,KAAK,CAAC;KACjC,CAAC,CAAC;IACH,OAAO,iBAAiB,CAAC,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,KAAK,QAAQ,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,SAAS,EAAE;QAC3F,SAAS,EAAE,iDAAiD;QAC5D,KAAK;QACL,KAAK;KACN,CAAC,CAAC;AACL,CAAC;AAED,SAAS,iBAAiB,CACxB,MAAyD,EACzD,QAAmE,EACnE,MAA+D,EAC/D,QAAoF,EAAE;IAEtF,MAAM,KAAK,GAAG,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC;IAC9D,MAAM,KAAK,GAAG,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC;IAC9D,OAAO;QACL,EAAE,EAAE,6CAA6C,UAAU,CAAC,CAAC,MAAM,CAAC,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC,EAAE;QACjG,gBAAgB,EAAE,MAAM,CAAC,EAAE;QAC3B,YAAY,EAAE,MAAM,CAAC,IAAI;QACzB,KAAK,EAAE,MAAM,CAAC,KAAK;QACnB,GAAG,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,MAAM,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC/D,QAAQ;QACR,GAAG,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,KAAK,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC1D,MAAM;QACN,GAAG,CAAC,OAAO,KAAK,EAAE,MAAM,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC3E,GAAG,CAAC,OAAO,KAAK,EAAE,MAAM,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC3E,GAAG,CAAC,OAAO,KAAK,EAAE,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACrE,WAAW,EAAE,aAAa,CAAC,CAAC,GAAG,MAAM,CAAC,WAAW,EAAE,GAAG,gBAAgB,CAAC,KAAK,CAAC,EAAE,GAAG,gBAAgB,CAAC,KAAK,CAAC,CAAC,CAAC;QAC3G,oBAAoB,EAAE,MAAM,CAAC,oBAAoB;QACjD,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACpD,WAAW,EAAE,oBAAoB,CAAC,KAAK,CAAC;KACzC,CAAC;AACJ,CAAC;AAED,SAAS,oBAAoB,CAAC,OAAiE;IAC7F,OAAO;QACL,KAAK,EAAE,OAAO,CAAC,MAAM;QACrB,QAAQ,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,KAAK,UAAU,CAAC,CAAC,MAAM;QACzE,OAAO,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,MAAM;QACvE,OAAO,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,MAAM;QACvE,WAAW,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,KAAK,aAAa,CAAC,CAAC,MAAM;QAC/E,KAAK,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,KAAK,OAAO,CAAC,CAAC,MAAM;KACpE,CAAC;AACJ,CAAC;AAED,KAAK,UAAU,kBAAkB;IAC/B,IAAI,CAAC;QACH,OAAO,MAAM,MAAM,CAAC,gCAAgC,CAA4B,CAAC;IACnF,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,SAAS,CAAC;IACnB,CAAC;AACH,CAAC;AAED,KAAK,UAAU,QAAQ,CAAC,IAAY;IAClC,IAAI,CAAC;QACH,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC;QAC3D,OAAO,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC;IAC/C,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,SAAS,CAAC;IACnB,CAAC;AACH,CAAC;AAED,SAAS,iBAAiB,CAAC,UAA8B;IACvD,IAAI,UAAU,EAAE,WAAW,EAAE,CAAC,QAAQ,CAAC,OAAO,CAAC;QAAE,OAAO,MAAM,CAAC;IAC/D,IAAI,UAAU,EAAE,WAAW,EAAE,CAAC,QAAQ,CAAC,MAAM,CAAC;QAAE,OAAO,KAAK,CAAC;IAC7D,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,qBAAqB,CAAC,KAA8B;IAC3D,OAAO,OAAO,KAAK,CAAC,QAAQ,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,kBAAkB,CAAC,IAAI,OAAO,KAAK,CAAC,aAAa,KAAK,QAAQ,CAAC;AAClI,CAAC;AAED,SAAS,mBAAmB,CAAC,KAA8B;IACzD,OAAO,OAAO,CAAC;QACb,sBAAsB,EAAE,KAAK,CAAC,sBAAsB;QACpD,0BAA0B,EAAE,KAAK,CAAC,0BAA0B;QAC5D,4BAA4B,EAAE,KAAK,CAAC,4BAA4B;QAChE,0BAA0B,EAAE,KAAK,CAAC,0BAA0B;KAC7D,CAAC,CAAC;AACL,CAAC;AAED,SAAS,gBAAgB,CAAC,KAA0C;IAClE,MAAM,SAAS,GAAG,KAAK,CAAC,OAAO,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,SAAS,CAAC,MAAM,CAAC,QAAQ,CAA8B,CAAC,CAAC,CAAC,EAAE,CAAC;IACvH,OAAO,SAAS,CAAC,OAAO,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,OAAO,QAAQ,CAAC,OAAO,CAAC,UAAU,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;AAC7J,CAAC;AAED,SAAS,gBAAgB,CAAC,KAA0C;IAClE,OAAO;QACL,GAAG,WAAW,CAAC,KAAK,EAAE,WAAW,CAAC;QAClC,GAAG,CAAC,OAAO,KAAK,EAAE,UAAU,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;KACrE,CAAC;AACJ,CAAC;AAED,SAAS,oBAAoB,CAAC,KAA0C;IACtE,MAAM,SAAS,GAAG,KAAK,CAAC,OAAO,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,SAAS,CAAC,MAAM,CAAC,QAAQ,CAA8B,CAAC,CAAC,CAAC,EAAE,CAAC;IACvH,MAAM,WAAW,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,OAAO,QAAQ,CAAC,OAAO,CAAC,UAAU,KAAK,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,MAAM,CAAC,CAAC,KAAK,EAAmB,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC;IAC5N,OAAO,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,aAAa,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;AACrE,CAAC;AAED,SAAS,WAAW,CAAC,GAAG,MAA0B;IAChD,OAAO,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAmB,EAAE,CAAC,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;AAChG,CAAC;AAED,SAAS,WAAW,CAAC,KAAc;IACjC,OAAO,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,KAAK,EAAmB,EAAE,CAAC,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;AACzG,CAAC;AAED,SAAS,OAAO,CAAC,KAA8B;IAC7C,OAAO,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC;AAC9F,CAAC"}

package/dist/proof-route-tasks.js

@@ -66,6 +66,7 @@ function proofRouteRequestToTask(request, input) {
         },
         acceptance: [
             'Use @shapeshift-labs/frontier-playwright runFrontierPlaywrightAssertionRuntimeProof or runFrontierPlaywrightSourceRuntimeProof.',
+            'Write playwright-runtime-proof.json with createFrontierPlaywrightRuntimeProofArtifact and stringifyFrontierPlaywrightRuntimeProofArtifact, and include that file path in the merge bundle evidencePaths.',
             'Bind proof input to exact base/worker/head/output source text or hashes when those sources are available.',
             'Write source-bound proofBuilderInput and assertion/runtime evidence under the job evidence directory.',
             'Keep semanticEquivalenceClaim, browserEquivalenceClaim, runtimeEquivalenceClaim, and autoMergeClaim false until the language validator admits the proof.',

package/dist/proof-route-tasks.js.map

@@ -1 +1 @@
-{"version":3,"file":"proof-route-tasks.js","sourceRoot":"","sources":["../src/proof-route-tasks.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,kBAAkB,EAGnB,MAAM,iCAAiC,CAAC;AACzC,OAAO,EAAE,QAAQ,EAAE,eAAe,EAAE,IAAI,EAAE,UAAU,EAAE,aAAa,EAAE,oBAAoB,EAAE,MAAM,aAAa,CAAC;AAG/G,MAAM,CAAC,MAAM,+CAA+C,GAAG,mDAAmD,CAAC;AACnH,MAAM,CAAC,MAAM,kDAAkD,GAAG,8CAA8C,CAAC;AAkCjH,MAAM,UAAU,6BAA6B,CAAC,KAA0C;IACtF,MAAM,QAAQ,GAAG,IAAI,GAAG,EAA0C,CAAC;IACnE,KAAK,MAAM,KAAK,IAAI,iBAAiB,CAAC,KAAK,CAAC,UAAU,CAAC,EAAE,CAAC;QACxD,mBAAmB,CAAC,KAAK,CAAC,MAAM,EAAE,iBAAiB,CAAC,KAAK,CAAC,EAAE,QAAQ,EAAE,IAAI,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC;IACtF,CAAC;IACD,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK,IAAI,EAAE,EAAE,CAAC;QACrC,mBAAmB,CAAC,IAAI,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC;IACxD,CAAC;IACD,OAAO,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,aAAa,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC;AAC9F,CAAC;AAED,MAAM,UAAU,0BAA0B,CAAC,KAAuC;IAChF,OAAO,6BAA6B,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,uBAAuB,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC,CAAC;AACxG,CAAC;AAED,MAAM,UAAU,4BAA4B,CAAC,KAAuC;IAClF,MAAM,KAAK,GAAG,0BAA0B,CAAC,KAAK,CAAC,CAAC;IAChD,OAAO,kBAAkB,CAAC;QACxB,EAAE,EAAE,6BAA6B,UAAU,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,EAAE;QAC3E,KAAK,EAAE,2BAA2B;QAClC,OAAO,EAAE,KAAK,CAAC,WAAW;QAC1B,KAAK;QACL,QAAQ,EAAE;YACR,MAAM,EAAE,sBAAsB;YAC9B,SAAS,EAAE,+CAA+C;YAC1D,YAAY,EAAE,KAAK,CAAC,MAAM;YAC1B,aAAa,EAAE,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,OAAO;SACzD;KACF,CAAC,CAAC;AACL,CAAC;AAED,SAAS,uBAAuB,CAC9B,OAAuC,EACvC,KAAuC;IAEvC,MAAM,IAAI,GAAG,UAAU,CAAC,CAAC,OAAO,CAAC,EAAE,EAAE,OAAO,CAAC,YAAY,EAAE,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IACnH,MAAM,aAAa,GAAG,IAAI,CAAC,OAAO,CAAC,WAAW,IAAI,OAAO,CAAC,YAAY,IAAI,OAAO,CAAC,IAAI,IAAI,uBAAuB,CAAC,CAAC;IACnH,MAAM,EAAE,GAAG,GAAG,KAAK,CAAC,YAAY,IAAI,cAAc,GAAG,aAAa,IAAI,IAAI,EAAE,CAAC;IAC7E,MAAM,UAAU,GAAG,aAAa,CAAC,CAAC,GAAG,OAAO,CAAC,UAAU,EAAE,GAAG,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC;IACjF,OAAO;QACL,EAAE;QACF,KAAK,EAAE,sCAAsC,OAAO,CAAC,WAAW,IAAI,OAAO,CAAC,IAAI,IAAI,0BAA0B,EAAE;QAChH,SAAS,EAAE,wHAAwH;QACnI,IAAI,EAAE,uBAAuB;QAC7B,IAAI,EAAE,KAAK,CAAC,IAAI,IAAI,SAAS;QAC7B,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACpD,GAAG,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,OAAO,CAAC,YAAY,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACvE,QAAQ,EAAE,EAAE;QACZ,UAAU;QACV,UAAU,EAAE,OAAO,CAAC,UAAU;QAC9B,aAAa,EAAE,CAAC,eAAe,CAAC;QAChC,YAAY,EAAE;YACZ,oBAAoB;YACpB,gCAAgC;YAChC,gBAAgB;YAChB,oBAAoB;SACrB;QACD,oBAAoB,EAAE;YACpB,YAAY,EAAE,CAAC,oBAAoB,CAAC;YACpC,SAAS,EAAE,EAAE,OAAO,EAAE,CAAC,EAAE;YACzB,OAAO,EAAE;gBACP,QAAQ,EAAE,IAAI;gBACd,cAAc,EAAE,CAAC;gBACjB,GAAG,CAAC,KAAK,CAAC,eAAe,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,GAAG,KAAK,CAAC,eAAe,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBAClF,GAAG,CAAC,KAAK,CAAC,uBAAuB,CAAC,CAAC,CAAC,EAAE,gBAAgB,EAAE,KAAK,CAAC,uBAAuB,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBAC7F,QAAQ,EAAE,KAAK,CAAC,eAAe,IAAI,IAAI;aACxC;SACF;QACD,UAAU,EAAE;YACV,iIAAiI;YACjI,2GAA2G;YAC3G,uGAAuG;YACvG,0JAA0J;YAC1J,iIAAiI;SAClI;QACD,YAAY,EAAE,EAAE;QAChB,IAAI,EAAE;YACJ,sBAAsB;YACtB,gCAAgC;YAChC,oCAAoC;YACpC,OAAO,CAAC,SAAS;YACjB,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;SACxC;QACD,QAAQ,EAAE;YACR,MAAM,EAAE,wCAAwC;YAChD,UAAU,EAAE;gBACV,EAAE,EAAE,OAAO,CAAC,EAAE;gBACd,SAAS,EAAE,OAAO,CAAC,SAAS;gBAC5B,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBAC/C,GAAG,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBACxD,cAAc,EAAE,OAAO,CAAC,cAAc;gBACtC,YAAY,EAAE,OAAO,CAAC,YAAY;gBAClC,UAAU,EAAE,OAAO,CAAC,UAAU;gBAC9B,UAAU,EAAE,OAAO,CAAC,UAAU;aAC/B;YACD,aAAa,EAAE;gBACb,OAAO,EAAE,sCAAsC;gBAC/C,SAAS,EAAE,CAAC,4CAA4C,EAAE,yCAAyC,CAAC;aACrG;YACD,cAAc,EAAE;gBACd,IAAI,EAAE,CAAC,wBAAwB,EAAE,gCAAgC,CAAC;gBAClE,GAAG,EAAE,CAAC,8BAA8B,CAAC;aACtC;YACD,YAAY,EAAE;gBACZ,GAAG,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,OAAO,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBAC9D,GAAG,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,OAAO,CAAC,YAAY,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBACjE,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBACrD,GAAG,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,OAAO,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBAC9D,GAAG,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,OAAO,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;aAC/D;SACF;KACF,CAAC;AACJ,CAAC;AAED,SAAS,mBAAmB,CAC1B,KAAc,EACd,OAAgD,EAChD,GAAgD,EAChD,IAAkB,EAClB,KAAa;IAEb,IAAI,KAAK,GAAG,EAAE,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO;IAChE,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO;IACtC,IAAI,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC;QAAE,OAAO;IAC5B,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IAChB,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACzB,KAAK,MAAM,KAAK,IAAI,KAAK;YAAE,mBAAmB,CAAC,KAAK,EAAE,OAAO,EAAE,GAAG,EAAE,IAAI,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;QACrF,OAAO;IACT,CAAC;IACD,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC;QAAE,OAAO;IAC7B,MAAM,OAAO,GAAG,2BAA2B,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;IAC5D,IAAI,OAAO;QAAE,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,EAAE,OAAO,CAAC,CAAC;IAC1C,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;QACzC,IAAI,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ;YAAE,mBAAmB,CAAC,KAAK,EAAE,OAAO,EAAE,GAAG,EAAE,IAAI,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;IACpG,CAAC;AACH,CAAC;AAED,SAAS,2BAA2B,CAClC,MAA+B,EAC/B,OAAgD;IAEhD,MAAM,SAAS,GAAG,WAAW,CAAC,MAAM,EAAE,CAAC,WAAW,EAAE,WAAW,EAAE,YAAY,EAAE,QAAQ,CAAC,CAAC,CAAC;IAC1F,MAAM,IAAI,GAAG,WAAW,CAAC,MAAM,EAAE,CAAC,MAAM,EAAE,YAAY,EAAE,IAAI,CAAC,CAAC,CAAC;IAC/D,IAAI,CAAC,+BAA+B,CAAC,SAAS,EAAE,IAAI,CAAC;QAAE,OAAO,SAAS,CAAC;IACxE,MAAM,OAAO,GAAG,WAAW,CAAC,MAAM,EAAE,CAAC,SAAS,EAAE,SAAS,EAAE,aAAa,EAAE,QAAQ,CAAC,CAAC,CAAC;IACrF,MAAM,cAAc,GAAG,QAAQ,CAAC,MAAM,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,MAAM,CAAC,cAAc,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IAC3F,MAAM,YAAY,GAAG,oBAAoB,CAAC;QACxC,GAAG,SAAS,CAAC,MAAM,CAAC;QACpB,GAAG,CAAC,OAAO,CAAC,YAAY,IAAI,EAAE,CAAC;KAChC,CAAC,CAAC;IACH,MAAM,WAAW,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;IACnF,MAAM,UAAU,GAAG,oBAAoB,CAAC;QACtC,GAAG,eAAe,CAAC,MAAM,CAAC,UAAU,CAAC;QACrC,GAAG,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,YAAY,CAAC;QACpD,GAAG,CAAC,OAAO,CAAC,UAAU,IAAI,EAAE,CAAC;KAC9B,CAAC,CAAC;IACH,MAAM,UAAU,GAAG,oBAAoB,CAAC;QACtC,GAAG,eAAe,CAAC,MAAM,CAAC,UAAU,CAAC;QACrC,GAAG,YAAY;QACf,GAAG,CAAC,OAAO,CAAC,UAAU,IAAI,EAAE,CAAC;KAC9B,CAAC,CAAC;IACH,MAAM,WAAW,GAAG;QAClB,SAAS,IAAI,+CAA+C;QAC5D,IAAI;QACJ,OAAO;QACP,OAAO,CAAC,WAAW;QACnB,OAAO,CAAC,YAAY;QACpB,YAAY;QACZ,cAAc;KACf,CAAC;IACF,MAAM,EAAE,GAAG,qBAAqB,UAAU,CAAC,WAAW,CAAC,EAAE,CAAC;IAC1D,OAAO;QACL,EAAE;QACF,SAAS,EAAE,SAAS,IAAI,+CAA+C;QACvE,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACzB,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC/B,GAAG,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,OAAO,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACpE,GAAG,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,OAAO,CAAC,YAAY,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACvE,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACrD,GAAG,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,OAAO,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC9D,GAAG,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,OAAO,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC9D,YAAY;QACZ,UAAU;QACV,UAAU;QACV,cAAc;QACd,QAAQ,EAAE;YACR,QAAQ,EAAE,wCAAwC;YAClD,SAAS,EAAE,YAAY,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,MAAM;SAC1D;KACF,CAAC;AACJ,CAAC;AAED,SAAS,+BAA+B,CAAC,SAA6B,EAAE,IAAwB;IAC9F,OAAO,YAAY,CAAC,SAAS,CAAC,IAAI,IAAI,KAAK,kDAAkD,CAAC;AAChG,CAAC;AAED,SAAS,YAAY,CAAC,KAAyB;IAC7C,OAAO,cAAc,CAAC,KAAK,CAAC,KAAK,cAAc,CAAC,+CAA+C,CAAC,CAAC;AACnG,CAAC;AAED,SAAS,iBAAiB,CAAC,UAAkD;IAC3E,IAAI,CAAC,UAAU;QAAE,OAAO,EAAE,CAAC;IAC3B,OAAO,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;AACxD,CAAC;AAED,SAAS,iBAAiB,CAAC,KAAmC;IAC5D,MAAM,YAAY,GAAG,oBAAoB,CAAC,KAAK,CAAC,MAAM,CAAC,YAAY,IAAI,EAAE,CAAC,CAAC;IAC3E,MAAM,YAAY,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC;IAC9F,OAAO;QACL,WAAW,EAAE,KAAK,CAAC,MAAM,CAAC,KAAK,IAAI,KAAK,CAAC,KAAK;QAC9C,YAAY,EAAE,KAAK,CAAC,MAAM,CAAC,MAAM;QACjC,MAAM,EAAE,KAAK,CAAC,MAAM;QACpB,SAAS,EAAE,KAAK,CAAC,SAAS;QAC1B,SAAS,EAAE,KAAK,CAAC,SAAS;QAC1B,YAAY;QACZ,UAAU,EAAE,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,YAAY;QAC7D,UAAU,EAAE,oBAAoB,CAAC;YAC/B,GAAG,YAAY;YACf,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,aAAa,IAAI,EAAE,CAAC;SACtC,CAAC;KACH,CAAC;AACJ,CAAC;AAED,SAAS,SAAS,CAAC,MAA+B;IAChD,OAAO,aAAa,CAAC;QACnB,GAAG,eAAe,CAAC,MAAM,CAAC,YAAY,CAAC;QACvC,GAAG,eAAe,CAAC,MAAM,CAAC,WAAW,CAAC;QACtC,GAAG,eAAe,CAAC,MAAM,CAAC,KAAK,CAAC;QAChC,GAAG,YAAY,CAAC,MAAM,CAAC,WAAW,CAAC;QACnC,GAAG,YAAY,CAAC,MAAM,CAAC,UAAU,CAAC;QAClC,GAAG,YAAY,CAAC,MAAM,CAAC,IAAI,CAAC;KAC7B,CAAC,CAAC;AACL,CAAC;AAED,SAAS,WAAW,CAAC,MAA+B,EAAE,IAAuB;IAC3E,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACvB,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC;QAC1B,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,IAAI,EAAE;YAAE,OAAO,KAAK,CAAC,IAAI,EAAE,CAAC;IACrE,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,YAAY,CAAC,KAAc;IAClC,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;AACzE,CAAC;AAED,SAAS,cAAc,CAAC,KAAyB;IAC/C,OAAO,MAAM,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC,OAAO,CAAC,aAAa,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC;AACtG,CAAC"}
+{"version":3,"file":"proof-route-tasks.js","sourceRoot":"","sources":["../src/proof-route-tasks.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,kBAAkB,EAGnB,MAAM,iCAAiC,CAAC;AACzC,OAAO,EAAE,QAAQ,EAAE,eAAe,EAAE,IAAI,EAAE,UAAU,EAAE,aAAa,EAAE,oBAAoB,EAAE,MAAM,aAAa,CAAC;AAG/G,MAAM,CAAC,MAAM,+CAA+C,GAAG,mDAAmD,CAAC;AACnH,MAAM,CAAC,MAAM,kDAAkD,GAAG,8CAA8C,CAAC;AAkCjH,MAAM,UAAU,6BAA6B,CAAC,KAA0C;IACtF,MAAM,QAAQ,GAAG,IAAI,GAAG,EAA0C,CAAC;IACnE,KAAK,MAAM,KAAK,IAAI,iBAAiB,CAAC,KAAK,CAAC,UAAU,CAAC,EAAE,CAAC;QACxD,mBAAmB,CAAC,KAAK,CAAC,MAAM,EAAE,iBAAiB,CAAC,KAAK,CAAC,EAAE,QAAQ,EAAE,IAAI,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC;IACtF,CAAC;IACD,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK,IAAI,EAAE,EAAE,CAAC;QACrC,mBAAmB,CAAC,IAAI,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC;IACxD,CAAC;IACD,OAAO,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,aAAa,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC;AAC9F,CAAC;AAED,MAAM,UAAU,0BAA0B,CAAC,KAAuC;IAChF,OAAO,6BAA6B,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,uBAAuB,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC,CAAC;AACxG,CAAC;AAED,MAAM,UAAU,4BAA4B,CAAC,KAAuC;IAClF,MAAM,KAAK,GAAG,0BAA0B,CAAC,KAAK,CAAC,CAAC;IAChD,OAAO,kBAAkB,CAAC;QACxB,EAAE,EAAE,6BAA6B,UAAU,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,EAAE;QAC3E,KAAK,EAAE,2BAA2B;QAClC,OAAO,EAAE,KAAK,CAAC,WAAW;QAC1B,KAAK;QACL,QAAQ,EAAE;YACR,MAAM,EAAE,sBAAsB;YAC9B,SAAS,EAAE,+CAA+C;YAC1D,YAAY,EAAE,KAAK,CAAC,MAAM;YAC1B,aAAa,EAAE,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,OAAO;SACzD;KACF,CAAC,CAAC;AACL,CAAC;AAED,SAAS,uBAAuB,CAC9B,OAAuC,EACvC,KAAuC;IAEvC,MAAM,IAAI,GAAG,UAAU,CAAC,CAAC,OAAO,CAAC,EAAE,EAAE,OAAO,CAAC,YAAY,EAAE,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IACnH,MAAM,aAAa,GAAG,IAAI,CAAC,OAAO,CAAC,WAAW,IAAI,OAAO,CAAC,YAAY,IAAI,OAAO,CAAC,IAAI,IAAI,uBAAuB,CAAC,CAAC;IACnH,MAAM,EAAE,GAAG,GAAG,KAAK,CAAC,YAAY,IAAI,cAAc,GAAG,aAAa,IAAI,IAAI,EAAE,CAAC;IAC7E,MAAM,UAAU,GAAG,aAAa,CAAC,CAAC,GAAG,OAAO,CAAC,UAAU,EAAE,GAAG,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC;IACjF,OAAO;QACL,EAAE;QACF,KAAK,EAAE,sCAAsC,OAAO,CAAC,WAAW,IAAI,OAAO,CAAC,IAAI,IAAI,0BAA0B,EAAE;QAChH,SAAS,EAAE,wHAAwH;QACnI,IAAI,EAAE,uBAAuB;QAC7B,IAAI,EAAE,KAAK,CAAC,IAAI,IAAI,SAAS;QAC7B,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACpD,GAAG,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,OAAO,CAAC,YAAY,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACvE,QAAQ,EAAE,EAAE;QACZ,UAAU;QACV,UAAU,EAAE,OAAO,CAAC,UAAU;QAC9B,aAAa,EAAE,CAAC,eAAe,CAAC;QAChC,YAAY,EAAE;YACZ,oBAAoB;YACpB,gCAAgC;YAChC,gBAAgB;YAChB,oBAAoB;SACrB;QACD,oBAAoB,EAAE;YACpB,YAAY,EAAE,CAAC,oBAAoB,CAAC;YACpC,SAAS,EAAE,EAAE,OAAO,EAAE,CAAC,EAAE;YACzB,OAAO,EAAE;gBACP,QAAQ,EAAE,IAAI;gBACd,cAAc,EAAE,CAAC;gBACjB,GAAG,CAAC,KAAK,CAAC,eAAe,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,GAAG,KAAK,CAAC,eAAe,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBAClF,GAAG,CAAC,KAAK,CAAC,uBAAuB,CAAC,CAAC,CAAC,EAAE,gBAAgB,EAAE,KAAK,CAAC,uBAAuB,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBAC7F,QAAQ,EAAE,KAAK,CAAC,eAAe,IAAI,IAAI;aACxC;SACF;QACD,UAAU,EAAE;YACV,iIAAiI;YACjI,0MAA0M;YAC1M,2GAA2G;YAC3G,uGAAuG;YACvG,0JAA0J;YAC1J,iIAAiI;SAClI;QACD,YAAY,EAAE,EAAE;QAChB,IAAI,EAAE;YACJ,sBAAsB;YACtB,gCAAgC;YAChC,oCAAoC;YACpC,OAAO,CAAC,SAAS;YACjB,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;SACxC;QACD,QAAQ,EAAE;YACR,MAAM,EAAE,wCAAwC;YAChD,UAAU,EAAE;gBACV,EAAE,EAAE,OAAO,CAAC,EAAE;gBACd,SAAS,EAAE,OAAO,CAAC,SAAS;gBAC5B,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBAC/C,GAAG,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBACxD,cAAc,EAAE,OAAO,CAAC,cAAc;gBACtC,YAAY,EAAE,OAAO,CAAC,YAAY;gBAClC,UAAU,EAAE,OAAO,CAAC,UAAU;gBAC9B,UAAU,EAAE,OAAO,CAAC,UAAU;aAC/B;YACD,aAAa,EAAE;gBACb,OAAO,EAAE,sCAAsC;gBAC/C,SAAS,EAAE,CAAC,4CAA4C,EAAE,yCAAyC,CAAC;aACrG;YACD,cAAc,EAAE;gBACd,IAAI,EAAE,CAAC,wBAAwB,EAAE,gCAAgC,CAAC;gBAClE,GAAG,EAAE,CAAC,8BAA8B,CAAC;aACtC;YACD,YAAY,EAAE;gBACZ,GAAG,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,OAAO,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBAC9D,GAAG,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,OAAO,CAAC,YAAY,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBACjE,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBACrD,GAAG,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,OAAO,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBAC9D,GAAG,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,OAAO,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;aAC/D;SACF;KACF,CAAC;AACJ,CAAC;AAED,SAAS,mBAAmB,CAC1B,KAAc,EACd,OAAgD,EAChD,GAAgD,EAChD,IAAkB,EAClB,KAAa;IAEb,IAAI,KAAK,GAAG,EAAE,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO;IAChE,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO;IACtC,IAAI,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC;QAAE,OAAO;IAC5B,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IAChB,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACzB,KAAK,MAAM,KAAK,IAAI,KAAK;YAAE,mBAAmB,CAAC,KAAK,EAAE,OAAO,EAAE,GAAG,EAAE,IAAI,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;QACrF,OAAO;IACT,CAAC;IACD,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC;QAAE,OAAO;IAC7B,MAAM,OAAO,GAAG,2BAA2B,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;IAC5D,IAAI,OAAO;QAAE,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,EAAE,OAAO,CAAC,CAAC;IAC1C,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;QACzC,IAAI,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ;YAAE,mBAAmB,CAAC,KAAK,EAAE,OAAO,EAAE,GAAG,EAAE,IAAI,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;IACpG,CAAC;AACH,CAAC;AAED,SAAS,2BAA2B,CAClC,MAA+B,EAC/B,OAAgD;IAEhD,MAAM,SAAS,GAAG,WAAW,CAAC,MAAM,EAAE,CAAC,WAAW,EAAE,WAAW,EAAE,YAAY,EAAE,QAAQ,CAAC,CAAC,CAAC;IAC1F,MAAM,IAAI,GAAG,WAAW,CAAC,MAAM,EAAE,CAAC,MAAM,EAAE,YAAY,EAAE,IAAI,CAAC,CAAC,CAAC;IAC/D,IAAI,CAAC,+BAA+B,CAAC,SAAS,EAAE,IAAI,CAAC;QAAE,OAAO,SAAS,CAAC;IACxE,MAAM,OAAO,GAAG,WAAW,CAAC,MAAM,EAAE,CAAC,SAAS,EAAE,SAAS,EAAE,aAAa,EAAE,QAAQ,CAAC,CAAC,CAAC;IACrF,MAAM,cAAc,GAAG,QAAQ,CAAC,MAAM,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,MAAM,CAAC,cAAc,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IAC3F,MAAM,YAAY,GAAG,oBAAoB,CAAC;QACxC,GAAG,SAAS,CAAC,MAAM,CAAC;QACpB,GAAG,CAAC,OAAO,CAAC,YAAY,IAAI,EAAE,CAAC;KAChC,CAAC,CAAC;IACH,MAAM,WAAW,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;IACnF,MAAM,UAAU,GAAG,oBAAoB,CAAC;QACtC,GAAG,eAAe,CAAC,MAAM,CAAC,UAAU,CAAC;QACrC,GAAG,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,YAAY,CAAC;QACpD,GAAG,CAAC,OAAO,CAAC,UAAU,IAAI,EAAE,CAAC;KAC9B,CAAC,CAAC;IACH,MAAM,UAAU,GAAG,oBAAoB,CAAC;QACtC,GAAG,eAAe,CAAC,MAAM,CAAC,UAAU,CAAC;QACrC,GAAG,YAAY;QACf,GAAG,CAAC,OAAO,CAAC,UAAU,IAAI,EAAE,CAAC;KAC9B,CAAC,CAAC;IACH,MAAM,WAAW,GAAG;QAClB,SAAS,IAAI,+CAA+C;QAC5D,IAAI;QACJ,OAAO;QACP,OAAO,CAAC,WAAW;QACnB,OAAO,CAAC,YAAY;QACpB,YAAY;QACZ,cAAc;KACf,CAAC;IACF,MAAM,EAAE,GAAG,qBAAqB,UAAU,CAAC,WAAW,CAAC,EAAE,CAAC;IAC1D,OAAO;QACL,EAAE;QACF,SAAS,EAAE,SAAS,IAAI,+CAA+C;QACvE,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACzB,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC/B,GAAG,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,OAAO,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACpE,GAAG,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,OAAO,CAAC,YAAY,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACvE,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACrD,GAAG,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,OAAO,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC9D,GAAG,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,OAAO,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC9D,YAAY;QACZ,UAAU;QACV,UAAU;QACV,cAAc;QACd,QAAQ,EAAE;YACR,QAAQ,EAAE,wCAAwC;YAClD,SAAS,EAAE,YAAY,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,MAAM;SAC1D;KACF,CAAC;AACJ,CAAC;AAED,SAAS,+BAA+B,CAAC,SAA6B,EAAE,IAAwB;IAC9F,OAAO,YAAY,CAAC,SAAS,CAAC,IAAI,IAAI,KAAK,kDAAkD,CAAC;AAChG,CAAC;AAED,SAAS,YAAY,CAAC,KAAyB;IAC7C,OAAO,cAAc,CAAC,KAAK,CAAC,KAAK,cAAc,CAAC,+CAA+C,CAAC,CAAC;AACnG,CAAC;AAED,SAAS,iBAAiB,CAAC,UAAkD;IAC3E,IAAI,CAAC,UAAU;QAAE,OAAO,EAAE,CAAC;IAC3B,OAAO,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;AACxD,CAAC;AAED,SAAS,iBAAiB,CAAC,KAAmC;IAC5D,MAAM,YAAY,GAAG,oBAAoB,CAAC,KAAK,CAAC,MAAM,CAAC,YAAY,IAAI,EAAE,CAAC,CAAC;IAC3E,MAAM,YAAY,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC;IAC9F,OAAO;QACL,WAAW,EAAE,KAAK,CAAC,MAAM,CAAC,KAAK,IAAI,KAAK,CAAC,KAAK;QAC9C,YAAY,EAAE,KAAK,CAAC,MAAM,CAAC,MAAM;QACjC,MAAM,EAAE,KAAK,CAAC,MAAM;QACpB,SAAS,EAAE,KAAK,CAAC,SAAS;QAC1B,SAAS,EAAE,KAAK,CAAC,SAAS;QAC1B,YAAY;QACZ,UAAU,EAAE,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,YAAY;QAC7D,UAAU,EAAE,oBAAoB,CAAC;YAC/B,GAAG,YAAY;YACf,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,aAAa,IAAI,EAAE,CAAC;SACtC,CAAC;KACH,CAAC;AACJ,CAAC;AAED,SAAS,SAAS,CAAC,MAA+B;IAChD,OAAO,aAAa,CAAC;QACnB,GAAG,eAAe,CAAC,MAAM,CAAC,YAAY,CAAC;QACvC,GAAG,eAAe,CAAC,MAAM,CAAC,WAAW,CAAC;QACtC,GAAG,eAAe,CAAC,MAAM,CAAC,KAAK,CAAC;QAChC,GAAG,YAAY,CAAC,MAAM,CAAC,WAAW,CAAC;QACnC,GAAG,YAAY,CAAC,MAAM,CAAC,UAAU,CAAC;QAClC,GAAG,YAAY,CAAC,MAAM,CAAC,IAAI,CAAC;KAC7B,CAAC,CAAC;AACL,CAAC;AAED,SAAS,WAAW,CAAC,MAA+B,EAAE,IAAuB;IAC3E,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACvB,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC;QAC1B,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,IAAI,EAAE;YAAE,OAAO,KAAK,CAAC,IAAI,EAAE,CAAC;IACrE,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,YAAY,CAAC,KAAc;IAClC,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;AACzE,CAAC;AAED,SAAS,cAAc,CAAC,KAAyB;IAC/C,OAAO,MAAM,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC,OAAO,CAAC,aAAa,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC;AACtG,CAAC"}

package/dist/types-collection.d.ts

@@ -5,6 +5,8 @@ import type { FrontierCodexApplyLedgerSummary } from './types-apply.js';
 import type { FrontierCodexCompactDashboard } from './types-evidence.js';
 import type { FrontierCodexSemanticPatchBundleOverlapSummary } from './types-semantic-bundle-overlap.js';
 import type { FrontierCodexRunSyncOptions, FrontierCodexRunSyncResult } from './run-sync.js';
+import type { FrontierCodexPlaywrightRuntimeProofArtifactIndex } from './types-proof-artifacts.js';
+import type { FrontierCodexPlaywrightProofReadmission } from './proof-readmission.js';
 export type * from './types-apply.js';
 export type * from './types-collection-quality.js';
 export type * from './types-collection-score.js';
@@ -64,6 +66,10 @@ export interface FrontierCodexCollectResult {
     artifactStoreStatus?: FrontierCodexArtifactStoreStatus;
     proofRouteBacklog?: FrontierSwarmBacklog;
     proofRouteBacklogPath?: string;
+    proofArtifacts?: FrontierCodexPlaywrightRuntimeProofArtifactIndex;
+    proofArtifactsPath?: string;
+    proofReadmission?: FrontierCodexPlaywrightProofReadmission;
+    proofReadmissionPath?: string;
     runSync?: FrontierCodexRunSyncResult;
     metadata?: FrontierCodexCollectionMetadata;
     summary: FrontierCodexCollectSummary;
@@ -73,6 +79,15 @@ export type FrontierCodexCollectSummary = Record<FrontierCodexCollectBucket, num
     collectorGeneratedPatchCount?: number;
     proofRouteTaskCount?: number;
     proofRouteBacklogPath?: string;
+    proofArtifactCount?: number;
+    proofArtifactPassedCount?: number;
+    proofArtifactFailedCount?: number;
+    proofArtifactValidatorCandidateCount?: number;
+    proofArtifactsPath?: string;
+    proofReadmissionCount?: number;
+    proofReadmissionAdmittedCount?: number;
+    proofReadmissionBlockedCount?: number;
+    proofReadmissionPath?: string;
     landed?: number;
     landedJobIds?: string[];
     applyLedger?: FrontierCodexApplyLedgerSummary;