@rpamis/comet 0.4.0-beta.1 → 0.4.0-beta.11

package/dist/domains/comet-native/native-verification-evidence.js

@@ -0,0 +1,824 @@
+import path from 'node:path';
+import { canonicalHash } from './native-canonical-hash.js';
+import { redactNativeCredentialText } from './native-redaction.js';
+import { nativeSensitiveRelativePathReason } from './native-sensitive-paths.js';
+import { parseNativeIndependentReview, } from './native-independent-review.js';
+import { parseNativeImplementationScopeBundle, } from './native-verification-scope.js';
+const HASH_PATTERN = /^[a-f0-9]{64}$/u;
+const MISSING_ACCEPTANCE_DETAIL_LIMIT = 8;
+const ACCEPTANCE_TRACE_HASH_TAG = 'comet.native.acceptance-trace.v2';
+const LEGACY_ACCEPTANCE_TRACE_HASH_TAG = 'comet.native.acceptance-trace.v1';
+const PARTIAL_ALLOWANCE_HASH_TAG = 'comet.native.partial-allowance.v1';
+const VERIFICATION_ENVELOPE_HASH_TAG = 'comet.native.verification-evidence.v2';
+const LEGACY_VERIFICATION_ENVELOPE_HASH_TAG = 'comet.native.verification-evidence.v1';
+function hash(value, label) {
+    if (!HASH_PATTERN.test(value))
+        throw new Error(`${label} must be a SHA-256 hash`);
+    return value;
+}
+function positiveRevision(value) {
+    if (!Number.isSafeInteger(value) || value < 1) {
+        throw new Error('Native evidence source revision must be a positive integer');
+    }
+    return value;
+}
+function changeName(value) {
+    if (!/^[a-z][a-z0-9]*(?:-[a-z0-9]+)*$/u.test(value)) {
+        throw new Error(`Invalid Native evidence change name: ${value}`);
+    }
+    return value;
+}
+function requiredText(value, label, max = 2_000) {
+    const normalized = redactNativeCredentialText(value).trim();
+    if (normalized.length === 0 || normalized.length > max) {
+        throw new Error(`${label} must be between 1 and ${max} characters`);
+    }
+    return normalized;
+}
+function portableRef(value, label) {
+    const normalized = path.posix.normalize(value);
+    if (value.length === 0 ||
+        value !== value.trim() ||
+        value.includes('\\') ||
+        Array.from(value).some((character) => {
+            const code = character.codePointAt(0) ?? 0;
+            return code <= 0x1f || code === 0x7f;
+        }) ||
+        path.posix.isAbsolute(normalized) ||
+        /^(?:[A-Za-z]:|~)/u.test(value) ||
+        value.split('/').includes('..') ||
+        normalized !== value ||
+        normalized === '.' ||
+        value.endsWith('/')) {
+        throw new Error(`${label} must be a normalized relative ref`);
+    }
+    return value;
+}
+function portableEvidenceRef(value, label, nativeRootRef) {
+    const reference = portableRef(value, label);
+    // A check receipt is a content-addressed Native artifact, not a project source path.
+    // It is the only runtime evidence ref admitted into an acceptance matrix.
+    if (/^runtime\/evidence\/check-receipts\/[a-f0-9]{64}\.json$/u.test(reference)) {
+        return reference;
+    }
+    const sensitiveReason = nativeSensitiveRelativePathReason(reference);
+    const lowerReference = reference.toLowerCase();
+    const lowerNativeRoot = nativeRootRef
+        ? portableRef(nativeRootRef, 'Native root ref').toLowerCase()
+        : null;
+    if (sensitiveReason ||
+        lowerReference === 'runtime' ||
+        lowerReference.startsWith('runtime/') ||
+        (lowerNativeRoot !== null &&
+            (lowerReference === lowerNativeRoot || lowerReference.startsWith(`${lowerNativeRoot}/`)))) {
+        throw new Error(`${label} is excluded as sensitive (${sensitiveReason ?? 'native-runtime'}): ${reference}`);
+    }
+    return reference;
+}
+function checkReceiptRef(value) {
+    const reference = portableRef(value, 'Verification receipt ref');
+    if (!/^runtime\/evidence\/check-receipts\/[a-f0-9]{64}\.json$/u.test(reference)) {
+        throw new Error('Verification receipt ref must identify a Native check receipt');
+    }
+    return reference;
+}
+function typedReceiptRef(value) {
+    const reference = portableRef(value, 'Verification typed receipt ref');
+    if (!/^runtime\/evidence\/receipts\/[a-f0-9]{64}\.json$/u.test(reference)) {
+        throw new Error('Verification receipt ref must identify a typed v2 receipt');
+    }
+    return reference;
+}
+function waiverReceiptRef(value) {
+    const reference = portableRef(value, 'Verification waiver receipt ref');
+    if (!/^runtime\/evidence\/waivers\/[a-f0-9]{64}\.json$/u.test(reference)) {
+        throw new Error('Verification waiver ref must identify a v2 waiver receipt');
+    }
+    return reference;
+}
+function timestamp(value) {
+    const result = value.toISOString();
+    if (Number.isNaN(Date.parse(result)))
+        throw new Error('Native evidence timestamp is invalid');
+    return result;
+}
+function acceptanceCriteriaHash(criteria) {
+    return canonicalHash('comet.native.acceptance-set.v1', [...criteria].sort((left, right) => compareText(left.id, right.id)));
+}
+function compareText(left, right) {
+    if (left < right)
+        return -1;
+    if (left > right)
+        return 1;
+    return 0;
+}
+/** Build an exact, order-independent trace. Unknown, duplicate, or missing criteria fail closed. */
+export function buildNativeAcceptanceEvidenceTrace(criteria, evidence, options) {
+    const nativeRootRef = portableRef(options.nativeRootRef, 'Native root ref');
+    const byId = new Map(criteria.map((criterion) => [criterion.id, criterion]));
+    if (byId.size !== criteria.length)
+        throw new Error('Native contract has duplicate acceptance IDs');
+    const evidenceById = new Map();
+    for (const entry of evidence) {
+        if (!byId.has(entry.acceptance_id)) {
+            throw new Error(`Verification references unknown acceptance ID: ${entry.acceptance_id}`);
+        }
+        if (evidenceById.has(entry.acceptance_id)) {
+            throw new Error(`Verification repeats acceptance ID: ${entry.acceptance_id}`);
+        }
+        evidenceById.set(entry.acceptance_id, entry);
+    }
+    const missing = [...byId.keys()].filter((id) => !evidenceById.has(id));
+    if (missing.length > 0 && options.allowMissing !== true) {
+        const shown = missing.slice(0, MISSING_ACCEPTANCE_DETAIL_LIMIT);
+        const remainder = missing.length - shown.length;
+        throw new Error(`Verification is missing ${missing.length} acceptance evidence entr${missing.length === 1 ? 'y' : 'ies'}: ${shown.join(', ')}${remainder > 0 ? `, ... (${remainder} more)` : ''}`);
+    }
+    const entries = [...byId.values()]
+        .sort((left, right) => compareText(left.id, right.id))
+        .map((criterion) => {
+        const entry = evidenceById.get(criterion.id);
+        if (!entry) {
+            return {
+                acceptanceId: criterion.id,
+                status: 'missing',
+                kind: criterion.kind,
+                source: portableRef(criterion.source, `Acceptance source for ${criterion.id}`),
+                evidenceRefs: [],
+                skippedReason: null,
+                waiverRef: null,
+            };
+        }
+        const status = entry.status;
+        const evidenceRefs = [...entry.evidence_refs]
+            .map((reference) => typedReceiptRef(reference))
+            .sort();
+        if (new Set(evidenceRefs).size !== evidenceRefs.length) {
+            throw new Error(`Verification repeats an evidence ref for ${criterion.id}`);
+        }
+        const rawSkippedReason = entry.skipped_reason?.trim() || null;
+        const skippedReason = rawSkippedReason === null
+            ? null
+            : requiredText(rawSkippedReason, `Skipped reason for ${criterion.id}`);
+        const waiverRef = entry.waiver_ref ? waiverReceiptRef(entry.waiver_ref) : null;
+        if ((status === 'passed' &&
+            (evidenceRefs.length === 0 || skippedReason !== null || waiverRef !== null)) ||
+            (status === 'failed' &&
+                (evidenceRefs.length !== 0 || skippedReason === null || waiverRef !== null)) ||
+            (status === 'waived' &&
+                (evidenceRefs.length !== 0 || skippedReason !== null || waiverRef === null))) {
+            throw new Error(`Acceptance ${criterion.id} has an invalid v2 evidence state`);
+        }
+        return {
+            acceptanceId: criterion.id,
+            status,
+            kind: criterion.kind,
+            source: portableRef(criterion.source, `Acceptance source for ${criterion.id}`),
+            evidenceRefs,
+            skippedReason,
+            waiverRef,
+        };
+    });
+    const criteriaHash = acceptanceCriteriaHash(criteria);
+    const content = {
+        schema: 'comet.native.acceptance-trace.v2',
+        nativeRootRef,
+        criteriaHash,
+        total: entries.length,
+        evidenced: entries.filter((entry) => entry.evidenceRefs.length > 0).length,
+        skipped: entries.filter((entry) => entry.skippedReason !== null).length,
+        entries,
+    };
+    return {
+        ...content,
+        traceHash: canonicalHash(ACCEPTANCE_TRACE_HASH_TAG, content),
+    };
+}
+export function buildNativePartialAllowance(input) {
+    const scope = parseNativeImplementationScopeBundle(input.scopeBundle).scope;
+    if (scope.complete)
+        throw new Error('Complete implementation scope cannot be partially allowed');
+    const unresolved = new Set(scope.unresolvedScopes.map((entry) => entry.id));
+    if (new Set(input.allowedScopeIds).size !== input.allowedScopeIds.length) {
+        throw new Error('Partial allowance has duplicate allowed scope IDs');
+    }
+    const scopeIds = [...input.allowedScopeIds].sort(compareText);
+    if (scopeIds.length === 0)
+        throw new Error('Partial allowance requires at least one scope ID');
+    if ([...unresolved, ...scopeIds].some((id) => !/^scope:[a-f0-9]{64}$/u.test(id))) {
+        throw new Error('Partial allowance scope IDs are invalid');
+    }
+    const unknown = scopeIds.filter((id) => !unresolved.has(id));
+    const missing = [...unresolved].filter((id) => !scopeIds.includes(id));
+    if (unknown.length > 0)
+        throw new Error(`Partial allowance has unknown scope IDs: ${unknown}`);
+    if (missing.length > 0)
+        throw new Error(`Partial allowance is missing scope IDs: ${missing}`);
+    const content = {
+        schema: 'comet.native.partial-allowance.v1',
+        change: changeName(input.change),
+        scopeHash: scope.scopeHash,
+        scopeIds,
+        reason: requiredText(input.reason, 'Partial allowance reason'),
+        confirmedSummary: requiredText(input.confirmedSummary, 'Partial allowance confirmation'),
+        sourceRevision: positiveRevision(input.sourceRevision),
+        confirmedAt: timestamp(input.now ?? new Date()),
+    };
+    return {
+        ...content,
+        allowanceHash: canonicalHash(PARTIAL_ALLOWANCE_HASH_TAG, content),
+    };
+}
+export function buildNativeVerificationEvidenceEnvelope(input) {
+    if (input.result !== 'pass' && input.result !== 'fail') {
+        throw new Error('Native verification evidence result is invalid');
+    }
+    const acceptanceTrace = parseNativeAcceptanceEvidenceTrace(input.acceptanceTrace);
+    const implementationScope = parseNativeImplementationScopeBundle(input.implementationScope.bundle).scope;
+    const implementationScopeRef = evidenceDocumentRef(input.implementationScope.ref, 'scopes', implementationScope.scopeHash);
+    if (implementationScope.contractHash !== input.contractHash) {
+        throw new Error('Implementation scope does not match the verification contract');
+    }
+    const allowanceInput = input.partialAllowance ?? null;
+    const parsedAllowance = allowanceInput
+        ? parseNativePartialAllowance(allowanceInput.allowance)
+        : null;
+    const allowance = allowanceInput && parsedAllowance
+        ? {
+            ref: evidenceDocumentRef(allowanceInput.ref, 'allowances', parsedAllowance.allowanceHash),
+            allowance: parsedAllowance,
+        }
+        : null;
+    if (implementationScope.complete && allowance !== null) {
+        throw new Error('Complete implementation scope must not use a partial allowance');
+    }
+    if (!implementationScope.complete && allowance === null) {
+        throw new Error('Partial implementation scope requires a confirmed allowance');
+    }
+    const unresolvedScopeIds = implementationScope.unresolvedScopes
+        .map((entry) => entry.id)
+        .sort(compareText);
+    if (allowance &&
+        (allowance.allowance.change !== input.change ||
+            allowance.allowance.scopeHash !== implementationScope.scopeHash ||
+            JSON.stringify(allowance.allowance.scopeIds) !== JSON.stringify(unresolvedScopeIds))) {
+        throw new Error('Partial allowance does not match the verification scope');
+    }
+    if (acceptanceTrace.criteriaHash !== input.acceptanceHash) {
+        throw new Error('Acceptance trace does not match the verification contract');
+    }
+    if (allowance && allowance.allowance.sourceRevision >= input.sourceRevision) {
+        throw new Error('Partial allowance must precede the verification evidence revision');
+    }
+    const traceReceiptRefs = [
+        ...new Set(acceptanceTrace.entries.flatMap((entry) => entry.evidenceRefs)),
+    ].sort(compareText);
+    const waiverRefs = [
+        ...new Set(acceptanceTrace.entries.flatMap((entry) => entry.waiverRef === null ? [] : [entry.waiverRef])),
+    ].sort(compareText);
+    const requiredReceiptRefs = [...new Set(input.requiredReceiptRefs.map(typedReceiptRef))].sort(compareText);
+    const independentReviewReceiptRef = input.independentReviewReceiptRef === null
+        ? null
+        : typedReceiptRef(input.independentReviewReceiptRef);
+    const receiptRefs = [
+        ...new Set([
+            ...traceReceiptRefs,
+            ...(independentReviewReceiptRef === null ? [] : [independentReviewReceiptRef]),
+        ]),
+    ].sort(compareText);
+    if (input.result === 'pass' && requiredReceiptRefs.length === 0) {
+        throw new Error('Passing verification requires at least one current required check receipt');
+    }
+    const content = {
+        schema: 'comet.native.verification-evidence.v2',
+        change: changeName(input.change),
+        sourceRevision: positiveRevision(input.sourceRevision),
+        result: input.result,
+        freshness: implementationScope.complete ? 'complete' : 'partial',
+        contractHash: hash(input.contractHash, 'Verification contractHash'),
+        acceptanceCriteriaHash: hash(input.acceptanceHash, 'Verification acceptanceHash'),
+        implementationScopeRef,
+        implementationScopeHash: implementationScope.scopeHash,
+        reportRef: portableEvidenceRef(input.reportRef, 'Verification report ref'),
+        reportHash: hash(input.reportHash, 'Verification report hash'),
+        acceptanceTrace,
+        partialAllowanceRef: allowance?.ref ?? null,
+        partialAllowanceHash: allowance?.allowance.allowanceHash ?? null,
+        requiredReceiptRefs,
+        receiptRefs,
+        waiverRefs,
+        independentReviewReceiptRef,
+        createdAt: timestamp(input.now ?? new Date()),
+    };
+    return {
+        ...content,
+        envelopeHash: canonicalHash(VERIFICATION_ENVELOPE_HASH_TAG, content),
+    };
+}
+function evidenceRecord(value, label) {
+    if (!value || typeof value !== 'object' || Array.isArray(value)) {
+        throw new Error(`${label} must be an object`);
+    }
+    return value;
+}
+function exactEvidenceKeys(value, keys, label) {
+    const expected = new Set(keys);
+    const unknown = Object.keys(value).filter((key) => !expected.has(key));
+    const missing = keys.filter((key) => !(key in value));
+    if (unknown.length > 0)
+        throw new Error(`${label} has unknown field(s): ${unknown.join(', ')}`);
+    if (missing.length > 0)
+        throw new Error(`${label} is missing field(s): ${missing.join(', ')}`);
+}
+function canonicalTimestamp(value, label) {
+    if (typeof value !== 'string')
+        throw new Error(`${label} is invalid`);
+    const parsed = new Date(value);
+    if (Number.isNaN(parsed.valueOf()) || parsed.toISOString() !== value) {
+        throw new Error(`${label} is invalid`);
+    }
+    return value;
+}
+function evidenceDocumentRef(value, kind, hash) {
+    if (typeof value !== 'string')
+        throw new Error(`Native ${kind} evidence ref is invalid`);
+    const expected = `runtime/evidence/${kind}/${hash}.json`;
+    if (value !== expected)
+        throw new Error(`Native ${kind} evidence ref/hash mismatch`);
+    return value;
+}
+export function parseNativeAcceptanceEvidenceTrace(value) {
+    const root = evidenceRecord(value, 'Native acceptance trace');
+    exactEvidenceKeys(root, [
+        'schema',
+        'nativeRootRef',
+        'criteriaHash',
+        'total',
+        'evidenced',
+        'skipped',
+        'entries',
+        'traceHash',
+    ], 'Native acceptance trace');
+    if (root.schema !== 'comet.native.acceptance-trace.v2' ||
+        typeof root.nativeRootRef !== 'string' ||
+        typeof root.criteriaHash !== 'string' ||
+        !HASH_PATTERN.test(root.criteriaHash) ||
+        !Number.isSafeInteger(root.total) ||
+        !Number.isSafeInteger(root.evidenced) ||
+        !Number.isSafeInteger(root.skipped) ||
+        !Array.isArray(root.entries)) {
+        throw new Error('Native acceptance trace is invalid');
+    }
+    const nativeRootRef = portableRef(root.nativeRootRef, 'Native root ref');
+    const entries = root.entries.map((value, index) => {
+        const entry = evidenceRecord(value, `Native acceptance trace entry ${index}`);
+        exactEvidenceKeys(entry, ['acceptanceId', 'status', 'kind', 'source', 'evidenceRefs', 'skippedReason', 'waiverRef'], `Native acceptance trace entry ${index}`);
+        if (typeof entry.acceptanceId !== 'string' ||
+            !/^acceptance-[a-f0-9]{64}$/u.test(entry.acceptanceId) ||
+            (entry.kind !== 'brief-example' &&
+                entry.kind !== 'spec-scenario' &&
+                entry.kind !== 'spec-must') ||
+            typeof entry.source !== 'string' ||
+            !Array.isArray(entry.evidenceRefs) ||
+            (entry.status !== 'passed' &&
+                entry.status !== 'failed' &&
+                entry.status !== 'missing' &&
+                entry.status !== 'waived') ||
+            entry.evidenceRefs.some((reference) => typeof reference !== 'string') ||
+            (entry.waiverRef !== null && typeof entry.waiverRef !== 'string') ||
+            (entry.skippedReason !== null &&
+                (typeof entry.skippedReason !== 'string' ||
+                    entry.skippedReason.length === 0 ||
+                    entry.skippedReason.trim() !== entry.skippedReason))) {
+            throw new Error(`Native acceptance trace entry ${index} is invalid`);
+        }
+        const evidenceRefs = entry.evidenceRefs.map((reference) => typedReceiptRef(reference));
+        const status = entry.status;
+        const waiverRef = entry.waiverRef === null ? null : waiverReceiptRef(entry.waiverRef);
+        if (JSON.stringify(evidenceRefs) !==
+            JSON.stringify([...new Set(evidenceRefs)].sort(compareText)) ||
+            (status === 'passed' &&
+                (evidenceRefs.length === 0 || entry.skippedReason !== null || waiverRef !== null)) ||
+            (status === 'failed' &&
+                (evidenceRefs.length > 0 || entry.skippedReason === null || waiverRef !== null)) ||
+            (status === 'missing' &&
+                (evidenceRefs.length > 0 || entry.skippedReason !== null || waiverRef !== null)) ||
+            (status === 'waived' &&
+                (evidenceRefs.length > 0 || entry.skippedReason !== null || waiverRef === null))) {
+            throw new Error(`Native acceptance trace entry ${index} evidence state is invalid`);
+        }
+        return {
+            acceptanceId: entry.acceptanceId,
+            status,
+            kind: entry.kind,
+            source: portableRef(entry.source, `Native acceptance trace entry ${index} source`),
+            evidenceRefs,
+            skippedReason: entry.skippedReason === null
+                ? null
+                : requiredText(entry.skippedReason, `Native acceptance trace entry ${index} skipped reason`),
+            waiverRef,
+        };
+    });
+    if (JSON.stringify(entries) !==
+        JSON.stringify([...entries].sort((left, right) => compareText(left.acceptanceId, right.acceptanceId))) ||
+        new Set(entries.map((entry) => entry.acceptanceId)).size !== entries.length ||
+        root.total !== entries.length ||
+        root.evidenced !== entries.filter((entry) => entry.evidenceRefs.length > 0).length ||
+        root.skipped !== entries.filter((entry) => entry.skippedReason !== null).length) {
+        throw new Error('Native acceptance trace entries are inconsistent');
+    }
+    const content = {
+        schema: 'comet.native.acceptance-trace.v2',
+        nativeRootRef,
+        criteriaHash: root.criteriaHash,
+        total: root.total,
+        evidenced: root.evidenced,
+        skipped: root.skipped,
+        entries,
+    };
+    const traceHash = hash(root.traceHash, 'Native acceptance trace hash');
+    if (canonicalHash(ACCEPTANCE_TRACE_HASH_TAG, content) !== traceHash) {
+        throw new Error('Native acceptance trace content hash mismatch');
+    }
+    return {
+        ...content,
+        traceHash,
+    };
+}
+function parseNativeLegacyAcceptanceEvidenceTrace(value) {
+    const root = evidenceRecord(value, 'Legacy Native acceptance trace');
+    exactEvidenceKeys(root, [
+        'schema',
+        'nativeRootRef',
+        'criteriaHash',
+        'total',
+        'evidenced',
+        'skipped',
+        'entries',
+        'traceHash',
+    ], 'Legacy Native acceptance trace');
+    if (root.schema !== 'comet.native.acceptance-trace.v1' ||
+        typeof root.nativeRootRef !== 'string' ||
+        typeof root.criteriaHash !== 'string' ||
+        !HASH_PATTERN.test(root.criteriaHash) ||
+        !Number.isSafeInteger(root.total) ||
+        !Number.isSafeInteger(root.evidenced) ||
+        !Number.isSafeInteger(root.skipped) ||
+        !Array.isArray(root.entries)) {
+        throw new Error('Legacy Native acceptance trace is invalid');
+    }
+    const nativeRootRef = portableRef(root.nativeRootRef, 'Legacy Native root ref');
+    const hasStatus = root.entries.every((entry) => entry !== null &&
+        typeof entry === 'object' &&
+        !Array.isArray(entry) &&
+        Object.prototype.hasOwnProperty.call(entry, 'status'));
+    const entries = root.entries.map((value, index) => {
+        const entry = evidenceRecord(value, `Legacy Native acceptance trace entry ${index}`);
+        exactEvidenceKeys(entry, [
+            'acceptanceId',
+            ...(hasStatus ? ['status'] : []),
+            'kind',
+            'source',
+            'evidenceRefs',
+            'skippedReason',
+        ], `Legacy Native acceptance trace entry ${index}`);
+        if (typeof entry.acceptanceId !== 'string' ||
+            !/^acceptance-[a-f0-9]{64}$/u.test(entry.acceptanceId) ||
+            (entry.kind !== 'brief-example' &&
+                entry.kind !== 'spec-scenario' &&
+                entry.kind !== 'spec-must') ||
+            typeof entry.source !== 'string' ||
+            !Array.isArray(entry.evidenceRefs) ||
+            entry.evidenceRefs.some((reference) => typeof reference !== 'string') ||
+            (entry.skippedReason !== null && typeof entry.skippedReason !== 'string') ||
+            (hasStatus &&
+                entry.status !== 'passed' &&
+                entry.status !== 'failed' &&
+                entry.status !== 'waived')) {
+            throw new Error(`Legacy Native acceptance trace entry ${index} is invalid`);
+        }
+        const evidenceRefs = entry.evidenceRefs
+            .map((reference) => portableEvidenceRef(reference, `Legacy Native acceptance trace entry ${index} evidence ref`, nativeRootRef))
+            .sort(compareText);
+        const skippedReason = entry.skippedReason === null
+            ? null
+            : requiredText(entry.skippedReason, `Legacy Native acceptance trace entry ${index} skipped reason`);
+        return {
+            acceptanceId: entry.acceptanceId,
+            status: hasStatus
+                ? entry.status
+                : skippedReason === null
+                    ? 'passed'
+                    : 'failed',
+            kind: entry.kind,
+            source: portableRef(entry.source, `Legacy Native acceptance trace entry ${index} source`),
+            evidenceRefs,
+            skippedReason,
+        };
+    });
+    const hashedEntries = hasStatus
+        ? entries
+        : entries.map(({ status: _status, ...legacyEntry }) => legacyEntry);
+    const content = {
+        schema: 'comet.native.acceptance-trace.v1',
+        nativeRootRef,
+        criteriaHash: root.criteriaHash,
+        total: root.total,
+        evidenced: root.evidenced,
+        skipped: root.skipped,
+        entries: hashedEntries,
+    };
+    const traceHash = hash(root.traceHash, 'Legacy Native acceptance trace hash');
+    if (canonicalHash(LEGACY_ACCEPTANCE_TRACE_HASH_TAG, content) !== traceHash) {
+        throw new Error('Legacy Native acceptance trace content hash mismatch');
+    }
+    return { ...content, entries, traceHash };
+}
+export function parseNativePartialAllowance(value) {
+    const root = evidenceRecord(value, 'Native partial allowance');
+    exactEvidenceKeys(root, [
+        'schema',
+        'change',
+        'scopeHash',
+        'scopeIds',
+        'reason',
+        'confirmedSummary',
+        'sourceRevision',
+        'confirmedAt',
+        'allowanceHash',
+    ], 'Native partial allowance');
+    if (root.schema !== 'comet.native.partial-allowance.v1' ||
+        typeof root.change !== 'string' ||
+        typeof root.scopeHash !== 'string' ||
+        !Array.isArray(root.scopeIds) ||
+        root.scopeIds.length === 0 ||
+        root.scopeIds.some((id) => typeof id !== 'string' || !/^scope:[a-f0-9]{64}$/u.test(id)) ||
+        JSON.stringify(root.scopeIds) !==
+            JSON.stringify([...new Set(root.scopeIds)].sort(compareText)) ||
+        typeof root.reason !== 'string' ||
+        typeof root.confirmedSummary !== 'string') {
+        throw new Error('Native partial allowance is invalid');
+    }
+    const content = {
+        schema: 'comet.native.partial-allowance.v1',
+        change: changeName(root.change),
+        scopeHash: hash(root.scopeHash, 'Native partial allowance scopeHash'),
+        scopeIds: root.scopeIds,
+        reason: requiredText(root.reason, 'Partial allowance reason'),
+        confirmedSummary: requiredText(root.confirmedSummary, 'Partial allowance confirmation'),
+        sourceRevision: positiveRevision(root.sourceRevision),
+        confirmedAt: canonicalTimestamp(root.confirmedAt, 'Native partial allowance timestamp'),
+    };
+    if (content.reason !== root.reason || content.confirmedSummary !== root.confirmedSummary) {
+        throw new Error('Native partial allowance text is not canonical');
+    }
+    const allowanceHash = hash(root.allowanceHash, 'Native partial allowance hash');
+    if (canonicalHash(PARTIAL_ALLOWANCE_HASH_TAG, content) !== allowanceHash) {
+        throw new Error('Native partial allowance content hash mismatch');
+    }
+    return { ...content, allowanceHash };
+}
+export function parseNativeVerificationEvidenceEnvelope(value) {
+    const root = evidenceRecord(value, 'Native verification evidence');
+    if (root.schema === 'comet.native.verification-evidence.v1') {
+        return parseNativeLegacyVerificationEvidenceEnvelope(root);
+    }
+    exactEvidenceKeys(root, [
+        'schema',
+        'change',
+        'sourceRevision',
+        'result',
+        'freshness',
+        'contractHash',
+        'acceptanceCriteriaHash',
+        'implementationScopeRef',
+        'implementationScopeHash',
+        'reportRef',
+        'reportHash',
+        'acceptanceTrace',
+        'partialAllowanceRef',
+        'partialAllowanceHash',
+        'requiredReceiptRefs',
+        'receiptRefs',
+        'waiverRefs',
+        'independentReviewReceiptRef',
+        'createdAt',
+        'envelopeHash',
+    ], 'Native verification evidence');
+    if (root.schema !== 'comet.native.verification-evidence.v2' ||
+        typeof root.change !== 'string' ||
+        (root.result !== 'pass' && root.result !== 'fail') ||
+        (root.freshness !== 'complete' && root.freshness !== 'partial') ||
+        typeof root.implementationScopeHash !== 'string' ||
+        typeof root.reportRef !== 'string' ||
+        !Array.isArray(root.requiredReceiptRefs) ||
+        (root.independentReviewReceiptRef !== null &&
+            typeof root.independentReviewReceiptRef !== 'string') ||
+        !Array.isArray(root.receiptRefs) ||
+        !Array.isArray(root.waiverRefs)) {
+        throw new Error('Native verification evidence is invalid');
+    }
+    const implementationScopeHash = hash(root.implementationScopeHash, 'Native verification implementation scope hash');
+    const acceptanceTrace = parseNativeAcceptanceEvidenceTrace(root.acceptanceTrace);
+    const acceptanceCriteriaHash = hash(root.acceptanceCriteriaHash, 'Native verification acceptance criteria hash');
+    if (acceptanceTrace.criteriaHash !== acceptanceCriteriaHash) {
+        throw new Error('Native verification acceptance trace does not match its criteria hash');
+    }
+    const hasAllowance = root.partialAllowanceRef !== null || root.partialAllowanceHash !== null;
+    if ((root.partialAllowanceRef === null) !== (root.partialAllowanceHash === null) ||
+        (root.freshness === 'complete' && hasAllowance) ||
+        (root.freshness === 'partial' && !hasAllowance)) {
+        throw new Error('Native verification partial allowance state is invalid');
+    }
+    const partialAllowanceHash = root.partialAllowanceHash === null
+        ? null
+        : hash(root.partialAllowanceHash, 'Native verification allowance hash');
+    const receiptRefs = root.receiptRefs.map((ref) => typedReceiptRef(ref));
+    const waiverRefs = root.waiverRefs.map((ref) => waiverReceiptRef(ref));
+    if (JSON.stringify(receiptRefs) !== JSON.stringify([...new Set(receiptRefs)].sort(compareText)) ||
+        JSON.stringify(waiverRefs) !== JSON.stringify([...new Set(waiverRefs)].sort(compareText))) {
+        throw new Error('Native verification receipt refs must be canonical');
+    }
+    const traceReceiptRefs = [
+        ...new Set(acceptanceTrace.entries.flatMap((entry) => entry.evidenceRefs)),
+    ].sort(compareText);
+    const traceWaiverRefs = [
+        ...new Set(acceptanceTrace.entries.flatMap((entry) => entry.waiverRef === null ? [] : [entry.waiverRef])),
+    ].sort(compareText);
+    const independentReviewReceiptRef = root.independentReviewReceiptRef === null
+        ? null
+        : typedReceiptRef(root.independentReviewReceiptRef);
+    const expectedReceiptRefs = [
+        ...new Set([
+            ...traceReceiptRefs,
+            ...(independentReviewReceiptRef === null ? [] : [independentReviewReceiptRef]),
+        ]),
+    ].sort(compareText);
+    if (JSON.stringify(receiptRefs) !== JSON.stringify(expectedReceiptRefs) ||
+        JSON.stringify(waiverRefs) !== JSON.stringify(traceWaiverRefs)) {
+        throw new Error('Native verification envelope receipt refs do not match its matrix');
+    }
+    const requiredReceiptRefs = root.requiredReceiptRefs.map((ref) => typedReceiptRef(ref));
+    if (JSON.stringify(requiredReceiptRefs) !==
+        JSON.stringify([...new Set(requiredReceiptRefs)].sort(compareText))) {
+        throw new Error('Native required receipt refs must be canonical');
+    }
+    if (root.result === 'pass' && requiredReceiptRefs.length === 0) {
+        throw new Error('Passing verification has no current static receipt');
+    }
+    if (independentReviewReceiptRef !== null && !receiptRefs.includes(independentReviewReceiptRef)) {
+        throw new Error('Native independent review receipt is outside the receipt graph');
+    }
+    const content = {
+        schema: 'comet.native.verification-evidence.v2',
+        change: changeName(root.change),
+        sourceRevision: positiveRevision(root.sourceRevision),
+        result: root.result,
+        freshness: root.freshness,
+        contractHash: hash(root.contractHash, 'Native verification contract hash'),
+        acceptanceCriteriaHash,
+        implementationScopeRef: evidenceDocumentRef(root.implementationScopeRef, 'scopes', implementationScopeHash),
+        implementationScopeHash,
+        reportRef: portableEvidenceRef(root.reportRef, 'Native verification report ref'),
+        reportHash: hash(root.reportHash, 'Native verification report hash'),
+        acceptanceTrace,
+        partialAllowanceRef: partialAllowanceHash === null
+            ? null
+            : evidenceDocumentRef(root.partialAllowanceRef, 'allowances', partialAllowanceHash),
+        partialAllowanceHash,
+        requiredReceiptRefs,
+        receiptRefs,
+        waiverRefs,
+        independentReviewReceiptRef,
+        createdAt: canonicalTimestamp(root.createdAt, 'Native verification timestamp'),
+    };
+    const envelopeHash = hash(root.envelopeHash, 'Native verification envelope hash');
+    if (canonicalHash(VERIFICATION_ENVELOPE_HASH_TAG, content) !== envelopeHash) {
+        throw new Error('Native verification evidence content hash mismatch');
+    }
+    return { ...content, envelopeHash };
+}
+function parseNativeLegacyVerificationEvidenceEnvelope(root) {
+    const envelopeKeys = [
+        'schema',
+        'change',
+        'sourceRevision',
+        'result',
+        'freshness',
+        'contractHash',
+        'acceptanceCriteriaHash',
+        'implementationScopeRef',
+        'implementationScopeHash',
+        'reportRef',
+        'reportHash',
+        'acceptanceTrace',
+        'partialAllowanceRef',
+        'partialAllowanceHash',
+        'receiptRef',
+        'createdAt',
+        'envelopeHash',
+    ];
+    const hasWaiverConfirmedField = Object.prototype.hasOwnProperty.call(root, 'waiverConfirmed');
+    if (hasWaiverConfirmedField)
+        envelopeKeys.push('waiverConfirmed');
+    const hasIndependentReviewField = Object.prototype.hasOwnProperty.call(root, 'independentReview');
+    if (hasIndependentReviewField) {
+        envelopeKeys.push('independentReview');
+    }
+    exactEvidenceKeys(root, envelopeKeys, 'Native verification evidence');
+    if (root.schema !== 'comet.native.verification-evidence.v1' ||
+        typeof root.change !== 'string' ||
+        (root.result !== 'pass' && root.result !== 'fail') ||
+        (root.freshness !== 'complete' && root.freshness !== 'partial') ||
+        typeof root.implementationScopeHash !== 'string' ||
+        typeof root.reportRef !== 'string' ||
+        (root.receiptRef !== null && typeof root.receiptRef !== 'string')) {
+        throw new Error('Native verification evidence is invalid');
+    }
+    const envelopeHash = hash(root.envelopeHash, 'Native verification envelope hash');
+    const { envelopeHash: _rawEnvelopeHash, ...rawContent } = root;
+    void _rawEnvelopeHash;
+    if (canonicalHash(LEGACY_VERIFICATION_ENVELOPE_HASH_TAG, rawContent) !== envelopeHash) {
+        throw new Error('Native verification evidence content hash mismatch');
+    }
+    const implementationScopeHash = hash(root.implementationScopeHash, 'Native verification implementation scope hash');
+    const acceptanceTrace = parseNativeLegacyAcceptanceEvidenceTrace(root.acceptanceTrace);
+    const acceptanceCriteriaHash = hash(root.acceptanceCriteriaHash, 'Native verification acceptance criteria hash');
+    if (acceptanceTrace.criteriaHash !== acceptanceCriteriaHash) {
+        throw new Error('Native verification acceptance trace does not match its criteria hash');
+    }
+    const hasAllowance = root.partialAllowanceRef !== null || root.partialAllowanceHash !== null;
+    if ((root.partialAllowanceRef === null) !== (root.partialAllowanceHash === null) ||
+        (root.freshness === 'complete' && hasAllowance) ||
+        (root.freshness === 'partial' && !hasAllowance)) {
+        throw new Error('Native verification partial allowance state is invalid');
+    }
+    const partialAllowanceHash = root.partialAllowanceHash === null
+        ? null
+        : hash(root.partialAllowanceHash, 'Native verification allowance hash');
+    const result = root.result;
+    const freshness = root.freshness;
+    let independentReview = null;
+    if (hasIndependentReviewField && root.independentReview !== null) {
+        const rawReview = evidenceRecord(root.independentReview, 'Native independent review evidence');
+        exactEvidenceKeys(rawReview, ['ref', 'hash', 'review'], 'Native independent review evidence');
+        const normalizedReview = evidenceRecord(rawReview.review, 'Native independent review receipt');
+        const reviewInput = Object.prototype.hasOwnProperty.call(normalizedReview, 'implementationAuthor')
+            ? {
+                schema: normalizedReview.schema,
+                implementation_author: normalizedReview.implementationAuthor,
+                reviewer: normalizedReview.reviewer,
+                acceptance_ids: normalizedReview.acceptanceIds,
+                checked: {
+                    unified_io: normalizedReview.checked?.unifiedIo,
+                    adversarial_paths: normalizedReview.checked
+                        ?.adversarialPaths,
+                    generated_assets: normalizedReview.checked
+                        ?.generatedAssets,
+                    lifecycle_eval: normalizedReview.checked?.lifecycleEval,
+                },
+                findings: normalizedReview.findings,
+                review_hash: normalizedReview.reviewHash,
+            }
+            : rawReview.review;
+        const review = parseNativeIndependentReview(reviewInput, acceptanceTrace.entries.map((entry) => entry.acceptanceId));
+        const reviewHash = hash(rawReview.hash, 'Native independent review evidence hash');
+        independentReview = {
+            ref: portableEvidenceRef(rawReview.ref, 'Native independent review ref'),
+            hash: reviewHash,
+            review,
+        };
+    }
+    const content = {
+        schema: 'comet.native.verification-evidence.v1',
+        change: changeName(root.change),
+        sourceRevision: positiveRevision(root.sourceRevision),
+        result,
+        freshness,
+        contractHash: hash(root.contractHash, 'Native verification contract hash'),
+        acceptanceCriteriaHash,
+        implementationScopeRef: evidenceDocumentRef(root.implementationScopeRef, 'scopes', implementationScopeHash),
+        implementationScopeHash,
+        reportRef: portableEvidenceRef(root.reportRef, 'Native verification report ref'),
+        reportHash: hash(root.reportHash, 'Native verification report hash'),
+        acceptanceTrace,
+        partialAllowanceRef: partialAllowanceHash === null
+            ? null
+            : evidenceDocumentRef(root.partialAllowanceRef, 'allowances', partialAllowanceHash),
+        partialAllowanceHash,
+        receiptRef: root.receiptRef === null ? null : checkReceiptRef(root.receiptRef),
+        ...(hasWaiverConfirmedField ? { waiverConfirmed: root.waiverConfirmed === true } : {}),
+        ...(hasIndependentReviewField ? { independentReview } : {}),
+        createdAt: canonicalTimestamp(root.createdAt, 'Native verification timestamp'),
+    };
+    if (hasWaiverConfirmedField && root.waiverConfirmed !== true && root.waiverConfirmed !== false) {
+        throw new Error('Native verification waiver confirmation is invalid');
+    }
+    return {
+        ...content,
+        waiverConfirmed: hasWaiverConfirmedField && root.waiverConfirmed === true,
+        independentReview,
+        envelopeHash,
+    };
+}
+//# sourceMappingURL=native-verification-evidence.js.map