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

package/dist/domains/comet-native/native-repair-stagnation.js

@@ -0,0 +1,256 @@
+import { canonicalHash } from './native-canonical-hash.js';
+export const NATIVE_REPAIR_SIGNATURE_SCHEMA = 'comet.native.repair-signature.v1';
+export const NATIVE_REPAIR_STAGNATION_LIMITS = {
+    warningAtConsecutiveFailures: 2,
+    manualStopAtConsecutiveFailures: 3,
+    maxRepairIterations: 12,
+    maxHistoryRecords: 64,
+    maxCategories: 16,
+    maxFailedCheckIds: 128,
+    maxOverrideSummaryCharacters: 2_000,
+};
+const SIGNATURE_HASH_TAG = 'comet.native.repair-signature.v1';
+const OVERRIDE_SUMMARY_HASH_TAG = 'comet.native.repair-override-summary.v1';
+const HASH_PATTERN = /^[a-f0-9]{64}$/u;
+const TOKEN_PATTERN = /^[a-z0-9][a-z0-9._:/-]{0,255}$/u;
+function compareText(left, right) {
+    if (left < right)
+        return -1;
+    if (left > right)
+        return 1;
+    return 0;
+}
+function hash(value, label) {
+    if (typeof value !== 'string' || !HASH_PATTERN.test(value)) {
+        throw new Error(`${label} must be a SHA-256 hash`);
+    }
+    return value;
+}
+function positiveInteger(value, label) {
+    if (!Number.isSafeInteger(value) || value < 1) {
+        throw new Error(`${label} must be a positive integer`);
+    }
+    return value;
+}
+function normalizedTokens(values, label, max, allowEmpty) {
+    if (!Array.isArray(values) || values.length > max || (!allowEmpty && values.length === 0)) {
+        throw new Error(`${label} exceeds its count boundary`);
+    }
+    const tokens = values.map((value) => {
+        if (typeof value !== 'string' || !TOKEN_PATTERN.test(value)) {
+            throw new Error(`${label} contains an invalid token: ${String(value)}`);
+        }
+        return value;
+    });
+    return [...new Set(tokens)].sort(compareText);
+}
+export function normalizeNativeRepairFailureTokens(options) {
+    const categories = options.categories && options.categories.length > 0
+        ? options.categories
+        : ['verification-failed'];
+    return {
+        categories: normalizedTokens(categories, 'Native repair categories', NATIVE_REPAIR_STAGNATION_LIMITS.maxCategories, false),
+        failedCheckIds: normalizedTokens(options.failedCheckIds ?? [], 'Native repair failed check IDs', NATIVE_REPAIR_STAGNATION_LIMITS.maxFailedCheckIds, true),
+    };
+}
+export function buildNativeRepairSignature(facts) {
+    const tokens = normalizeNativeRepairFailureTokens(facts);
+    const content = {
+        schema: NATIVE_REPAIR_SIGNATURE_SCHEMA,
+        contractHash: hash(facts.contractHash, 'Native repair contract hash'),
+        implementationScopeHash: hash(facts.implementationScopeHash, 'Native repair implementation scope hash'),
+        artifactSnapshotHash: hash(facts.artifactSnapshotHash, 'Native repair artifact snapshot hash'),
+        categories: tokens.categories,
+        failedCheckIds: tokens.failedCheckIds,
+    };
+    return {
+        ...content,
+        signatureHash: canonicalHash(SIGNATURE_HASH_TAG, content),
+    };
+}
+function normalizeHistory(history) {
+    if (!Array.isArray(history) ||
+        history.length > NATIVE_REPAIR_STAGNATION_LIMITS.maxHistoryRecords) {
+        throw new Error('Native repair history exceeds its record boundary');
+    }
+    let previousIteration = 0;
+    let previousRevision = 0;
+    return history.map((record, index) => {
+        if (!record || (record.kind !== 'failure' && record.kind !== 'override')) {
+            throw new Error(`Native repair history record ${index} is invalid`);
+        }
+        const expectedKeys = record.kind === 'failure'
+            ? ['iteration', 'kind', 'revision', 'signatureHash']
+            : ['iteration', 'kind', 'revision', 'signatureHash', 'summaryHash'];
+        const keys = Object.keys(record).sort(compareText);
+        if (keys.length !== expectedKeys.length ||
+            keys.some((key, keyIndex) => key !== expectedKeys[keyIndex])) {
+            throw new Error(`Native repair history record ${index} fields are invalid`);
+        }
+        const iteration = positiveInteger(record.iteration, `Native repair history ${index} iteration`);
+        const revision = positiveInteger(record.revision, `Native repair history ${index} revision`);
+        const previous = index > 0 ? history[index - 1] : null;
+        const pairedOverride = record.kind === 'override' &&
+            previous?.kind === 'failure' &&
+            iteration === previousIteration &&
+            revision >= previousRevision &&
+            record.signatureHash === previous.signatureHash;
+        if (!pairedOverride && (iteration <= previousIteration || revision <= previousRevision)) {
+            throw new Error('Native repair history must be strictly ordered by revision and iteration');
+        }
+        previousIteration = iteration;
+        previousRevision = revision;
+        const signatureHash = hash(record.signatureHash, `Native repair history ${index} signature`);
+        if (record.kind === 'failure')
+            return { kind: 'failure', iteration, revision, signatureHash };
+        return {
+            kind: 'override',
+            iteration,
+            revision,
+            signatureHash,
+            summaryHash: hash(record.summaryHash, `Native repair history ${index} summary`),
+        };
+    });
+}
+function overrideSummary(value) {
+    const summary = value.trim();
+    if (summary.length === 0 ||
+        summary.length > NATIVE_REPAIR_STAGNATION_LIMITS.maxOverrideSummaryCharacters) {
+        throw new Error('Native repair override summary is invalid');
+    }
+    return summary;
+}
+export function hashNativeRepairOverrideSummary(summary) {
+    return canonicalHash(OVERRIDE_SUMMARY_HASH_TAG, {
+        summary: overrideSummary(summary),
+    });
+}
+/**
+ * Decide an override for a failure that was already committed as a manual stop.
+ *
+ * Unlike `decideNativeRepairStagnation`, this function does not add another failure attempt. The
+ * accepted override belongs to the following Build-to-Verify transition.
+ */
+export function decideNativeRepairOverride(options) {
+    const signature = buildNativeRepairSignature(options.facts);
+    const history = normalizeHistory(options.history);
+    const failures = history.filter((record) => record.kind === 'failure');
+    const totalRepairFailures = failures.length;
+    const remainingIterations = Math.max(0, NATIVE_REPAIR_STAGNATION_LIMITS.maxRepairIterations - totalRepairFailures);
+    let consecutiveFailures = 0;
+    for (let index = failures.length - 1; index >= 0; index -= 1) {
+        if (failures[index].signatureHash !== signature.signatureHash)
+            break;
+        consecutiveFailures += 1;
+    }
+    if (totalRepairFailures >= NATIVE_REPAIR_STAGNATION_LIMITS.maxRepairIterations) {
+        return {
+            disposition: 'hard-stop',
+            reasonCode: 'repair-iteration-limit',
+            signature,
+            consecutiveFailures,
+            totalRepairFailures,
+            remainingIterations,
+            overrideAccepted: false,
+        };
+    }
+    if (failures.at(-1)?.signatureHash !== signature.signatureHash ||
+        consecutiveFailures < NATIVE_REPAIR_STAGNATION_LIMITS.manualStopAtConsecutiveFailures) {
+        throw new Error('Native repair override is only available for the latest manual stop');
+    }
+    const expected = hash(options.override.expectedSignatureHash, 'Native repair override expected signature');
+    if (expected !== signature.signatureHash) {
+        throw new Error('Native repair override does not match the current failure signature');
+    }
+    overrideSummary(options.override.summary);
+    const alreadyUsed = history.some((record) => record.kind === 'override' && record.signatureHash === signature.signatureHash);
+    return {
+        disposition: alreadyUsed ? 'manual-stop' : 'continue',
+        reasonCode: alreadyUsed ? 'override-already-used' : 'override-accepted',
+        signature,
+        consecutiveFailures,
+        totalRepairFailures,
+        remainingIterations,
+        overrideAccepted: !alreadyUsed,
+    };
+}
+/**
+ * Decide whether another Verify-fail repair loop is useful.
+ *
+ * The caller persists failure/override events; this pure function never weakens a test, changes a
+ * phase, or invents a pass result.
+ */
+export function decideNativeRepairStagnation(options) {
+    const signature = buildNativeRepairSignature(options.facts);
+    const history = normalizeHistory(options.history);
+    const failures = history.filter((record) => record.kind === 'failure');
+    const totalRepairFailures = failures.length + 1;
+    const remainingIterations = Math.max(0, NATIVE_REPAIR_STAGNATION_LIMITS.maxRepairIterations - totalRepairFailures);
+    let consecutiveFailures = 1;
+    for (let index = failures.length - 1; index >= 0; index -= 1) {
+        if (failures[index].signatureHash !== signature.signatureHash)
+            break;
+        consecutiveFailures += 1;
+    }
+    if (totalRepairFailures >= NATIVE_REPAIR_STAGNATION_LIMITS.maxRepairIterations) {
+        return {
+            disposition: 'hard-stop',
+            reasonCode: 'repair-iteration-limit',
+            signature,
+            consecutiveFailures,
+            totalRepairFailures,
+            remainingIterations,
+            overrideAccepted: false,
+        };
+    }
+    if (consecutiveFailures < NATIVE_REPAIR_STAGNATION_LIMITS.warningAtConsecutiveFailures) {
+        return {
+            disposition: 'continue',
+            reasonCode: 'new-failure-signature',
+            signature,
+            consecutiveFailures,
+            totalRepairFailures,
+            remainingIterations,
+            overrideAccepted: false,
+        };
+    }
+    if (consecutiveFailures < NATIVE_REPAIR_STAGNATION_LIMITS.manualStopAtConsecutiveFailures) {
+        return {
+            disposition: 'warn',
+            reasonCode: 'repeated-failure-warning',
+            signature,
+            consecutiveFailures,
+            totalRepairFailures,
+            remainingIterations,
+            overrideAccepted: false,
+        };
+    }
+    if (options.override) {
+        const expected = hash(options.override.expectedSignatureHash, 'Native repair override expected signature');
+        if (expected !== signature.signatureHash) {
+            throw new Error('Native repair override does not match the current failure signature');
+        }
+        overrideSummary(options.override.summary);
+        const alreadyUsed = history.some((record) => record.kind === 'override' && record.signatureHash === signature.signatureHash);
+        return {
+            disposition: alreadyUsed ? 'manual-stop' : 'continue',
+            reasonCode: alreadyUsed ? 'override-already-used' : 'override-accepted',
+            signature,
+            consecutiveFailures,
+            totalRepairFailures,
+            remainingIterations,
+            overrideAccepted: !alreadyUsed,
+        };
+    }
+    const alreadyUsed = history.some((record) => record.kind === 'override' && record.signatureHash === signature.signatureHash);
+    return {
+        disposition: 'manual-stop',
+        reasonCode: alreadyUsed ? 'override-already-used' : 'repeated-failure-stop',
+        signature,
+        consecutiveFailures,
+        totalRepairFailures,
+        remainingIterations,
+        overrideAccepted: false,
+    };
+}
+//# sourceMappingURL=native-repair-stagnation.js.map

package/dist/domains/comet-native/native-repair-stagnation.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"native-repair-stagnation.js","sourceRoot":"","sources":["../../../domains/comet-native/native-repair-stagnation.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,aAAa,EAAE,MAAM,4BAA4B,CAAC;AAE3D,MAAM,CAAC,MAAM,8BAA8B,GAAG,kCAA2C,CAAC;AAC1F,MAAM,CAAC,MAAM,+BAA+B,GAAG;IAC7C,4BAA4B,EAAE,CAAC;IAC/B,+BAA+B,EAAE,CAAC;IAClC,mBAAmB,EAAE,EAAE;IACvB,iBAAiB,EAAE,EAAE;IACrB,aAAa,EAAE,EAAE;IACjB,iBAAiB,EAAE,GAAG;IACtB,4BAA4B,EAAE,KAAK;CAC3B,CAAC;AAEX,MAAM,kBAAkB,GAAG,kCAAkC,CAAC;AAC9D,MAAM,yBAAyB,GAAG,yCAAyC,CAAC;AAC5E,MAAM,YAAY,GAAG,iBAAiB,CAAC;AACvC,MAAM,aAAa,GAAG,iCAAiC,CAAC;AA0DxD,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,SAAS,IAAI,CAAC,KAAc,EAAE,KAAa;IACzC,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QAC3D,MAAM,IAAI,KAAK,CAAC,GAAG,KAAK,yBAAyB,CAAC,CAAC;IACrD,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,eAAe,CAAC,KAAa,EAAE,KAAa;IACnD,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,KAAK,GAAG,CAAC,EAAE,CAAC;QAC9C,MAAM,IAAI,KAAK,CAAC,GAAG,KAAK,6BAA6B,CAAC,CAAC;IACzD,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,gBAAgB,CACvB,MAAyB,EACzB,KAAa,EACb,GAAW,EACX,UAAmB;IAEnB,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,MAAM,GAAG,GAAG,IAAI,CAAC,CAAC,UAAU,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,CAAC,EAAE,CAAC;QAC1F,MAAM,IAAI,KAAK,CAAC,GAAG,KAAK,6BAA6B,CAAC,CAAC;IACzD,CAAC;IACD,MAAM,MAAM,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE;QAClC,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;YAC5D,MAAM,IAAI,KAAK,CAAC,GAAG,KAAK,+BAA+B,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QAC1E,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC,CAAC,CAAC;IACH,OAAO,CAAC,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;AAChD,CAAC;AAED,MAAM,UAAU,kCAAkC,CAAC,OAGlD;IACC,MAAM,UAAU,GACd,OAAO,CAAC,UAAU,IAAI,OAAO,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC;QACjD,CAAC,CAAC,OAAO,CAAC,UAAU;QACpB,CAAC,CAAC,CAAC,qBAAqB,CAAC,CAAC;IAC9B,OAAO;QACL,UAAU,EAAE,gBAAgB,CAC1B,UAAU,EACV,0BAA0B,EAC1B,+BAA+B,CAAC,aAAa,EAC7C,KAAK,CACN;QACD,cAAc,EAAE,gBAAgB,CAC9B,OAAO,CAAC,cAAc,IAAI,EAAE,EAC5B,gCAAgC,EAChC,+BAA+B,CAAC,iBAAiB,EACjD,IAAI,CACL;KACF,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,0BAA0B,CAAC,KAA+B;IACxE,MAAM,MAAM,GAAG,kCAAkC,CAAC,KAAK,CAAC,CAAC;IACzD,MAAM,OAAO,GAAG;QACd,MAAM,EAAE,8BAA8B;QACtC,YAAY,EAAE,IAAI,CAAC,KAAK,CAAC,YAAY,EAAE,6BAA6B,CAAC;QACrE,uBAAuB,EAAE,IAAI,CAC3B,KAAK,CAAC,uBAAuB,EAC7B,yCAAyC,CAC1C;QACD,oBAAoB,EAAE,IAAI,CAAC,KAAK,CAAC,oBAAoB,EAAE,sCAAsC,CAAC;QAC9F,UAAU,EAAE,MAAM,CAAC,UAAU;QAC7B,cAAc,EAAE,MAAM,CAAC,cAAc;KACtC,CAAC;IACF,OAAO;QACL,GAAG,OAAO;QACV,aAAa,EAAE,aAAa,CAAC,kBAAkB,EAAE,OAAO,CAAC;KAC1D,CAAC;AACJ,CAAC;AAED,SAAS,gBAAgB,CACvB,OAA6C;IAE7C,IACE,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC;QACvB,OAAO,CAAC,MAAM,GAAG,+BAA+B,CAAC,iBAAiB,EAClE,CAAC;QACD,MAAM,IAAI,KAAK,CAAC,mDAAmD,CAAC,CAAC;IACvE,CAAC;IACD,IAAI,iBAAiB,GAAG,CAAC,CAAC;IAC1B,IAAI,gBAAgB,GAAG,CAAC,CAAC;IACzB,OAAO,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE;QACnC,IAAI,CAAC,MAAM,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,SAAS,IAAI,MAAM,CAAC,IAAI,KAAK,UAAU,CAAC,EAAE,CAAC;YACzE,MAAM,IAAI,KAAK,CAAC,gCAAgC,KAAK,aAAa,CAAC,CAAC;QACtE,CAAC;QACD,MAAM,YAAY,GAChB,MAAM,CAAC,IAAI,KAAK,SAAS;YACvB,CAAC,CAAC,CAAC,WAAW,EAAE,MAAM,EAAE,UAAU,EAAE,eAAe,CAAC;YACpD,CAAC,CAAC,CAAC,WAAW,EAAE,MAAM,EAAE,UAAU,EAAE,eAAe,EAAE,aAAa,CAAC,CAAC;QACxE,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QACnD,IACE,IAAI,CAAC,MAAM,KAAK,YAAY,CAAC,MAAM;YACnC,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,QAAQ,EAAE,EAAE,CAAC,GAAG,KAAK,YAAY,CAAC,QAAQ,CAAC,CAAC,EAC5D,CAAC;YACD,MAAM,IAAI,KAAK,CAAC,gCAAgC,KAAK,qBAAqB,CAAC,CAAC;QAC9E,CAAC;QACD,MAAM,SAAS,GAAG,eAAe,CAAC,MAAM,CAAC,SAAS,EAAE,yBAAyB,KAAK,YAAY,CAAC,CAAC;QAChG,MAAM,QAAQ,GAAG,eAAe,CAAC,MAAM,CAAC,QAAQ,EAAE,yBAAyB,KAAK,WAAW,CAAC,CAAC;QAC7F,MAAM,QAAQ,GAAG,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;QACvD,MAAM,cAAc,GAClB,MAAM,CAAC,IAAI,KAAK,UAAU;YAC1B,QAAQ,EAAE,IAAI,KAAK,SAAS;YAC5B,SAAS,KAAK,iBAAiB;YAC/B,QAAQ,IAAI,gBAAgB;YAC5B,MAAM,CAAC,aAAa,KAAK,QAAQ,CAAC,aAAa,CAAC;QAClD,IAAI,CAAC,cAAc,IAAI,CAAC,SAAS,IAAI,iBAAiB,IAAI,QAAQ,IAAI,gBAAgB,CAAC,EAAE,CAAC;YACxF,MAAM,IAAI,KAAK,CAAC,0EAA0E,CAAC,CAAC;QAC9F,CAAC;QACD,iBAAiB,GAAG,SAAS,CAAC;QAC9B,gBAAgB,GAAG,QAAQ,CAAC;QAC5B,MAAM,aAAa,GAAG,IAAI,CAAC,MAAM,CAAC,aAAa,EAAE,yBAAyB,KAAK,YAAY,CAAC,CAAC;QAC7F,IAAI,MAAM,CAAC,IAAI,KAAK,SAAS;YAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,SAAS,EAAE,QAAQ,EAAE,aAAa,EAAE,CAAC;QAC9F,OAAO;YACL,IAAI,EAAE,UAAU;YAChB,SAAS;YACT,QAAQ;YACR,aAAa;YACb,WAAW,EAAE,IAAI,CAAC,MAAM,CAAC,WAAW,EAAE,yBAAyB,KAAK,UAAU,CAAC;SAChF,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC;AAED,SAAS,eAAe,CAAC,KAAa;IACpC,MAAM,OAAO,GAAG,KAAK,CAAC,IAAI,EAAE,CAAC;IAC7B,IACE,OAAO,CAAC,MAAM,KAAK,CAAC;QACpB,OAAO,CAAC,MAAM,GAAG,+BAA+B,CAAC,4BAA4B,EAC7E,CAAC;QACD,MAAM,IAAI,KAAK,CAAC,2CAA2C,CAAC,CAAC;IAC/D,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,MAAM,UAAU,+BAA+B,CAAC,OAAe;IAC7D,OAAO,aAAa,CAAC,yBAAyB,EAAE;QAC9C,OAAO,EAAE,eAAe,CAAC,OAAO,CAAC;KAClC,CAAC,CAAC;AACL,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,0BAA0B,CAAC,OAI1C;IACC,MAAM,SAAS,GAAG,0BAA0B,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;IAC5D,MAAM,OAAO,GAAG,gBAAgB,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;IAClD,MAAM,QAAQ,GAAG,OAAO,CAAC,MAAM,CAC7B,CAAC,MAAM,EAAuC,EAAE,CAAC,MAAM,CAAC,IAAI,KAAK,SAAS,CAC3E,CAAC;IACF,MAAM,mBAAmB,GAAG,QAAQ,CAAC,MAAM,CAAC;IAC5C,MAAM,mBAAmB,GAAG,IAAI,CAAC,GAAG,CAClC,CAAC,EACD,+BAA+B,CAAC,mBAAmB,GAAG,mBAAmB,CAC1E,CAAC;IACF,IAAI,mBAAmB,GAAG,CAAC,CAAC;IAC5B,KAAK,IAAI,KAAK,GAAG,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,KAAK,IAAI,CAAC,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QAC7D,IAAI,QAAQ,CAAC,KAAK,CAAC,CAAC,aAAa,KAAK,SAAS,CAAC,aAAa;YAAE,MAAM;QACrE,mBAAmB,IAAI,CAAC,CAAC;IAC3B,CAAC;IACD,IAAI,mBAAmB,IAAI,+BAA+B,CAAC,mBAAmB,EAAE,CAAC;QAC/E,OAAO;YACL,WAAW,EAAE,WAAW;YACxB,UAAU,EAAE,wBAAwB;YACpC,SAAS;YACT,mBAAmB;YACnB,mBAAmB;YACnB,mBAAmB;YACnB,gBAAgB,EAAE,KAAK;SACxB,CAAC;IACJ,CAAC;IACD,IACE,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,aAAa,KAAK,SAAS,CAAC,aAAa;QAC1D,mBAAmB,GAAG,+BAA+B,CAAC,+BAA+B,EACrF,CAAC;QACD,MAAM,IAAI,KAAK,CAAC,qEAAqE,CAAC,CAAC;IACzF,CAAC;IACD,MAAM,QAAQ,GAAG,IAAI,CACnB,OAAO,CAAC,QAAQ,CAAC,qBAAqB,EACtC,2CAA2C,CAC5C,CAAC;IACF,IAAI,QAAQ,KAAK,SAAS,CAAC,aAAa,EAAE,CAAC;QACzC,MAAM,IAAI,KAAK,CAAC,qEAAqE,CAAC,CAAC;IACzF,CAAC;IACD,eAAe,CAAC,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;IAC1C,MAAM,WAAW,GAAG,OAAO,CAAC,IAAI,CAC9B,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,KAAK,UAAU,IAAI,MAAM,CAAC,aAAa,KAAK,SAAS,CAAC,aAAa,CAC3F,CAAC;IACF,OAAO;QACL,WAAW,EAAE,WAAW,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,UAAU;QACrD,UAAU,EAAE,WAAW,CAAC,CAAC,CAAC,uBAAuB,CAAC,CAAC,CAAC,mBAAmB;QACvE,SAAS;QACT,mBAAmB;QACnB,mBAAmB;QACnB,mBAAmB;QACnB,gBAAgB,EAAE,CAAC,WAAW;KAC/B,CAAC;AACJ,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,4BAA4B,CAAC,OAI5C;IACC,MAAM,SAAS,GAAG,0BAA0B,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;IAC5D,MAAM,OAAO,GAAG,gBAAgB,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;IAClD,MAAM,QAAQ,GAAG,OAAO,CAAC,MAAM,CAC7B,CAAC,MAAM,EAAuC,EAAE,CAAC,MAAM,CAAC,IAAI,KAAK,SAAS,CAC3E,CAAC;IACF,MAAM,mBAAmB,GAAG,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC;IAChD,MAAM,mBAAmB,GAAG,IAAI,CAAC,GAAG,CAClC,CAAC,EACD,+BAA+B,CAAC,mBAAmB,GAAG,mBAAmB,CAC1E,CAAC;IACF,IAAI,mBAAmB,GAAG,CAAC,CAAC;IAC5B,KAAK,IAAI,KAAK,GAAG,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,KAAK,IAAI,CAAC,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QAC7D,IAAI,QAAQ,CAAC,KAAK,CAAC,CAAC,aAAa,KAAK,SAAS,CAAC,aAAa;YAAE,MAAM;QACrE,mBAAmB,IAAI,CAAC,CAAC;IAC3B,CAAC;IACD,IAAI,mBAAmB,IAAI,+BAA+B,CAAC,mBAAmB,EAAE,CAAC;QAC/E,OAAO;YACL,WAAW,EAAE,WAAW;YACxB,UAAU,EAAE,wBAAwB;YACpC,SAAS;YACT,mBAAmB;YACnB,mBAAmB;YACnB,mBAAmB;YACnB,gBAAgB,EAAE,KAAK;SACxB,CAAC;IACJ,CAAC;IACD,IAAI,mBAAmB,GAAG,+BAA+B,CAAC,4BAA4B,EAAE,CAAC;QACvF,OAAO;YACL,WAAW,EAAE,UAAU;YACvB,UAAU,EAAE,uBAAuB;YACnC,SAAS;YACT,mBAAmB;YACnB,mBAAmB;YACnB,mBAAmB;YACnB,gBAAgB,EAAE,KAAK;SACxB,CAAC;IACJ,CAAC;IACD,IAAI,mBAAmB,GAAG,+BAA+B,CAAC,+BAA+B,EAAE,CAAC;QAC1F,OAAO;YACL,WAAW,EAAE,MAAM;YACnB,UAAU,EAAE,0BAA0B;YACtC,SAAS;YACT,mBAAmB;YACnB,mBAAmB;YACnB,mBAAmB;YACnB,gBAAgB,EAAE,KAAK;SACxB,CAAC;IACJ,CAAC;IACD,IAAI,OAAO,CAAC,QAAQ,EAAE,CAAC;QACrB,MAAM,QAAQ,GAAG,IAAI,CACnB,OAAO,CAAC,QAAQ,CAAC,qBAAqB,EACtC,2CAA2C,CAC5C,CAAC;QACF,IAAI,QAAQ,KAAK,SAAS,CAAC,aAAa,EAAE,CAAC;YACzC,MAAM,IAAI,KAAK,CAAC,qEAAqE,CAAC,CAAC;QACzF,CAAC;QACD,eAAe,CAAC,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;QAC1C,MAAM,WAAW,GAAG,OAAO,CAAC,IAAI,CAC9B,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,KAAK,UAAU,IAAI,MAAM,CAAC,aAAa,KAAK,SAAS,CAAC,aAAa,CAC3F,CAAC;QACF,OAAO;YACL,WAAW,EAAE,WAAW,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,UAAU;YACrD,UAAU,EAAE,WAAW,CAAC,CAAC,CAAC,uBAAuB,CAAC,CAAC,CAAC,mBAAmB;YACvE,SAAS;YACT,mBAAmB;YACnB,mBAAmB;YACnB,mBAAmB;YACnB,gBAAgB,EAAE,CAAC,WAAW;SAC/B,CAAC;IACJ,CAAC;IACD,MAAM,WAAW,GAAG,OAAO,CAAC,IAAI,CAC9B,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,KAAK,UAAU,IAAI,MAAM,CAAC,aAAa,KAAK,SAAS,CAAC,aAAa,CAC3F,CAAC;IACF,OAAO;QACL,WAAW,EAAE,aAAa;QAC1B,UAAU,EAAE,WAAW,CAAC,CAAC,CAAC,uBAAuB,CAAC,CAAC,CAAC,uBAAuB;QAC3E,SAAS;QACT,mBAAmB;QACnB,mBAAmB;QACnB,mBAAmB;QACnB,gBAAgB,EAAE,KAAK;KACxB,CAAC;AACJ,CAAC"}

package/dist/domains/comet-native/native-resume-view.d.ts

@@ -0,0 +1,14 @@
+import type { NativeChangeState, NativeCheckpointCompactView, NativeCheckpointDetailView, NativeFinding, NativeInspectionDetailView, NativeInspectionView, NativeProjectPaths } from './native-types.js';
+export declare const NATIVE_INSPECTION_REASON_DETAIL_BUDGET = 50;
+export declare function buildNativeResumeView(options: {
+    paths: NativeProjectPaths;
+    state: NativeChangeState;
+}): Promise<{
+    inspection: NativeInspectionView;
+    inspectionDetails: NativeInspectionDetailView;
+    checkpoint: NativeCheckpointCompactView | null;
+    checkpointDetails: NativeCheckpointDetailView | null;
+    findings: NativeFinding[];
+    maxCheckpointArtifacts: number;
+}>;
+//# sourceMappingURL=native-resume-view.d.ts.map

package/dist/domains/comet-native/native-resume-view.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"native-resume-view.d.ts","sourceRoot":"","sources":["../../../domains/comet-native/native-resume-view.ts"],"names":[],"mappings":"AASA,OAAO,KAAK,EACV,iBAAiB,EACjB,2BAA2B,EAC3B,0BAA0B,EAC1B,aAAa,EACb,0BAA0B,EAC1B,oBAAoB,EACpB,kBAAkB,EACnB,MAAM,mBAAmB,CAAC;AAI3B,eAAO,MAAM,sCAAsC,KAAK,CAAC;AAsCzD,wBAAsB,qBAAqB,CAAC,OAAO,EAAE;IACnD,KAAK,EAAE,kBAAkB,CAAC;IAC1B,KAAK,EAAE,iBAAiB,CAAC;CAC1B,GAAG,OAAO,CAAC;IACV,UAAU,EAAE,oBAAoB,CAAC;IACjC,iBAAiB,EAAE,0BAA0B,CAAC;IAC9C,UAAU,EAAE,2BAA2B,GAAG,IAAI,CAAC;IAC/C,iBAAiB,EAAE,0BAA0B,GAAG,IAAI,CAAC;IACrD,QAAQ,EAAE,aAAa,EAAE,CAAC;IAC1B,sBAAsB,EAAE,MAAM,CAAC;CAChC,CAAC,CAyED"}

package/dist/domains/comet-native/native-resume-view.js

@@ -0,0 +1,105 @@
+import path from 'path';
+import { inspectNativeCheckpointFreshness, NATIVE_CHECKPOINT_LIMITS, readNativeCheckpointJournal, nativeCheckpointJournalFile, } from './native-checkpoint-storage.js';
+import { nativeChangeDir } from './native-change.js';
+const COMPACT_TEXT_BUDGET = 240;
+const COMPACT_REASON_CODE_BUDGET = 8;
+export const NATIVE_INSPECTION_REASON_DETAIL_BUDGET = 50;
+function compactText(value) {
+    const characters = Array.from(value);
+    return characters.length <= COMPACT_TEXT_BUDGET
+        ? value
+        : `${characters.slice(0, COMPACT_TEXT_BUDGET - 1).join('')}…`;
+}
+function reasonCode(reason) {
+    const separator = reason.indexOf(':');
+    return separator < 0 ? reason : reason.slice(0, separator);
+}
+function inspectionViews(reasons) {
+    const codes = [...new Set(reasons.map(reasonCode))];
+    const inspection = {
+        freshness: reasons.length === 0 || (reasons.length === 1 && reasons[0] === 'no-checkpoint')
+            ? 'fresh'
+            : 'stale',
+        codes: codes.slice(0, COMPACT_REASON_CODE_BUDGET),
+        reasonCount: reasons.length,
+        codesTruncated: codes.length > COMPACT_REASON_CODE_BUDGET,
+    };
+    return {
+        inspection,
+        inspectionDetails: {
+            ...inspection,
+            reasons: reasons.slice(0, NATIVE_INSPECTION_REASON_DETAIL_BUDGET),
+            reasonsTruncated: reasons.length > NATIVE_INSPECTION_REASON_DETAIL_BUDGET,
+        },
+    };
+}
+export async function buildNativeResumeView(options) {
+    let pendingFinding = null;
+    try {
+        const pending = await readNativeCheckpointJournal(options.paths, options.state.name);
+        if (pending) {
+            pendingFinding = {
+                code: 'checkpoint-progress-incomplete',
+                message: `Native progress checkpoint ${pending.id} requires deterministic recovery`,
+                path: nativeCheckpointJournalFile(options.paths, options.state.name),
+            };
+        }
+    }
+    catch (error) {
+        pendingFinding = {
+            code: 'checkpoint-progress-invalid',
+            message: `Native progress checkpoint journal is invalid: ${error.message}. Automatic repair is unavailable; inspect and move the invalid checkpoint journal aside before retrying`,
+            path: nativeCheckpointJournalFile(options.paths, options.state.name),
+        };
+    }
+    const inspected = await inspectNativeCheckpointFreshness({
+        paths: options.paths,
+        name: options.state.name,
+        stateRevision: options.state.revision,
+    });
+    const allReasons = pendingFinding
+        ? [pendingFinding.code, ...inspected.reasons]
+        : inspected.reasons;
+    const views = inspectionViews(allReasons);
+    if (!inspected.checkpoint) {
+        return {
+            inspection: views.inspection,
+            inspectionDetails: views.inspectionDetails,
+            checkpoint: null,
+            checkpointDetails: null,
+            findings: pendingFinding ? [pendingFinding, ...inspected.findings] : inspected.findings,
+            maxCheckpointArtifacts: NATIVE_CHECKPOINT_LIMITS.maxArtifacts,
+        };
+    }
+    const compact = {
+        id: inspected.checkpoint.id,
+        createdAt: inspected.checkpoint.createdAt,
+        phase: inspected.checkpoint.phase,
+        stateRevision: inspected.checkpoint.stateRevision,
+        summary: compactText(inspected.checkpoint.summary),
+        nextAction: compactText(inspected.checkpoint.nextAction),
+        artifactCount: inspected.checkpoint.artifactCount,
+    };
+    const details = inspected.manifest
+        ? {
+            ...compact,
+            summary: inspected.checkpoint.summary,
+            nextAction: inspected.checkpoint.nextAction,
+            manifestHash: inspected.checkpoint.manifestHash,
+            manifestRef: path
+                .relative(options.paths.projectRoot, path.join(nativeChangeDir(options.paths, options.state.name), ...inspected.checkpoint.manifestRef.split('/')))
+                .replaceAll('\\', '/'),
+            artifacts: inspected.manifest.artifacts,
+            totalBytes: inspected.manifest.totalBytes,
+        }
+        : null;
+    return {
+        inspection: views.inspection,
+        inspectionDetails: views.inspectionDetails,
+        checkpoint: compact,
+        checkpointDetails: details,
+        findings: pendingFinding ? [pendingFinding, ...inspected.findings] : inspected.findings,
+        maxCheckpointArtifacts: NATIVE_CHECKPOINT_LIMITS.maxArtifacts,
+    };
+}
+//# sourceMappingURL=native-resume-view.js.map

package/dist/domains/comet-native/native-resume-view.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"native-resume-view.js","sourceRoot":"","sources":["../../../domains/comet-native/native-resume-view.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,MAAM,MAAM,CAAC;AAExB,OAAO,EACL,gCAAgC,EAChC,wBAAwB,EACxB,2BAA2B,EAC3B,2BAA2B,GAC5B,MAAM,gCAAgC,CAAC;AACxC,OAAO,EAAE,eAAe,EAAE,MAAM,oBAAoB,CAAC;AAWrD,MAAM,mBAAmB,GAAG,GAAG,CAAC;AAChC,MAAM,0BAA0B,GAAG,CAAC,CAAC;AACrC,MAAM,CAAC,MAAM,sCAAsC,GAAG,EAAE,CAAC;AAEzD,SAAS,WAAW,CAAC,KAAa;IAChC,MAAM,UAAU,GAAG,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACrC,OAAO,UAAU,CAAC,MAAM,IAAI,mBAAmB;QAC7C,CAAC,CAAC,KAAK;QACP,CAAC,CAAC,GAAG,UAAU,CAAC,KAAK,CAAC,CAAC,EAAE,mBAAmB,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,GAAG,CAAC;AAClE,CAAC;AAED,SAAS,UAAU,CAAC,MAAc;IAChC,MAAM,SAAS,GAAG,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;IACtC,OAAO,SAAS,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC;AAC7D,CAAC;AAED,SAAS,eAAe,CAAC,OAA0B;IAIjD,MAAM,KAAK,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;IACpD,MAAM,UAAU,GAAyB;QACvC,SAAS,EACP,OAAO,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,IAAI,OAAO,CAAC,CAAC,CAAC,KAAK,eAAe,CAAC;YAC9E,CAAC,CAAC,OAAO;YACT,CAAC,CAAC,OAAO;QACb,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,0BAA0B,CAAC;QACjD,WAAW,EAAE,OAAO,CAAC,MAAM;QAC3B,cAAc,EAAE,KAAK,CAAC,MAAM,GAAG,0BAA0B;KAC1D,CAAC;IACF,OAAO;QACL,UAAU;QACV,iBAAiB,EAAE;YACjB,GAAG,UAAU;YACb,OAAO,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,sCAAsC,CAAC;YACjE,gBAAgB,EAAE,OAAO,CAAC,MAAM,GAAG,sCAAsC;SAC1E;KACF,CAAC;AACJ,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,qBAAqB,CAAC,OAG3C;IAQC,IAAI,cAAc,GAAyB,IAAI,CAAC;IAChD,IAAI,CAAC;QACH,MAAM,OAAO,GAAG,MAAM,2BAA2B,CAAC,OAAO,CAAC,KAAK,EAAE,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QACrF,IAAI,OAAO,EAAE,CAAC;YACZ,cAAc,GAAG;gBACf,IAAI,EAAE,gCAAgC;gBACtC,OAAO,EAAE,8BAA8B,OAAO,CAAC,EAAE,kCAAkC;gBACnF,IAAI,EAAE,2BAA2B,CAAC,OAAO,CAAC,KAAK,EAAE,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC;aACrE,CAAC;QACJ,CAAC;IACH,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,cAAc,GAAG;YACf,IAAI,EAAE,6BAA6B;YACnC,OAAO,EAAE,kDAAmD,KAAe,CAAC,OAAO,0GAA0G;YAC7L,IAAI,EAAE,2BAA2B,CAAC,OAAO,CAAC,KAAK,EAAE,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC;SACrE,CAAC;IACJ,CAAC;IACD,MAAM,SAAS,GAAG,MAAM,gCAAgC,CAAC;QACvD,KAAK,EAAE,OAAO,CAAC,KAAK;QACpB,IAAI,EAAE,OAAO,CAAC,KAAK,CAAC,IAAI;QACxB,aAAa,EAAE,OAAO,CAAC,KAAK,CAAC,QAAQ;KACtC,CAAC,CAAC;IACH,MAAM,UAAU,GAAG,cAAc;QAC/B,CAAC,CAAC,CAAC,cAAc,CAAC,IAAI,EAAE,GAAG,SAAS,CAAC,OAAO,CAAC;QAC7C,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC;IACtB,MAAM,KAAK,GAAG,eAAe,CAAC,UAAU,CAAC,CAAC;IAC1C,IAAI,CAAC,SAAS,CAAC,UAAU,EAAE,CAAC;QAC1B,OAAO;YACL,UAAU,EAAE,KAAK,CAAC,UAAU;YAC5B,iBAAiB,EAAE,KAAK,CAAC,iBAAiB;YAC1C,UAAU,EAAE,IAAI;YAChB,iBAAiB,EAAE,IAAI;YACvB,QAAQ,EAAE,cAAc,CAAC,CAAC,CAAC,CAAC,cAAc,EAAE,GAAG,SAAS,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,QAAQ;YACvF,sBAAsB,EAAE,wBAAwB,CAAC,YAAY;SAC9D,CAAC;IACJ,CAAC;IACD,MAAM,OAAO,GAAgC;QAC3C,EAAE,EAAE,SAAS,CAAC,UAAU,CAAC,EAAE;QAC3B,SAAS,EAAE,SAAS,CAAC,UAAU,CAAC,SAAS;QACzC,KAAK,EAAE,SAAS,CAAC,UAAU,CAAC,KAAK;QACjC,aAAa,EAAE,SAAS,CAAC,UAAU,CAAC,aAAa;QACjD,OAAO,EAAE,WAAW,CAAC,SAAS,CAAC,UAAU,CAAC,OAAO,CAAC;QAClD,UAAU,EAAE,WAAW,CAAC,SAAS,CAAC,UAAU,CAAC,UAAU,CAAC;QACxD,aAAa,EAAE,SAAS,CAAC,UAAU,CAAC,aAAa;KAClD,CAAC;IACF,MAAM,OAAO,GAAsC,SAAS,CAAC,QAAQ;QACnE,CAAC,CAAC;YACE,GAAG,OAAO;YACV,OAAO,EAAE,SAAS,CAAC,UAAU,CAAC,OAAO;YACrC,UAAU,EAAE,SAAS,CAAC,UAAU,CAAC,UAAU;YAC3C,YAAY,EAAE,SAAS,CAAC,UAAU,CAAC,YAAY;YAC/C,WAAW,EAAE,IAAI;iBACd,QAAQ,CACP,OAAO,CAAC,KAAK,CAAC,WAAW,EACzB,IAAI,CAAC,IAAI,CACP,eAAe,CAAC,OAAO,CAAC,KAAK,EAAE,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,EAClD,GAAG,SAAS,CAAC,UAAU,CAAC,WAAW,CAAC,KAAK,CAAC,GAAG,CAAC,CAC/C,CACF;iBACA,UAAU,CAAC,IAAI,EAAE,GAAG,CAAC;YACxB,SAAS,EAAE,SAAS,CAAC,QAAQ,CAAC,SAAS;YACvC,UAAU,EAAE,SAAS,CAAC,QAAQ,CAAC,UAAU;SAC1C;QACH,CAAC,CAAC,IAAI,CAAC;IACT,OAAO;QACL,UAAU,EAAE,KAAK,CAAC,UAAU;QAC5B,iBAAiB,EAAE,KAAK,CAAC,iBAAiB;QAC1C,UAAU,EAAE,OAAO;QACnB,iBAAiB,EAAE,OAAO;QAC1B,QAAQ,EAAE,cAAc,CAAC,CAAC,CAAC,CAAC,cAAc,EAAE,GAAG,SAAS,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,QAAQ;QACvF,sBAAsB,EAAE,wBAAwB,CAAC,YAAY;KAC9D,CAAC;AACJ,CAAC"}

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

@@ -0,0 +1,20 @@
+export interface NativeRevisionedDocument {
+    revision: number;
+}
+export interface NativeRevisionCasOptions<T extends NativeRevisionedDocument> {
+    expectedRevision: number;
+    next: T;
+    read: () => Promise<T>;
+    write: (next: T) => Promise<void>;
+    equals?: (left: T, right: T) => boolean;
+    conflict: (actualRevision: number) => Error;
+}
+/**
+ * Shared revision/CAS protocol for Native runtime documents.
+ *
+ * The caller owns the mutation or transaction lock around this operation. The
+ * idempotent branch lets journal recovery safely replay a write that reached
+ * disk before the process stopped.
+ */
+export declare function compareAndSwapNativeRevision<T extends NativeRevisionedDocument>(options: NativeRevisionCasOptions<T>): Promise<T>;
+//# sourceMappingURL=native-revision.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"native-revision.d.ts","sourceRoot":"","sources":["../../../domains/comet-native/native-revision.ts"],"names":[],"mappings":"AAAA,MAAM,WAAW,wBAAwB;IACvC,QAAQ,EAAE,MAAM,CAAC;CAClB;AAED,MAAM,WAAW,wBAAwB,CAAC,CAAC,SAAS,wBAAwB;IAC1E,gBAAgB,EAAE,MAAM,CAAC;IACzB,IAAI,EAAE,CAAC,CAAC;IACR,IAAI,EAAE,MAAM,OAAO,CAAC,CAAC,CAAC,CAAC;IACvB,KAAK,EAAE,CAAC,IAAI,EAAE,CAAC,KAAK,OAAO,CAAC,IAAI,CAAC,CAAC;IAClC,MAAM,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,KAAK,OAAO,CAAC;IACxC,QAAQ,EAAE,CAAC,cAAc,EAAE,MAAM,KAAK,KAAK,CAAC;CAC7C;AAMD;;;;;;GAMG;AACH,wBAAsB,4BAA4B,CAAC,CAAC,SAAS,wBAAwB,EACnF,OAAO,EAAE,wBAAwB,CAAC,CAAC,CAAC,GACnC,OAAO,CAAC,CAAC,CAAC,CAqBZ"}

package/dist/domains/comet-native/native-revision.js

@@ -0,0 +1,32 @@
+function validRevision(value) {
+    return Number.isSafeInteger(value) && value >= 1;
+}
+/**
+ * Shared revision/CAS protocol for Native runtime documents.
+ *
+ * The caller owns the mutation or transaction lock around this operation. The
+ * idempotent branch lets journal recovery safely replay a write that reached
+ * disk before the process stopped.
+ */
+export async function compareAndSwapNativeRevision(options) {
+    if (!validRevision(options.expectedRevision)) {
+        throw new Error('Native expected revision must be a positive integer');
+    }
+    if (options.next.revision !== options.expectedRevision + 1) {
+        throw new Error('Native CAS next revision must increment the expected revision exactly once');
+    }
+    const current = await options.read();
+    if (!validRevision(current.revision)) {
+        throw new Error('Native current revision must be a positive integer');
+    }
+    const equals = options.equals ?? ((left, right) => JSON.stringify(left) === JSON.stringify(right));
+    if (current.revision === options.next.revision && equals(current, options.next)) {
+        return current;
+    }
+    if (current.revision !== options.expectedRevision) {
+        throw options.conflict(current.revision);
+    }
+    await options.write(options.next);
+    return options.next;
+}
+//# sourceMappingURL=native-revision.js.map

package/dist/domains/comet-native/native-revision.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"native-revision.js","sourceRoot":"","sources":["../../../domains/comet-native/native-revision.ts"],"names":[],"mappings":"AAaA,SAAS,aAAa,CAAC,KAAa;IAClC,OAAO,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;AACnD,CAAC;AAED;;;;;;GAMG;AACH,MAAM,CAAC,KAAK,UAAU,4BAA4B,CAChD,OAAoC;IAEpC,IAAI,CAAC,aAAa,CAAC,OAAO,CAAC,gBAAgB,CAAC,EAAE,CAAC;QAC7C,MAAM,IAAI,KAAK,CAAC,qDAAqD,CAAC,CAAC;IACzE,CAAC;IACD,IAAI,OAAO,CAAC,IAAI,CAAC,QAAQ,KAAK,OAAO,CAAC,gBAAgB,GAAG,CAAC,EAAE,CAAC;QAC3D,MAAM,IAAI,KAAK,CAAC,4EAA4E,CAAC,CAAC;IAChG,CAAC;IACD,MAAM,OAAO,GAAG,MAAM,OAAO,CAAC,IAAI,EAAE,CAAC;IACrC,IAAI,CAAC,aAAa,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC;QACrC,MAAM,IAAI,KAAK,CAAC,oDAAoD,CAAC,CAAC;IACxE,CAAC;IACD,MAAM,MAAM,GACV,OAAO,CAAC,MAAM,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC;IACtF,IAAI,OAAO,CAAC,QAAQ,KAAK,OAAO,CAAC,IAAI,CAAC,QAAQ,IAAI,MAAM,CAAC,OAAO,EAAE,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;QAChF,OAAO,OAAO,CAAC;IACjB,CAAC;IACD,IAAI,OAAO,CAAC,QAAQ,KAAK,OAAO,CAAC,gBAAgB,EAAE,CAAC;QAClD,MAAM,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;IAC3C,CAAC;IACD,MAAM,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;IAClC,OAAO,OAAO,CAAC,IAAI,CAAC;AACtB,CAAC"}

package/dist/domains/comet-native/native-root-move.d.ts

@@ -0,0 +1,20 @@
+import type { CometProjectConfig, NativeTransactionHooks } from './native-types.js';
+export declare function moveNativeRoot(options: {
+    projectRoot: string;
+    toArtifactRoot: string;
+    now?: Date;
+    hooks?: NativeTransactionHooks;
+}): Promise<{
+    fromNativeRoot: string;
+    toNativeRoot: string;
+    transactionId: string;
+}>;
+export declare function recoverNativeRootMove(options: {
+    projectRoot: string;
+    strategy: 'continue' | 'rollback';
+    hooks?: NativeTransactionHooks;
+}): Promise<{
+    activeNativeRoot: string;
+    config: CometProjectConfig;
+}>;
+//# sourceMappingURL=native-root-move.d.ts.map

package/dist/domains/comet-native/native-root-move.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"native-root-move.d.ts","sourceRoot":"","sources":["../../../domains/comet-native/native-root-move.ts"],"names":[],"mappings":"AA0BA,OAAO,KAAK,EACV,kBAAkB,EAKlB,sBAAsB,EAEvB,MAAM,mBAAmB,CAAC;AAszB3B,wBAAsB,cAAc,CAAC,OAAO,EAAE;IAC5C,WAAW,EAAE,MAAM,CAAC;IACpB,cAAc,EAAE,MAAM,CAAC;IACvB,GAAG,CAAC,EAAE,IAAI,CAAC;IACX,KAAK,CAAC,EAAE,sBAAsB,CAAC;CAChC,GAAG,OAAO,CAAC;IAAE,cAAc,EAAE,MAAM,CAAC;IAAC,YAAY,EAAE,MAAM,CAAC;IAAC,aAAa,EAAE,MAAM,CAAA;CAAE,CAAC,CA6DnF;AAED,wBAAsB,qBAAqB,CAAC,OAAO,EAAE;IACnD,WAAW,EAAE,MAAM,CAAC;IACpB,QAAQ,EAAE,UAAU,GAAG,UAAU,CAAC;IAClC,KAAK,CAAC,EAAE,sBAAsB,CAAC;CAChC,GAAG,OAAO,CAAC;IAAE,gBAAgB,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,kBAAkB,CAAA;CAAE,CAAC,CA6FpE"}