@allocator-one/rcl 4.4.19

package/dist/dispatch/checkpoint-verification.d.ts

@@ -0,0 +1,213 @@
+import { z } from 'zod';
+import type { ModelAnswer } from './adapter.js';
+declare const planSchema: z.ZodObject<{
+    runId: z.ZodString;
+    gatingPlanBytes: z.ZodString;
+    model: z.ZodString;
+    provider: z.ZodString;
+    batches: z.ZodArray<z.ZodObject<{
+        systemPrompt: z.ZodString;
+        userPrompt: z.ZodString;
+    }, z.core.$strict>>;
+    startedAtMs: z.ZodNumber;
+    expiresAtMs: z.ZodNumber;
+    verificationTimeoutMs: z.ZodNumber;
+    verificationPassTimeoutMs: z.ZodNumber;
+    maxPhysicalCalls: z.ZodNumber;
+}, z.core.$strict>;
+declare const intentSchema: z.ZodObject<{
+    batchIndex: z.ZodNumber;
+    attemptId: z.ZodString;
+    startedAtMs: z.ZodNumber;
+}, z.core.$strict>;
+declare const resultSchema: z.ZodObject<{
+    batchIndex: z.ZodNumber;
+    attemptId: z.ZodString;
+    finishedAtMs: z.ZodNumber;
+    answerBytes: z.ZodString;
+}, z.core.$strict>;
+declare const notDispatchedSchema: z.ZodObject<{
+    batchIndex: z.ZodNumber;
+    attemptId: z.ZodString;
+    finishedAtMs: z.ZodNumber;
+    answerBytes: z.ZodString;
+}, z.core.$strict>;
+declare const terminalSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
+    status: z.ZodLiteral<"complete">;
+    finishedAtMs: z.ZodNumber;
+}, z.core.$strict>, z.ZodObject<{
+    status: z.ZodLiteral<"failed">;
+    finishedAtMs: z.ZodNumber;
+    reason: z.ZodString;
+}, z.core.$strict>], "status">;
+declare const bindingsSchema: z.ZodObject<{
+    planDigest: z.ZodString;
+    finalizationDigest: z.ZodString;
+    capturedInputsSha256: z.ZodString;
+    operationSha256: z.ZodString;
+}, z.core.$strict>;
+declare const eventSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
+    type: z.ZodLiteral<"plan">;
+    plan: z.ZodObject<{
+        runId: z.ZodString;
+        gatingPlanBytes: z.ZodString;
+        model: z.ZodString;
+        provider: z.ZodString;
+        batches: z.ZodArray<z.ZodObject<{
+            systemPrompt: z.ZodString;
+            userPrompt: z.ZodString;
+        }, z.core.$strict>>;
+        startedAtMs: z.ZodNumber;
+        expiresAtMs: z.ZodNumber;
+        verificationTimeoutMs: z.ZodNumber;
+        verificationPassTimeoutMs: z.ZodNumber;
+        maxPhysicalCalls: z.ZodNumber;
+    }, z.core.$strict>;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"intent">;
+    intent: z.ZodObject<{
+        batchIndex: z.ZodNumber;
+        attemptId: z.ZodString;
+        startedAtMs: z.ZodNumber;
+    }, z.core.$strict>;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"result">;
+    result: z.ZodObject<{
+        batchIndex: z.ZodNumber;
+        attemptId: z.ZodString;
+        finishedAtMs: z.ZodNumber;
+        answerBytes: z.ZodString;
+    }, z.core.$strict>;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"not-dispatched">;
+    result: z.ZodObject<{
+        batchIndex: z.ZodNumber;
+        attemptId: z.ZodString;
+        finishedAtMs: z.ZodNumber;
+        answerBytes: z.ZodString;
+    }, z.core.$strict>;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"terminal">;
+    terminal: z.ZodDiscriminatedUnion<[z.ZodObject<{
+        status: z.ZodLiteral<"complete">;
+        finishedAtMs: z.ZodNumber;
+    }, z.core.$strict>, z.ZodObject<{
+        status: z.ZodLiteral<"failed">;
+        finishedAtMs: z.ZodNumber;
+        reason: z.ZodString;
+    }, z.core.$strict>], "status">;
+}, z.core.$strict>], "type">;
+declare const recordSchema: z.ZodObject<{
+    sequence: z.ZodNumber;
+    previousDigest: z.ZodString;
+    digest: z.ZodString;
+    event: z.ZodDiscriminatedUnion<[z.ZodObject<{
+        type: z.ZodLiteral<"plan">;
+        plan: z.ZodObject<{
+            runId: z.ZodString;
+            gatingPlanBytes: z.ZodString;
+            model: z.ZodString;
+            provider: z.ZodString;
+            batches: z.ZodArray<z.ZodObject<{
+                systemPrompt: z.ZodString;
+                userPrompt: z.ZodString;
+            }, z.core.$strict>>;
+            startedAtMs: z.ZodNumber;
+            expiresAtMs: z.ZodNumber;
+            verificationTimeoutMs: z.ZodNumber;
+            verificationPassTimeoutMs: z.ZodNumber;
+            maxPhysicalCalls: z.ZodNumber;
+        }, z.core.$strict>;
+    }, z.core.$strict>, z.ZodObject<{
+        type: z.ZodLiteral<"intent">;
+        intent: z.ZodObject<{
+            batchIndex: z.ZodNumber;
+            attemptId: z.ZodString;
+            startedAtMs: z.ZodNumber;
+        }, z.core.$strict>;
+    }, z.core.$strict>, z.ZodObject<{
+        type: z.ZodLiteral<"result">;
+        result: z.ZodObject<{
+            batchIndex: z.ZodNumber;
+            attemptId: z.ZodString;
+            finishedAtMs: z.ZodNumber;
+            answerBytes: z.ZodString;
+        }, z.core.$strict>;
+    }, z.core.$strict>, z.ZodObject<{
+        type: z.ZodLiteral<"not-dispatched">;
+        result: z.ZodObject<{
+            batchIndex: z.ZodNumber;
+            attemptId: z.ZodString;
+            finishedAtMs: z.ZodNumber;
+            answerBytes: z.ZodString;
+        }, z.core.$strict>;
+    }, z.core.$strict>, z.ZodObject<{
+        type: z.ZodLiteral<"terminal">;
+        terminal: z.ZodDiscriminatedUnion<[z.ZodObject<{
+            status: z.ZodLiteral<"complete">;
+            finishedAtMs: z.ZodNumber;
+        }, z.core.$strict>, z.ZodObject<{
+            status: z.ZodLiteral<"failed">;
+            finishedAtMs: z.ZodNumber;
+            reason: z.ZodString;
+        }, z.core.$strict>], "status">;
+    }, z.core.$strict>], "type">;
+    bindings: z.ZodObject<{
+        planDigest: z.ZodString;
+        finalizationDigest: z.ZodString;
+        capturedInputsSha256: z.ZodString;
+        operationSha256: z.ZodString;
+    }, z.core.$strict>;
+}, z.core.$strict>;
+export type VerificationPlanInput = z.infer<typeof planSchema>;
+export type VerificationIntent = z.infer<typeof intentSchema>;
+export type VerificationResult = z.infer<typeof resultSchema>;
+export type VerificationNotDispatched = z.infer<typeof notDispatchedSchema>;
+export type VerificationTerminal = z.infer<typeof terminalSchema>;
+export type VerificationEvent = z.infer<typeof eventSchema>;
+export type VerificationRecord = z.infer<typeof recordSchema>;
+export interface VerificationContext extends z.infer<typeof bindingsSchema> {
+    runId: string;
+    startedAtMs: number;
+    expiresAtMs: number;
+    reviewerAttemptIds: readonly string[];
+}
+export interface VerificationState {
+    plan: VerificationPlanInput;
+    records: VerificationRecord[];
+    intents: VerificationIntent[];
+    outcomes: VerificationResult[];
+    notDispatched: VerificationNotDispatched[];
+    uncertain: VerificationIntent[];
+    terminal?: VerificationTerminal;
+}
+export interface ValidatedVerificationRecords {
+    readonly state?: VerificationState;
+}
+/** Internal checkpoint-only continuation after exact disk-byte comparison. */
+export declare function cloneValidatedVerificationRecords(snapshot: ValidatedVerificationRecords, context: VerificationContext): ValidatedVerificationRecords;
+export declare function verificationDigest(bytes: string): string;
+/** Parse exact observed adapter bytes against the frozen verifier route. */
+export declare function parseVerificationAnswer(bytes: string, plan: Pick<VerificationPlanInput, 'model' | 'provider'>): ModelAnswer;
+/** Snapshot before any await. Validation is structural; this never authorizes a provider request. */
+export declare function snapshotVerificationEvent(input: VerificationEvent): VerificationEvent;
+/** A proof of private local recording, not of remote ownership, model truth or launch authority. */
+export declare function validateVerificationRecords(input: readonly unknown[], context: VerificationContext): VerificationState | undefined;
+/** Non-forgeable same-operation snapshot; arbitrary arrays are fully validated before branding. */
+export declare function validateVerificationRecordsForAppend(input: readonly unknown[], context: VerificationContext): ValidatedVerificationRecords;
+/** Append only to a snapshot returned by this module's full validator in the same operation. */
+/** Internal checkpoint-only append; the journal may cache its successor only after durable publication. */
+export declare function appendVerificationRecordWithSuccessor(snapshot: ValidatedVerificationRecords, event: VerificationEvent, context: VerificationContext): {
+    record: VerificationRecord;
+    successor: ValidatedVerificationRecords;
+};
+export declare function appendVerificationRecordToValidatedRecords(snapshot: ValidatedVerificationRecords, event: VerificationEvent, context: VerificationContext): VerificationRecord;
+export declare function appendVerificationRecord(records: readonly VerificationRecord[], event: VerificationEvent, context: VerificationContext): VerificationRecord;
+/** Canonical sealed portable bytes. Consumers must regenerate the plan from validated captures before replay. */
+export declare function encodeVerificationProof(state: VerificationState, context: VerificationContext): {
+    bytes: string;
+    digest: string;
+};
+/** Structural only. Matching supplied context is not a substitute for authenticated ancestry. */
+export declare function decodeVerificationProof(bytes: string, context: VerificationContext): VerificationState;
+export {};

package/dist/dispatch/checkpoint-verification.js

@@ -0,0 +1,381 @@
+import { createHash } from 'node:crypto';
+import { z } from 'zod';
+import { MAX_TIMER_DELAY_MS, VerificationReasoningEffortSchema } from '../config/schema.js';
+import { stableStringify } from '../report/run-header.js';
+import { MAX_ARTIFACT_BYTES } from '../telemetry/envelope-validation.js';
+import { hasCheckpointIntentCapacity, MAX_PHASE_NOT_DISPATCHED, MAX_VERIFICATION_PHASE_RECORDS } from './checkpoint-phase-limits.js';
+const integer = z.number().int().nonnegative().safe();
+const digest = z.string().regex(/^[a-f0-9]{64}$/);
+const text = z.string().min(1).refine(value => !!value.trim() && !/[\0\r\n]/.test(value));
+const attemptId = z.string().regex(/^[A-Za-z0-9._:-]{1,160}$/);
+const uuid = z.string().regex(/^[a-f0-9]{8}-[a-f0-9]{4}-[1-8][a-f0-9]{3}-[89ab][a-f0-9]{3}-[a-f0-9]{12}$/i);
+const planSchema = z.object({
+    runId: uuid,
+    // These private bytes are an immutable comparison anchor, not a trusted plan.
+    gatingPlanBytes: z.string().min(1),
+    model: text, provider: text,
+    batches: z.array(z.object({ systemPrompt: z.string(), userPrompt: z.string() }).strict()).max(500),
+    startedAtMs: integer, expiresAtMs: integer,
+    verificationTimeoutMs: integer.min(1).max(MAX_TIMER_DELAY_MS),
+    verificationPassTimeoutMs: integer.min(1).max(MAX_TIMER_DELAY_MS),
+    maxPhysicalCalls: integer.max(500),
+}).strict();
+const intentSchema = z.object({ batchIndex: integer, attemptId, startedAtMs: integer }).strict();
+const resultSchema = z.object({ batchIndex: integer, attemptId, finishedAtMs: integer, answerBytes: z.string().min(1) }).strict();
+const notDispatchedSchema = resultSchema;
+const terminalSchema = z.discriminatedUnion('status', [
+    z.object({ status: z.literal('complete'), finishedAtMs: integer }).strict(),
+    z.object({ status: z.literal('failed'), finishedAtMs: integer, reason: text }).strict(),
+]);
+const bindingsSchema = z.object({ planDigest: digest, finalizationDigest: digest, capturedInputsSha256: digest, operationSha256: digest }).strict();
+const eventSchema = z.discriminatedUnion('type', [
+    z.object({ type: z.literal('plan'), plan: planSchema }).strict(),
+    z.object({ type: z.literal('intent'), intent: intentSchema }).strict(),
+    z.object({ type: z.literal('result'), result: resultSchema }).strict(),
+    z.object({ type: z.literal('not-dispatched'), result: notDispatchedSchema }).strict(),
+    z.object({ type: z.literal('terminal'), terminal: terminalSchema }).strict(),
+]);
+const recordSchema = z.object({ sequence: integer.min(1), previousDigest: digest, digest,
+    event: eventSchema, bindings: bindingsSchema,
+}).strict();
+const answerSchema = z.object({ model: text, provider: text, text: z.string(),
+    durationMs: z.number().finite().nonnegative(), status: z.enum(['success', 'timeout', 'error']), error: z.string().optional(),
+    adapterAttempts: integer.max(1).optional(),
+}).strict();
+// Validate request-bearing fields here. Finding semantics are independently
+// regenerated from captured source before replay; arbitrary annotations are not
+// authenticated merely by matching this structural schema.
+const requestPlanSchema = z.object({ version: z.union([z.literal(1), z.literal(2)]), findings: z.array(z.unknown()),
+    initialGating: z.array(z.unknown()), candidateIndices: z.array(integer), model: text,
+    verificationReasoningEffort: VerificationReasoningEffortSchema.optional(),
+    verificationTimeoutMs: integer.min(1).max(MAX_TIMER_DELAY_MS),
+    verificationPassTimeoutMs: integer.min(1).max(MAX_TIMER_DELAY_MS),
+    batches: z.array(z.object({ findingIndices: z.array(integer), systemPrompt: z.string(), userPrompt: z.string(), sourcePatches: z.record(z.string(), z.string()).optional() }).strict()).max(500),
+}).strict();
+const validatedVerificationRecords = new WeakMap();
+function snapshotFromMetadata(metadata) {
+    const state = metadata.plan === undefined ? undefined : freeze({ plan: metadata.plan, records: [...metadata.records], intents: [...metadata.intents],
+        outcomes: [...metadata.outcomes], notDispatched: [...metadata.notDispatched],
+        uncertain: metadata.intents.filter(row => !metadata.resolvedAttempts.has(row.attemptId)), ...(metadata.terminal ? { terminal: metadata.terminal } : {}) });
+    const snapshot = freeze(state ? { state } : {});
+    validatedVerificationRecords.set(snapshot, metadata);
+    return snapshot;
+}
+function cloneMetadata(metadata) {
+    return { ...metadata, records: [...metadata.records], intents: [...metadata.intents], outcomes: [...metadata.outcomes],
+        notDispatched: [...metadata.notDispatched],
+        byBatch: new Map(metadata.byBatch), ids: new Set(metadata.ids), resolvedAttempts: new Set(metadata.resolvedAttempts), results: new Set(metadata.results) };
+}
+/** Internal checkpoint-only continuation after exact disk-byte comparison. */
+export function cloneValidatedVerificationRecords(snapshot, context) {
+    const metadata = validatedVerificationRecords.get(snapshot);
+    refuse(metadata && metadata.contextFingerprint === contextFingerprint(context), 'unvalidated_state');
+    return snapshotFromMetadata(cloneMetadata(metadata));
+}
+export function verificationDigest(bytes) { return createHash('sha256').update(bytes).digest('hex'); }
+/** Parse exact observed adapter bytes against the frozen verifier route. */
+export function parseVerificationAnswer(bytes, plan) {
+    opaque(bytes);
+    let value;
+    try {
+        value = JSON.parse(bytes);
+    }
+    catch {
+        throw new Error('checkpoint_verification_invalid_answer');
+    }
+    const answer = answerSchema.safeParse(value);
+    refuse(answer.success && answer.data.model === plan.model && answer.data.provider === plan.provider, 'invalid_answer');
+    return freeze(answer.data);
+}
+function freeze(value) {
+    if (value && typeof value === 'object' && !Object.isFrozen(value)) {
+        for (const child of Object.values(value))
+            freeze(child);
+        Object.freeze(value);
+    }
+    return value;
+}
+function refuse(condition, reason) {
+    if (!condition)
+        throw new Error(`checkpoint_verification_${reason}`);
+}
+function opaque(bytes) {
+    refuse(Buffer.byteLength(bytes, 'utf8') <= 8 * 1024 * 1024 && Buffer.from(bytes, 'utf8').toString('utf8') === bytes, 'invalid_bytes');
+}
+function rawObject(value) {
+    return value && typeof value === 'object' && !Array.isArray(value) ? value : {};
+}
+function boundRawStrings(value, fields, budget, limit = MAX_ARTIFACT_BYTES) {
+    const object = rawObject(value);
+    for (const field of fields) {
+        const text = object[field];
+        if (typeof text !== 'string')
+            continue; // The schema rejects wrong types without traversing them.
+        const bytes = Buffer.byteLength(text, 'utf8');
+        budget.bytes += bytes;
+        refuse(budget.bytes <= MAX_ARTIFACT_BYTES, 'too_large');
+        refuse(bytes <= limit, 'invalid_bytes');
+    }
+}
+/** Inspect only the finite wire shape; shared objects count at each serialized occurrence. */
+const MAX_GATING_PLAN_DEPTH = 64;
+function* jsonChildren(value) {
+    if (Array.isArray(value)) {
+        for (const child of value)
+            yield child;
+    }
+    else {
+        for (const key in value) {
+            if (Object.hasOwn(value, key))
+                yield value[key];
+        }
+    }
+}
+/** Reject only nesting unsafe for the recursive canonical serializer; sibling count remains byte-bounded. */
+function preflightGatingPlanDepth(value) {
+    const ancestors = [];
+    let current = value;
+    while (true) {
+        if (current && typeof current === 'object') {
+            refuse(ancestors.length <= MAX_GATING_PLAN_DEPTH, 'invalid_gating_plan');
+            ancestors.push(jsonChildren(current));
+        }
+        let next;
+        while (ancestors.length) {
+            next = ancestors.at(-1).next();
+            if (!next.done)
+                break;
+            ancestors.pop();
+        }
+        if (!next || next.done)
+            return;
+        current = next.value;
+    }
+}
+function preflightRawVerificationEvent(value, budget = { bytes: 0 }) {
+    const event = rawObject(value);
+    boundRawStrings(event, ['type'], budget);
+    if (event.type === 'plan') {
+        const plan = rawObject(event.plan);
+        boundRawStrings(plan, ['runId', 'model', 'provider'], budget);
+        boundRawStrings(plan, ['gatingPlanBytes'], budget, 8 * 1024 * 1024);
+        if (Array.isArray(plan.batches)) {
+            refuse(plan.batches.length <= 500, 'invalid_event');
+            for (const batch of plan.batches)
+                boundRawStrings(batch, ['systemPrompt', 'userPrompt'], budget, 8 * 1024 * 1024);
+        }
+    }
+    else if (event.type === 'result' || event.type === 'not-dispatched') {
+        boundRawStrings(event.result, ['attemptId'], budget);
+        boundRawStrings(event.result, ['answerBytes'], budget, 8 * 1024 * 1024);
+    }
+    else if (event.type === 'intent')
+        boundRawStrings(event.intent, ['attemptId'], budget);
+    else if (event.type === 'terminal')
+        boundRawStrings(event.terminal, ['status', 'reason'], budget);
+}
+function binding(context) {
+    return bindingsSchema.parse({ planDigest: context.planDigest, finalizationDigest: context.finalizationDigest,
+        capturedInputsSha256: context.capturedInputsSha256, operationSha256: context.operationSha256 });
+}
+function contextFingerprint(context) {
+    return stableStringify({ ...binding(context), runId: context.runId, startedAtMs: context.startedAtMs,
+        expiresAtMs: context.expiresAtMs, reviewerAttemptIds: [...context.reviewerAttemptIds] });
+}
+/** Snapshot before any await. Validation is structural; this never authorizes a provider request. */
+export function snapshotVerificationEvent(input) {
+    preflightRawVerificationEvent(input);
+    const parsed = eventSchema.safeParse(input);
+    refuse(parsed.success, 'invalid_event');
+    const event = parsed.data;
+    if (event.type === 'plan') {
+        opaque(event.plan.gatingPlanBytes);
+        for (const batch of event.plan.batches) {
+            opaque(batch.systemPrompt);
+            opaque(batch.userPrompt);
+        }
+        let value;
+        try {
+            value = JSON.parse(event.plan.gatingPlanBytes);
+        }
+        catch {
+            throw new Error('checkpoint_verification_invalid_gating_plan');
+        }
+        const saved = requestPlanSchema.safeParse(value);
+        refuse(saved.success, 'invalid_gating_plan');
+        preflightGatingPlanDepth(value);
+        refuse(stableStringify(value) === event.plan.gatingPlanBytes, 'invalid_gating_plan');
+        const plan = saved.data;
+        refuse(plan.version === 1
+            ? plan.verificationReasoningEffort === undefined && plan.batches.every(batch => batch.sourcePatches === undefined)
+            : plan.batches.every(batch => batch.sourcePatches !== undefined), 'invalid_gating_plan');
+        refuse(plan.model === event.plan.model && plan.verificationTimeoutMs === event.plan.verificationTimeoutMs &&
+            plan.verificationPassTimeoutMs === event.plan.verificationPassTimeoutMs &&
+            stableStringify(plan.batches.map(({ systemPrompt, userPrompt }) => ({ systemPrompt, userPrompt }))) === stableStringify(event.plan.batches), 'request_plan_mismatch');
+    }
+    else if (event.type === 'result' || event.type === 'not-dispatched')
+        opaque(event.result.answerBytes);
+    refuse(Buffer.byteLength(stableStringify(event), 'utf8') <= MAX_ARTIFACT_BYTES, 'too_large');
+    return freeze(event);
+}
+function checkVerificationEvent(event, index, metadata, context) {
+    refuse(!metadata.terminal, 'finalized');
+    if (event.type === 'plan') {
+        const plan = event.plan;
+        refuse(index === 0 && !metadata.plan, 'duplicate_plan');
+        refuse(plan.runId === context.runId && plan.startedAtMs >= context.startedAtMs && plan.expiresAtMs >= plan.startedAtMs &&
+            plan.expiresAtMs <= context.expiresAtMs && plan.expiresAtMs - plan.startedAtMs <= plan.verificationPassTimeoutMs &&
+            plan.maxPhysicalCalls <= plan.batches.length && plan.maxPhysicalCalls + context.reviewerAttemptIds.length <= 500, 'invalid_plan');
+    }
+    else {
+        const plan = metadata.plan;
+        refuse(plan, 'missing_plan');
+        if (event.type === 'intent') {
+            const row = event.intent;
+            refuse(row.batchIndex < plan.batches.length && !metadata.byBatch.has(row.batchIndex) && !metadata.ids.has(row.attemptId), 'duplicate_or_unknown_intent');
+            refuse(row.startedAtMs >= plan.startedAtMs && row.startedAtMs < plan.expiresAtMs &&
+                row.startedAtMs >= (metadata.intents.at(-1)?.startedAtMs ?? plan.startedAtMs), 'invalid_intent_time');
+            refuse(metadata.intents.length - metadata.notDispatched.length < plan.maxPhysicalCalls, 'call_cap');
+        }
+        else if (event.type === 'result' || event.type === 'not-dispatched') {
+            const row = event.result, launch = metadata.byBatch.get(row.batchIndex);
+            refuse(launch && launch.attemptId === row.attemptId && !metadata.resolvedAttempts.has(row.attemptId), 'missing_or_duplicate_intent');
+            refuse(row.finishedAtMs >= launch.startedAtMs, 'invalid_result_time');
+            const answer = parseVerificationAnswer(row.answerBytes, plan);
+            if (event.type === 'not-dispatched') {
+                refuse(answer.status === 'error', 'invalid_not_dispatched');
+                refuse(metadata.notDispatched.length < MAX_PHASE_NOT_DISPATCHED, 'not_dispatched_capacity');
+            }
+        }
+        else {
+            const row = event.terminal;
+            refuse(row.finishedAtMs >= plan.startedAtMs && metadata.intents.every(x => x.startedAtMs <= row.finishedAtMs) &&
+                metadata.outcomes.every(x => x.finishedAtMs <= row.finishedAtMs) &&
+                metadata.notDispatched.every(x => x.finishedAtMs <= row.finishedAtMs), 'invalid_terminal_time');
+            if (row.status === 'complete')
+                refuse(metadata.results.size === plan.batches.length && row.finishedAtMs < plan.expiresAtMs, 'incomplete');
+        }
+    }
+}
+function retainVerificationEvent(event, metadata) {
+    if (event.type === 'plan')
+        metadata.plan = event.plan;
+    else if (event.type === 'intent') {
+        metadata.byBatch.set(event.intent.batchIndex, event.intent);
+        metadata.ids.add(event.intent.attemptId);
+        metadata.intents.push(event.intent);
+    }
+    else if (event.type === 'result') {
+        metadata.resolvedAttempts.add(event.result.attemptId);
+        metadata.outcomes.push(event.result);
+        metadata.results.add(event.result.batchIndex);
+    }
+    else if (event.type === 'not-dispatched') {
+        metadata.resolvedAttempts.add(event.result.attemptId);
+        metadata.notDispatched.push(event.result);
+        metadata.byBatch.delete(event.result.batchIndex);
+    }
+    else
+        metadata.terminal = event.terminal;
+}
+function validateVerificationRecordSet(input, context) {
+    refuse(Array.isArray(input) && input.length <= MAX_VERIFICATION_PHASE_RECORDS, 'too_many_records');
+    const budget = { bytes: 0 };
+    for (const value of input) {
+        const record = rawObject(value);
+        boundRawStrings(record, ['previousDigest', 'digest'], budget);
+        boundRawStrings(record.bindings, ['planDigest', 'finalizationDigest', 'capturedInputsSha256', 'operationSha256'], budget);
+        preflightRawVerificationEvent(record.event, budget);
+    }
+    const expected = stableStringify(binding(context));
+    const metadata = { contextFingerprint: contextFingerprint(context), expectedBinding: expected,
+        retainedBytes: Buffer.byteLength('{"records":[],"version":1}', 'utf8'), previousDigest: context.finalizationDigest,
+        records: [], intents: [], outcomes: [], notDispatched: [], byBatch: new Map(), ids: new Set(context.reviewerAttemptIds), resolvedAttempts: new Set(), results: new Set() };
+    if (!input.length)
+        return { metadata };
+    for (const [index, value] of input.entries()) {
+        const parsed = recordSchema.safeParse(value);
+        refuse(parsed.success, 'invalid_record');
+        const record = parsed.data, { digest: hash, ...unsigned } = record;
+        metadata.retainedBytes += Buffer.byteLength(stableStringify(record), 'utf8') + 1;
+        refuse(metadata.retainedBytes <= MAX_ARTIFACT_BYTES, 'too_large');
+        refuse(record.sequence === index + 1 && record.previousDigest === metadata.previousDigest &&
+            hash === verificationDigest(stableStringify(unsigned)) && stableStringify(record.bindings) === expected, 'invalid_record');
+        const event = snapshotVerificationEvent(record.event);
+        checkVerificationEvent(event, index, metadata, context);
+        retainVerificationEvent(event, metadata);
+        metadata.records.push(record);
+        metadata.previousDigest = hash;
+    }
+    refuse(metadata.plan, 'missing_plan');
+    const state = freeze({ plan: metadata.plan, records: metadata.records, intents: metadata.intents, outcomes: metadata.outcomes,
+        notDispatched: metadata.notDispatched,
+        uncertain: metadata.intents.filter(row => !metadata.resolvedAttempts.has(row.attemptId)), ...(metadata.terminal ? { terminal: metadata.terminal } : {}) });
+    return { state, metadata };
+}
+/** A proof of private local recording, not of remote ownership, model truth or launch authority. */
+export function validateVerificationRecords(input, context) {
+    return validateVerificationRecordSet(input, context).state;
+}
+/** Non-forgeable same-operation snapshot; arbitrary arrays are fully validated before branding. */
+export function validateVerificationRecordsForAppend(input, context) {
+    const checked = validateVerificationRecordSet(input, context), snapshot = freeze(checked.state ? { state: checked.state } : {});
+    validatedVerificationRecords.set(snapshot, checked.metadata);
+    return snapshot;
+}
+/** Append only to a snapshot returned by this module's full validator in the same operation. */
+/** Internal checkpoint-only append; the journal may cache its successor only after durable publication. */
+export function appendVerificationRecordWithSuccessor(snapshot, event, context) {
+    const metadata = validatedVerificationRecords.get(snapshot);
+    refuse(metadata && metadata.contextFingerprint === contextFingerprint(context), 'unvalidated_state');
+    validatedVerificationRecords.delete(snapshot);
+    refuse(metadata.records.length < MAX_VERIFICATION_PHASE_RECORDS, 'too_many_records');
+    const captured = snapshotVerificationEvent(event);
+    checkVerificationEvent(captured, metadata.records.length, metadata, context);
+    if (captured.type === 'intent') {
+        refuse(hasCheckpointIntentCapacity(metadata.records.length, metadata.intents.length - metadata.resolvedAttempts.size, metadata.notDispatched.length, MAX_VERIFICATION_PHASE_RECORDS), 'intent_capacity');
+    }
+    const unsigned = { sequence: metadata.records.length + 1, previousDigest: metadata.previousDigest,
+        bindings: binding(context), event: captured };
+    const record = freeze({ ...unsigned, digest: verificationDigest(stableStringify(unsigned)) });
+    refuse(metadata.retainedBytes + Buffer.byteLength(stableStringify(record), 'utf8') + 1 <= MAX_ARTIFACT_BYTES, 'too_large');
+    const next = cloneMetadata(metadata);
+    next.retainedBytes += Buffer.byteLength(stableStringify(record), 'utf8') + 1;
+    retainVerificationEvent(captured, next);
+    next.records.push(record);
+    next.previousDigest = record.digest;
+    return { record, successor: snapshotFromMetadata(next) };
+}
+export function appendVerificationRecordToValidatedRecords(snapshot, event, context) {
+    return appendVerificationRecordWithSuccessor(snapshot, event, context).record;
+}
+export function appendVerificationRecord(records, event, context) {
+    return appendVerificationRecordToValidatedRecords(validateVerificationRecordsForAppend(records, context), event, context);
+}
+/** Canonical sealed portable bytes. Consumers must regenerate the plan from validated captures before replay. */
+export function encodeVerificationProof(state, context) {
+    const checked = validateVerificationRecords(state.records, context);
+    refuse(checked?.terminal, 'unsealed');
+    const bytes = stableStringify({ version: 1, records: checked.records });
+    refuse(Buffer.byteLength(bytes, 'utf8') <= MAX_ARTIFACT_BYTES, 'too_large');
+    return freeze({ bytes, digest: verificationDigest(bytes) });
+}
+/** Structural only. Matching supplied context is not a substitute for authenticated ancestry. */
+export function decodeVerificationProof(bytes, context) {
+    refuse(typeof bytes === 'string' && Buffer.byteLength(bytes, 'utf8') <= MAX_ARTIFACT_BYTES &&
+        Buffer.from(bytes, 'utf8').toString('utf8') === bytes, 'invalid_proof');
+    let value;
+    try {
+        value = JSON.parse(bytes);
+    }
+    catch {
+        throw new Error('checkpoint_verification_invalid_proof');
+    }
+    const parsed = z.object({ version: z.literal(1), records: z.array(z.unknown()).max(MAX_VERIFICATION_PHASE_RECORDS) }).strict().safeParse(value);
+    refuse(parsed.success, 'invalid_proof');
+    const state = validateVerificationRecords(parsed.data.records, context);
+    refuse(stableStringify(value) === bytes, 'invalid_proof');
+    refuse(state?.terminal, 'unsealed');
+    return state;
+}
+//# sourceMappingURL=checkpoint-verification.js.map

package/dist/dispatch/checkpoint-verification.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"checkpoint-verification.js","sourceRoot":"","sources":["../../src/dispatch/checkpoint-verification.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,EAAE,kBAAkB,EAAE,iCAAiC,EAAE,MAAM,qBAAqB,CAAC;AAC5F,OAAO,EAAE,eAAe,EAAE,MAAM,yBAAyB,CAAC;AAC1D,OAAO,EAAE,kBAAkB,EAAE,MAAM,qCAAqC,CAAC;AAEzE,OAAO,EAAE,2BAA2B,EAAE,wBAAwB,EAAE,8BAA8B,EAAE,MAAM,8BAA8B,CAAC;AAErI,MAAM,OAAO,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE,CAAC,IAAI,EAAE,CAAC;AACtD,MAAM,MAAM,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAC;AAClD,MAAM,IAAI,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,EAAE,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;AAC1F,MAAM,SAAS,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,KAAK,CAAC,0BAA0B,CAAC,CAAC;AAC/D,MAAM,IAAI,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,KAAK,CAAC,4EAA4E,CAAC,CAAC;AAC5G,MAAM,UAAU,GAAG,CAAC,CAAC,MAAM,CAAC;IAC1B,KAAK,EAAE,IAAI;IACX,8EAA8E;IAC9E,eAAe,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IAClC,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI;IAC3B,OAAO,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,YAAY,EAAE,CAAC,CAAC,MAAM,EAAE,EAAE,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC;IAClG,WAAW,EAAE,OAAO,EAAE,WAAW,EAAE,OAAO;IAC1C,qBAAqB,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,kBAAkB,CAAC;IAC7D,yBAAyB,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,kBAAkB,CAAC;IACjE,gBAAgB,EAAE,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC;CACnC,CAAC,CAAC,MAAM,EAAE,CAAC;AACZ,MAAM,YAAY,GAAG,CAAC,CAAC,MAAM,CAAC,EAAE,UAAU,EAAE,OAAO,EAAE,SAAS,EAAE,WAAW,EAAE,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC;AACjG,MAAM,YAAY,GAAG,CAAC,CAAC,MAAM,CAAC,EAAE,UAAU,EAAE,OAAO,EAAE,SAAS,EAAE,YAAY,EAAE,OAAO,EAAE,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC;AAClI,MAAM,mBAAmB,GAAG,YAAY,CAAC;AACzC,MAAM,cAAc,GAAG,CAAC,CAAC,kBAAkB,CAAC,QAAQ,EAAE;IACpD,CAAC,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,YAAY,EAAE,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE;IAC3E,CAAC,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,YAAY,EAAE,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE;CACxF,CAAC,CAAC;AACH,MAAM,cAAc,GAAG,CAAC,CAAC,MAAM,CAAC,EAAE,UAAU,EAAE,MAAM,EAAE,kBAAkB,EAAE,MAAM,EAAE,oBAAoB,EAAE,MAAM,EAAE,eAAe,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC;AACpJ,MAAM,WAAW,GAAG,CAAC,CAAC,kBAAkB,CAAC,MAAM,EAAE;IAC/C,CAAC,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE;IAChE,CAAC,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,MAAM,EAAE,YAAY,EAAE,CAAC,CAAC,MAAM,EAAE;IACtE,CAAC,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,MAAM,EAAE,YAAY,EAAE,CAAC,CAAC,MAAM,EAAE;IACtE,CAAC,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,gBAAgB,CAAC,EAAE,MAAM,EAAE,mBAAmB,EAAE,CAAC,CAAC,MAAM,EAAE;IACrF,CAAC,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,QAAQ,EAAE,cAAc,EAAE,CAAC,CAAC,MAAM,EAAE;CAC7E,CAAC,CAAC;AACH,MAAM,YAAY,GAAG,CAAC,CAAC,MAAM,CAAC,EAAE,QAAQ,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,cAAc,EAAE,MAAM,EAAE,MAAM;IACtF,KAAK,EAAE,WAAW,EAAE,QAAQ,EAAE,cAAc;CAC7C,CAAC,CAAC,MAAM,EAAE,CAAC;AACZ,MAAM,YAAY,GAAG,CAAC,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE;IAC3E,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,MAAM,EAAE,CAAC,WAAW,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,SAAS,EAAE,OAAO,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAC5H,eAAe,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE;CAC3C,CAAC,CAAC,MAAM,EAAE,CAAC;AACZ,4EAA4E;AAC5E,gFAAgF;AAChF,2DAA2D;AAC3D,MAAM,iBAAiB,GAAG,CAAC,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;IACjH,aAAa,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,EAAE,gBAAgB,EAAE,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,KAAK,EAAE,IAAI;IACpF,2BAA2B,EAAE,iCAAiC,CAAC,QAAQ,EAAE;IACzE,qBAAqB,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,kBAAkB,CAAC;IAC7D,yBAAyB,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,kBAAkB,CAAC;IACjE,OAAO,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,cAAc,EAAE,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,YAAY,EAAE,CAAC,CAAC,MAAM,EAAE,EAAE,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,EAAE,aAAa,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC;CACjM,CAAC,CAAC,MAAM,EAAE,CAAC;AAyCZ,MAAM,4BAA4B,GAAG,IAAI,OAAO,EAAgE,CAAC;AAEjH,SAAS,oBAAoB,CAAC,QAAwC;IACpE,MAAM,KAAK,GAAG,QAAQ,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,EAAE,CAAC,GAAG,QAAQ,CAAC,OAAO,CAAC,EAAE,OAAO,EAAE,CAAC,GAAG,QAAQ,CAAC,OAAO,CAAC;QAClJ,QAAQ,EAAE,CAAC,GAAG,QAAQ,CAAC,QAAQ,CAAC,EAAE,aAAa,EAAE,CAAC,GAAG,QAAQ,CAAC,aAAa,CAAC;QAC5E,SAAS,EAAE,QAAQ,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,gBAAgB,CAAC,GAAG,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,EAAE,GAAG,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,QAAQ,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;IAC7J,MAAM,QAAQ,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IAChD,4BAA4B,CAAC,GAAG,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC;IACrD,OAAO,QAAQ,CAAC;AAClB,CAAC;AACD,SAAS,aAAa,CAAC,QAAwC;IAC7D,OAAO,EAAE,GAAG,QAAQ,EAAE,OAAO,EAAE,CAAC,GAAG,QAAQ,CAAC,OAAO,CAAC,EAAE,OAAO,EAAE,CAAC,GAAG,QAAQ,CAAC,OAAO,CAAC,EAAE,QAAQ,EAAE,CAAC,GAAG,QAAQ,CAAC,QAAQ,CAAC;QACpH,aAAa,EAAE,CAAC,GAAG,QAAQ,CAAC,aAAa,CAAC;QAC1C,OAAO,EAAE,IAAI,GAAG,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,GAAG,EAAE,IAAI,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,gBAAgB,EAAE,IAAI,GAAG,CAAC,QAAQ,CAAC,gBAAgB,CAAC,EAAE,OAAO,EAAE,IAAI,GAAG,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;AAC/J,CAAC;AACD,8EAA8E;AAC9E,MAAM,UAAU,iCAAiC,CAAC,QAAsC,EAAE,OAA4B;IACpH,MAAM,QAAQ,GAAG,4BAA4B,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IAC5D,MAAM,CAAC,QAAQ,IAAI,QAAQ,CAAC,kBAAkB,KAAK,kBAAkB,CAAC,OAAO,CAAC,EAAE,mBAAmB,CAAC,CAAC;IACrG,OAAO,oBAAoB,CAAC,aAAa,CAAC,QAAQ,CAAC,CAAC,CAAC;AACvD,CAAC;AAED,MAAM,UAAU,kBAAkB,CAAC,KAAa,IAAY,OAAO,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;AAEtH,4EAA4E;AAC5E,MAAM,UAAU,uBAAuB,CAAC,KAAa,EAAE,IAAuD;IAC5G,MAAM,CAAC,KAAK,CAAC,CAAC;IACd,IAAI,KAAc,CAAC;IACnB,IAAI,CAAC;QAAC,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IAAC,CAAC;IAAC,MAAM,CAAC;QAAC,MAAM,IAAI,KAAK,CAAC,wCAAwC,CAAC,CAAC;IAAC,CAAC;IACvG,MAAM,MAAM,GAAG,YAAY,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;IAC7C,MAAM,CAAC,MAAM,CAAC,OAAO,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,KAAK,IAAI,CAAC,KAAK,IAAI,MAAM,CAAC,IAAI,CAAC,QAAQ,KAAK,IAAI,CAAC,QAAQ,EAAE,gBAAgB,CAAC,CAAC;IACvH,OAAO,MAAM,CAAC,MAAM,CAAC,IAAI,CAAgB,CAAC;AAC5C,CAAC;AACD,SAAS,MAAM,CAAI,KAAQ;IACzB,IAAI,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QAClE,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC;YAAE,MAAM,CAAC,KAAK,CAAC,CAAC;QACxD,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IACvB,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AACD,SAAS,MAAM,CAAC,SAAkB,EAAE,MAAc;IAChD,IAAI,CAAC,SAAS;QAAE,MAAM,IAAI,KAAK,CAAC,2BAA2B,MAAM,EAAE,CAAC,CAAC;AACvE,CAAC;AACD,SAAS,MAAM,CAAC,KAAa;IAC3B,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,KAAK,EAAE,MAAM,CAAC,IAAI,CAAC,GAAG,IAAI,GAAG,IAAI,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,KAAK,KAAK,EAAE,eAAe,CAAC,CAAC;AACxI,CAAC;AACD,SAAS,SAAS,CAAC,KAAc;IAC/B,OAAO,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAgC,CAAC,CAAC,CAAC,EAAE,CAAC;AAC7G,CAAC;AACD,SAAS,eAAe,CAAC,KAAc,EAAE,MAAyB,EAAE,MAAyB,EAAE,KAAK,GAAG,kBAAkB;IACvH,MAAM,MAAM,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC;IAChC,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC;QAC3B,IAAI,OAAO,IAAI,KAAK,QAAQ;YAAE,SAAS,CAAC,0DAA0D;QAClG,MAAM,KAAK,GAAG,MAAM,CAAC,UAAU,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QAAC,MAAM,CAAC,KAAK,IAAI,KAAK,CAAC;QACrE,MAAM,CAAC,MAAM,CAAC,KAAK,IAAI,kBAAkB,EAAE,WAAW,CAAC,CAAC;QACxD,MAAM,CAAC,KAAK,IAAI,KAAK,EAAE,eAAe,CAAC,CAAC;IAC1C,CAAC;AACH,CAAC;AACD,8FAA8F;AAC9F,MAAM,qBAAqB,GAAG,EAAE,CAAC;AACjC,QAAQ,CAAC,CAAC,YAAY,CAAC,KAAa;IAClC,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACzB,KAAK,MAAM,KAAK,IAAI,KAAK;YAAE,MAAM,KAAK,CAAC;IACzC,CAAC;SAAM,CAAC;QACN,KAAK,MAAM,GAAG,IAAI,KAAK,EAAE,CAAC;YACxB,IAAI,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,GAAG,CAAC;gBAAE,MAAO,KAAiC,CAAC,GAAG,CAAC,CAAC;QAC/E,CAAC;IACH,CAAC;AACH,CAAC;AACD,6GAA6G;AAC7G,SAAS,wBAAwB,CAAC,KAAc;IAC9C,MAAM,SAAS,GAAwB,EAAE,CAAC;IAC1C,IAAI,OAAO,GAAY,KAAK,CAAC;IAC7B,OAAO,IAAI,EAAE,CAAC;QACZ,IAAI,OAAO,IAAI,OAAO,OAAO,KAAK,QAAQ,EAAE,CAAC;YAC3C,MAAM,CAAC,SAAS,CAAC,MAAM,IAAI,qBAAqB,EAAE,qBAAqB,CAAC,CAAC;YACzE,SAAS,CAAC,IAAI,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC,CAAC;QACxC,CAAC;QACD,IAAI,IAAyC,CAAC;QAC9C,OAAO,SAAS,CAAC,MAAM,EAAE,CAAC;YACxB,IAAI,GAAG,SAAS,CAAC,EAAE,CAAC,CAAC,CAAC,CAAE,CAAC,IAAI,EAAE,CAAC;YAChC,IAAI,CAAC,IAAI,CAAC,IAAI;gBAAE,MAAM;YACtB,SAAS,CAAC,GAAG,EAAE,CAAC;QAClB,CAAC;QACD,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,IAAI;YAAE,OAAO;QAC/B,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC;IACvB,CAAC;AACH,CAAC;AACD,SAAS,6BAA6B,CAAC,KAAc,EAAE,MAAM,GAAG,EAAE,KAAK,EAAE,CAAC,EAAE;IAC1E,MAAM,KAAK,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC;IAC/B,eAAe,CAAC,KAAK,EAAE,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC,CAAC;IACzC,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QAC1B,MAAM,IAAI,GAAG,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QACnC,eAAe,CAAC,IAAI,EAAE,CAAC,OAAO,EAAE,OAAO,EAAE,UAAU,CAAC,EAAE,MAAM,CAAC,CAAC;QAC9D,eAAe,CAAC,IAAI,EAAE,CAAC,iBAAiB,CAAC,EAAE,MAAM,EAAE,CAAC,GAAG,IAAI,GAAG,IAAI,CAAC,CAAC;QACpE,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;YAChC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,IAAI,GAAG,EAAE,eAAe,CAAC,CAAC;YACpD,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,OAAO;gBAAE,eAAe,CAAC,KAAK,EAAE,CAAC,cAAc,EAAE,YAAY,CAAC,EAAE,MAAM,EAAE,CAAC,GAAG,IAAI,GAAG,IAAI,CAAC,CAAC;QACpH,CAAC;IACH,CAAC;SAAM,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ,IAAI,KAAK,CAAC,IAAI,KAAK,gBAAgB,EAAE,CAAC;QACtE,eAAe,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC,CAAC;QACrD,eAAe,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,aAAa,CAAC,EAAE,MAAM,EAAE,CAAC,GAAG,IAAI,GAAG,IAAI,CAAC,CAAC;IAC1E,CAAC;SAAM,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ;QAAE,eAAe,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC,CAAC;SACpF,IAAI,KAAK,CAAC,IAAI,KAAK,UAAU;QAAE,eAAe,CAAC,KAAK,CAAC,QAAQ,EAAE,CAAC,QAAQ,EAAE,QAAQ,CAAC,EAAE,MAAM,CAAC,CAAC;AACpG,CAAC;AACD,SAAS,OAAO,CAAC,OAA4B;IAC3C,OAAO,cAAc,CAAC,KAAK,CAAC,EAAE,UAAU,EAAE,OAAO,CAAC,UAAU,EAAE,kBAAkB,EAAE,OAAO,CAAC,kBAAkB;QAC1G,oBAAoB,EAAE,OAAO,CAAC,oBAAoB,EAAE,eAAe,EAAE,OAAO,CAAC,eAAe,EAAE,CAAC,CAAC;AACpG,CAAC;AACD,SAAS,kBAAkB,CAAC,OAA4B;IACtD,OAAO,eAAe,CAAC,EAAE,GAAG,OAAO,CAAC,OAAO,CAAC,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,EAAE,WAAW,EAAE,OAAO,CAAC,WAAW;QAClG,WAAW,EAAE,OAAO,CAAC,WAAW,EAAE,kBAAkB,EAAE,CAAC,GAAG,OAAO,CAAC,kBAAkB,CAAC,EAAE,CAAC,CAAC;AAC7F,CAAC;AAED,qGAAqG;AACrG,MAAM,UAAU,yBAAyB,CAAC,KAAwB;IAChE,6BAA6B,CAAC,KAAK,CAAC,CAAC;IACrC,MAAM,MAAM,GAAG,WAAW,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;IAC5C,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,eAAe,CAAC,CAAC;IACxC,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC;IAC1B,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QAC1B,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;QACnC,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;YAAC,MAAM,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC;YAAC,MAAM,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;QAAC,CAAC;QACjG,IAAI,KAAc,CAAC;QACnB,IAAI,CAAC;YAAC,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;QAAC,CAAC;QAAC,MAAM,CAAC;YAAC,MAAM,IAAI,KAAK,CAAC,6CAA6C,CAAC,CAAC;QAAC,CAAC;QACjI,MAAM,KAAK,GAAG,iBAAiB,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;QACjD,MAAM,CAAC,KAAK,CAAC,OAAO,EAAE,qBAAqB,CAAC,CAAC;QAC7C,wBAAwB,CAAC,KAAK,CAAC,CAAC;QAChC,MAAM,CAAC,eAAe,CAAC,KAAK,CAAC,KAAK,KAAK,CAAC,IAAI,CAAC,eAAe,EAAE,qBAAqB,CAAC,CAAC;QACrF,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC;QACxB,MAAM,CAAC,IAAI,CAAC,OAAO,KAAK,CAAC;YACvB,CAAC,CAAC,IAAI,CAAC,2BAA2B,KAAK,SAAS,IAAI,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,aAAa,KAAK,SAAS,CAAC;YAClH,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,aAAa,KAAK,SAAS,CAAC,EAAE,qBAAqB,CAAC,CAAC;QAC3F,MAAM,CAAC,IAAI,CAAC,KAAK,KAAK,KAAK,CAAC,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,qBAAqB,KAAK,KAAK,CAAC,IAAI,CAAC,qBAAqB;YACvG,IAAI,CAAC,yBAAyB,KAAK,KAAK,CAAC,IAAI,CAAC,yBAAyB;YACvE,eAAe,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,EAAE,YAAY,EAAE,UAAU,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,YAAY,EAAE,UAAU,EAAE,CAAC,CAAC,CAAC,KAAK,eAAe,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,uBAAuB,CAAC,CAAC;IAC1K,CAAC;SAAM,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ,IAAI,KAAK,CAAC,IAAI,KAAK,gBAAgB;QAAE,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC;IACxG,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,eAAe,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC,IAAI,kBAAkB,EAAE,WAAW,CAAC,CAAC;IAC7F,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC;AACvB,CAAC;AAED,SAAS,sBAAsB,CAAC,KAAwB,EAAE,KAAa,EAAE,QAAwC,EAAE,OAA4B;IAC7I,MAAM,CAAC,CAAC,QAAQ,CAAC,QAAQ,EAAE,WAAW,CAAC,CAAC;IACxC,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QAC1B,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC;QACxB,MAAM,CAAC,KAAK,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,gBAAgB,CAAC,CAAC;QACxD,MAAM,CAAC,IAAI,CAAC,KAAK,KAAK,OAAO,CAAC,KAAK,IAAI,IAAI,CAAC,WAAW,IAAI,OAAO,CAAC,WAAW,IAAI,IAAI,CAAC,WAAW,IAAI,IAAI,CAAC,WAAW;YACpH,IAAI,CAAC,WAAW,IAAI,OAAO,CAAC,WAAW,IAAI,IAAI,CAAC,WAAW,GAAG,IAAI,CAAC,WAAW,IAAI,IAAI,CAAC,yBAAyB;YAChH,IAAI,CAAC,gBAAgB,IAAI,IAAI,CAAC,OAAO,CAAC,MAAM,IAAI,IAAI,CAAC,gBAAgB,GAAG,OAAO,CAAC,kBAAkB,CAAC,MAAM,IAAI,GAAG,EAAE,cAAc,CAAC,CAAC;IACtI,CAAC;SAAM,CAAC;QACN,MAAM,IAAI,GAAG,QAAQ,CAAC,IAAI,CAAC;QAAC,MAAM,CAAC,IAAI,EAAE,cAAc,CAAC,CAAC;QACzD,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YAC5B,MAAM,GAAG,GAAG,KAAK,CAAC,MAAM,CAAC;YACzB,MAAM,CAAC,GAAG,CAAC,UAAU,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,6BAA6B,CAAC,CAAC;YACzJ,MAAM,CAAC,GAAG,CAAC,WAAW,IAAI,IAAI,CAAC,WAAW,IAAI,GAAG,CAAC,WAAW,GAAG,IAAI,CAAC,WAAW;gBAC9E,GAAG,CAAC,WAAW,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,WAAW,IAAI,IAAI,CAAC,WAAW,CAAC,EAAE,qBAAqB,CAAC,CAAC;YACxG,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,MAAM,GAAG,QAAQ,CAAC,aAAa,CAAC,MAAM,GAAG,IAAI,CAAC,gBAAgB,EAAE,UAAU,CAAC,CAAC;QACtG,CAAC;aAAM,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ,IAAI,KAAK,CAAC,IAAI,KAAK,gBAAgB,EAAE,CAAC;YACtE,MAAM,GAAG,GAAG,KAAK,CAAC,MAAM,EAAE,MAAM,GAAG,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;YACxE,MAAM,CAAC,MAAM,IAAI,MAAM,CAAC,SAAS,KAAK,GAAG,CAAC,SAAS,IAAI,CAAC,QAAQ,CAAC,gBAAgB,CAAC,GAAG,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,6BAA6B,CAAC,CAAC;YACrI,MAAM,CAAC,GAAG,CAAC,YAAY,IAAI,MAAM,CAAC,WAAW,EAAE,qBAAqB,CAAC,CAAC;YACtE,MAAM,MAAM,GAAG,uBAAuB,CAAC,GAAG,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC;YAC9D,IAAI,KAAK,CAAC,IAAI,KAAK,gBAAgB,EAAE,CAAC;gBACpC,MAAM,CAAC,MAAM,CAAC,MAAM,KAAK,OAAO,EAAE,wBAAwB,CAAC,CAAC;gBAC5D,MAAM,CAAC,QAAQ,CAAC,aAAa,CAAC,MAAM,GAAG,wBAAwB,EAAE,yBAAyB,CAAC,CAAC;YAC9F,CAAC;QACH,CAAC;aAAM,CAAC;YACN,MAAM,GAAG,GAAG,KAAK,CAAC,QAAQ,CAAC;YAC3B,MAAM,CAAC,GAAG,CAAC,YAAY,IAAI,IAAI,CAAC,WAAW,IAAI,QAAQ,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,WAAW,IAAI,GAAG,CAAC,YAAY,CAAC;gBAC3G,QAAQ,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,YAAY,IAAI,GAAG,CAAC,YAAY,CAAC;gBAChE,QAAQ,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,YAAY,IAAI,GAAG,CAAC,YAAY,CAAC,EAAE,uBAAuB,CAAC,CAAC;YAClG,IAAI,GAAG,CAAC,MAAM,KAAK,UAAU;gBAAE,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,KAAK,IAAI,CAAC,OAAO,CAAC,MAAM,IAAI,GAAG,CAAC,YAAY,GAAG,IAAI,CAAC,WAAW,EAAE,YAAY,CAAC,CAAC;QAC5I,CAAC;IACH,CAAC;AACH,CAAC;AACD,SAAS,uBAAuB,CAAC,KAAwB,EAAE,QAAwC;IACjG,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM;QAAE,QAAQ,CAAC,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC;SACjD,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QACjC,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,UAAU,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;QAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;QAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;IAC7I,CAAC;SAAM,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QACnC,QAAQ,CAAC,gBAAgB,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;QAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;QAAC,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;IAC7I,CAAC;SAAM,IAAI,KAAK,CAAC,IAAI,KAAK,gBAAgB,EAAE,CAAC;QAC3C,QAAQ,CAAC,gBAAgB,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;QAAC,QAAQ,CAAC,aAAa,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;QAAC,QAAQ,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;IACrJ,CAAC;;QAAM,QAAQ,CAAC,QAAQ,GAAG,KAAK,CAAC,QAAQ,CAAC;AAC5C,CAAC;AACD,SAAS,6BAA6B,CAAC,KAAyB,EAAE,OAA4B;IAC5F,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,MAAM,IAAI,8BAA8B,EAAE,kBAAkB,CAAC,CAAC;IACnG,MAAM,MAAM,GAAG,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;IAC5B,KAAK,MAAM,KAAK,IAAI,KAAK,EAAE,CAAC;QAC1B,MAAM,MAAM,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC;QAChC,eAAe,CAAC,MAAM,EAAE,CAAC,gBAAgB,EAAE,QAAQ,CAAC,EAAE,MAAM,CAAC,CAAC;QAC9D,eAAe,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC,YAAY,EAAE,oBAAoB,EAAE,sBAAsB,EAAE,iBAAiB,CAAC,EAAE,MAAM,CAAC,CAAC;QAC1H,6BAA6B,CAAC,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;IACtD,CAAC;IACD,MAAM,QAAQ,GAAG,eAAe,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC;IACnD,MAAM,QAAQ,GAAmC,EAAE,kBAAkB,EAAE,kBAAkB,CAAC,OAAO,CAAC,EAAE,eAAe,EAAE,QAAQ;QAC3H,aAAa,EAAE,MAAM,CAAC,UAAU,CAAC,4BAA4B,EAAE,MAAM,CAAC,EAAE,cAAc,EAAE,OAAO,CAAC,kBAAkB;QAClH,OAAO,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,aAAa,EAAE,EAAE,EAAE,OAAO,EAAE,IAAI,GAAG,EAAE,EAAE,GAAG,EAAE,IAAI,GAAG,CAAC,OAAO,CAAC,kBAAkB,CAAC,EAAE,gBAAgB,EAAE,IAAI,GAAG,EAAE,EAAE,OAAO,EAAE,IAAI,GAAG,EAAE,EAAE,CAAC;IAC7K,IAAI,CAAC,KAAK,CAAC,MAAM;QAAE,OAAO,EAAE,QAAQ,EAAE,CAAC;IACvC,KAAK,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,IAAI,KAAK,CAAC,OAAO,EAAE,EAAE,CAAC;QAC7C,MAAM,MAAM,GAAG,YAAY,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;QAC7C,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,gBAAgB,CAAC,CAAC;QACzC,MAAM,MAAM,GAAG,MAAM,CAAC,IAAI,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,QAAQ,EAAE,GAAG,MAAM,CAAC;QACnE,QAAQ,CAAC,aAAa,IAAI,MAAM,CAAC,UAAU,CAAC,eAAe,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC;QACjF,MAAM,CAAC,QAAQ,CAAC,aAAa,IAAI,kBAAkB,EAAE,WAAW,CAAC,CAAC;QAClE,MAAM,CAAC,MAAM,CAAC,QAAQ,KAAK,KAAK,GAAG,CAAC,IAAI,MAAM,CAAC,cAAc,KAAK,QAAQ,CAAC,cAAc;YACvF,IAAI,KAAK,kBAAkB,CAAC,eAAe,CAAC,QAAQ,CAAC,CAAC,IAAI,eAAe,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,QAAQ,EAAE,gBAAgB,CAAC,CAAC;QAC7H,MAAM,KAAK,GAAG,yBAAyB,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QACtD,sBAAsB,CAAC,KAAK,EAAE,KAAK,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC;QAAC,uBAAuB,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;QAClG,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAAC,QAAQ,CAAC,cAAc,GAAG,IAAI,CAAC;IAChE,CAAC;IACD,MAAM,CAAC,QAAQ,CAAC,IAAI,EAAE,cAAc,CAAC,CAAC;IACtC,MAAM,KAAK,GAAG,MAAM,CAAC,EAAE,IAAI,EAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,EAAE,QAAQ,CAAC,OAAO,EAAE,OAAO,EAAE,QAAQ,CAAC,OAAO,EAAE,QAAQ,EAAE,QAAQ,CAAC,QAAQ;QAC3H,aAAa,EAAE,QAAQ,CAAC,aAAa;QACrC,SAAS,EAAE,QAAQ,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,gBAAgB,CAAC,GAAG,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,EAAE,GAAG,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,QAAQ,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;IAC7J,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC;AAC7B,CAAC;AAED,oGAAoG;AACpG,MAAM,UAAU,2BAA2B,CAAC,KAAyB,EAAE,OAA4B;IACjG,OAAO,6BAA6B,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC,KAAK,CAAC;AAC7D,CAAC;AACD,mGAAmG;AACnG,MAAM,UAAU,oCAAoC,CAAC,KAAyB,EAAE,OAA4B;IAC1G,MAAM,OAAO,GAAG,6BAA6B,CAAC,KAAK,EAAE,OAAO,CAAC,EAAE,QAAQ,GAAG,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IAChI,4BAA4B,CAAC,GAAG,CAAC,QAAQ,EAAE,OAAO,CAAC,QAAQ,CAAC,CAAC;IAAC,OAAO,QAAQ,CAAC;AAChF,CAAC;AAED,gGAAgG;AAChG,2GAA2G;AAC3G,MAAM,UAAU,qCAAqC,CAAC,QAAsC,EAAE,KAAwB,EAAE,OAA4B;IAClJ,MAAM,QAAQ,GAAG,4BAA4B,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IAC5D,MAAM,CAAC,QAAQ,IAAI,QAAQ,CAAC,kBAAkB,KAAK,kBAAkB,CAAC,OAAO,CAAC,EAAE,mBAAmB,CAAC,CAAC;IACrG,4BAA4B,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;IAC9C,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,MAAM,GAAG,8BAA8B,EAAE,kBAAkB,CAAC,CAAC;IACrF,MAAM,QAAQ,GAAG,yBAAyB,CAAC,KAAK,CAAC,CAAC;IAAC,sBAAsB,CAAC,QAAQ,EAAE,QAAQ,CAAC,OAAO,CAAC,MAAM,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC;IAChI,IAAI,QAAQ,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC/B,MAAM,CAAC,2BAA2B,CAAC,QAAQ,CAAC,OAAO,CAAC,MAAM,EAAE,QAAQ,CAAC,OAAO,CAAC,MAAM,GAAG,QAAQ,CAAC,gBAAgB,CAAC,IAAI,EAClH,QAAQ,CAAC,aAAa,CAAC,MAAM,EAAE,8BAA8B,CAAC,EAAE,iBAAiB,CAAC,CAAC;IACvF,CAAC;IACD,MAAM,QAAQ,GAAG,EAAE,QAAQ,EAAE,QAAQ,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,cAAc,EAAE,QAAQ,CAAC,cAAc;QAC/F,QAAQ,EAAE,OAAO,CAAC,OAAO,CAAC,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC;IAChD,MAAM,MAAM,GAAG,MAAM,CAAC,EAAE,GAAG,QAAQ,EAAE,MAAM,EAAE,kBAAkB,CAAC,eAAe,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC;IAC9F,MAAM,CAAC,QAAQ,CAAC,aAAa,GAAG,MAAM,CAAC,UAAU,CAAC,eAAe,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC,GAAG,CAAC,IAAI,kBAAkB,EAAE,WAAW,CAAC,CAAC;IAC3H,MAAM,IAAI,GAAG,aAAa,CAAC,QAAQ,CAAC,CAAC;IACrC,IAAI,CAAC,aAAa,IAAI,MAAM,CAAC,UAAU,CAAC,eAAe,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC;IAC7E,uBAAuB,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;IAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAAC,IAAI,CAAC,cAAc,GAAG,MAAM,CAAC,MAAM,CAAC;IACxG,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,oBAAoB,CAAC,IAAI,CAAC,EAAE,CAAC;AAC3D,CAAC;AACD,MAAM,UAAU,0CAA0C,CAAC,QAAsC,EAAE,KAAwB,EAAE,OAA4B;IACvJ,OAAO,qCAAqC,CAAC,QAAQ,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC,MAAM,CAAC;AAChF,CAAC;AACD,MAAM,UAAU,wBAAwB,CAAC,OAAsC,EAAE,KAAwB,EAAE,OAA4B;IACrI,OAAO,0CAA0C,CAAC,oCAAoC,CAAC,OAAO,EAAE,OAAO,CAAC,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;AAC5H,CAAC;AAED,iHAAiH;AACjH,MAAM,UAAU,uBAAuB,CAAC,KAAwB,EAAE,OAA4B;IAC5F,MAAM,OAAO,GAAG,2BAA2B,CAAC,KAAK,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;IACpE,MAAM,CAAC,OAAO,EAAE,QAAQ,EAAE,UAAU,CAAC,CAAC;IACtC,MAAM,KAAK,GAAG,eAAe,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,OAAO,EAAE,CAAC,CAAC;IACxE,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,KAAK,EAAE,MAAM,CAAC,IAAI,kBAAkB,EAAE,WAAW,CAAC,CAAC;IAC5E,OAAO,MAAM,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,kBAAkB,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;AAC9D,CAAC;AAED,iGAAiG;AACjG,MAAM,UAAU,uBAAuB,CAAC,KAAa,EAAE,OAA4B;IACjF,MAAM,CAAC,OAAO,KAAK,KAAK,QAAQ,IAAI,MAAM,CAAC,UAAU,CAAC,KAAK,EAAE,MAAM,CAAC,IAAI,kBAAkB;QACxF,MAAM,CAAC,IAAI,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,KAAK,KAAK,EAAE,eAAe,CAAC,CAAC;IAC1E,IAAI,KAAc,CAAC;IACnB,IAAI,CAAC;QAAC,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IAAC,CAAC;IAAC,MAAM,CAAC;QAAC,MAAM,IAAI,KAAK,CAAC,uCAAuC,CAAC,CAAC;IAAC,CAAC;IACtG,MAAM,MAAM,GAAG,CAAC,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,GAAG,CAAC,8BAA8B,CAAC,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;IAChJ,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,eAAe,CAAC,CAAC;IACxC,MAAM,KAAK,GAAG,2BAA2B,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;IACxE,MAAM,CAAC,eAAe,CAAC,KAAK,CAAC,KAAK,KAAK,EAAE,eAAe,CAAC,CAAC;IAC1D,MAAM,CAAC,KAAK,EAAE,QAAQ,EAAE,UAAU,CAAC,CAAC;IACpC,OAAO,KAAK,CAAC;AACf,CAAC"}