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

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

@@ -0,0 +1,321 @@
+import path from 'node:path';
+import { parseNativeVerificationMachineBlock, } from './native-acceptance.js';
+import { readNativeBoundedTextFile } from './native-bounded-file.js';
+import { nativeChangeDir } from './native-change.js';
+import { readNativeCheckReceipt } from './native-check-receipt-storage.js';
+import { collectNativeContractFiles } from './native-contract-files.js';
+import { readNativeImplementationScopeBundle, readNativePartialAllowance, readNativeVerificationEvidence, nativeEvidenceRef, writeNativeVerificationReportSnapshot, writeNativeVerificationEvidence, } from './native-evidence-storage.js';
+import { createNativeContentSnapshot } from './native-snapshot.js';
+import { buildNativeImplementationScopeBundle, } from './native-verification-scope.js';
+import { buildNativeAcceptanceEvidenceTrace, buildNativeVerificationEvidenceEnvelope, } from './native-verification-evidence.js';
+function projectionManifest(projection) {
+    return {
+        schema: 'comet.native.content-snapshot.v1',
+        origin: projection.origin,
+        createdAt: '1970-01-01T00:00:00.000Z',
+        complete: projection.complete,
+        limits: projection.limits,
+        entries: projection.entries,
+        omitted: projection.omitted,
+        omittedCount: projection.omittedCount,
+        ...(projection.omissionOverflow ? { omissionOverflow: projection.omissionOverflow } : {}),
+    };
+}
+function nativeRootRef(paths) {
+    const value = path.relative(paths.projectRoot, paths.nativeRoot).replaceAll('\\', '/');
+    if (!value || value === '..' || value.startsWith('../') || path.posix.isAbsolute(value)) {
+        throw new Error('Native root is outside the project root');
+    }
+    return value;
+}
+async function currentProjectionHash(options) {
+    const current = await createNativeContentSnapshot(options.paths, {
+        origin: 'explicit',
+        now: options.now,
+    });
+    return buildNativeImplementationScopeBundle({
+        baseline: projectionManifest(options.bundle.baseline),
+        current,
+        contractHash: options.bundle.scope.contractHash,
+        declaredArtifacts: options.bundle.scope.declaredArtifacts,
+        noCodeReason: options.bundle.scope.noCodeReason,
+    }).scope.currentProjectionHash;
+}
+async function inspectCurrentScopeFacts(options) {
+    if (!options.state.implementation_scope) {
+        throw new Error('Native change has no implementation scope');
+    }
+    const bundle = await readNativeImplementationScopeBundle(options.paths, options.state.name, options.state.implementation_scope);
+    const contract = await collectNativeContractFiles({
+        changeDir: nativeChangeDir(options.paths, options.state.name),
+        briefRef: options.state.brief,
+        specChanges: options.state.spec_changes,
+    });
+    const currentHash = await currentProjectionHash({
+        paths: options.paths,
+        bundle,
+        now: options.now,
+    });
+    const findingCodes = [];
+    if (contract.contract.contractHash !== bundle.scope.contractHash) {
+        findingCodes.push('verification-contract-stale');
+    }
+    if (currentHash !== bundle.scope.currentProjectionHash) {
+        findingCodes.push('verification-implementation-stale');
+    }
+    return {
+        bundle,
+        contract: contract.contract,
+        contractHash: contract.contract.contractHash,
+        acceptanceHash: contract.contract.acceptanceHash,
+        findingCodes,
+    };
+}
+/**
+ * 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 async function inspectNativeImplementationScopeFreshness(options) {
+    if (!options.state.implementation_scope) {
+        return { freshness: 'missing', findingCodes: ['verification-evidence-missing'] };
+    }
+    try {
+        const facts = await inspectCurrentScopeFacts(options);
+        const findingCodes = [...new Set(facts.findingCodes)].sort();
+        return {
+            freshness: findingCodes.length === 0 ? 'fresh' : 'stale',
+            findingCodes,
+        };
+    }
+    catch {
+        return { freshness: 'invalid', findingCodes: ['verification-evidence-invalid'] };
+    }
+}
+async function reportEvidence(options) {
+    const report = await readNativeBoundedTextFile({
+        root: nativeChangeDir(options.paths, options.state.name),
+        ref: options.reportRef,
+    });
+    return {
+        ref: report.ref,
+        hash: report.hash,
+        text: report.text,
+        entries: parseNativeVerificationMachineBlock(report.text),
+    };
+}
+function checkReceiptBindingCodes(options) {
+    const { receipt, implementationScope } = options;
+    const codes = [];
+    const selectedFiles = implementationScope.scope.changes.filter((change) => change.after !== null);
+    const selectedBytes = selectedFiles.reduce((total, change) => total + change.after.size, 0);
+    if (receipt.stale ||
+        receipt.sourceRevision !== options.sourceRevision ||
+        receipt.contract.expectedHash !== options.contractHash ||
+        receipt.contract.beforeHash !== options.contractHash ||
+        receipt.contract.afterHash !== options.contractHash ||
+        receipt.implementation.scopeHash !== implementationScope.scope.scopeHash ||
+        receipt.implementation.expectedSnapshotHash !==
+            implementationScope.scope.currentProjectionHash ||
+        receipt.implementation.beforeSnapshotHash !== implementationScope.scope.currentProjectionHash ||
+        receipt.implementation.afterSnapshotHash !== implementationScope.scope.currentProjectionHash ||
+        receipt.counts.filesSelected !== selectedFiles.length ||
+        (receipt.status === 'passed' &&
+            (receipt.counts.filesScanned + receipt.counts.binaryFilesSkipped !== selectedFiles.length ||
+                receipt.counts.bytesScanned !== selectedBytes))) {
+        codes.push('verification-receipt-stale');
+    }
+    if (options.result === 'pass' && receipt.status !== 'passed') {
+        codes.push('verification-receipt-outcome-mismatch');
+    }
+    return codes;
+}
+/** Build and validate an envelope without mutating the Native evidence store. */
+export async function inspectNativeVerificationEvidence(options) {
+    if (options.state.phase !== 'verify') {
+        throw new Error(`Native verification evidence requires Verify, got ${options.state.phase}`);
+    }
+    const facts = await inspectCurrentScopeFacts(options);
+    if (facts.findingCodes.length > 0) {
+        return {
+            ready: false,
+            findingCodes: facts.findingCodes,
+            envelope: null,
+            evidenceRef: null,
+            reportSnapshot: null,
+        };
+    }
+    const report = await reportEvidence(options);
+    let receiptRef = null;
+    if (options.receiptRef) {
+        const receipt = await readNativeCheckReceipt(options.paths, options.state.name, options.receiptRef);
+        const receiptCodes = checkReceiptBindingCodes({
+            receipt,
+            sourceRevision: options.state.revision,
+            result: options.result,
+            contractHash: facts.contractHash,
+            implementationScope: facts.bundle,
+        });
+        if (receiptCodes.length > 0) {
+            throw new Error(`Native verification receipt is not admissible: ${receiptCodes.join(', ')}`);
+        }
+        receiptRef = options.receiptRef;
+    }
+    const trace = buildNativeAcceptanceEvidenceTrace(facts.contract.acceptance, report.entries, {
+        nativeRootRef: nativeRootRef(options.paths),
+    });
+    const allowance = options.state.partial_allowance
+        ? await readNativePartialAllowance(options.paths, options.state.name, options.state.partial_allowance)
+        : null;
+    const envelope = buildNativeVerificationEvidenceEnvelope({
+        change: options.state.name,
+        sourceRevision: options.state.revision,
+        result: options.result,
+        contractHash: facts.contractHash,
+        acceptanceHash: facts.acceptanceHash,
+        implementationScope: {
+            ref: options.state.implementation_scope,
+            bundle: facts.bundle,
+        },
+        reportRef: report.ref,
+        reportHash: report.hash,
+        receiptRef,
+        acceptanceTrace: trace,
+        partialAllowance: options.state.partial_allowance && allowance
+            ? { ref: options.state.partial_allowance, allowance }
+            : null,
+        now: options.now,
+    });
+    const evidenceRef = nativeEvidenceRef('verifications', envelope.envelopeHash);
+    return {
+        ready: true,
+        findingCodes: [],
+        envelope,
+        evidenceRef,
+        reportSnapshot: { hash: report.hash, text: report.text },
+    };
+}
+export async function persistNativeVerificationEvidence(options) {
+    if (!options.preparation.ready ||
+        options.preparation.envelope === null ||
+        options.preparation.evidenceRef === null ||
+        options.preparation.reportSnapshot === null) {
+        throw new Error('Native verification evidence is not ready to persist');
+    }
+    await writeNativeVerificationReportSnapshot({
+        paths: options.paths,
+        name: options.state.name,
+        ...options.preparation.reportSnapshot,
+    });
+    const evidenceRef = await writeNativeVerificationEvidence({
+        paths: options.paths,
+        name: options.state.name,
+        evidence: options.preparation.envelope,
+    });
+    if (evidenceRef !== options.preparation.evidenceRef) {
+        throw new Error('Native verification evidence persistence ref changed');
+    }
+}
+/** Backwards-compatible one-shot API for callers that explicitly want durable evidence. */
+export async function prepareNativeVerificationEvidence(options) {
+    const preparation = await inspectNativeVerificationEvidence(options);
+    if (preparation.ready) {
+        await persistNativeVerificationEvidence({
+            paths: options.paths,
+            state: options.state,
+            preparation,
+        });
+    }
+    return preparation;
+}
+function emptyEvidence(result, freshness) {
+    return {
+        result,
+        freshness,
+        contractHash: null,
+        acceptanceHash: null,
+        implementationScopeHash: null,
+        reportHash: null,
+        envelopeHash: null,
+        partialAllowanceHash: null,
+        skippedAcceptanceCount: 0,
+    };
+}
+/** Recompute every freshness boundary used by status, Archive preview, and Archive commit. */
+export async function inspectNativeVerificationFreshness(options) {
+    if (!options.state.implementation_scope ||
+        !options.state.verification_evidence ||
+        !options.state.verification_report) {
+        return {
+            freshness: 'missing',
+            findingCodes: ['verification-evidence-missing'],
+            evidence: emptyEvidence(options.state.verification_result, 'missing'),
+            envelope: null,
+        };
+    }
+    try {
+        const [facts, envelope, report] = await Promise.all([
+            inspectCurrentScopeFacts(options),
+            readNativeVerificationEvidence(options.paths, options.state.name, options.state.verification_evidence),
+            reportEvidence({
+                paths: options.paths,
+                state: options.state,
+                reportRef: options.state.verification_report,
+            }),
+        ]);
+        const findingCodes = [...facts.findingCodes];
+        if (report.hash !== envelope.reportHash || report.ref !== envelope.reportRef) {
+            findingCodes.push('verification-report-stale');
+        }
+        if (envelope.result !== options.state.verification_result ||
+            envelope.implementationScopeRef !== options.state.implementation_scope ||
+            envelope.partialAllowanceRef !== options.state.partial_allowance ||
+            envelope.sourceRevision >= options.state.revision ||
+            envelope.contractHash !== facts.bundle.scope.contractHash ||
+            envelope.acceptanceCriteriaHash !== facts.acceptanceHash) {
+            findingCodes.push('verification-state-mismatch');
+        }
+        if (envelope.receiptRef) {
+            try {
+                const receipt = await readNativeCheckReceipt(options.paths, options.state.name, envelope.receiptRef);
+                findingCodes.push(...checkReceiptBindingCodes({
+                    receipt,
+                    sourceRevision: envelope.sourceRevision,
+                    result: envelope.result,
+                    contractHash: envelope.contractHash,
+                    implementationScope: facts.bundle,
+                }));
+            }
+            catch {
+                findingCodes.push('verification-receipt-invalid');
+            }
+        }
+        const uniqueCodes = [...new Set(findingCodes)].sort();
+        const freshness = uniqueCodes.length > 0 ? 'stale' : envelope.freshness;
+        return {
+            freshness,
+            findingCodes: uniqueCodes,
+            evidence: {
+                result: options.state.verification_result,
+                freshness,
+                contractHash: envelope.contractHash,
+                acceptanceHash: envelope.acceptanceCriteriaHash,
+                implementationScopeHash: envelope.implementationScopeHash,
+                reportHash: envelope.reportHash,
+                envelopeHash: envelope.envelopeHash,
+                partialAllowanceHash: envelope.partialAllowanceHash,
+                skippedAcceptanceCount: envelope.acceptanceTrace.skipped,
+            },
+            envelope,
+        };
+    }
+    catch {
+        return {
+            freshness: 'invalid',
+            findingCodes: ['verification-evidence-invalid'],
+            evidence: emptyEvidence(options.state.verification_result, 'invalid'),
+            envelope: null,
+        };
+    }
+}
+//# sourceMappingURL=native-verification-runtime.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"native-verification-runtime.js","sourceRoot":"","sources":["../../../domains/comet-native/native-verification-runtime.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,MAAM,WAAW,CAAC;AAE7B,OAAO,EACL,mCAAmC,GAEpC,MAAM,wBAAwB,CAAC;AAKhC,OAAO,EAAE,yBAAyB,EAAE,MAAM,0BAA0B,CAAC;AACrE,OAAO,EAAE,eAAe,EAAE,MAAM,oBAAoB,CAAC;AAErD,OAAO,EAAE,sBAAsB,EAAE,MAAM,mCAAmC,CAAC;AAE3E,OAAO,EAAE,0BAA0B,EAAE,MAAM,4BAA4B,CAAC;AACxE,OAAO,EACL,mCAAmC,EACnC,0BAA0B,EAC1B,8BAA8B,EAC9B,iBAAiB,EACjB,qCAAqC,EACrC,+BAA+B,GAChC,MAAM,8BAA8B,CAAC;AACtC,OAAO,EAAE,2BAA2B,EAAE,MAAM,sBAAsB,CAAC;AAMnE,OAAO,EACL,oCAAoC,GAGrC,MAAM,gCAAgC,CAAC;AACxC,OAAO,EACL,kCAAkC,EAClC,uCAAuC,GAExC,MAAM,mCAAmC,CAAC;AA4B3C,SAAS,kBAAkB,CAAC,UAAoC;IAC9D,OAAO;QACL,MAAM,EAAE,kCAAkC;QAC1C,MAAM,EAAE,UAAU,CAAC,MAAM;QACzB,SAAS,EAAE,0BAA0B;QACrC,QAAQ,EAAE,UAAU,CAAC,QAAQ;QAC7B,MAAM,EAAE,UAAU,CAAC,MAAM;QACzB,OAAO,EAAE,UAAU,CAAC,OAAO;QAC3B,OAAO,EAAE,UAAU,CAAC,OAAO;QAC3B,YAAY,EAAE,UAAU,CAAC,YAAY;QACrC,GAAG,CAAC,UAAU,CAAC,gBAAgB,CAAC,CAAC,CAAC,EAAE,gBAAgB,EAAE,UAAU,CAAC,gBAAgB,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAC1F,CAAC;AACJ,CAAC;AAED,SAAS,aAAa,CAAC,KAAyB;IAC9C,MAAM,KAAK,GAAG,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,WAAW,EAAE,KAAK,CAAC,UAAU,CAAC,CAAC,UAAU,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IACvF,IAAI,CAAC,KAAK,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,CAAC,UAAU,CAAC,KAAK,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,CAAC;QACxF,MAAM,IAAI,KAAK,CAAC,yCAAyC,CAAC,CAAC;IAC7D,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,KAAK,UAAU,qBAAqB,CAAC,OAIpC;IACC,MAAM,OAAO,GAAG,MAAM,2BAA2B,CAAC,OAAO,CAAC,KAAK,EAAE;QAC/D,MAAM,EAAE,UAAU;QAClB,GAAG,EAAE,OAAO,CAAC,GAAG;KACjB,CAAC,CAAC;IACH,OAAO,oCAAoC,CAAC;QAC1C,QAAQ,EAAE,kBAAkB,CAAC,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC;QACrD,OAAO;QACP,YAAY,EAAE,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,YAAY;QAC/C,iBAAiB,EAAE,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,iBAAiB;QACzD,YAAY,EAAE,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,YAAY;KAChD,CAAC,CAAC,KAAK,CAAC,qBAAqB,CAAC;AACjC,CAAC;AAED,KAAK,UAAU,wBAAwB,CAAC,OAIvC;IAOC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,oBAAoB,EAAE,CAAC;QACxC,MAAM,IAAI,KAAK,CAAC,2CAA2C,CAAC,CAAC;IAC/D,CAAC;IACD,MAAM,MAAM,GAAG,MAAM,mCAAmC,CACtD,OAAO,CAAC,KAAK,EACb,OAAO,CAAC,KAAK,CAAC,IAAI,EAClB,OAAO,CAAC,KAAK,CAAC,oBAAoB,CACnC,CAAC;IACF,MAAM,QAAQ,GAAG,MAAM,0BAA0B,CAAC;QAChD,SAAS,EAAE,eAAe,CAAC,OAAO,CAAC,KAAK,EAAE,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC;QAC7D,QAAQ,EAAE,OAAO,CAAC,KAAK,CAAC,KAAK;QAC7B,WAAW,EAAE,OAAO,CAAC,KAAK,CAAC,YAAY;KACxC,CAAC,CAAC;IACH,MAAM,WAAW,GAAG,MAAM,qBAAqB,CAAC;QAC9C,KAAK,EAAE,OAAO,CAAC,KAAK;QACpB,MAAM;QACN,GAAG,EAAE,OAAO,CAAC,GAAG;KACjB,CAAC,CAAC;IACH,MAAM,YAAY,GAA6C,EAAE,CAAC;IAClE,IAAI,QAAQ,CAAC,QAAQ,CAAC,YAAY,KAAK,MAAM,CAAC,KAAK,CAAC,YAAY,EAAE,CAAC;QACjE,YAAY,CAAC,IAAI,CAAC,6BAA6B,CAAC,CAAC;IACnD,CAAC;IACD,IAAI,WAAW,KAAK,MAAM,CAAC,KAAK,CAAC,qBAAqB,EAAE,CAAC;QACvD,YAAY,CAAC,IAAI,CAAC,mCAAmC,CAAC,CAAC;IACzD,CAAC;IACD,OAAO;QACL,MAAM;QACN,QAAQ,EAAE,QAAQ,CAAC,QAAQ;QAC3B,YAAY,EAAE,QAAQ,CAAC,QAAQ,CAAC,YAAY;QAC5C,cAAc,EAAE,QAAQ,CAAC,QAAQ,CAAC,cAAc;QAChD,YAAY;KACb,CAAC;AACJ,CAAC;AAOD;;;;GAIG;AACH,MAAM,CAAC,KAAK,UAAU,yCAAyC,CAAC,OAI/D;IACC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,oBAAoB,EAAE,CAAC;QACxC,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,YAAY,EAAE,CAAC,+BAA+B,CAAC,EAAE,CAAC;IACnF,CAAC;IACD,IAAI,CAAC;QACH,MAAM,KAAK,GAAG,MAAM,wBAAwB,CAAC,OAAO,CAAC,CAAC;QACtD,MAAM,YAAY,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QAC7D,OAAO;YACL,SAAS,EAAE,YAAY,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO;YACxD,YAAY;SACb,CAAC;IACJ,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,YAAY,EAAE,CAAC,+BAA+B,CAAC,EAAE,CAAC;IACnF,CAAC;AACH,CAAC;AAED,KAAK,UAAU,cAAc,CAAC,OAI7B;IAMC,MAAM,MAAM,GAAG,MAAM,yBAAyB,CAAC;QAC7C,IAAI,EAAE,eAAe,CAAC,OAAO,CAAC,KAAK,EAAE,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC;QACxD,GAAG,EAAE,OAAO,CAAC,SAAS;KACvB,CAAC,CAAC;IACH,OAAO;QACL,GAAG,EAAE,MAAM,CAAC,GAAG;QACf,IAAI,EAAE,MAAM,CAAC,IAAI;QACjB,IAAI,EAAE,MAAM,CAAC,IAAI;QACjB,OAAO,EAAE,mCAAmC,CAAC,MAAM,CAAC,IAAI,CAAC;KAC1D,CAAC;AACJ,CAAC;AAED,SAAS,wBAAwB,CAAC,OAMjC;IACC,MAAM,EAAE,OAAO,EAAE,mBAAmB,EAAE,GAAG,OAAO,CAAC;IACjD,MAAM,KAAK,GAA6C,EAAE,CAAC;IAC3D,MAAM,aAAa,GAAG,mBAAmB,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,KAAK,KAAK,IAAI,CAAC,CAAC;IAClG,MAAM,aAAa,GAAG,aAAa,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,MAAM,EAAE,EAAE,CAAC,KAAK,GAAG,MAAM,CAAC,KAAM,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;IAC7F,IACE,OAAO,CAAC,KAAK;QACb,OAAO,CAAC,cAAc,KAAK,OAAO,CAAC,cAAc;QACjD,OAAO,CAAC,QAAQ,CAAC,YAAY,KAAK,OAAO,CAAC,YAAY;QACtD,OAAO,CAAC,QAAQ,CAAC,UAAU,KAAK,OAAO,CAAC,YAAY;QACpD,OAAO,CAAC,QAAQ,CAAC,SAAS,KAAK,OAAO,CAAC,YAAY;QACnD,OAAO,CAAC,cAAc,CAAC,SAAS,KAAK,mBAAmB,CAAC,KAAK,CAAC,SAAS;QACxE,OAAO,CAAC,cAAc,CAAC,oBAAoB;YACzC,mBAAmB,CAAC,KAAK,CAAC,qBAAqB;QACjD,OAAO,CAAC,cAAc,CAAC,kBAAkB,KAAK,mBAAmB,CAAC,KAAK,CAAC,qBAAqB;QAC7F,OAAO,CAAC,cAAc,CAAC,iBAAiB,KAAK,mBAAmB,CAAC,KAAK,CAAC,qBAAqB;QAC5F,OAAO,CAAC,MAAM,CAAC,aAAa,KAAK,aAAa,CAAC,MAAM;QACrD,CAAC,OAAO,CAAC,MAAM,KAAK,QAAQ;YAC1B,CAAC,OAAO,CAAC,MAAM,CAAC,YAAY,GAAG,OAAO,CAAC,MAAM,CAAC,kBAAkB,KAAK,aAAa,CAAC,MAAM;gBACvF,OAAO,CAAC,MAAM,CAAC,YAAY,KAAK,aAAa,CAAC,CAAC,EACnD,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,4BAA4B,CAAC,CAAC;IAC3C,CAAC;IACD,IAAI,OAAO,CAAC,MAAM,KAAK,MAAM,IAAI,OAAO,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;QAC7D,KAAK,CAAC,IAAI,CAAC,uCAAuC,CAAC,CAAC;IACtD,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAWD,iFAAiF;AACjF,MAAM,CAAC,KAAK,UAAU,iCAAiC,CACrD,OAA0C;IAE1C,IAAI,OAAO,CAAC,KAAK,CAAC,KAAK,KAAK,QAAQ,EAAE,CAAC;QACrC,MAAM,IAAI,KAAK,CAAC,qDAAqD,OAAO,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC;IAC9F,CAAC;IACD,MAAM,KAAK,GAAG,MAAM,wBAAwB,CAAC,OAAO,CAAC,CAAC;IACtD,IAAI,KAAK,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAClC,OAAO;YACL,KAAK,EAAE,KAAK;YACZ,YAAY,EAAE,KAAK,CAAC,YAAY;YAChC,QAAQ,EAAE,IAAI;YACd,WAAW,EAAE,IAAI;YACjB,cAAc,EAAE,IAAI;SACrB,CAAC;IACJ,CAAC;IACD,MAAM,MAAM,GAAG,MAAM,cAAc,CAAC,OAAO,CAAC,CAAC;IAC7C,IAAI,UAAU,GAAkB,IAAI,CAAC;IACrC,IAAI,OAAO,CAAC,UAAU,EAAE,CAAC;QACvB,MAAM,OAAO,GAAG,MAAM,sBAAsB,CAC1C,OAAO,CAAC,KAAK,EACb,OAAO,CAAC,KAAK,CAAC,IAAI,EAClB,OAAO,CAAC,UAAU,CACnB,CAAC;QACF,MAAM,YAAY,GAAG,wBAAwB,CAAC;YAC5C,OAAO;YACP,cAAc,EAAE,OAAO,CAAC,KAAK,CAAC,QAAQ;YACtC,MAAM,EAAE,OAAO,CAAC,MAAM;YACtB,YAAY,EAAE,KAAK,CAAC,YAAY;YAChC,mBAAmB,EAAE,KAAK,CAAC,MAAM;SAClC,CAAC,CAAC;QACH,IAAI,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC5B,MAAM,IAAI,KAAK,CAAC,kDAAkD,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC/F,CAAC;QACD,UAAU,GAAG,OAAO,CAAC,UAAU,CAAC;IAClC,CAAC;IACD,MAAM,KAAK,GAAG,kCAAkC,CAAC,KAAK,CAAC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC,OAAO,EAAE;QAC1F,aAAa,EAAE,aAAa,CAAC,OAAO,CAAC,KAAK,CAAC;KAC5C,CAAC,CAAC;IACH,MAAM,SAAS,GAAG,OAAO,CAAC,KAAK,CAAC,iBAAiB;QAC/C,CAAC,CAAC,MAAM,0BAA0B,CAC9B,OAAO,CAAC,KAAK,EACb,OAAO,CAAC,KAAK,CAAC,IAAI,EAClB,OAAO,CAAC,KAAK,CAAC,iBAAiB,CAChC;QACH,CAAC,CAAC,IAAI,CAAC;IACT,MAAM,QAAQ,GAAG,uCAAuC,CAAC;QACvD,MAAM,EAAE,OAAO,CAAC,KAAK,CAAC,IAAI;QAC1B,cAAc,EAAE,OAAO,CAAC,KAAK,CAAC,QAAQ;QACtC,MAAM,EAAE,OAAO,CAAC,MAAM;QACtB,YAAY,EAAE,KAAK,CAAC,YAAY;QAChC,cAAc,EAAE,KAAK,CAAC,cAAc;QACpC,mBAAmB,EAAE;YACnB,GAAG,EAAE,OAAO,CAAC,KAAK,CAAC,oBAAqB;YACxC,MAAM,EAAE,KAAK,CAAC,MAAM;SACrB;QACD,SAAS,EAAE,MAAM,CAAC,GAAG;QACrB,UAAU,EAAE,MAAM,CAAC,IAAI;QACvB,UAAU;QACV,eAAe,EAAE,KAAK;QACtB,gBAAgB,EACd,OAAO,CAAC,KAAK,CAAC,iBAAiB,IAAI,SAAS;YAC1C,CAAC,CAAC,EAAE,GAAG,EAAE,OAAO,CAAC,KAAK,CAAC,iBAAiB,EAAE,SAAS,EAAE;YACrD,CAAC,CAAC,IAAI;QACV,GAAG,EAAE,OAAO,CAAC,GAAG;KACjB,CAAC,CAAC;IACH,MAAM,WAAW,GAAG,iBAAiB,CAAC,eAAe,EAAE,QAAQ,CAAC,YAAY,CAAC,CAAC;IAC9E,OAAO;QACL,KAAK,EAAE,IAAI;QACX,YAAY,EAAE,EAAE;QAChB,QAAQ;QACR,WAAW;QACX,cAAc,EAAE,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE;KACzD,CAAC;AACJ,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,iCAAiC,CAAC,OAIvD;IACC,IACE,CAAC,OAAO,CAAC,WAAW,CAAC,KAAK;QAC1B,OAAO,CAAC,WAAW,CAAC,QAAQ,KAAK,IAAI;QACrC,OAAO,CAAC,WAAW,CAAC,WAAW,KAAK,IAAI;QACxC,OAAO,CAAC,WAAW,CAAC,cAAc,KAAK,IAAI,EAC3C,CAAC;QACD,MAAM,IAAI,KAAK,CAAC,sDAAsD,CAAC,CAAC;IAC1E,CAAC;IACD,MAAM,qCAAqC,CAAC;QAC1C,KAAK,EAAE,OAAO,CAAC,KAAK;QACpB,IAAI,EAAE,OAAO,CAAC,KAAK,CAAC,IAAI;QACxB,GAAG,OAAO,CAAC,WAAW,CAAC,cAAc;KACtC,CAAC,CAAC;IACH,MAAM,WAAW,GAAG,MAAM,+BAA+B,CAAC;QACxD,KAAK,EAAE,OAAO,CAAC,KAAK;QACpB,IAAI,EAAE,OAAO,CAAC,KAAK,CAAC,IAAI;QACxB,QAAQ,EAAE,OAAO,CAAC,WAAW,CAAC,QAAQ;KACvC,CAAC,CAAC;IACH,IAAI,WAAW,KAAK,OAAO,CAAC,WAAW,CAAC,WAAW,EAAE,CAAC;QACpD,MAAM,IAAI,KAAK,CAAC,sDAAsD,CAAC,CAAC;IAC1E,CAAC;AACH,CAAC;AAED,2FAA2F;AAC3F,MAAM,CAAC,KAAK,UAAU,iCAAiC,CACrD,OAA0C;IAE1C,MAAM,WAAW,GAAG,MAAM,iCAAiC,CAAC,OAAO,CAAC,CAAC;IACrE,IAAI,WAAW,CAAC,KAAK,EAAE,CAAC;QACtB,MAAM,iCAAiC,CAAC;YACtC,KAAK,EAAE,OAAO,CAAC,KAAK;YACpB,KAAK,EAAE,OAAO,CAAC,KAAK;YACpB,WAAW;SACZ,CAAC,CAAC;IACL,CAAC;IACD,OAAO,WAAW,CAAC;AACrB,CAAC;AAED,SAAS,aAAa,CACpB,MAAgD,EAChD,SAAsC;IAEtC,OAAO;QACL,MAAM;QACN,SAAS;QACT,YAAY,EAAE,IAAI;QAClB,cAAc,EAAE,IAAI;QACpB,uBAAuB,EAAE,IAAI;QAC7B,UAAU,EAAE,IAAI;QAChB,YAAY,EAAE,IAAI;QAClB,oBAAoB,EAAE,IAAI;QAC1B,sBAAsB,EAAE,CAAC;KAC1B,CAAC;AACJ,CAAC;AAED,8FAA8F;AAC9F,MAAM,CAAC,KAAK,UAAU,kCAAkC,CAAC,OAIxD;IACC,IACE,CAAC,OAAO,CAAC,KAAK,CAAC,oBAAoB;QACnC,CAAC,OAAO,CAAC,KAAK,CAAC,qBAAqB;QACpC,CAAC,OAAO,CAAC,KAAK,CAAC,mBAAmB,EAClC,CAAC;QACD,OAAO;YACL,SAAS,EAAE,SAAS;YACpB,YAAY,EAAE,CAAC,+BAA+B,CAAC;YAC/C,QAAQ,EAAE,aAAa,CAAC,OAAO,CAAC,KAAK,CAAC,mBAAmB,EAAE,SAAS,CAAC;YACrE,QAAQ,EAAE,IAAI;SACf,CAAC;IACJ,CAAC;IACD,IAAI,CAAC;QACH,MAAM,CAAC,KAAK,EAAE,QAAQ,EAAE,MAAM,CAAC,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC;YAClD,wBAAwB,CAAC,OAAO,CAAC;YACjC,8BAA8B,CAC5B,OAAO,CAAC,KAAK,EACb,OAAO,CAAC,KAAK,CAAC,IAAI,EAClB,OAAO,CAAC,KAAK,CAAC,qBAAqB,CACpC;YACD,cAAc,CAAC;gBACb,KAAK,EAAE,OAAO,CAAC,KAAK;gBACpB,KAAK,EAAE,OAAO,CAAC,KAAK;gBACpB,SAAS,EAAE,OAAO,CAAC,KAAK,CAAC,mBAAmB;aAC7C,CAAC;SACH,CAAC,CAAC;QACH,MAAM,YAAY,GAAG,CAAC,GAAG,KAAK,CAAC,YAAY,CAAC,CAAC;QAC7C,IAAI,MAAM,CAAC,IAAI,KAAK,QAAQ,CAAC,UAAU,IAAI,MAAM,CAAC,GAAG,KAAK,QAAQ,CAAC,SAAS,EAAE,CAAC;YAC7E,YAAY,CAAC,IAAI,CAAC,2BAA2B,CAAC,CAAC;QACjD,CAAC;QACD,IACE,QAAQ,CAAC,MAAM,KAAK,OAAO,CAAC,KAAK,CAAC,mBAAmB;YACrD,QAAQ,CAAC,sBAAsB,KAAK,OAAO,CAAC,KAAK,CAAC,oBAAoB;YACtE,QAAQ,CAAC,mBAAmB,KAAK,OAAO,CAAC,KAAK,CAAC,iBAAiB;YAChE,QAAQ,CAAC,cAAc,IAAI,OAAO,CAAC,KAAK,CAAC,QAAQ;YACjD,QAAQ,CAAC,YAAY,KAAK,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,YAAY;YACzD,QAAQ,CAAC,sBAAsB,KAAK,KAAK,CAAC,cAAc,EACxD,CAAC;YACD,YAAY,CAAC,IAAI,CAAC,6BAA6B,CAAC,CAAC;QACnD,CAAC;QACD,IAAI,QAAQ,CAAC,UAAU,EAAE,CAAC;YACxB,IAAI,CAAC;gBACH,MAAM,OAAO,GAAG,MAAM,sBAAsB,CAC1C,OAAO,CAAC,KAAK,EACb,OAAO,CAAC,KAAK,CAAC,IAAI,EAClB,QAAQ,CAAC,UAAU,CACpB,CAAC;gBACF,YAAY,CAAC,IAAI,CACf,GAAG,wBAAwB,CAAC;oBAC1B,OAAO;oBACP,cAAc,EAAE,QAAQ,CAAC,cAAc;oBACvC,MAAM,EAAE,QAAQ,CAAC,MAAM;oBACvB,YAAY,EAAE,QAAQ,CAAC,YAAY;oBACnC,mBAAmB,EAAE,KAAK,CAAC,MAAM;iBAClC,CAAC,CACH,CAAC;YACJ,CAAC;YAAC,MAAM,CAAC;gBACP,YAAY,CAAC,IAAI,CAAC,8BAA8B,CAAC,CAAC;YACpD,CAAC;QACH,CAAC;QACD,MAAM,WAAW,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QACtD,MAAM,SAAS,GACb,WAAW,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC;QACxD,OAAO;YACL,SAAS;YACT,YAAY,EAAE,WAAW;YACzB,QAAQ,EAAE;gBACR,MAAM,EAAE,OAAO,CAAC,KAAK,CAAC,mBAAmB;gBACzC,SAAS;gBACT,YAAY,EAAE,QAAQ,CAAC,YAAY;gBACnC,cAAc,EAAE,QAAQ,CAAC,sBAAsB;gBAC/C,uBAAuB,EAAE,QAAQ,CAAC,uBAAuB;gBACzD,UAAU,EAAE,QAAQ,CAAC,UAAU;gBAC/B,YAAY,EAAE,QAAQ,CAAC,YAAY;gBACnC,oBAAoB,EAAE,QAAQ,CAAC,oBAAoB;gBACnD,sBAAsB,EAAE,QAAQ,CAAC,eAAe,CAAC,OAAO;aACzD;YACD,QAAQ;SACT,CAAC;IACJ,CAAC;IAAC,MAAM,CAAC;QACP,OAAO;YACL,SAAS,EAAE,SAAS;YACpB,YAAY,EAAE,CAAC,+BAA+B,CAAC;YAC/C,QAAQ,EAAE,aAAa,CAAC,OAAO,CAAC,KAAK,CAAC,mBAAmB,EAAE,SAAS,CAAC;YACrE,QAAQ,EAAE,IAAI;SACf,CAAC;IACJ,CAAC;AACH,CAAC"}

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

@@ -0,0 +1,117 @@
+import type { NativeContentSnapshotManifest, NativeSnapshotEntry, NativeSnapshotOmission } from './native-types.js';
+export declare const NATIVE_IMPLEMENTATION_SCOPE_SCHEMA: "comet.native.implementation-scope.v2";
+export declare const NATIVE_SNAPSHOT_PROJECTION_SCHEMA: "comet.native.content-snapshot-projection.v1";
+export declare const MAX_NATIVE_IMPLEMENTATION_EVIDENCE_DOCUMENT_BYTES: number;
+export declare const MAX_NATIVE_DETAILED_SCOPE_CHANGES = 128;
+export declare const MAX_NATIVE_DETAILED_UNRESOLVED_SCOPES = 128;
+export interface NativeDeclaredArtifact {
+    path: string;
+    kind: 'file' | 'directory';
+}
+export type NativeSnapshotProjectionRef = `runtime/evidence/snapshots/${string}.json`;
+export interface NativeImplementationChange {
+    path: string;
+    kind: 'added' | 'modified' | 'removed';
+    before: NativeImplementationFileIdentity | null;
+    after: NativeImplementationFileIdentity | null;
+    attributedTo: NativeDeclaredArtifact[];
+}
+export interface NativeImplementationFileIdentity {
+    hash: string;
+    size: number;
+}
+export type NativeUnresolvedScopeKind = 'unattributed-change' | 'snapshot-omission' | 'snapshot-incomplete' | 'snapshot-omission-overflow' | 'scope-detail-overflow' | 'missing-no-code-reason';
+export interface NativeUnresolvedScope {
+    id: string;
+    kind: NativeUnresolvedScopeKind;
+    source: 'baseline' | 'current' | 'implementation-scope';
+    path: string | null;
+    reason: string;
+}
+export interface NativeGitScopeAdvisory {
+    advisoryOnly: true;
+    changedPaths: string[];
+    pathsPresentInSnapshotChanges: string[];
+    pathsAbsentFromSnapshotChanges: string[];
+}
+export interface NativeImplementationScope {
+    schema: typeof NATIVE_IMPLEMENTATION_SCOPE_SCHEMA;
+    contractHash: string;
+    baselineProjectionRef: NativeSnapshotProjectionRef;
+    baselineProjectionHash: string;
+    currentProjectionRef: NativeSnapshotProjectionRef;
+    currentProjectionHash: string;
+    complete: boolean;
+    declaredArtifacts: NativeDeclaredArtifact[];
+    changes: NativeImplementationChange[];
+    unattributed: NativeImplementationChange[];
+    unresolvedScopes: NativeUnresolvedScope[];
+    noCodeReason: string | null;
+    gitAdvisory?: NativeGitScopeAdvisory;
+    scopeHash: string;
+}
+export interface BuildNativeImplementationScopeInput {
+    baseline: NativeContentSnapshotManifest;
+    current: NativeContentSnapshotManifest;
+    contractHash: string;
+    declaredArtifacts: readonly NativeDeclaredArtifact[];
+    noCodeReason?: string | null;
+    gitChangedPaths?: readonly string[];
+}
+export interface NativeSnapshotProjection {
+    schema: typeof NATIVE_SNAPSHOT_PROJECTION_SCHEMA;
+    origin: NativeContentSnapshotManifest['origin'];
+    capture?: NativeContentSnapshotManifest['capture'];
+    complete: boolean;
+    limits: NativeContentSnapshotManifest['limits'];
+    entries: NativeSnapshotEntry[];
+    omitted: NativeSnapshotOmission[];
+    omittedCount: number;
+    omissionOverflow?: NativeContentSnapshotManifest['omissionOverflow'];
+}
+export interface NativeImplementationScopeAuthority {
+    contractHash: string;
+    declaredArtifacts: NativeDeclaredArtifact[];
+    noCodeReason: string | null;
+    gitChangedPaths?: string[];
+}
+/**
+ * In-memory authority bundle produced from bounded snapshot manifests.
+ *
+ * Storage accepts this bundle rather than a standalone scope so it can rebuild every derived
+ * scope field before persisting it.
+ */
+export interface NativeImplementationScopeBundle {
+    authority: NativeImplementationScopeAuthority;
+    baseline: NativeSnapshotProjection;
+    current: NativeSnapshotProjection;
+    scope: NativeImplementationScope;
+}
+export declare function nativeSnapshotProjectionRef(hash: string): NativeSnapshotProjectionRef;
+/**
+ * Build the authority bundle consumed by Native evidence storage.
+ * Snapshot timestamps are parsed but deliberately excluded from the normalized projections.
+ */
+export declare function buildNativeImplementationScopeBundle(input: BuildNativeImplementationScopeInput): NativeImplementationScopeBundle;
+/** Derive the implementation scope while preserving the existing pure-call interface. */
+export declare function buildNativeImplementationScope(input: BuildNativeImplementationScopeInput): NativeImplementationScope;
+/** Parse the timestamp-free, content-addressed projection persisted beside a scope. */
+export declare function parseNativeSnapshotProjection(value: unknown, expectedHash?: string): NativeSnapshotProjection;
+/**
+ * Parse a persisted scope and re-check its self-contained invariants.
+ * Storage additionally calls `rebuildNativeImplementationScopeBundle` so snapshot-derived facts
+ * are verified against the two projections instead of trusted from this document.
+ */
+export declare function parseNativeImplementationScope(value: unknown): NativeImplementationScope;
+/**
+ * Rebuild and verify a bundle at the storage seam. The supplied scope is never authoritative:
+ * normalized projections plus the independently retained build authority must reproduce it.
+ */
+export declare function parseNativeImplementationScopeBundle(value: unknown): NativeImplementationScopeBundle;
+/** Rebuild a persisted scope from the two content-addressed projections it names. */
+export declare function rebuildNativeImplementationScopeBundle(input: {
+    baseline: NativeSnapshotProjection;
+    current: NativeSnapshotProjection;
+    scope: NativeImplementationScope;
+}): NativeImplementationScopeBundle;
+//# sourceMappingURL=native-verification-scope.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"native-verification-scope.d.ts","sourceRoot":"","sources":["../../../domains/comet-native/native-verification-scope.ts"],"names":[],"mappings":"AAKA,OAAO,KAAK,EACV,6BAA6B,EAC7B,mBAAmB,EACnB,sBAAsB,EACvB,MAAM,mBAAmB,CAAC;AAE3B,eAAO,MAAM,kCAAkC,EAAG,sCAA+C,CAAC;AAClG,eAAO,MAAM,iCAAiC,EAC5C,6CAAsD,CAAC;AAQzD,eAAO,MAAM,iDAAiD,QAAc,CAAC;AAC7E,eAAO,MAAM,iCAAiC,MAAM,CAAC;AACrD,eAAO,MAAM,qCAAqC,MAAM,CAAC;AAEzD,MAAM,WAAW,sBAAsB;IACrC,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,GAAG,WAAW,CAAC;CAC5B;AAED,MAAM,MAAM,2BAA2B,GAAG,8BAA8B,MAAM,OAAO,CAAC;AAEtF,MAAM,WAAW,0BAA0B;IACzC,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,OAAO,GAAG,UAAU,GAAG,SAAS,CAAC;IACvC,MAAM,EAAE,gCAAgC,GAAG,IAAI,CAAC;IAChD,KAAK,EAAE,gCAAgC,GAAG,IAAI,CAAC;IAC/C,YAAY,EAAE,sBAAsB,EAAE,CAAC;CACxC;AAED,MAAM,WAAW,gCAAgC;IAC/C,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;CACd;AAED,MAAM,MAAM,yBAAyB,GACjC,qBAAqB,GACrB,mBAAmB,GACnB,qBAAqB,GACrB,4BAA4B,GAC5B,uBAAuB,GACvB,wBAAwB,CAAC;AAE7B,MAAM,WAAW,qBAAqB;IACpC,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,yBAAyB,CAAC;IAChC,MAAM,EAAE,UAAU,GAAG,SAAS,GAAG,sBAAsB,CAAC;IACxD,IAAI,EAAE,MAAM,GAAG,IAAI,CAAC;IACpB,MAAM,EAAE,MAAM,CAAC;CAChB;AAED,MAAM,WAAW,sBAAsB;IACrC,YAAY,EAAE,IAAI,CAAC;IACnB,YAAY,EAAE,MAAM,EAAE,CAAC;IACvB,6BAA6B,EAAE,MAAM,EAAE,CAAC;IACxC,8BAA8B,EAAE,MAAM,EAAE,CAAC;CAC1C;AAED,MAAM,WAAW,yBAAyB;IACxC,MAAM,EAAE,OAAO,kCAAkC,CAAC;IAClD,YAAY,EAAE,MAAM,CAAC;IACrB,qBAAqB,EAAE,2BAA2B,CAAC;IACnD,sBAAsB,EAAE,MAAM,CAAC;IAC/B,oBAAoB,EAAE,2BAA2B,CAAC;IAClD,qBAAqB,EAAE,MAAM,CAAC;IAC9B,QAAQ,EAAE,OAAO,CAAC;IAClB,iBAAiB,EAAE,sBAAsB,EAAE,CAAC;IAC5C,OAAO,EAAE,0BAA0B,EAAE,CAAC;IACtC,YAAY,EAAE,0BAA0B,EAAE,CAAC;IAC3C,gBAAgB,EAAE,qBAAqB,EAAE,CAAC;IAC1C,YAAY,EAAE,MAAM,GAAG,IAAI,CAAC;IAC5B,WAAW,CAAC,EAAE,sBAAsB,CAAC;IACrC,SAAS,EAAE,MAAM,CAAC;CACnB;AAED,MAAM,WAAW,mCAAmC;IAClD,QAAQ,EAAE,6BAA6B,CAAC;IACxC,OAAO,EAAE,6BAA6B,CAAC;IACvC,YAAY,EAAE,MAAM,CAAC;IACrB,iBAAiB,EAAE,SAAS,sBAAsB,EAAE,CAAC;IACrD,YAAY,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IAC7B,eAAe,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;CACrC;AAED,MAAM,WAAW,wBAAwB;IACvC,MAAM,EAAE,OAAO,iCAAiC,CAAC;IACjD,MAAM,EAAE,6BAA6B,CAAC,QAAQ,CAAC,CAAC;IAChD,OAAO,CAAC,EAAE,6BAA6B,CAAC,SAAS,CAAC,CAAC;IACnD,QAAQ,EAAE,OAAO,CAAC;IAClB,MAAM,EAAE,6BAA6B,CAAC,QAAQ,CAAC,CAAC;IAChD,OAAO,EAAE,mBAAmB,EAAE,CAAC;IAC/B,OAAO,EAAE,sBAAsB,EAAE,CAAC;IAClC,YAAY,EAAE,MAAM,CAAC;IACrB,gBAAgB,CAAC,EAAE,6BAA6B,CAAC,kBAAkB,CAAC,CAAC;CACtE;AAED,MAAM,WAAW,kCAAkC;IACjD,YAAY,EAAE,MAAM,CAAC;IACrB,iBAAiB,EAAE,sBAAsB,EAAE,CAAC;IAC5C,YAAY,EAAE,MAAM,GAAG,IAAI,CAAC;IAC5B,eAAe,CAAC,EAAE,MAAM,EAAE,CAAC;CAC5B;AAED;;;;;GAKG;AACH,MAAM,WAAW,+BAA+B;IAC9C,SAAS,EAAE,kCAAkC,CAAC;IAC9C,QAAQ,EAAE,wBAAwB,CAAC;IACnC,OAAO,EAAE,wBAAwB,CAAC;IAClC,KAAK,EAAE,yBAAyB,CAAC;CAClC;AAeD,wBAAgB,2BAA2B,CAAC,IAAI,EAAE,MAAM,GAAG,2BAA2B,CAKrF;AAovBD;;;GAGG;AACH,wBAAgB,oCAAoC,CAClD,KAAK,EAAE,mCAAmC,GACzC,+BAA+B,CAUjC;AAED,yFAAyF;AACzF,wBAAgB,8BAA8B,CAC5C,KAAK,EAAE,mCAAmC,GACzC,yBAAyB,CAE3B;AAwDD,uFAAuF;AACvF,wBAAgB,6BAA6B,CAC3C,KAAK,EAAE,OAAO,EACd,YAAY,CAAC,EAAE,MAAM,GACpB,wBAAwB,CAsC1B;AA+HD;;;;GAIG;AACH,wBAAgB,8BAA8B,CAAC,KAAK,EAAE,OAAO,GAAG,yBAAyB,CA0NxF;AA+CD;;;GAGG;AACH,wBAAgB,oCAAoC,CAClD,KAAK,EAAE,OAAO,GACb,+BAA+B,CAiBjC;AAED,qFAAqF;AACrF,wBAAgB,sCAAsC,CAAC,KAAK,EAAE;IAC5D,QAAQ,EAAE,wBAAwB,CAAC;IACnC,OAAO,EAAE,wBAAwB,CAAC;IAClC,KAAK,EAAE,yBAAyB,CAAC;CAClC,GAAG,+BAA+B,CAelC"}