@rpamis/comet 0.4.0-beta.6 → 0.4.0-beta.8

package/dist/domains/comet-native/native-verification-evidence.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"native-verification-evidence.d.ts","sourceRoot":"","sources":["../../../domains/comet-native/native-verification-evidence.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EACV,yBAAyB,EACzB,6BAA6B,EAC9B,MAAM,wBAAwB,CAAC;AAIhC,OAAO,EAEL,KAAK,+BAA+B,EACrC,MAAM,gCAAgC,CAAC;AAQxC,MAAM,WAAW,0BAA0B;IACzC,YAAY,EAAE,MAAM,CAAC;IACrB,IAAI,EAAE,yBAAyB,CAAC,MAAM,CAAC,CAAC;IACxC,MAAM,EAAE,MAAM,CAAC;IACf,YAAY,EAAE,MAAM,EAAE,CAAC;IACvB,aAAa,EAAE,MAAM,GAAG,IAAI,CAAC;CAC9B;AAED,MAAM,WAAW,6BAA6B;IAC5C,MAAM,EAAE,kCAAkC,CAAC;IAC3C,aAAa,EAAE,MAAM,CAAC;IACtB,YAAY,EAAE,MAAM,CAAC;IACrB,KAAK,EAAE,MAAM,CAAC;IACd,SAAS,EAAE,MAAM,CAAC;IAClB,OAAO,EAAE,MAAM,CAAC;IAChB,OAAO,EAAE,0BAA0B,EAAE,CAAC;IACtC,SAAS,EAAE,MAAM,CAAC;CACnB;AAED,MAAM,WAAW,sBAAsB;IACrC,MAAM,EAAE,mCAAmC,CAAC;IAC5C,MAAM,EAAE,MAAM,CAAC;IACf,SAAS,EAAE,MAAM,CAAC;IAClB,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,MAAM,EAAE,MAAM,CAAC;IACf,gBAAgB,EAAE,MAAM,CAAC;IACzB,cAAc,EAAE,MAAM,CAAC;IACvB,WAAW,EAAE,MAAM,CAAC;IACpB,aAAa,EAAE,MAAM,CAAC;CACvB;AAED,MAAM,WAAW,kCAAkC;IACjD,MAAM,EAAE,uCAAuC,CAAC;IAChD,MAAM,EAAE,MAAM,CAAC;IACf,cAAc,EAAE,MAAM,CAAC;IACvB,MAAM,EAAE,MAAM,GAAG,MAAM,CAAC;IACxB,SAAS,EAAE,UAAU,GAAG,SAAS,CAAC;IAClC,YAAY,EAAE,MAAM,CAAC;IACrB,sBAAsB,EAAE,MAAM,CAAC;IAC/B,sBAAsB,EAAE,MAAM,CAAC;IAC/B,uBAAuB,EAAE,MAAM,CAAC;IAChC,SAAS,EAAE,MAAM,CAAC;IAClB,UAAU,EAAE,MAAM,CAAC;IACnB,eAAe,EAAE,6BAA6B,CAAC;IAC/C,mBAAmB,EAAE,MAAM,GAAG,IAAI,CAAC;IACnC,oBAAoB,EAAE,MAAM,GAAG,IAAI,CAAC;IACpC,UAAU,EAAE,MAAM,GAAG,IAAI,CAAC;IAC1B,SAAS,EAAE,MAAM,CAAC;IAClB,YAAY,EAAE,MAAM,CAAC;CACtB;AAmGD,oGAAoG;AACpG,wBAAgB,kCAAkC,CAChD,QAAQ,EAAE,SAAS,yBAAyB,EAAE,EAC9C,QAAQ,EAAE,SAAS,6BAA6B,EAAE,EAClD,OAAO,EAAE;IAAE,aAAa,EAAE,MAAM,CAAA;CAAE,GACjC,6BAA6B,CAoE/B;AAED,wBAAgB,2BAA2B,CAAC,KAAK,EAAE;IACjD,MAAM,EAAE,MAAM,CAAC;IACf,WAAW,EAAE,+BAA+B,CAAC;IAC7C,eAAe,EAAE,SAAS,MAAM,EAAE,CAAC;IACnC,MAAM,EAAE,MAAM,CAAC;IACf,gBAAgB,EAAE,MAAM,CAAC;IACzB,cAAc,EAAE,MAAM,CAAC;IACvB,GAAG,CAAC,EAAE,IAAI,CAAC;CACZ,GAAG,sBAAsB,CA+BzB;AAED,wBAAgB,uCAAuC,CAAC,KAAK,EAAE;IAC7D,MAAM,EAAE,MAAM,CAAC;IACf,cAAc,EAAE,MAAM,CAAC;IACvB,MAAM,EAAE,MAAM,GAAG,MAAM,CAAC;IACxB,YAAY,EAAE,MAAM,CAAC;IACrB,cAAc,EAAE,MAAM,CAAC;IACvB,mBAAmB,EAAE;QAAE,GAAG,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,+BAA+B,CAAA;KAAE,CAAC;IAC9E,SAAS,EAAE,MAAM,CAAC;IAClB,UAAU,EAAE,MAAM,CAAC;IACnB,eAAe,EAAE,6BAA6B,CAAC;IAC/C,gBAAgB,CAAC,EAAE;QAAE,GAAG,EAAE,MAAM,CAAC;QAAC,SAAS,EAAE,sBAAsB,CAAA;KAAE,GAAG,IAAI,CAAC;IAC7E,UAAU,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IAC3B,GAAG,CAAC,EAAE,IAAI,CAAC;CACZ,GAAG,kCAAkC,CAyErC;AAqCD,wBAAgB,kCAAkC,CAAC,KAAK,EAAE,OAAO,GAAG,6BAA6B,CAwGhG;AAED,wBAAgB,2BAA2B,CAAC,KAAK,EAAE,OAAO,GAAG,sBAAsB,CAiDlF;AAED,wBAAgB,uCAAuC,CACrD,KAAK,EAAE,OAAO,GACb,kCAAkC,CA4FpC"}

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

@@ -0,0 +1,480 @@
+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 { 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.v1';
+const PARTIAL_ALLOWANCE_HASH_TAG = 'comet.native.partial-allowance.v1';
+const 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);
+    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 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) {
+        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);
+        const evidenceRefs = [...entry.evidence_refs]
+            .map((reference) => portableEvidenceRef(reference, `Evidence ref for ${criterion.id}`, nativeRootRef))
+            .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}`);
+        if ((evidenceRefs.length === 0) === (skippedReason === null)) {
+            throw new Error(`Acceptance ${criterion.id} requires exactly one of evidence refs or skipped reason`);
+        }
+        return {
+            acceptanceId: criterion.id,
+            kind: criterion.kind,
+            source: portableRef(criterion.source, `Acceptance source for ${criterion.id}`),
+            evidenceRefs,
+            skippedReason,
+        };
+    });
+    const criteriaHash = acceptanceCriteriaHash(criteria);
+    const content = {
+        schema: 'comet.native.acceptance-trace.v1',
+        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 content = {
+        schema: 'comet.native.verification-evidence.v1',
+        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,
+        receiptRef: input.receiptRef ? checkReceiptRef(input.receiptRef) : null,
+        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.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('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', 'kind', 'source', 'evidenceRefs', 'skippedReason'], `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') ||
+            typeof entry.source !== 'string' ||
+            !Array.isArray(entry.evidenceRefs) ||
+            entry.evidenceRefs.some((reference) => typeof reference !== '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) => portableEvidenceRef(reference, `Native acceptance trace entry ${index} evidence ref`, nativeRootRef));
+        if (JSON.stringify(evidenceRefs) !==
+            JSON.stringify([...new Set(evidenceRefs)].sort(compareText)) ||
+            (evidenceRefs.length === 0) === (entry.skippedReason === null)) {
+            throw new Error(`Native acceptance trace entry ${index} evidence state is invalid`);
+        }
+        return {
+            acceptanceId: entry.acceptanceId,
+            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`),
+        };
+    });
+    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.v1',
+        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 };
+}
+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');
+    exactEvidenceKeys(root, [
+        'schema',
+        'change',
+        'sourceRevision',
+        'result',
+        'freshness',
+        'contractHash',
+        'acceptanceCriteriaHash',
+        'implementationScopeRef',
+        'implementationScopeHash',
+        'reportRef',
+        'reportHash',
+        'acceptanceTrace',
+        'partialAllowanceRef',
+        'partialAllowanceHash',
+        'receiptRef',
+        'createdAt',
+        'envelopeHash',
+    ], '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 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 result = root.result;
+    const freshness = root.freshness;
+    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),
+        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 };
+}
+//# sourceMappingURL=native-verification-evidence.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"native-verification-evidence.js","sourceRoot":"","sources":["../../../domains/comet-native/native-verification-evidence.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,MAAM,WAAW,CAAC;AAM7B,OAAO,EAAE,aAAa,EAAE,MAAM,4BAA4B,CAAC;AAC3D,OAAO,EAAE,0BAA0B,EAAE,MAAM,uBAAuB,CAAC;AACnE,OAAO,EAAE,iCAAiC,EAAE,MAAM,6BAA6B,CAAC;AAChF,OAAO,EACL,oCAAoC,GAErC,MAAM,gCAAgC,CAAC;AAExC,MAAM,YAAY,GAAG,iBAAiB,CAAC;AACvC,MAAM,+BAA+B,GAAG,CAAC,CAAC;AAC1C,MAAM,yBAAyB,GAAG,kCAAkC,CAAC;AACrE,MAAM,0BAA0B,GAAG,mCAAmC,CAAC;AACvE,MAAM,8BAA8B,GAAG,uCAAuC,CAAC;AAqD/E,SAAS,IAAI,CAAC,KAAa,EAAE,KAAa;IACxC,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,KAAK,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,GAAG,KAAK,yBAAyB,CAAC,CAAC;IAClF,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,gBAAgB,CAAC,KAAa;IACrC,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,KAAK,GAAG,CAAC,EAAE,CAAC;QAC9C,MAAM,IAAI,KAAK,CAAC,4DAA4D,CAAC,CAAC;IAChF,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,UAAU,CAAC,KAAa;IAC/B,IAAI,CAAC,kCAAkC,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QACpD,MAAM,IAAI,KAAK,CAAC,wCAAwC,KAAK,EAAE,CAAC,CAAC;IACnE,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,YAAY,CAAC,KAAa,EAAE,KAAa,EAAE,GAAG,GAAG,KAAK;IAC7D,MAAM,UAAU,GAAG,0BAA0B,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC;IAC5D,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,IAAI,UAAU,CAAC,MAAM,GAAG,GAAG,EAAE,CAAC;QACvD,MAAM,IAAI,KAAK,CAAC,GAAG,KAAK,0BAA0B,GAAG,aAAa,CAAC,CAAC;IACtE,CAAC;IACD,OAAO,UAAU,CAAC;AACpB,CAAC;AAED,SAAS,WAAW,CAAC,KAAa,EAAE,KAAa;IAC/C,MAAM,UAAU,GAAG,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;IAC/C,IACE,KAAK,CAAC,MAAM,KAAK,CAAC;QAClB,KAAK,KAAK,KAAK,CAAC,IAAI,EAAE;QACtB,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC;QACpB,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE;YACnC,MAAM,IAAI,GAAG,SAAS,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YAC3C,OAAO,IAAI,IAAI,IAAI,IAAI,IAAI,KAAK,IAAI,CAAC;QACvC,CAAC,CAAC;QACF,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,UAAU,CAAC;QACjC,mBAAmB,CAAC,IAAI,CAAC,KAAK,CAAC;QAC/B,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC;QAC/B,UAAU,KAAK,KAAK;QACpB,UAAU,KAAK,GAAG;QAClB,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,EACnB,CAAC;QACD,MAAM,IAAI,KAAK,CAAC,GAAG,KAAK,oCAAoC,CAAC,CAAC;IAChE,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,mBAAmB,CAAC,KAAa,EAAE,KAAa,EAAE,aAAsB;IAC/E,MAAM,SAAS,GAAG,WAAW,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IAC5C,MAAM,eAAe,GAAG,iCAAiC,CAAC,SAAS,CAAC,CAAC;IACrE,MAAM,cAAc,GAAG,SAAS,CAAC,WAAW,EAAE,CAAC;IAC/C,MAAM,eAAe,GAAG,aAAa;QACnC,CAAC,CAAC,WAAW,CAAC,aAAa,EAAE,iBAAiB,CAAC,CAAC,WAAW,EAAE;QAC7D,CAAC,CAAC,IAAI,CAAC;IACT,IACE,eAAe;QACf,cAAc,KAAK,SAAS;QAC5B,cAAc,CAAC,UAAU,CAAC,UAAU,CAAC;QACrC,CAAC,eAAe,KAAK,IAAI;YACvB,CAAC,cAAc,KAAK,eAAe,IAAI,cAAc,CAAC,UAAU,CAAC,GAAG,eAAe,GAAG,CAAC,CAAC,CAAC,EAC3F,CAAC;QACD,MAAM,IAAI,KAAK,CACb,GAAG,KAAK,8BAA8B,eAAe,IAAI,gBAAgB,MAAM,SAAS,EAAE,CAC3F,CAAC;IACJ,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,eAAe,CAAC,KAAa;IACpC,MAAM,SAAS,GAAG,WAAW,CAAC,KAAK,EAAE,0BAA0B,CAAC,CAAC;IACjE,IAAI,CAAC,0DAA0D,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC;QAChF,MAAM,IAAI,KAAK,CAAC,+DAA+D,CAAC,CAAC;IACnF,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,SAAS,CAAC,KAAW;IAC5B,MAAM,MAAM,GAAG,KAAK,CAAC,WAAW,EAAE,CAAC;IACnC,IAAI,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,sCAAsC,CAAC,CAAC;IAC9F,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,sBAAsB,CAAC,QAA8C;IAC5E,OAAO,aAAa,CAClB,gCAAgC,EAChC,CAAC,GAAG,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC,CACpE,CAAC;AACJ,CAAC;AAED,SAAS,WAAW,CAAC,IAAY,EAAE,KAAa;IAC9C,IAAI,IAAI,GAAG,KAAK;QAAE,OAAO,CAAC,CAAC,CAAC;IAC5B,IAAI,IAAI,GAAG,KAAK;QAAE,OAAO,CAAC,CAAC;IAC3B,OAAO,CAAC,CAAC;AACX,CAAC;AAED,oGAAoG;AACpG,MAAM,UAAU,kCAAkC,CAChD,QAA8C,EAC9C,QAAkD,EAClD,OAAkC;IAElC,MAAM,aAAa,GAAG,WAAW,CAAC,OAAO,CAAC,aAAa,EAAE,iBAAiB,CAAC,CAAC;IAC5E,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC,SAAS,CAAC,EAAE,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC;IAC7E,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,CAAC,MAAM;QAC/B,MAAM,IAAI,KAAK,CAAC,8CAA8C,CAAC,CAAC;IAClE,MAAM,YAAY,GAAG,IAAI,GAAG,EAAyC,CAAC;IACtE,KAAK,MAAM,KAAK,IAAI,QAAQ,EAAE,CAAC;QAC7B,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,aAAa,CAAC,EAAE,CAAC;YACnC,MAAM,IAAI,KAAK,CAAC,kDAAkD,KAAK,CAAC,aAAa,EAAE,CAAC,CAAC;QAC3F,CAAC;QACD,IAAI,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC,aAAa,CAAC,EAAE,CAAC;YAC1C,MAAM,IAAI,KAAK,CAAC,uCAAuC,KAAK,CAAC,aAAa,EAAE,CAAC,CAAC;QAChF,CAAC;QACD,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC,aAAa,EAAE,KAAK,CAAC,CAAC;IAC/C,CAAC;IACD,MAAM,OAAO,GAAG,CAAC,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;IACvE,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACvB,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,+BAA+B,CAAC,CAAC;QAChE,MAAM,SAAS,GAAG,OAAO,CAAC,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC;QAChD,MAAM,IAAI,KAAK,CACb,2BAA2B,OAAO,CAAC,MAAM,4BAA4B,OAAO,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,KAAK,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,SAAS,GAAG,CAAC,CAAC,CAAC,CAAC,UAAU,SAAS,QAAQ,CAAC,CAAC,CAAC,EAAE,EAAE,CAClL,CAAC;IACJ,CAAC;IAED,MAAM,OAAO,GAAG,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC;SAC/B,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC;SACrD,GAAG,CAAC,CAAC,SAAS,EAA8B,EAAE;QAC7C,MAAM,KAAK,GAAG,YAAY,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAE,CAAC;QAC9C,MAAM,YAAY,GAAG,CAAC,GAAG,KAAK,CAAC,aAAa,CAAC;aAC1C,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CACjB,mBAAmB,CAAC,SAAS,EAAE,oBAAoB,SAAS,CAAC,EAAE,EAAE,EAAE,aAAa,CAAC,CAClF;aACA,IAAI,EAAE,CAAC;QACV,IAAI,IAAI,GAAG,CAAC,YAAY,CAAC,CAAC,IAAI,KAAK,YAAY,CAAC,MAAM,EAAE,CAAC;YACvD,MAAM,IAAI,KAAK,CAAC,4CAA4C,SAAS,CAAC,EAAE,EAAE,CAAC,CAAC;QAC9E,CAAC;QACD,MAAM,gBAAgB,GAAG,KAAK,CAAC,cAAc,EAAE,IAAI,EAAE,IAAI,IAAI,CAAC;QAC9D,MAAM,aAAa,GACjB,gBAAgB,KAAK,IAAI;YACvB,CAAC,CAAC,IAAI;YACN,CAAC,CAAC,YAAY,CAAC,gBAAgB,EAAE,sBAAsB,SAAS,CAAC,EAAE,EAAE,CAAC,CAAC;QAC3E,IAAI,CAAC,YAAY,CAAC,MAAM,KAAK,CAAC,CAAC,KAAK,CAAC,aAAa,KAAK,IAAI,CAAC,EAAE,CAAC;YAC7D,MAAM,IAAI,KAAK,CACb,cAAc,SAAS,CAAC,EAAE,0DAA0D,CACrF,CAAC;QACJ,CAAC;QACD,OAAO;YACL,YAAY,EAAE,SAAS,CAAC,EAAE;YAC1B,IAAI,EAAE,SAAS,CAAC,IAAI;YACpB,MAAM,EAAE,WAAW,CAAC,SAAS,CAAC,MAAM,EAAE,yBAAyB,SAAS,CAAC,EAAE,EAAE,CAAC;YAC9E,YAAY;YACZ,aAAa;SACd,CAAC;IACJ,CAAC,CAAC,CAAC;IACL,MAAM,YAAY,GAAG,sBAAsB,CAAC,QAAQ,CAAC,CAAC;IACtD,MAAM,OAAO,GAAG;QACd,MAAM,EAAE,kCAA2C;QACnD,aAAa;QACb,YAAY;QACZ,KAAK,EAAE,OAAO,CAAC,MAAM;QACrB,SAAS,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,MAAM;QAC1E,OAAO,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,aAAa,KAAK,IAAI,CAAC,CAAC,MAAM;QACvE,OAAO;KACR,CAAC;IACF,OAAO;QACL,GAAG,OAAO;QACV,SAAS,EAAE,aAAa,CAAC,yBAAyB,EAAE,OAAO,CAAC;KAC7D,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,2BAA2B,CAAC,KAQ3C;IACC,MAAM,KAAK,GAAG,oCAAoC,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC,KAAK,CAAC;IAC5E,IAAI,KAAK,CAAC,QAAQ;QAAE,MAAM,IAAI,KAAK,CAAC,2DAA2D,CAAC,CAAC;IACjG,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,gBAAgB,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC;IAC5E,IAAI,IAAI,GAAG,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC,IAAI,KAAK,KAAK,CAAC,eAAe,CAAC,MAAM,EAAE,CAAC;QACzE,MAAM,IAAI,KAAK,CAAC,mDAAmD,CAAC,CAAC;IACvE,CAAC;IACD,MAAM,QAAQ,GAAG,CAAC,GAAG,KAAK,CAAC,eAAe,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;IAC9D,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,kDAAkD,CAAC,CAAC;IAC/F,IAAI,CAAC,GAAG,UAAU,EAAE,GAAG,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,uBAAuB,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;QACjF,MAAM,IAAI,KAAK,CAAC,yCAAyC,CAAC,CAAC;IAC7D,CAAC;IACD,MAAM,OAAO,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;IAC7D,MAAM,OAAO,GAAG,CAAC,GAAG,UAAU,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC;IACvE,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,4CAA4C,OAAO,EAAE,CAAC,CAAC;IAC/F,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,2CAA2C,OAAO,EAAE,CAAC,CAAC;IAE9F,MAAM,OAAO,GAAG;QACd,MAAM,EAAE,mCAA4C;QACpD,MAAM,EAAE,UAAU,CAAC,KAAK,CAAC,MAAM,CAAC;QAChC,SAAS,EAAE,KAAK,CAAC,SAAS;QAC1B,QAAQ;QACR,MAAM,EAAE,YAAY,CAAC,KAAK,CAAC,MAAM,EAAE,0BAA0B,CAAC;QAC9D,gBAAgB,EAAE,YAAY,CAAC,KAAK,CAAC,gBAAgB,EAAE,gCAAgC,CAAC;QACxF,cAAc,EAAE,gBAAgB,CAAC,KAAK,CAAC,cAAc,CAAC;QACtD,WAAW,EAAE,SAAS,CAAC,KAAK,CAAC,GAAG,IAAI,IAAI,IAAI,EAAE,CAAC;KAChD,CAAC;IACF,OAAO;QACL,GAAG,OAAO;QACV,aAAa,EAAE,aAAa,CAAC,0BAA0B,EAAE,OAAO,CAAC;KAClE,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,uCAAuC,CAAC,KAavD;IACC,IAAI,KAAK,CAAC,MAAM,KAAK,MAAM,IAAI,KAAK,CAAC,MAAM,KAAK,MAAM,EAAE,CAAC;QACvD,MAAM,IAAI,KAAK,CAAC,gDAAgD,CAAC,CAAC;IACpE,CAAC;IACD,MAAM,eAAe,GAAG,kCAAkC,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC;IAClF,MAAM,mBAAmB,GAAG,oCAAoC,CAC9D,KAAK,CAAC,mBAAmB,CAAC,MAAM,CACjC,CAAC,KAAK,CAAC;IACR,MAAM,sBAAsB,GAAG,mBAAmB,CAChD,KAAK,CAAC,mBAAmB,CAAC,GAAG,EAC7B,QAAQ,EACR,mBAAmB,CAAC,SAAS,CAC9B,CAAC;IACF,IAAI,mBAAmB,CAAC,YAAY,KAAK,KAAK,CAAC,YAAY,EAAE,CAAC;QAC5D,MAAM,IAAI,KAAK,CAAC,+DAA+D,CAAC,CAAC;IACnF,CAAC;IACD,MAAM,cAAc,GAAG,KAAK,CAAC,gBAAgB,IAAI,IAAI,CAAC;IACtD,MAAM,eAAe,GAAG,cAAc;QACpC,CAAC,CAAC,2BAA2B,CAAC,cAAc,CAAC,SAAS,CAAC;QACvD,CAAC,CAAC,IAAI,CAAC;IACT,MAAM,SAAS,GACb,cAAc,IAAI,eAAe;QAC/B,CAAC,CAAC;YACE,GAAG,EAAE,mBAAmB,CAAC,cAAc,CAAC,GAAG,EAAE,YAAY,EAAE,eAAe,CAAC,aAAa,CAAC;YACzF,SAAS,EAAE,eAAe;SAC3B;QACH,CAAC,CAAC,IAAI,CAAC;IACX,IAAI,mBAAmB,CAAC,QAAQ,IAAI,SAAS,KAAK,IAAI,EAAE,CAAC;QACvD,MAAM,IAAI,KAAK,CAAC,gEAAgE,CAAC,CAAC;IACpF,CAAC;IACD,IAAI,CAAC,mBAAmB,CAAC,QAAQ,IAAI,SAAS,KAAK,IAAI,EAAE,CAAC;QACxD,MAAM,IAAI,KAAK,CAAC,6DAA6D,CAAC,CAAC;IACjF,CAAC;IACD,MAAM,kBAAkB,GAAG,mBAAmB,CAAC,gBAAgB;SAC5D,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC;SACxB,IAAI,CAAC,WAAW,CAAC,CAAC;IACrB,IACE,SAAS;QACT,CAAC,SAAS,CAAC,SAAS,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM;YAC1C,SAAS,CAAC,SAAS,CAAC,SAAS,KAAK,mBAAmB,CAAC,SAAS;YAC/D,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,SAAS,CAAC,QAAQ,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,kBAAkB,CAAC,CAAC,EACtF,CAAC;QACD,MAAM,IAAI,KAAK,CAAC,yDAAyD,CAAC,CAAC;IAC7E,CAAC;IACD,IAAI,eAAe,CAAC,YAAY,KAAK,KAAK,CAAC,cAAc,EAAE,CAAC;QAC1D,MAAM,IAAI,KAAK,CAAC,2DAA2D,CAAC,CAAC;IAC/E,CAAC;IACD,IAAI,SAAS,IAAI,SAAS,CAAC,SAAS,CAAC,cAAc,IAAI,KAAK,CAAC,cAAc,EAAE,CAAC;QAC5E,MAAM,IAAI,KAAK,CAAC,mEAAmE,CAAC,CAAC;IACvF,CAAC;IAED,MAAM,OAAO,GAAG;QACd,MAAM,EAAE,uCAAgD;QACxD,MAAM,EAAE,UAAU,CAAC,KAAK,CAAC,MAAM,CAAC;QAChC,cAAc,EAAE,gBAAgB,CAAC,KAAK,CAAC,cAAc,CAAC;QACtD,MAAM,EAAE,KAAK,CAAC,MAAM;QACpB,SAAS,EAAE,mBAAmB,CAAC,QAAQ,CAAC,CAAC,CAAE,UAAoB,CAAC,CAAC,CAAE,SAAmB;QACtF,YAAY,EAAE,IAAI,CAAC,KAAK,CAAC,YAAY,EAAE,2BAA2B,CAAC;QACnE,sBAAsB,EAAE,IAAI,CAAC,KAAK,CAAC,cAAc,EAAE,6BAA6B,CAAC;QACjF,sBAAsB;QACtB,uBAAuB,EAAE,mBAAmB,CAAC,SAAS;QACtD,SAAS,EAAE,mBAAmB,CAAC,KAAK,CAAC,SAAS,EAAE,yBAAyB,CAAC;QAC1E,UAAU,EAAE,IAAI,CAAC,KAAK,CAAC,UAAU,EAAE,0BAA0B,CAAC;QAC9D,eAAe;QACf,mBAAmB,EAAE,SAAS,EAAE,GAAG,IAAI,IAAI;QAC3C,oBAAoB,EAAE,SAAS,EAAE,SAAS,CAAC,aAAa,IAAI,IAAI;QAChE,UAAU,EAAE,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,eAAe,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,IAAI;QACvE,SAAS,EAAE,SAAS,CAAC,KAAK,CAAC,GAAG,IAAI,IAAI,IAAI,EAAE,CAAC;KAC9C,CAAC;IACF,OAAO;QACL,GAAG,OAAO;QACV,YAAY,EAAE,aAAa,CAAC,8BAA8B,EAAE,OAAO,CAAC;KACrE,CAAC;AACJ,CAAC;AAED,SAAS,cAAc,CAAC,KAAc,EAAE,KAAa;IACnD,IAAI,CAAC,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QAChE,MAAM,IAAI,KAAK,CAAC,GAAG,KAAK,oBAAoB,CAAC,CAAC;IAChD,CAAC;IACD,OAAO,KAAgC,CAAC;AAC1C,CAAC;AAED,SAAS,iBAAiB,CACxB,KAA8B,EAC9B,IAAuB,EACvB,KAAa;IAEb,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,CAAC;IAC/B,MAAM,OAAO,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;IACvE,MAAM,OAAO,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,IAAI,KAAK,CAAC,CAAC,CAAC;IACtD,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,GAAG,KAAK,0BAA0B,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAChG,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,GAAG,KAAK,yBAAyB,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;AACjG,CAAC;AAED,SAAS,kBAAkB,CAAC,KAAc,EAAE,KAAa;IACvD,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,MAAM,IAAI,KAAK,CAAC,GAAG,KAAK,aAAa,CAAC,CAAC;IACtE,MAAM,MAAM,GAAG,IAAI,IAAI,CAAC,KAAK,CAAC,CAAC;IAC/B,IAAI,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC,IAAI,MAAM,CAAC,WAAW,EAAE,KAAK,KAAK,EAAE,CAAC;QACrE,MAAM,IAAI,KAAK,CAAC,GAAG,KAAK,aAAa,CAAC,CAAC;IACzC,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,mBAAmB,CAAC,KAAc,EAAE,IAA6B,EAAE,IAAY;IACtF,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,MAAM,IAAI,KAAK,CAAC,UAAU,IAAI,0BAA0B,CAAC,CAAC;IACzF,MAAM,QAAQ,GAAG,oBAAoB,IAAI,IAAI,IAAI,OAAO,CAAC;IACzD,IAAI,KAAK,KAAK,QAAQ;QAAE,MAAM,IAAI,KAAK,CAAC,UAAU,IAAI,6BAA6B,CAAC,CAAC;IACrF,OAAO,KAAK,CAAC;AACf,CAAC;AAED,MAAM,UAAU,kCAAkC,CAAC,KAAc;IAC/D,MAAM,IAAI,GAAG,cAAc,CAAC,KAAK,EAAE,yBAAyB,CAAC,CAAC;IAC9D,iBAAiB,CACf,IAAI,EACJ;QACE,QAAQ;QACR,eAAe;QACf,cAAc;QACd,OAAO;QACP,WAAW;QACX,SAAS;QACT,SAAS;QACT,WAAW;KACZ,EACD,yBAAyB,CAC1B,CAAC;IACF,IACE,IAAI,CAAC,MAAM,KAAK,kCAAkC;QAClD,OAAO,IAAI,CAAC,aAAa,KAAK,QAAQ;QACtC,OAAO,IAAI,CAAC,YAAY,KAAK,QAAQ;QACrC,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,YAAY,CAAC;QACrC,CAAC,MAAM,CAAC,aAAa,CAAC,IAAI,CAAC,KAAK,CAAC;QACjC,CAAC,MAAM,CAAC,aAAa,CAAC,IAAI,CAAC,SAAS,CAAC;QACrC,CAAC,MAAM,CAAC,aAAa,CAAC,IAAI,CAAC,OAAO,CAAC;QACnC,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,EAC5B,CAAC;QACD,MAAM,IAAI,KAAK,CAAC,oCAAoC,CAAC,CAAC;IACxD,CAAC;IACD,MAAM,aAAa,GAAG,WAAW,CAAC,IAAI,CAAC,aAAuB,EAAE,iBAAiB,CAAC,CAAC;IACnF,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,KAAK,EAA8B,EAAE;QAC5E,MAAM,KAAK,GAAG,cAAc,CAAC,KAAK,EAAE,iCAAiC,KAAK,EAAE,CAAC,CAAC;QAC9E,iBAAiB,CACf,KAAK,EACL,CAAC,cAAc,EAAE,MAAM,EAAE,QAAQ,EAAE,cAAc,EAAE,eAAe,CAAC,EACnE,iCAAiC,KAAK,EAAE,CACzC,CAAC;QACF,IACE,OAAO,KAAK,CAAC,YAAY,KAAK,QAAQ;YACtC,CAAC,4BAA4B,CAAC,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC;YACtD,CAAC,KAAK,CAAC,IAAI,KAAK,eAAe,IAAI,KAAK,CAAC,IAAI,KAAK,eAAe,CAAC;YAClE,OAAO,KAAK,CAAC,MAAM,KAAK,QAAQ;YAChC,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,YAAY,CAAC;YAClC,KAAK,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,OAAO,SAAS,KAAK,QAAQ,CAAC;YACrE,CAAC,KAAK,CAAC,aAAa,KAAK,IAAI;gBAC3B,CAAC,OAAO,KAAK,CAAC,aAAa,KAAK,QAAQ;oBACtC,KAAK,CAAC,aAAa,CAAC,MAAM,KAAK,CAAC;oBAChC,KAAK,CAAC,aAAa,CAAC,IAAI,EAAE,KAAK,KAAK,CAAC,aAAa,CAAC,CAAC,EACxD,CAAC;YACD,MAAM,IAAI,KAAK,CAAC,iCAAiC,KAAK,aAAa,CAAC,CAAC;QACvE,CAAC;QACD,MAAM,YAAY,GAAI,KAAK,CAAC,YAAyB,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CACtE,mBAAmB,CACjB,SAAS,EACT,iCAAiC,KAAK,eAAe,EACrD,aAAa,CACd,CACF,CAAC;QACF,IACE,IAAI,CAAC,SAAS,CAAC,YAAY,CAAC;YAC1B,IAAI,CAAC,SAAS,CAAC,CAAC,GAAG,IAAI,GAAG,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;YAC9D,CAAC,YAAY,CAAC,MAAM,KAAK,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,aAAa,KAAK,IAAI,CAAC,EAC9D,CAAC;YACD,MAAM,IAAI,KAAK,CAAC,iCAAiC,KAAK,4BAA4B,CAAC,CAAC;QACtF,CAAC;QACD,OAAO;YACL,YAAY,EAAE,KAAK,CAAC,YAAY;YAChC,IAAI,EAAE,KAAK,CAAC,IAAI;YAChB,MAAM,EAAE,WAAW,CAAC,KAAK,CAAC,MAAM,EAAE,iCAAiC,KAAK,SAAS,CAAC;YAClF,YAAY;YACZ,aAAa,EACX,KAAK,CAAC,aAAa,KAAK,IAAI;gBAC1B,CAAC,CAAC,IAAI;gBACN,CAAC,CAAC,YAAY,CACV,KAAK,CAAC,aAAuB,EAC7B,iCAAiC,KAAK,iBAAiB,CACxD;SACR,CAAC;IACJ,CAAC,CAAC,CAAC;IACH,IACE,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC;QACrB,IAAI,CAAC,SAAS,CACZ,CAAC,GAAG,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,WAAW,CAAC,IAAI,CAAC,YAAY,EAAE,KAAK,CAAC,YAAY,CAAC,CAAC,CACvF;QACH,IAAI,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,KAAK,OAAO,CAAC,MAAM;QAC3E,IAAI,CAAC,KAAK,KAAK,OAAO,CAAC,MAAM;QAC7B,IAAI,CAAC,SAAS,KAAK,OAAO,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,MAAM;QAClF,IAAI,CAAC,OAAO,KAAK,OAAO,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,aAAa,KAAK,IAAI,CAAC,CAAC,MAAM,EAC/E,CAAC;QACD,MAAM,IAAI,KAAK,CAAC,kDAAkD,CAAC,CAAC;IACtE,CAAC;IACD,MAAM,OAAO,GAAG;QACd,MAAM,EAAE,kCAA2C;QACnD,aAAa;QACb,YAAY,EAAE,IAAI,CAAC,YAAY;QAC/B,KAAK,EAAE,IAAI,CAAC,KAAK;QACjB,SAAS,EAAE,IAAI,CAAC,SAAS;QACzB,OAAO,EAAE,IAAI,CAAC,OAAO;QACrB,OAAO;KACR,CAAC;IACF,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,CAAC,SAAmB,EAAE,8BAA8B,CAAC,CAAC;IACjF,IAAI,aAAa,CAAC,yBAAyB,EAAE,OAAO,CAAC,KAAK,SAAS,EAAE,CAAC;QACpE,MAAM,IAAI,KAAK,CAAC,+CAA+C,CAAC,CAAC;IACnE,CAAC;IACD,OAAO,EAAE,GAAG,OAAO,EAAE,SAAS,EAAE,CAAC;AACnC,CAAC;AAED,MAAM,UAAU,2BAA2B,CAAC,KAAc;IACxD,MAAM,IAAI,GAAG,cAAc,CAAC,KAAK,EAAE,0BAA0B,CAAC,CAAC;IAC/D,iBAAiB,CACf,IAAI,EACJ;QACE,QAAQ;QACR,QAAQ;QACR,WAAW;QACX,UAAU;QACV,QAAQ;QACR,kBAAkB;QAClB,gBAAgB;QAChB,aAAa;QACb,eAAe;KAChB,EACD,0BAA0B,CAC3B,CAAC;IACF,IACE,IAAI,CAAC,MAAM,KAAK,mCAAmC;QACnD,OAAO,IAAI,CAAC,MAAM,KAAK,QAAQ;QAC/B,OAAO,IAAI,CAAC,SAAS,KAAK,QAAQ;QAClC,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC;QAC7B,IAAI,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC;QAC1B,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,OAAO,EAAE,KAAK,QAAQ,IAAI,CAAC,uBAAuB,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACvF,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,QAAQ,CAAC;YAC3B,IAAI,CAAC,SAAS,CAAC,CAAC,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,QAAoB,CAAC,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QAC3E,OAAO,IAAI,CAAC,MAAM,KAAK,QAAQ;QAC/B,OAAO,IAAI,CAAC,gBAAgB,KAAK,QAAQ,EACzC,CAAC;QACD,MAAM,IAAI,KAAK,CAAC,qCAAqC,CAAC,CAAC;IACzD,CAAC;IACD,MAAM,OAAO,GAAG;QACd,MAAM,EAAE,mCAA4C;QACpD,MAAM,EAAE,UAAU,CAAC,IAAI,CAAC,MAAM,CAAC;QAC/B,SAAS,EAAE,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,oCAAoC,CAAC;QACrE,QAAQ,EAAE,IAAI,CAAC,QAAoB;QACnC,MAAM,EAAE,YAAY,CAAC,IAAI,CAAC,MAAM,EAAE,0BAA0B,CAAC;QAC7D,gBAAgB,EAAE,YAAY,CAAC,IAAI,CAAC,gBAAgB,EAAE,gCAAgC,CAAC;QACvF,cAAc,EAAE,gBAAgB,CAAC,IAAI,CAAC,cAAwB,CAAC;QAC/D,WAAW,EAAE,kBAAkB,CAAC,IAAI,CAAC,WAAW,EAAE,oCAAoC,CAAC;KACxF,CAAC;IACF,IAAI,OAAO,CAAC,MAAM,KAAK,IAAI,CAAC,MAAM,IAAI,OAAO,CAAC,gBAAgB,KAAK,IAAI,CAAC,gBAAgB,EAAE,CAAC;QACzF,MAAM,IAAI,KAAK,CAAC,gDAAgD,CAAC,CAAC;IACpE,CAAC;IACD,MAAM,aAAa,GAAG,IAAI,CAAC,IAAI,CAAC,aAAuB,EAAE,+BAA+B,CAAC,CAAC;IAC1F,IAAI,aAAa,CAAC,0BAA0B,EAAE,OAAO,CAAC,KAAK,aAAa,EAAE,CAAC;QACzE,MAAM,IAAI,KAAK,CAAC,gDAAgD,CAAC,CAAC;IACpE,CAAC;IACD,OAAO,EAAE,GAAG,OAAO,EAAE,aAAa,EAAE,CAAC;AACvC,CAAC;AAED,MAAM,UAAU,uCAAuC,CACrD,KAAc;IAEd,MAAM,IAAI,GAAG,cAAc,CAAC,KAAK,EAAE,8BAA8B,CAAC,CAAC;IACnE,iBAAiB,CACf,IAAI,EACJ;QACE,QAAQ;QACR,QAAQ;QACR,gBAAgB;QAChB,QAAQ;QACR,WAAW;QACX,cAAc;QACd,wBAAwB;QACxB,wBAAwB;QACxB,yBAAyB;QACzB,WAAW;QACX,YAAY;QACZ,iBAAiB;QACjB,qBAAqB;QACrB,sBAAsB;QACtB,YAAY;QACZ,WAAW;QACX,cAAc;KACf,EACD,8BAA8B,CAC/B,CAAC;IACF,IACE,IAAI,CAAC,MAAM,KAAK,uCAAuC;QACvD,OAAO,IAAI,CAAC,MAAM,KAAK,QAAQ;QAC/B,CAAC,IAAI,CAAC,MAAM,KAAK,MAAM,IAAI,IAAI,CAAC,MAAM,KAAK,MAAM,CAAC;QAClD,CAAC,IAAI,CAAC,SAAS,KAAK,UAAU,IAAI,IAAI,CAAC,SAAS,KAAK,SAAS,CAAC;QAC/D,OAAO,IAAI,CAAC,uBAAuB,KAAK,QAAQ;QAChD,OAAO,IAAI,CAAC,SAAS,KAAK,QAAQ;QAClC,CAAC,IAAI,CAAC,UAAU,KAAK,IAAI,IAAI,OAAO,IAAI,CAAC,UAAU,KAAK,QAAQ,CAAC,EACjE,CAAC;QACD,MAAM,IAAI,KAAK,CAAC,yCAAyC,CAAC,CAAC;IAC7D,CAAC;IACD,MAAM,uBAAuB,GAAG,IAAI,CAClC,IAAI,CAAC,uBAAuB,EAC5B,+CAA+C,CAChD,CAAC;IACF,MAAM,eAAe,GAAG,kCAAkC,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;IACjF,MAAM,sBAAsB,GAAG,IAAI,CACjC,IAAI,CAAC,sBAAgC,EACrC,8CAA8C,CAC/C,CAAC;IACF,IAAI,eAAe,CAAC,YAAY,KAAK,sBAAsB,EAAE,CAAC;QAC5D,MAAM,IAAI,KAAK,CAAC,uEAAuE,CAAC,CAAC;IAC3F,CAAC;IACD,MAAM,YAAY,GAAG,IAAI,CAAC,mBAAmB,KAAK,IAAI,IAAI,IAAI,CAAC,oBAAoB,KAAK,IAAI,CAAC;IAC7F,IACE,CAAC,IAAI,CAAC,mBAAmB,KAAK,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,oBAAoB,KAAK,IAAI,CAAC;QAC5E,CAAC,IAAI,CAAC,SAAS,KAAK,UAAU,IAAI,YAAY,CAAC;QAC/C,CAAC,IAAI,CAAC,SAAS,KAAK,SAAS,IAAI,CAAC,YAAY,CAAC,EAC/C,CAAC;QACD,MAAM,IAAI,KAAK,CAAC,wDAAwD,CAAC,CAAC;IAC5E,CAAC;IACD,MAAM,oBAAoB,GACxB,IAAI,CAAC,oBAAoB,KAAK,IAAI;QAChC,CAAC,CAAC,IAAI;QACN,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,oBAA8B,EAAE,oCAAoC,CAAC,CAAC;IACtF,MAAM,MAAM,GAAiD,IAAI,CAAC,MAAM,CAAC;IACzE,MAAM,SAAS,GAAoD,IAAI,CAAC,SAAS,CAAC;IAClF,MAAM,OAAO,GAAG;QACd,MAAM,EAAE,uCAAgD;QACxD,MAAM,EAAE,UAAU,CAAC,IAAI,CAAC,MAAM,CAAC;QAC/B,cAAc,EAAE,gBAAgB,CAAC,IAAI,CAAC,cAAwB,CAAC;QAC/D,MAAM;QACN,SAAS;QACT,YAAY,EAAE,IAAI,CAAC,IAAI,CAAC,YAAsB,EAAE,mCAAmC,CAAC;QACpF,sBAAsB;QACtB,sBAAsB,EAAE,mBAAmB,CACzC,IAAI,CAAC,sBAAsB,EAC3B,QAAQ,EACR,uBAAuB,CACxB;QACD,uBAAuB;QACvB,SAAS,EAAE,mBAAmB,CAAC,IAAI,CAAC,SAAS,EAAE,gCAAgC,CAAC;QAChF,UAAU,EAAE,IAAI,CAAC,IAAI,CAAC,UAAoB,EAAE,iCAAiC,CAAC;QAC9E,eAAe;QACf,mBAAmB,EACjB,oBAAoB,KAAK,IAAI;YAC3B,CAAC,CAAC,IAAI;YACN,CAAC,CAAC,mBAAmB,CAAC,IAAI,CAAC,mBAAmB,EAAE,YAAY,EAAE,oBAAoB,CAAC;QACvF,oBAAoB;QACpB,UAAU,EAAE,IAAI,CAAC,UAAU,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,eAAe,CAAC,IAAI,CAAC,UAAU,CAAC;QAC9E,SAAS,EAAE,kBAAkB,CAAC,IAAI,CAAC,SAAS,EAAE,+BAA+B,CAAC;KAC/E,CAAC;IACF,MAAM,YAAY,GAAG,IAAI,CAAC,IAAI,CAAC,YAAsB,EAAE,mCAAmC,CAAC,CAAC;IAC5F,IAAI,aAAa,CAAC,8BAA8B,EAAE,OAAO,CAAC,KAAK,YAAY,EAAE,CAAC;QAC5E,MAAM,IAAI,KAAK,CAAC,oDAAoD,CAAC,CAAC;IACxE,CAAC;IACD,OAAO,EAAE,GAAG,OAAO,EAAE,YAAY,EAAE,CAAC;AACtC,CAAC"}

package/dist/domains/comet-native/native-verification-runtime.d.ts

@@ -0,0 +1,58 @@
+import type { NativeArchiveEvidenceFact, NativeVerificationFreshness } from './native-archive-preflight.js';
+import type { NativeChangeState, NativeProjectPaths } from './native-types.js';
+import { type NativeVerificationEvidenceEnvelope } from './native-verification-evidence.js';
+export type NativeVerificationFreshnessFindingCode = 'verification-contract-stale' | 'verification-implementation-stale' | 'verification-report-stale' | 'verification-receipt-stale' | 'verification-receipt-invalid' | 'verification-receipt-outcome-mismatch' | 'verification-state-mismatch' | 'verification-evidence-missing' | 'verification-evidence-invalid';
+export interface NativeVerificationPreparation {
+    ready: boolean;
+    findingCodes: NativeVerificationFreshnessFindingCode[];
+    envelope: NativeVerificationEvidenceEnvelope | null;
+    evidenceRef: string | null;
+    reportSnapshot: {
+        hash: string;
+        text: string;
+    } | null;
+}
+export interface NativeVerificationFreshnessInspection {
+    freshness: NativeVerificationFreshness;
+    findingCodes: NativeVerificationFreshnessFindingCode[];
+    evidence: NativeArchiveEvidenceFact;
+    envelope: NativeVerificationEvidenceEnvelope | null;
+}
+export interface NativeImplementationScopeFreshnessInspection {
+    freshness: 'fresh' | 'stale' | 'missing' | 'invalid';
+    findingCodes: NativeVerificationFreshnessFindingCode[];
+}
+/**
+ * Recomputes the facts bound by the Build implementation scope without requiring a Verify report.
+ * Verify uses this to retreat safely when its contract or project snapshot changes before an
+ * evidence envelope can be created.
+ */
+export declare function inspectNativeImplementationScopeFreshness(options: {
+    paths: NativeProjectPaths;
+    state: NativeChangeState;
+    now?: Date;
+}): Promise<NativeImplementationScopeFreshnessInspection>;
+export interface NativeVerificationEvidenceOptions {
+    paths: NativeProjectPaths;
+    state: NativeChangeState;
+    result: 'pass' | 'fail';
+    reportRef: string;
+    receiptRef?: string | null;
+    now?: Date;
+}
+/** Build and validate an envelope without mutating the Native evidence store. */
+export declare function inspectNativeVerificationEvidence(options: NativeVerificationEvidenceOptions): Promise<NativeVerificationPreparation>;
+export declare function persistNativeVerificationEvidence(options: {
+    paths: NativeProjectPaths;
+    state: NativeChangeState;
+    preparation: NativeVerificationPreparation;
+}): Promise<void>;
+/** Backwards-compatible one-shot API for callers that explicitly want durable evidence. */
+export declare function prepareNativeVerificationEvidence(options: NativeVerificationEvidenceOptions): Promise<NativeVerificationPreparation>;
+/** Recompute every freshness boundary used by status, Archive preview, and Archive commit. */
+export declare function inspectNativeVerificationFreshness(options: {
+    paths: NativeProjectPaths;
+    state: NativeChangeState;
+    now?: Date;
+}): Promise<NativeVerificationFreshnessInspection>;
+//# sourceMappingURL=native-verification-runtime.d.ts.map

package/dist/domains/comet-native/native-verification-runtime.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"native-verification-runtime.d.ts","sourceRoot":"","sources":["../../../domains/comet-native/native-verification-runtime.ts"],"names":[],"mappings":"AAMA,OAAO,KAAK,EACV,yBAAyB,EACzB,2BAA2B,EAC5B,MAAM,+BAA+B,CAAC;AAgBvC,OAAO,KAAK,EACV,iBAAiB,EAEjB,kBAAkB,EACnB,MAAM,mBAAmB,CAAC;AAM3B,OAAO,EAGL,KAAK,kCAAkC,EACxC,MAAM,mCAAmC,CAAC;AAE3C,MAAM,MAAM,sCAAsC,GAC9C,6BAA6B,GAC7B,mCAAmC,GACnC,2BAA2B,GAC3B,4BAA4B,GAC5B,8BAA8B,GAC9B,uCAAuC,GACvC,6BAA6B,GAC7B,+BAA+B,GAC/B,+BAA+B,CAAC;AAEpC,MAAM,WAAW,6BAA6B;IAC5C,KAAK,EAAE,OAAO,CAAC;IACf,YAAY,EAAE,sCAAsC,EAAE,CAAC;IACvD,QAAQ,EAAE,kCAAkC,GAAG,IAAI,CAAC;IACpD,WAAW,EAAE,MAAM,GAAG,IAAI,CAAC;IAC3B,cAAc,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAA;KAAE,GAAG,IAAI,CAAC;CACvD;AAED,MAAM,WAAW,qCAAqC;IACpD,SAAS,EAAE,2BAA2B,CAAC;IACvC,YAAY,EAAE,sCAAsC,EAAE,CAAC;IACvD,QAAQ,EAAE,yBAAyB,CAAC;IACpC,QAAQ,EAAE,kCAAkC,GAAG,IAAI,CAAC;CACrD;AAuFD,MAAM,WAAW,4CAA4C;IAC3D,SAAS,EAAE,OAAO,GAAG,OAAO,GAAG,SAAS,GAAG,SAAS,CAAC;IACrD,YAAY,EAAE,sCAAsC,EAAE,CAAC;CACxD;AAED;;;;GAIG;AACH,wBAAsB,yCAAyC,CAAC,OAAO,EAAE;IACvE,KAAK,EAAE,kBAAkB,CAAC;IAC1B,KAAK,EAAE,iBAAiB,CAAC;IACzB,GAAG,CAAC,EAAE,IAAI,CAAC;CACZ,GAAG,OAAO,CAAC,4CAA4C,CAAC,CAcxD;AA2DD,MAAM,WAAW,iCAAiC;IAChD,KAAK,EAAE,kBAAkB,CAAC;IAC1B,KAAK,EAAE,iBAAiB,CAAC;IACzB,MAAM,EAAE,MAAM,GAAG,MAAM,CAAC;IACxB,SAAS,EAAE,MAAM,CAAC;IAClB,UAAU,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IAC3B,GAAG,CAAC,EAAE,IAAI,CAAC;CACZ;AAED,iFAAiF;AACjF,wBAAsB,iCAAiC,CACrD,OAAO,EAAE,iCAAiC,GACzC,OAAO,CAAC,6BAA6B,CAAC,CAwExC;AAED,wBAAsB,iCAAiC,CAAC,OAAO,EAAE;IAC/D,KAAK,EAAE,kBAAkB,CAAC;IAC1B,KAAK,EAAE,iBAAiB,CAAC;IACzB,WAAW,EAAE,6BAA6B,CAAC;CAC5C,GAAG,OAAO,CAAC,IAAI,CAAC,CAsBhB;AAED,2FAA2F;AAC3F,wBAAsB,iCAAiC,CACrD,OAAO,EAAE,iCAAiC,GACzC,OAAO,CAAC,6BAA6B,CAAC,CAUxC;AAmBD,8FAA8F;AAC9F,wBAAsB,kCAAkC,CAAC,OAAO,EAAE;IAChE,KAAK,EAAE,kBAAkB,CAAC;IAC1B,KAAK,EAAE,iBAAiB,CAAC;IACzB,GAAG,CAAC,EAAE,IAAI,CAAC;CACZ,GAAG,OAAO,CAAC,qCAAqC,CAAC,CAwFjD"}