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

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

@@ -0,0 +1,235 @@
+import { nativeChangeDir } from './native-change.js';
+import { readNativeImplementationScopeBundle, readNativeVerificationEvidence, readNativeVerificationReceipt, } from './native-evidence-storage.js';
+import { acceptLatestNativeRepairOverride, inspectLatestNativeRepairProjection, inspectNativeRepairFailure, nativeRepairScopeHash, rebuildNativeRepairHistory, } from './native-repair-runtime.js';
+import { nativeRepairConsecutiveFailures, normalizeNativeRepairFailureTokens, } from './native-repair-stagnation.js';
+import { readNativeCheckpoint, readNativeRunState, readNativeTrajectory, } from './native-run-store.js';
+import { nativeBlockedCheckId, } from './native-verification-receipt.js';
+import { parseNativeImplementationScopeBundle, } from './native-verification-scope.js';
+function assertRepairableBuildState(state) {
+    if (state.phase !== 'build' ||
+        state.verification_result !== 'fail' ||
+        !state.implementation_scope ||
+        !state.verification_evidence) {
+        throw new Error('Native repair guard requires a failed Verify-to-Build state');
+    }
+}
+/** Read only the checkpoint-committed trajectory prefix used as repair history authority. */
+export async function readNativeCommittedRepairTrajectory(paths, state) {
+    const changeDir = nativeChangeDir(paths, state.name);
+    const run = await readNativeRunState(changeDir);
+    if (!run || !state.run_id || run.runId !== state.run_id) {
+        throw new Error('Native repair history Run state is missing or mismatched');
+    }
+    const checkpoint = await readNativeCheckpoint(changeDir, run.checkpointRef);
+    if (!checkpoint || checkpoint.runId !== run.runId || checkpoint.stateVersion !== run.iteration) {
+        throw new Error('Native repair history checkpoint is missing or mismatched');
+    }
+    return {
+        trajectory: await readNativeTrajectory(changeDir, run.trajectoryRef),
+        committedTrajectoryOffset: checkpoint.trajectoryOffset,
+        runId: run.runId,
+    };
+}
+export async function inspectNativeRepairHistory(paths, state) {
+    const committed = await readNativeCommittedRepairTrajectory(paths, state);
+    return {
+        committed,
+        latest: inspectLatestNativeRepairProjection(committed),
+        history: rebuildNativeRepairHistory(committed),
+    };
+}
+function decisionFromInspection(inspection, maxVerifyFailures) {
+    const latest = inspection.latest;
+    if (!latest)
+        return null;
+    const failures = inspection.history.filter((entry) => entry.kind === 'failure');
+    const consecutiveFailures = failures.length === 0
+        ? 0
+        : nativeRepairConsecutiveFailures({
+            signatureHash: latest.signatureHash,
+            ...(latest.contractHash === null
+                ? {}
+                : {
+                    failedAcceptanceIds: latest.failedAcceptanceIds,
+                    failedCheckIds: latest.failedCheckIds,
+                }),
+        }, failures.slice(0, -1));
+    const overrideAccepted = latest.overrideSummaryHash !== null;
+    const overrideAlreadyUsed = inspection.history.some((entry) => entry.kind === 'override' && entry.signatureHash === latest.signatureHash);
+    const hardStop = failures.length >= maxVerifyFailures;
+    const effectiveDisposition = latest.disposition === 'hard-stop' && !hardStop ? 'continue' : latest.disposition;
+    return {
+        disposition: hardStop ? 'hard-stop' : effectiveDisposition,
+        reasonCode: overrideAccepted
+            ? 'override-accepted'
+            : overrideAlreadyUsed && latest.disposition === 'manual-stop'
+                ? 'override-already-used'
+                : hardStop
+                    ? 'repair-iteration-limit'
+                    : latest.disposition === 'manual-stop'
+                        ? 'repeated-failure-stop'
+                        : latest.disposition === 'warn'
+                            ? 'repeated-failure-warning'
+                            : 'new-failure-signature',
+        signatureHash: latest.signatureHash,
+        consecutiveFailures,
+        totalRepairFailures: failures.length,
+        remainingIterations: Math.max(0, maxVerifyFailures - failures.length),
+        overrideAccepted,
+    };
+}
+export async function inspectLatestNativeRepairDecision(paths, state, maxVerifyFailures) {
+    return decisionFromInspection(await inspectNativeRepairHistory(paths, state), maxVerifyFailures);
+}
+export function projectNativeRepairDecision(result) {
+    return {
+        disposition: result.decision.disposition,
+        reasonCode: result.decision.reasonCode,
+        signatureHash: result.decision.signature.signatureHash,
+        consecutiveFailures: result.decision.consecutiveFailures,
+        totalRepairFailures: result.decision.totalRepairFailures,
+        remainingIterations: result.decision.remainingIterations,
+        overrideAccepted: result.decision.overrideAccepted,
+    };
+}
+export function nativeRepairFailedCheckIdsFromReceipts(receipts, supplied = []) {
+    return normalizeNativeRepairFailureTokens({
+        failedCheckIds: [
+            ...supplied,
+            ...receipts
+                .filter((receipt) => receipt.role === 'required-check' && receipt.status !== 'passed')
+                .map((receipt) => nativeBlockedCheckId(receipt)),
+        ],
+    }).failedCheckIds;
+}
+export async function inspectNativeRepairFailureForTransition(options) {
+    if (!options.state.implementation_scope) {
+        throw new Error('Native repair failure has no implementation scope');
+    }
+    const [committed, implementationScope, requiredReceipts] = await Promise.all([
+        readNativeCommittedRepairTrajectory(options.paths, options.state),
+        readNativeImplementationScopeBundle(options.paths, options.state.name, options.state.implementation_scope),
+        Promise.all(options.envelope.requiredReceiptRefs.map((ref) => readNativeVerificationReceipt(options.paths, options.state.name, ref))),
+    ]);
+    const failedCheckIds = nativeRepairFailedCheckIdsFromReceipts(requiredReceipts, options.failedCheckIds);
+    return inspectNativeRepairFailure({
+        ...committed,
+        envelope: options.envelope,
+        implementationScope,
+        maxVerifyFailures: options.maxVerifyFailures,
+        ...(options.categories ? { categories: options.categories } : {}),
+        ...(failedCheckIds.length > 0 ? { failedCheckIds } : {}),
+    });
+}
+/** Decide whether a stopped repair may leave Build, without trusting caller-supplied history. */
+export async function inspectNativeRepairBuildGuard(options) {
+    const inspection = await inspectNativeRepairHistory(options.paths, options.state);
+    const latest = inspection.latest;
+    const currentContractHash = parseNativeImplementationScopeBundle(options.currentImplementationScope).scope.contractHash;
+    if (latest?.contractHash !== null && latest?.contractHash !== currentContractHash) {
+        if (options.override) {
+            throw new Error('Native repair override cannot cross a confirmed contract change');
+        }
+        return { disposition: 'proceed', eventProjection: null };
+    }
+    const totalFailures = inspection.history.filter((entry) => entry.kind === 'failure').length;
+    if (latest && totalFailures >= options.maxVerifyFailures) {
+        if (options.override) {
+            throw new Error('Native repair hard stop cannot be overridden');
+        }
+        return {
+            disposition: 'hard-stop',
+            signatureHash: latest.signatureHash,
+            overrideRecorded: inspection.history.some((entry) => entry.kind === 'override' && entry.signatureHash === latest.signatureHash),
+        };
+    }
+    const effectiveDisposition = latest?.disposition === 'hard-stop' && totalFailures < options.maxVerifyFailures
+        ? 'continue'
+        : latest?.disposition;
+    if (!latest || (effectiveDisposition !== 'manual-stop' && effectiveDisposition !== 'hard-stop')) {
+        if (options.override) {
+            throw new Error('Native repair override requires the latest manual stop');
+        }
+        return { disposition: 'proceed', eventProjection: null };
+    }
+    const overrideRecorded = inspection.history.some((entry) => entry.kind === 'override' && entry.signatureHash === latest.signatureHash);
+    const activeFailedRepair = options.state.phase === 'build' &&
+        options.state.verification_result === 'fail' &&
+        options.state.implementation_scope !== null &&
+        options.state.verification_evidence !== null;
+    if (!activeFailedRepair) {
+        if (options.override) {
+            throw new Error('Native repair override requires an active failed Verify-to-Build state');
+        }
+        return { disposition: 'proceed', eventProjection: null };
+    }
+    assertRepairableBuildState(options.state);
+    const [previousEnvelope, previousImplementationScope] = await Promise.all([
+        readNativeVerificationEvidence(options.paths, options.state.name, options.state.verification_evidence),
+        readNativeImplementationScopeBundle(options.paths, options.state.name, options.state.implementation_scope),
+    ]);
+    if (previousImplementationScope.scope.scopeHash !== previousEnvelope.implementationScopeHash) {
+        throw new Error('Native repair verification evidence does not match its implementation scope');
+    }
+    if (latest.contractHash === null &&
+        nativeRepairScopeHash(options.currentImplementationScope) !==
+            nativeRepairScopeHash(previousImplementationScope)) {
+        if (options.override) {
+            throw new Error('Native repair override is not valid after implementation scope progress');
+        }
+        return { disposition: 'proceed', eventProjection: null };
+    }
+    if (latest.disposition === 'hard-stop') {
+        if (options.override) {
+            throw new Error('Native repair hard stop cannot be overridden without implementation progress');
+        }
+        return {
+            disposition: 'hard-stop',
+            signatureHash: latest.signatureHash,
+            overrideRecorded,
+        };
+    }
+    if (overrideRecorded) {
+        return {
+            disposition: 'hard-stop',
+            signatureHash: latest.signatureHash,
+            overrideRecorded,
+        };
+    }
+    if (!options.override) {
+        return {
+            disposition: 'manual-stop',
+            signatureHash: latest.signatureHash,
+            overrideRecorded: false,
+        };
+    }
+    return {
+        disposition: 'proceed',
+        eventProjection: acceptLatestNativeRepairOverride({
+            ...inspection.committed,
+            override: options.override,
+        }).eventProjection,
+    };
+}
+export async function inspectNativeRepairStatus(paths, state, maxVerifyFailures) {
+    if (state.phase !== 'build' || state.verification_result !== 'fail')
+        return null;
+    const inspection = await inspectNativeRepairHistory(paths, state);
+    const latest = inspection.latest;
+    if (!latest)
+        return null;
+    const failures = inspection.history.filter((entry) => entry.kind === 'failure');
+    const hardStop = failures.length >= maxVerifyFailures;
+    const effectiveDisposition = latest.disposition === 'hard-stop' && !hardStop ? 'continue' : latest.disposition;
+    return {
+        disposition: hardStop ? 'hard-stop' : effectiveDisposition,
+        signatureHash: latest.signatureHash,
+        overrideRecorded: inspection.history.some((entry) => entry.kind === 'override' && entry.signatureHash === latest.signatureHash),
+        failedAcceptanceIds: [...latest.failedAcceptanceIds],
+        failedCheckIds: [...latest.failedCheckIds],
+        totalVerifyFailures: failures.length,
+        maxVerifyFailures,
+        remainingVerifyFailures: Math.max(0, maxVerifyFailures - failures.length),
+    };
+}
+//# sourceMappingURL=native-repair-integration.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"native-repair-integration.js","sourceRoot":"","sources":["../../../domains/comet-native/native-repair-integration.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,eAAe,EAAE,MAAM,oBAAoB,CAAC;AACrD,OAAO,EACL,mCAAmC,EACnC,8BAA8B,EAC9B,6BAA6B,GAC9B,MAAM,8BAA8B,CAAC;AACtC,OAAO,EACL,gCAAgC,EAChC,mCAAmC,EACnC,0BAA0B,EAC1B,qBAAqB,EACrB,0BAA0B,GAI3B,MAAM,4BAA4B,CAAC;AACpC,OAAO,EACL,+BAA+B,EAC/B,kCAAkC,GAEnC,MAAM,+BAA+B,CAAC;AACvC,OAAO,EACL,oBAAoB,EACpB,kBAAkB,EAClB,oBAAoB,GACrB,MAAM,uBAAuB,CAAC;AAQ/B,OAAO,EACL,oBAAoB,GAErB,MAAM,kCAAkC,CAAC;AAC1C,OAAO,EACL,oCAAoC,GAErC,MAAM,gCAAgC,CAAC;AAgBxC,SAAS,0BAA0B,CAAC,KAAwB;IAC1D,IACE,KAAK,CAAC,KAAK,KAAK,OAAO;QACvB,KAAK,CAAC,mBAAmB,KAAK,MAAM;QACpC,CAAC,KAAK,CAAC,oBAAoB;QAC3B,CAAC,KAAK,CAAC,qBAAqB,EAC5B,CAAC;QACD,MAAM,IAAI,KAAK,CAAC,6DAA6D,CAAC,CAAC;IACjF,CAAC;AACH,CAAC;AAED,6FAA6F;AAC7F,MAAM,CAAC,KAAK,UAAU,mCAAmC,CACvD,KAAyB,EACzB,KAAwB;IAExB,MAAM,SAAS,GAAG,eAAe,CAAC,KAAK,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;IACrD,MAAM,GAAG,GAAG,MAAM,kBAAkB,CAAC,SAAS,CAAC,CAAC;IAChD,IAAI,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,IAAI,GAAG,CAAC,KAAK,KAAK,KAAK,CAAC,MAAM,EAAE,CAAC;QACxD,MAAM,IAAI,KAAK,CAAC,0DAA0D,CAAC,CAAC;IAC9E,CAAC;IACD,MAAM,UAAU,GAAG,MAAM,oBAAoB,CAAC,SAAS,EAAE,GAAG,CAAC,aAAa,CAAC,CAAC;IAC5E,IAAI,CAAC,UAAU,IAAI,UAAU,CAAC,KAAK,KAAK,GAAG,CAAC,KAAK,IAAI,UAAU,CAAC,YAAY,KAAK,GAAG,CAAC,SAAS,EAAE,CAAC;QAC/F,MAAM,IAAI,KAAK,CAAC,2DAA2D,CAAC,CAAC;IAC/E,CAAC;IACD,OAAO;QACL,UAAU,EAAE,MAAM,oBAAoB,CAAC,SAAS,EAAE,GAAG,CAAC,aAAa,CAAC;QACpE,yBAAyB,EAAE,UAAU,CAAC,gBAAgB;QACtD,KAAK,EAAE,GAAG,CAAC,KAAK;KACjB,CAAC;AACJ,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,0BAA0B,CAC9C,KAAyB,EACzB,KAAwB;IAExB,MAAM,SAAS,GAAG,MAAM,mCAAmC,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IAC1E,OAAO;QACL,SAAS;QACT,MAAM,EAAE,mCAAmC,CAAC,SAAS,CAAC;QACtD,OAAO,EAAE,0BAA0B,CAAC,SAAS,CAAC;KAC/C,CAAC;AACJ,CAAC;AAED,SAAS,sBAAsB,CAC7B,UAAyC,EACzC,iBAAyB;IAEzB,MAAM,MAAM,GAAG,UAAU,CAAC,MAAM,CAAC;IACjC,IAAI,CAAC,MAAM;QAAE,OAAO,IAAI,CAAC;IACzB,MAAM,QAAQ,GAAG,UAAU,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC;IAChF,MAAM,mBAAmB,GACvB,QAAQ,CAAC,MAAM,KAAK,CAAC;QACnB,CAAC,CAAC,CAAC;QACH,CAAC,CAAC,+BAA+B,CAC7B;YACE,aAAa,EAAE,MAAM,CAAC,aAAa;YACnC,GAAG,CAAC,MAAM,CAAC,YAAY,KAAK,IAAI;gBAC9B,CAAC,CAAC,EAAE;gBACJ,CAAC,CAAC;oBACE,mBAAmB,EAAE,MAAM,CAAC,mBAAmB;oBAC/C,cAAc,EAAE,MAAM,CAAC,cAAc;iBACtC,CAAC;SACP,EACD,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CACtB,CAAC;IACR,MAAM,gBAAgB,GAAG,MAAM,CAAC,mBAAmB,KAAK,IAAI,CAAC;IAC7D,MAAM,mBAAmB,GAAG,UAAU,CAAC,OAAO,CAAC,IAAI,CACjD,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,UAAU,IAAI,KAAK,CAAC,aAAa,KAAK,MAAM,CAAC,aAAa,CACrF,CAAC;IACF,MAAM,QAAQ,GAAG,QAAQ,CAAC,MAAM,IAAI,iBAAiB,CAAC;IACtD,MAAM,oBAAoB,GACxB,MAAM,CAAC,WAAW,KAAK,WAAW,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,MAAM,CAAC,WAAW,CAAC;IACpF,OAAO;QACL,WAAW,EAAE,QAAQ,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,oBAAoB;QAC1D,UAAU,EAAE,gBAAgB;YAC1B,CAAC,CAAC,mBAAmB;YACrB,CAAC,CAAC,mBAAmB,IAAI,MAAM,CAAC,WAAW,KAAK,aAAa;gBAC3D,CAAC,CAAC,uBAAuB;gBACzB,CAAC,CAAC,QAAQ;oBACR,CAAC,CAAC,wBAAwB;oBAC1B,CAAC,CAAC,MAAM,CAAC,WAAW,KAAK,aAAa;wBACpC,CAAC,CAAC,uBAAuB;wBACzB,CAAC,CAAC,MAAM,CAAC,WAAW,KAAK,MAAM;4BAC7B,CAAC,CAAC,0BAA0B;4BAC5B,CAAC,CAAC,uBAAuB;QACnC,aAAa,EAAE,MAAM,CAAC,aAAa;QACnC,mBAAmB;QACnB,mBAAmB,EAAE,QAAQ,CAAC,MAAM;QACpC,mBAAmB,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,iBAAiB,GAAG,QAAQ,CAAC,MAAM,CAAC;QACrE,gBAAgB;KACjB,CAAC;AACJ,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,iCAAiC,CACrD,KAAyB,EACzB,KAAwB,EACxB,iBAAyB;IAEzB,OAAO,sBAAsB,CAAC,MAAM,0BAA0B,CAAC,KAAK,EAAE,KAAK,CAAC,EAAE,iBAAiB,CAAC,CAAC;AACnG,CAAC;AAED,MAAM,UAAU,2BAA2B,CACzC,MAAiC;IAEjC,OAAO;QACL,WAAW,EAAE,MAAM,CAAC,QAAQ,CAAC,WAAW;QACxC,UAAU,EAAE,MAAM,CAAC,QAAQ,CAAC,UAAU;QACtC,aAAa,EAAE,MAAM,CAAC,QAAQ,CAAC,SAAS,CAAC,aAAa;QACtD,mBAAmB,EAAE,MAAM,CAAC,QAAQ,CAAC,mBAAmB;QACxD,mBAAmB,EAAE,MAAM,CAAC,QAAQ,CAAC,mBAAmB;QACxD,mBAAmB,EAAE,MAAM,CAAC,QAAQ,CAAC,mBAAmB;QACxD,gBAAgB,EAAE,MAAM,CAAC,QAAQ,CAAC,gBAAgB;KACnD,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,sCAAsC,CACpD,QAA8C,EAC9C,WAA8B,EAAE;IAEhC,OAAO,kCAAkC,CAAC;QACxC,cAAc,EAAE;YACd,GAAG,QAAQ;YACX,GAAG,QAAQ;iBACR,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,KAAK,gBAAgB,IAAI,OAAO,CAAC,MAAM,KAAK,QAAQ,CAAC;iBACrF,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,oBAAoB,CAAC,OAAO,CAAC,CAAC;SACnD;KACF,CAAC,CAAC,cAAc,CAAC;AACpB,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,uCAAuC,CAAC,OAO7D;IACC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,oBAAoB,EAAE,CAAC;QACxC,MAAM,IAAI,KAAK,CAAC,mDAAmD,CAAC,CAAC;IACvE,CAAC;IACD,MAAM,CAAC,SAAS,EAAE,mBAAmB,EAAE,gBAAgB,CAAC,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC;QAC3E,mCAAmC,CAAC,OAAO,CAAC,KAAK,EAAE,OAAO,CAAC,KAAK,CAAC;QACjE,mCAAmC,CACjC,OAAO,CAAC,KAAK,EACb,OAAO,CAAC,KAAK,CAAC,IAAI,EAClB,OAAO,CAAC,KAAK,CAAC,oBAAoB,CACnC;QACD,OAAO,CAAC,GAAG,CACT,OAAO,CAAC,QAAQ,CAAC,mBAAmB,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAC/C,6BAA6B,CAAC,OAAO,CAAC,KAAK,EAAE,OAAO,CAAC,KAAK,CAAC,IAAI,EAAE,GAAG,CAAC,CACtE,CACF;KACF,CAAC,CAAC;IACH,MAAM,cAAc,GAAG,sCAAsC,CAC3D,gBAAgB,EAChB,OAAO,CAAC,cAAc,CACvB,CAAC;IACF,OAAO,0BAA0B,CAAC;QAChC,GAAG,SAAS;QACZ,QAAQ,EAAE,OAAO,CAAC,QAAQ;QAC1B,mBAAmB;QACnB,iBAAiB,EAAE,OAAO,CAAC,iBAAiB;QAC5C,GAAG,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,OAAO,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACjE,GAAG,CAAC,cAAc,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,cAAc,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KACzD,CAAC,CAAC;AACL,CAAC;AAED,iGAAiG;AACjG,MAAM,CAAC,KAAK,UAAU,6BAA6B,CAAC,OAMnD;IACC,MAAM,UAAU,GAAG,MAAM,0BAA0B,CAAC,OAAO,CAAC,KAAK,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC;IAClF,MAAM,MAAM,GAAG,UAAU,CAAC,MAAM,CAAC;IACjC,MAAM,mBAAmB,GAAG,oCAAoC,CAC9D,OAAO,CAAC,0BAA0B,CACnC,CAAC,KAAK,CAAC,YAAY,CAAC;IACrB,IAAI,MAAM,EAAE,YAAY,KAAK,IAAI,IAAI,MAAM,EAAE,YAAY,KAAK,mBAAmB,EAAE,CAAC;QAClF,IAAI,OAAO,CAAC,QAAQ,EAAE,CAAC;YACrB,MAAM,IAAI,KAAK,CAAC,iEAAiE,CAAC,CAAC;QACrF,CAAC;QACD,OAAO,EAAE,WAAW,EAAE,SAAS,EAAE,eAAe,EAAE,IAAI,EAAE,CAAC;IAC3D,CAAC;IACD,MAAM,aAAa,GAAG,UAAU,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,MAAM,CAAC;IAC5F,IAAI,MAAM,IAAI,aAAa,IAAI,OAAO,CAAC,iBAAiB,EAAE,CAAC;QACzD,IAAI,OAAO,CAAC,QAAQ,EAAE,CAAC;YACrB,MAAM,IAAI,KAAK,CAAC,8CAA8C,CAAC,CAAC;QAClE,CAAC;QACD,OAAO;YACL,WAAW,EAAE,WAAW;YACxB,aAAa,EAAE,MAAM,CAAC,aAAa;YACnC,gBAAgB,EAAE,UAAU,CAAC,OAAO,CAAC,IAAI,CACvC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,UAAU,IAAI,KAAK,CAAC,aAAa,KAAK,MAAM,CAAC,aAAa,CACrF;SACF,CAAC;IACJ,CAAC;IACD,MAAM,oBAAoB,GACxB,MAAM,EAAE,WAAW,KAAK,WAAW,IAAI,aAAa,GAAG,OAAO,CAAC,iBAAiB;QAC9E,CAAC,CAAC,UAAU;QACZ,CAAC,CAAC,MAAM,EAAE,WAAW,CAAC;IAC1B,IAAI,CAAC,MAAM,IAAI,CAAC,oBAAoB,KAAK,aAAa,IAAI,oBAAoB,KAAK,WAAW,CAAC,EAAE,CAAC;QAChG,IAAI,OAAO,CAAC,QAAQ,EAAE,CAAC;YACrB,MAAM,IAAI,KAAK,CAAC,wDAAwD,CAAC,CAAC;QAC5E,CAAC;QACD,OAAO,EAAE,WAAW,EAAE,SAAS,EAAE,eAAe,EAAE,IAAI,EAAE,CAAC;IAC3D,CAAC;IAED,MAAM,gBAAgB,GAAG,UAAU,CAAC,OAAO,CAAC,IAAI,CAC9C,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,UAAU,IAAI,KAAK,CAAC,aAAa,KAAK,MAAM,CAAC,aAAa,CACrF,CAAC;IACF,MAAM,kBAAkB,GACtB,OAAO,CAAC,KAAK,CAAC,KAAK,KAAK,OAAO;QAC/B,OAAO,CAAC,KAAK,CAAC,mBAAmB,KAAK,MAAM;QAC5C,OAAO,CAAC,KAAK,CAAC,oBAAoB,KAAK,IAAI;QAC3C,OAAO,CAAC,KAAK,CAAC,qBAAqB,KAAK,IAAI,CAAC;IAC/C,IAAI,CAAC,kBAAkB,EAAE,CAAC;QACxB,IAAI,OAAO,CAAC,QAAQ,EAAE,CAAC;YACrB,MAAM,IAAI,KAAK,CAAC,wEAAwE,CAAC,CAAC;QAC5F,CAAC;QACD,OAAO,EAAE,WAAW,EAAE,SAAS,EAAE,eAAe,EAAE,IAAI,EAAE,CAAC;IAC3D,CAAC;IACD,0BAA0B,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;IAC1C,MAAM,CAAC,gBAAgB,EAAE,2BAA2B,CAAC,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC;QACxE,8BAA8B,CAC5B,OAAO,CAAC,KAAK,EACb,OAAO,CAAC,KAAK,CAAC,IAAI,EAClB,OAAO,CAAC,KAAK,CAAC,qBAAsB,CACrC;QACD,mCAAmC,CACjC,OAAO,CAAC,KAAK,EACb,OAAO,CAAC,KAAK,CAAC,IAAI,EAClB,OAAO,CAAC,KAAK,CAAC,oBAAqB,CACpC;KACF,CAAC,CAAC;IACH,IAAI,2BAA2B,CAAC,KAAK,CAAC,SAAS,KAAK,gBAAgB,CAAC,uBAAuB,EAAE,CAAC;QAC7F,MAAM,IAAI,KAAK,CAAC,6EAA6E,CAAC,CAAC;IACjG,CAAC;IACD,IACE,MAAM,CAAC,YAAY,KAAK,IAAI;QAC5B,qBAAqB,CAAC,OAAO,CAAC,0BAA0B,CAAC;YACvD,qBAAqB,CAAC,2BAA2B,CAAC,EACpD,CAAC;QACD,IAAI,OAAO,CAAC,QAAQ,EAAE,CAAC;YACrB,MAAM,IAAI,KAAK,CAAC,yEAAyE,CAAC,CAAC;QAC7F,CAAC;QACD,OAAO,EAAE,WAAW,EAAE,SAAS,EAAE,eAAe,EAAE,IAAI,EAAE,CAAC;IAC3D,CAAC;IACD,IAAI,MAAM,CAAC,WAAW,KAAK,WAAW,EAAE,CAAC;QACvC,IAAI,OAAO,CAAC,QAAQ,EAAE,CAAC;YACrB,MAAM,IAAI,KAAK,CACb,8EAA8E,CAC/E,CAAC;QACJ,CAAC;QACD,OAAO;YACL,WAAW,EAAE,WAAW;YACxB,aAAa,EAAE,MAAM,CAAC,aAAa;YACnC,gBAAgB;SACjB,CAAC;IACJ,CAAC;IACD,IAAI,gBAAgB,EAAE,CAAC;QACrB,OAAO;YACL,WAAW,EAAE,WAAW;YACxB,aAAa,EAAE,MAAM,CAAC,aAAa;YACnC,gBAAgB;SACjB,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,OAAO,CAAC,QAAQ,EAAE,CAAC;QACtB,OAAO;YACL,WAAW,EAAE,aAAa;YAC1B,aAAa,EAAE,MAAM,CAAC,aAAa;YACnC,gBAAgB,EAAE,KAAK;SACxB,CAAC;IACJ,CAAC;IACD,OAAO;QACL,WAAW,EAAE,SAAS;QACtB,eAAe,EAAE,gCAAgC,CAAC;YAChD,GAAG,UAAU,CAAC,SAAS;YACvB,QAAQ,EAAE,OAAO,CAAC,QAAQ;SAC3B,CAAC,CAAC,eAAe;KACnB,CAAC;AACJ,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,yBAAyB,CAC7C,KAAyB,EACzB,KAAwB,EACxB,iBAAyB;IAEzB,IAAI,KAAK,CAAC,KAAK,KAAK,OAAO,IAAI,KAAK,CAAC,mBAAmB,KAAK,MAAM;QAAE,OAAO,IAAI,CAAC;IACjF,MAAM,UAAU,GAAG,MAAM,0BAA0B,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IAClE,MAAM,MAAM,GAAG,UAAU,CAAC,MAAM,CAAC;IACjC,IAAI,CAAC,MAAM;QAAE,OAAO,IAAI,CAAC;IACzB,MAAM,QAAQ,GAAG,UAAU,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC;IAChF,MAAM,QAAQ,GAAG,QAAQ,CAAC,MAAM,IAAI,iBAAiB,CAAC;IACtD,MAAM,oBAAoB,GACxB,MAAM,CAAC,WAAW,KAAK,WAAW,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,MAAM,CAAC,WAAW,CAAC;IACpF,OAAO;QACL,WAAW,EAAE,QAAQ,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,oBAAoB;QAC1D,aAAa,EAAE,MAAM,CAAC,aAAa;QACnC,gBAAgB,EAAE,UAAU,CAAC,OAAO,CAAC,IAAI,CACvC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,UAAU,IAAI,KAAK,CAAC,aAAa,KAAK,MAAM,CAAC,aAAa,CACrF;QACD,mBAAmB,EAAE,CAAC,GAAG,MAAM,CAAC,mBAAmB,CAAC;QACpD,cAAc,EAAE,CAAC,GAAG,MAAM,CAAC,cAAc,CAAC;QAC1C,mBAAmB,EAAE,QAAQ,CAAC,MAAM;QACpC,iBAAiB;QACjB,uBAAuB,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,iBAAiB,GAAG,QAAQ,CAAC,MAAM,CAAC;KAC1E,CAAC;AACJ,CAAC"}

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

@@ -0,0 +1,78 @@
+import { buildNativeRepairSignature, type NativeRepairFailureFacts, type NativeRepairHistoryRecord, type NativeRepairOverrideRequest, type NativeRepairStagnationDecision } from './native-repair-stagnation.js';
+import { type NativeVerificationEvidenceEnvelope } from './native-verification-evidence.js';
+import { type NativeImplementationScopeBundle } from './native-verification-scope.js';
+export declare const NATIVE_REPAIR_TRAJECTORY_FIELD: "repairStagnation";
+export declare const NATIVE_REPAIR_TRAJECTORY_LIMITS: {
+    readonly maxEvents: 4096;
+    readonly maxDataDepth: 8;
+    readonly maxDataNodes: 4096;
+    readonly maxTotalDataNodes: 65536;
+    readonly maxObjectFields: 64;
+    readonly maxArrayEntries: 256;
+    readonly maxKeyCharacters: 128;
+    readonly maxTextCharacters: 4096;
+    readonly maxEventDataCharacters: 65536;
+    readonly maxTotalDataCharacters: 1048576;
+    readonly maxRunIdCharacters: 256;
+};
+export interface NativeRepairTrajectoryProjection {
+    signatureHash: string;
+    disposition: 'continue' | 'warn' | 'manual-stop' | 'hard-stop';
+    overrideSummaryHash: string | null;
+    contractHash: string | null;
+    failedAcceptanceIds: string[];
+    failedCheckIds: string[];
+    maxVerifyFailures: number | null;
+}
+export interface NativeCommittedRepairTrajectory {
+    trajectory: readonly unknown[];
+    committedTrajectoryOffset: number;
+    runId: string;
+}
+export interface NativeRepairEvidenceInput {
+    envelope: NativeVerificationEvidenceEnvelope;
+    implementationScope: NativeImplementationScopeBundle;
+    categories?: readonly string[];
+    failedCheckIds?: readonly string[];
+}
+export interface NativeRepairRuntimeInput extends NativeCommittedRepairTrajectory, NativeRepairEvidenceInput {
+    maxVerifyFailures: number;
+}
+export interface NativeRepairRuntimeResult {
+    facts: NativeRepairFailureFacts;
+    history: NativeRepairHistoryRecord[];
+    decision: NativeRepairStagnationDecision;
+    eventProjection: NativeRepairTrajectoryProjection | null;
+}
+export interface NativeRepairResumeInput extends NativeRepairRuntimeInput {
+    currentImplementationScope: NativeImplementationScopeBundle;
+}
+export interface NativeRepairResumeInspection {
+    disposition: 'proceed' | 'override-required' | 'hard-stop';
+    reason: 'scope-progress' | 'no-stopped-failure' | 'override-required' | 'override-already-applied' | 'hard-stop';
+    signatureHash: string;
+    history: NativeRepairHistoryRecord[];
+}
+export interface NativeRepairOverrideProjectionResult {
+    history: NativeRepairHistoryRecord[];
+    eventProjection: NativeRepairTrajectoryProjection;
+}
+/**
+ * Identify repair progress from the executable contract and project snapshot, not from
+ * content-addressed evidence prose such as `noCodeReason`.
+ */
+export declare function nativeRepairScopeHash(bundle: NativeImplementationScopeBundle): string;
+export declare function parseNativeRepairTrajectoryProjection(value: unknown): NativeRepairTrajectoryProjection;
+export declare function rebuildNativeRepairHistory(options: NativeCommittedRepairTrajectory): NativeRepairHistoryRecord[];
+export declare function inspectLatestNativeRepairProjection(options: NativeCommittedRepairTrajectory): NativeRepairTrajectoryProjection | null;
+export declare function acceptLatestNativeRepairOverride(options: NativeCommittedRepairTrajectory & {
+    override: NativeRepairOverrideRequest;
+}): NativeRepairOverrideProjectionResult;
+export declare function nativeRepairFailureFacts(input: NativeRepairEvidenceInput): NativeRepairFailureFacts;
+export declare function inspectNativeRepairResume(input: NativeRepairResumeInput): NativeRepairResumeInspection;
+export declare function inspectNativeRepairFailure(input: NativeRepairRuntimeInput): NativeRepairRuntimeResult;
+export declare function acceptNativeRepairOverride(input: NativeRepairRuntimeInput & {
+    override: NativeRepairOverrideRequest;
+}): NativeRepairRuntimeResult;
+export declare function buildNativeRepairSignatureFromEvidence(input: NativeRepairEvidenceInput): ReturnType<typeof buildNativeRepairSignature>;
+//# sourceMappingURL=native-repair-runtime.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"native-repair-runtime.d.ts","sourceRoot":"","sources":["../../../domains/comet-native/native-repair-runtime.ts"],"names":[],"mappings":"AAEA,OAAO,EACL,0BAA0B,EAO1B,KAAK,wBAAwB,EAC7B,KAAK,yBAAyB,EAC9B,KAAK,2BAA2B,EAChC,KAAK,8BAA8B,EACpC,MAAM,+BAA+B,CAAC;AACvC,OAAO,EAEL,KAAK,kCAAkC,EACxC,MAAM,mCAAmC,CAAC;AAC3C,OAAO,EAEL,KAAK,+BAA+B,EACrC,MAAM,gCAAgC,CAAC;AAGxC,eAAO,MAAM,8BAA8B,EAAG,kBAA2B,CAAC;AAC1E,eAAO,MAAM,+BAA+B;;;;;;;;;;;;CAYlC,CAAC;AA4BX,MAAM,WAAW,gCAAgC;IAC/C,aAAa,EAAE,MAAM,CAAC;IACtB,WAAW,EAAE,UAAU,GAAG,MAAM,GAAG,aAAa,GAAG,WAAW,CAAC;IAC/D,mBAAmB,EAAE,MAAM,GAAG,IAAI,CAAC;IACnC,YAAY,EAAE,MAAM,GAAG,IAAI,CAAC;IAC5B,mBAAmB,EAAE,MAAM,EAAE,CAAC;IAC9B,cAAc,EAAE,MAAM,EAAE,CAAC;IACzB,iBAAiB,EAAE,MAAM,GAAG,IAAI,CAAC;CAClC;AAED,MAAM,WAAW,+BAA+B;IAC9C,UAAU,EAAE,SAAS,OAAO,EAAE,CAAC;IAC/B,yBAAyB,EAAE,MAAM,CAAC;IAClC,KAAK,EAAE,MAAM,CAAC;CACf;AAED,MAAM,WAAW,yBAAyB;IACxC,QAAQ,EAAE,kCAAkC,CAAC;IAC7C,mBAAmB,EAAE,+BAA+B,CAAC;IACrD,UAAU,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAC/B,cAAc,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;CACpC;AAED,MAAM,WAAW,wBACf,SAAQ,+BAA+B,EAAE,yBAAyB;IAClE,iBAAiB,EAAE,MAAM,CAAC;CAC3B;AAED,MAAM,WAAW,yBAAyB;IACxC,KAAK,EAAE,wBAAwB,CAAC;IAChC,OAAO,EAAE,yBAAyB,EAAE,CAAC;IACrC,QAAQ,EAAE,8BAA8B,CAAC;IACzC,eAAe,EAAE,gCAAgC,GAAG,IAAI,CAAC;CAC1D;AAED,MAAM,WAAW,uBAAwB,SAAQ,wBAAwB;IACvE,0BAA0B,EAAE,+BAA+B,CAAC;CAC7D;AAED,MAAM,WAAW,4BAA4B;IAC3C,WAAW,EAAE,SAAS,GAAG,mBAAmB,GAAG,WAAW,CAAC;IAC3D,MAAM,EACF,gBAAgB,GAChB,oBAAoB,GACpB,mBAAmB,GACnB,0BAA0B,GAC1B,WAAW,CAAC;IAChB,aAAa,EAAE,MAAM,CAAC;IACtB,OAAO,EAAE,yBAAyB,EAAE,CAAC;CACtC;AAED,MAAM,WAAW,oCAAoC;IACnD,OAAO,EAAE,yBAAyB,EAAE,CAAC;IACrC,eAAe,EAAE,gCAAgC,CAAC;CACnD;AA2DD;;;GAGG;AACH,wBAAgB,qBAAqB,CAAC,MAAM,EAAE,+BAA+B,GAAG,MAAM,CAOrF;AAiID,wBAAgB,qCAAqC,CACnD,KAAK,EAAE,OAAO,GACb,gCAAgC,CAwDlC;AAmOD,wBAAgB,0BAA0B,CACxC,OAAO,EAAE,+BAA+B,GACvC,yBAAyB,EAAE,CAE7B;AAED,wBAAgB,mCAAmC,CACjD,OAAO,EAAE,+BAA+B,GACvC,gCAAgC,GAAG,IAAI,CAGzC;AAED,wBAAgB,gCAAgC,CAC9C,OAAO,EAAE,+BAA+B,GAAG;IAAE,QAAQ,EAAE,2BAA2B,CAAA;CAAE,GACnF,oCAAoC,CAwCtC;AAED,wBAAgB,wBAAwB,CACtC,KAAK,EAAE,yBAAyB,GAC/B,wBAAwB,CA2B1B;AAiCD,wBAAgB,yBAAyB,CACvC,KAAK,EAAE,uBAAuB,GAC7B,4BAA4B,CAgD9B;AAED,wBAAgB,0BAA0B,CACxC,KAAK,EAAE,wBAAwB,GAC9B,yBAAyB,CAW3B;AAED,wBAAgB,0BAA0B,CACxC,KAAK,EAAE,wBAAwB,GAAG;IAAE,QAAQ,EAAE,2BAA2B,CAAA;CAAE,GAC1E,yBAAyB,CAiB3B;AAED,wBAAgB,sCAAsC,CACpD,KAAK,EAAE,yBAAyB,GAC/B,UAAU,CAAC,OAAO,0BAA0B,CAAC,CAE/C"}