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

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

@@ -0,0 +1,509 @@
+import { canonicalHash } from './native-canonical-hash.js';
+import { buildNativeRepairSignature, decideNativeRepairOverride, decideNativeRepairStagnation, hashNativeRepairOverrideSummary, NATIVE_REPAIR_STAGNATION_LIMITS, normalizeNativeRepairFailureTokens, } from './native-repair-stagnation.js';
+import { parseNativeVerificationEvidenceEnvelope, } from './native-verification-evidence.js';
+import { parseNativeImplementationScopeBundle, } from './native-verification-scope.js';
+import { NATIVE_TRAJECTORY_MAX_TEXT_CHARACTERS } from './native-trajectory-limits.js';
+export const NATIVE_REPAIR_TRAJECTORY_FIELD = 'repairStagnation';
+export const NATIVE_REPAIR_TRAJECTORY_LIMITS = {
+    maxEvents: 4_096,
+    maxDataDepth: 8,
+    maxDataNodes: 4_096,
+    maxTotalDataNodes: 65_536,
+    maxObjectFields: 64,
+    maxArrayEntries: 256,
+    maxKeyCharacters: 128,
+    maxTextCharacters: NATIVE_TRAJECTORY_MAX_TEXT_CHARACTERS,
+    maxEventDataCharacters: 65_536,
+    maxTotalDataCharacters: 1_048_576,
+    maxRunIdCharacters: 256,
+};
+const HASH_PATTERN = /^[a-f0-9]{64}$/u;
+const REPAIR_SCOPE_HASH_TAG = 'comet.native.repair-scope.v1';
+const EVENT_TYPES = new Set([
+    'run_started',
+    'action_proposed',
+    'action_completed',
+    'eval_completed',
+    'checkpoint',
+    'state_migrated',
+    'state_transitioned',
+    'command_check_recorded',
+    'recovery_reconciled',
+]);
+const EVENT_KEYS = ['data', 'runId', 'sequence', 'timestamp', 'type'];
+const PROJECTION_KEYS = ['disposition', 'overrideSummaryHash', 'signatureHash'];
+function compareText(left, right) {
+    if (left < right)
+        return -1;
+    if (left > right)
+        return 1;
+    return 0;
+}
+function exactKeys(value, expected, label) {
+    const actual = Object.keys(value).sort(compareText);
+    if (actual.length !== expected.length || actual.some((key, index) => key !== expected[index])) {
+        throw new Error(`${label} fields are invalid`);
+    }
+}
+function record(value, label) {
+    if (!value || typeof value !== 'object' || Array.isArray(value)) {
+        throw new Error(`${label} must be an object`);
+    }
+    const prototype = Object.getPrototypeOf(value);
+    if (prototype !== Object.prototype && prototype !== null) {
+        throw new Error(`${label} must be a plain object`);
+    }
+    return value;
+}
+function hash(value, label) {
+    if (typeof value !== 'string' || !HASH_PATTERN.test(value)) {
+        throw new Error(`${label} must be a SHA-256 hash`);
+    }
+    return value;
+}
+/**
+ * Identify repair progress from the executable contract and project snapshot, not from
+ * content-addressed evidence prose such as `noCodeReason`.
+ */
+export function nativeRepairScopeHash(bundle) {
+    const scope = parseNativeImplementationScopeBundle(bundle).scope;
+    return canonicalHash(REPAIR_SCOPE_HASH_TAG, {
+        schema: REPAIR_SCOPE_HASH_TAG,
+        contractHash: scope.contractHash,
+        artifactSnapshotHash: scope.currentProjectionHash,
+    });
+}
+function boundedRunId(value) {
+    if (typeof value !== 'string' ||
+        value.length === 0 ||
+        value.length > NATIVE_REPAIR_TRAJECTORY_LIMITS.maxRunIdCharacters ||
+        Array.from(value).some((character) => {
+            const code = character.codePointAt(0) ?? 0;
+            return code <= 0x1f || code === 0x7f;
+        })) {
+        throw new Error('Native repair trajectory run ID is invalid');
+    }
+    return value;
+}
+function boundedData(value, depth, budget, label, legacyTransitionText = false) {
+    budget.nodes += 1;
+    if (budget.nodes > NATIVE_REPAIR_TRAJECTORY_LIMITS.maxDataNodes) {
+        throw new Error('Native repair trajectory event data exceeds its node boundary');
+    }
+    if (depth > NATIVE_REPAIR_TRAJECTORY_LIMITS.maxDataDepth) {
+        throw new Error('Native repair trajectory event data exceeds its depth boundary');
+    }
+    if (value === null || typeof value === 'boolean')
+        return;
+    if (typeof value === 'number') {
+        if (!Number.isFinite(value)) {
+            throw new Error(`${label} contains a non-finite number`);
+        }
+        return;
+    }
+    if (typeof value === 'string') {
+        if (value.length > NATIVE_REPAIR_TRAJECTORY_LIMITS.maxTextCharacters &&
+            (!legacyTransitionText ||
+                value.length > NATIVE_REPAIR_TRAJECTORY_LIMITS.maxEventDataCharacters)) {
+            throw new Error(`${label} contains oversized text`);
+        }
+        budget.characters += value.length;
+        if (budget.characters > NATIVE_REPAIR_TRAJECTORY_LIMITS.maxEventDataCharacters) {
+            throw new Error('Native repair trajectory event data exceeds its text boundary');
+        }
+        return;
+    }
+    if (typeof value !== 'object') {
+        throw new Error(`${label} contains a non-JSON value`);
+    }
+    if (budget.ancestors.has(value))
+        throw new Error(`${label} contains a cycle`);
+    budget.ancestors.add(value);
+    try {
+        if (Array.isArray(value)) {
+            if (value.length > NATIVE_REPAIR_TRAJECTORY_LIMITS.maxArrayEntries) {
+                throw new Error(`${label} contains an oversized array`);
+            }
+            value.forEach((entry, index) => boundedData(entry, depth + 1, budget, `${label}[${index}]`));
+            return;
+        }
+        const object = record(value, label);
+        const keys = Object.keys(object);
+        if (keys.length > NATIVE_REPAIR_TRAJECTORY_LIMITS.maxObjectFields) {
+            throw new Error(`${label} contains too many fields`);
+        }
+        for (const key of keys) {
+            if (key.length === 0 || key.length > NATIVE_REPAIR_TRAJECTORY_LIMITS.maxKeyCharacters) {
+                throw new Error(`${label} contains an invalid field name`);
+            }
+            budget.characters += key.length;
+            if (budget.characters > NATIVE_REPAIR_TRAJECTORY_LIMITS.maxEventDataCharacters) {
+                throw new Error('Native repair trajectory event data exceeds its text boundary');
+            }
+            boundedData(object[key], depth + 1, budget, `${label}.${key}`, depth === 0 && (key === 'summary' || key === 'noCodeReason'));
+        }
+    }
+    finally {
+        budget.ancestors.delete(value);
+    }
+}
+function parseTimestamp(value) {
+    if (typeof value !== 'string' || value.length > 64) {
+        throw new Error('Native repair trajectory timestamp is invalid');
+    }
+    const parsed = new Date(value);
+    if (!Number.isFinite(parsed.valueOf()) || parsed.toISOString() !== value) {
+        throw new Error('Native repair trajectory timestamp is invalid');
+    }
+    return value;
+}
+function parseEvent(value, index, runId) {
+    const event = record(value, `Native repair trajectory event ${index + 1}`);
+    exactKeys(event, EVENT_KEYS, `Native repair trajectory event ${index + 1}`);
+    if (!Number.isSafeInteger(event.sequence) || event.sequence !== index + 1) {
+        throw new Error('Native repair trajectory sequence is invalid');
+    }
+    parseTimestamp(event.timestamp);
+    if (typeof event.type !== 'string' || !EVENT_TYPES.has(event.type)) {
+        throw new Error('Native repair trajectory event type is invalid');
+    }
+    if (boundedRunId(event.runId) !== runId) {
+        throw new Error('Native repair trajectory run ID changed inside the committed prefix');
+    }
+    const budget = { nodes: 0, characters: 0, ancestors: new Set() };
+    boundedData(event.data, 0, budget, 'Native trajectory event data');
+    record(event.data, 'Native repair trajectory event data');
+    return {
+        event: event,
+        dataNodes: budget.nodes,
+        dataCharacters: budget.characters,
+    };
+}
+export function parseNativeRepairTrajectoryProjection(value) {
+    const projection = record(value, 'Native repair trajectory projection');
+    exactKeys(projection, PROJECTION_KEYS, 'Native repair trajectory projection');
+    const signatureHash = hash(projection.signatureHash, 'Native repair trajectory signature hash');
+    if (projection.disposition !== 'continue' &&
+        projection.disposition !== 'warn' &&
+        projection.disposition !== 'manual-stop' &&
+        projection.disposition !== 'hard-stop') {
+        throw new Error('Native repair trajectory disposition is invalid');
+    }
+    const overrideSummaryHash = projection.overrideSummaryHash === null
+        ? null
+        : hash(projection.overrideSummaryHash, 'Native repair trajectory override summary hash');
+    if (overrideSummaryHash !== null && projection.disposition !== 'continue') {
+        throw new Error('Native repair trajectory override must continue exactly once');
+    }
+    return {
+        signatureHash,
+        disposition: projection.disposition,
+        overrideSummaryHash,
+    };
+}
+function assertProjectionTransition(data, projection) {
+    if (projection.overrideSummaryHash === null) {
+        if (data.previousPhase !== 'verify' ||
+            data.nextPhase !== 'build' ||
+            data.verificationResult !== 'fail') {
+            throw new Error('Native repair failure projection is only valid on a failed Verify-to-Build transition');
+        }
+        return;
+    }
+    if (projection.disposition !== 'continue' ||
+        data.previousPhase !== 'build' ||
+        data.nextPhase !== 'verify' ||
+        data.verificationResult !== null) {
+        throw new Error('Native repair override projection is only valid on a Build-to-Verify transition');
+    }
+}
+function assertCommittedFailureProjection(projection, history) {
+    const failures = history.filter((entry) => entry.kind === 'failure');
+    const total = failures.length + 1;
+    if (total > NATIVE_REPAIR_STAGNATION_LIMITS.maxRepairIterations) {
+        throw new Error('Native repair trajectory commits a failure beyond the hard-stop boundary');
+    }
+    let consecutive = 1;
+    for (let index = failures.length - 1; index >= 0; index -= 1) {
+        if (failures[index].signatureHash !== projection.signatureHash)
+            break;
+        consecutive += 1;
+    }
+    const expectedDisposition = total >= NATIVE_REPAIR_STAGNATION_LIMITS.maxRepairIterations
+        ? 'hard-stop'
+        : consecutive < NATIVE_REPAIR_STAGNATION_LIMITS.warningAtConsecutiveFailures
+            ? 'continue'
+            : consecutive < NATIVE_REPAIR_STAGNATION_LIMITS.manualStopAtConsecutiveFailures
+                ? 'warn'
+                : 'manual-stop';
+    if (projection.disposition !== expectedDisposition || projection.overrideSummaryHash !== null) {
+        throw new Error(`Native repair trajectory failure disposition is invalid: expected ${expectedDisposition}`);
+    }
+}
+function assertCommittedOverrideProjection(projection, history, latestProjection) {
+    const failures = history.filter((entry) => entry.kind === 'failure');
+    if (failures.length >= NATIVE_REPAIR_STAGNATION_LIMITS.maxRepairIterations) {
+        throw new Error('Native repair trajectory cannot override a hard stop');
+    }
+    if (latestProjection?.disposition !== 'manual-stop' ||
+        latestProjection.signatureHash !== projection.signatureHash ||
+        failures.at(-1)?.signatureHash !== projection.signatureHash) {
+        throw new Error('Native repair trajectory override does not match the latest manual stop');
+    }
+    if (history.some((entry) => entry.kind === 'override' && entry.signatureHash === projection.signatureHash)) {
+        throw new Error('Native repair trajectory signature was already overridden');
+    }
+}
+function projectNativeRepairHistory(options) {
+    if (!Array.isArray(options.trajectory) ||
+        options.trajectory.length > NATIVE_REPAIR_TRAJECTORY_LIMITS.maxEvents) {
+        throw new Error('Native repair trajectory exceeds its event boundary');
+    }
+    const runId = boundedRunId(options.runId);
+    if (!Number.isSafeInteger(options.committedTrajectoryOffset) ||
+        options.committedTrajectoryOffset < 0 ||
+        options.committedTrajectoryOffset > options.trajectory.length) {
+        throw new Error('Native repair committed trajectory offset is invalid');
+    }
+    const history = [];
+    let latestProjection = null;
+    let activeScopeHash = null;
+    let iteration = 0;
+    let totalDataNodes = 0;
+    let totalDataCharacters = 0;
+    for (let index = 0; index < options.committedTrajectoryOffset; index += 1) {
+        const parsed = parseEvent(options.trajectory[index], index, runId);
+        const { event } = parsed;
+        totalDataNodes += parsed.dataNodes;
+        totalDataCharacters += parsed.dataCharacters;
+        if (totalDataNodes > NATIVE_REPAIR_TRAJECTORY_LIMITS.maxTotalDataNodes ||
+            totalDataCharacters > NATIVE_REPAIR_TRAJECTORY_LIMITS.maxTotalDataCharacters) {
+            throw new Error('Native repair committed trajectory exceeds its aggregate data boundary');
+        }
+        const data = event.data;
+        const eventScopeHash = Object.hasOwn(data, 'repairScopeHash')
+            ? hash(data.repairScopeHash, 'Native repair trajectory repair scope hash')
+            : Object.hasOwn(data, 'implementationScopeHash')
+                ? hash(data.implementationScopeHash, 'Native repair trajectory implementation scope hash')
+                : null;
+        if (!Object.hasOwn(data, NATIVE_REPAIR_TRAJECTORY_FIELD)) {
+            if (event.type === 'state_transitioned' &&
+                data.previousPhase === 'build' &&
+                data.nextPhase === 'verify' &&
+                ((eventScopeHash !== null &&
+                    activeScopeHash !== null &&
+                    eventScopeHash !== activeScopeHash) ||
+                    (eventScopeHash === null &&
+                        (latestProjection?.disposition === 'manual-stop' ||
+                            latestProjection?.disposition === 'hard-stop')))) {
+                // Every real implementation-scope change starts a fresh semantic repair episode. Legacy
+                // trajectories did not persist the scope hash, so only their manual/hard-stop transitions
+                // can be inferred safely from the Build guard.
+                history.length = 0;
+                latestProjection = null;
+                activeScopeHash = eventScopeHash;
+                iteration = 0;
+                continue;
+            }
+            if (event.type === 'state_transitioned' &&
+                data.previousPhase === 'verify' &&
+                data.nextPhase === 'archive' &&
+                data.verificationResult === 'pass') {
+                // A committed passing verification closes the prior repair episode. The raw trajectory
+                // still retains its history, while future failures start fresh if Archive later retreats.
+                history.length = 0;
+                latestProjection = null;
+                activeScopeHash = null;
+                iteration = 0;
+            }
+            continue;
+        }
+        if (event.type !== 'state_transitioned') {
+            throw new Error('Native repair projection must belong to a state_transitioned event');
+        }
+        const projection = parseNativeRepairTrajectoryProjection(data[NATIVE_REPAIR_TRAJECTORY_FIELD]);
+        assertProjectionTransition(data, projection);
+        if (projection.overrideSummaryHash === null) {
+            if (eventScopeHash !== null &&
+                activeScopeHash !== null &&
+                eventScopeHash !== activeScopeHash) {
+                history.length = 0;
+                iteration = 0;
+            }
+            if (eventScopeHash !== null)
+                activeScopeHash = eventScopeHash;
+            assertCommittedFailureProjection(projection, history);
+            iteration += 1;
+            history.push({
+                kind: 'failure',
+                revision: event.sequence,
+                iteration,
+                signatureHash: projection.signatureHash,
+            });
+        }
+        else {
+            if (eventScopeHash !== null &&
+                activeScopeHash !== null &&
+                eventScopeHash !== activeScopeHash) {
+                throw new Error('Native repair override cannot cross implementation scope progress');
+            }
+            assertCommittedOverrideProjection(projection, history, latestProjection);
+            const failure = history.at(-1);
+            if (!failure || failure.kind !== 'failure') {
+                throw new Error('Native repair trajectory override has no failure history');
+            }
+            history.push({
+                kind: 'override',
+                revision: event.sequence,
+                iteration: failure.iteration,
+                signatureHash: projection.signatureHash,
+                summaryHash: projection.overrideSummaryHash,
+            });
+        }
+        latestProjection = projection;
+        if (history.length > NATIVE_REPAIR_STAGNATION_LIMITS.maxHistoryRecords) {
+            throw new Error('Native repair trajectory history exceeds its record boundary');
+        }
+    }
+    return { history, latestProjection };
+}
+export function rebuildNativeRepairHistory(options) {
+    return projectNativeRepairHistory(options).history;
+}
+export function inspectLatestNativeRepairProjection(options) {
+    const projection = projectNativeRepairHistory(options).latestProjection;
+    return projection ? { ...projection } : null;
+}
+export function acceptLatestNativeRepairOverride(options) {
+    const projected = projectNativeRepairHistory(options);
+    const request = record(options.override, 'Native repair override request');
+    exactKeys(request, ['expectedSignatureHash', 'summary'], 'Native repair override request');
+    const expectedSignatureHash = hash(request.expectedSignatureHash, 'Native repair override expected signature');
+    if (typeof request.summary !== 'string') {
+        throw new Error('Native repair override summary is invalid');
+    }
+    if (projected.latestProjection?.disposition === 'hard-stop') {
+        throw new Error('Native repair hard stop cannot be overridden');
+    }
+    if (projected.latestProjection?.disposition !== 'manual-stop' ||
+        projected.latestProjection.signatureHash !== expectedSignatureHash) {
+        throw new Error('Native repair override does not match the latest manual stop');
+    }
+    if (projected.history.some((entry) => entry.kind === 'override' && entry.signatureHash === expectedSignatureHash)) {
+        throw new Error('Native repair signature was already overridden');
+    }
+    const overrideSummaryHash = hashNativeRepairOverrideSummary(request.summary);
+    return {
+        history: projected.history,
+        eventProjection: {
+            signatureHash: expectedSignatureHash,
+            disposition: 'continue',
+            overrideSummaryHash,
+        },
+    };
+}
+export function nativeRepairFailureFacts(input) {
+    const envelope = parseNativeVerificationEvidenceEnvelope(input.envelope);
+    const bundle = parseNativeImplementationScopeBundle(input.implementationScope);
+    if (envelope.result !== 'fail') {
+        throw new Error('Native repair stagnation requires a failed verification envelope');
+    }
+    if (envelope.contractHash !== bundle.scope.contractHash ||
+        envelope.implementationScopeHash !== bundle.scope.scopeHash) {
+        throw new Error('Native repair evidence does not match the implementation scope authority');
+    }
+    const tokens = normalizeNativeRepairFailureTokens({
+        categories: input.categories,
+        failedCheckIds: input.failedCheckIds,
+    });
+    return {
+        contractHash: bundle.scope.contractHash,
+        implementationScopeHash: nativeRepairScopeHash(bundle),
+        artifactSnapshotHash: bundle.scope.currentProjectionHash,
+        categories: tokens.categories,
+        failedCheckIds: tokens.failedCheckIds,
+    };
+}
+function projectionForDecision(decision, overrideSummaryHash) {
+    return {
+        signatureHash: decision.signature.signatureHash,
+        disposition: decision.disposition,
+        overrideSummaryHash,
+    };
+}
+function runtimeContext(input) {
+    return {
+        facts: nativeRepairFailureFacts(input),
+        history: rebuildNativeRepairHistory(input),
+    };
+}
+export function inspectNativeRepairResume(input) {
+    const projected = projectNativeRepairHistory(input);
+    const facts = nativeRepairFailureFacts(input);
+    const latestProjection = projected.latestProjection;
+    const signatureHash = buildNativeRepairSignature(facts).signatureHash;
+    const currentScope = parseNativeImplementationScopeBundle(input.currentImplementationScope);
+    if (nativeRepairScopeHash(currentScope) !== nativeRepairScopeHash(input.implementationScope)) {
+        return {
+            disposition: 'proceed',
+            reason: 'scope-progress',
+            signatureHash,
+            history: projected.history,
+        };
+    }
+    if (latestProjection?.disposition === 'hard-stop') {
+        return {
+            disposition: 'hard-stop',
+            reason: 'hard-stop',
+            signatureHash: latestProjection.signatureHash,
+            history: projected.history,
+        };
+    }
+    if (latestProjection?.disposition !== 'manual-stop') {
+        return {
+            disposition: 'proceed',
+            reason: latestProjection === null || latestProjection.overrideSummaryHash === null
+                ? 'no-stopped-failure'
+                : 'override-already-applied',
+            signatureHash,
+            history: projected.history,
+        };
+    }
+    if (latestProjection.signatureHash !== signatureHash) {
+        throw new Error('Native repair current evidence does not match the latest manual stop');
+    }
+    const alreadyUsed = projected.history.some((entry) => entry.kind === 'override' && entry.signatureHash === signatureHash);
+    return {
+        disposition: alreadyUsed ? 'hard-stop' : 'override-required',
+        reason: alreadyUsed ? 'override-already-applied' : 'override-required',
+        signatureHash,
+        history: projected.history,
+    };
+}
+export function inspectNativeRepairFailure(input) {
+    const context = runtimeContext(input);
+    const decision = decideNativeRepairStagnation(context);
+    return {
+        ...context,
+        decision,
+        eventProjection: projectionForDecision(decision, null),
+    };
+}
+export function acceptNativeRepairOverride(input) {
+    const context = runtimeContext(input);
+    const decision = decideNativeRepairOverride({ ...context, override: input.override });
+    const summaryHash = decision.overrideAccepted
+        ? hashNativeRepairOverrideSummary(input.override.summary)
+        : null;
+    return {
+        ...context,
+        decision,
+        eventProjection: decision.overrideAccepted
+            ? projectionForDecision(decision, summaryHash)
+            : null,
+    };
+}
+export function buildNativeRepairSignatureFromEvidence(input) {
+    return buildNativeRepairSignature(nativeRepairFailureFacts(input));
+}
+//# sourceMappingURL=native-repair-runtime.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"native-repair-runtime.js","sourceRoot":"","sources":["../../../domains/comet-native/native-repair-runtime.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,aAAa,EAAE,MAAM,4BAA4B,CAAC;AAC3D,OAAO,EACL,0BAA0B,EAC1B,0BAA0B,EAC1B,4BAA4B,EAC5B,+BAA+B,EAC/B,+BAA+B,EAC/B,kCAAkC,GAKnC,MAAM,+BAA+B,CAAC;AACvC,OAAO,EACL,uCAAuC,GAExC,MAAM,mCAAmC,CAAC;AAC3C,OAAO,EACL,oCAAoC,GAErC,MAAM,gCAAgC,CAAC;AACxC,OAAO,EAAE,qCAAqC,EAAE,MAAM,+BAA+B,CAAC;AAEtF,MAAM,CAAC,MAAM,8BAA8B,GAAG,kBAA2B,CAAC;AAC1E,MAAM,CAAC,MAAM,+BAA+B,GAAG;IAC7C,SAAS,EAAE,KAAK;IAChB,YAAY,EAAE,CAAC;IACf,YAAY,EAAE,KAAK;IACnB,iBAAiB,EAAE,MAAM;IACzB,eAAe,EAAE,EAAE;IACnB,eAAe,EAAE,GAAG;IACpB,gBAAgB,EAAE,GAAG;IACrB,iBAAiB,EAAE,qCAAqC;IACxD,sBAAsB,EAAE,MAAM;IAC9B,sBAAsB,EAAE,SAAS;IACjC,kBAAkB,EAAE,GAAG;CACf,CAAC;AAEX,MAAM,YAAY,GAAG,iBAAiB,CAAC;AACvC,MAAM,qBAAqB,GAAG,8BAA8B,CAAC;AAC7D,MAAM,WAAW,GAAG,IAAI,GAAG,CAA0B;IACnD,aAAa;IACb,iBAAiB;IACjB,kBAAkB;IAClB,gBAAgB;IAChB,YAAY;IACZ,gBAAgB;IAChB,oBAAoB;IACpB,wBAAwB;IACxB,qBAAqB;CACtB,CAAC,CAAC;AACH,MAAM,UAAU,GAAG,CAAC,MAAM,EAAE,OAAO,EAAE,UAAU,EAAE,WAAW,EAAE,MAAM,CAAU,CAAC;AAC/E,MAAM,eAAe,GAAG,CAAC,aAAa,EAAE,qBAAqB,EAAE,eAAe,CAAU,CAAC;AA+DzF,SAAS,WAAW,CAAC,IAAY,EAAE,KAAa;IAC9C,IAAI,IAAI,GAAG,KAAK;QAAE,OAAO,CAAC,CAAC,CAAC;IAC5B,IAAI,IAAI,GAAG,KAAK;QAAE,OAAO,CAAC,CAAC;IAC3B,OAAO,CAAC,CAAC;AACX,CAAC;AAED,SAAS,SAAS,CAChB,KAA8B,EAC9B,QAA2B,EAC3B,KAAa;IAEb,MAAM,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;IACpD,IAAI,MAAM,CAAC,MAAM,KAAK,QAAQ,CAAC,MAAM,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE,CAAC,GAAG,KAAK,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC;QAC9F,MAAM,IAAI,KAAK,CAAC,GAAG,KAAK,qBAAqB,CAAC,CAAC;IACjD,CAAC;AACH,CAAC;AAED,SAAS,MAAM,CAAC,KAAc,EAAE,KAAa;IAC3C,IAAI,CAAC,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QAChE,MAAM,IAAI,KAAK,CAAC,GAAG,KAAK,oBAAoB,CAAC,CAAC;IAChD,CAAC;IACD,MAAM,SAAS,GAAG,MAAM,CAAC,cAAc,CAAC,KAAK,CAAY,CAAC;IAC1D,IAAI,SAAS,KAAK,MAAM,CAAC,SAAS,IAAI,SAAS,KAAK,IAAI,EAAE,CAAC;QACzD,MAAM,IAAI,KAAK,CAAC,GAAG,KAAK,yBAAyB,CAAC,CAAC;IACrD,CAAC;IACD,OAAO,KAAgC,CAAC;AAC1C,CAAC;AAED,SAAS,IAAI,CAAC,KAAc,EAAE,KAAa;IACzC,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QAC3D,MAAM,IAAI,KAAK,CAAC,GAAG,KAAK,yBAAyB,CAAC,CAAC;IACrD,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,qBAAqB,CAAC,MAAuC;IAC3E,MAAM,KAAK,GAAG,oCAAoC,CAAC,MAAM,CAAC,CAAC,KAAK,CAAC;IACjE,OAAO,aAAa,CAAC,qBAAqB,EAAE;QAC1C,MAAM,EAAE,qBAAqB;QAC7B,YAAY,EAAE,KAAK,CAAC,YAAY;QAChC,oBAAoB,EAAE,KAAK,CAAC,qBAAqB;KAClD,CAAC,CAAC;AACL,CAAC;AAED,SAAS,YAAY,CAAC,KAAa;IACjC,IACE,OAAO,KAAK,KAAK,QAAQ;QACzB,KAAK,CAAC,MAAM,KAAK,CAAC;QAClB,KAAK,CAAC,MAAM,GAAG,+BAA+B,CAAC,kBAAkB;QACjE,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE;YACnC,MAAM,IAAI,GAAG,SAAS,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YAC3C,OAAO,IAAI,IAAI,IAAI,IAAI,IAAI,KAAK,IAAI,CAAC;QACvC,CAAC,CAAC,EACF,CAAC;QACD,MAAM,IAAI,KAAK,CAAC,4CAA4C,CAAC,CAAC;IAChE,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,WAAW,CAClB,KAAc,EACd,KAAa,EACb,MAAkB,EAClB,KAAa,EACb,oBAAoB,GAAG,KAAK;IAE5B,MAAM,CAAC,KAAK,IAAI,CAAC,CAAC;IAClB,IAAI,MAAM,CAAC,KAAK,GAAG,+BAA+B,CAAC,YAAY,EAAE,CAAC;QAChE,MAAM,IAAI,KAAK,CAAC,+DAA+D,CAAC,CAAC;IACnF,CAAC;IACD,IAAI,KAAK,GAAG,+BAA+B,CAAC,YAAY,EAAE,CAAC;QACzD,MAAM,IAAI,KAAK,CAAC,gEAAgE,CAAC,CAAC;IACpF,CAAC;IACD,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,SAAS;QAAE,OAAO;IACzD,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC9B,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;YAC5B,MAAM,IAAI,KAAK,CAAC,GAAG,KAAK,+BAA+B,CAAC,CAAC;QAC3D,CAAC;QACD,OAAO;IACT,CAAC;IACD,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC9B,IACE,KAAK,CAAC,MAAM,GAAG,+BAA+B,CAAC,iBAAiB;YAChE,CAAC,CAAC,oBAAoB;gBACpB,KAAK,CAAC,MAAM,GAAG,+BAA+B,CAAC,sBAAsB,CAAC,EACxE,CAAC;YACD,MAAM,IAAI,KAAK,CAAC,GAAG,KAAK,0BAA0B,CAAC,CAAC;QACtD,CAAC;QACD,MAAM,CAAC,UAAU,IAAI,KAAK,CAAC,MAAM,CAAC;QAClC,IAAI,MAAM,CAAC,UAAU,GAAG,+BAA+B,CAAC,sBAAsB,EAAE,CAAC;YAC/E,MAAM,IAAI,KAAK,CAAC,+DAA+D,CAAC,CAAC;QACnF,CAAC;QACD,OAAO;IACT,CAAC;IACD,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC9B,MAAM,IAAI,KAAK,CAAC,GAAG,KAAK,4BAA4B,CAAC,CAAC;IACxD,CAAC;IACD,IAAI,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,GAAG,KAAK,mBAAmB,CAAC,CAAC;IAC9E,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IAC5B,IAAI,CAAC;QACH,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;YACzB,IAAI,KAAK,CAAC,MAAM,GAAG,+BAA+B,CAAC,eAAe,EAAE,CAAC;gBACnE,MAAM,IAAI,KAAK,CAAC,GAAG,KAAK,8BAA8B,CAAC,CAAC;YAC1D,CAAC;YACD,KAAK,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC,WAAW,CAAC,KAAK,EAAE,KAAK,GAAG,CAAC,EAAE,MAAM,EAAE,GAAG,KAAK,IAAI,KAAK,GAAG,CAAC,CAAC,CAAC;YAC7F,OAAO;QACT,CAAC;QACD,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;QACpC,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACjC,IAAI,IAAI,CAAC,MAAM,GAAG,+BAA+B,CAAC,eAAe,EAAE,CAAC;YAClE,MAAM,IAAI,KAAK,CAAC,GAAG,KAAK,2BAA2B,CAAC,CAAC;QACvD,CAAC;QACD,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;YACvB,IAAI,GAAG,CAAC,MAAM,KAAK,CAAC,IAAI,GAAG,CAAC,MAAM,GAAG,+BAA+B,CAAC,gBAAgB,EAAE,CAAC;gBACtF,MAAM,IAAI,KAAK,CAAC,GAAG,KAAK,iCAAiC,CAAC,CAAC;YAC7D,CAAC;YACD,MAAM,CAAC,UAAU,IAAI,GAAG,CAAC,MAAM,CAAC;YAChC,IAAI,MAAM,CAAC,UAAU,GAAG,+BAA+B,CAAC,sBAAsB,EAAE,CAAC;gBAC/E,MAAM,IAAI,KAAK,CAAC,+DAA+D,CAAC,CAAC;YACnF,CAAC;YACD,WAAW,CACT,MAAM,CAAC,GAAG,CAAC,EACX,KAAK,GAAG,CAAC,EACT,MAAM,EACN,GAAG,KAAK,IAAI,GAAG,EAAE,EACjB,KAAK,KAAK,CAAC,IAAI,CAAC,GAAG,KAAK,SAAS,IAAI,GAAG,KAAK,cAAc,CAAC,CAC7D,CAAC;QACJ,CAAC;IACH,CAAC;YAAS,CAAC;QACT,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IACjC,CAAC;AACH,CAAC;AAED,SAAS,cAAc,CAAC,KAAc;IACpC,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,MAAM,GAAG,EAAE,EAAE,CAAC;QACnD,MAAM,IAAI,KAAK,CAAC,+CAA+C,CAAC,CAAC;IACnE,CAAC;IACD,MAAM,MAAM,GAAG,IAAI,IAAI,CAAC,KAAK,CAAC,CAAC;IAC/B,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC,IAAI,MAAM,CAAC,WAAW,EAAE,KAAK,KAAK,EAAE,CAAC;QACzE,MAAM,IAAI,KAAK,CAAC,+CAA+C,CAAC,CAAC;IACnE,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,UAAU,CACjB,KAAc,EACd,KAAa,EACb,KAAa;IAEb,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,EAAE,kCAAkC,KAAK,GAAG,CAAC,EAAE,CAAC,CAAC;IAC3E,SAAS,CAAC,KAAK,EAAE,UAAU,EAAE,kCAAkC,KAAK,GAAG,CAAC,EAAE,CAAC,CAAC;IAC5E,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,KAAK,CAAC,QAAQ,KAAK,KAAK,GAAG,CAAC,EAAE,CAAC;QAC1E,MAAM,IAAI,KAAK,CAAC,8CAA8C,CAAC,CAAC;IAClE,CAAC;IACD,cAAc,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;IAChC,IAAI,OAAO,KAAK,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,KAAK,CAAC,IAA+B,CAAC,EAAE,CAAC;QAC9F,MAAM,IAAI,KAAK,CAAC,gDAAgD,CAAC,CAAC;IACpE,CAAC;IACD,IAAI,YAAY,CAAC,KAAK,CAAC,KAAe,CAAC,KAAK,KAAK,EAAE,CAAC;QAClD,MAAM,IAAI,KAAK,CAAC,qEAAqE,CAAC,CAAC;IACzF,CAAC;IACD,MAAM,MAAM,GAAG,EAAE,KAAK,EAAE,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE,SAAS,EAAE,IAAI,GAAG,EAAU,EAAE,CAAC;IACzE,WAAW,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,8BAA8B,CAAC,CAAC;IACnE,MAAM,CAAC,KAAK,CAAC,IAAI,EAAE,qCAAqC,CAAC,CAAC;IAC1D,OAAO;QACL,KAAK,EAAE,KAAmC;QAC1C,SAAS,EAAE,MAAM,CAAC,KAAK;QACvB,cAAc,EAAE,MAAM,CAAC,UAAU;KAClC,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,qCAAqC,CACnD,KAAc;IAEd,MAAM,UAAU,GAAG,MAAM,CAAC,KAAK,EAAE,qCAAqC,CAAC,CAAC;IACxE,SAAS,CAAC,UAAU,EAAE,eAAe,EAAE,qCAAqC,CAAC,CAAC;IAC9E,MAAM,aAAa,GAAG,IAAI,CAAC,UAAU,CAAC,aAAa,EAAE,yCAAyC,CAAC,CAAC;IAChG,IACE,UAAU,CAAC,WAAW,KAAK,UAAU;QACrC,UAAU,CAAC,WAAW,KAAK,MAAM;QACjC,UAAU,CAAC,WAAW,KAAK,aAAa;QACxC,UAAU,CAAC,WAAW,KAAK,WAAW,EACtC,CAAC;QACD,MAAM,IAAI,KAAK,CAAC,iDAAiD,CAAC,CAAC;IACrE,CAAC;IACD,MAAM,mBAAmB,GACvB,UAAU,CAAC,mBAAmB,KAAK,IAAI;QACrC,CAAC,CAAC,IAAI;QACN,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,mBAAmB,EAAE,gDAAgD,CAAC,CAAC;IAC7F,IAAI,mBAAmB,KAAK,IAAI,IAAI,UAAU,CAAC,WAAW,KAAK,UAAU,EAAE,CAAC;QAC1E,MAAM,IAAI,KAAK,CAAC,8DAA8D,CAAC,CAAC;IAClF,CAAC;IACD,OAAO;QACL,aAAa;QACb,WAAW,EAAE,UAAU,CAAC,WAAW;QACnC,mBAAmB;KACpB,CAAC;AACJ,CAAC;AAED,SAAS,0BAA0B,CACjC,IAA6B,EAC7B,UAA4C;IAE5C,IAAI,UAAU,CAAC,mBAAmB,KAAK,IAAI,EAAE,CAAC;QAC5C,IACE,IAAI,CAAC,aAAa,KAAK,QAAQ;YAC/B,IAAI,CAAC,SAAS,KAAK,OAAO;YAC1B,IAAI,CAAC,kBAAkB,KAAK,MAAM,EAClC,CAAC;YACD,MAAM,IAAI,KAAK,CACb,uFAAuF,CACxF,CAAC;QACJ,CAAC;QACD,OAAO;IACT,CAAC;IACD,IACE,UAAU,CAAC,WAAW,KAAK,UAAU;QACrC,IAAI,CAAC,aAAa,KAAK,OAAO;QAC9B,IAAI,CAAC,SAAS,KAAK,QAAQ;QAC3B,IAAI,CAAC,kBAAkB,KAAK,IAAI,EAChC,CAAC;QACD,MAAM,IAAI,KAAK,CACb,iFAAiF,CAClF,CAAC;IACJ,CAAC;AACH,CAAC;AAED,SAAS,gCAAgC,CACvC,UAA4C,EAC5C,OAA6C;IAE7C,MAAM,QAAQ,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC;IACrE,MAAM,KAAK,GAAG,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC;IAClC,IAAI,KAAK,GAAG,+BAA+B,CAAC,mBAAmB,EAAE,CAAC;QAChE,MAAM,IAAI,KAAK,CAAC,0EAA0E,CAAC,CAAC;IAC9F,CAAC;IACD,IAAI,WAAW,GAAG,CAAC,CAAC;IACpB,KAAK,IAAI,KAAK,GAAG,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,KAAK,IAAI,CAAC,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QAC7D,IAAI,QAAQ,CAAC,KAAK,CAAC,CAAC,aAAa,KAAK,UAAU,CAAC,aAAa;YAAE,MAAM;QACtE,WAAW,IAAI,CAAC,CAAC;IACnB,CAAC;IACD,MAAM,mBAAmB,GACvB,KAAK,IAAI,+BAA+B,CAAC,mBAAmB;QAC1D,CAAC,CAAC,WAAW;QACb,CAAC,CAAC,WAAW,GAAG,+BAA+B,CAAC,4BAA4B;YAC1E,CAAC,CAAC,UAAU;YACZ,CAAC,CAAC,WAAW,GAAG,+BAA+B,CAAC,+BAA+B;gBAC7E,CAAC,CAAC,MAAM;gBACR,CAAC,CAAC,aAAa,CAAC;IACxB,IAAI,UAAU,CAAC,WAAW,KAAK,mBAAmB,IAAI,UAAU,CAAC,mBAAmB,KAAK,IAAI,EAAE,CAAC;QAC9F,MAAM,IAAI,KAAK,CACb,qEAAqE,mBAAmB,EAAE,CAC3F,CAAC;IACJ,CAAC;AACH,CAAC;AAED,SAAS,iCAAiC,CACxC,UAA4C,EAC5C,OAA6C,EAC7C,gBAAyD;IAEzD,MAAM,QAAQ,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC;IACrE,IAAI,QAAQ,CAAC,MAAM,IAAI,+BAA+B,CAAC,mBAAmB,EAAE,CAAC;QAC3E,MAAM,IAAI,KAAK,CAAC,sDAAsD,CAAC,CAAC;IAC1E,CAAC;IACD,IACE,gBAAgB,EAAE,WAAW,KAAK,aAAa;QAC/C,gBAAgB,CAAC,aAAa,KAAK,UAAU,CAAC,aAAa;QAC3D,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,aAAa,KAAK,UAAU,CAAC,aAAa,EAC3D,CAAC;QACD,MAAM,IAAI,KAAK,CAAC,yEAAyE,CAAC,CAAC;IAC7F,CAAC;IACD,IACE,OAAO,CAAC,IAAI,CACV,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,UAAU,IAAI,KAAK,CAAC,aAAa,KAAK,UAAU,CAAC,aAAa,CACzF,EACD,CAAC;QACD,MAAM,IAAI,KAAK,CAAC,2DAA2D,CAAC,CAAC;IAC/E,CAAC;AACH,CAAC;AAED,SAAS,0BAA0B,CACjC,OAAwC;IAExC,IACE,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,UAAU,CAAC;QAClC,OAAO,CAAC,UAAU,CAAC,MAAM,GAAG,+BAA+B,CAAC,SAAS,EACrE,CAAC;QACD,MAAM,IAAI,KAAK,CAAC,qDAAqD,CAAC,CAAC;IACzE,CAAC;IACD,MAAM,KAAK,GAAG,YAAY,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;IAC1C,IACE,CAAC,MAAM,CAAC,aAAa,CAAC,OAAO,CAAC,yBAAyB,CAAC;QACxD,OAAO,CAAC,yBAAyB,GAAG,CAAC;QACrC,OAAO,CAAC,yBAAyB,GAAG,OAAO,CAAC,UAAU,CAAC,MAAM,EAC7D,CAAC;QACD,MAAM,IAAI,KAAK,CAAC,sDAAsD,CAAC,CAAC;IAC1E,CAAC;IACD,MAAM,OAAO,GAAgC,EAAE,CAAC;IAChD,IAAI,gBAAgB,GAA4C,IAAI,CAAC;IACrE,IAAI,eAAe,GAAkB,IAAI,CAAC;IAC1C,IAAI,SAAS,GAAG,CAAC,CAAC;IAClB,IAAI,cAAc,GAAG,CAAC,CAAC;IACvB,IAAI,mBAAmB,GAAG,CAAC,CAAC;IAC5B,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,OAAO,CAAC,yBAAyB,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QAC1E,MAAM,MAAM,GAAG,UAAU,CAAC,OAAO,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;QACnE,MAAM,EAAE,KAAK,EAAE,GAAG,MAAM,CAAC;QACzB,cAAc,IAAI,MAAM,CAAC,SAAS,CAAC;QACnC,mBAAmB,IAAI,MAAM,CAAC,cAAc,CAAC;QAC7C,IACE,cAAc,GAAG,+BAA+B,CAAC,iBAAiB;YAClE,mBAAmB,GAAG,+BAA+B,CAAC,sBAAsB,EAC5E,CAAC;YACD,MAAM,IAAI,KAAK,CAAC,wEAAwE,CAAC,CAAC;QAC5F,CAAC;QACD,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC;QACxB,MAAM,cAAc,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,iBAAiB,CAAC;YAC3D,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,eAAe,EAAE,4CAA4C,CAAC;YAC1E,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,yBAAyB,CAAC;gBAC9C,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,uBAAuB,EAAE,oDAAoD,CAAC;gBAC1F,CAAC,CAAC,IAAI,CAAC;QACX,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,8BAA8B,CAAC,EAAE,CAAC;YACzD,IACE,KAAK,CAAC,IAAI,KAAK,oBAAoB;gBACnC,IAAI,CAAC,aAAa,KAAK,OAAO;gBAC9B,IAAI,CAAC,SAAS,KAAK,QAAQ;gBAC3B,CAAC,CAAC,cAAc,KAAK,IAAI;oBACvB,eAAe,KAAK,IAAI;oBACxB,cAAc,KAAK,eAAe,CAAC;oBACnC,CAAC,cAAc,KAAK,IAAI;wBACtB,CAAC,gBAAgB,EAAE,WAAW,KAAK,aAAa;4BAC9C,gBAAgB,EAAE,WAAW,KAAK,WAAW,CAAC,CAAC,CAAC,EACtD,CAAC;gBACD,wFAAwF;gBACxF,0FAA0F;gBAC1F,+CAA+C;gBAC/C,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC;gBACnB,gBAAgB,GAAG,IAAI,CAAC;gBACxB,eAAe,GAAG,cAAc,CAAC;gBACjC,SAAS,GAAG,CAAC,CAAC;gBACd,SAAS;YACX,CAAC;YACD,IACE,KAAK,CAAC,IAAI,KAAK,oBAAoB;gBACnC,IAAI,CAAC,aAAa,KAAK,QAAQ;gBAC/B,IAAI,CAAC,SAAS,KAAK,SAAS;gBAC5B,IAAI,CAAC,kBAAkB,KAAK,MAAM,EAClC,CAAC;gBACD,uFAAuF;gBACvF,0FAA0F;gBAC1F,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC;gBACnB,gBAAgB,GAAG,IAAI,CAAC;gBACxB,eAAe,GAAG,IAAI,CAAC;gBACvB,SAAS,GAAG,CAAC,CAAC;YAChB,CAAC;YACD,SAAS;QACX,CAAC;QACD,IAAI,KAAK,CAAC,IAAI,KAAK,oBAAoB,EAAE,CAAC;YACxC,MAAM,IAAI,KAAK,CAAC,oEAAoE,CAAC,CAAC;QACxF,CAAC;QACD,MAAM,UAAU,GAAG,qCAAqC,CAAC,IAAI,CAAC,8BAA8B,CAAC,CAAC,CAAC;QAC/F,0BAA0B,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;QAC7C,IAAI,UAAU,CAAC,mBAAmB,KAAK,IAAI,EAAE,CAAC;YAC5C,IACE,cAAc,KAAK,IAAI;gBACvB,eAAe,KAAK,IAAI;gBACxB,cAAc,KAAK,eAAe,EAClC,CAAC;gBACD,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC;gBACnB,SAAS,GAAG,CAAC,CAAC;YAChB,CAAC;YACD,IAAI,cAAc,KAAK,IAAI;gBAAE,eAAe,GAAG,cAAc,CAAC;YAC9D,gCAAgC,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;YACtD,SAAS,IAAI,CAAC,CAAC;YACf,OAAO,CAAC,IAAI,CAAC;gBACX,IAAI,EAAE,SAAS;gBACf,QAAQ,EAAE,KAAK,CAAC,QAAQ;gBACxB,SAAS;gBACT,aAAa,EAAE,UAAU,CAAC,aAAa;aACxC,CAAC,CAAC;QACL,CAAC;aAAM,CAAC;YACN,IACE,cAAc,KAAK,IAAI;gBACvB,eAAe,KAAK,IAAI;gBACxB,cAAc,KAAK,eAAe,EAClC,CAAC;gBACD,MAAM,IAAI,KAAK,CAAC,mEAAmE,CAAC,CAAC;YACvF,CAAC;YACD,iCAAiC,CAAC,UAAU,EAAE,OAAO,EAAE,gBAAgB,CAAC,CAAC;YACzE,MAAM,OAAO,GAAG,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;YAC/B,IAAI,CAAC,OAAO,IAAI,OAAO,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;gBAC3C,MAAM,IAAI,KAAK,CAAC,0DAA0D,CAAC,CAAC;YAC9E,CAAC;YACD,OAAO,CAAC,IAAI,CAAC;gBACX,IAAI,EAAE,UAAU;gBAChB,QAAQ,EAAE,KAAK,CAAC,QAAQ;gBACxB,SAAS,EAAE,OAAO,CAAC,SAAS;gBAC5B,aAAa,EAAE,UAAU,CAAC,aAAa;gBACvC,WAAW,EAAE,UAAU,CAAC,mBAAmB;aAC5C,CAAC,CAAC;QACL,CAAC;QACD,gBAAgB,GAAG,UAAU,CAAC;QAC9B,IAAI,OAAO,CAAC,MAAM,GAAG,+BAA+B,CAAC,iBAAiB,EAAE,CAAC;YACvE,MAAM,IAAI,KAAK,CAAC,8DAA8D,CAAC,CAAC;QAClF,CAAC;IACH,CAAC;IACD,OAAO,EAAE,OAAO,EAAE,gBAAgB,EAAE,CAAC;AACvC,CAAC;AAED,MAAM,UAAU,0BAA0B,CACxC,OAAwC;IAExC,OAAO,0BAA0B,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC;AACrD,CAAC;AAED,MAAM,UAAU,mCAAmC,CACjD,OAAwC;IAExC,MAAM,UAAU,GAAG,0BAA0B,CAAC,OAAO,CAAC,CAAC,gBAAgB,CAAC;IACxE,OAAO,UAAU,CAAC,CAAC,CAAC,EAAE,GAAG,UAAU,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;AAC/C,CAAC;AAED,MAAM,UAAU,gCAAgC,CAC9C,OAAoF;IAEpF,MAAM,SAAS,GAAG,0BAA0B,CAAC,OAAO,CAAC,CAAC;IACtD,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,QAAQ,EAAE,gCAAgC,CAAC,CAAC;IAC3E,SAAS,CAAC,OAAO,EAAE,CAAC,uBAAuB,EAAE,SAAS,CAAC,EAAE,gCAAgC,CAAC,CAAC;IAC3F,MAAM,qBAAqB,GAAG,IAAI,CAChC,OAAO,CAAC,qBAAqB,EAC7B,2CAA2C,CAC5C,CAAC;IACF,IAAI,OAAO,OAAO,CAAC,OAAO,KAAK,QAAQ,EAAE,CAAC;QACxC,MAAM,IAAI,KAAK,CAAC,2CAA2C,CAAC,CAAC;IAC/D,CAAC;IACD,IAAI,SAAS,CAAC,gBAAgB,EAAE,WAAW,KAAK,WAAW,EAAE,CAAC;QAC5D,MAAM,IAAI,KAAK,CAAC,8CAA8C,CAAC,CAAC;IAClE,CAAC;IACD,IACE,SAAS,CAAC,gBAAgB,EAAE,WAAW,KAAK,aAAa;QACzD,SAAS,CAAC,gBAAgB,CAAC,aAAa,KAAK,qBAAqB,EAClE,CAAC;QACD,MAAM,IAAI,KAAK,CAAC,8DAA8D,CAAC,CAAC;IAClF,CAAC;IACD,IACE,SAAS,CAAC,OAAO,CAAC,IAAI,CACpB,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,UAAU,IAAI,KAAK,CAAC,aAAa,KAAK,qBAAqB,CACtF,EACD,CAAC;QACD,MAAM,IAAI,KAAK,CAAC,gDAAgD,CAAC,CAAC;IACpE,CAAC;IACD,MAAM,mBAAmB,GAAG,+BAA+B,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;IAC7E,OAAO;QACL,OAAO,EAAE,SAAS,CAAC,OAAO;QAC1B,eAAe,EAAE;YACf,aAAa,EAAE,qBAAqB;YACpC,WAAW,EAAE,UAAU;YACvB,mBAAmB;SACpB;KACF,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,wBAAwB,CACtC,KAAgC;IAEhC,MAAM,QAAQ,GAAG,uCAAuC,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;IACzE,MAAM,MAAM,GAAG,oCAAoC,CAAC,KAAK,CAAC,mBAAmB,CAAC,CAAC;IAC/E,IAAI,QAAQ,CAAC,MAAM,KAAK,MAAM,EAAE,CAAC;QAC/B,MAAM,IAAI,KAAK,CAAC,kEAAkE,CAAC,CAAC;IACtF,CAAC;IACD,IACE,QAAQ,CAAC,YAAY,KAAK,MAAM,CAAC,KAAK,CAAC,YAAY;QACnD,QAAQ,CAAC,uBAAuB,KAAK,MAAM,CAAC,KAAK,CAAC,SAAS,EAC3D,CAAC;QACD,MAAM,IAAI,KAAK,CAAC,0EAA0E,CAAC,CAAC;IAC9F,CAAC;IACD,MAAM,MAAM,GAAG,kCAAkC,CAAC;QAChD,UAAU,EAAE,KAAK,CAAC,UAAU;QAC5B,cAAc,EAAE,KAAK,CAAC,cAAc;KACrC,CAAC,CAAC;IACH,OAAO;QACL,YAAY,EAAE,MAAM,CAAC,KAAK,CAAC,YAAY;QACvC,uBAAuB,EAAE,qBAAqB,CAAC,MAAM,CAAC;QACtD,oBAAoB,EAAE,MAAM,CAAC,KAAK,CAAC,qBAAqB;QACxD,UAAU,EAAE,MAAM,CAAC,UAAU;QAC7B,cAAc,EAAE,MAAM,CAAC,cAAc;KACtC,CAAC;AACJ,CAAC;AAED,SAAS,qBAAqB,CAC5B,QAAwC,EACxC,mBAAkC;IAElC,OAAO;QACL,aAAa,EAAE,QAAQ,CAAC,SAAS,CAAC,aAAa;QAC/C,WAAW,EAAE,QAAQ,CAAC,WAAW;QACjC,mBAAmB;KACpB,CAAC;AACJ,CAAC;AAED,SAAS,cAAc,CAAC,KAA+B;IAIrD,OAAO;QACL,KAAK,EAAE,wBAAwB,CAAC,KAAK,CAAC;QACtC,OAAO,EAAE,0BAA0B,CAAC,KAAK,CAAC;KAC3C,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,yBAAyB,CACvC,KAA8B;IAE9B,MAAM,SAAS,GAAG,0BAA0B,CAAC,KAAK,CAAC,CAAC;IACpD,MAAM,KAAK,GAAG,wBAAwB,CAAC,KAAK,CAAC,CAAC;IAC9C,MAAM,gBAAgB,GAAG,SAAS,CAAC,gBAAgB,CAAC;IACpD,MAAM,aAAa,GAAG,0BAA0B,CAAC,KAAK,CAAC,CAAC,aAAa,CAAC;IACtE,MAAM,YAAY,GAAG,oCAAoC,CAAC,KAAK,CAAC,0BAA0B,CAAC,CAAC;IAC5F,IAAI,qBAAqB,CAAC,YAAY,CAAC,KAAK,qBAAqB,CAAC,KAAK,CAAC,mBAAmB,CAAC,EAAE,CAAC;QAC7F,OAAO;YACL,WAAW,EAAE,SAAS;YACtB,MAAM,EAAE,gBAAgB;YACxB,aAAa;YACb,OAAO,EAAE,SAAS,CAAC,OAAO;SAC3B,CAAC;IACJ,CAAC;IACD,IAAI,gBAAgB,EAAE,WAAW,KAAK,WAAW,EAAE,CAAC;QAClD,OAAO;YACL,WAAW,EAAE,WAAW;YACxB,MAAM,EAAE,WAAW;YACnB,aAAa,EAAE,gBAAgB,CAAC,aAAa;YAC7C,OAAO,EAAE,SAAS,CAAC,OAAO;SAC3B,CAAC;IACJ,CAAC;IACD,IAAI,gBAAgB,EAAE,WAAW,KAAK,aAAa,EAAE,CAAC;QACpD,OAAO;YACL,WAAW,EAAE,SAAS;YACtB,MAAM,EACJ,gBAAgB,KAAK,IAAI,IAAI,gBAAgB,CAAC,mBAAmB,KAAK,IAAI;gBACxE,CAAC,CAAC,oBAAoB;gBACtB,CAAC,CAAC,0BAA0B;YAChC,aAAa;YACb,OAAO,EAAE,SAAS,CAAC,OAAO;SAC3B,CAAC;IACJ,CAAC;IACD,IAAI,gBAAgB,CAAC,aAAa,KAAK,aAAa,EAAE,CAAC;QACrD,MAAM,IAAI,KAAK,CAAC,sEAAsE,CAAC,CAAC;IAC1F,CAAC;IACD,MAAM,WAAW,GAAG,SAAS,CAAC,OAAO,CAAC,IAAI,CACxC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,UAAU,IAAI,KAAK,CAAC,aAAa,KAAK,aAAa,CAC9E,CAAC;IACF,OAAO;QACL,WAAW,EAAE,WAAW,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,mBAAmB;QAC5D,MAAM,EAAE,WAAW,CAAC,CAAC,CAAC,0BAA0B,CAAC,CAAC,CAAC,mBAAmB;QACtE,aAAa;QACb,OAAO,EAAE,SAAS,CAAC,OAAO;KAC3B,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,0BAA0B,CACxC,KAA+B;IAE/B,MAAM,OAAO,GAAG,cAAc,CAAC,KAAK,CAAC,CAAC;IACtC,MAAM,QAAQ,GAAG,4BAA4B,CAAC,OAAO,CAAC,CAAC;IACvD,OAAO;QACL,GAAG,OAAO;QACV,QAAQ;QACR,eAAe,EAAE,qBAAqB,CAAC,QAAQ,EAAE,IAAI,CAAC;KACvD,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,0BAA0B,CACxC,KAA2E;IAE3E,MAAM,OAAO,GAAG,cAAc,CAAC,KAAK,CAAC,CAAC;IACtC,MAAM,QAAQ,GAAG,0BAA0B,CAAC,EAAE,GAAG,OAAO,EAAE,QAAQ,EAAE,KAAK,CAAC,QAAQ,EAAE,CAAC,CAAC;IACtF,MAAM,WAAW,GAAG,QAAQ,CAAC,gBAAgB;QAC3C,CAAC,CAAC,+BAA+B,CAAC,KAAK,CAAC,QAAQ,CAAC,OAAO,CAAC;QACzD,CAAC,CAAC,IAAI,CAAC;IACT,OAAO;QACL,GAAG,OAAO;QACV,QAAQ;QACR,eAAe,EAAE,QAAQ,CAAC,gBAAgB;YACxC,CAAC,CAAC,qBAAqB,CAAC,QAAQ,EAAE,WAAW,CAAC;YAC9C,CAAC,CAAC,IAAI;KACT,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,sCAAsC,CACpD,KAAgC;IAEhC,OAAO,0BAA0B,CAAC,wBAAwB,CAAC,KAAK,CAAC,CAAC,CAAC;AACrE,CAAC"}

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

@@ -0,0 +1,85 @@
+export declare const NATIVE_REPAIR_SIGNATURE_SCHEMA: "comet.native.repair-signature.v1";
+export declare const NATIVE_REPAIR_STAGNATION_LIMITS: {
+    readonly warningAtConsecutiveFailures: 2;
+    readonly manualStopAtConsecutiveFailures: 3;
+    readonly maxRepairIterations: 12;
+    readonly maxHistoryRecords: 64;
+    readonly maxCategories: 16;
+    readonly maxFailedCheckIds: 128;
+    readonly maxOverrideSummaryCharacters: 2000;
+};
+export interface NativeRepairFailureFacts {
+    contractHash: string;
+    implementationScopeHash: string;
+    artifactSnapshotHash: string;
+    categories: readonly string[];
+    failedCheckIds: readonly string[];
+}
+export interface NativeRepairSignature {
+    schema: typeof NATIVE_REPAIR_SIGNATURE_SCHEMA;
+    contractHash: string;
+    implementationScopeHash: string;
+    artifactSnapshotHash: string;
+    categories: string[];
+    failedCheckIds: string[];
+    signatureHash: string;
+}
+export interface NativeRepairFailureRecord {
+    kind: 'failure';
+    revision: number;
+    iteration: number;
+    signatureHash: string;
+}
+export interface NativeRepairOverrideRecord {
+    kind: 'override';
+    revision: number;
+    iteration: number;
+    signatureHash: string;
+    summaryHash: string;
+}
+export type NativeRepairHistoryRecord = NativeRepairFailureRecord | NativeRepairOverrideRecord;
+export interface NativeRepairOverrideRequest {
+    expectedSignatureHash: string;
+    summary: string;
+}
+export interface NativeRepairStagnationDecision {
+    disposition: 'continue' | 'warn' | 'manual-stop' | 'hard-stop';
+    reasonCode: 'new-failure-signature' | 'repeated-failure-warning' | 'repeated-failure-stop' | 'override-accepted' | 'override-already-used' | 'repair-iteration-limit';
+    signature: NativeRepairSignature;
+    consecutiveFailures: number;
+    totalRepairFailures: number;
+    remainingIterations: number;
+    overrideAccepted: boolean;
+}
+export declare function normalizeNativeRepairFailureTokens(options: {
+    categories?: readonly string[];
+    failedCheckIds?: readonly string[];
+}): {
+    categories: string[];
+    failedCheckIds: string[];
+};
+export declare function buildNativeRepairSignature(facts: NativeRepairFailureFacts): NativeRepairSignature;
+export declare function hashNativeRepairOverrideSummary(summary: string): string;
+/**
+ * Decide an override for a failure that was already committed as a manual stop.
+ *
+ * Unlike `decideNativeRepairStagnation`, this function does not add another failure attempt. The
+ * accepted override belongs to the following Build-to-Verify transition.
+ */
+export declare function decideNativeRepairOverride(options: {
+    facts: NativeRepairFailureFacts;
+    history: readonly NativeRepairHistoryRecord[];
+    override: NativeRepairOverrideRequest;
+}): NativeRepairStagnationDecision;
+/**
+ * Decide whether another Verify-fail repair loop is useful.
+ *
+ * The caller persists failure/override events; this pure function never weakens a test, changes a
+ * phase, or invents a pass result.
+ */
+export declare function decideNativeRepairStagnation(options: {
+    facts: NativeRepairFailureFacts;
+    history: readonly NativeRepairHistoryRecord[];
+    override?: NativeRepairOverrideRequest | null;
+}): NativeRepairStagnationDecision;
+//# sourceMappingURL=native-repair-stagnation.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"native-repair-stagnation.d.ts","sourceRoot":"","sources":["../../../domains/comet-native/native-repair-stagnation.ts"],"names":[],"mappings":"AAEA,eAAO,MAAM,8BAA8B,EAAG,kCAA2C,CAAC;AAC1F,eAAO,MAAM,+BAA+B;;;;;;;;CAQlC,CAAC;AAOX,MAAM,WAAW,wBAAwB;IACvC,YAAY,EAAE,MAAM,CAAC;IACrB,uBAAuB,EAAE,MAAM,CAAC;IAChC,oBAAoB,EAAE,MAAM,CAAC;IAC7B,UAAU,EAAE,SAAS,MAAM,EAAE,CAAC;IAC9B,cAAc,EAAE,SAAS,MAAM,EAAE,CAAC;CACnC;AAED,MAAM,WAAW,qBAAqB;IACpC,MAAM,EAAE,OAAO,8BAA8B,CAAC;IAC9C,YAAY,EAAE,MAAM,CAAC;IACrB,uBAAuB,EAAE,MAAM,CAAC;IAChC,oBAAoB,EAAE,MAAM,CAAC;IAC7B,UAAU,EAAE,MAAM,EAAE,CAAC;IACrB,cAAc,EAAE,MAAM,EAAE,CAAC;IACzB,aAAa,EAAE,MAAM,CAAC;CACvB;AAED,MAAM,WAAW,yBAAyB;IACxC,IAAI,EAAE,SAAS,CAAC;IAChB,QAAQ,EAAE,MAAM,CAAC;IACjB,SAAS,EAAE,MAAM,CAAC;IAClB,aAAa,EAAE,MAAM,CAAC;CACvB;AAED,MAAM,WAAW,0BAA0B;IACzC,IAAI,EAAE,UAAU,CAAC;IACjB,QAAQ,EAAE,MAAM,CAAC;IACjB,SAAS,EAAE,MAAM,CAAC;IAClB,aAAa,EAAE,MAAM,CAAC;IACtB,WAAW,EAAE,MAAM,CAAC;CACrB;AAED,MAAM,MAAM,yBAAyB,GAAG,yBAAyB,GAAG,0BAA0B,CAAC;AAE/F,MAAM,WAAW,2BAA2B;IAC1C,qBAAqB,EAAE,MAAM,CAAC;IAC9B,OAAO,EAAE,MAAM,CAAC;CACjB;AAED,MAAM,WAAW,8BAA8B;IAC7C,WAAW,EAAE,UAAU,GAAG,MAAM,GAAG,aAAa,GAAG,WAAW,CAAC;IAC/D,UAAU,EACN,uBAAuB,GACvB,0BAA0B,GAC1B,uBAAuB,GACvB,mBAAmB,GACnB,uBAAuB,GACvB,wBAAwB,CAAC;IAC7B,SAAS,EAAE,qBAAqB,CAAC;IACjC,mBAAmB,EAAE,MAAM,CAAC;IAC5B,mBAAmB,EAAE,MAAM,CAAC;IAC5B,mBAAmB,EAAE,MAAM,CAAC;IAC5B,gBAAgB,EAAE,OAAO,CAAC;CAC3B;AAwCD,wBAAgB,kCAAkC,CAAC,OAAO,EAAE;IAC1D,UAAU,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAC/B,cAAc,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;CACpC,GAAG;IAAE,UAAU,EAAE,MAAM,EAAE,CAAC;IAAC,cAAc,EAAE,MAAM,EAAE,CAAA;CAAE,CAmBrD;AAED,wBAAgB,0BAA0B,CAAC,KAAK,EAAE,wBAAwB,GAAG,qBAAqB,CAiBjG;AAiED,wBAAgB,+BAA+B,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM,CAIvE;AAED;;;;;GAKG;AACH,wBAAgB,0BAA0B,CAAC,OAAO,EAAE;IAClD,KAAK,EAAE,wBAAwB,CAAC;IAChC,OAAO,EAAE,SAAS,yBAAyB,EAAE,CAAC;IAC9C,QAAQ,EAAE,2BAA2B,CAAC;CACvC,GAAG,8BAA8B,CAqDjC;AAED;;;;;GAKG;AACH,wBAAgB,4BAA4B,CAAC,OAAO,EAAE;IACpD,KAAK,EAAE,wBAAwB,CAAC;IAChC,OAAO,EAAE,SAAS,yBAAyB,EAAE,CAAC;IAC9C,QAAQ,CAAC,EAAE,2BAA2B,GAAG,IAAI,CAAC;CAC/C,GAAG,8BAA8B,CAmFjC"}