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

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

@@ -0,0 +1,184 @@
+import { nativeChangeDir } from './native-change.js';
+import { readNativeImplementationScopeBundle, readNativeVerificationEvidence, } from './native-evidence-storage.js';
+import { acceptLatestNativeRepairOverride, inspectLatestNativeRepairProjection, inspectNativeRepairFailure, nativeRepairScopeHash, rebuildNativeRepairHistory, } from './native-repair-runtime.js';
+import { NATIVE_REPAIR_STAGNATION_LIMITS, } from './native-repair-stagnation.js';
+import { readNativeCheckpoint, readNativeRunState, readNativeTrajectory, } from './native-run-store.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) {
+    const latest = inspection.latest;
+    if (!latest)
+        return null;
+    const failures = inspection.history.filter((entry) => entry.kind === 'failure');
+    let consecutiveFailures = 0;
+    for (let index = failures.length - 1; index >= 0; index -= 1) {
+        if (failures[index].signatureHash !== latest.signatureHash)
+            break;
+        consecutiveFailures += 1;
+    }
+    const overrideAccepted = latest.overrideSummaryHash !== null;
+    const overrideAlreadyUsed = inspection.history.some((entry) => entry.kind === 'override' && entry.signatureHash === latest.signatureHash);
+    return {
+        disposition: latest.disposition,
+        reasonCode: overrideAccepted
+            ? 'override-accepted'
+            : overrideAlreadyUsed && latest.disposition === 'manual-stop'
+                ? 'override-already-used'
+                : latest.disposition === 'hard-stop'
+                    ? '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, NATIVE_REPAIR_STAGNATION_LIMITS.maxRepairIterations - failures.length),
+        overrideAccepted,
+    };
+}
+export async function inspectLatestNativeRepairDecision(paths, state) {
+    return decisionFromInspection(await inspectNativeRepairHistory(paths, state));
+}
+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 async function inspectNativeRepairFailureForTransition(options) {
+    if (!options.state.implementation_scope) {
+        throw new Error('Native repair failure has no implementation scope');
+    }
+    const [committed, implementationScope] = await Promise.all([
+        readNativeCommittedRepairTrajectory(options.paths, options.state),
+        readNativeImplementationScopeBundle(options.paths, options.state.name, options.state.implementation_scope),
+    ]);
+    return inspectNativeRepairFailure({
+        ...committed,
+        envelope: options.envelope,
+        implementationScope,
+        ...(options.categories ? { categories: options.categories } : {}),
+        ...(options.failedCheckIds ? { failedCheckIds: options.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;
+    if (!latest || (latest.disposition !== 'manual-stop' && latest.disposition !== '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 (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) {
+    if (state.phase !== 'build' || state.verification_result !== 'fail')
+        return null;
+    const inspection = await inspectNativeRepairHistory(paths, state);
+    const latest = inspection.latest;
+    if (!latest || (latest.disposition !== 'manual-stop' && latest.disposition !== 'hard-stop')) {
+        return null;
+    }
+    return {
+        disposition: latest.disposition,
+        signatureHash: latest.signatureHash,
+        overrideRecorded: inspection.history.some((entry) => entry.kind === 'override' && entry.signatureHash === latest.signatureHash),
+    };
+}
+//# 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,GAC/B,MAAM,8BAA8B,CAAC;AACtC,OAAO,EACL,gCAAgC,EAChC,mCAAmC,EACnC,0BAA0B,EAC1B,qBAAqB,EACrB,0BAA0B,GAI3B,MAAM,4BAA4B,CAAC;AACpC,OAAO,EACL,+BAA+B,GAEhC,MAAM,+BAA+B,CAAC;AACvC,OAAO,EACL,oBAAoB,EACpB,kBAAkB,EAClB,oBAAoB,GACrB,MAAM,uBAAuB,CAAC;AAwB/B,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;IAEzC,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,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,MAAM,CAAC,aAAa;YAAE,MAAM;QAClE,mBAAmB,IAAI,CAAC,CAAC;IAC3B,CAAC;IACD,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,OAAO;QACL,WAAW,EAAE,MAAM,CAAC,WAAW;QAC/B,UAAU,EAAE,gBAAgB;YAC1B,CAAC,CAAC,mBAAmB;YACrB,CAAC,CAAC,mBAAmB,IAAI,MAAM,CAAC,WAAW,KAAK,aAAa;gBAC3D,CAAC,CAAC,uBAAuB;gBACzB,CAAC,CAAC,MAAM,CAAC,WAAW,KAAK,WAAW;oBAClC,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,CAC3B,CAAC,EACD,+BAA+B,CAAC,mBAAmB,GAAG,QAAQ,CAAC,MAAM,CACtE;QACD,gBAAgB;KACjB,CAAC;AACJ,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,iCAAiC,CACrD,KAAyB,EACzB,KAAwB;IAExB,OAAO,sBAAsB,CAAC,MAAM,0BAA0B,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC;AAChF,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,CAAC,KAAK,UAAU,uCAAuC,CAAC,OAM7D;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,CAAC,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC;QACzD,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;KACF,CAAC,CAAC;IACH,OAAO,0BAA0B,CAAC;QAChC,GAAG,SAAS;QACZ,QAAQ,EAAE,OAAO,CAAC,QAAQ;QAC1B,mBAAmB;QACnB,GAAG,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,OAAO,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACjE,GAAG,CAAC,OAAO,CAAC,cAAc,CAAC,CAAC,CAAC,EAAE,cAAc,EAAE,OAAO,CAAC,cAAc,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAC9E,CAAC,CAAC;AACL,CAAC;AAED,iGAAiG;AACjG,MAAM,CAAC,KAAK,UAAU,6BAA6B,CAAC,OAKnD;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,IAAI,CAAC,MAAM,IAAI,CAAC,MAAM,CAAC,WAAW,KAAK,aAAa,IAAI,MAAM,CAAC,WAAW,KAAK,WAAW,CAAC,EAAE,CAAC;QAC5F,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,qBAAqB,CAAC,OAAO,CAAC,0BAA0B,CAAC;QACzD,qBAAqB,CAAC,2BAA2B,CAAC,EAClD,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;IAExB,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,IAAI,CAAC,MAAM,CAAC,WAAW,KAAK,aAAa,IAAI,MAAM,CAAC,WAAW,KAAK,WAAW,CAAC,EAAE,CAAC;QAC5F,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO;QACL,WAAW,EAAE,MAAM,CAAC,WAAW;QAC/B,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;KACF,CAAC;AACJ,CAAC"}

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

@@ -0,0 +1,73 @@
+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;
+}
+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 {
+}
+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,EAM1B,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;AAkBX,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;CACpC;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;CAAG;AAEvE,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;AAgDD;;;GAGG;AACH,wBAAgB,qBAAqB,CAAC,MAAM,EAAE,+BAA+B,GAAG,MAAM,CAOrF;AAiID,wBAAgB,qCAAqC,CACnD,KAAK,EAAE,OAAO,GACb,gCAAgC,CAwBlC;AAoND,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,CAoCtC;AAED,wBAAgB,wBAAwB,CACtC,KAAK,EAAE,yBAAyB,GAC/B,wBAAwB,CAuB1B;AAuBD,wBAAgB,yBAAyB,CACvC,KAAK,EAAE,uBAAuB,GAC7B,4BAA4B,CA6C9B;AAED,wBAAgB,0BAA0B,CACxC,KAAK,EAAE,wBAAwB,GAC9B,yBAAyB,CAQ3B;AAED,wBAAgB,0BAA0B,CACxC,KAAK,EAAE,wBAAwB,GAAG;IAAE,QAAQ,EAAE,2BAA2B,CAAA;CAAE,GAC1E,yBAAyB,CAa3B;AAED,wBAAgB,sCAAsC,CACpD,KAAK,EAAE,yBAAyB,GAC/B,UAAU,CAAC,OAAO,0BAA0B,CAAC,CAE/C"}