@allocator-one/rcl 4.4.19

package/dist/converge/recovery-launch.js

@@ -0,0 +1,518 @@
+import { checkpointRecoveryCells, requireReviewerLaneBinding } from '../dispatch/checkpoint.js';
+import { realpath } from "node:fs/promises";
+import { resolve } from "node:path";
+import { claimConvergeAttempt, convergeAttemptStatePath, previewConvergeAttemptState, } from "./attempt-budget.js";
+import { initialConvergeRunState, loadConvergeRunState, validateRoundCap, writeState, } from "./run-state.js";
+import { CheckpointJournal, checkpointPath, exportCheckpointProof, } from "../dispatch/checkpoint.js";
+import { loadReviewerLineage } from "../evidence/reviewer-lineage.js";
+import { recoveryAttemptsFromCheckpoint } from "../dispatch/recovery.js";
+import { previewReviewerRecovery, } from "../dispatch/recovery-policy.js";
+import { createRecoveryOperation, encodeRecoveryOperation, remainingRecoveryBudget, decodeRecoveryOperation, } from "../dispatch/recovery-operation.js";
+import { retainedLaunchInputSha256 } from "./retained-report.js";
+import { stableStringify } from "../report/run-header.js";
+import { withNativeTarget } from "./target-ownership.js";
+class AlreadyQuorate extends Error {
+}
+function fail(code) {
+    throw new Error(`recovery_launch_${code}`);
+}
+function operationNow(options) {
+    return (options.nowMs ?? Date.now)();
+}
+function assertOperationLive(operation, options) {
+    if (remainingRecoveryBudget(operation, operationNow(options)).remainingMs <= 0)
+        fail("operation_expired");
+}
+async function assertSuccessorAttempts(source, journal, operation) {
+    // The deadline guarded the claim. Results can be durably accepted while a
+    // report/artifact is assembled, so readback time cannot relabel them late.
+    const budget = remainingRecoveryBudget(operation, operation.startedAtMs);
+    const state = await journal.read();
+    const outcomes = new Map(recoveryAttemptsFromCheckpoint(state).map((attempt) => [
+        attempt.id,
+        attempt,
+    ]));
+    const plan = source.journal.getPlan();
+    const indexByCell = new Map(plan.cells.map((cell, index) => [cell.id, index]));
+    const settled = [...source.attempts];
+    const active = new Map();
+    let ownIntents = 0;
+    for (const record of state.records) {
+        if (record.type === "intent") {
+            if (ownIntents >= budget.maxAdditionalCalls)
+                fail("successor_additional_call_limit");
+            const cell = record.cell;
+            const attempt = { id: record.paidAttempt.id, cell };
+            if (active.has(cell))
+                fail("successor_duplicate_inflight_attempt");
+            // Match the executor: only durable results affect selection. Other
+            // in-flight cells are reserved, but do not erase still-actionable work.
+            const preview = previewReviewerRecovery(checkpointRecoveryCells(plan), settled, source.policy, {
+                maxAttemptsPerCell: budget.maxAttemptsPerCell,
+                maxAdditionalCalls: budget.maxAdditionalCalls,
+                additionalCallsUsed: ownIntents - active.size,
+                remainingMs: 1,
+            });
+            const cellIndex = indexByCell.get(cell);
+            if (cellIndex === undefined ||
+                !preview.eligibleCallIndices.includes(cellIndex))
+                fail("successor_ineligible_attempt");
+            active.set(cell, attempt);
+            ownIntents++;
+            continue;
+        }
+        if (record.type !== "result" && record.type !== "uncertain")
+            continue;
+        const cell = record.cell;
+        const activeAttempt = active.get(cell);
+        if (!activeAttempt || activeAttempt.id !== record.paidAttempt.id)
+            fail("successor_result_without_intent");
+        const persisted = outcomes.get(activeAttempt.id);
+        settled.push(persisted ?? activeAttempt);
+        active.delete(cell);
+    }
+    // A sealed journal may retain unresolved paid intents as uncertainty. They
+    // remain in the audit history and cannot be silently converted to success.
+    settled.push(...active.values());
+    previewReviewerRecovery(checkpointRecoveryCells(plan), settled, source.policy, {
+        maxAttemptsPerCell: budget.maxAttemptsPerCell,
+        maxAdditionalCalls: budget.maxAdditionalCalls,
+        additionalCallsUsed: ownIntents,
+        remainingMs: 1,
+    });
+}
+function equalClaim(left, right) {
+    return left.attempt === right.attempt && left.round === right.round;
+}
+async function loadSource(options, state, attempts, requiredRound) {
+    const lineage = await loadReviewerLineage({
+        commonDir: options.gitCommonDir, target: options.target, runId: options.sourceRunId,
+    });
+    const latest = lineage.latest, inspected = latest.inspected;
+    const plan = lineage.plan;
+    requireReviewerLaneBinding(plan);
+    if (plan.headSha !== options.headSha)
+        fail("source_mismatch");
+    const root = lineage.runs[0].inspected.launch?.originalNativeClaim;
+    const source = inspected.nativeClaim;
+    const sourceAttempt = source?.attempt, sourceRound = source?.round;
+    if (!root || typeof sourceAttempt !== "number" || typeof sourceRound !== "number" ||
+        !Number.isSafeInteger(sourceAttempt) || !Number.isSafeInteger(sourceRound) || sourceAttempt < 1 || sourceRound < 1 || root.round !== requiredRound || sourceRound !== requiredRound) {
+        fail("source_round_mismatch");
+    }
+    const sourceClaim = { attempt: sourceAttempt, round: sourceRound };
+    let previousAttempt = root.attempt - 1;
+    for (const entry of lineage.runs) {
+        const ancestor = entry.inspected.nativeClaim;
+        if (!ancestor || ancestor.attempt !== previousAttempt + 1 || ancestor.round !== requiredRound ||
+            !attempts?.attempts.some(item => item.attempt === ancestor.attempt))
+            fail("source_ancestor_claim_mismatch");
+        previousAttempt = ancestor.attempt;
+    }
+    const frozenInput = retainedLaunchInputSha256(inspected.captured.digest, inspected.assembly.run);
+    const health = inspected.artifact.health;
+    const expectedHealth = { version: 1, policy: health.policy, successfulSeats: health.successfulSeats.length };
+    const launch = state.lastLaunch;
+    if (inspected.assembly.run.cycleId !== state.cycle?.id || inspected.assembly.run.converge?.recovery_source !== undefined)
+        fail("source_recovery_binding_mismatch");
+    const spent = attempts?.attempts.find(item => item.attempt === sourceClaim.attempt);
+    if (!launch || launch.status !== "completed" || launch.runId !== options.sourceRunId ||
+        launch.headSha !== options.headSha || options.inputSha256 !== frozenInput ||
+        launch.inputSha256 !== frozenInput || !equalClaim(launch, sourceClaim) ||
+        launch.reportJsonSha256 !== latest.terminal.reportSha256 ||
+        launch.successfulReviews !== health.successfulSeats.length ||
+        launch.totalReviews !== health.policy.seatCount ||
+        stableStringify(launch.reviewerHealth) !== stableStringify(expectedHealth) ||
+        attempts?.attemptsUsed !== sourceClaim.attempt || !spent || spent.pid !== launch.pid ||
+        state.rounds.some(round => round.round === requiredRound))
+        fail("source_not_current");
+    if (latest.kind === "successor") {
+        const parent = lineage.runs.at(-2).inspected;
+        if (launch.recovery?.operationId !== inspected.operation.operationId ||
+            launch.recovery.sourceRunId !== parent.runId ||
+            stableStringify(launch.recovery.originalNativeClaim) !== stableStringify(root) ||
+            stableStringify(launch.recovery.sourceNativeClaim) !== stableStringify({
+                attempt: parent.nativeClaim.attempt, round: parent.nativeClaim.round,
+            }))
+            fail("source_not_current");
+    }
+    if (health.conclusive)
+        return "already_quorate";
+    const capturedBytes = (await latest.journal.readBindings())["captured-inputs"];
+    if (capturedBytes === undefined || capturedBytes !== inspected.captured.bytes)
+        fail("source_capture_missing");
+    return {
+        journal: latest.journal,
+        capturedBytes,
+        sourceReportSha256: latest.terminal.reportSha256,
+        sourceCheckpointSha256: latest.proof.digest,
+        capturedInputsSha256: inspected.captured.digest,
+        originalNativeClaim: root,
+        sourceNativeClaim: sourceClaim,
+        policy: health.policy,
+        attempts: [...lineage.attempts],
+    };
+}
+/**
+ * Proof-bearing native recovery launch. It accepts no caller-provided health or
+ * authorization flag: the source journal, terminal artifact and native state
+ * are revalidated while the existing target lock is held.
+ */
+export async function guardReviewerRecoveryLaunch(input) {
+    // Copy every mutable caller-owned value before the first await, including the
+    // callback: later caller mutation cannot redirect a spent native claim.
+    const snapshot = {
+        gitCommonDir: input?.gitCommonDir,
+        target: input?.target,
+        sourceRunId: input?.sourceRunId,
+        successorRunId: input?.successorRunId,
+        operationId: input?.operationId,
+        headSha: input?.headSha,
+        inputSha256: input?.inputSha256,
+        startedAtMs: input?.startedAtMs,
+        expiresAtMs: input?.expiresAtMs,
+        maxAdditionalCalls: input?.maxAdditionalCalls,
+        maxAttemptsPerCell: input?.maxAttemptsPerCell,
+        maxAttempts: input?.maxAttempts,
+        nowMs: input?.nowMs,
+        beforeClaim: input?.beforeClaim,
+        onClaim: input?.onClaim,
+        run: input?.run,
+    };
+    if (typeof snapshot.gitCommonDir !== "string" ||
+        typeof snapshot.target !== "string" ||
+        typeof snapshot.sourceRunId !== "string" ||
+        typeof snapshot.successorRunId !== "string" ||
+        typeof snapshot.operationId !== "string" ||
+        typeof snapshot.headSha !== "string" ||
+        typeof snapshot.inputSha256 !== "string" ||
+        typeof snapshot.run !== "function" ||
+        (snapshot.nowMs !== undefined && typeof snapshot.nowMs !== "function") ||
+        (snapshot.beforeClaim !== undefined && typeof snapshot.beforeClaim !== "function") ||
+        (snapshot.onClaim !== undefined && typeof snapshot.onClaim !== "function"))
+        fail("invalid_input");
+    const options = {
+        ...snapshot,
+        target: snapshot.target.trim(),
+        gitCommonDir: await realpath(resolve(snapshot.gitCommonDir)),
+    };
+    if (!options.target ||
+        !/^[a-f0-9]{40}$/.test(options.headSha) ||
+        !/^[a-f0-9]{64}$/.test(options.inputSha256))
+        fail("invalid_input");
+    let source;
+    let operation;
+    let operationBytes;
+    let failure;
+    let claim;
+    try {
+        claim = await claimConvergeAttempt({
+            gitCommonDir: options.gitCommonDir,
+            target: options.target,
+            maxAttempts: options.maxAttempts,
+            beforeClaim: async () => {
+                const state = (await loadConvergeRunState(options.gitCommonDir, options.target)) ??
+                    initialConvergeRunState(options.target);
+                const attempts = await previewConvergeAttemptState(options.gitCommonDir, options.target);
+                validateRoundCap(state.roundCap);
+                if (state.rounds.some((item) => !Number.isSafeInteger(item.round) || item.round < 1))
+                    fail("invalid_round_state");
+                const requiredRound = state.rounds.reduce((last, item) => Math.max(last, item.round), 0) +
+                    1;
+                if (requiredRound > state.roundCap)
+                    fail("round_cap");
+                source = await loadSource(options, state, attempts, requiredRound);
+                if (source === "already_quorate")
+                    throw new AlreadyQuorate();
+                if (attempts?.attemptsUsed !== source.sourceNativeClaim.attempt)
+                    fail("native_attempt_mismatch");
+                operation = createRecoveryOperation({
+                    operationId: options.operationId,
+                    successorRunId: options.successorRunId,
+                    sourceRunId: options.sourceRunId,
+                    sourceReportSha256: source.sourceReportSha256,
+                    sourceCheckpointSha256: source.sourceCheckpointSha256,
+                    capturedInputsSha256: source.capturedInputsSha256,
+                    planDigest: source.journal.getPlan().digest,
+                    target: options.target,
+                    originalNativeClaim: source.originalNativeClaim,
+                    successorNativeClaim: {
+                        attempt: source.sourceNativeClaim.attempt + 1,
+                        round: requiredRound,
+                    },
+                    startedAtMs: options.startedAtMs,
+                    expiresAtMs: options.expiresAtMs,
+                    maxAdditionalCalls: options.maxAdditionalCalls,
+                    maxAttemptsPerCell: options.maxAttemptsPerCell,
+                });
+                operationBytes = encodeRecoveryOperation(operation);
+                assertOperationLive(operation, options);
+                const sourcePreview = previewReviewerRecovery(checkpointRecoveryCells(source.journal.getPlan()), source.attempts, source.policy, {
+                    maxAttemptsPerCell: operation.maxAttemptsPerCell,
+                    maxAdditionalCalls: operation.maxAdditionalCalls,
+                    additionalCallsUsed: 0,
+                    remainingMs: remainingRecoveryBudget(operation, operationNow(options)).remainingMs,
+                });
+                if (sourcePreview.nextAction !== "retry_missing_assignments")
+                    fail("source_not_actionable");
+                await options.beforeClaim?.(Object.freeze({ operation, operationBytes }));
+                assertOperationLive(operation, options);
+            },
+            afterClaim: async (claim, ownership) => {
+                const state = await loadConvergeRunState(options.gitCommonDir, options.target);
+                if (!state || !source || source === "already_quorate")
+                    fail("source_not_current");
+                const requiredRound = source.sourceNativeClaim.round;
+                if (!operation || operationBytes === undefined ||
+                    operation.successorNativeClaim?.attempt !== claim.attempt ||
+                    operation.successorNativeClaim.round !== requiredRound)
+                    fail("claim_mismatch");
+                state.lastLaunch = {
+                    status: "pending",
+                    runId: options.successorRunId,
+                    attempt: claim.attempt,
+                    round: requiredRound,
+                    headSha: options.headSha,
+                    inputSha256: options.inputSha256,
+                    startedAt: new Date().toISOString(),
+                    pid: process.pid,
+                    recovery: {
+                        operationId: operation.operationId,
+                        sourceRunId: options.sourceRunId,
+                        originalNativeClaim: source.originalNativeClaim,
+                        sourceNativeClaim: source.sourceNativeClaim,
+                    },
+                };
+                await writeState(options.gitCommonDir, state, ownership);
+                try {
+                    const journal = await CheckpointJournal.create({
+                        commonDir: options.gitCommonDir,
+                        namespace: options.successorRunId,
+                        plan: source.journal.getPlan(),
+                        ownership,
+                    });
+                    await journal.bind("captured-inputs", source.capturedBytes, ownership);
+                    await journal.bind("source", stableStringify({
+                        run_id: options.sourceRunId,
+                        report_sha256: source.sourceReportSha256,
+                        checkpoint_sha256: source.sourceCheckpointSha256,
+                    }), ownership);
+                    await journal.bind("operation", operationBytes, ownership);
+                    await options.onClaim?.(claim);
+                    await options.run({ journal, operation, claim, ownership });
+                    const successorState = await journal.read();
+                    const terminal = await journal.readTerminalReport();
+                    if (!successorState.finalized || !terminal)
+                        fail("successor_terminal_missing");
+                    const successorProof = await exportCheckpointProof(journal);
+                    await assertSuccessorAttempts(source, journal, operation);
+                    const completedLineage = await loadReviewerLineage({ commonDir: options.gitCommonDir,
+                        target: options.target, runId: options.successorRunId });
+                    const inspected = completedLineage.latest.inspected;
+                    const health = inspected.artifact.health;
+                    if (inspected.proof.digest !== successorProof.digest ||
+                        inspected.operation?.operationId !== operation.operationId ||
+                        inspected.operation?.successorNativeClaim?.attempt !==
+                            claim.attempt ||
+                        inspected.operation.successorNativeClaim.round !== requiredRound)
+                        fail("successor_proof_mismatch");
+                    state.lastLaunch = {
+                        ...state.lastLaunch,
+                        status: "completed",
+                        runId: options.successorRunId,
+                        reportJsonSha256: terminal.reportSha256,
+                        successfulReviews: health.successfulSeats.length,
+                        totalReviews: health.policy.seatCount,
+                        deliveryPending: false,
+                        hardFailure: false,
+                        reviewerHealth: {
+                            version: 1,
+                            policy: health.policy,
+                            successfulSeats: health.successfulSeats.length,
+                        },
+                    };
+                }
+                catch (error) {
+                    state.lastLaunch = { ...state.lastLaunch, status: "failed" };
+                    failure = error;
+                }
+                state.updatedAt = new Date().toISOString();
+                await writeState(options.gitCommonDir, state, ownership);
+            },
+        });
+    }
+    catch (error) {
+        if (error instanceof AlreadyQuorate)
+            return { kind: "already_quorate", sourceRunId: options.sourceRunId };
+        throw error;
+    }
+    if (failure)
+        throw failure;
+    return { kind: "claimed", claim, operation: operation };
+}
+function requireDeadOwner(pid) {
+    try {
+        process.kill(pid, 0);
+    }
+    catch (error) {
+        if (error.code === "ESRCH")
+            return;
+        // Lack of permission or an unknown process error is not proof of death.
+        fail("resume_owner_unverifiable");
+    }
+    fail("resume_owner_alive");
+}
+/**
+ * Reopen only the exact fully-bound, already-spent successor. Partial binding
+ * gaps remain explicit refusals. The target lock serializes resumes, while a
+ * separate owner marker preserves the original claim PID and absolute bounds.
+ */
+export async function guardReviewerRecoveryResume(input) {
+    const snapshot = { gitCommonDir: input?.gitCommonDir, target: input?.target,
+        successorRunId: input?.successorRunId, headSha: input?.headSha,
+        inputSha256: input?.inputSha256, nowMs: input?.nowMs, run: input?.run, beforeResume: input?.beforeResume };
+    if (typeof snapshot.gitCommonDir !== "string" || typeof snapshot.target !== "string" || !snapshot.target.trim() ||
+        typeof snapshot.successorRunId !== "string" || !/^[a-f0-9]{8}-[a-f0-9]{4}-[a-f0-9]{4}-[a-f0-9]{4}-[a-f0-9]{12}$/.test(snapshot.successorRunId) ||
+        !/^[a-f0-9]{40}$/.test(snapshot.headSha ?? "") || !/^[a-f0-9]{64}$/.test(snapshot.inputSha256 ?? "") ||
+        typeof snapshot.run !== "function" || snapshot.nowMs !== undefined && typeof snapshot.nowMs !== "function" ||
+        snapshot.beforeResume !== undefined && typeof snapshot.beforeResume !== "function")
+        fail("invalid_resume_input");
+    const options = { ...snapshot, target: snapshot.target.trim(), gitCommonDir: await realpath(resolve(snapshot.gitCommonDir)) };
+    return withNativeTarget(options.gitCommonDir, options.target, async (ownership) => {
+        const [state, attempts] = await Promise.all([
+            loadConvergeRunState(options.gitCommonDir, options.target),
+            previewConvergeAttemptState(options.gitCommonDir, options.target),
+        ]);
+        const { assertReviewCyclePair } = await import('./fresh-review.js');
+        await assertReviewCyclePair(options.gitCommonDir, options.target, state?.cycle);
+        const launch = state?.lastLaunch, recovery = launch?.recovery;
+        if (!state || !launch || !recovery || launch.runId !== options.successorRunId || !recovery.operationId)
+            fail("resume_missing_launch");
+        if (launch.headSha !== options.headSha || launch.inputSha256 !== options.inputSha256)
+            fail("resume_input_mismatch");
+        const spent = attempts?.attempts.find(item => item.attempt === launch.attempt);
+        if (!attempts || !spent || spent.pid !== launch.pid || attempts.attemptsUsed !== launch.attempt)
+            fail("resume_claim_mismatch");
+        validateRoundCap(state.roundCap);
+        if (state.rounds.some(item => !Number.isSafeInteger(item.round) || item.round < 1))
+            fail("invalid_round_state");
+        const maxRound = state.rounds.reduce((last, item) => Math.max(last, item.round), 0);
+        const admitted = state.rounds.find(item => item.round === launch.round);
+        if (launch.round > state.roundCap || (admitted
+            ? admitted.runId !== options.successorRunId || maxRound !== launch.round || launch.status !== "completed"
+            : maxRound + 1 !== launch.round))
+            fail("resume_round_mismatch");
+        if (launch.status === "pending")
+            requireDeadOwner(recovery.resume?.phase === "running" ? recovery.resume.pid : launch.pid);
+        else if (recovery.resume?.phase === "running")
+            requireDeadOwner(recovery.resume.pid);
+        const readJournal = await CheckpointJournal.inspectRead(checkpointPath(options.gitCommonDir, options.target, options.successorRunId));
+        requireReviewerLaneBinding(readJournal.getPlan());
+        const bindings = await readJournal.readBindings();
+        if (!bindings.operation || !bindings.source || !bindings["captured-inputs"] || bindings.launch !== undefined)
+            fail("resume_partial_binding");
+        const operation = decodeRecoveryOperation(bindings.operation);
+        if (operation.operationId !== recovery.operationId || operation.successorRunId !== options.successorRunId ||
+            operation.target !== options.target || !operation.successorNativeClaim || !equalClaim(operation.successorNativeClaim, launch) ||
+            operation.sourceRunId !== recovery.sourceRunId || !equalClaim(operation.originalNativeClaim, recovery.originalNativeClaim))
+            fail("resume_operation_mismatch");
+        const lineage = await loadReviewerLineage({ commonDir: options.gitCommonDir, target: options.target, runId: operation.sourceRunId });
+        const latest = lineage.latest, inspected = latest.inspected, root = lineage.runs[0].inspected.launch.originalNativeClaim;
+        const sourceClaim = inspected.nativeClaim;
+        if (!sourceClaim || sourceClaim.attempt === undefined || sourceClaim.round === undefined ||
+            !equalClaim({ attempt: sourceClaim.attempt, round: sourceClaim.round }, recovery.sourceNativeClaim) ||
+            sourceClaim.attempt + 1 !== launch.attempt || sourceClaim.round !== launch.round || !equalClaim(root, operation.originalNativeClaim) ||
+            inspected.artifact.health.conclusive)
+            fail("resume_source_mismatch");
+        let ancestorAttempt = root.attempt - 1;
+        for (const entry of lineage.runs) {
+            const ancestor = entry.inspected.nativeClaim;
+            if (!ancestor || ancestor.attempt !== ancestorAttempt + 1 || ancestor.round !== launch.round ||
+                !attempts.attempts.some(item => item.attempt === ancestor.attempt))
+                fail("resume_ancestor_claim_mismatch");
+            ancestorAttempt = ancestor.attempt;
+        }
+        if (lineage.plan.headSha !== options.headSha || readJournal.getPlan().digest !== lineage.plan.digest ||
+            operation.planDigest !== lineage.plan.digest || operation.sourceReportSha256 !== latest.terminal.reportSha256 ||
+            operation.sourceCheckpointSha256 !== latest.proof.digest || operation.capturedInputsSha256 !== inspected.captured.digest ||
+            bindings["captured-inputs"] !== inspected.captured.bytes ||
+            bindings.source !== stableStringify({ run_id: operation.sourceRunId,
+                report_sha256: latest.terminal.reportSha256, checkpoint_sha256: latest.proof.digest }) ||
+            options.inputSha256 !== retainedLaunchInputSha256(inspected.captured.digest, inspected.assembly.run))
+            fail("resume_source_mismatch");
+        const source = { journal: latest.journal, capturedBytes: inspected.captured.bytes,
+            sourceReportSha256: latest.terminal.reportSha256, sourceCheckpointSha256: latest.proof.digest,
+            capturedInputsSha256: inspected.captured.digest, originalNativeClaim: root,
+            sourceNativeClaim: { attempt: sourceClaim.attempt, round: sourceClaim.round },
+            policy: inspected.artifact.health.policy, attempts: [...lineage.attempts] };
+        const claim = { target: options.target, attempt: launch.attempt,
+            attemptsUsed: attempts.attemptsUsed, cap: attempts.cap, stateFile: convergeAttemptStatePath(options.gitCommonDir, options.target) };
+        if (inspected.assembly.run.cycleId !== state.cycle?.id || inspected.assembly.run.converge?.recovery_source !== undefined)
+            fail("resume_source_recovery_binding_mismatch");
+        const priorTerminal = await readJournal.readTerminalReport();
+        if (launch.status === "completed" && !priorTerminal)
+            fail("resume_terminal_missing");
+        const priorState = await readJournal.read();
+        const budget = remainingRecoveryBudget(operation, (options.nowMs ?? Date.now)());
+        const beforeIntents = stableStringify(priorState.records.filter(record => record.type === "intent"));
+        const beforeVerifierIntents = budget.remainingMs === 0
+            ? stableStringify((await readJournal.readVerification())?.intents ?? []) : undefined;
+        const finish = async (journal) => {
+            const completed = await loadReviewerLineage({ commonDir: options.gitCommonDir, target: options.target, runId: options.successorRunId });
+            const terminal = completed.latest.terminal, proof = completed.latest.proof, final = completed.latest.inspected;
+            if (proof.bindings.operation !== bindings.operation || final.operation?.operationId !== operation.operationId ||
+                completed.runs.length !== lineage.runs.length + 1 ||
+                completed.runs.slice(0, -1).some((entry, index) => entry.terminal.reportSha256 !== lineage.runs[index].terminal.reportSha256 ||
+                    entry.proof.digest !== lineage.runs[index].proof.digest))
+                fail("resume_terminal_mismatch");
+            await assertSuccessorAttempts(source, journal, operation);
+            if (budget.remainingMs === 0 && (stableStringify((await journal.read()).records.filter(record => record.type === "intent")) !== beforeIntents ||
+                stableStringify((await journal.readVerification())?.intents ?? []) !== beforeVerifierIntents))
+                fail("resume_expired_dispatch");
+            const health = final.artifact.health;
+            return { reportJsonSha256: terminal.reportSha256, successfulReviews: health.successfulSeats.length,
+                totalReviews: health.policy.seatCount,
+                reviewerHealth: { version: 1, policy: health.policy, successfulSeats: health.successfulSeats.length } };
+        };
+        if (launch.status === "completed") {
+            const completion = await finish(readJournal);
+            if (Object.entries(completion).some(([key, value]) => stableStringify(launch[key]) !== stableStringify(value)))
+                fail("resume_completed_mismatch");
+            return { kind: "resumed", claim, operation, reusedTerminal: true };
+        }
+        // Expired work may seal/reconstruct its local terminal without a live
+        // credential. It cannot authorize new reviewer or verifier dispatch.
+        if (!priorTerminal && budget.remainingMs > 0) {
+            await options.beforeResume?.(Object.freeze({ operation, operationBytes: bindings.operation }));
+            if (remainingRecoveryBudget(operation, (options.nowMs ?? Date.now)()).remainingMs === 0) {
+                fail("resume_expired_dispatch");
+            }
+        }
+        // Health describes completed evidence only; the immutable report and claims
+        // remain bound above, and finish derives health again from the saved lineage.
+        const mutableLaunch = { ...launch };
+        delete mutableLaunch.reviewerHealth;
+        state.lastLaunch = { ...mutableLaunch, status: "pending", recovery: { ...recovery, resume: { pid: process.pid, phase: "running" } } };
+        state.updatedAt = new Date().toISOString();
+        await writeState(options.gitCommonDir, state, ownership);
+        try {
+            const journal = await CheckpointJournal.openWrite({ commonDir: options.gitCommonDir, namespace: options.successorRunId,
+                plan: lineage.plan, ownership });
+            if (!priorTerminal)
+                await options.run({ journal, operation, claim, ownership });
+            const completion = await finish(journal);
+            state.lastLaunch = { ...launch, ...completion, status: "completed", deliveryPending: launch.deliveryPending ?? false,
+                hardFailure: launch.hardFailure ?? false, recovery: { ...recovery, resume: { pid: process.pid, phase: "finished" } } };
+            state.updatedAt = new Date().toISOString();
+            await writeState(options.gitCommonDir, state, ownership);
+            return { kind: "resumed", claim, operation, reusedTerminal: priorTerminal !== undefined };
+        }
+        catch (error) {
+            state.lastLaunch = { ...mutableLaunch, status: "failed", recovery: { ...recovery, resume: { pid: process.pid, phase: "finished" } } };
+            state.updatedAt = new Date().toISOString();
+            await writeState(options.gitCommonDir, state, ownership);
+            throw error;
+        }
+    });
+}
+//# sourceMappingURL=recovery-launch.js.map

package/dist/converge/recovery-launch.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"recovery-launch.js","sourceRoot":"","sources":["../../src/converge/recovery-launch.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,uBAAuB,EAAE,0BAA0B,EAAE,MAAM,2BAA2B,CAAC;AAChG,OAAO,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAC5C,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AACpC,OAAO,EACL,oBAAoB,EACpB,wBAAwB,EACxB,2BAA2B,GAG5B,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EACL,uBAAuB,EACvB,oBAAoB,EACpB,gBAAgB,EAChB,UAAU,GAEX,MAAM,gBAAgB,CAAC;AACxB,OAAO,EACL,iBAAiB,EACjB,cAAc,EACd,qBAAqB,GACtB,MAAM,2BAA2B,CAAC;AACnC,OAAO,EAAE,mBAAmB,EAAE,MAAM,iCAAiC,CAAC;AACtE,OAAO,EAAE,8BAA8B,EAAE,MAAM,yBAAyB,CAAC;AACzE,OAAO,EACL,uBAAuB,GAExB,MAAM,gCAAgC,CAAC;AAExC,OAAO,EACL,uBAAuB,EACvB,uBAAuB,EACvB,uBAAuB,EACvB,uBAAuB,GAExB,MAAM,mCAAmC,CAAC;AAC3C,OAAO,EAAE,yBAAyB,EAAE,MAAM,sBAAsB,CAAC;AACjE,OAAO,EAAE,eAAe,EAAE,MAAM,yBAAyB,CAAC;AAC1D,OAAO,EAAE,gBAAgB,EAA8B,MAAM,uBAAuB,CAAC;AAwDrF,MAAM,cAAe,SAAQ,KAAK;CAAG;AACrC,SAAS,IAAI,CAAC,IAAY;IACxB,MAAM,IAAI,KAAK,CAAC,mBAAmB,IAAI,EAAE,CAAC,CAAC;AAC7C,CAAC;AACD,SAAS,YAAY,CAAC,OAAsC;IAC1D,OAAO,CAAC,OAAO,CAAC,KAAK,IAAI,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;AACvC,CAAC;AACD,SAAS,mBAAmB,CAC1B,SAA4B,EAC5B,OAAsC;IAEtC,IACE,uBAAuB,CAAC,SAAS,EAAE,YAAY,CAAC,OAAO,CAAC,CAAC,CAAC,WAAW,IAAI,CAAC;QAE1E,IAAI,CAAC,mBAAmB,CAAC,CAAC;AAC9B,CAAC;AACD,KAAK,UAAU,uBAAuB,CACpC,MAAc,EACd,OAA0B,EAC1B,SAA4B;IAE5B,0EAA0E;IAC1E,2EAA2E;IAC3E,MAAM,MAAM,GAAG,uBAAuB,CAAC,SAAS,EAAE,SAAS,CAAC,WAAW,CAAC,CAAC;IACzE,MAAM,KAAK,GAAG,MAAM,OAAO,CAAC,IAAI,EAAE,CAAC;IACnC,MAAM,QAAQ,GAAG,IAAI,GAAG,CACtB,8BAA8B,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC;QACrD,OAAO,CAAC,EAAE;QACV,OAAO;KACR,CAAC,CACH,CAAC;IACF,MAAM,IAAI,GAAG,MAAM,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC;IACtC,MAAM,WAAW,GAAG,IAAI,GAAG,CACzB,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC,CAClD,CAAC;IACF,MAAM,OAAO,GAAsB,CAAC,GAAG,MAAM,CAAC,QAAQ,CAAC,CAAC;IACxD,MAAM,MAAM,GAAG,IAAI,GAAG,EAA2B,CAAC;IAClD,IAAI,UAAU,GAAG,CAAC,CAAC;IAEnB,KAAK,MAAM,MAAM,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;QACnC,IAAI,MAAM,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YAC7B,IAAI,UAAU,IAAI,MAAM,CAAC,kBAAkB;gBACzC,IAAI,CAAC,iCAAiC,CAAC,CAAC;YAC1C,MAAM,IAAI,GAAG,MAAM,CAAC,IAAK,CAAC;YAC1B,MAAM,OAAO,GAAoB,EAAE,EAAE,EAAE,MAAM,CAAC,WAAY,CAAC,EAAE,EAAE,IAAI,EAAE,CAAC;YACtE,IAAI,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC;gBAAE,IAAI,CAAC,sCAAsC,CAAC,CAAC;YACnE,mEAAmE;YACnE,wEAAwE;YACxE,MAAM,OAAO,GAAG,uBAAuB,CACrC,uBAAuB,CAAC,IAAI,CAAC,EAC7B,OAAO,EACP,MAAM,CAAC,MAAM,EACb;gBACE,kBAAkB,EAAE,MAAM,CAAC,kBAAkB;gBAC7C,kBAAkB,EAAE,MAAM,CAAC,kBAAkB;gBAC7C,mBAAmB,EAAE,UAAU,GAAG,MAAM,CAAC,IAAI;gBAC7C,WAAW,EAAE,CAAC;aACf,CACF,CAAC;YACF,MAAM,SAAS,GAAG,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YACxC,IACE,SAAS,KAAK,SAAS;gBACvB,CAAC,OAAO,CAAC,mBAAmB,CAAC,QAAQ,CAAC,SAAS,CAAC;gBAEhD,IAAI,CAAC,8BAA8B,CAAC,CAAC;YACvC,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;YAC1B,UAAU,EAAE,CAAC;YACb,SAAS;QACX,CAAC;QACD,IAAI,MAAM,CAAC,IAAI,KAAK,QAAQ,IAAI,MAAM,CAAC,IAAI,KAAK,WAAW;YAAE,SAAS;QACtE,MAAM,IAAI,GAAG,MAAM,CAAC,IAAK,CAAC;QAC1B,MAAM,aAAa,GAAG,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACvC,IAAI,CAAC,aAAa,IAAI,aAAa,CAAC,EAAE,KAAK,MAAM,CAAC,WAAY,CAAC,EAAE;YAC/D,IAAI,CAAC,iCAAiC,CAAC,CAAC;QAC1C,MAAM,SAAS,GAAG,QAAQ,CAAC,GAAG,CAAC,aAAa,CAAC,EAAE,CAAC,CAAC;QACjD,OAAO,CAAC,IAAI,CAAC,SAAS,IAAI,aAAa,CAAC,CAAC;QACzC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IACtB,CAAC;IACD,2EAA2E;IAC3E,2EAA2E;IAC3E,OAAO,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC;IACjC,uBAAuB,CAAC,uBAAuB,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE;QAC7E,kBAAkB,EAAE,MAAM,CAAC,kBAAkB;QAC7C,kBAAkB,EAAE,MAAM,CAAC,kBAAkB;QAC7C,mBAAmB,EAAE,UAAU;QAC/B,WAAW,EAAE,CAAC;KACf,CAAC,CAAC;AACL,CAAC;AACD,SAAS,UAAU,CACjB,IAAwC,EACxC,KAAyC;IAEzC,OAAO,IAAI,CAAC,OAAO,KAAK,KAAK,CAAC,OAAO,IAAI,IAAI,CAAC,KAAK,KAAK,KAAK,CAAC,KAAK,CAAC;AACtE,CAAC;AAED,KAAK,UAAU,UAAU,CACvB,OAAsC,EACtC,KAAuB,EACvB,QAA0C,EAC1C,aAAqB;IAErB,MAAM,OAAO,GAAG,MAAM,mBAAmB,CAAC;QACxC,SAAS,EAAE,OAAO,CAAC,YAAY,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,KAAK,EAAE,OAAO,CAAC,WAAW;KACpF,CAAC,CAAC;IACH,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,EAAE,SAAS,GAAG,MAAM,CAAC,SAAS,CAAC;IAC5D,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC;IAC1B,0BAA0B,CAAC,IAAI,CAAC,CAAC;IACjC,IAAI,IAAI,CAAC,OAAO,KAAK,OAAO,CAAC,OAAO;QAAE,IAAI,CAAC,iBAAiB,CAAC,CAAC;IAC9D,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC,SAAS,CAAC,MAAM,EAAE,mBAAmB,CAAC;IACpE,MAAM,MAAM,GAAG,SAAS,CAAC,WAAW,CAAC;IACrC,MAAM,aAAa,GAAG,MAAM,EAAE,OAAO,EAAE,WAAW,GAAG,MAAM,EAAE,KAAK,CAAC;IACnE,IAAI,CAAC,IAAI,IAAI,OAAO,aAAa,KAAK,QAAQ,IAAI,OAAO,WAAW,KAAK,QAAQ;QAC/E,CAAC,MAAM,CAAC,aAAa,CAAC,aAAa,CAAC,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,WAAW,CAAC,IAAI,aAAa,GAAG,CAAC,IAAI,WAAW,GAAG,CAAC,IAAI,IAAI,CAAC,KAAK,KAAK,aAAa,IAAI,WAAW,KAAK,aAAa,EAAE,CAAC;QACtL,IAAI,CAAC,uBAAuB,CAAC,CAAC;IAChC,CAAC;IACD,MAAM,WAAW,GAAG,EAAE,OAAO,EAAE,aAAa,EAAE,KAAK,EAAE,WAAW,EAAE,CAAC;IACnE,IAAI,eAAe,GAAG,IAAI,CAAC,OAAO,GAAG,CAAC,CAAC;IACvC,KAAK,MAAM,KAAK,IAAI,OAAO,CAAC,IAAI,EAAE,CAAC;QACjC,MAAM,QAAQ,GAAG,KAAK,CAAC,SAAS,CAAC,WAAW,CAAC;QAC7C,IAAI,CAAC,QAAQ,IAAI,QAAQ,CAAC,OAAO,KAAK,eAAe,GAAG,CAAC,IAAI,QAAQ,CAAC,KAAK,KAAK,aAAa;YAC3F,CAAC,QAAQ,EAAE,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,OAAO,KAAK,QAAQ,CAAC,OAAO,CAAC;YAAE,IAAI,CAAC,gCAAgC,CAAC,CAAC;QAC9G,eAAe,GAAG,QAAQ,CAAC,OAAO,CAAC;IACrC,CAAC;IACD,MAAM,WAAW,GAAG,yBAAyB,CAAC,SAAS,CAAC,QAAQ,CAAC,MAAM,EAAE,SAAS,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;IACjG,MAAM,MAAM,GAAG,SAAS,CAAC,QAAQ,CAAC,MAAM,CAAC;IACzC,MAAM,cAAc,GAAG,EAAE,OAAO,EAAE,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,eAAe,EAAE,MAAM,CAAC,eAAe,CAAC,MAAM,EAAE,CAAC;IAC7G,MAAM,MAAM,GAAG,KAAK,CAAC,UAAU,CAAC;IAChC,IAAI,SAAS,CAAC,QAAQ,CAAC,GAAG,CAAC,OAAO,KAAK,KAAK,CAAC,KAAK,EAAE,EAAE,IAAI,SAAS,CAAC,QAAQ,CAAC,GAAG,CAAC,QAAQ,EAAE,eAAe,KAAK,SAAS;QAAE,IAAI,CAAC,kCAAkC,CAAC,CAAC;IACnK,MAAM,KAAK,GAAG,QAAQ,EAAE,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,OAAO,KAAK,WAAW,CAAC,OAAO,CAAC,CAAC;IACpF,IAAI,CAAC,MAAM,IAAI,MAAM,CAAC,MAAM,KAAK,WAAW,IAAI,MAAM,CAAC,KAAK,KAAK,OAAO,CAAC,WAAW;QAClF,MAAM,CAAC,OAAO,KAAK,OAAO,CAAC,OAAO,IAAI,OAAO,CAAC,WAAW,KAAK,WAAW;QACzE,MAAM,CAAC,WAAW,KAAK,WAAW,IAAI,CAAC,UAAU,CAAC,MAAM,EAAE,WAAW,CAAC;QACtE,MAAM,CAAC,gBAAgB,KAAK,MAAM,CAAC,QAAQ,CAAC,YAAY;QACxD,MAAM,CAAC,iBAAiB,KAAK,MAAM,CAAC,eAAe,CAAC,MAAM;QAC1D,MAAM,CAAC,YAAY,KAAK,MAAM,CAAC,MAAM,CAAC,SAAS;QAC/C,eAAe,CAAC,MAAM,CAAC,cAAc,CAAC,KAAK,eAAe,CAAC,cAAc,CAAC;QAC1E,QAAQ,EAAE,YAAY,KAAK,WAAW,CAAC,OAAO,IAAI,CAAC,KAAK,IAAI,KAAK,CAAC,GAAG,KAAK,MAAM,CAAC,GAAG;QACpF,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,KAAK,aAAa,CAAC;QAAE,IAAI,CAAC,oBAAoB,CAAC,CAAC;IACxF,IAAI,MAAM,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAChC,MAAM,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAE,CAAC,SAAS,CAAC;QAC9C,IAAI,MAAM,CAAC,QAAQ,EAAE,WAAW,KAAK,SAAS,CAAC,SAAU,CAAC,WAAW;YACnE,MAAM,CAAC,QAAQ,CAAC,WAAW,KAAK,MAAM,CAAC,KAAK;YAC5C,eAAe,CAAC,MAAM,CAAC,QAAQ,CAAC,mBAAmB,CAAC,KAAK,eAAe,CAAC,IAAI,CAAC;YAC9E,eAAe,CAAC,MAAM,CAAC,QAAQ,CAAC,iBAAiB,CAAC,KAAK,eAAe,CAAC;gBACrE,OAAO,EAAE,MAAM,CAAC,WAAY,CAAC,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC,WAAY,CAAC,KAAK;aACvE,CAAC;YAAE,IAAI,CAAC,oBAAoB,CAAC,CAAC;IACnC,CAAC;IACD,IAAI,MAAM,CAAC,UAAU;QAAE,OAAO,iBAAiB,CAAC;IAChD,MAAM,aAAa,GAAG,CAAC,MAAM,MAAM,CAAC,OAAO,CAAC,YAAY,EAAE,CAAC,CAAC,iBAAiB,CAAC,CAAC;IAC/E,IAAI,aAAa,KAAK,SAAS,IAAI,aAAa,KAAK,SAAS,CAAC,QAAQ,CAAC,KAAK;QAAE,IAAI,CAAC,wBAAwB,CAAC,CAAC;IAC9G,OAAO;QACL,OAAO,EAAE,MAAM,CAAC,OAAO;QACvB,aAAa;QACb,kBAAkB,EAAE,MAAM,CAAC,QAAQ,CAAC,YAAY;QAChD,sBAAsB,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM;QAC3C,oBAAoB,EAAE,SAAS,CAAC,QAAQ,CAAC,MAAM;QAC/C,mBAAmB,EAAE,IAAI;QACzB,iBAAiB,EAAE,WAAW;QAC9B,MAAM,EAAE,MAAM,CAAC,MAAM;QACrB,QAAQ,EAAE,CAAC,GAAG,OAAO,CAAC,QAAQ,CAAC;KAChC,CAAC;AACJ,CAAC;AAED;;;;GAIG;AACH,MAAM,CAAC,KAAK,UAAU,2BAA2B,CAC/C,KAAoC;IAEpC,8EAA8E;IAC9E,wEAAwE;IACxE,MAAM,QAAQ,GAAG;QACf,YAAY,EAAE,KAAK,EAAE,YAAY;QACjC,MAAM,EAAE,KAAK,EAAE,MAAM;QACrB,WAAW,EAAE,KAAK,EAAE,WAAW;QAC/B,cAAc,EAAE,KAAK,EAAE,cAAc;QACrC,WAAW,EAAE,KAAK,EAAE,WAAW;QAC/B,OAAO,EAAE,KAAK,EAAE,OAAO;QACvB,WAAW,EAAE,KAAK,EAAE,WAAW;QAC/B,WAAW,EAAE,KAAK,EAAE,WAAW;QAC/B,WAAW,EAAE,KAAK,EAAE,WAAW;QAC/B,kBAAkB,EAAE,KAAK,EAAE,kBAAkB;QAC7C,kBAAkB,EAAE,KAAK,EAAE,kBAAkB;QAC7C,WAAW,EAAE,KAAK,EAAE,WAAW;QAC/B,KAAK,EAAE,KAAK,EAAE,KAAK;QACnB,WAAW,EAAE,KAAK,EAAE,WAAW;QAC/B,OAAO,EAAE,KAAK,EAAE,OAAO;QACvB,GAAG,EAAE,KAAK,EAAE,GAAG;KAChB,CAAC;IACF,IACE,OAAO,QAAQ,CAAC,YAAY,KAAK,QAAQ;QACzC,OAAO,QAAQ,CAAC,MAAM,KAAK,QAAQ;QACnC,OAAO,QAAQ,CAAC,WAAW,KAAK,QAAQ;QACxC,OAAO,QAAQ,CAAC,cAAc,KAAK,QAAQ;QAC3C,OAAO,QAAQ,CAAC,WAAW,KAAK,QAAQ;QACxC,OAAO,QAAQ,CAAC,OAAO,KAAK,QAAQ;QACpC,OAAO,QAAQ,CAAC,WAAW,KAAK,QAAQ;QACxC,OAAO,QAAQ,CAAC,GAAG,KAAK,UAAU;QAClC,CAAC,QAAQ,CAAC,KAAK,KAAK,SAAS,IAAI,OAAO,QAAQ,CAAC,KAAK,KAAK,UAAU,CAAC;QACtE,CAAC,QAAQ,CAAC,WAAW,KAAK,SAAS,IAAI,OAAO,QAAQ,CAAC,WAAW,KAAK,UAAU,CAAC;QAClF,CAAC,QAAQ,CAAC,OAAO,KAAK,SAAS,IAAI,OAAO,QAAQ,CAAC,OAAO,KAAK,UAAU,CAAC;QAE1E,IAAI,CAAC,eAAe,CAAC,CAAC;IACxB,MAAM,OAAO,GAAkC;QAC7C,GAAG,QAAQ;QACX,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,IAAI,EAAE;QAC9B,YAAY,EAAE,MAAM,QAAQ,CAAC,OAAO,CAAC,QAAQ,CAAC,YAAY,CAAC,CAAC;KAC7D,CAAC;IACF,IACE,CAAC,OAAO,CAAC,MAAM;QACf,CAAC,gBAAgB,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC;QACvC,CAAC,gBAAgB,CAAC,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC;QAE3C,IAAI,CAAC,eAAe,CAAC,CAAC;IACxB,IAAI,MAA8C,CAAC;IACnD,IAAI,SAAwC,CAAC;IAC7C,IAAI,cAAkC,CAAC;IACvC,IAAI,OAAgB,CAAC;IACrB,IAAI,KAA2B,CAAC;IAChC,IAAI,CAAC;QACH,KAAK,GAAG,MAAM,oBAAoB,CAAC;YACjC,YAAY,EAAE,OAAO,CAAC,YAAY;YAClC,MAAM,EAAE,OAAO,CAAC,MAAM;YACtB,WAAW,EAAE,OAAO,CAAC,WAAW;YAChC,WAAW,EAAE,KAAK,IAAI,EAAE;gBACtB,MAAM,KAAK,GACT,CAAC,MAAM,oBAAoB,CAAC,OAAO,CAAC,YAAY,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC;oBAClE,uBAAuB,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;gBAC1C,MAAM,QAAQ,GAAG,MAAM,2BAA2B,CAChD,OAAO,CAAC,YAAY,EACpB,OAAO,CAAC,MAAM,CACf,CAAC;gBACF,gBAAgB,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;gBACjC,IACE,KAAK,CAAC,MAAM,CAAC,IAAI,CACf,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,aAAa,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,IAAI,CAAC,KAAK,GAAG,CAAC,CAC9D;oBAED,IAAI,CAAC,qBAAqB,CAAC,CAAC;gBAC9B,MAAM,aAAa,GACjB,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;oBAClE,CAAC,CAAC;gBACJ,IAAI,aAAa,GAAG,KAAK,CAAC,QAAQ;oBAAE,IAAI,CAAC,WAAW,CAAC,CAAC;gBACtD,MAAM,GAAG,MAAM,UAAU,CAAC,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,aAAa,CAAC,CAAC;gBACnE,IAAI,MAAM,KAAK,iBAAiB;oBAAE,MAAM,IAAI,cAAc,EAAE,CAAC;gBAC7D,IAAI,QAAQ,EAAE,YAAY,KAAK,MAAM,CAAC,iBAAiB,CAAC,OAAO;oBAC7D,IAAI,CAAC,yBAAyB,CAAC,CAAC;gBAClC,SAAS,GAAG,uBAAuB,CAAC;oBAClC,WAAW,EAAE,OAAO,CAAC,WAAW;oBAChC,cAAc,EAAE,OAAO,CAAC,cAAc;oBACtC,WAAW,EAAE,OAAO,CAAC,WAAW;oBAChC,kBAAkB,EAAE,MAAM,CAAC,kBAAkB;oBAC7C,sBAAsB,EAAE,MAAM,CAAC,sBAAsB;oBACrD,oBAAoB,EAAE,MAAM,CAAC,oBAAoB;oBACjD,UAAU,EAAE,MAAM,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC,MAAM;oBAC3C,MAAM,EAAE,OAAO,CAAC,MAAM;oBACtB,mBAAmB,EAAE,MAAM,CAAC,mBAAmB;oBAC/C,oBAAoB,EAAE;wBACpB,OAAO,EAAE,MAAM,CAAC,iBAAiB,CAAC,OAAO,GAAG,CAAC;wBAC7C,KAAK,EAAE,aAAa;qBACrB;oBACD,WAAW,EAAE,OAAO,CAAC,WAAW;oBAChC,WAAW,EAAE,OAAO,CAAC,WAAW;oBAChC,kBAAkB,EAAE,OAAO,CAAC,kBAAkB;oBAC9C,kBAAkB,EAAE,OAAO,CAAC,kBAAkB;iBAC/C,CAAC,CAAC;gBACH,cAAc,GAAG,uBAAuB,CAAC,SAAS,CAAC,CAAC;gBACpD,mBAAmB,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;gBACxC,MAAM,aAAa,GAAG,uBAAuB,CAC3C,uBAAuB,CAAC,MAAM,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC,EACjD,MAAM,CAAC,QAAQ,EACf,MAAM,CAAC,MAAM,EACb;oBACE,kBAAkB,EAAE,SAAS,CAAC,kBAAkB;oBAChD,kBAAkB,EAAE,SAAS,CAAC,kBAAkB;oBAChD,mBAAmB,EAAE,CAAC;oBACtB,WAAW,EAAE,uBAAuB,CAClC,SAAS,EACT,YAAY,CAAC,OAAO,CAAC,CACtB,CAAC,WAAW;iBACd,CACF,CAAC;gBACF,IAAI,aAAa,CAAC,UAAU,KAAK,2BAA2B;oBAC1D,IAAI,CAAC,uBAAuB,CAAC,CAAC;gBAChC,MAAM,OAAO,CAAC,WAAW,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,cAAc,EAAE,CAAC,CAAC,CAAC;gBAC1E,mBAAmB,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;YAC1C,CAAC;YACD,UAAU,EAAE,KAAK,EAAE,KAAK,EAAE,SAAS,EAAE,EAAE;gBACrC,MAAM,KAAK,GAAG,MAAM,oBAAoB,CACtC,OAAO,CAAC,YAAY,EACpB,OAAO,CAAC,MAAM,CACf,CAAC;gBACF,IAAI,CAAC,KAAK,IAAI,CAAC,MAAM,IAAI,MAAM,KAAK,iBAAiB;oBACnD,IAAI,CAAC,oBAAoB,CAAC,CAAC;gBAC7B,MAAM,aAAa,GAAG,MAAM,CAAC,iBAAiB,CAAC,KAAK,CAAC;gBACrD,IACE,CAAC,SAAS,IAAI,cAAc,KAAK,SAAS;oBAC1C,SAAS,CAAC,oBAAoB,EAAE,OAAO,KAAK,KAAK,CAAC,OAAO;oBACzD,SAAS,CAAC,oBAAoB,CAAC,KAAK,KAAK,aAAa;oBAEtD,IAAI,CAAC,gBAAgB,CAAC,CAAC;gBACzB,KAAK,CAAC,UAAU,GAAG;oBACjB,MAAM,EAAE,SAAS;oBACjB,KAAK,EAAE,OAAO,CAAC,cAAc;oBAC7B,OAAO,EAAE,KAAK,CAAC,OAAO;oBACtB,KAAK,EAAE,aAAa;oBACpB,OAAO,EAAE,OAAO,CAAC,OAAO;oBACxB,WAAW,EAAE,OAAO,CAAC,WAAW;oBAChC,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;oBACnC,GAAG,EAAE,OAAO,CAAC,GAAG;oBAChB,QAAQ,EAAE;wBACR,WAAW,EAAE,SAAS,CAAC,WAAW;wBAClC,WAAW,EAAE,OAAO,CAAC,WAAW;wBAChC,mBAAmB,EAAE,MAAM,CAAC,mBAAmB;wBAC/C,iBAAiB,EAAE,MAAM,CAAC,iBAAiB;qBAC5C;iBACF,CAAC;gBACF,MAAM,UAAU,CAAC,OAAO,CAAC,YAAY,EAAE,KAAK,EAAE,SAAS,CAAC,CAAC;gBACzD,IAAI,CAAC;oBACH,MAAM,OAAO,GAAG,MAAM,iBAAiB,CAAC,MAAM,CAAC;wBAC7C,SAAS,EAAE,OAAO,CAAC,YAAY;wBAC/B,SAAS,EAAE,OAAO,CAAC,cAAc;wBACjC,IAAI,EAAE,MAAM,CAAC,OAAO,CAAC,OAAO,EAAE;wBAC9B,SAAS;qBACV,CAAC,CAAC;oBACH,MAAM,OAAO,CAAC,IAAI,CAChB,iBAAiB,EACjB,MAAM,CAAC,aAAa,EACpB,SAAS,CACV,CAAC;oBACF,MAAM,OAAO,CAAC,IAAI,CAChB,QAAQ,EACR,eAAe,CAAC;wBACd,MAAM,EAAE,OAAO,CAAC,WAAW;wBAC3B,aAAa,EAAE,MAAM,CAAC,kBAAkB;wBACxC,iBAAiB,EAAE,MAAM,CAAC,sBAAsB;qBACjD,CAAC,EACF,SAAS,CACV,CAAC;oBACF,MAAM,OAAO,CAAC,IAAI,CAChB,WAAW,EACX,cAAc,EACd,SAAS,CACV,CAAC;oBACF,MAAM,OAAO,CAAC,OAAO,EAAE,CAAC,KAAK,CAAC,CAAC;oBAC/B,MAAM,OAAO,CAAC,GAAG,CAAC,EAAE,OAAO,EAAE,SAAS,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC,CAAC;oBAC5D,MAAM,cAAc,GAAG,MAAM,OAAO,CAAC,IAAI,EAAE,CAAC;oBAC5C,MAAM,QAAQ,GAAG,MAAM,OAAO,CAAC,kBAAkB,EAAE,CAAC;oBACpD,IAAI,CAAC,cAAc,CAAC,SAAS,IAAI,CAAC,QAAQ;wBACxC,IAAI,CAAC,4BAA4B,CAAC,CAAC;oBACrC,MAAM,cAAc,GAAG,MAAM,qBAAqB,CAAC,OAAO,CAAC,CAAC;oBAC5D,MAAM,uBAAuB,CAAC,MAAM,EAAE,OAAO,EAAE,SAAS,CAAC,CAAC;oBAC1D,MAAM,gBAAgB,GAAG,MAAM,mBAAmB,CAAC,EAAE,SAAS,EAAE,OAAO,CAAC,YAAY;wBAClF,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,KAAK,EAAE,OAAO,CAAC,cAAc,EAAE,CAAC,CAAC;oBAC3D,MAAM,SAAS,GAAG,gBAAgB,CAAC,MAAM,CAAC,SAAS,CAAC;oBACpD,MAAM,MAAM,GAAG,SAAS,CAAC,QAAQ,CAAC,MAAM,CAAC;oBACzC,IACE,SAAS,CAAC,KAAK,CAAC,MAAM,KAAK,cAAc,CAAC,MAAM;wBAChD,SAAS,CAAC,SAAS,EAAE,WAAW,KAAK,SAAS,CAAC,WAAW;wBAC1D,SAAS,CAAC,SAAS,EAAE,oBAAoB,EAAE,OAAO;4BAChD,KAAK,CAAC,OAAO;wBACf,SAAS,CAAC,SAAS,CAAC,oBAAoB,CAAC,KAAK,KAAK,aAAa;wBAEhE,IAAI,CAAC,0BAA0B,CAAC,CAAC;oBACnC,KAAK,CAAC,UAAU,GAAG;wBACjB,GAAG,KAAK,CAAC,UAAU;wBACnB,MAAM,EAAE,WAAW;wBACnB,KAAK,EAAE,OAAO,CAAC,cAAc;wBAC7B,gBAAgB,EAAE,QAAQ,CAAC,YAAY;wBACvC,iBAAiB,EAAE,MAAM,CAAC,eAAe,CAAC,MAAM;wBAChD,YAAY,EAAE,MAAM,CAAC,MAAM,CAAC,SAAS;wBACrC,eAAe,EAAE,KAAK;wBACtB,WAAW,EAAE,KAAK;wBAClB,cAAc,EAAE;4BACd,OAAO,EAAE,CAAC;4BACV,MAAM,EAAE,MAAM,CAAC,MAAM;4BACrB,eAAe,EAAE,MAAM,CAAC,eAAe,CAAC,MAAM;yBAC/C;qBACF,CAAC;gBACJ,CAAC;gBAAC,OAAO,KAAK,EAAE,CAAC;oBACf,KAAK,CAAC,UAAU,GAAG,EAAE,GAAG,KAAK,CAAC,UAAU,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC;oBAC7D,OAAO,GAAG,KAAK,CAAC;gBAClB,CAAC;gBACD,KAAK,CAAC,SAAS,GAAG,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;gBAC3C,MAAM,UAAU,CAAC,OAAO,CAAC,YAAY,EAAE,KAAK,EAAE,SAAS,CAAC,CAAC;YAC3D,CAAC;SACF,CAAC,CAAC;IACL,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,IAAI,KAAK,YAAY,cAAc;YACjC,OAAO,EAAE,IAAI,EAAE,iBAAiB,EAAE,WAAW,EAAE,OAAO,CAAC,WAAW,EAAE,CAAC;QACvE,MAAM,KAAK,CAAC;IACd,CAAC;IACD,IAAI,OAAO;QAAE,MAAM,OAAO,CAAC;IAC3B,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,SAAS,EAAE,SAAU,EAAE,CAAC;AAC3D,CAAC;AAcD,SAAS,gBAAgB,CAAC,GAAW;IACnC,IAAI,CAAC;QAAC,OAAO,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;IAAC,CAAC;IAC7B,OAAO,KAAK,EAAE,CAAC;QACb,IAAK,KAA+B,CAAC,IAAI,KAAK,OAAO;YAAE,OAAO;QAC9D,wEAAwE;QACxE,IAAI,CAAC,2BAA2B,CAAC,CAAC;IACpC,CAAC;IACD,IAAI,CAAC,oBAAoB,CAAC,CAAC;AAC7B,CAAC;AAED;;;;GAIG;AACH,MAAM,CAAC,KAAK,UAAU,2BAA2B,CAAC,KAAoC;IACpF,MAAM,QAAQ,GAAG,EAAE,YAAY,EAAE,KAAK,EAAE,YAAY,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM;QACzE,cAAc,EAAE,KAAK,EAAE,cAAc,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO;QAC9D,WAAW,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,YAAY,EAAE,KAAK,EAAE,YAAY,EAAE,CAAC;IAC7G,IAAI,OAAO,QAAQ,CAAC,YAAY,KAAK,QAAQ,IAAI,OAAO,QAAQ,CAAC,MAAM,KAAK,QAAQ,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,EAAE;QAC7G,OAAO,QAAQ,CAAC,cAAc,KAAK,QAAQ,IAAI,CAAC,gEAAgE,CAAC,IAAI,CAAC,QAAQ,CAAC,cAAc,CAAC;QAC9I,CAAC,gBAAgB,CAAC,IAAI,CAAC,QAAQ,CAAC,OAAO,IAAI,EAAE,CAAC,IAAI,CAAC,gBAAgB,CAAC,IAAI,CAAC,QAAQ,CAAC,WAAW,IAAI,EAAE,CAAC;QACpG,OAAO,QAAQ,CAAC,GAAG,KAAK,UAAU,IAAI,QAAQ,CAAC,KAAK,KAAK,SAAS,IAAI,OAAO,QAAQ,CAAC,KAAK,KAAK,UAAU;QAC1G,QAAQ,CAAC,YAAY,KAAK,SAAS,IAAI,OAAO,QAAQ,CAAC,YAAY,KAAK,UAAU;QAAE,IAAI,CAAC,sBAAsB,CAAC,CAAC;IACnH,MAAM,OAAO,GAAG,EAAE,GAAG,QAAQ,EAAE,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,IAAI,EAAE,EAAE,YAAY,EAAE,MAAM,QAAQ,CAAC,OAAO,CAAC,QAAQ,CAAC,YAAY,CAAC,CAAC,EAAE,CAAC;IAC9H,OAAO,gBAAgB,CAAC,OAAO,CAAC,YAAY,EAAE,OAAO,CAAC,MAAM,EAAE,KAAK,EAAC,SAAS,EAAC,EAAE;QAC9E,MAAM,CAAC,KAAK,EAAE,QAAQ,CAAC,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC;YAC1C,oBAAoB,CAAC,OAAO,CAAC,YAAY,EAAE,OAAO,CAAC,MAAM,CAAC;YAC1D,2BAA2B,CAAC,OAAO,CAAC,YAAY,EAAE,OAAO,CAAC,MAAM,CAAC;SAClE,CAAC,CAAC;QACH,MAAM,EAAE,qBAAqB,EAAE,GAAG,MAAM,MAAM,CAAC,mBAAmB,CAAC,CAAC;QACpE,MAAM,qBAAqB,CAAC,OAAO,CAAC,YAAY,EAAE,OAAO,CAAC,MAAM,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;QAChF,MAAM,MAAM,GAAG,KAAK,EAAE,UAAU,EAAE,QAAQ,GAAG,MAAM,EAAE,QAAQ,CAAC;QAC9D,IAAI,CAAC,KAAK,IAAI,CAAC,MAAM,IAAI,CAAC,QAAQ,IAAI,MAAM,CAAC,KAAK,KAAK,OAAO,CAAC,cAAc,IAAI,CAAC,QAAQ,CAAC,WAAW;YAAE,IAAI,CAAC,uBAAuB,CAAC,CAAC;QACtI,IAAI,MAAM,CAAC,OAAO,KAAK,OAAO,CAAC,OAAO,IAAI,MAAM,CAAC,WAAW,KAAK,OAAO,CAAC,WAAW;YAAE,IAAI,CAAC,uBAAuB,CAAC,CAAC;QACpH,MAAM,KAAK,GAAG,QAAQ,EAAE,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,OAAO,KAAK,MAAM,CAAC,OAAO,CAAC,CAAC;QAC/E,IAAI,CAAC,QAAQ,IAAI,CAAC,KAAK,IAAI,KAAK,CAAC,GAAG,KAAK,MAAM,CAAC,GAAG,IAAI,QAAQ,CAAC,YAAY,KAAK,MAAM,CAAC,OAAO;YAAE,IAAI,CAAC,uBAAuB,CAAC,CAAC;QAC/H,gBAAgB,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;QACjC,IAAI,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,aAAa,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC;YAAE,IAAI,CAAC,qBAAqB,CAAC,CAAC;QAChH,MAAM,QAAQ,GAAG,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC;QACpF,MAAM,QAAQ,GAAG,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,KAAK,MAAM,CAAC,KAAK,CAAC,CAAC;QACxE,IAAI,MAAM,CAAC,KAAK,GAAG,KAAK,CAAC,QAAQ,IAAI,CAAC,QAAQ;YAC5C,CAAC,CAAC,QAAQ,CAAC,KAAK,KAAK,OAAO,CAAC,cAAc,IAAI,QAAQ,KAAK,MAAM,CAAC,KAAK,IAAI,MAAM,CAAC,MAAM,KAAK,WAAW;YACzG,CAAC,CAAC,QAAQ,GAAG,CAAC,KAAK,MAAM,CAAC,KAAK,CAAC;YAAE,IAAI,CAAC,uBAAuB,CAAC,CAAC;QAClE,IAAI,MAAM,CAAC,MAAM,KAAK,SAAS;YAAE,gBAAgB,CAAC,QAAQ,CAAC,MAAM,EAAE,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;aACtH,IAAI,QAAQ,CAAC,MAAM,EAAE,KAAK,KAAK,SAAS;YAAE,gBAAgB,CAAC,QAAQ,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;QAErF,MAAM,WAAW,GAAG,MAAM,iBAAiB,CAAC,WAAW,CAAC,cAAc,CAAC,OAAO,CAAC,YAAY,EAAE,OAAO,CAAC,MAAM,EAAE,OAAO,CAAC,cAAc,CAAC,CAAC,CAAC;QACtI,0BAA0B,CAAC,WAAW,CAAC,OAAO,EAAE,CAAC,CAAC;QAClD,MAAM,QAAQ,GAAG,MAAM,WAAW,CAAC,YAAY,EAAE,CAAC;QAClD,IAAI,CAAC,QAAQ,CAAC,SAAS,IAAI,CAAC,QAAQ,CAAC,MAAM,IAAI,CAAC,QAAQ,CAAC,iBAAiB,CAAC,IAAI,QAAQ,CAAC,MAAM,KAAK,SAAS;YAAE,IAAI,CAAC,wBAAwB,CAAC,CAAC;QAC7I,MAAM,SAAS,GAAG,uBAAuB,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC;QAC9D,IAAI,SAAS,CAAC,WAAW,KAAK,QAAQ,CAAC,WAAW,IAAI,SAAS,CAAC,cAAc,KAAK,OAAO,CAAC,cAAc;YACvG,SAAS,CAAC,MAAM,KAAK,OAAO,CAAC,MAAM,IAAI,CAAC,SAAS,CAAC,oBAAoB,IAAI,CAAC,UAAU,CAAC,SAAS,CAAC,oBAAoB,EAAE,MAAM,CAAC;YAC7H,SAAS,CAAC,WAAW,KAAK,QAAQ,CAAC,WAAW,IAAI,CAAC,UAAU,CAAC,SAAS,CAAC,mBAAmB,EAAE,QAAQ,CAAC,mBAAmB,CAAC;YAAE,IAAI,CAAC,2BAA2B,CAAC,CAAC;QAChK,MAAM,OAAO,GAAG,MAAM,mBAAmB,CAAC,EAAE,SAAS,EAAE,OAAO,CAAC,YAAY,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,KAAK,EAAE,SAAS,CAAC,WAAW,EAAE,CAAC,CAAC;QACrI,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,EAAE,SAAS,GAAG,MAAM,CAAC,SAAS,EAAE,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC,SAAS,CAAC,MAAO,CAAC,mBAAmB,CAAC;QAC3H,MAAM,WAAW,GAAG,SAAS,CAAC,WAAW,CAAC;QAC1C,IAAI,CAAC,WAAW,IAAI,WAAW,CAAC,OAAO,KAAK,SAAS,IAAI,WAAW,CAAC,KAAK,KAAK,SAAS;YACtF,CAAC,UAAU,CAAC,EAAE,OAAO,EAAE,WAAW,CAAC,OAAO,EAAE,KAAK,EAAE,WAAW,CAAC,KAAK,EAAE,EAAE,QAAQ,CAAC,iBAAiB,CAAC;YACnG,WAAW,CAAC,OAAO,GAAG,CAAC,KAAK,MAAM,CAAC,OAAO,IAAI,WAAW,CAAC,KAAK,KAAK,MAAM,CAAC,KAAK,IAAI,CAAC,UAAU,CAAC,IAAI,EAAE,SAAS,CAAC,mBAAmB,CAAC;YACpI,SAAS,CAAC,QAAQ,CAAC,MAAM,CAAC,UAAU;YAAE,IAAI,CAAC,wBAAwB,CAAC,CAAC;QACvE,IAAI,eAAe,GAAG,IAAI,CAAC,OAAO,GAAG,CAAC,CAAC;QACvC,KAAK,MAAM,KAAK,IAAI,OAAO,CAAC,IAAI,EAAE,CAAC;YACjC,MAAM,QAAQ,GAAG,KAAK,CAAC,SAAS,CAAC,WAAW,CAAC;YAC7C,IAAI,CAAC,QAAQ,IAAI,QAAQ,CAAC,OAAO,KAAK,eAAe,GAAG,CAAC,IAAI,QAAQ,CAAC,KAAK,KAAK,MAAM,CAAC,KAAK;gBAC1F,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,OAAO,KAAK,QAAQ,CAAC,OAAO,CAAC;gBAAE,IAAI,CAAC,gCAAgC,CAAC,CAAC;YAC7G,eAAe,GAAG,QAAQ,CAAC,OAAO,CAAC;QACrC,CAAC;QACD,IAAI,OAAO,CAAC,IAAI,CAAC,OAAO,KAAK,OAAO,CAAC,OAAO,IAAI,WAAW,CAAC,OAAO,EAAE,CAAC,MAAM,KAAK,OAAO,CAAC,IAAI,CAAC,MAAM;YAClG,SAAS,CAAC,UAAU,KAAK,OAAO,CAAC,IAAI,CAAC,MAAM,IAAI,SAAS,CAAC,kBAAkB,KAAK,MAAM,CAAC,QAAQ,CAAC,YAAY;YAC7G,SAAS,CAAC,sBAAsB,KAAK,MAAM,CAAC,KAAK,CAAC,MAAM,IAAI,SAAS,CAAC,oBAAoB,KAAK,SAAS,CAAC,QAAQ,CAAC,MAAM;YACxH,QAAQ,CAAC,iBAAiB,CAAC,KAAK,SAAS,CAAC,QAAQ,CAAC,KAAK;YACxD,QAAQ,CAAC,MAAM,KAAK,eAAe,CAAC,EAAE,MAAM,EAAE,SAAS,CAAC,WAAW;gBACjE,aAAa,EAAE,MAAM,CAAC,QAAQ,CAAC,YAAY,EAAE,iBAAiB,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC;YACxF,OAAO,CAAC,WAAW,KAAK,yBAAyB,CAAC,SAAS,CAAC,QAAQ,CAAC,MAAM,EAAE,SAAS,CAAC,QAAQ,CAAC,GAAG,CAAC;YAAE,IAAI,CAAC,wBAAwB,CAAC,CAAC;QACvI,MAAM,MAAM,GAAW,EAAE,OAAO,EAAE,MAAM,CAAC,OAAO,EAAE,aAAa,EAAE,SAAS,CAAC,QAAQ,CAAC,KAAK;YACvF,kBAAkB,EAAE,MAAM,CAAC,QAAQ,CAAC,YAAY,EAAE,sBAAsB,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM;YAC7F,oBAAoB,EAAE,SAAS,CAAC,QAAQ,CAAC,MAAM,EAAE,mBAAmB,EAAE,IAAI;YAC1E,iBAAiB,EAAE,EAAE,OAAO,EAAE,WAAW,CAAC,OAAO,EAAE,KAAK,EAAE,WAAW,CAAC,KAAK,EAAE;YAC7E,MAAM,EAAE,SAAS,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,QAAQ,EAAE,CAAC,GAAG,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC9E,MAAM,KAAK,GAAyB,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,OAAO,EAAE,MAAM,CAAC,OAAO;YACnF,YAAY,EAAE,QAAQ,CAAC,YAAY,EAAE,GAAG,EAAE,QAAQ,CAAC,GAAG,EAAE,SAAS,EAAE,wBAAwB,CAAC,OAAO,CAAC,YAAY,EAAE,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;QACtI,IAAI,SAAS,CAAC,QAAQ,CAAC,GAAG,CAAC,OAAO,KAAK,KAAK,CAAC,KAAK,EAAE,EAAE,IAAI,SAAS,CAAC,QAAQ,CAAC,GAAG,CAAC,QAAQ,EAAE,eAAe,KAAK,SAAS;YAAE,IAAI,CAAC,yCAAyC,CAAC,CAAC;QAC1K,MAAM,aAAa,GAAG,MAAM,WAAW,CAAC,kBAAkB,EAAE,CAAC;QAC7D,IAAI,MAAM,CAAC,MAAM,KAAK,WAAW,IAAI,CAAC,aAAa;YAAE,IAAI,CAAC,yBAAyB,CAAC,CAAC;QACrF,MAAM,UAAU,GAAG,MAAM,WAAW,CAAC,IAAI,EAAE,CAAC;QAC5C,MAAM,MAAM,GAAG,uBAAuB,CAAC,SAAS,EAAE,CAAC,OAAO,CAAC,KAAK,IAAI,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACjF,MAAM,aAAa,GAAG,eAAe,CAAC,UAAU,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC;QACrG,MAAM,qBAAqB,GAAG,MAAM,CAAC,WAAW,KAAK,CAAC;YACpD,CAAC,CAAC,eAAe,CAAC,CAAC,MAAM,WAAW,CAAC,gBAAgB,EAAE,CAAC,EAAE,OAAO,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QAEvF,MAAM,MAAM,GAAG,KAAK,EAAE,OAA0B,EAAE,EAAE;YAClD,MAAM,SAAS,GAAG,MAAM,mBAAmB,CAAC,EAAE,SAAS,EAAE,OAAO,CAAC,YAAY,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,KAAK,EAAE,OAAO,CAAC,cAAc,EAAE,CAAC,CAAC;YACxI,MAAM,QAAQ,GAAG,SAAS,CAAC,MAAM,CAAC,QAAQ,EAAE,KAAK,GAAG,SAAS,CAAC,MAAM,CAAC,KAAK,EAAE,KAAK,GAAG,SAAS,CAAC,MAAM,CAAC,SAAS,CAAC;YAC/G,IAAI,KAAK,CAAC,QAAQ,CAAC,SAAS,KAAK,QAAQ,CAAC,SAAS,IAAI,KAAK,CAAC,SAAS,EAAE,WAAW,KAAK,SAAS,CAAC,WAAW;gBAC3G,SAAS,CAAC,IAAI,CAAC,MAAM,KAAK,OAAO,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC;gBACjD,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,YAAY,KAAK,OAAO,CAAC,IAAI,CAAC,KAAK,CAAE,CAAC,QAAQ,CAAC,YAAY;oBAC3H,KAAK,CAAC,KAAK,CAAC,MAAM,KAAK,OAAO,CAAC,IAAI,CAAC,KAAK,CAAE,CAAC,KAAK,CAAC,MAAM,CAAC;gBAAE,IAAI,CAAC,0BAA0B,CAAC,CAAC;YAChG,MAAM,uBAAuB,CAAC,MAAM,EAAE,OAAO,EAAE,SAAS,CAAC,CAAC;YAC1D,IAAI,MAAM,CAAC,WAAW,KAAK,CAAC,IAAI,CAC9B,eAAe,CAAC,CAAC,MAAM,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,KAAK,aAAa;gBAC5G,eAAe,CAAC,CAAC,MAAM,OAAO,CAAC,gBAAgB,EAAE,CAAC,EAAE,OAAO,IAAI,EAAE,CAAC,KAAK,qBAAqB,CAC7F;gBAAE,IAAI,CAAC,yBAAyB,CAAC,CAAC;YACnC,MAAM,MAAM,GAAG,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC;YACrC,OAAO,EAAE,gBAAgB,EAAE,QAAQ,CAAC,YAAY,EAAE,iBAAiB,EAAE,MAAM,CAAC,eAAe,CAAC,MAAM;gBAChG,YAAY,EAAE,MAAM,CAAC,MAAM,CAAC,SAAS;gBACrC,cAAc,EAAE,EAAE,OAAO,EAAE,CAAU,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,eAAe,EAAE,MAAM,CAAC,eAAe,CAAC,MAAM,EAAE,EAAE,CAAC;QACrH,CAAC,CAAC;QACF,IAAI,MAAM,CAAC,MAAM,KAAK,WAAW,EAAE,CAAC;YAClC,MAAM,UAAU,GAAG,MAAM,MAAM,CAAC,WAAW,CAAC,CAAC;YAC7C,IAAI,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,eAAe,CAAC,MAAM,CAAC,GAA0B,CAAC,CAAC,KAAK,eAAe,CAAC,KAAK,CAAC,CAAC;gBAAE,IAAI,CAAC,2BAA2B,CAAC,CAAC;YACzK,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,SAAS,EAAE,cAAc,EAAE,IAAI,EAAE,CAAC;QACrE,CAAC;QAED,sEAAsE;QACtE,qEAAqE;QACrE,IAAI,CAAC,aAAa,IAAI,MAAM,CAAC,WAAW,GAAG,CAAC,EAAE,CAAC;YAC7C,MAAM,OAAO,CAAC,YAAY,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,cAAc,EAAE,QAAQ,CAAC,SAAU,EAAE,CAAC,CAAC,CAAC;YAChG,IAAI,uBAAuB,CAAC,SAAS,EAAE,CAAC,OAAO,CAAC,KAAK,IAAI,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,WAAW,KAAK,CAAC,EAAE,CAAC;gBACxF,IAAI,CAAC,yBAAyB,CAAC,CAAC;YAClC,CAAC;QACH,CAAC;QACD,4EAA4E;QAC5E,8EAA8E;QAC9E,MAAM,aAAa,GAAG,EAAE,GAAG,MAAM,EAAE,CAAC;QACpC,OAAO,aAAa,CAAC,cAAc,CAAC;QACpC,KAAK,CAAC,UAAU,GAAG,EAAE,GAAG,aAAa,EAAE,MAAM,EAAE,SAAS,EAAE,QAAQ,EAAE,EAAE,GAAG,QAAQ,EAAE,MAAM,EAAE,EAAE,GAAG,EAAE,OAAO,CAAC,GAAG,EAAE,KAAK,EAAE,SAAS,EAAE,EAAE,EAAE,CAAC;QACtI,KAAK,CAAC,SAAS,GAAG,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;QAC3C,MAAM,UAAU,CAAC,OAAO,CAAC,YAAY,EAAE,KAAK,EAAE,SAAS,CAAC,CAAC;QACzD,IAAI,CAAC;YACH,MAAM,OAAO,GAAG,MAAM,iBAAiB,CAAC,SAAS,CAAC,EAAE,SAAS,EAAE,OAAO,CAAC,YAAY,EAAE,SAAS,EAAE,OAAO,CAAC,cAAc;gBACpH,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE,SAAS,EAAE,CAAC,CAAC;YACnC,IAAI,CAAC,aAAa;gBAAE,MAAM,OAAO,CAAC,GAAG,CAAC,EAAE,OAAO,EAAE,SAAS,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC,CAAC;YAChF,MAAM,UAAU,GAAG,MAAM,MAAM,CAAC,OAAO,CAAC,CAAC;YACzC,KAAK,CAAC,UAAU,GAAG,EAAE,GAAG,MAAM,EAAE,GAAG,UAAU,EAAE,MAAM,EAAE,WAAW,EAAE,eAAe,EAAE,MAAM,CAAC,eAAe,IAAI,KAAK;gBAClH,WAAW,EAAE,MAAM,CAAC,WAAW,IAAI,KAAK,EAAE,QAAQ,EAAE,EAAE,GAAG,QAAQ,EAAE,MAAM,EAAE,EAAE,GAAG,EAAE,OAAO,CAAC,GAAG,EAAE,KAAK,EAAE,UAAU,EAAE,EAAE,EAAE,CAAC;YACzH,KAAK,CAAC,SAAS,GAAG,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;YAC3C,MAAM,UAAU,CAAC,OAAO,CAAC,YAAY,EAAE,KAAK,EAAE,SAAS,CAAC,CAAC;YACzD,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,SAAS,EAAE,cAAc,EAAE,aAAa,KAAK,SAAS,EAAE,CAAC;QAC5F,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,KAAK,CAAC,UAAU,GAAG,EAAE,GAAG,aAAa,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE,EAAE,GAAG,QAAQ,EAAE,MAAM,EAAE,EAAE,GAAG,EAAE,OAAO,CAAC,GAAG,EAAE,KAAK,EAAE,UAAU,EAAE,EAAE,EAAE,CAAC;YACtI,KAAK,CAAC,SAAS,GAAG,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;YAC3C,MAAM,UAAU,CAAC,OAAO,CAAC,YAAY,EAAE,KAAK,EAAE,SAAS,CAAC,CAAC;YACzD,MAAM,KAAK,CAAC;QACd,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC"}

package/dist/converge/retained-report.d.ts

@@ -0,0 +1,29 @@
+import { type RunHeaderInput } from '../report/run-header.js';
+import { type RoundReport } from './run-state.js';
+import { type NativeTargetOwnership } from './target-ownership.js';
+export interface ProcessRetainedRoundOptions {
+    gitCommonDir: string;
+    target: string;
+    round: number;
+    reportBytes: string;
+    maxRounds?: number;
+    currentHeadSha: string;
+    ownership?: NativeTargetOwnership;
+}
+/** Retained-mode guard binding; legacy launch input hashing is unchanged. */
+export declare function retainedLaunchInputSha256(capturedInputsSha256: string, run: Pick<RunHeaderInput, 'target' | 'roster' | 'spec'>): string;
+/** Route proof-bearing intake from the owned journal, never a caller's health or kind claim. */
+export declare function processReviewerRoundReport(input: ProcessRetainedRoundOptions): Promise<RoundReport>;
+/**
+ * Admit only the completed original guarded launch, under the same native
+ * ownership used for validation. Serialized health/counters are comparison
+ * claims; the sealed local proof and spent native claim supply their evidence.
+ * Successor admission and verifier authority remain unsupported here.
+ */
+export declare function processRetainedRoundReport(input: ProcessRetainedRoundOptions): Promise<RoundReport>;
+/**
+ * Admit a distinct successor from its complete sealed local ancestry. Reusing
+ * results does not waive a spent claim, admit an inconclusive round, validate a
+ * provider's refutation, or confer server/attested authority.
+ */
+export declare function processSupplementedRoundReport(input: ProcessRetainedRoundOptions): Promise<RoundReport>;