@allocator-one/rcl 4.4.19

package/dist/converge/round-gap.js

@@ -0,0 +1,334 @@
+import { randomUUID } from 'node:crypto';
+import { constants } from 'node:fs';
+import { lstat, open, readdir, realpath } from 'node:fs/promises';
+import { join, dirname, resolve } from 'node:path';
+import { isDeepStrictEqual } from 'node:util';
+import { z } from 'zod';
+import { withRecoveryTarget } from './target-ownership.js';
+import { convergeAttemptStatePath, validateConvergeAttemptState } from './attempt-budget.js';
+import { convergeRunStatePath, loadConvergeRunStateEvidence, writeState } from './run-state.js';
+import { gapManifest, roundGapManifestSchema, validateRoundGapAudit } from './round-gap-schema.js';
+import { readStable, platformPath, sha256 } from '../telemetry/recovery/files.js';
+import { decodeOriginalReport } from '../evidence/original-run/decode.js';
+import { originalRunReportSchema } from '../telemetry/recovery/source.js';
+import { inspectRecoveryDirectory, prepareLockRoot } from '../evidence/original-run/lock-path.js';
+import { openJournal, serializeRecoveryDocument, syncDirectory, writeExclusiveBytes } from '../evidence/original-run/journal.js';
+const MAX_MANIFEST = 1024 * 1024;
+const selectionSchema = z.object({ path: z.string().min(1), sha256: z.string().regex(/^[a-f0-9]{64}$/) }).strict();
+const previewSchema = z.object({ target: z.string().min(1).max(200).refine(s => s.trim() === s),
+    gapRound: z.number().int().positive().max(99), admittingRound: z.number().int().positive().max(99),
+    attempt: z.number().int().positive().safe(), runId: z.string().uuid(),
+    reportPath: z.string().min(1), reportSha256: z.string().regex(/^[a-f0-9]{64}$/),
+    incompletePath: z.string().min(1), incompleteSha256: z.string().regex(/^[a-f0-9]{64}$/),
+    evidence: z.array(selectionSchema).max(20).optional(), operationId: z.string().uuid().optional(),
+}).strict();
+const parse = (raw) => decodeOriginalReport(raw.text).value;
+const source = (path, snap) => ({ path: platformPath(path), sha256: snap.sha256, bytes: snap.raw.length });
+async function selected(path, digest) {
+    const snap = await readStable(path);
+    if (snap.sha256 !== digest)
+        throw new Error('round_gap_source_digest_mismatch');
+    return snap;
+}
+function validateNative(state, m) {
+    if (state.version !== 1 || state.target !== m.target || !Number.isSafeInteger(state.roundCap) || state.roundCap < 2 || state.roundCap > 99 ||
+        m.admittingRound > state.roundCap || !state.rounds.length || Math.max(...state.rounds.map(r => r.round)) !== m.gapRound - 1)
+        throw new Error('round_gap_not_contiguous');
+    const seen = new Set();
+    for (const round of state.rounds) {
+        if (!Number.isSafeInteger(round.round) || round.round < 1 || round.round > state.roundCap || seen.has(round.round) ||
+            !round.counts || ['new', 'repeat', 'suppressed', 'regating'].some(k => !Number.isSafeInteger(round.counts[k]) || round.counts[k] < 0))
+            throw new Error('invalid_round_gap_native_state');
+        seen.add(round.round);
+    }
+    // This operation covers one gap only; prior audits do not establish its prefix.
+    for (let round = 1; round < m.gapRound; round++) {
+        if (!seen.has(round))
+            throw new Error('round_gap_not_contiguous');
+    }
+    if (!state.findings || Array.isArray(state.findings) || Object.entries(state.findings).some(([key, f]) => !f || f.key !== key || !seen.has(f.firstRound) || !seen.has(f.lastRound) || f.firstRound > f.lastRound ||
+        !['critical', 'important', 'minor', 'nitpick'].includes(f.severity) ||
+        (f.verdict !== undefined && (!['fixed', 'dismissed'].includes(f.verdict) || !seen.has(f.verdictRound)))))
+        throw new Error('invalid_round_gap_native_state');
+    validateRoundGapAudit(state);
+}
+function validateReport(snap, m) {
+    const decoded = decodeOriginalReport(snap.text);
+    if (decoded.transformations.length)
+        throw new Error('round_gap_report_requires_interpretation');
+    const report = originalRunReportSchema.safeParse(decoded.value);
+    const converge = report.success ? report.data.run.converge : undefined;
+    const attempt = converge?.attempt;
+    if (!report.success || report.data.run.id !== m.runId || converge?.target !== m.target ||
+        converge.round !== m.admittingRound || typeof attempt !== 'number' || !Number.isSafeInteger(attempt) || attempt < 1) {
+        throw new Error('round_gap_report_binding_mismatch');
+    }
+    return attempt;
+}
+async function evidenceSources(m) {
+    const specs = 'report' in m ? [m.report, m.incomplete, ...m.evidence] :
+        [{ path: m.reportPath, sha256: m.reportSha256 }, { path: m.incompletePath, sha256: m.incompleteSha256 }, ...(m.evidence ?? [])];
+    const results = [];
+    const paths = new Set();
+    for (const item of specs) {
+        const path = platformPath(item.path);
+        if (paths.has(path))
+            throw new Error('round_gap_duplicate_source');
+        const snapshot = await selected(path, item.sha256);
+        if ('bytes' in item && snapshot.raw.length !== item.bytes)
+            throw new Error('round_gap_source_changed');
+        paths.add(path);
+        results.push(snapshot);
+    }
+    const admittingAttempt = validateReport(results[0], m);
+    if ('admittingAttempt' in m && admittingAttempt !== m.admittingAttempt.attempt)
+        throw new Error('round_gap_report_binding_mismatch');
+    if (!results[1].raw.length)
+        throw new Error('round_gap_incomplete_evidence_empty');
+    return results;
+}
+function attemptRecords(snapshot, target, gapAttempt, admittingAttempt) {
+    const attempts = validateConvergeAttemptState(parse(snapshot), target, 'round-gap-selected-attempts');
+    const gap = attempts.attempts.find(a => a.attempt === gapAttempt), admitting = attempts.attempts.find(a => a.attempt === admittingAttempt);
+    if (!gap || !admitting)
+        throw new Error('round_gap_not_bound_to_spent_attempt');
+    return { gapAttempt: gap, admittingAttempt: admitting };
+}
+/** Read-only preview: the only identities introduced belong to the audit operation. */
+export async function previewRoundGap(input, gitCommonDir) {
+    const parsed = previewSchema.safeParse(input);
+    if (!parsed.success)
+        throw new Error('invalid_round_gap_selection');
+    const selection = parsed.data, commonDir = await realpath(resolve(gitCommonDir));
+    const sources = await evidenceSources(selection);
+    const native = await readStable(convergeRunStatePath(commonDir, selection.target));
+    const attempts = await readStable(convergeAttemptStatePath(commonDir, selection.target));
+    const state = parse(native);
+    validateNative(state, selection);
+    const admittingAttempt = validateReport(sources[0], selection);
+    const manifest = { kind: 'rcl-round-gap-audit', version: 1, operationId: selection.operationId ?? randomUUID(), createdAt: new Date().toISOString(),
+        gitCommonDir: commonDir, target: selection.target, gapRound: selection.gapRound, admittingRound: selection.admittingRound,
+        attempt: selection.attempt, runId: selection.runId, reportSha256: selection.reportSha256, incompleteSha256: selection.incompleteSha256,
+        stateSha256: native.sha256, attemptSha256: attempts.sha256,
+        ...attemptRecords(attempts, selection.target, selection.attempt, admittingAttempt),
+        report: source(selection.reportPath, sources[0]), incomplete: source(selection.incompletePath, sources[1]),
+        evidence: (selection.evidence ?? []).map((s, i) => source(s.path, sources[i + 2])),
+        disposition: { kind: 'missing-terminal-report', controllerExit: 'unknown', scope: 'supplied-evidence-only' } };
+    const checked = roundGapManifestSchema.safeParse(manifest);
+    if (!checked.success)
+        throw new Error('invalid_round_gap_manifest');
+    // A preview observes one stable pair without creating a lock, snapshot or journal.
+    if ((await readStable(convergeRunStatePath(commonDir, selection.target))).sha256 !== native.sha256 ||
+        (await readStable(convergeAttemptStatePath(commonDir, selection.target))).sha256 !== attempts.sha256)
+        throw new Error('round_gap_preview_source_changed');
+    return checked.data;
+}
+/** Sync verified existing bytes; a missing file is never recreated as an acknowledgment. */
+async function syncIdentical(path, bytes) {
+    const current = await readStable(path);
+    if (!current.raw.equals(bytes))
+        throw new Error('round_gap_retained_source_conflict');
+    const handle = await open(path, constants.O_RDONLY | constants.O_NOFOLLOW | constants.O_NONBLOCK);
+    try {
+        if (!(await handle.readFile()).equals(bytes))
+            throw new Error('round_gap_retained_source_conflict');
+        await handle.sync();
+    }
+    finally {
+        await handle.close();
+    }
+    await syncDirectory(dirname(path));
+}
+/** An existing identical file still needs a successful fsync before it is durable. */
+async function retain(path, bytes) {
+    try {
+        await writeExclusiveBytes(path, bytes);
+    }
+    catch (error) {
+        if (error.code !== 'EEXIST')
+            throw error;
+        await syncIdentical(path, bytes);
+    }
+}
+export function roundGapOperationPath(gitCommonDir, operationId) {
+    if (!z.string().uuid().safeParse(operationId).success)
+        throw new Error('invalid_round_gap_operation');
+    return join(platformPath(gitCommonDir), 'rcl-converge-gap-audits', operationId);
+}
+function afterState(before, entry, m) {
+    return { ...before, updatedAt: m.createdAt, roundGapAudit: { version: 1, entries: [...(before.roundGapAudit?.entries ?? []), entry] } };
+}
+const receipt = (m, entry, after) => ({ version: 1, operationId: m.operationId,
+    manifestSha256: entry.manifestSha256, beforeStateSha256: m.stateSha256, afterStateSha256: sha256(after) });
+/** Read the existing journal chain; admission never repairs or appends checkpoints. */
+async function verifyJournal(path, entry, m, expected, completed = true) {
+    const names = (await readdir(path)).sort();
+    if ((completed && !names.length) || names.length > 1000 || names.some((name, index) => name !== `${String(index + 1).padStart(8, '0')}.json`))
+        throw new Error('round_gap_journal_invalid');
+    let previous = entry.manifestSha256, verified = false;
+    let torn = [];
+    for (const [index, name] of names.entries()) {
+        const snapshot = await readStable(join(path, name), MAX_MANIFEST);
+        let record;
+        try {
+            JSON.parse(snapshot.text);
+        }
+        catch {
+            torn.push({ file: name, sha256: snapshot.sha256 });
+            previous = snapshot.sha256;
+            continue;
+        }
+        try {
+            record = decodeOriginalReport(snapshot.text).value;
+        }
+        catch {
+            throw new Error('round_gap_journal_invalid');
+        }
+        if (!record || record.operation_id !== m.operationId || record.manifest_sha256 !== entry.manifestSha256 ||
+            record.sequence !== index + 1 || record.previous_sha256 !== previous ||
+            !['sources_retained', 'native_write_intent', 'native_audit_verified', 'complete', 'interrupted_checkpoints_retained'].includes(String(record.phase)) ||
+            !z.string().datetime().safeParse(record.recorded_at).success ||
+            Object.keys(record).sort().join(',') !== 'data,manifest_sha256,operation_id,phase,previous_sha256,recorded_at,sequence')
+            throw new Error('round_gap_journal_invalid');
+        if (torn.length && (record.phase !== 'interrupted_checkpoints_retained' || !isDeepStrictEqual(record.data, { files: torn })))
+            throw new Error('round_gap_journal_invalid');
+        torn = [];
+        previous = snapshot.sha256;
+        if (record.phase === 'native_audit_verified' && isDeepStrictEqual(record.data, expected))
+            verified = true;
+    }
+    if (completed && (torn.length || !verified))
+        throw new Error('round_gap_journal_incomplete');
+}
+/** Verify retained original bytes and the exact committed result without mutating audit files. */
+export async function verifyRoundGapReceipt(gitCommonDir, entry) {
+    const m = gapManifest(entry), commonDir = await realpath(resolve(gitCommonDir));
+    if (commonDir !== m.gitCommonDir)
+        throw new Error('round_gap_repository_changed');
+    const dir = roundGapOperationPath(commonDir, m.operationId);
+    await inspectRecoveryDirectory(dir, true);
+    const manifest = await readStable(join(dir, 'manifest.json'), MAX_MANIFEST);
+    if (manifest.sha256 !== entry.manifestSha256 || manifest.text !== entry.manifestJson)
+        throw new Error('round_gap_manifest_conflict');
+    const before = await selected(join(dir, 'native-before.json'), m.stateSha256);
+    const attempts = await selected(join(dir, 'attempts-before.json'), m.attemptSha256);
+    const state = parse(before);
+    validateNative(state, m);
+    if (!isDeepStrictEqual(attemptRecords(attempts, m.target, m.gapAttempt.attempt, m.admittingAttempt.attempt), { gapAttempt: m.gapAttempt, admittingAttempt: m.admittingAttempt }))
+        throw new Error('round_gap_attempt_changed');
+    let report;
+    for (const [index, source] of [m.report, m.incomplete, ...m.evidence].entries()) {
+        const snapshot = await selected(join(dir, `source-${index}.bin`), source.sha256);
+        if (snapshot.raw.length !== source.bytes)
+            throw new Error('round_gap_source_changed');
+        if (index === 0) {
+            if (validateReport(snapshot, m) !== m.admittingAttempt.attempt)
+                throw new Error('round_gap_report_binding_mismatch');
+            report = parse(snapshot);
+        }
+    }
+    const expected = Buffer.from(serializeRecoveryDocument(afterState(state, entry, m)));
+    if (!(await readStable(join(dir, 'native-after.json'))).raw.equals(expected) ||
+        !isDeepStrictEqual(parse(await readStable(join(dir, 'complete.json'))), receipt(m, entry, expected)))
+        throw new Error('round_gap_completion_missing_or_conflicting');
+    await verifyJournal(join(dir, 'journal'), entry, m, receipt(m, entry, expected));
+    return report;
+}
+/** Target-owned CAS with exact snapshots and append-only audit. No round or budget is created. */
+export async function applyRoundGap(input, gitCommonDir, hooks = {}) {
+    const selection = z.object({ manifest: z.string().min(1), manifestSha256: z.string().regex(/^[a-f0-9]{64}$/), mode: z.enum(['apply', 'resume']) }).strict().safeParse(input);
+    if (!selection.success)
+        throw new Error('invalid_round_gap_apply_selection');
+    const pinned = selection.data, original = await selected(pinned.manifest, pinned.manifestSha256);
+    if (original.raw.length > MAX_MANIFEST)
+        throw new Error('round_gap_manifest_oversized');
+    const entry = { manifestSha256: original.sha256, manifestJson: original.text }, m = gapManifest(entry);
+    const commonDir = await realpath(resolve(gitCommonDir));
+    if (commonDir !== m.gitCommonDir)
+        throw new Error('round_gap_repository_changed');
+    await evidenceSources(m); // Refuse substitutions before even registering a target writer.
+    return withRecoveryTarget(commonDir, m.target, async (ownership) => {
+        await selected(pinned.manifest, pinned.manifestSha256);
+        const sources = await evidenceSources(m);
+        const current = await loadConvergeRunStateEvidence(commonDir, m.target);
+        if (!current)
+            throw new Error('round_gap_state_missing');
+        const currentBytes = await readStable(convergeRunStatePath(commonDir, m.target));
+        if (currentBytes.sha256 !== current.sha256)
+            throw new Error('round_gap_state_changed');
+        parse(currentBytes); // Reject duplicate/ambiguous structural keys before any receipt effects.
+        const prior = current.state.roundGapAudit?.entries.find(e => gapManifest(e).operationId === m.operationId);
+        if (prior && !isDeepStrictEqual(prior, entry))
+            throw new Error('round_gap_operation_conflict');
+        const dir = roundGapOperationPath(commonDir, m.operationId);
+        let exists = false;
+        try {
+            exists = (await lstat(dir)).isDirectory();
+        }
+        catch (error) {
+            if (error.code !== 'ENOENT')
+                throw error;
+        }
+        if (!exists && (pinned.mode === 'resume' || prior))
+            throw new Error('round_gap_operation_missing');
+        const native = prior ? await selected(join(dir, 'native-before.json'), m.stateSha256) : await selected(convergeRunStatePath(commonDir, m.target), m.stateSha256);
+        const attempts = prior ? await selected(join(dir, 'attempts-before.json'), m.attemptSha256) : await selected(convergeAttemptStatePath(commonDir, m.target), m.attemptSha256);
+        const before = parse(native);
+        validateNative(before, m);
+        if (!isDeepStrictEqual(attemptRecords(attempts, m.target, m.gapAttempt.attempt, m.admittingAttempt.attempt), { gapAttempt: m.gapAttempt, admittingAttempt: m.admittingAttempt }))
+            throw new Error('round_gap_attempt_changed');
+        if (!prior && current.state.roundGapAudit?.entries.some(e => gapManifest(e).gapRound === m.gapRound))
+            throw new Error('round_gap_conflict');
+        await prepareLockRoot(dirname(dir));
+        await syncDirectory(commonDir);
+        await prepareLockRoot(dir);
+        await syncDirectory(dirname(dir));
+        await retain(join(dir, 'manifest.json'), original.raw);
+        await retain(join(dir, 'native-before.json'), native.raw);
+        await retain(join(dir, 'attempts-before.json'), attempts.raw);
+        for (const [index, snapshot] of sources.entries())
+            await retain(join(dir, `source-${index}.bin`), snapshot.raw);
+        const next = afterState(before, entry, m), nextBytes = Buffer.from(serializeRecoveryDocument(next));
+        await retain(join(dir, 'native-after.json'), nextBytes);
+        const journalDir = join(dir, 'journal');
+        let journalExists = false;
+        try {
+            journalExists = (await lstat(journalDir)).isDirectory();
+        }
+        catch (error) {
+            if (error.code !== 'ENOENT')
+                throw error;
+        }
+        if (journalExists) {
+            await verifyJournal(journalDir, entry, m, receipt(m, entry, nextBytes), false);
+            // A complete JSON checkpoint may have survived a failed file fsync.
+            for (const name of (await readdir(journalDir)).sort()) {
+                const path = join(journalDir, name);
+                await syncIdentical(path, (await readStable(path, MAX_MANIFEST)).raw);
+            }
+        }
+        const journal = await openJournal(journalDir, original.sha256, m.operationId, journalExists ? 'resume' : 'apply', hooks.beforeCheckpoint);
+        await journal.append('sources_retained', { stateSha256: m.stateSha256, attemptSha256: m.attemptSha256, reportSha256: m.reportSha256 });
+        if (!prior) {
+            await journal.append('native_write_intent', { afterStateSha256: sha256(nextBytes) });
+            // Every selected source must still be exact at the final publication boundary.
+            await selected(pinned.manifest, pinned.manifestSha256);
+            await evidenceSources(m);
+            await selected(convergeRunStatePath(commonDir, m.target), m.stateSha256);
+            await selected(convergeAttemptStatePath(commonDir, m.target), m.attemptSha256);
+            await writeState(commonDir, next, ownership);
+            await selected(convergeRunStatePath(commonDir, m.target), sha256(nextBytes));
+            await hooks.afterNativeWrite?.();
+        }
+        else {
+            // A prior rename can be visible even when its directory sync failed.
+            await syncIdentical(convergeRunStatePath(commonDir, m.target), currentBytes.raw);
+        }
+        await journal.append('native_audit_verified', receipt(m, entry, nextBytes));
+        await retain(join(dir, 'complete.json'), Buffer.from(serializeRecoveryDocument(receipt(m, entry, nextBytes))));
+        await verifyRoundGapReceipt(commonDir, entry);
+        await journal.append('complete', receipt(m, entry, nextBytes));
+        return prior ? 'resumed' : 'applied';
+    });
+}
+//# sourceMappingURL=round-gap.js.map

package/dist/converge/round-gap.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"round-gap.js","sourceRoot":"","sources":["../../src/converge/round-gap.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,SAAS,EAAE,MAAM,SAAS,CAAC;AACpC,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAClE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AACnD,OAAO,EAAE,iBAAiB,EAAE,MAAM,WAAW,CAAC;AAC9C,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,OAAO,EAAE,kBAAkB,EAAE,MAAM,uBAAuB,CAAC;AAC3D,OAAO,EAAE,wBAAwB,EAAE,4BAA4B,EAAE,MAAM,qBAAqB,CAAC;AAC7F,OAAO,EAAE,oBAAoB,EAAE,4BAA4B,EAAE,UAAU,EAAyB,MAAM,gBAAgB,CAAC;AACvH,OAAO,EAAE,WAAW,EAAE,sBAAsB,EAAE,qBAAqB,EAA6C,MAAM,uBAAuB,CAAC;AAC9I,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,EAAE,MAAM,gCAAgC,CAAC;AAClF,OAAO,EAAE,oBAAoB,EAAE,MAAM,oCAAoC,CAAC;AAC1E,OAAO,EAAE,uBAAuB,EAAE,MAAM,iCAAiC,CAAC;AAC1E,OAAO,EAAE,wBAAwB,EAAE,eAAe,EAAE,MAAM,uCAAuC,CAAC;AAClG,OAAO,EAAE,WAAW,EAAE,yBAAyB,EAAE,aAAa,EAAE,mBAAmB,EAAE,MAAM,qCAAqC,CAAC;AAGjI,MAAM,YAAY,GAAG,IAAI,GAAG,IAAI,CAAC;AACjC,MAAM,eAAe,GAAG,CAAC,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,KAAK,CAAC,gBAAgB,CAAC,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC;AACnH,MAAM,aAAa,GAAG,CAAC,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAC7F,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,QAAQ,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,cAAc,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,QAAQ,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC;IAClG,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,QAAQ,EAAE,CAAC,IAAI,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE;IACrE,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,KAAK,CAAC,gBAAgB,CAAC;IAC/E,cAAc,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,gBAAgB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,KAAK,CAAC,gBAAgB,CAAC;IACvF,QAAQ,EAAE,CAAC,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,QAAQ,EAAE,EAAE,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,CAAC,QAAQ,EAAE;CACjG,CAAC,CAAC,MAAM,EAAE,CAAC;AAGZ,MAAM,KAAK,GAAG,CAAC,GAAa,EAAE,EAAE,CAAC,oBAAoB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC;AACtE,MAAM,MAAM,GAAG,CAAC,IAAY,EAAE,IAAc,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,YAAY,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,KAAK,EAAE,IAAI,CAAC,GAAG,CAAC,MAAM,EAAE,CAAC,CAAC;AAE7H,KAAK,UAAU,QAAQ,CAAC,IAAY,EAAE,MAAc;IAClD,MAAM,IAAI,GAAG,MAAM,UAAU,CAAC,IAAI,CAAC,CAAC;IACpC,IAAI,IAAI,CAAC,MAAM,KAAK,MAAM;QAAE,MAAM,IAAI,KAAK,CAAC,kCAAkC,CAAC,CAAC;IAChF,OAAO,IAAI,CAAC;AACd,CAAC;AACD,SAAS,cAAc,CAAC,KAAuB,EAAE,CAA+D;IAC9G,IAAI,KAAK,CAAC,OAAO,KAAK,CAAC,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,MAAM,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,KAAK,CAAC,QAAQ,GAAG,CAAC,IAAI,KAAK,CAAC,QAAQ,GAAG,EAAE;QACtI,CAAC,CAAC,cAAc,GAAG,KAAK,CAAC,QAAQ,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,QAAQ,GAAG,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,0BAA0B,CAAC,CAAC;IAC7K,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC;QACjC,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,KAAK,GAAG,CAAC,IAAI,KAAK,CAAC,KAAK,GAAG,KAAK,CAAC,QAAQ,IAAI,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC;YAC9G,CAAC,KAAK,CAAC,MAAM,IAAI,CAAC,KAAK,EAAE,QAAQ,EAAE,YAAY,EAAE,UAAU,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,MAAM,CAAC,CAA8B,CAAC,CAAC,IAAI,KAAK,CAAC,MAAM,CAAC,CAA8B,CAAC,GAAG,CAAC,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,gCAAgC,CAAC,CAAC;QACvP,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IACxB,CAAC;IACD,gFAAgF;IAChF,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,CAAC,CAAC,QAAQ,EAAE,KAAK,EAAE,EAAE,CAAC;QAChD,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,0BAA0B,CAAC,CAAC;IACpE,CAAC;IACD,IAAI,CAAC,KAAK,CAAC,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,EAAE,CACvG,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,UAAU,GAAG,CAAC,CAAC,SAAS;QACtG,CAAC,CAAC,UAAU,EAAC,WAAW,EAAC,OAAO,EAAC,SAAS,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC;QAChE,CAAC,CAAC,CAAC,OAAO,KAAK,SAAS,IAAI,CAAC,CAAC,CAAC,OAAO,EAAC,WAAW,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,YAAa,CAAC,CAAC,CAAC,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,gCAAgC,CAAC,CAAC;IAC9J,qBAAqB,CAAC,KAAK,CAAC,CAAC;AAC/B,CAAC;AACD,SAAS,cAAc,CAAC,IAAc,EAAE,CAA4D;IAClG,MAAM,OAAO,GAAG,oBAAoB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAChD,IAAI,OAAO,CAAC,eAAe,CAAC,MAAM;QAAE,MAAM,IAAI,KAAK,CAAC,0CAA0C,CAAC,CAAC;IAChG,MAAM,MAAM,GAAG,uBAAuB,CAAC,SAAS,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;IAChE,MAAM,QAAQ,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC;IACvE,MAAM,OAAO,GAAG,QAAQ,EAAE,OAAO,CAAC;IAClC,IAAI,CAAC,MAAM,CAAC,OAAO,IAAI,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,KAAK,CAAC,CAAC,KAAK,IAAI,QAAQ,EAAE,MAAM,KAAK,CAAC,CAAC,MAAM;QAClF,QAAQ,CAAC,KAAK,KAAK,CAAC,CAAC,cAAc,IAAI,OAAO,OAAO,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,OAAO,CAAC,IAAI,OAAO,GAAG,CAAC,EAAE,CAAC;QACxH,MAAM,IAAI,KAAK,CAAC,mCAAmC,CAAC,CAAC;IACvD,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AACD,KAAK,UAAU,eAAe,CAAC,CAAuC;IACpE,MAAM,KAAK,GAAG,QAAQ,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC;QACrE,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,UAAU,EAAE,MAAM,EAAE,CAAC,CAAC,YAAY,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,cAAc,EAAE,MAAM,EAAE,CAAC,CAAC,gBAAgB,EAAE,EAAE,GAAG,CAAC,CAAC,CAAC,QAAQ,IAAI,EAAE,CAAC,CAAC,CAAC;IAClI,MAAM,OAAO,GAAe,EAAE,CAAC;IAC/B,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;IAChC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,IAAI,GAAG,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACrC,IAAI,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,4BAA4B,CAAC,CAAC;QACnE,MAAM,QAAQ,GAAG,MAAM,QAAQ,CAAC,IAAI,EAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAClD,IAAI,OAAO,IAAI,IAAI,IAAI,QAAQ,CAAC,GAAG,CAAC,MAAM,KAAK,IAAI,CAAC,KAAK;YAAE,MAAM,IAAI,KAAK,CAAC,0BAA0B,CAAC,CAAC;QACvG,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAAC,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAC1C,CAAC;IACD,MAAM,gBAAgB,GAAG,cAAc,CAAC,OAAO,CAAC,CAAC,CAAE,EAAE,CAAC,CAAC,CAAC;IACxD,IAAI,kBAAkB,IAAI,CAAC,IAAI,gBAAgB,KAAK,CAAC,CAAC,gBAAgB,CAAC,OAAO;QAAE,MAAM,IAAI,KAAK,CAAC,mCAAmC,CAAC,CAAC;IACrI,IAAI,CAAC,OAAO,CAAC,CAAC,CAAE,CAAC,GAAG,CAAC,MAAM;QAAE,MAAM,IAAI,KAAK,CAAC,qCAAqC,CAAC,CAAC;IACpF,OAAO,OAAO,CAAC;AACjB,CAAC;AACD,SAAS,cAAc,CAAC,QAAkB,EAAE,MAAc,EAAE,UAAkB,EAAE,gBAAwB;IACtG,MAAM,QAAQ,GAAG,4BAA4B,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE,MAAM,EAAE,6BAA6B,CAAC,CAAC;IACtG,MAAM,GAAG,GAAG,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,UAAU,CAAC,EAAE,SAAS,GAAG,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,gBAAgB,CAAC,CAAC;IAC3I,IAAI,CAAC,GAAG,IAAI,CAAC,SAAS;QAAE,MAAM,IAAI,KAAK,CAAC,sCAAsC,CAAC,CAAC;IAChF,OAAO,EAAE,UAAU,EAAE,GAAG,EAAE,gBAAgB,EAAE,SAAS,EAAE,CAAC;AAC1D,CAAC;AACD,uFAAuF;AACvF,MAAM,CAAC,KAAK,UAAU,eAAe,CAAC,KAAwB,EAAE,YAAoB;IAClF,MAAM,MAAM,GAAG,aAAa,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;IAC9C,IAAI,CAAC,MAAM,CAAC,OAAO;QAAE,MAAM,IAAI,KAAK,CAAC,6BAA6B,CAAC,CAAC;IACpE,MAAM,SAAS,GAAG,MAAM,CAAC,IAAI,EAAE,SAAS,GAAG,MAAM,QAAQ,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC;IACjF,MAAM,OAAO,GAAG,MAAM,eAAe,CAAC,SAAS,CAAC,CAAC;IACjD,MAAM,MAAM,GAAG,MAAM,UAAU,CAAC,oBAAoB,CAAC,SAAS,EAAE,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC;IACnF,MAAM,QAAQ,GAAG,MAAM,UAAU,CAAC,wBAAwB,CAAC,SAAS,EAAE,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC;IACzF,MAAM,KAAK,GAAG,KAAK,CAAC,MAAM,CAAqB,CAAC;IAChD,cAAc,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;IACjC,MAAM,gBAAgB,GAAG,cAAc,CAAC,OAAO,CAAC,CAAC,CAAE,EAAE,SAAS,CAAC,CAAC;IAChE,MAAM,QAAQ,GAAG,EAAE,IAAI,EAAE,qBAAqB,EAAE,OAAO,EAAE,CAAC,EAAE,WAAW,EAAE,SAAS,CAAC,WAAW,IAAI,UAAU,EAAE,EAAE,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;QACjJ,YAAY,EAAE,SAAS,EAAE,MAAM,EAAE,SAAS,CAAC,MAAM,EAAE,QAAQ,EAAE,SAAS,CAAC,QAAQ,EAAE,cAAc,EAAE,SAAS,CAAC,cAAc;QACzH,OAAO,EAAE,SAAS,CAAC,OAAO,EAAE,KAAK,EAAE,SAAS,CAAC,KAAK,EAAE,YAAY,EAAE,SAAS,CAAC,YAAY,EAAE,gBAAgB,EAAE,SAAS,CAAC,gBAAgB;QACtI,WAAW,EAAE,MAAM,CAAC,MAAM,EAAE,aAAa,EAAE,QAAQ,CAAC,MAAM;QAC1D,GAAG,cAAc,CAAC,QAAQ,EAAE,SAAS,CAAC,MAAM,EAAE,SAAS,CAAC,OAAO,EAAE,gBAAgB,CAAC;QAClF,MAAM,EAAE,MAAM,CAAC,SAAS,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC,CAAE,CAAC,EAAE,UAAU,EAAE,MAAM,CAAC,SAAS,CAAC,cAAc,EAAE,OAAO,CAAC,CAAC,CAAE,CAAC;QAC5G,QAAQ,EAAE,CAAC,SAAS,CAAC,QAAQ,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,GAAC,CAAC,CAAE,CAAC,CAAC;QAChF,WAAW,EAAE,EAAE,IAAI,EAAE,yBAAyB,EAAE,cAAc,EAAE,SAAS,EAAE,KAAK,EAAE,wBAAwB,EAAE,EAAE,CAAC;IACjH,MAAM,OAAO,GAAG,sBAAsB,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;IAC3D,IAAI,CAAC,OAAO,CAAC,OAAO;QAAE,MAAM,IAAI,KAAK,CAAC,4BAA4B,CAAC,CAAC;IACpE,mFAAmF;IACnF,IAAI,CAAC,MAAM,UAAU,CAAC,oBAAoB,CAAC,SAAS,EAAE,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,KAAK,MAAM,CAAC,MAAM;QAC9F,CAAC,MAAM,UAAU,CAAC,wBAAwB,CAAC,SAAS,EAAE,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,KAAK,QAAQ,CAAC,MAAM;QAAE,MAAM,IAAI,KAAK,CAAC,kCAAkC,CAAC,CAAC;IAC9J,OAAO,OAAO,CAAC,IAAI,CAAC;AACtB,CAAC;AAED,4FAA4F;AAC5F,KAAK,UAAU,aAAa,CAAC,IAAY,EAAE,KAAa;IACtD,MAAM,OAAO,GAAG,MAAM,UAAU,CAAC,IAAI,CAAC,CAAC;IACvC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,oCAAoC,CAAC,CAAC;IACtF,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,IAAI,EAAE,SAAS,CAAC,QAAQ,GAAG,SAAS,CAAC,UAAU,GAAG,SAAS,CAAC,UAAU,CAAC,CAAC;IAClG,IAAI,CAAC;QACH,IAAI,CAAC,CAAC,MAAM,MAAM,CAAC,QAAQ,EAAE,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,oCAAoC,CAAC,CAAC;QACpG,MAAM,MAAM,CAAC,IAAI,EAAE,CAAC;IACtB,CAAC;YAAS,CAAC;QAAC,MAAM,MAAM,CAAC,KAAK,EAAE,CAAC;IAAC,CAAC;IACnC,MAAM,aAAa,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC;AACrC,CAAC;AACD,sFAAsF;AACtF,KAAK,UAAU,MAAM,CAAC,IAAY,EAAE,KAAa;IAC/C,IAAI,CAAC;QAAC,MAAM,mBAAmB,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAAC,CAAC;IAC/C,OAAO,KAAK,EAAE,CAAC;QACb,IAAK,KAA+B,CAAC,IAAI,KAAK,QAAQ;YAAE,MAAM,KAAK,CAAC;QACpE,MAAM,aAAa,CAAC,IAAI,EAAC,KAAK,CAAC,CAAC;IAClC,CAAC;AACH,CAAC;AACD,MAAM,UAAU,qBAAqB,CAAC,YAAoB,EAAE,WAAmB;IAC7E,IAAI,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC,OAAO;QAAE,MAAM,IAAI,KAAK,CAAC,6BAA6B,CAAC,CAAC;IACtG,OAAO,IAAI,CAAC,YAAY,CAAC,YAAY,CAAC,EAAE,yBAAyB,EAAE,WAAW,CAAC,CAAC;AAClF,CAAC;AACD,SAAS,UAAU,CAAC,MAAwB,EAAE,KAAoB,EAAE,CAAmB;IACrF,OAAO,EAAE,GAAG,MAAM,EAAE,SAAS,EAAE,CAAC,CAAC,SAAS,EAAE,aAAa,EAAE,EAAE,OAAO,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,aAAa,EAAE,OAAO,IAAI,EAAE,CAAC,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC;AAC1I,CAAC;AACD,MAAM,OAAO,GAAG,CAAC,CAAmB,EAAE,KAAoB,EAAE,KAAa,EAAE,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,WAAW,EAAE,CAAC,CAAC,WAAW;IACrH,cAAc,EAAE,KAAK,CAAC,cAAc,EAAE,iBAAiB,EAAE,CAAC,CAAC,WAAW,EAAE,gBAAgB,EAAE,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;AAE7G,uFAAuF;AACvF,KAAK,UAAU,aAAa,CAAC,IAAY,EAAE,KAAoB,EAAE,CAAmB,EAAE,QAAoC,EAAE,SAAS,GAAG,IAAI;IAC1I,MAAM,KAAK,GAAG,CAAC,MAAM,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IAC3C,IAAI,CAAC,SAAS,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,KAAK,CAAC,MAAM,GAAG,IAAI,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAC,KAAK,EAAE,EAAE,CAAC,IAAI,KAAK,GAAG,MAAM,CAAC,KAAK,GAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAC,GAAG,CAAC,OAAO,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,2BAA2B,CAAC,CAAC;IACxL,IAAI,QAAQ,GAAG,KAAK,CAAC,cAAc,EAAE,QAAQ,GAAG,KAAK,CAAC;IACtD,IAAI,IAAI,GAAuC,EAAE,CAAC;IAClD,KAAK,MAAM,CAAC,KAAK,EAAC,IAAI,CAAC,IAAI,KAAK,CAAC,OAAO,EAAE,EAAE,CAAC;QAC3C,MAAM,QAAQ,GAAG,MAAM,UAAU,CAAC,IAAI,CAAC,IAAI,EAAC,IAAI,CAAC,EAAC,YAAY,CAAC,CAAC;QAChE,IAAI,MAA8B,CAAC;QACnC,IAAI,CAAC;YAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;QAAC,CAAC;QAClC,MAAM,CAAC;YAAC,IAAI,CAAC,IAAI,CAAC,EAAC,IAAI,EAAC,IAAI,EAAC,MAAM,EAAC,QAAQ,CAAC,MAAM,EAAC,CAAC,CAAC;YAAC,QAAQ,GAAC,QAAQ,CAAC,MAAM,CAAC;YAAC,SAAS;QAAC,CAAC;QAC5F,IAAI,CAAC;YAAC,MAAM,GAAG,oBAAoB,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,KAA+B,CAAC;QAAC,CAAC;QACrF,MAAM,CAAC;YAAC,MAAM,IAAI,KAAK,CAAC,2BAA2B,CAAC,CAAC;QAAC,CAAC;QACvD,IAAI,CAAC,MAAM,IAAI,MAAM,CAAC,YAAY,KAAK,CAAC,CAAC,WAAW,IAAI,MAAM,CAAC,eAAe,KAAK,KAAK,CAAC,cAAc;YACnG,MAAM,CAAC,QAAQ,KAAK,KAAK,GAAC,CAAC,IAAI,MAAM,CAAC,eAAe,KAAK,QAAQ;YAClE,CAAC,CAAC,kBAAkB,EAAC,qBAAqB,EAAC,uBAAuB,EAAC,UAAU,EAAC,kCAAkC,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;YAChJ,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE,CAAC,SAAS,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,OAAO;YAC5D,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,8EAA8E;YAAE,MAAM,IAAI,KAAK,CAAC,2BAA2B,CAAC,CAAC;QAC1K,IAAI,IAAI,CAAC,MAAM,IAAI,CAAC,MAAM,CAAC,KAAK,KAAK,kCAAkC,IAAI,CAAC,iBAAiB,CAAC,MAAM,CAAC,IAAI,EAAC,EAAC,KAAK,EAAC,IAAI,EAAC,CAAC,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,2BAA2B,CAAC,CAAC;QACvK,IAAI,GAAC,EAAE,CAAC;QAAC,QAAQ,GAAC,QAAQ,CAAC,MAAM,CAAC;QAClC,IAAI,MAAM,CAAC,KAAK,KAAK,uBAAuB,IAAI,iBAAiB,CAAC,MAAM,CAAC,IAAI,EAAC,QAAQ,CAAC;YAAE,QAAQ,GAAC,IAAI,CAAC;IACzG,CAAC;IACD,IAAI,SAAS,IAAI,CAAC,IAAI,CAAC,MAAM,IAAI,CAAC,QAAQ,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,8BAA8B,CAAC,CAAC;AAC/F,CAAC;AAED,kGAAkG;AAClG,MAAM,CAAC,KAAK,UAAU,qBAAqB,CAAC,YAAoB,EAAE,KAAoB;IACpF,MAAM,CAAC,GAAG,WAAW,CAAC,KAAK,CAAC,EAAE,SAAS,GAAG,MAAM,QAAQ,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC;IAChF,IAAI,SAAS,KAAK,CAAC,CAAC,YAAY;QAAE,MAAM,IAAI,KAAK,CAAC,8BAA8B,CAAC,CAAC;IAClF,MAAM,GAAG,GAAG,qBAAqB,CAAC,SAAS,EAAE,CAAC,CAAC,WAAW,CAAC,CAAC;IAC5D,MAAM,wBAAwB,CAAC,GAAG,EAAC,IAAI,CAAC,CAAC;IACzC,MAAM,QAAQ,GAAG,MAAM,UAAU,CAAC,IAAI,CAAC,GAAG,EAAE,eAAe,CAAC,EAAE,YAAY,CAAC,CAAC;IAC5E,IAAI,QAAQ,CAAC,MAAM,KAAK,KAAK,CAAC,cAAc,IAAI,QAAQ,CAAC,IAAI,KAAK,KAAK,CAAC,YAAY;QAAE,MAAM,IAAI,KAAK,CAAC,6BAA6B,CAAC,CAAC;IACrI,MAAM,MAAM,GAAG,MAAM,QAAQ,CAAC,IAAI,CAAC,GAAG,EAAE,oBAAoB,CAAC,EAAE,CAAC,CAAC,WAAW,CAAC,CAAC;IAC9E,MAAM,QAAQ,GAAG,MAAM,QAAQ,CAAC,IAAI,CAAC,GAAG,EAAE,sBAAsB,CAAC,EAAE,CAAC,CAAC,aAAa,CAAC,CAAC;IACpF,MAAM,KAAK,GAAG,KAAK,CAAC,MAAM,CAAqB,CAAC;IAAC,cAAc,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;IAC1E,IAAI,CAAC,iBAAiB,CAAC,cAAc,CAAC,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,UAAU,CAAC,OAAO,EAAE,CAAC,CAAC,gBAAgB,CAAC,OAAO,CAAC,EAAE,EAAE,UAAU,EAAE,CAAC,CAAC,UAAU,EAAE,gBAAgB,EAAE,CAAC,CAAC,gBAAgB,EAAE,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,2BAA2B,CAAC,CAAC;IAC/N,IAAI,MAAgC,CAAC;IACrC,KAAK,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,EAAC,CAAC,CAAC,UAAU,EAAC,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC;QAC9E,MAAM,QAAQ,GAAG,MAAM,QAAQ,CAAC,IAAI,CAAC,GAAG,EAAE,UAAU,KAAK,MAAM,CAAC,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC;QACjF,IAAI,QAAQ,CAAC,GAAG,CAAC,MAAM,KAAK,MAAM,CAAC,KAAK;YAAE,MAAM,IAAI,KAAK,CAAC,0BAA0B,CAAC,CAAC;QACtF,IAAI,KAAK,KAAK,CAAC,EAAE,CAAC;YAChB,IAAI,cAAc,CAAC,QAAQ,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,gBAAgB,CAAC,OAAO;gBAAE,MAAM,IAAI,KAAK,CAAC,mCAAmC,CAAC,CAAC;YACrH,MAAM,GAAG,KAAK,CAAC,QAAQ,CAAiB,CAAC;QAC3C,CAAC;IACH,CAAC;IACD,MAAM,QAAQ,GAAG,MAAM,CAAC,IAAI,CAAC,yBAAyB,CAAC,UAAU,CAAC,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IACrF,IAAI,CAAC,CAAC,MAAM,UAAU,CAAC,IAAI,CAAC,GAAG,EAAE,mBAAmB,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,QAAQ,CAAC;QACxE,CAAC,iBAAiB,CAAC,KAAK,CAAC,MAAM,UAAU,CAAC,IAAI,CAAC,GAAG,EAAE,eAAe,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,EAAC,KAAK,EAAC,QAAQ,CAAC,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,6CAA6C,CAAC,CAAC;IACvK,MAAM,aAAa,CAAC,IAAI,CAAC,GAAG,EAAC,SAAS,CAAC,EAAC,KAAK,EAAC,CAAC,EAAC,OAAO,CAAC,CAAC,EAAC,KAAK,EAAC,QAAQ,CAAC,CAAC,CAAC;IAC3E,OAAO,MAAO,CAAC;AACjB,CAAC;AAOD,kGAAkG;AAClG,MAAM,CAAC,KAAK,UAAU,aAAa,CAAC,KAA2B,EAAE,YAAoB,EAAE,QAAuB,EAAE;IAC9G,MAAM,SAAS,GAAG,CAAC,CAAC,MAAM,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,cAAc,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,KAAK,CAAC,gBAAgB,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,OAAO,EAAC,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;IAC5K,IAAI,CAAC,SAAS,CAAC,OAAO;QAAE,MAAM,IAAI,KAAK,CAAC,mCAAmC,CAAC,CAAC;IAC7E,MAAM,MAAM,GAAG,SAAS,CAAC,IAAI,EAAE,QAAQ,GAAG,MAAM,QAAQ,CAAC,MAAM,CAAC,QAAQ,EAAE,MAAM,CAAC,cAAc,CAAC,CAAC;IACjG,IAAI,QAAQ,CAAC,GAAG,CAAC,MAAM,GAAG,YAAY;QAAE,MAAM,IAAI,KAAK,CAAC,8BAA8B,CAAC,CAAC;IACxF,MAAM,KAAK,GAAG,EAAE,cAAc,EAAE,QAAQ,CAAC,MAAM,EAAE,YAAY,EAAE,QAAQ,CAAC,IAAI,EAAE,EAAE,CAAC,GAAG,WAAW,CAAC,KAAK,CAAC,CAAC;IACvG,MAAM,SAAS,GAAG,MAAM,QAAQ,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC;IACxD,IAAI,SAAS,KAAK,CAAC,CAAC,YAAY;QAAE,MAAM,IAAI,KAAK,CAAC,8BAA8B,CAAC,CAAC;IAClF,MAAM,eAAe,CAAC,CAAC,CAAC,CAAC,CAAC,gEAAgE;IAC1F,OAAO,kBAAkB,CAAC,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE,KAAK,EAAC,SAAS,EAAC,EAAE;QAC/D,MAAM,QAAQ,CAAC,MAAM,CAAC,QAAQ,EAAE,MAAM,CAAC,cAAc,CAAC,CAAC;QACvD,MAAM,OAAO,GAAG,MAAM,eAAe,CAAC,CAAC,CAAC,CAAC;QACzC,MAAM,OAAO,GAAG,MAAM,4BAA4B,CAAC,SAAS,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC;QACxE,IAAI,CAAC,OAAO;YAAE,MAAM,IAAI,KAAK,CAAC,yBAAyB,CAAC,CAAC;QACzD,MAAM,YAAY,GAAG,MAAM,UAAU,CAAC,oBAAoB,CAAC,SAAS,EAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;QAChF,IAAI,YAAY,CAAC,MAAM,KAAK,OAAO,CAAC,MAAM;YAAE,MAAM,IAAI,KAAK,CAAC,yBAAyB,CAAC,CAAC;QACvF,KAAK,CAAC,YAAY,CAAC,CAAC,CAAC,yEAAyE;QAC9F,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,aAAa,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,WAAW,KAAK,CAAC,CAAC,WAAW,CAAC,CAAC;QAC3G,IAAI,KAAK,IAAI,CAAC,iBAAiB,CAAC,KAAK,EAAC,KAAK,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,8BAA8B,CAAC,CAAC;QAC9F,MAAM,GAAG,GAAG,qBAAqB,CAAC,SAAS,EAAE,CAAC,CAAC,WAAW,CAAC,CAAC;QAC5D,IAAI,MAAM,GAAG,KAAK,CAAC;QACnB,IAAI,CAAC;YAAC,MAAM,GAAG,CAAC,MAAM,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC;QAAC,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YAAC,IAAK,KAA+B,CAAC,IAAI,KAAK,QAAQ;gBAAE,MAAM,KAAK,CAAC;QAAC,CAAC;QACzI,IAAI,CAAC,MAAM,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,QAAQ,IAAI,KAAK,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,6BAA6B,CAAC,CAAC;QACnG,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,CAAC,MAAM,QAAQ,CAAC,IAAI,CAAC,GAAG,EAAC,oBAAoB,CAAC,EAAE,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,MAAM,QAAQ,CAAC,oBAAoB,CAAC,SAAS,EAAC,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,WAAW,CAAC,CAAC;QAC/J,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,CAAC,MAAM,QAAQ,CAAC,IAAI,CAAC,GAAG,EAAC,sBAAsB,CAAC,EAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,MAAM,QAAQ,CAAC,wBAAwB,CAAC,SAAS,EAAC,CAAC,CAAC,MAAM,CAAC,EAAC,CAAC,CAAC,aAAa,CAAC,CAAC;QACzK,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,CAAqB,CAAC;QAAC,cAAc,CAAC,MAAM,EAAC,CAAC,CAAC,CAAC;QAC3E,IAAI,CAAC,iBAAiB,CAAC,cAAc,CAAC,QAAQ,EAAC,CAAC,CAAC,MAAM,EAAC,CAAC,CAAC,UAAU,CAAC,OAAO,EAAC,CAAC,CAAC,gBAAgB,CAAC,OAAO,CAAC,EAAE,EAAC,UAAU,EAAC,CAAC,CAAC,UAAU,EAAC,gBAAgB,EAAC,CAAC,CAAC,gBAAgB,EAAC,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,2BAA2B,CAAC,CAAC;QACvN,IAAI,CAAC,KAAK,IAAI,OAAO,CAAC,KAAK,CAAC,aAAa,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,QAAQ,KAAK,CAAC,CAAC,QAAQ,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,oBAAoB,CAAC,CAAC;QAC5I,MAAM,eAAe,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC;QAAC,MAAM,aAAa,CAAC,SAAS,CAAC,CAAC;QACpE,MAAM,eAAe,CAAC,GAAG,CAAC,CAAC;QAAC,MAAM,aAAa,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC;QAC9D,MAAM,MAAM,CAAC,IAAI,CAAC,GAAG,EAAC,eAAe,CAAC,EAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;QACrD,MAAM,MAAM,CAAC,IAAI,CAAC,GAAG,EAAC,oBAAoB,CAAC,EAAC,MAAM,CAAC,GAAG,CAAC,CAAC;QACxD,MAAM,MAAM,CAAC,IAAI,CAAC,GAAG,EAAC,sBAAsB,CAAC,EAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;QAC5D,KAAK,MAAM,CAAC,KAAK,EAAC,QAAQ,CAAC,IAAI,OAAO,CAAC,OAAO,EAAE;YAAE,MAAM,MAAM,CAAC,IAAI,CAAC,GAAG,EAAC,UAAU,KAAK,MAAM,CAAC,EAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;QAC7G,MAAM,IAAI,GAAG,UAAU,CAAC,MAAM,EAAC,KAAK,EAAC,CAAC,CAAC,EAAE,SAAS,GAAG,MAAM,CAAC,IAAI,CAAC,yBAAyB,CAAC,IAAI,CAAC,CAAC,CAAC;QAClG,MAAM,MAAM,CAAC,IAAI,CAAC,GAAG,EAAC,mBAAmB,CAAC,EAAC,SAAS,CAAC,CAAC;QACtD,MAAM,UAAU,GAAG,IAAI,CAAC,GAAG,EAAC,SAAS,CAAC,CAAC;QAAC,IAAI,aAAa,GAAG,KAAK,CAAC;QAClE,IAAI,CAAC;YAAC,aAAa,GAAG,CAAC,MAAM,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC;QAAC,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YAAC,IAAK,KAA+B,CAAC,IAAI,KAAK,QAAQ;gBAAE,MAAM,KAAK,CAAC;QAAC,CAAC;QACvJ,IAAI,aAAa,EAAE,CAAC;YAClB,MAAM,aAAa,CAAC,UAAU,EAAC,KAAK,EAAC,CAAC,EAAC,OAAO,CAAC,CAAC,EAAC,KAAK,EAAC,SAAS,CAAC,EAAC,KAAK,CAAC,CAAC;YACzE,oEAAoE;YACpE,KAAK,MAAM,IAAI,IAAI,CAAC,MAAM,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;gBACtD,MAAM,IAAI,GAAG,IAAI,CAAC,UAAU,EAAC,IAAI,CAAC,CAAC;gBACnC,MAAM,aAAa,CAAC,IAAI,EAAC,CAAC,MAAM,UAAU,CAAC,IAAI,EAAC,YAAY,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;YACtE,CAAC;QACH,CAAC;QACD,MAAM,OAAO,GAAG,MAAM,WAAW,CAAC,UAAU,EAAC,QAAQ,CAAC,MAAM,EAAC,CAAC,CAAC,WAAW,EAAC,aAAa,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,OAAO,EAAE,KAAK,CAAC,gBAAgB,CAAC,CAAC;QACvI,MAAM,OAAO,CAAC,MAAM,CAAC,kBAAkB,EAAE,EAAE,WAAW,EAAC,CAAC,CAAC,WAAW,EAAC,aAAa,EAAC,CAAC,CAAC,aAAa,EAAC,YAAY,EAAC,CAAC,CAAC,YAAY,EAAE,CAAC,CAAC;QAClI,IAAI,CAAC,KAAK,EAAE,CAAC;YACX,MAAM,OAAO,CAAC,MAAM,CAAC,qBAAqB,EAAE,EAAE,gBAAgB,EAAC,MAAM,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;YACpF,+EAA+E;YAC/E,MAAM,QAAQ,CAAC,MAAM,CAAC,QAAQ,EAAC,MAAM,CAAC,cAAc,CAAC,CAAC;YACtD,MAAM,eAAe,CAAC,CAAC,CAAC,CAAC;YACzB,MAAM,QAAQ,CAAC,oBAAoB,CAAC,SAAS,EAAC,CAAC,CAAC,MAAM,CAAC,EAAC,CAAC,CAAC,WAAW,CAAC,CAAC;YACvE,MAAM,QAAQ,CAAC,wBAAwB,CAAC,SAAS,EAAC,CAAC,CAAC,MAAM,CAAC,EAAC,CAAC,CAAC,aAAa,CAAC,CAAC;YAC7E,MAAM,UAAU,CAAC,SAAS,EAAC,IAAI,EAAC,SAAS,CAAC,CAAC;YAC3C,MAAM,QAAQ,CAAC,oBAAoB,CAAC,SAAS,EAAC,CAAC,CAAC,MAAM,CAAC,EAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC;YAC3E,MAAM,KAAK,CAAC,gBAAgB,EAAE,EAAE,CAAC;QACnC,CAAC;aAAM,CAAC;YACN,qEAAqE;YACrE,MAAM,aAAa,CAAC,oBAAoB,CAAC,SAAS,EAAC,CAAC,CAAC,MAAM,CAAC,EAAC,YAAY,CAAC,GAAG,CAAC,CAAC;QACjF,CAAC;QACD,MAAM,OAAO,CAAC,MAAM,CAAC,uBAAuB,EAAC,OAAO,CAAC,CAAC,EAAC,KAAK,EAAC,SAAS,CAAC,CAAC,CAAC;QACzE,MAAM,MAAM,CAAC,IAAI,CAAC,GAAG,EAAC,eAAe,CAAC,EAAC,MAAM,CAAC,IAAI,CAAC,yBAAyB,CAAC,OAAO,CAAC,CAAC,EAAC,KAAK,EAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC;QAC3G,MAAM,qBAAqB,CAAC,SAAS,EAAC,KAAK,CAAC,CAAC;QAC7C,MAAM,OAAO,CAAC,MAAM,CAAC,UAAU,EAAC,OAAO,CAAC,CAAC,EAAC,KAAK,EAAC,SAAS,CAAC,CAAC,CAAC;QAC5D,OAAO,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC;IACvC,CAAC,CAAC,CAAC;AACL,CAAC"}

package/dist/converge/run-state.d.ts

@@ -0,0 +1,224 @@
+import { type RejectionEntry } from './terminal-rejection-schema.js';
+import { type StaleReportEntry } from './stale-report-schema.js';
+import { type NativeTargetOwnership } from './target-ownership.js';
+import { type RoundGapEntry } from './round-gap-schema.js';
+import type { ConsensusFinding } from '../consensus/types.js';
+import type { GuardedLaunchState } from './launch-guard.js';
+import { type NativeReviewCycle } from './review-cycle.js';
+/**
+ * Per-converge-run state (RCL-24): the machine-enforced round cap and the
+ * cross-round finding ledger (identity, verdicts, suppression). Lives next
+ * to the attempt budget in the repository's common git dir — durable across
+ * sessions, repo-scoped, not world-writable. The converge target lock
+ * serializes writers per target at the workflow level.
+ */
+export declare const DEFAULT_CONVERGE_ROUND_CAP = 15;
+export declare const HARD_CONVERGE_ROUND_CAP = 99;
+export declare const MIN_CONVERGE_ROUNDS = 2;
+export declare class ConvergeRoundCapError extends Error {
+    readonly target: string;
+    readonly round: number;
+    readonly cap: number;
+    readonly code = "RCL_CONVERGE_ROUND_CAP";
+    constructor(target: string, round: number, cap: number);
+}
+export declare class ConvergeRunStateError extends Error {
+    readonly code = "RCL_CONVERGE_RUN_STATE";
+    constructor(message: string, options?: ErrorOptions);
+}
+export declare function validateRoundCap(maxRounds: number): number;
+export type FindingVerdict = 'fixed' | 'dismissed';
+export interface FindingEntry {
+    key: string;
+    file: string;
+    category: string;
+    startLine: number;
+    endLine: number;
+    title: string;
+    /** Digest of claim text for conservative matching without retaining prose. */
+    claimTextSha256?: string;
+    /** Absent in old state: treat it as legacy and never trust its digest for modern matching. */
+    identityOrigin?: 'modern' | 'legacy';
+    /** Exact report key makes a retry of the immutable source report idempotent. */
+    sourceReportIdentity?: string;
+    severity: string;
+    models: string[];
+    firstRound: number;
+    lastRound: number;
+    verdict?: FindingVerdict;
+    verdictReason?: string;
+    verdictRound?: number;
+    /**
+     * Severity at the moment the verdict was recorded (RCL-30). A dismissal is
+     * terminal on that evidence; only escalation past it re-gates. Absent on
+     * pre-2.1.1 states — the retained `severity` is frozen before new sightings.
+     */
+    verdictSeverity?: string;
+}
+export interface RoundCounts {
+    new: number;
+    repeat: number;
+    suppressed: number;
+    regating: number;
+}
+export interface ConvergeRunState {
+    version: 1 | 2;
+    cycle?: NativeReviewCycle;
+    target: string;
+    roundCap: number;
+    /** `runId` is the report's `run.id` (rcl ≥ 3.0), which converge-verdict sends with every verdict. */
+    rounds: Array<{
+        round: number;
+        counts: RoundCounts;
+        runId?: string;
+        /** Strongest sighting per identity in this round, including for delayed verdicts. Absent in legacy state. */
+        severities?: Record<string, ConsensusFinding['severity']>;
+    }>;
+    findings: Record<string, FindingEntry>;
+    updatedAt: string;
+    lastLaunch?: GuardedLaunchState;
+    terminalRejections?: RejectionEntry[];
+    terminalRejectionCount?: number;
+    staleReportAudit?: StaleReportEntry[];
+    /** Detect accidental truncation while preserving native state as the local authority. */
+    staleReportAuditCount?: number;
+    /** Additive local audit only; entries never stand for an admitted round. */
+    roundGapAudit?: {
+        version: 1;
+        entries: RoundGapEntry[];
+    };
+    /**
+     * The most recent round's classified identities (RCL-30), so
+     * `converge-verdict` can decide the round's resolution — in particular
+     * whether a dismissal-only round converges — without re-reading the report.
+     * Replaced whenever a round is processed; absent on pre-2.1.1 states.
+     */
+    lastAnnotations?: {
+        round: number;
+        identities: Array<{
+            identity: string;
+            status: FindingStatus;
+            gating: string;
+        }>;
+    };
+}
+export type FindingStatus = 'new' | 'repeat' | 'suppressed' | 'regating';
+export interface AnnotatedRoundFinding {
+    identity: string;
+    status: FindingStatus;
+    suppressReason?: string;
+    finding: ConsensusFinding;
+}
+export interface RoundReport {
+    roundCap: number;
+    counts: RoundCounts;
+    findings: AnnotatedRoundFinding[];
+}
+export declare function convergeRunStatePath(gitCommonDir: string, target: string): string;
+export declare function initialConvergeRunState(target: string): ConvergeRunState;
+/** Read-only native evidence: state and the digest of the same bytes, without re-encoding or persisting it. */
+export declare function loadConvergeRunStateEvidence(gitCommonDir: string, target: string): Promise<{
+    state: ConvergeRunState;
+    sha256: string;
+} | undefined>;
+/** Persist only under live explicit target authority; started writes drain before release. */
+export declare function writeState(gitCommonDir: string, state: ConvergeRunState, ownership: NativeTargetOwnership): Promise<void>;
+/** Read-only qualification for an update to an existing native state file. */
+export declare function preflightConvergeRunStateWrite(gitCommonDir: string, state: ConvergeRunState, ownership: NativeTargetOwnership): Promise<void>;
+export declare function loadConvergeRunState(gitCommonDir: string, target: string): Promise<ConvergeRunState | undefined>;
+/** The run id recorded for a round, when its report carried one. */
+export declare function roundRunId(state: ConvergeRunState | undefined, round: number): string | undefined;
+/**
+ * Gating reason for a finding, tolerating legacy reports without RCL-23
+ * annotations. Shared with the CLI so classification and display agree.
+ */
+export declare function findingGatingReason(f: {
+    severity: string;
+    gating?: {
+        reason: string;
+    };
+}): string;
+/** The part of a classified finding that must survive report-key deduplication. */
+export interface ReportIdentityMapping {
+    identity: string;
+    status: FindingStatus;
+    suppressReason?: string;
+    finding: {
+        identity?: string;
+    };
+}
+/** Refuse ambiguous legacy report keys before persisting or publishing classifications. */
+export declare function validateReportIdentityMappings(findings: readonly ReportIdentityMapping[]): void;
+/**
+ * Dedupe one round's findings against every prior round of this run,
+ * enforce the round cap, and persist the updated identity ledger.
+ *
+ * Suppression rule (RCL-30): a dismissal is terminal on its evidence. A
+ * finding DISMISSED in an earlier round stays 'suppressed' no matter how many
+ * models raise it again — identity matching is location-anchored, so a claim
+ * about different code is a new identity, not a repeat sighting. The one
+ * re-gate trigger is escalation: a sighting turned critical after a
+ * non-critical dismissal is 'regating' and goes back in front of triage.
+ * (Before 2.1.1 fresh ≥2-model corroboration also re-gated; on large diffs
+ * that reopened popular false positives every round — see allocator-one#7774,
+ * 24 rounds.)
+ */
+export interface ProcessRoundOptions {
+    gitCommonDir: string;
+    target: string;
+    round: number;
+    findings: ConsensusFinding[];
+    maxRounds?: number;
+    lineWindow?: number;
+    /** The report's own run id, kept so verdicts can be bound to the round's run. */
+    runId?: string;
+    reportSha256?: string;
+    cycleId?: string;
+    ownership?: NativeTargetOwnership;
+}
+export declare function processRoundReport(options: ProcessRoundOptions): Promise<RoundReport>;
+/**
+ * Resolution of one evidence round after triage (RCL-30). A round whose
+ * gating identities were all dismissed — nothing fixed, so the reviewed
+ * patch is unchanged — CONVERGES on the spot; no confirmation round exists
+ * that could say anything new about the same code.
+ */
+export interface RoundResolution {
+    round: number;
+    /** Gating identities this round put in front of triage (new + regating, gating ≠ none). */
+    actionable: number;
+    /** Actionable identities still lacking a verdict recorded for this round. */
+    unresolved: string[];
+    /** Identities recorded fixed this round (any status — every fix changes the patch). */
+    fixedThisRound: number;
+    status: 'converged-dismissal-only' | 'fixes-pending-fresh-round' | 'unresolved';
+}
+export interface RecordVerdictsResult {
+    runId?: string;
+    entries: FindingEntry[];
+    /**
+     * Present only when the verdicts belong to the most recently processed
+     * round; verdicts recorded against older rounds make no resolution claim.
+     */
+    resolution?: RoundResolution;
+}
+/**
+ * Record triage verdicts for this run's findings (feeds suppression and
+ * RCL-27's cross-run precision history). Returns the updated entries so the
+ * caller can append them to the global model-stats store, plus the round's
+ * resolution when it can be decided.
+ */
+export interface RecordVerdictsOptions {
+    runId?: string;
+    gitCommonDir: string;
+    target: string;
+    round: number;
+    verdicts: Array<{
+        key: string;
+        verdict: FindingVerdict;
+        reason?: string;
+    }>;
+    ownership?: NativeTargetOwnership;
+}
+export declare function recordVerdicts(options: RecordVerdictsOptions): Promise<RecordVerdictsResult>;
+export declare function resolveRoundResolution(state: ConvergeRunState, round: number): RoundResolution | undefined;