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

package/dist/domains/comet-native/native-build-evidence.d.ts

@@ -0,0 +1,42 @@
+import { type NativeCollectedContract } from './native-contract-files.js';
+import type { NativeChangeState, NativeFinding, NativeProjectPaths } from './native-types.js';
+import { type NativeImplementationScopeBundle, type NativeUnresolvedScope } from './native-verification-scope.js';
+import { type NativePartialAllowance } from './native-verification-evidence.js';
+export declare const NATIVE_BUILD_EVIDENCE_LIMITS: {
+    readonly maxDeclaredArtifacts: 128;
+    readonly maxArtifactPathBytes: 512;
+};
+export interface NativeBuildEvidencePreparation {
+    contract: NativeCollectedContract;
+    bundle: NativeImplementationScopeBundle;
+    scopeRef: string;
+    allowance: NativePartialAllowance | null;
+    allowanceRef: string | null;
+    findings: NativeFinding[];
+    unresolvedScopes: NativeUnresolvedScope[];
+}
+export interface NativeBuildEvidenceOptions {
+    paths: NativeProjectPaths;
+    state: NativeChangeState;
+    artifactRefs: readonly string[];
+    noCodeReason?: string | null;
+    allowPartialScopeHash?: string | null;
+    partialReason?: string | null;
+    confirmedSummary?: string | null;
+    confirmed?: boolean;
+    now?: Date;
+}
+/**
+ * Capture Build evidence from the real project and persist only content-addressed derived facts.
+ *
+ * A partial scope is persisted so its deterministic IDs can be shown and confirmed on a later
+ * invocation, but it is not attached to change state until the caller commits a phase transition.
+ */
+export declare function inspectNativeBuildEvidence(options: NativeBuildEvidenceOptions): Promise<NativeBuildEvidencePreparation>;
+export declare function persistNativeBuildEvidence(options: Pick<NativeBuildEvidenceOptions, 'paths' | 'state'> & {
+    preparation: NativeBuildEvidencePreparation;
+    includeAllowance?: boolean;
+}): Promise<void>;
+/** Backwards-compatible one-shot API for callers that intentionally persist a prepared scope. */
+export declare function prepareNativeBuildEvidence(options: NativeBuildEvidenceOptions): Promise<NativeBuildEvidencePreparation>;
+//# sourceMappingURL=native-build-evidence.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"native-build-evidence.d.ts","sourceRoot":"","sources":["../../../domains/comet-native/native-build-evidence.ts"],"names":[],"mappings":"AAIA,OAAO,EAEL,KAAK,uBAAuB,EAC7B,MAAM,4BAA4B,CAAC;AAapC,OAAO,KAAK,EACV,iBAAiB,EAEjB,aAAa,EACb,kBAAkB,EACnB,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EAGL,KAAK,+BAA+B,EAEpC,KAAK,qBAAqB,EAC3B,MAAM,gCAAgC,CAAC;AACxC,OAAO,EAEL,KAAK,sBAAsB,EAC5B,MAAM,mCAAmC,CAAC;AAE3C,eAAO,MAAM,4BAA4B;;;CAG/B,CAAC;AAEX,MAAM,WAAW,8BAA8B;IAC7C,QAAQ,EAAE,uBAAuB,CAAC;IAClC,MAAM,EAAE,+BAA+B,CAAC;IACxC,QAAQ,EAAE,MAAM,CAAC;IACjB,SAAS,EAAE,sBAAsB,GAAG,IAAI,CAAC;IACzC,YAAY,EAAE,MAAM,GAAG,IAAI,CAAC;IAC5B,QAAQ,EAAE,aAAa,EAAE,CAAC;IAC1B,gBAAgB,EAAE,qBAAqB,EAAE,CAAC;CAC3C;AAED,MAAM,WAAW,0BAA0B;IACzC,KAAK,EAAE,kBAAkB,CAAC;IAC1B,KAAK,EAAE,iBAAiB,CAAC;IACzB,YAAY,EAAE,SAAS,MAAM,EAAE,CAAC;IAChC,YAAY,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IAC7B,qBAAqB,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IACtC,aAAa,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IAC9B,gBAAgB,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IACjC,SAAS,CAAC,EAAE,OAAO,CAAC;IACpB,GAAG,CAAC,EAAE,IAAI,CAAC;CACZ;AA2KD;;;;;GAKG;AACH,wBAAsB,0BAA0B,CAC9C,OAAO,EAAE,0BAA0B,GAClC,OAAO,CAAC,8BAA8B,CAAC,CA8FzC;AAED,wBAAsB,0BAA0B,CAC9C,OAAO,EAAE,IAAI,CAAC,0BAA0B,EAAE,OAAO,GAAG,OAAO,CAAC,GAAG;IAC7D,WAAW,EAAE,8BAA8B,CAAC;IAC5C,gBAAgB,CAAC,EAAE,OAAO,CAAC;CAC5B,GACA,OAAO,CAAC,IAAI,CAAC,CAkBf;AAED,iGAAiG;AACjG,wBAAsB,0BAA0B,CAC9C,OAAO,EAAE,0BAA0B,GAClC,OAAO,CAAC,8BAA8B,CAAC,CAIzC"}

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

@@ -0,0 +1,257 @@
+import { promises as fs } from 'node:fs';
+import path from 'node:path';
+import { NativeBaselineIncompleteError, nativeChangeDir } from './native-change.js';
+import { collectNativeContractFiles, } from './native-contract-files.js';
+import { nativeEvidenceRef, writeNativeImplementationScope, writeNativePartialAllowance, } from './native-evidence-storage.js';
+import { isInsidePath, resolveContainedNativePath } from './native-paths.js';
+import { nativeSensitiveArtifactReason } from './native-sensitive-paths.js';
+import { createNativeCurrentContentSnapshot, filterNativeContentSnapshotToProjectScope, readNativeBaselineManifest, } from './native-snapshot.js';
+import { buildNativeImplementationScopeBundle, } from './native-verification-scope.js';
+import { buildNativePartialAllowance, } from './native-verification-evidence.js';
+export const NATIVE_BUILD_EVIDENCE_LIMITS = {
+    maxDeclaredArtifacts: 128,
+    maxArtifactPathBytes: 512,
+};
+function assertStableNativeSelection(snapshot, source) {
+    if (snapshot.omitted.some((omission) => omission.reason === 'git-selection-changed')) {
+        throw new Error(`Native Git selection changed while capturing the ${source}; stabilize the Git index and retry Build evidence`);
+    }
+    if (snapshot.omitted.some((omission) => omission.reason === 'physical-enumeration-limit' ||
+        omission.reason === 'physical-selection-changed')) {
+        throw new Error(`Native physical selection was incomplete or changed while capturing the ${source}; retry Build evidence with a stable bounded project tree`);
+    }
+}
+function nativeBaselineIncompleteError(change, baseline) {
+    const samplePaths = baseline.omitted.slice(0, 20).map((omission) => omission.path);
+    const omittedByReason = baseline.omitted.reduce((counts, item) => {
+        counts[item.reason] = (counts[item.reason] ?? 0) + 1;
+        return counts;
+    }, {});
+    const overflowCount = baseline.omissionOverflow?.count ?? 0;
+    if (overflowCount > 0)
+        omittedByReason.overflow = overflowCount;
+    return new NativeBaselineIncompleteError(change, baseline.omittedCount, omittedByReason, samplePaths, baseline.omitted.length > samplePaths.length || overflowCount > 0);
+}
+function nativeBaselineProjectionIncompleteError(change, baseline, projection) {
+    const retained = new Set(projection.entries.map((entry) => entry.path));
+    const removedPaths = baseline.entries
+        .filter((entry) => !retained.has(entry.path))
+        .slice(0, 20)
+        .map((entry) => entry.path);
+    return new NativeBaselineIncompleteError(change, projection.omittedCount, { 'manifest-size': projection.omittedCount }, removedPaths, projection.omittedCount > removedPaths.length);
+}
+function normalizeProjectRef(value, label) {
+    const normalized = value.replaceAll('\\', '/').trim();
+    if (normalized.length === 0 ||
+        normalized !== value.replaceAll('\\', '/') ||
+        path.posix.isAbsolute(normalized) ||
+        /^(?:[A-Za-z]:|~)/u.test(normalized) ||
+        normalized.split('/').includes('..') ||
+        path.posix.normalize(normalized) !== normalized ||
+        normalized === '.' ||
+        normalized.endsWith('/') ||
+        Buffer.byteLength(normalized, 'utf8') > NATIVE_BUILD_EVIDENCE_LIMITS.maxArtifactPathBytes ||
+        Array.from(normalized).some((character) => {
+            const code = character.codePointAt(0) ?? 0;
+            return code <= 0x1f || code === 0x7f;
+        })) {
+        throw new Error(`${label} must be a normalized project-relative path`);
+    }
+    return normalized;
+}
+function baselineArtifactKind(baseline, artifactRef) {
+    if (baseline.entries.some((entry) => entry.path === artifactRef))
+        return 'file';
+    if (baseline.entries.some((entry) => entry.path.startsWith(`${artifactRef}/`))) {
+        return 'directory';
+    }
+    return null;
+}
+async function inspectDeclaredArtifact(paths, baseline, rawRef) {
+    const artifactRef = normalizeProjectRef(rawRef, 'Native build artifact');
+    const sensitiveReason = nativeSensitiveArtifactReason(paths, artifactRef);
+    if (sensitiveReason) {
+        throw new Error(`Native build artifact is excluded as ${sensitiveReason}: ${artifactRef}`);
+    }
+    const target = path.resolve(paths.projectRoot, ...artifactRef.split('/'));
+    if (!isInsidePath(paths.projectRoot, target)) {
+        throw new Error(`Native build artifact escapes the project: ${artifactRef}`);
+    }
+    await resolveContainedNativePath(paths.projectRoot, target);
+    try {
+        const stat = await fs.lstat(target);
+        if (stat.isSymbolicLink()) {
+            throw new Error(`Native build artifact must not be a symlink or junction: ${artifactRef}`);
+        }
+        const realTarget = await fs.realpath(target);
+        const realProjectRoot = await fs.realpath(paths.projectRoot);
+        if (!isInsidePath(realProjectRoot, realTarget)) {
+            throw new Error(`Native build artifact resolves outside the project: ${artifactRef}`);
+        }
+        if (stat.isFile())
+            return { path: artifactRef, kind: 'file' };
+        if (stat.isDirectory())
+            return { path: artifactRef, kind: 'directory' };
+        throw new Error(`Native build artifact is not a file or directory: ${artifactRef}`);
+    }
+    catch (error) {
+        if (error.code !== 'ENOENT')
+            throw error;
+        const kind = baselineArtifactKind(baseline, artifactRef);
+        if (kind === null) {
+            throw new Error(`Native build artifact does not exist: ${artifactRef}`, { cause: error });
+        }
+        return { path: artifactRef, kind };
+    }
+}
+async function collectDeclaredArtifacts(options) {
+    if (options.refs.length > NATIVE_BUILD_EVIDENCE_LIMITS.maxDeclaredArtifacts) {
+        throw new Error('Native build evidence exceeds its declared-artifact budget');
+    }
+    const artifacts = await Promise.all(options.refs.map((reference) => inspectDeclaredArtifact(options.paths, options.baseline, reference)));
+    artifacts.sort((left, right) => left.path.localeCompare(right.path) || left.kind.localeCompare(right.kind));
+    if (new Set(artifacts.map((artifact) => artifact.path)).size !== artifacts.length) {
+        throw new Error('Native build evidence contains duplicate or conflicting artifacts');
+    }
+    return artifacts;
+}
+function partialFindings(unresolvedScopes) {
+    return unresolvedScopes.map((scope) => ({
+        code: 'verification-scope-partial',
+        message: `${scope.id}: ${scope.reason}`,
+        ...(scope.path === null ? {} : { path: scope.path }),
+    }));
+}
+function partialScopeHash(value) {
+    if (!/^[a-f0-9]{64}$/u.test(value)) {
+        throw new Error('Native partial allowance requires a scope hash');
+    }
+    return value;
+}
+/**
+ * Capture Build evidence from the real project and persist only content-addressed derived facts.
+ *
+ * A partial scope is persisted so its deterministic IDs can be shown and confirmed on a later
+ * invocation, but it is not attached to change state until the caller commits a phase transition.
+ */
+export async function inspectNativeBuildEvidence(options) {
+    if (options.state.phase !== 'build') {
+        throw new Error(`Native build evidence requires Build, got ${options.state.phase}`);
+    }
+    if ((options.noCodeReason ?? '').trim().length > 0 && options.artifactRefs.length > 0) {
+        throw new Error('Native build evidence cannot combine artifacts with a no-code reason');
+    }
+    const storedBaseline = await readNativeBaselineManifest(options.paths, options.state.name);
+    if (storedBaseline === null)
+        throw new Error('Native change has no baseline content snapshot');
+    const baseline = await filterNativeContentSnapshotToProjectScope(options.paths, storedBaseline);
+    assertStableNativeSelection(baseline, 'baseline projection');
+    if (!baseline.complete) {
+        throw nativeBaselineIncompleteError(options.state.name, baseline);
+    }
+    const contract = await collectNativeContractFiles({
+        changeDir: nativeChangeDir(options.paths, options.state.name),
+        briefRef: options.state.brief,
+        specChanges: options.state.spec_changes,
+    });
+    const declaredArtifacts = await collectDeclaredArtifacts({
+        paths: options.paths,
+        baseline,
+        refs: options.artifactRefs,
+    });
+    const current = await createNativeCurrentContentSnapshot(options.paths, baseline, {
+        origin: 'explicit',
+        now: options.now,
+    });
+    assertStableNativeSelection(current, 'current snapshot');
+    const bundle = buildNativeImplementationScopeBundle({
+        baseline,
+        current,
+        contractHash: contract.contract.contractHash,
+        declaredArtifacts,
+        noCodeReason: options.noCodeReason ?? null,
+    });
+    if (!bundle.baseline.complete) {
+        throw nativeBaselineProjectionIncompleteError(options.state.name, baseline, bundle.baseline);
+    }
+    const scopeRef = nativeEvidenceRef('scopes', bundle.scope.scopeHash);
+    if (bundle.scope.complete) {
+        if ((options.allowPartialScopeHash !== undefined && options.allowPartialScopeHash !== null) ||
+            (options.partialReason !== undefined && options.partialReason !== null)) {
+            throw new Error('Complete Native build evidence must not include a partial allowance');
+        }
+        return {
+            contract,
+            bundle,
+            scopeRef,
+            allowance: null,
+            allowanceRef: null,
+            findings: [],
+            unresolvedScopes: [],
+        };
+    }
+    if (options.allowPartialScopeHash === undefined || options.allowPartialScopeHash === null) {
+        return {
+            contract,
+            bundle,
+            scopeRef,
+            allowance: null,
+            allowanceRef: null,
+            findings: partialFindings(bundle.scope.unresolvedScopes),
+            unresolvedScopes: bundle.scope.unresolvedScopes,
+        };
+    }
+    if (!options.confirmed) {
+        throw new Error('Native partial verification requires explicit confirmation');
+    }
+    const expectedScopeHash = partialScopeHash(options.allowPartialScopeHash);
+    if (expectedScopeHash !== bundle.scope.scopeHash) {
+        throw new Error('Native partial allowance does not match the current implementation scope');
+    }
+    const allowance = buildNativePartialAllowance({
+        change: options.state.name,
+        scopeBundle: bundle,
+        allowedScopeIds: bundle.scope.unresolvedScopes.map((scope) => scope.id),
+        reason: options.partialReason ?? '',
+        confirmedSummary: options.confirmedSummary ?? '',
+        sourceRevision: options.state.revision,
+        now: options.now,
+    });
+    const allowanceRef = nativeEvidenceRef('allowances', allowance.allowanceHash);
+    return {
+        contract,
+        bundle,
+        scopeRef,
+        allowance,
+        allowanceRef,
+        findings: [],
+        unresolvedScopes: bundle.scope.unresolvedScopes,
+    };
+}
+export async function persistNativeBuildEvidence(options) {
+    const scopeRef = await writeNativeImplementationScope({
+        paths: options.paths,
+        name: options.state.name,
+        bundle: options.preparation.bundle,
+    });
+    if (scopeRef !== options.preparation.scopeRef) {
+        throw new Error('Native implementation scope persistence ref changed');
+    }
+    if (options.includeAllowance === false || options.preparation.allowance === null)
+        return;
+    const allowanceRef = await writeNativePartialAllowance({
+        paths: options.paths,
+        name: options.state.name,
+        allowance: options.preparation.allowance,
+    });
+    if (allowanceRef !== options.preparation.allowanceRef) {
+        throw new Error('Native partial allowance persistence ref changed');
+    }
+}
+/** Backwards-compatible one-shot API for callers that intentionally persist a prepared scope. */
+export async function prepareNativeBuildEvidence(options) {
+    const preparation = await inspectNativeBuildEvidence(options);
+    await persistNativeBuildEvidence({ paths: options.paths, state: options.state, preparation });
+    return preparation;
+}
+//# sourceMappingURL=native-build-evidence.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"native-build-evidence.js","sourceRoot":"","sources":["../../../domains/comet-native/native-build-evidence.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,IAAI,EAAE,EAAE,MAAM,SAAS,CAAC;AACzC,OAAO,IAAI,MAAM,WAAW,CAAC;AAE7B,OAAO,EAAE,6BAA6B,EAAE,eAAe,EAAE,MAAM,oBAAoB,CAAC;AACpF,OAAO,EACL,0BAA0B,GAE3B,MAAM,4BAA4B,CAAC;AACpC,OAAO,EACL,iBAAiB,EACjB,8BAA8B,EAC9B,2BAA2B,GAC5B,MAAM,8BAA8B,CAAC;AACtC,OAAO,EAAE,YAAY,EAAE,0BAA0B,EAAE,MAAM,mBAAmB,CAAC;AAC7E,OAAO,EAAE,6BAA6B,EAAE,MAAM,6BAA6B,CAAC;AAC5E,OAAO,EACL,kCAAkC,EAClC,yCAAyC,EACzC,0BAA0B,GAC3B,MAAM,sBAAsB,CAAC;AAO9B,OAAO,EACL,oCAAoC,GAKrC,MAAM,gCAAgC,CAAC;AACxC,OAAO,EACL,2BAA2B,GAE5B,MAAM,mCAAmC,CAAC;AAE3C,MAAM,CAAC,MAAM,4BAA4B,GAAG;IAC1C,oBAAoB,EAAE,GAAG;IACzB,oBAAoB,EAAE,GAAG;CACjB,CAAC;AAwBX,SAAS,2BAA2B,CAClC,QAAuC,EACvC,MAAkD;IAElD,IAAI,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,MAAM,KAAK,uBAAuB,CAAC,EAAE,CAAC;QACrF,MAAM,IAAI,KAAK,CACb,oDAAoD,MAAM,oDAAoD,CAC/G,CAAC;IACJ,CAAC;IACD,IACE,QAAQ,CAAC,OAAO,CAAC,IAAI,CACnB,CAAC,QAAQ,EAAE,EAAE,CACX,QAAQ,CAAC,MAAM,KAAK,4BAA4B;QAChD,QAAQ,CAAC,MAAM,KAAK,4BAA4B,CACnD,EACD,CAAC;QACD,MAAM,IAAI,KAAK,CACb,2EAA2E,MAAM,2DAA2D,CAC7I,CAAC;IACJ,CAAC;AACH,CAAC;AAED,SAAS,6BAA6B,CACpC,MAAc,EACd,QAAuC;IAEvC,MAAM,WAAW,GAAG,QAAQ,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;IACnF,MAAM,eAAe,GAAG,QAAQ,CAAC,OAAO,CAAC,MAAM,CAAyB,CAAC,MAAM,EAAE,IAAI,EAAE,EAAE;QACvF,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;QACrD,OAAO,MAAM,CAAC;IAChB,CAAC,EAAE,EAAE,CAAC,CAAC;IACP,MAAM,aAAa,GAAG,QAAQ,CAAC,gBAAgB,EAAE,KAAK,IAAI,CAAC,CAAC;IAC5D,IAAI,aAAa,GAAG,CAAC;QAAE,eAAe,CAAC,QAAQ,GAAG,aAAa,CAAC;IAChE,OAAO,IAAI,6BAA6B,CACtC,MAAM,EACN,QAAQ,CAAC,YAAY,EACrB,eAAe,EACf,WAAW,EACX,QAAQ,CAAC,OAAO,CAAC,MAAM,GAAG,WAAW,CAAC,MAAM,IAAI,aAAa,GAAG,CAAC,CAClE,CAAC;AACJ,CAAC;AAED,SAAS,uCAAuC,CAC9C,MAAc,EACd,QAAuC,EACvC,UAAoC;IAEpC,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,UAAU,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;IACxE,MAAM,YAAY,GAAG,QAAQ,CAAC,OAAO;SAClC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;SAC5C,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC;SACZ,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAC9B,OAAO,IAAI,6BAA6B,CACtC,MAAM,EACN,UAAU,CAAC,YAAY,EACvB,EAAE,eAAe,EAAE,UAAU,CAAC,YAAY,EAAE,EAC5C,YAAY,EACZ,UAAU,CAAC,YAAY,GAAG,YAAY,CAAC,MAAM,CAC9C,CAAC;AACJ,CAAC;AAED,SAAS,mBAAmB,CAAC,KAAa,EAAE,KAAa;IACvD,MAAM,UAAU,GAAG,KAAK,CAAC,UAAU,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;IACtD,IACE,UAAU,CAAC,MAAM,KAAK,CAAC;QACvB,UAAU,KAAK,KAAK,CAAC,UAAU,CAAC,IAAI,EAAE,GAAG,CAAC;QAC1C,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,UAAU,CAAC;QACjC,mBAAmB,CAAC,IAAI,CAAC,UAAU,CAAC;QACpC,UAAU,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC;QACpC,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,UAAU,CAAC,KAAK,UAAU;QAC/C,UAAU,KAAK,GAAG;QAClB,UAAU,CAAC,QAAQ,CAAC,GAAG,CAAC;QACxB,MAAM,CAAC,UAAU,CAAC,UAAU,EAAE,MAAM,CAAC,GAAG,4BAA4B,CAAC,oBAAoB;QACzF,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE;YACxC,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,EACF,CAAC;QACD,MAAM,IAAI,KAAK,CAAC,GAAG,KAAK,6CAA6C,CAAC,CAAC;IACzE,CAAC;IACD,OAAO,UAAU,CAAC;AACpB,CAAC;AAED,SAAS,oBAAoB,CAC3B,QAAuC,EACvC,WAAmB;IAEnB,IAAI,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,WAAW,CAAC;QAAE,OAAO,MAAM,CAAC;IAChF,IAAI,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,WAAW,GAAG,CAAC,CAAC,EAAE,CAAC;QAC/E,OAAO,WAAW,CAAC;IACrB,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,KAAK,UAAU,uBAAuB,CACpC,KAAyB,EACzB,QAAuC,EACvC,MAAc;IAEd,MAAM,WAAW,GAAG,mBAAmB,CAAC,MAAM,EAAE,uBAAuB,CAAC,CAAC;IACzE,MAAM,eAAe,GAAG,6BAA6B,CAAC,KAAK,EAAE,WAAW,CAAC,CAAC;IAC1E,IAAI,eAAe,EAAE,CAAC;QACpB,MAAM,IAAI,KAAK,CAAC,wCAAwC,eAAe,KAAK,WAAW,EAAE,CAAC,CAAC;IAC7F,CAAC;IACD,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,WAAW,EAAE,GAAG,WAAW,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC;IAC1E,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC,WAAW,EAAE,MAAM,CAAC,EAAE,CAAC;QAC7C,MAAM,IAAI,KAAK,CAAC,8CAA8C,WAAW,EAAE,CAAC,CAAC;IAC/E,CAAC;IACD,MAAM,0BAA0B,CAAC,KAAK,CAAC,WAAW,EAAE,MAAM,CAAC,CAAC;IAC5D,IAAI,CAAC;QACH,MAAM,IAAI,GAAG,MAAM,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;QACpC,IAAI,IAAI,CAAC,cAAc,EAAE,EAAE,CAAC;YAC1B,MAAM,IAAI,KAAK,CAAC,4DAA4D,WAAW,EAAE,CAAC,CAAC;QAC7F,CAAC;QACD,MAAM,UAAU,GAAG,MAAM,EAAE,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;QAC7C,MAAM,eAAe,GAAG,MAAM,EAAE,CAAC,QAAQ,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;QAC7D,IAAI,CAAC,YAAY,CAAC,eAAe,EAAE,UAAU,CAAC,EAAE,CAAC;YAC/C,MAAM,IAAI,KAAK,CAAC,uDAAuD,WAAW,EAAE,CAAC,CAAC;QACxF,CAAC;QACD,IAAI,IAAI,CAAC,MAAM,EAAE;YAAE,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;QAC9D,IAAI,IAAI,CAAC,WAAW,EAAE;YAAE,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC;QACxE,MAAM,IAAI,KAAK,CAAC,qDAAqD,WAAW,EAAE,CAAC,CAAC;IACtF,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,IAAK,KAA+B,CAAC,IAAI,KAAK,QAAQ;YAAE,MAAM,KAAK,CAAC;QACpE,MAAM,IAAI,GAAG,oBAAoB,CAAC,QAAQ,EAAE,WAAW,CAAC,CAAC;QACzD,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;YAClB,MAAM,IAAI,KAAK,CAAC,yCAAyC,WAAW,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC;QAC5F,CAAC;QACD,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC;IACrC,CAAC;AACH,CAAC;AAED,KAAK,UAAU,wBAAwB,CAAC,OAIvC;IACC,IAAI,OAAO,CAAC,IAAI,CAAC,MAAM,GAAG,4BAA4B,CAAC,oBAAoB,EAAE,CAAC;QAC5E,MAAM,IAAI,KAAK,CAAC,4DAA4D,CAAC,CAAC;IAChF,CAAC;IACD,MAAM,SAAS,GAAG,MAAM,OAAO,CAAC,GAAG,CACjC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAC7B,uBAAuB,CAAC,OAAO,CAAC,KAAK,EAAE,OAAO,CAAC,QAAQ,EAAE,SAAS,CAAC,CACpE,CACF,CAAC;IACF,SAAS,CAAC,IAAI,CACZ,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,CAAC,CAC5F,CAAC;IACF,IAAI,IAAI,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,MAAM,EAAE,CAAC;QAClF,MAAM,IAAI,KAAK,CAAC,mEAAmE,CAAC,CAAC;IACvF,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,eAAe,CAAC,gBAAkD;IACzE,OAAO,gBAAgB,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;QACtC,IAAI,EAAE,4BAA4B;QAClC,OAAO,EAAE,GAAG,KAAK,CAAC,EAAE,KAAK,KAAK,CAAC,MAAM,EAAE;QACvC,GAAG,CAAC,KAAK,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,CAAC;KACrD,CAAC,CAAC,CAAC;AACN,CAAC;AAED,SAAS,gBAAgB,CAAC,KAAa;IACrC,IAAI,CAAC,iBAAiB,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QACnC,MAAM,IAAI,KAAK,CAAC,gDAAgD,CAAC,CAAC;IACpE,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;;;GAKG;AACH,MAAM,CAAC,KAAK,UAAU,0BAA0B,CAC9C,OAAmC;IAEnC,IAAI,OAAO,CAAC,KAAK,CAAC,KAAK,KAAK,OAAO,EAAE,CAAC;QACpC,MAAM,IAAI,KAAK,CAAC,6CAA6C,OAAO,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC;IACtF,CAAC;IACD,IAAI,CAAC,OAAO,CAAC,YAAY,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC,IAAI,OAAO,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACtF,MAAM,IAAI,KAAK,CAAC,sEAAsE,CAAC,CAAC;IAC1F,CAAC;IACD,MAAM,cAAc,GAAG,MAAM,0BAA0B,CAAC,OAAO,CAAC,KAAK,EAAE,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAC3F,IAAI,cAAc,KAAK,IAAI;QAAE,MAAM,IAAI,KAAK,CAAC,gDAAgD,CAAC,CAAC;IAC/F,MAAM,QAAQ,GAAG,MAAM,yCAAyC,CAAC,OAAO,CAAC,KAAK,EAAE,cAAc,CAAC,CAAC;IAChG,2BAA2B,CAAC,QAAQ,EAAE,qBAAqB,CAAC,CAAC;IAC7D,IAAI,CAAC,QAAQ,CAAC,QAAQ,EAAE,CAAC;QACvB,MAAM,6BAA6B,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;IACpE,CAAC;IACD,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,iBAAiB,GAAG,MAAM,wBAAwB,CAAC;QACvD,KAAK,EAAE,OAAO,CAAC,KAAK;QACpB,QAAQ;QACR,IAAI,EAAE,OAAO,CAAC,YAAY;KAC3B,CAAC,CAAC;IACH,MAAM,OAAO,GAAG,MAAM,kCAAkC,CAAC,OAAO,CAAC,KAAK,EAAE,QAAQ,EAAE;QAChF,MAAM,EAAE,UAAU;QAClB,GAAG,EAAE,OAAO,CAAC,GAAG;KACjB,CAAC,CAAC;IACH,2BAA2B,CAAC,OAAO,EAAE,kBAAkB,CAAC,CAAC;IACzD,MAAM,MAAM,GAAG,oCAAoC,CAAC;QAClD,QAAQ;QACR,OAAO;QACP,YAAY,EAAE,QAAQ,CAAC,QAAQ,CAAC,YAAY;QAC5C,iBAAiB;QACjB,YAAY,EAAE,OAAO,CAAC,YAAY,IAAI,IAAI;KAC3C,CAAC,CAAC;IACH,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,QAAQ,EAAE,CAAC;QAC9B,MAAM,uCAAuC,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,EAAE,QAAQ,EAAE,MAAM,CAAC,QAAQ,CAAC,CAAC;IAC/F,CAAC;IACD,MAAM,QAAQ,GAAG,iBAAiB,CAAC,QAAQ,EAAE,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;IACrE,IAAI,MAAM,CAAC,KAAK,CAAC,QAAQ,EAAE,CAAC;QAC1B,IACE,CAAC,OAAO,CAAC,qBAAqB,KAAK,SAAS,IAAI,OAAO,CAAC,qBAAqB,KAAK,IAAI,CAAC;YACvF,CAAC,OAAO,CAAC,aAAa,KAAK,SAAS,IAAI,OAAO,CAAC,aAAa,KAAK,IAAI,CAAC,EACvE,CAAC;YACD,MAAM,IAAI,KAAK,CAAC,qEAAqE,CAAC,CAAC;QACzF,CAAC;QACD,OAAO;YACL,QAAQ;YACR,MAAM;YACN,QAAQ;YACR,SAAS,EAAE,IAAI;YACf,YAAY,EAAE,IAAI;YAClB,QAAQ,EAAE,EAAE;YACZ,gBAAgB,EAAE,EAAE;SACrB,CAAC;IACJ,CAAC;IACD,IAAI,OAAO,CAAC,qBAAqB,KAAK,SAAS,IAAI,OAAO,CAAC,qBAAqB,KAAK,IAAI,EAAE,CAAC;QAC1F,OAAO;YACL,QAAQ;YACR,MAAM;YACN,QAAQ;YACR,SAAS,EAAE,IAAI;YACf,YAAY,EAAE,IAAI;YAClB,QAAQ,EAAE,eAAe,CAAC,MAAM,CAAC,KAAK,CAAC,gBAAgB,CAAC;YACxD,gBAAgB,EAAE,MAAM,CAAC,KAAK,CAAC,gBAAgB;SAChD,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,OAAO,CAAC,SAAS,EAAE,CAAC;QACvB,MAAM,IAAI,KAAK,CAAC,4DAA4D,CAAC,CAAC;IAChF,CAAC;IACD,MAAM,iBAAiB,GAAG,gBAAgB,CAAC,OAAO,CAAC,qBAAqB,CAAC,CAAC;IAC1E,IAAI,iBAAiB,KAAK,MAAM,CAAC,KAAK,CAAC,SAAS,EAAE,CAAC;QACjD,MAAM,IAAI,KAAK,CAAC,0EAA0E,CAAC,CAAC;IAC9F,CAAC;IACD,MAAM,SAAS,GAAG,2BAA2B,CAAC;QAC5C,MAAM,EAAE,OAAO,CAAC,KAAK,CAAC,IAAI;QAC1B,WAAW,EAAE,MAAM;QACnB,eAAe,EAAE,MAAM,CAAC,KAAK,CAAC,gBAAgB,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC;QACvE,MAAM,EAAE,OAAO,CAAC,aAAa,IAAI,EAAE;QACnC,gBAAgB,EAAE,OAAO,CAAC,gBAAgB,IAAI,EAAE;QAChD,cAAc,EAAE,OAAO,CAAC,KAAK,CAAC,QAAQ;QACtC,GAAG,EAAE,OAAO,CAAC,GAAG;KACjB,CAAC,CAAC;IACH,MAAM,YAAY,GAAG,iBAAiB,CAAC,YAAY,EAAE,SAAS,CAAC,aAAa,CAAC,CAAC;IAC9E,OAAO;QACL,QAAQ;QACR,MAAM;QACN,QAAQ;QACR,SAAS;QACT,YAAY;QACZ,QAAQ,EAAE,EAAE;QACZ,gBAAgB,EAAE,MAAM,CAAC,KAAK,CAAC,gBAAgB;KAChD,CAAC;AACJ,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,0BAA0B,CAC9C,OAGC;IAED,MAAM,QAAQ,GAAG,MAAM,8BAA8B,CAAC;QACpD,KAAK,EAAE,OAAO,CAAC,KAAK;QACpB,IAAI,EAAE,OAAO,CAAC,KAAK,CAAC,IAAI;QACxB,MAAM,EAAE,OAAO,CAAC,WAAW,CAAC,MAAM;KACnC,CAAC,CAAC;IACH,IAAI,QAAQ,KAAK,OAAO,CAAC,WAAW,CAAC,QAAQ,EAAE,CAAC;QAC9C,MAAM,IAAI,KAAK,CAAC,qDAAqD,CAAC,CAAC;IACzE,CAAC;IACD,IAAI,OAAO,CAAC,gBAAgB,KAAK,KAAK,IAAI,OAAO,CAAC,WAAW,CAAC,SAAS,KAAK,IAAI;QAAE,OAAO;IACzF,MAAM,YAAY,GAAG,MAAM,2BAA2B,CAAC;QACrD,KAAK,EAAE,OAAO,CAAC,KAAK;QACpB,IAAI,EAAE,OAAO,CAAC,KAAK,CAAC,IAAI;QACxB,SAAS,EAAE,OAAO,CAAC,WAAW,CAAC,SAAS;KACzC,CAAC,CAAC;IACH,IAAI,YAAY,KAAK,OAAO,CAAC,WAAW,CAAC,YAAY,EAAE,CAAC;QACtD,MAAM,IAAI,KAAK,CAAC,kDAAkD,CAAC,CAAC;IACtE,CAAC;AACH,CAAC;AAED,iGAAiG;AACjG,MAAM,CAAC,KAAK,UAAU,0BAA0B,CAC9C,OAAmC;IAEnC,MAAM,WAAW,GAAG,MAAM,0BAA0B,CAAC,OAAO,CAAC,CAAC;IAC9D,MAAM,0BAA0B,CAAC,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,EAAE,WAAW,EAAE,CAAC,CAAC;IAC9F,OAAO,WAAW,CAAC;AACrB,CAAC"}

package/dist/domains/comet-native/native-canonical-hash.d.ts

@@ -0,0 +1,10 @@
+/**
+ * Serialize the JSON data model deterministically.
+ *
+ * Object keys use JavaScript's stable UTF-16 lexicographic ordering, arrays retain their
+ * original order, strings retain their Unicode code points, and non-JSON values fail closed.
+ */
+export declare function canonicalJson(value: unknown): string;
+/** Hash a canonical JSON value in an explicit domain. */
+export declare function canonicalHash(tag: string, value: unknown): string;
+//# sourceMappingURL=native-canonical-hash.d.ts.map

package/dist/domains/comet-native/native-canonical-hash.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"native-canonical-hash.d.ts","sourceRoot":"","sources":["../../../domains/comet-native/native-canonical-hash.ts"],"names":[],"mappings":"AAiFA;;;;;GAKG;AACH,wBAAgB,aAAa,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,CAEpD;AAED,yDAAyD;AACzD,wBAAgB,aAAa,CAAC,GAAG,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,GAAG,MAAM,CAQjE"}

package/dist/domains/comet-native/native-canonical-hash.js

@@ -0,0 +1,100 @@
+import { createHash } from 'crypto';
+function invalidCanonicalJson(detail) {
+    throw new TypeError(`Value is not valid canonical JSON: ${detail}`);
+}
+function canonicalArray(value, ancestors) {
+    if (ancestors.has(value))
+        invalidCanonicalJson('cyclic structures are not supported');
+    ancestors.add(value);
+    try {
+        const enumerableKeys = Object.keys(value);
+        for (let index = 0; index < value.length; index += 1) {
+            if (!Object.prototype.hasOwnProperty.call(value, index)) {
+                invalidCanonicalJson('sparse arrays are not supported');
+            }
+        }
+        if (enumerableKeys.length !== value.length ||
+            enumerableKeys.some((key, index) => key !== String(index))) {
+            invalidCanonicalJson('arrays must not have named enumerable properties');
+        }
+        if (Object.getOwnPropertySymbols(value).length > 0) {
+            invalidCanonicalJson('symbol properties are not supported');
+        }
+        return `[${value.map((entry) => canonicalValue(entry, ancestors)).join(',')}]`;
+    }
+    finally {
+        ancestors.delete(value);
+    }
+}
+function canonicalObject(value, ancestors) {
+    const prototype = Object.getPrototypeOf(value);
+    if (prototype !== Object.prototype && prototype !== null) {
+        invalidCanonicalJson('only plain objects are supported');
+    }
+    if (ancestors.has(value))
+        invalidCanonicalJson('cyclic structures are not supported');
+    if (Object.getOwnPropertySymbols(value).length > 0) {
+        invalidCanonicalJson('symbol properties are not supported');
+    }
+    ancestors.add(value);
+    try {
+        const descriptors = Object.getOwnPropertyDescriptors(value);
+        const keys = Object.keys(value).sort();
+        const fields = keys.map((key) => {
+            const descriptor = descriptors[key];
+            if (!descriptor || !('value' in descriptor)) {
+                invalidCanonicalJson('accessor properties are not supported');
+            }
+            return `${JSON.stringify(key)}:${canonicalValue(descriptor.value, ancestors)}`;
+        });
+        return `{${fields.join(',')}}`;
+    }
+    finally {
+        ancestors.delete(value);
+    }
+}
+function canonicalValue(value, ancestors) {
+    if (value === null)
+        return 'null';
+    switch (typeof value) {
+        case 'boolean':
+            return value ? 'true' : 'false';
+        case 'string':
+            return JSON.stringify(value);
+        case 'number':
+            if (!Number.isFinite(value))
+                invalidCanonicalJson('numbers must be finite');
+            return JSON.stringify(Object.is(value, -0) ? 0 : value);
+        case 'object':
+            return Array.isArray(value)
+                ? canonicalArray(value, ancestors)
+                : canonicalObject(value, ancestors);
+        case 'bigint':
+        case 'function':
+        case 'symbol':
+        case 'undefined':
+            return invalidCanonicalJson(`${typeof value} values are not supported`);
+    }
+    return invalidCanonicalJson('unsupported value type');
+}
+/**
+ * Serialize the JSON data model deterministically.
+ *
+ * Object keys use JavaScript's stable UTF-16 lexicographic ordering, arrays retain their
+ * original order, strings retain their Unicode code points, and non-JSON values fail closed.
+ */
+export function canonicalJson(value) {
+    return canonicalValue(value, new Set());
+}
+/** Hash a canonical JSON value in an explicit domain. */
+export function canonicalHash(tag, value) {
+    if (tag.length === 0)
+        throw new TypeError('Canonical hash tag must be non-empty');
+    if (/[\r\n]/u.test(tag)) {
+        throw new TypeError('Canonical hash tag must not contain a line break');
+    }
+    return createHash('sha256')
+        .update(`${tag}\n${canonicalJson(value)}`)
+        .digest('hex');
+}
+//# sourceMappingURL=native-canonical-hash.js.map

package/dist/domains/comet-native/native-canonical-hash.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"native-canonical-hash.js","sourceRoot":"","sources":["../../../domains/comet-native/native-canonical-hash.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,QAAQ,CAAC;AAEpC,SAAS,oBAAoB,CAAC,MAAc;IAC1C,MAAM,IAAI,SAAS,CAAC,sCAAsC,MAAM,EAAE,CAAC,CAAC;AACtE,CAAC;AAED,SAAS,cAAc,CAAC,KAAgB,EAAE,SAAsB;IAC9D,IAAI,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC;QAAE,oBAAoB,CAAC,qCAAqC,CAAC,CAAC;IACtF,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IACrB,IAAI,CAAC;QACH,MAAM,cAAc,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC1C,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,KAAK,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;YACrD,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,cAAc,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC,EAAE,CAAC;gBACxD,oBAAoB,CAAC,iCAAiC,CAAC,CAAC;YAC1D,CAAC;QACH,CAAC;QACD,IACE,cAAc,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM;YACtC,cAAc,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE,CAAC,GAAG,KAAK,MAAM,CAAC,KAAK,CAAC,CAAC,EAC1D,CAAC;YACD,oBAAoB,CAAC,kDAAkD,CAAC,CAAC;QAC3E,CAAC;QACD,IAAI,MAAM,CAAC,qBAAqB,CAAC,KAAK,CAAC,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACnD,oBAAoB,CAAC,qCAAqC,CAAC,CAAC;QAC9D,CAAC;QACD,OAAO,IAAI,KAAK,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,cAAc,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;IACjF,CAAC;YAAS,CAAC;QACT,SAAS,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IAC1B,CAAC;AACH,CAAC;AAED,SAAS,eAAe,CAAC,KAAa,EAAE,SAAsB;IAC5D,MAAM,SAAS,GAAG,MAAM,CAAC,cAAc,CAAC,KAAK,CAAC,CAAC;IAC/C,IAAI,SAAS,KAAK,MAAM,CAAC,SAAS,IAAI,SAAS,KAAK,IAAI,EAAE,CAAC;QACzD,oBAAoB,CAAC,kCAAkC,CAAC,CAAC;IAC3D,CAAC;IACD,IAAI,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC;QAAE,oBAAoB,CAAC,qCAAqC,CAAC,CAAC;IACtF,IAAI,MAAM,CAAC,qBAAqB,CAAC,KAAK,CAAC,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACnD,oBAAoB,CAAC,qCAAqC,CAAC,CAAC;IAC9D,CAAC;IAED,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IACrB,IAAI,CAAC;QACH,MAAM,WAAW,GAAG,MAAM,CAAC,yBAAyB,CAAC,KAAK,CAAC,CAAC;QAC5D,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC;QACvC,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE;YAC9B,MAAM,UAAU,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC;YACpC,IAAI,CAAC,UAAU,IAAI,CAAC,CAAC,OAAO,IAAI,UAAU,CAAC,EAAE,CAAC;gBAC5C,oBAAoB,CAAC,uCAAuC,CAAC,CAAC;YAChE,CAAC;YACD,OAAO,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,cAAc,CAAC,UAAU,CAAC,KAAK,EAAE,SAAS,CAAC,EAAE,CAAC;QACjF,CAAC,CAAC,CAAC;QACH,OAAO,IAAI,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;IACjC,CAAC;YAAS,CAAC;QACT,SAAS,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IAC1B,CAAC;AACH,CAAC;AAED,SAAS,cAAc,CAAC,KAAc,EAAE,SAAsB;IAC5D,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,MAAM,CAAC;IAClC,QAAQ,OAAO,KAAK,EAAE,CAAC;QACrB,KAAK,SAAS;YACZ,OAAO,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC;QAClC,KAAK,QAAQ;YACX,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;QAC/B,KAAK,QAAQ;YACX,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC;gBAAE,oBAAoB,CAAC,wBAAwB,CAAC,CAAC;YAC5E,OAAO,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;QAC1D,KAAK,QAAQ;YACX,OAAO,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;gBACzB,CAAC,CAAC,cAAc,CAAC,KAAK,EAAE,SAAS,CAAC;gBAClC,CAAC,CAAC,eAAe,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;QACxC,KAAK,QAAQ,CAAC;QACd,KAAK,UAAU,CAAC;QAChB,KAAK,QAAQ,CAAC;QACd,KAAK,WAAW;YACd,OAAO,oBAAoB,CAAC,GAAG,OAAO,KAAK,2BAA2B,CAAC,CAAC;IAC5E,CAAC;IACD,OAAO,oBAAoB,CAAC,wBAAwB,CAAC,CAAC;AACxD,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,aAAa,CAAC,KAAc;IAC1C,OAAO,cAAc,CAAC,KAAK,EAAE,IAAI,GAAG,EAAU,CAAC,CAAC;AAClD,CAAC;AAED,yDAAyD;AACzD,MAAM,UAAU,aAAa,CAAC,GAAW,EAAE,KAAc;IACvD,IAAI,GAAG,CAAC,MAAM,KAAK,CAAC;QAAE,MAAM,IAAI,SAAS,CAAC,sCAAsC,CAAC,CAAC;IAClF,IAAI,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;QACxB,MAAM,IAAI,SAAS,CAAC,kDAAkD,CAAC,CAAC;IAC1E,CAAC;IACD,OAAO,UAAU,CAAC,QAAQ,CAAC;SACxB,MAAM,CAAC,GAAG,GAAG,KAAK,aAAa,CAAC,KAAK,CAAC,EAAE,CAAC;SACzC,MAAM,CAAC,KAAK,CAAC,CAAC;AACnB,CAAC"}

package/dist/domains/comet-native/native-change-recovery.d.ts

@@ -0,0 +1,11 @@
+import type { NativeProjectPaths } from './native-types.js';
+/**
+ * Settles every change-local write-ahead journal before a new state mutation.
+ *
+ * The caller must hold the project mutation lock and the change transition
+ * lock. Transition recovery remains first for compatibility with the existing
+ * phase WAL; a pending progress checkpoint is then completed before the caller
+ * reads the revision it intends to mutate.
+ */
+export declare function settleNativeChangeJournalsLocked(paths: NativeProjectPaths, name: string): Promise<void>;
+//# sourceMappingURL=native-change-recovery.d.ts.map

package/dist/domains/comet-native/native-change-recovery.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"native-change-recovery.d.ts","sourceRoot":"","sources":["../../../domains/comet-native/native-change-recovery.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,mBAAmB,CAAC;AAE5D;;;;;;;GAOG;AACH,wBAAsB,gCAAgC,CACpD,KAAK,EAAE,kBAAkB,EACzB,IAAI,EAAE,MAAM,GACX,OAAO,CAAC,IAAI,CAAC,CAGf"}

package/dist/domains/comet-native/native-change-recovery.js

@@ -0,0 +1,15 @@
+import { continueNativeCheckpointLocked } from './native-checkpoint-journal.js';
+import { continueNativeTransitionLocked } from './native-transition-journal.js';
+/**
+ * Settles every change-local write-ahead journal before a new state mutation.
+ *
+ * The caller must hold the project mutation lock and the change transition
+ * lock. Transition recovery remains first for compatibility with the existing
+ * phase WAL; a pending progress checkpoint is then completed before the caller
+ * reads the revision it intends to mutate.
+ */
+export async function settleNativeChangeJournalsLocked(paths, name) {
+    await continueNativeTransitionLocked(paths, name);
+    await continueNativeCheckpointLocked(paths, name);
+}
+//# sourceMappingURL=native-change-recovery.js.map

package/dist/domains/comet-native/native-change-recovery.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"native-change-recovery.js","sourceRoot":"","sources":["../../../domains/comet-native/native-change-recovery.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,8BAA8B,EAAE,MAAM,gCAAgC,CAAC;AAChF,OAAO,EAAE,8BAA8B,EAAE,MAAM,gCAAgC,CAAC;AAGhF;;;;;;;GAOG;AACH,MAAM,CAAC,KAAK,UAAU,gCAAgC,CACpD,KAAyB,EACzB,IAAY;IAEZ,MAAM,8BAA8B,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IAClD,MAAM,8BAA8B,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;AACpD,CAAC"}

package/dist/domains/comet-native/native-change.d.ts

@@ -0,0 +1,66 @@
+import { type NativeCreationAuthorization } from './native-creation-authorization.js';
+import type { NativeChangeSchemaInspection, NativeChangeState, NativeContentSnapshotManifest, NativeLegacyChangeState, NativeProjectPaths, NativeVerificationProtocol, NativeV2ChangeState } from './native-types.js';
+export declare const NATIVE_CHANGE_STATE_FILE = "comet-state.yaml";
+export declare class NativeSchemaMigrationRequiredError extends Error {
+    readonly change: string;
+    readonly schema: string;
+    readonly code = "native-schema-migration-required";
+    constructor(change: string, schema: string);
+}
+export declare class NativeRuntimeCompatibilityError extends Error {
+    readonly schema: string;
+    readonly minimumRuntimeVersion: number | null;
+    readonly code = "native-runtime-incompatible";
+    constructor(schema: string, minimumRuntimeVersion: number | null);
+}
+export declare class NativeChangeRevisionConflictError extends Error {
+    readonly change: string;
+    readonly expectedRevision: number;
+    readonly actualRevision: number;
+    readonly code = "native-change-revision-conflict";
+    constructor(change: string, expectedRevision: number, actualRevision: number);
+}
+export declare class NativeBaselineIncompleteError extends Error {
+    readonly change: string;
+    readonly omittedCount: number;
+    readonly omittedByReason: Record<string, number>;
+    readonly samplePaths: string[];
+    readonly sampleTruncated: boolean;
+    readonly effectiveLimits: NativeContentSnapshotManifest['limits'] | null;
+    readonly policyHash: string | null;
+    readonly code = "native-baseline-incomplete";
+    constructor(change: string, omittedCount: number, omittedByReason: Record<string, number>, samplePaths: string[], sampleTruncated: boolean, effectiveLimits?: NativeContentSnapshotManifest['limits'] | null, policyHash?: string | null);
+}
+export declare const NATIVE_BRIEF_TEMPLATE: string;
+export declare function assertNativeName(value: string): void;
+export declare function assertCapabilityId(value: string): void;
+export declare function parseLegacyNativeChangeValue(value: unknown): NativeLegacyChangeState;
+export declare function parseV2NativeChangeValue(value: unknown): NativeV2ChangeState;
+export declare function parseNativeChangeValue(value: unknown): NativeChangeState;
+export declare function inspectNativeChangeValue(value: unknown): NativeChangeSchemaInspection;
+export declare function nativeChangeDocument(state: NativeChangeState): Record<string, unknown>;
+export declare function nativeV2ChangeDocument(state: NativeV2ChangeState): Record<string, unknown>;
+export declare function nativeChangeDir(paths: NativeProjectPaths, name: string): string;
+export declare function hasPendingNativeSchemaMigration(paths: NativeProjectPaths, name: string): Promise<boolean>;
+export declare function hasPendingNativeCheckpointRecovery(paths: NativeProjectPaths, name: string): Promise<boolean>;
+export declare function createNativeChange(options: {
+    paths: NativeProjectPaths;
+    name: string;
+    language: 'en' | 'zh-CN';
+    verificationProtocol?: NativeVerificationProtocol;
+    creationAuthorization?: NativeCreationAuthorization;
+    now?: Date;
+}): Promise<NativeChangeState>;
+export declare const NATIVE_CHANGE_DOCUMENT_MAX_BYTES: number;
+export declare function inspectNativeChange(paths: NativeProjectPaths, name: string): Promise<NativeChangeSchemaInspection>;
+export declare function readNativeChange(paths: NativeProjectPaths, name: string): Promise<NativeChangeState>;
+export declare function writeNativeChange(paths: NativeProjectPaths, state: NativeChangeState): Promise<NativeChangeState>;
+export declare function compareAndSwapNativeChangeFile(file: string, state: NativeChangeState, expectedRevision: number): Promise<NativeChangeState>;
+export declare function compareAndSwapNativeChangeLocked(paths: NativeProjectPaths, state: NativeChangeState, expectedRevision: number, options?: {
+    allowPendingCheckpointRecovery?: boolean;
+}): Promise<NativeChangeState>;
+export declare function compareAndSwapNativeChange(paths: NativeProjectPaths, state: NativeChangeState, expectedRevision: number): Promise<NativeChangeState>;
+export declare function writeNativeChangeFile(file: string, state: NativeChangeState): Promise<NativeChangeState>;
+export declare function readNativeChangeFile(file: string): Promise<NativeChangeState>;
+export declare function listNativeChanges(paths: NativeProjectPaths): Promise<NativeChangeState[]>;
+//# sourceMappingURL=native-change.d.ts.map

package/dist/domains/comet-native/native-change.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"native-change.d.ts","sourceRoot":"","sources":["../../../domains/comet-native/native-change.ts"],"names":[],"mappings":"AAMA,OAAO,EAEL,KAAK,2BAA2B,EACjC,MAAM,oCAAoC,CAAC;AA4B5C,OAAO,KAAK,EAEV,4BAA4B,EAC5B,iBAAiB,EACjB,6BAA6B,EAE7B,uBAAuB,EAEvB,kBAAkB,EAGlB,0BAA0B,EAC1B,mBAAmB,EACpB,MAAM,mBAAmB,CAAC;AAqC3B,eAAO,MAAM,wBAAwB,qBAAqB,CAAC;AAM3D,qBAAa,kCAAmC,SAAQ,KAAK;IAIzD,QAAQ,CAAC,MAAM,EAAE,MAAM;IACvB,QAAQ,CAAC,MAAM,EAAE,MAAM;IAJzB,QAAQ,CAAC,IAAI,sCAAsC;gBAGxC,MAAM,EAAE,MAAM,EACd,MAAM,EAAE,MAAM;CAO1B;AAED,qBAAa,+BAAgC,SAAQ,KAAK;IAItD,QAAQ,CAAC,MAAM,EAAE,MAAM;IACvB,QAAQ,CAAC,qBAAqB,EAAE,MAAM,GAAG,IAAI;IAJ/C,QAAQ,CAAC,IAAI,iCAAiC;gBAGnC,MAAM,EAAE,MAAM,EACd,qBAAqB,EAAE,MAAM,GAAG,IAAI;CAShD;AAED,qBAAa,iCAAkC,SAAQ,KAAK;IAIxD,QAAQ,CAAC,MAAM,EAAE,MAAM;IACvB,QAAQ,CAAC,gBAAgB,EAAE,MAAM;IACjC,QAAQ,CAAC,cAAc,EAAE,MAAM;IALjC,QAAQ,CAAC,IAAI,qCAAqC;gBAGvC,MAAM,EAAE,MAAM,EACd,gBAAgB,EAAE,MAAM,EACxB,cAAc,EAAE,MAAM;CAOlC;AAED,qBAAa,6BAA8B,SAAQ,KAAK;IAIpD,QAAQ,CAAC,MAAM,EAAE,MAAM;IACvB,QAAQ,CAAC,YAAY,EAAE,MAAM;IAC7B,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC;IAChD,QAAQ,CAAC,WAAW,EAAE,MAAM,EAAE;IAC9B,QAAQ,CAAC,eAAe,EAAE,OAAO;IACjC,QAAQ,CAAC,eAAe,EAAE,6BAA6B,CAAC,QAAQ,CAAC,GAAG,IAAI;IACxE,QAAQ,CAAC,UAAU,EAAE,MAAM,GAAG,IAAI;IATpC,QAAQ,CAAC,IAAI,gCAAgC;gBAGlC,MAAM,EAAE,MAAM,EACd,YAAY,EAAE,MAAM,EACpB,eAAe,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,EACvC,WAAW,EAAE,MAAM,EAAE,EACrB,eAAe,EAAE,OAAO,EACxB,eAAe,GAAE,6BAA6B,CAAC,QAAQ,CAAC,GAAG,IAAW,EACtE,UAAU,GAAE,MAAM,GAAG,IAAW;CAO5C;AAED,eAAO,MAAM,qBAAqB,QAiBtB,CAAC;AAcb,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI,CAEpD;AAED,wBAAgB,kBAAkB,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI,CAEtD;AAsHD,wBAAgB,4BAA4B,CAAC,KAAK,EAAE,OAAO,GAAG,uBAAuB,CASpF;AA0CD,wBAAgB,wBAAwB,CAAC,KAAK,EAAE,OAAO,GAAG,mBAAmB,CAkB5E;AAED,wBAAgB,sBAAsB,CAAC,KAAK,EAAE,OAAO,GAAG,iBAAiB,CAwDxE;AAED,wBAAgB,wBAAwB,CAAC,KAAK,EAAE,OAAO,GAAG,4BAA4B,CA2DrF;AAED,wBAAgB,oBAAoB,CAAC,KAAK,EAAE,iBAAiB,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CA4BtF;AAED,wBAAgB,sBAAsB,CAAC,KAAK,EAAE,mBAAmB,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAuB1F;AAED,wBAAgB,eAAe,CAAC,KAAK,EAAE,kBAAkB,EAAE,IAAI,EAAE,MAAM,GAAG,MAAM,CAK/E;AAED,wBAAsB,+BAA+B,CACnD,KAAK,EAAE,kBAAkB,EACzB,IAAI,EAAE,MAAM,GACX,OAAO,CAAC,OAAO,CAAC,CAUlB;AAED,wBAAsB,kCAAkC,CACtD,KAAK,EAAE,kBAAkB,EACzB,IAAI,EAAE,MAAM,GACX,OAAO,CAAC,OAAO,CAAC,CAUlB;AAED,wBAAsB,kBAAkB,CAAC,OAAO,EAAE;IAChD,KAAK,EAAE,kBAAkB,CAAC;IAC1B,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,IAAI,GAAG,OAAO,CAAC;IACzB,oBAAoB,CAAC,EAAE,0BAA0B,CAAC;IAClD,qBAAqB,CAAC,EAAE,2BAA2B,CAAC;IACpD,GAAG,CAAC,EAAE,IAAI,CAAC;CACZ,GAAG,OAAO,CAAC,iBAAiB,CAAC,CAI7B;AAiKD,eAAO,MAAM,gCAAgC,QAAa,CAAC;AAgB3D,wBAAsB,mBAAmB,CACvC,KAAK,EAAE,kBAAkB,EACzB,IAAI,EAAE,MAAM,GACX,OAAO,CAAC,4BAA4B,CAAC,CAoBvC;AA6ED,wBAAsB,gBAAgB,CACpC,KAAK,EAAE,kBAAkB,EACzB,IAAI,EAAE,MAAM,GACX,OAAO,CAAC,iBAAiB,CAAC,CAS5B;AAED,wBAAsB,iBAAiB,CACrC,KAAK,EAAE,kBAAkB,EACzB,KAAK,EAAE,iBAAiB,GACvB,OAAO,CAAC,iBAAiB,CAAC,CAE5B;AAkBD,wBAAsB,8BAA8B,CAClD,IAAI,EAAE,MAAM,EACZ,KAAK,EAAE,iBAAiB,EACxB,gBAAgB,EAAE,MAAM,GACvB,OAAO,CAAC,iBAAiB,CAAC,CAyB5B;AAED,wBAAsB,gCAAgC,CACpD,KAAK,EAAE,kBAAkB,EACzB,KAAK,EAAE,iBAAiB,EACxB,gBAAgB,EAAE,MAAM,EACxB,OAAO,CAAC,EAAE;IAAE,8BAA8B,CAAC,EAAE,OAAO,CAAA;CAAE,GACrD,OAAO,CAAC,iBAAiB,CAAC,CAqB5B;AAED,wBAAsB,0BAA0B,CAC9C,KAAK,EAAE,kBAAkB,EACzB,KAAK,EAAE,iBAAiB,EACxB,gBAAgB,EAAE,MAAM,GACvB,OAAO,CAAC,iBAAiB,CAAC,CAI5B;AAED,wBAAsB,qBAAqB,CACzC,IAAI,EAAE,MAAM,EACZ,KAAK,EAAE,iBAAiB,GACvB,OAAO,CAAC,iBAAiB,CAAC,CAE5B;AAED,wBAAsB,oBAAoB,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAAC,iBAAiB,CAAC,CAEnF;AAED,wBAAsB,iBAAiB,CAAC,KAAK,EAAE,kBAAkB,GAAG,OAAO,CAAC,iBAAiB,EAAE,CAAC,CAoB/F"}