@aephia/atlas-kit 0.0.0

package/dist/planning/plan-sequence-checkpoint.d.ts

@@ -0,0 +1,154 @@
+import { type Signature } from '@solana/kit';
+import type { ClusterIdentity } from '../client/contracts.js';
+import type { ConfirmedStep, PlanSequence, PlanSequenceFingerprint } from './plan-sequence.js';
+/** Persisted public confirmation evidence for one completed sequence step.
+ *
+ * Slots use canonical unsigned decimal strings so checkpoint values remain
+ * directly JSON-serializable without losing integer precision.
+ *
+ * @example
+ * ```ts
+ * declare const confirmed: PlanSequenceConfirmedStepV1;
+ * console.log(confirmed.stepId, confirmed.slot);
+ * ```
+ */
+export interface PlanSequenceConfirmedStepV1 {
+    readonly stepId: string;
+    readonly index: number;
+    readonly signature: Signature;
+    readonly slot: string;
+    readonly commitment: 'confirmed' | 'finalized';
+}
+/** One durable write-ahead attempt at the checkpoint's next step.
+ *
+ * Observable signers persist `signed` with their public signature. Opaque
+ * combined sign/send signers persist `invoking` before entering that boundary.
+ *
+ * @example
+ * ```ts
+ * declare const attempt: PlanSequenceCheckpointAttemptV1;
+ * console.log(attempt.stepId, attempt.phase);
+ * ```
+ */
+export type PlanSequenceCheckpointAttemptV1 = Readonly<{
+    stepId: string;
+    index: number;
+    phase: 'prepared';
+    signerMode: 'observable' | 'opaque';
+}> | Readonly<{
+    stepId: string;
+    index: number;
+    phase: 'signed';
+    signerMode: 'observable';
+    signature: Signature;
+}> | Readonly<{
+    stepId: string;
+    index: number;
+    phase: 'invoking';
+    signerMode: 'opaque';
+}>;
+/** Version-one caller-persisted Plan sequence checkpoint.
+ *
+ * The value is exact-key, recursively frozen, and JSON-safe. It contains only
+ * stable sequence identity, confirmed public evidence, current write-ahead
+ * state, and caller-supplied local observation time.
+ *
+ * @example
+ * ```ts
+ * declare const sequence: PlanSequence;
+ * declare const callerOwnedStore: { save(value: string): Promise<void> };
+ * const checkpoint: PlanSequenceCheckpointV1 = createPlanSequenceCheckpoint(
+ *   sequence,
+ *   '2026-08-28T12:00:00.000Z',
+ * );
+ * await callerOwnedStore.save(stringifyPlanSequenceCheckpoint(checkpoint));
+ * ```
+ */
+export interface PlanSequenceCheckpointV1 {
+    readonly v: 1;
+    readonly fingerprint: PlanSequenceFingerprint;
+    readonly cluster: ClusterIdentity;
+    readonly sequenceId: string;
+    readonly revision: number;
+    readonly stepIds: readonly string[];
+    readonly nextStepIndex: number;
+    readonly confirmed: readonly PlanSequenceConfirmedStepV1[];
+    readonly attempt?: PlanSequenceCheckpointAttemptV1;
+    readonly observedAt: string;
+}
+/** Creates an empty checkpoint bound to one exact Plan sequence.
+ *
+ * @example
+ * ```ts
+ * declare const sequence: PlanSequence;
+ * const checkpoint = createPlanSequenceCheckpoint(
+ *   sequence,
+ *   '2026-08-28T12:00:00.000Z',
+ * );
+ * console.log(checkpoint.nextStepIndex); // 0
+ * ```
+ */
+export declare function createPlanSequenceCheckpoint(sequence: PlanSequence, observedAt: string): PlanSequenceCheckpointV1;
+/** Parses and validates a checkpoint against one exact Plan sequence.
+ *
+ * The source may be a JSON string or a caller-owned parsed JSON value.
+ *
+ * @example
+ * ```ts
+ * declare const sequence: PlanSequence;
+ * declare const storedJson: string;
+ * const checkpoint = parsePlanSequenceCheckpoint(sequence, storedJson);
+ * console.log(checkpoint.nextStepIndex);
+ * ```
+ */
+export declare function parsePlanSequenceCheckpoint(sequence: PlanSequence, source: unknown): PlanSequenceCheckpointV1;
+/** Replaces the current write-ahead attempt without advancing sequence progress.
+ *
+ * The first attempt must be `prepared`. An observable attempt may then become
+ * `signed`; an opaque attempt may become `invoking`.
+ *
+ * @example
+ * ```ts
+ * declare const checkpoint: PlanSequenceCheckpointV1;
+ * const prepared = setPlanSequenceCheckpointAttempt(
+ *   checkpoint,
+ *   {
+ *     stepId: checkpoint.stepIds[checkpoint.nextStepIndex]!,
+ *     index: checkpoint.nextStepIndex,
+ *     phase: 'prepared',
+ *     signerMode: 'observable',
+ *   },
+ *   '2026-08-28T12:00:00.000Z',
+ * );
+ * ```
+ */
+export declare function setPlanSequenceCheckpointAttempt(checkpoint: PlanSequenceCheckpointV1, attempt: PlanSequenceCheckpointAttemptV1, observedAt: string): PlanSequenceCheckpointV1;
+/** Appends public confirmation evidence and advances exactly one sequence step.
+ *
+ * A step can advance only from its matching durable `signed` or `invoking`
+ * attempt. The attempt is cleared in the returned checkpoint.
+ *
+ * @example
+ * ```ts
+ * declare const checkpoint: PlanSequenceCheckpointV1;
+ * declare const confirmed: ConfirmedStep;
+ * const advanced = confirmPlanSequenceCheckpointStep(
+ *   checkpoint,
+ *   confirmed,
+ *   '2026-08-28T12:00:00.000Z',
+ * );
+ * ```
+ */
+export declare function confirmPlanSequenceCheckpointStep(checkpoint: PlanSequenceCheckpointV1, evidence: ConfirmedStep, observedAt: string): PlanSequenceCheckpointV1;
+/** Serializes one SDK-created checkpoint to canonical compact JSON.
+ *
+ * @example
+ * ```ts
+ * declare const checkpoint: PlanSequenceCheckpointV1;
+ * declare const callerOwnedStore: { save(value: string): Promise<void> };
+ * const storedJson = stringifyPlanSequenceCheckpoint(checkpoint);
+ * await callerOwnedStore.save(storedJson);
+ * ```
+ */
+export declare function stringifyPlanSequenceCheckpoint(checkpoint: PlanSequenceCheckpointV1): string;
+//# sourceMappingURL=plan-sequence-checkpoint.d.ts.map

package/dist/planning/plan-sequence-checkpoint.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"plan-sequence-checkpoint.d.ts","sourceRoot":"","sources":["../../src/planning/plan-sequence-checkpoint.ts"],"names":[],"mappings":"AAAA,OAAO,EAAe,KAAK,SAAS,EAAE,MAAM,aAAa,CAAC;AAE1D,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AAG9D,OAAO,KAAK,EACV,aAAa,EACb,YAAY,EACZ,uBAAuB,EACxB,MAAM,oBAAoB,CAAC;AAO5B;;;;;;;;;;GAUG;AACH,MAAM,WAAW,2BAA2B;IAC1C,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,SAAS,EAAE,SAAS,CAAC;IAC9B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,UAAU,EAAE,WAAW,GAAG,WAAW,CAAC;CAChD;AAED;;;;;;;;;;GAUG;AACH,MAAM,MAAM,+BAA+B,GACvC,QAAQ,CAAC;IACP,MAAM,EAAE,MAAM,CAAC;IACf,KAAK,EAAE,MAAM,CAAC;IACd,KAAK,EAAE,UAAU,CAAC;IAClB,UAAU,EAAE,YAAY,GAAG,QAAQ,CAAC;CACrC,CAAC,GACF,QAAQ,CAAC;IACP,MAAM,EAAE,MAAM,CAAC;IACf,KAAK,EAAE,MAAM,CAAC;IACd,KAAK,EAAE,QAAQ,CAAC;IAChB,UAAU,EAAE,YAAY,CAAC;IACzB,SAAS,EAAE,SAAS,CAAC;CACtB,CAAC,GACF,QAAQ,CAAC;IACP,MAAM,EAAE,MAAM,CAAC;IACf,KAAK,EAAE,MAAM,CAAC;IACd,KAAK,EAAE,UAAU,CAAC;IAClB,UAAU,EAAE,QAAQ,CAAC;CACtB,CAAC,CAAC;AAEP;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,WAAW,wBAAwB;IACvC,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC;IACd,QAAQ,CAAC,WAAW,EAAE,uBAAuB,CAAC;IAC9C,QAAQ,CAAC,OAAO,EAAE,eAAe,CAAC;IAClC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;IACpC,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,SAAS,EAAE,SAAS,2BAA2B,EAAE,CAAC;IAC3D,QAAQ,CAAC,OAAO,CAAC,EAAE,+BAA+B,CAAC;IACnD,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;CAC7B;AAgZD;;;;;;;;;;;GAWG;AACH,wBAAgB,4BAA4B,CAC1C,QAAQ,EAAE,YAAY,EACtB,UAAU,EAAE,MAAM,GACjB,wBAAwB,CAY1B;AAED;;;;;;;;;;;GAWG;AACH,wBAAgB,2BAA2B,CACzC,QAAQ,EAAE,YAAY,EACtB,MAAM,EAAE,OAAO,GACd,wBAAwB,CAuF1B;AAED;;;;;;;;;;;;;;;;;;;GAmBG;AACH,wBAAgB,gCAAgC,CAC9C,UAAU,EAAE,wBAAwB,EACpC,OAAO,EAAE,+BAA+B,EACxC,UAAU,EAAE,MAAM,GACjB,wBAAwB,CA8C1B;AAED;;;;;;;;;;;;;;;GAeG;AACH,wBAAgB,iCAAiC,CAC/C,UAAU,EAAE,wBAAwB,EACpC,QAAQ,EAAE,aAAa,EACvB,UAAU,EAAE,MAAM,GACjB,wBAAwB,CAoE1B;AAED;;;;;;;;;GASG;AACH,wBAAgB,+BAA+B,CAC7C,UAAU,EAAE,wBAAwB,GACnC,MAAM,CAGR"}

package/dist/planning/plan-sequence-checkpoint.js

@@ -0,0 +1,449 @@
+import { isSignature } from '@solana/kit';
+import { InvalidActionInputError } from '../client/errors.js';
+import { deepFreeze } from '../internal/immutable-tree.js';
+const ISO_TIMESTAMP_PATTERN = /^\d{4}-\d{2}-\d{2}T\d{2}:\d{2}:\d{2}\.\d{3}Z$/u;
+const UNSIGNED_DECIMAL_PATTERN = /^(?:0|[1-9]\d*)$/u;
+const U64_MAX = 18446744073709551615n;
+const checkpointInstances = new WeakSet();
+function summarize(value) {
+    if (typeof value === 'number' || typeof value === 'string')
+        return value;
+    if (value === null)
+        return 'null';
+    return typeof value;
+}
+function invalid(field, value, acceptedRange) {
+    throw new InvalidActionInputError(field, summarize(value), acceptedRange, 'Load a checkpoint created for this exact PlanSequence or create a new empty checkpoint before retrying.');
+}
+function readDataRecord(value, field, acceptedRange = 'a plain object with data properties') {
+    try {
+        if (value === null ||
+            typeof value !== 'object' ||
+            Array.isArray(value) ||
+            (Object.getPrototypeOf(value) !== Object.prototype &&
+                Object.getPrototypeOf(value) !== null)) {
+            return invalid(field, value, acceptedRange);
+        }
+        const copy = Object.create(null);
+        for (const key of Reflect.ownKeys(value)) {
+            if (typeof key !== 'string') {
+                return invalid(field, 'symbol-keyed property', acceptedRange);
+            }
+            const descriptor = Object.getOwnPropertyDescriptor(value, key);
+            if (descriptor === undefined || !('value' in descriptor)) {
+                return invalid(`${field}.${key}`, 'accessor property', 'a data property');
+            }
+            copy[key] = descriptor.value;
+        }
+        return copy;
+    }
+    catch (error) {
+        if (error instanceof InvalidActionInputError)
+            throw error;
+        return invalid(field, 'unreadable object', acceptedRange);
+    }
+}
+function assertKeys(value, field, required, optional = []) {
+    const accepted = new Set([...required, ...optional]);
+    const missing = required.find((key) => !Object.hasOwn(value, key));
+    const unexpected = Object.keys(value).find((key) => !accepted.has(key));
+    if (missing !== undefined || unexpected !== undefined) {
+        invalid(field, missing === undefined ? `unexpected ${unexpected}` : `missing ${missing}`, `exactly the fields ${[...required, ...optional].join(', ')}`);
+    }
+}
+function readDenseArray(value, field, expectedLength) {
+    try {
+        if (!Array.isArray(value)) {
+            return invalid(field, value, 'a dense ordered array');
+        }
+        const actualLength = value.length;
+        if (actualLength !== expectedLength) {
+            return invalid(field, actualLength, `a dense ordered array with exactly ${String(expectedLength)} elements`);
+        }
+        const acceptedKeys = new Set([
+            'length',
+            ...Array.from({ length: expectedLength }, (_, index) => String(index)),
+        ]);
+        const unexpected = Reflect.ownKeys(value).find((key) => typeof key !== 'string' || !acceptedKeys.has(key));
+        if (unexpected !== undefined) {
+            invalid(field, typeof unexpected === 'symbol'
+                ? 'symbol-keyed property'
+                : `unexpected ${unexpected}`, 'a dense ordered array without custom properties');
+        }
+        const values = [];
+        for (let index = 0; index < expectedLength; index += 1) {
+            const descriptor = Object.getOwnPropertyDescriptor(value, index);
+            if (descriptor === undefined || !('value' in descriptor)) {
+                invalid(`${field}[${String(index)}]`, descriptor === undefined ? undefined : 'accessor property', 'a present data element');
+            }
+            values[index] = descriptor.value;
+        }
+        return values;
+    }
+    catch (error) {
+        if (error instanceof InvalidActionInputError)
+            throw error;
+        return invalid(field, 'unreadable array', 'a dense ordered array');
+    }
+}
+function readTimestamp(value, field) {
+    if (typeof value !== 'string' ||
+        !ISO_TIMESTAMP_PATTERN.test(value) ||
+        Number.isNaN(Date.parse(value)) ||
+        new Date(value).toISOString() !== value) {
+        return invalid(field, value, 'a canonical UTC ISO-8601 timestamp such as 2026-08-28T12:00:00.000Z');
+    }
+    return value;
+}
+function copyCluster(cluster) {
+    return cluster === 'zink-ptr' ? cluster : { name: cluster.name };
+}
+function readBoundCluster(value, expected) {
+    if (expected === 'zink-ptr') {
+        return value === expected
+            ? expected
+            : invalid('planSequenceCheckpoint.cluster', value, 'the same canonical cluster identity as the PlanSequence');
+    }
+    const cluster = readDataRecord(value, 'planSequenceCheckpoint.cluster');
+    assertKeys(cluster, 'planSequenceCheckpoint.cluster', ['name']);
+    return cluster.name === expected.name
+        ? { name: expected.name }
+        : invalid('planSequenceCheckpoint.cluster.name', cluster.name, 'the same canonical custom cluster name as the PlanSequence');
+}
+function readBoundStepIds(value, sequence) {
+    const values = readDenseArray(value, 'planSequenceCheckpoint.stepIds', sequence.steps.length);
+    return values.map((stepId, index) => stepId === sequence.steps[index].id
+        ? stepId
+        : invalid(`planSequenceCheckpoint.stepIds[${String(index)}]`, stepId, `the PlanSequence step id ${sequence.steps[index].id}`));
+}
+function decodeSource(source) {
+    if (typeof source !== 'string')
+        return source;
+    try {
+        return JSON.parse(source);
+    }
+    catch {
+        return invalid('planSequenceCheckpointJson', 'invalid JSON', 'one complete JSON-encoded PlanSequence checkpoint object');
+    }
+}
+function registerCheckpoint(checkpoint) {
+    const frozen = deepFreeze(checkpoint);
+    checkpointInstances.add(frozen);
+    return frozen;
+}
+function assertCheckpointInstance(checkpoint) {
+    if (!checkpointInstances.has(checkpoint)) {
+        invalid('planSequenceCheckpoint', checkpoint, 'a checkpoint created or parsed by the PlanSequence checkpoint API');
+    }
+}
+function readIndex(value, field) {
+    return typeof value === 'number' && Number.isSafeInteger(value) && value >= 0
+        ? value
+        : invalid(field, value, 'a non-negative safe integer');
+}
+function readSignature(value, field) {
+    return typeof value === 'string' && isSignature(value)
+        ? value
+        : invalid(field, value, 'one canonical base58-encoded Solana signature');
+}
+function readSlot(value, field) {
+    if (typeof value !== 'string' || !UNSIGNED_DECIMAL_PATTERN.test(value)) {
+        return invalid(field, value, 'a canonical unsigned 64-bit decimal string');
+    }
+    const slot = BigInt(value);
+    return slot <= U64_MAX
+        ? value
+        : invalid(field, value, 'a canonical unsigned 64-bit decimal string');
+}
+function readCommitment(value, field) {
+    return value === 'confirmed' || value === 'finalized'
+        ? value
+        : invalid(field, value, 'exactly confirmed or finalized');
+}
+function readAttempt(value, stepIds, nextStepIndex, field = 'planSequenceCheckpoint.attempt') {
+    const attempt = readDataRecord(value, field);
+    const phase = attempt.phase;
+    if (phase === 'prepared') {
+        assertKeys(attempt, field, ['stepId', 'index', 'phase', 'signerMode']);
+        if (attempt.signerMode !== 'observable' &&
+            attempt.signerMode !== 'opaque') {
+            invalid(`${field}.signerMode`, attempt.signerMode, 'exactly observable or opaque');
+        }
+    }
+    else if (phase === 'signed') {
+        assertKeys(attempt, field, [
+            'stepId',
+            'index',
+            'phase',
+            'signerMode',
+            'signature',
+        ]);
+        if (attempt.signerMode !== 'observable') {
+            invalid(`${field}.signerMode`, attempt.signerMode, 'observable for a signed attempt');
+        }
+    }
+    else if (phase === 'invoking') {
+        assertKeys(attempt, field, ['stepId', 'index', 'phase', 'signerMode']);
+        if (attempt.signerMode !== 'opaque') {
+            invalid(`${field}.signerMode`, attempt.signerMode, 'opaque for an invoking attempt');
+        }
+    }
+    else {
+        return invalid(`${field}.phase`, phase, 'exactly prepared, signed, or invoking');
+    }
+    const index = readIndex(attempt.index, `${field}.index`);
+    const expectedStepId = stepIds[nextStepIndex];
+    if (index !== nextStepIndex || expectedStepId === undefined) {
+        invalid(`${field}.index`, index, 'the checkpoint nextStepIndex for one remaining step');
+    }
+    if (attempt.stepId !== expectedStepId) {
+        invalid(`${field}.stepId`, attempt.stepId, `the next PlanSequence step id ${expectedStepId}`);
+    }
+    if (phase === 'signed') {
+        return {
+            stepId: expectedStepId,
+            index,
+            phase,
+            signerMode: 'observable',
+            signature: readSignature(attempt.signature, `${field}.signature`),
+        };
+    }
+    return {
+        stepId: expectedStepId,
+        index,
+        phase,
+        signerMode: attempt.signerMode,
+    };
+}
+function readConfirmedStep(value, expectedStepId, expectedIndex, field) {
+    const confirmed = readDataRecord(value, field);
+    assertKeys(confirmed, field, [
+        'stepId',
+        'index',
+        'signature',
+        'slot',
+        'commitment',
+    ]);
+    const index = readIndex(confirmed.index, `${field}.index`);
+    if (index !== expectedIndex) {
+        invalid(`${field}.index`, index, `the ordered confirmed step index ${String(expectedIndex)}`);
+    }
+    if (confirmed.stepId !== expectedStepId) {
+        invalid(`${field}.stepId`, confirmed.stepId, `the PlanSequence step id ${expectedStepId}`);
+    }
+    return {
+        stepId: expectedStepId,
+        index,
+        signature: readSignature(confirmed.signature, `${field}.signature`),
+        slot: readSlot(confirmed.slot, `${field}.slot`),
+        commitment: readCommitment(confirmed.commitment, `${field}.commitment`),
+    };
+}
+function checkpointValue(checkpoint, nextStepIndex, confirmed, attempt, observedAt) {
+    return {
+        v: 1,
+        fingerprint: checkpoint.fingerprint,
+        cluster: copyCluster(checkpoint.cluster),
+        sequenceId: checkpoint.sequenceId,
+        revision: checkpoint.revision,
+        stepIds: [...checkpoint.stepIds],
+        nextStepIndex,
+        confirmed: confirmed.map((entry) => ({ ...entry })),
+        ...(attempt === undefined ? {} : { attempt: { ...attempt } }),
+        observedAt,
+    };
+}
+/** Creates an empty checkpoint bound to one exact Plan sequence.
+ *
+ * @example
+ * ```ts
+ * declare const sequence: PlanSequence;
+ * const checkpoint = createPlanSequenceCheckpoint(
+ *   sequence,
+ *   '2026-08-28T12:00:00.000Z',
+ * );
+ * console.log(checkpoint.nextStepIndex); // 0
+ * ```
+ */
+export function createPlanSequenceCheckpoint(sequence, observedAt) {
+    return registerCheckpoint({
+        v: 1,
+        fingerprint: sequence.fingerprint,
+        cluster: copyCluster(sequence.cluster),
+        sequenceId: sequence.sequenceId,
+        revision: sequence.revision,
+        stepIds: sequence.steps.map((step) => step.id),
+        nextStepIndex: 0,
+        confirmed: [],
+        observedAt: readTimestamp(observedAt, 'planSequenceCheckpoint.observedAt'),
+    });
+}
+/** Parses and validates a checkpoint against one exact Plan sequence.
+ *
+ * The source may be a JSON string or a caller-owned parsed JSON value.
+ *
+ * @example
+ * ```ts
+ * declare const sequence: PlanSequence;
+ * declare const storedJson: string;
+ * const checkpoint = parsePlanSequenceCheckpoint(sequence, storedJson);
+ * console.log(checkpoint.nextStepIndex);
+ * ```
+ */
+export function parsePlanSequenceCheckpoint(sequence, source) {
+    const value = readDataRecord(decodeSource(source), 'planSequenceCheckpoint');
+    assertKeys(value, 'planSequenceCheckpoint', [
+        'v',
+        'fingerprint',
+        'cluster',
+        'sequenceId',
+        'revision',
+        'stepIds',
+        'nextStepIndex',
+        'confirmed',
+        'observedAt',
+    ], ['attempt']);
+    if (value.v !== 1) {
+        invalid('planSequenceCheckpoint.v', value.v, 'checkpoint version 1');
+    }
+    if (value.fingerprint !== sequence.fingerprint) {
+        invalid('planSequenceCheckpoint.fingerprint', value.fingerprint, 'the fingerprint derived by this exact PlanSequence');
+    }
+    if (value.sequenceId !== sequence.sequenceId) {
+        invalid('planSequenceCheckpoint.sequenceId', value.sequenceId, 'the same sequence id as the PlanSequence');
+    }
+    if (value.revision !== sequence.revision) {
+        invalid('planSequenceCheckpoint.revision', value.revision, 'the same revision as the PlanSequence');
+    }
+    const nextStepIndex = readIndex(value.nextStepIndex, 'planSequenceCheckpoint.nextStepIndex');
+    const stepIds = readBoundStepIds(value.stepIds, sequence);
+    if (nextStepIndex > stepIds.length) {
+        invalid('planSequenceCheckpoint.nextStepIndex', nextStepIndex, 'an index from zero through the PlanSequence step count');
+    }
+    const confirmedValues = readDenseArray(value.confirmed, 'planSequenceCheckpoint.confirmed', nextStepIndex);
+    const confirmed = confirmedValues.map((entry, index) => readConfirmedStep(entry, stepIds[index], index, `planSequenceCheckpoint.confirmed[${String(index)}]`));
+    const attempt = value.attempt === undefined
+        ? undefined
+        : readAttempt(value.attempt, stepIds, nextStepIndex);
+    return registerCheckpoint(checkpointValue({
+        v: 1,
+        fingerprint: sequence.fingerprint,
+        cluster: readBoundCluster(value.cluster, sequence.cluster),
+        sequenceId: sequence.sequenceId,
+        revision: sequence.revision,
+        stepIds,
+    }, nextStepIndex, confirmed, attempt, readTimestamp(value.observedAt, 'planSequenceCheckpoint.observedAt')));
+}
+/** Replaces the current write-ahead attempt without advancing sequence progress.
+ *
+ * The first attempt must be `prepared`. An observable attempt may then become
+ * `signed`; an opaque attempt may become `invoking`.
+ *
+ * @example
+ * ```ts
+ * declare const checkpoint: PlanSequenceCheckpointV1;
+ * const prepared = setPlanSequenceCheckpointAttempt(
+ *   checkpoint,
+ *   {
+ *     stepId: checkpoint.stepIds[checkpoint.nextStepIndex]!,
+ *     index: checkpoint.nextStepIndex,
+ *     phase: 'prepared',
+ *     signerMode: 'observable',
+ *   },
+ *   '2026-08-28T12:00:00.000Z',
+ * );
+ * ```
+ */
+export function setPlanSequenceCheckpointAttempt(checkpoint, attempt, observedAt) {
+    assertCheckpointInstance(checkpoint);
+    const nextAttempt = readAttempt(attempt, checkpoint.stepIds, checkpoint.nextStepIndex);
+    const previous = checkpoint.attempt;
+    if (previous === undefined && nextAttempt.phase !== 'prepared') {
+        invalid('planSequenceCheckpoint.attempt.phase', nextAttempt.phase, 'prepared before entering a signer boundary');
+    }
+    if (previous !== undefined) {
+        if (previous.phase !== 'prepared') {
+            invalid('planSequenceCheckpoint.attempt.phase', nextAttempt.phase, 'confirmation of the existing signed or invoking attempt');
+        }
+        if ((previous.signerMode === 'observable' &&
+            nextAttempt.phase !== 'signed') ||
+            (previous.signerMode === 'opaque' && nextAttempt.phase !== 'invoking')) {
+            invalid('planSequenceCheckpoint.attempt.phase', nextAttempt.phase, previous.signerMode === 'observable'
+                ? 'signed after an observable prepared attempt'
+                : 'invoking after an opaque prepared attempt');
+        }
+    }
+    return registerCheckpoint(checkpointValue(checkpoint, checkpoint.nextStepIndex, checkpoint.confirmed, nextAttempt, readTimestamp(observedAt, 'planSequenceCheckpoint.observedAt')));
+}
+/** Appends public confirmation evidence and advances exactly one sequence step.
+ *
+ * A step can advance only from its matching durable `signed` or `invoking`
+ * attempt. The attempt is cleared in the returned checkpoint.
+ *
+ * @example
+ * ```ts
+ * declare const checkpoint: PlanSequenceCheckpointV1;
+ * declare const confirmed: ConfirmedStep;
+ * const advanced = confirmPlanSequenceCheckpointStep(
+ *   checkpoint,
+ *   confirmed,
+ *   '2026-08-28T12:00:00.000Z',
+ * );
+ * ```
+ */
+export function confirmPlanSequenceCheckpointStep(checkpoint, evidence, observedAt) {
+    assertCheckpointInstance(checkpoint);
+    const attempt = checkpoint.attempt;
+    if (attempt === undefined ||
+        (attempt.phase !== 'signed' && attempt.phase !== 'invoking')) {
+        invalid('planSequenceCheckpoint.attempt', attempt, 'a matching signed or invoking attempt before confirmation');
+    }
+    const field = 'planSequenceCheckpoint.confirmation';
+    const value = readDataRecord(evidence, field);
+    assertKeys(value, field, [
+        'stepId',
+        'index',
+        'signature',
+        'slot',
+        'commitment',
+    ]);
+    const index = readIndex(value.index, `${field}.index`);
+    if (index !== checkpoint.nextStepIndex || index !== attempt.index) {
+        invalid(`${field}.index`, index, 'the current attempt and checkpoint nextStepIndex');
+    }
+    if (value.stepId !== attempt.stepId) {
+        invalid(`${field}.stepId`, value.stepId, `the current attempt step id ${attempt.stepId}`);
+    }
+    const signature = readSignature(value.signature, `${field}.signature`);
+    if (attempt.phase === 'signed' && signature !== attempt.signature) {
+        invalid(`${field}.signature`, signature, 'the observable signature persisted by the signed attempt');
+    }
+    if (typeof value.slot !== 'bigint' ||
+        value.slot < 0n ||
+        value.slot > U64_MAX) {
+        invalid(`${field}.slot`, value.slot, 'an unsigned 64-bit bigint slot');
+    }
+    const confirmed = {
+        stepId: attempt.stepId,
+        index,
+        signature,
+        slot: String(value.slot),
+        commitment: readCommitment(value.commitment, `${field}.commitment`),
+    };
+    return registerCheckpoint(checkpointValue(checkpoint, checkpoint.nextStepIndex + 1, [...checkpoint.confirmed, confirmed], undefined, readTimestamp(observedAt, 'planSequenceCheckpoint.observedAt')));
+}
+/** Serializes one SDK-created checkpoint to canonical compact JSON.
+ *
+ * @example
+ * ```ts
+ * declare const checkpoint: PlanSequenceCheckpointV1;
+ * declare const callerOwnedStore: { save(value: string): Promise<void> };
+ * const storedJson = stringifyPlanSequenceCheckpoint(checkpoint);
+ * await callerOwnedStore.save(storedJson);
+ * ```
+ */
+export function stringifyPlanSequenceCheckpoint(checkpoint) {
+    assertCheckpointInstance(checkpoint);
+    return JSON.stringify(checkpoint);
+}
+//# sourceMappingURL=plan-sequence-checkpoint.js.map

package/dist/planning/plan-sequence-checkpoint.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"plan-sequence-checkpoint.js","sourceRoot":"","sources":["../../src/planning/plan-sequence-checkpoint.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAkB,MAAM,aAAa,CAAC;AAG1D,OAAO,EAAE,uBAAuB,EAAE,MAAM,qBAAqB,CAAC;AAC9D,OAAO,EAAE,UAAU,EAAE,MAAM,+BAA+B,CAAC;AAO3D,MAAM,qBAAqB,GAAG,gDAAgD,CAAC;AAC/E,MAAM,wBAAwB,GAAG,mBAAmB,CAAC;AACrD,MAAM,OAAO,GAAG,qBAA2B,CAAC;AAC5C,MAAM,mBAAmB,GAAG,IAAI,OAAO,EAAU,CAAC;AAqFlD,SAAS,SAAS,CAAC,KAAc;IAC/B,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC;IACzE,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,MAAM,CAAC;IAClC,OAAO,OAAO,KAAK,CAAC;AACtB,CAAC;AAED,SAAS,OAAO,CAAC,KAAa,EAAE,KAAc,EAAE,aAAqB;IACnE,MAAM,IAAI,uBAAuB,CAC/B,KAAK,EACL,SAAS,CAAC,KAAK,CAAC,EAChB,aAAa,EACb,yGAAyG,CAC1G,CAAC;AACJ,CAAC;AAED,SAAS,cAAc,CACrB,KAAc,EACd,KAAa,EACb,aAAa,GAAG,qCAAqC;IAErD,IAAI,CAAC;QACH,IACE,KAAK,KAAK,IAAI;YACd,OAAO,KAAK,KAAK,QAAQ;YACzB,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;YACpB,CAAC,MAAM,CAAC,cAAc,CAAC,KAAK,CAAC,KAAK,MAAM,CAAC,SAAS;gBAChD,MAAM,CAAC,cAAc,CAAC,KAAK,CAAC,KAAK,IAAI,CAAC,EACxC,CAAC;YACD,OAAO,OAAO,CAAC,KAAK,EAAE,KAAK,EAAE,aAAa,CAAC,CAAC;QAC9C,CAAC;QACD,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAkB,CAAC;QAClD,KAAK,MAAM,GAAG,IAAI,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;YACzC,IAAI,OAAO,GAAG,KAAK,QAAQ,EAAE,CAAC;gBAC5B,OAAO,OAAO,CAAC,KAAK,EAAE,uBAAuB,EAAE,aAAa,CAAC,CAAC;YAChE,CAAC;YACD,MAAM,UAAU,GAAG,MAAM,CAAC,wBAAwB,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;YAC/D,IAAI,UAAU,KAAK,SAAS,IAAI,CAAC,CAAC,OAAO,IAAI,UAAU,CAAC,EAAE,CAAC;gBACzD,OAAO,OAAO,CACZ,GAAG,KAAK,IAAI,GAAG,EAAE,EACjB,mBAAmB,EACnB,iBAAiB,CAClB,CAAC;YACJ,CAAC;YACD,IAAI,CAAC,GAAG,CAAC,GAAG,UAAU,CAAC,KAAK,CAAC;QAC/B,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,IAAI,KAAK,YAAY,uBAAuB;YAAE,MAAM,KAAK,CAAC;QAC1D,OAAO,OAAO,CAAC,KAAK,EAAE,mBAAmB,EAAE,aAAa,CAAC,CAAC;IAC5D,CAAC;AACH,CAAC;AAED,SAAS,UAAU,CACjB,KAAoB,EACpB,KAAa,EACb,QAA2B,EAC3B,WAA8B,EAAE;IAEhC,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,QAAQ,EAAE,GAAG,QAAQ,CAAC,CAAC,CAAC;IACrD,MAAM,OAAO,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC;IACnE,MAAM,UAAU,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;IACxE,IAAI,OAAO,KAAK,SAAS,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;QACtD,OAAO,CACL,KAAK,EACL,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,cAAc,UAAU,EAAE,CAAC,CAAC,CAAC,WAAW,OAAO,EAAE,EACzE,sBAAsB,CAAC,GAAG,QAAQ,EAAE,GAAG,QAAQ,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAC9D,CAAC;IACJ,CAAC;AACH,CAAC;AAED,SAAS,cAAc,CACrB,KAAc,EACd,KAAa,EACb,cAAsB;IAEtB,IAAI,CAAC;QACH,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;YAC1B,OAAO,OAAO,CAAC,KAAK,EAAE,KAAK,EAAE,uBAAuB,CAAC,CAAC;QACxD,CAAC;QACD,MAAM,YAAY,GAAG,KAAK,CAAC,MAAM,CAAC;QAClC,IAAI,YAAY,KAAK,cAAc,EAAE,CAAC;YACpC,OAAO,OAAO,CACZ,KAAK,EACL,YAAY,EACZ,sCAAsC,MAAM,CAAC,cAAc,CAAC,WAAW,CACxE,CAAC;QACJ,CAAC;QACD,MAAM,YAAY,GAAG,IAAI,GAAG,CAAC;YAC3B,QAAQ;YACR,GAAG,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,cAAc,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;SACvE,CAAC,CAAC;QACH,MAAM,UAAU,GAAG,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,IAAI,CAC5C,CAAC,GAAG,EAAE,EAAE,CAAC,OAAO,GAAG,KAAK,QAAQ,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,CAC3D,CAAC;QACF,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;YAC7B,OAAO,CACL,KAAK,EACL,OAAO,UAAU,KAAK,QAAQ;gBAC5B,CAAC,CAAC,uBAAuB;gBACzB,CAAC,CAAC,cAAc,UAAU,EAAE,EAC9B,iDAAiD,CAClD,CAAC;QACJ,CAAC;QACD,MAAM,MAAM,GAAc,EAAE,CAAC;QAC7B,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,cAAc,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;YACvD,MAAM,UAAU,GAAG,MAAM,CAAC,wBAAwB,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;YACjE,IAAI,UAAU,KAAK,SAAS,IAAI,CAAC,CAAC,OAAO,IAAI,UAAU,CAAC,EAAE,CAAC;gBACzD,OAAO,CACL,GAAG,KAAK,IAAI,MAAM,CAAC,KAAK,CAAC,GAAG,EAC5B,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,mBAAmB,EAC1D,wBAAwB,CACzB,CAAC;YACJ,CAAC;YACD,MAAM,CAAC,KAAK,CAAC,GAAG,UAAU,CAAC,KAAK,CAAC;QACnC,CAAC;QACD,OAAO,MAAM,CAAC;IAChB,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,IAAI,KAAK,YAAY,uBAAuB;YAAE,MAAM,KAAK,CAAC;QAC1D,OAAO,OAAO,CAAC,KAAK,EAAE,kBAAkB,EAAE,uBAAuB,CAAC,CAAC;IACrE,CAAC;AACH,CAAC;AAED,SAAS,aAAa,CAAC,KAAc,EAAE,KAAa;IAClD,IACE,OAAO,KAAK,KAAK,QAAQ;QACzB,CAAC,qBAAqB,CAAC,IAAI,CAAC,KAAK,CAAC;QAClC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QAC/B,IAAI,IAAI,CAAC,KAAK,CAAC,CAAC,WAAW,EAAE,KAAK,KAAK,EACvC,CAAC;QACD,OAAO,OAAO,CACZ,KAAK,EACL,KAAK,EACL,qEAAqE,CACtE,CAAC;IACJ,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,WAAW,CAAC,OAAwB;IAC3C,OAAO,OAAO,KAAK,UAAU,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE,CAAC;AACnE,CAAC;AAED,SAAS,gBAAgB,CACvB,KAAc,EACd,QAAyB;IAEzB,IAAI,QAAQ,KAAK,UAAU,EAAE,CAAC;QAC5B,OAAO,KAAK,KAAK,QAAQ;YACvB,CAAC,CAAC,QAAQ;YACV,CAAC,CAAC,OAAO,CACL,gCAAgC,EAChC,KAAK,EACL,yDAAyD,CAC1D,CAAC;IACR,CAAC;IACD,MAAM,OAAO,GAAG,cAAc,CAAC,KAAK,EAAE,gCAAgC,CAAC,CAAC;IACxE,UAAU,CAAC,OAAO,EAAE,gCAAgC,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC;IAChE,OAAO,OAAO,CAAC,IAAI,KAAK,QAAQ,CAAC,IAAI;QACnC,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,CAAC,IAAI,EAAE;QACzB,CAAC,CAAC,OAAO,CACL,qCAAqC,EACrC,OAAO,CAAC,IAAI,EACZ,4DAA4D,CAC7D,CAAC;AACR,CAAC;AAED,SAAS,gBAAgB,CACvB,KAAc,EACd,QAAsB;IAEtB,MAAM,MAAM,GAAG,cAAc,CAC3B,KAAK,EACL,gCAAgC,EAChC,QAAQ,CAAC,KAAK,CAAC,MAAM,CACtB,CAAC;IACF,OAAO,MAAM,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAClC,MAAM,KAAK,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAE,CAAC,EAAE;QAClC,CAAC,CAAC,MAAM;QACR,CAAC,CAAC,OAAO,CACL,kCAAkC,MAAM,CAAC,KAAK,CAAC,GAAG,EAClD,MAAM,EACN,4BAA4B,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAE,CAAC,EAAE,EAAE,CACxD,CACe,CAAC;AACzB,CAAC;AAED,SAAS,YAAY,CAAC,MAAe;IACnC,IAAI,OAAO,MAAM,KAAK,QAAQ;QAAE,OAAO,MAAM,CAAC;IAC9C,IAAI,CAAC;QACH,OAAO,IAAI,CAAC,KAAK,CAAC,MAAM,CAAY,CAAC;IACvC,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,OAAO,CACZ,4BAA4B,EAC5B,cAAc,EACd,0DAA0D,CAC3D,CAAC;IACJ,CAAC;AACH,CAAC;AAED,SAAS,kBAAkB,CACzB,UAAoC;IAEpC,MAAM,MAAM,GAAG,UAAU,CAAC,UAAU,CAA6B,CAAC;IAClE,mBAAmB,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IAChC,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,wBAAwB,CAAC,UAAoC;IACpE,IAAI,CAAC,mBAAmB,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC;QACzC,OAAO,CACL,wBAAwB,EACxB,UAAU,EACV,mEAAmE,CACpE,CAAC;IACJ,CAAC;AACH,CAAC;AAED,SAAS,SAAS,CAAC,KAAc,EAAE,KAAa;IAC9C,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,KAAK,IAAI,CAAC;QAC3E,CAAC,CAAC,KAAK;QACP,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,KAAK,EAAE,6BAA6B,CAAC,CAAC;AAC3D,CAAC;AAED,SAAS,aAAa,CAAC,KAAc,EAAE,KAAa;IAClD,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,WAAW,CAAC,KAAK,CAAC;QACpD,CAAC,CAAC,KAAK;QACP,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,KAAK,EAAE,+CAA+C,CAAC,CAAC;AAC7E,CAAC;AAED,SAAS,QAAQ,CAAC,KAAc,EAAE,KAAa;IAC7C,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,wBAAwB,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QACvE,OAAO,OAAO,CAAC,KAAK,EAAE,KAAK,EAAE,4CAA4C,CAAC,CAAC;IAC7E,CAAC;IACD,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC;IAC3B,OAAO,IAAI,IAAI,OAAO;QACpB,CAAC,CAAC,KAAK;QACP,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,KAAK,EAAE,4CAA4C,CAAC,CAAC;AAC1E,CAAC;AAED,SAAS,cAAc,CACrB,KAAc,EACd,KAAa;IAEb,OAAO,KAAK,KAAK,WAAW,IAAI,KAAK,KAAK,WAAW;QACnD,CAAC,CAAC,KAAK;QACP,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,KAAK,EAAE,gCAAgC,CAAC,CAAC;AAC9D,CAAC;AAED,SAAS,WAAW,CAClB,KAAc,EACd,OAA0B,EAC1B,aAAqB,EACrB,KAAK,GAAG,gCAAgC;IAExC,MAAM,OAAO,GAAG,cAAc,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IAC7C,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC;IAC5B,IAAI,KAAK,KAAK,UAAU,EAAE,CAAC;QACzB,UAAU,CAAC,OAAO,EAAE,KAAK,EAAE,CAAC,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE,YAAY,CAAC,CAAC,CAAC;QACvE,IACE,OAAO,CAAC,UAAU,KAAK,YAAY;YACnC,OAAO,CAAC,UAAU,KAAK,QAAQ,EAC/B,CAAC;YACD,OAAO,CACL,GAAG,KAAK,aAAa,EACrB,OAAO,CAAC,UAAU,EAClB,8BAA8B,CAC/B,CAAC;QACJ,CAAC;IACH,CAAC;SAAM,IAAI,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC9B,UAAU,CAAC,OAAO,EAAE,KAAK,EAAE;YACzB,QAAQ;YACR,OAAO;YACP,OAAO;YACP,YAAY;YACZ,WAAW;SACZ,CAAC,CAAC;QACH,IAAI,OAAO,CAAC,UAAU,KAAK,YAAY,EAAE,CAAC;YACxC,OAAO,CACL,GAAG,KAAK,aAAa,EACrB,OAAO,CAAC,UAAU,EAClB,iCAAiC,CAClC,CAAC;QACJ,CAAC;IACH,CAAC;SAAM,IAAI,KAAK,KAAK,UAAU,EAAE,CAAC;QAChC,UAAU,CAAC,OAAO,EAAE,KAAK,EAAE,CAAC,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE,YAAY,CAAC,CAAC,CAAC;QACvE,IAAI,OAAO,CAAC,UAAU,KAAK,QAAQ,EAAE,CAAC;YACpC,OAAO,CACL,GAAG,KAAK,aAAa,EACrB,OAAO,CAAC,UAAU,EAClB,gCAAgC,CACjC,CAAC;QACJ,CAAC;IACH,CAAC;SAAM,CAAC;QACN,OAAO,OAAO,CACZ,GAAG,KAAK,QAAQ,EAChB,KAAK,EACL,uCAAuC,CACxC,CAAC;IACJ,CAAC;IAED,MAAM,KAAK,GAAG,SAAS,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,KAAK,QAAQ,CAAC,CAAC;IACzD,MAAM,cAAc,GAAG,OAAO,CAAC,aAAa,CAAC,CAAC;IAC9C,IAAI,KAAK,KAAK,aAAa,IAAI,cAAc,KAAK,SAAS,EAAE,CAAC;QAC5D,OAAO,CACL,GAAG,KAAK,QAAQ,EAChB,KAAK,EACL,qDAAqD,CACtD,CAAC;IACJ,CAAC;IACD,IAAI,OAAO,CAAC,MAAM,KAAK,cAAc,EAAE,CAAC;QACtC,OAAO,CACL,GAAG,KAAK,SAAS,EACjB,OAAO,CAAC,MAAM,EACd,iCAAiC,cAAc,EAAE,CAClD,CAAC;IACJ,CAAC;IAED,IAAI,KAAK,KAAK,QAAQ,EAAE,CAAC;QACvB,OAAO;YACL,MAAM,EAAE,cAAc;YACtB,KAAK;YACL,KAAK;YACL,UAAU,EAAE,YAAY;YACxB,SAAS,EAAE,aAAa,CAAC,OAAO,CAAC,SAAS,EAAE,GAAG,KAAK,YAAY,CAAC;SAClE,CAAC;IACJ,CAAC;IACD,OAAO;QACL,MAAM,EAAE,cAAc;QACtB,KAAK;QACL,KAAK;QACL,UAAU,EAAE,OAAO,CAAC,UAAqC;KACvB,CAAC;AACvC,CAAC;AAED,SAAS,iBAAiB,CACxB,KAAc,EACd,cAAsB,EACtB,aAAqB,EACrB,KAAa;IAEb,MAAM,SAAS,GAAG,cAAc,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IAC/C,UAAU,CAAC,SAAS,EAAE,KAAK,EAAE;QAC3B,QAAQ;QACR,OAAO;QACP,WAAW;QACX,MAAM;QACN,YAAY;KACb,CAAC,CAAC;IACH,MAAM,KAAK,GAAG,SAAS,CAAC,SAAS,CAAC,KAAK,EAAE,GAAG,KAAK,QAAQ,CAAC,CAAC;IAC3D,IAAI,KAAK,KAAK,aAAa,EAAE,CAAC;QAC5B,OAAO,CACL,GAAG,KAAK,QAAQ,EAChB,KAAK,EACL,oCAAoC,MAAM,CAAC,aAAa,CAAC,EAAE,CAC5D,CAAC;IACJ,CAAC;IACD,IAAI,SAAS,CAAC,MAAM,KAAK,cAAc,EAAE,CAAC;QACxC,OAAO,CACL,GAAG,KAAK,SAAS,EACjB,SAAS,CAAC,MAAM,EAChB,4BAA4B,cAAc,EAAE,CAC7C,CAAC;IACJ,CAAC;IACD,OAAO;QACL,MAAM,EAAE,cAAc;QACtB,KAAK;QACL,SAAS,EAAE,aAAa,CAAC,SAAS,CAAC,SAAS,EAAE,GAAG,KAAK,YAAY,CAAC;QACnE,IAAI,EAAE,QAAQ,CAAC,SAAS,CAAC,IAAI,EAAE,GAAG,KAAK,OAAO,CAAC;QAC/C,UAAU,EAAE,cAAc,CAAC,SAAS,CAAC,UAAU,EAAE,GAAG,KAAK,aAAa,CAAC;KACxE,CAAC;AACJ,CAAC;AAED,SAAS,eAAe,CACtB,UAGC,EACD,aAAqB,EACrB,SAAiD,EACjD,OAAoD,EACpD,UAAkB;IAElB,OAAO;QACL,CAAC,EAAE,CAAC;QACJ,WAAW,EAAE,UAAU,CAAC,WAAW;QACnC,OAAO,EAAE,WAAW,CAAC,UAAU,CAAC,OAAO,CAAC;QACxC,UAAU,EAAE,UAAU,CAAC,UAAU;QACjC,QAAQ,EAAE,UAAU,CAAC,QAAQ;QAC7B,OAAO,EAAE,CAAC,GAAG,UAAU,CAAC,OAAO,CAAC;QAChC,aAAa;QACb,SAAS,EAAE,SAAS,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,KAAK,EAAE,CAAC,CAAC;QACnD,GAAG,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,EAAE,GAAG,OAAO,EAAE,EAAE,CAAC;QAC7D,UAAU;KACX,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,4BAA4B,CAC1C,QAAsB,EACtB,UAAkB;IAElB,OAAO,kBAAkB,CAAC;QACxB,CAAC,EAAE,CAAC;QACJ,WAAW,EAAE,QAAQ,CAAC,WAAW;QACjC,OAAO,EAAE,WAAW,CAAC,QAAQ,CAAC,OAAO,CAAC;QACtC,UAAU,EAAE,QAAQ,CAAC,UAAU;QAC/B,QAAQ,EAAE,QAAQ,CAAC,QAAQ;QAC3B,OAAO,EAAE,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QAC9C,aAAa,EAAE,CAAC;QAChB,SAAS,EAAE,EAAE;QACb,UAAU,EAAE,aAAa,CAAC,UAAU,EAAE,mCAAmC,CAAC;KAC3E,CAAC,CAAC;AACL,CAAC;AAED;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,2BAA2B,CACzC,QAAsB,EACtB,MAAe;IAEf,MAAM,KAAK,GAAG,cAAc,CAAC,YAAY,CAAC,MAAM,CAAC,EAAE,wBAAwB,CAAC,CAAC;IAC7E,UAAU,CACR,KAAK,EACL,wBAAwB,EACxB;QACE,GAAG;QACH,aAAa;QACb,SAAS;QACT,YAAY;QACZ,UAAU;QACV,SAAS;QACT,eAAe;QACf,WAAW;QACX,YAAY;KACb,EACD,CAAC,SAAS,CAAC,CACZ,CAAC;IACF,IAAI,KAAK,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC;QAClB,OAAO,CAAC,0BAA0B,EAAE,KAAK,CAAC,CAAC,EAAE,sBAAsB,CAAC,CAAC;IACvE,CAAC;IACD,IAAI,KAAK,CAAC,WAAW,KAAK,QAAQ,CAAC,WAAW,EAAE,CAAC;QAC/C,OAAO,CACL,oCAAoC,EACpC,KAAK,CAAC,WAAW,EACjB,oDAAoD,CACrD,CAAC;IACJ,CAAC;IACD,IAAI,KAAK,CAAC,UAAU,KAAK,QAAQ,CAAC,UAAU,EAAE,CAAC;QAC7C,OAAO,CACL,mCAAmC,EACnC,KAAK,CAAC,UAAU,EAChB,0CAA0C,CAC3C,CAAC;IACJ,CAAC;IACD,IAAI,KAAK,CAAC,QAAQ,KAAK,QAAQ,CAAC,QAAQ,EAAE,CAAC;QACzC,OAAO,CACL,iCAAiC,EACjC,KAAK,CAAC,QAAQ,EACd,uCAAuC,CACxC,CAAC;IACJ,CAAC;IACD,MAAM,aAAa,GAAG,SAAS,CAC7B,KAAK,CAAC,aAAa,EACnB,sCAAsC,CACvC,CAAC;IACF,MAAM,OAAO,GAAG,gBAAgB,CAAC,KAAK,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;IAC1D,IAAI,aAAa,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC;QACnC,OAAO,CACL,sCAAsC,EACtC,aAAa,EACb,wDAAwD,CACzD,CAAC;IACJ,CAAC;IACD,MAAM,eAAe,GAAG,cAAc,CACpC,KAAK,CAAC,SAAS,EACf,kCAAkC,EAClC,aAAa,CACd,CAAC;IACF,MAAM,SAAS,GAAG,eAAe,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CACrD,iBAAiB,CACf,KAAK,EACL,OAAO,CAAC,KAAK,CAAE,EACf,KAAK,EACL,oCAAoC,MAAM,CAAC,KAAK,CAAC,GAAG,CACrD,CACF,CAAC;IACF,MAAM,OAAO,GACX,KAAK,CAAC,OAAO,KAAK,SAAS;QACzB,CAAC,CAAC,SAAS;QACX,CAAC,CAAC,WAAW,CAAC,KAAK,CAAC,OAAO,EAAE,OAAO,EAAE,aAAa,CAAC,CAAC;IACzD,OAAO,kBAAkB,CACvB,eAAe,CACb;QACE,CAAC,EAAE,CAAC;QACJ,WAAW,EAAE,QAAQ,CAAC,WAAW;QACjC,OAAO,EAAE,gBAAgB,CAAC,KAAK,CAAC,OAAO,EAAE,QAAQ,CAAC,OAAO,CAAC;QAC1D,UAAU,EAAE,QAAQ,CAAC,UAAU;QAC/B,QAAQ,EAAE,QAAQ,CAAC,QAAQ;QAC3B,OAAO;KACR,EACD,aAAa,EACb,SAAS,EACT,OAAO,EACP,aAAa,CAAC,KAAK,CAAC,UAAU,EAAE,mCAAmC,CAAC,CACrE,CACF,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;;;;;;;;;GAmBG;AACH,MAAM,UAAU,gCAAgC,CAC9C,UAAoC,EACpC,OAAwC,EACxC,UAAkB;IAElB,wBAAwB,CAAC,UAAU,CAAC,CAAC;IACrC,MAAM,WAAW,GAAG,WAAW,CAC7B,OAAO,EACP,UAAU,CAAC,OAAO,EAClB,UAAU,CAAC,aAAa,CACzB,CAAC;IACF,MAAM,QAAQ,GAAG,UAAU,CAAC,OAAO,CAAC;IACpC,IAAI,QAAQ,KAAK,SAAS,IAAI,WAAW,CAAC,KAAK,KAAK,UAAU,EAAE,CAAC;QAC/D,OAAO,CACL,sCAAsC,EACtC,WAAW,CAAC,KAAK,EACjB,4CAA4C,CAC7C,CAAC;IACJ,CAAC;IACD,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;QAC3B,IAAI,QAAQ,CAAC,KAAK,KAAK,UAAU,EAAE,CAAC;YAClC,OAAO,CACL,sCAAsC,EACtC,WAAW,CAAC,KAAK,EACjB,yDAAyD,CAC1D,CAAC;QACJ,CAAC;QACD,IACE,CAAC,QAAQ,CAAC,UAAU,KAAK,YAAY;YACnC,WAAW,CAAC,KAAK,KAAK,QAAQ,CAAC;YACjC,CAAC,QAAQ,CAAC,UAAU,KAAK,QAAQ,IAAI,WAAW,CAAC,KAAK,KAAK,UAAU,CAAC,EACtE,CAAC;YACD,OAAO,CACL,sCAAsC,EACtC,WAAW,CAAC,KAAK,EACjB,QAAQ,CAAC,UAAU,KAAK,YAAY;gBAClC,CAAC,CAAC,6CAA6C;gBAC/C,CAAC,CAAC,2CAA2C,CAChD,CAAC;QACJ,CAAC;IACH,CAAC;IACD,OAAO,kBAAkB,CACvB,eAAe,CACb,UAAU,EACV,UAAU,CAAC,aAAa,EACxB,UAAU,CAAC,SAAS,EACpB,WAAW,EACX,aAAa,CAAC,UAAU,EAAE,mCAAmC,CAAC,CAC/D,CACF,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;;;;;GAeG;AACH,MAAM,UAAU,iCAAiC,CAC/C,UAAoC,EACpC,QAAuB,EACvB,UAAkB;IAElB,wBAAwB,CAAC,UAAU,CAAC,CAAC;IACrC,MAAM,OAAO,GAAG,UAAU,CAAC,OAAO,CAAC;IACnC,IACE,OAAO,KAAK,SAAS;QACrB,CAAC,OAAO,CAAC,KAAK,KAAK,QAAQ,IAAI,OAAO,CAAC,KAAK,KAAK,UAAU,CAAC,EAC5D,CAAC;QACD,OAAO,CACL,gCAAgC,EAChC,OAAO,EACP,2DAA2D,CAC5D,CAAC;IACJ,CAAC;IACD,MAAM,KAAK,GAAG,qCAAqC,CAAC;IACpD,MAAM,KAAK,GAAG,cAAc,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;IAC9C,UAAU,CAAC,KAAK,EAAE,KAAK,EAAE;QACvB,QAAQ;QACR,OAAO;QACP,WAAW;QACX,MAAM;QACN,YAAY;KACb,CAAC,CAAC;IACH,MAAM,KAAK,GAAG,SAAS,CAAC,KAAK,CAAC,KAAK,EAAE,GAAG,KAAK,QAAQ,CAAC,CAAC;IACvD,IAAI,KAAK,KAAK,UAAU,CAAC,aAAa,IAAI,KAAK,KAAK,OAAO,CAAC,KAAK,EAAE,CAAC;QAClE,OAAO,CACL,GAAG,KAAK,QAAQ,EAChB,KAAK,EACL,kDAAkD,CACnD,CAAC;IACJ,CAAC;IACD,IAAI,KAAK,CAAC,MAAM,KAAK,OAAO,CAAC,MAAM,EAAE,CAAC;QACpC,OAAO,CACL,GAAG,KAAK,SAAS,EACjB,KAAK,CAAC,MAAM,EACZ,+BAA+B,OAAO,CAAC,MAAM,EAAE,CAChD,CAAC;IACJ,CAAC;IACD,MAAM,SAAS,GAAG,aAAa,CAAC,KAAK,CAAC,SAAS,EAAE,GAAG,KAAK,YAAY,CAAC,CAAC;IACvE,IAAI,OAAO,CAAC,KAAK,KAAK,QAAQ,IAAI,SAAS,KAAK,OAAO,CAAC,SAAS,EAAE,CAAC;QAClE,OAAO,CACL,GAAG,KAAK,YAAY,EACpB,SAAS,EACT,0DAA0D,CAC3D,CAAC;IACJ,CAAC;IACD,IACE,OAAO,KAAK,CAAC,IAAI,KAAK,QAAQ;QAC9B,KAAK,CAAC,IAAI,GAAG,EAAE;QACf,KAAK,CAAC,IAAI,GAAG,OAAO,EACpB,CAAC;QACD,OAAO,CAAC,GAAG,KAAK,OAAO,EAAE,KAAK,CAAC,IAAI,EAAE,gCAAgC,CAAC,CAAC;IACzE,CAAC;IACD,MAAM,SAAS,GAAgC;QAC7C,MAAM,EAAE,OAAO,CAAC,MAAM;QACtB,KAAK;QACL,SAAS;QACT,IAAI,EAAE,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC;QACxB,UAAU,EAAE,cAAc,CAAC,KAAK,CAAC,UAAU,EAAE,GAAG,KAAK,aAAa,CAAC;KACpE,CAAC;IACF,OAAO,kBAAkB,CACvB,eAAe,CACb,UAAU,EACV,UAAU,CAAC,aAAa,GAAG,CAAC,EAC5B,CAAC,GAAG,UAAU,CAAC,SAAS,EAAE,SAAS,CAAC,EACpC,SAAS,EACT,aAAa,CAAC,UAAU,EAAE,mCAAmC,CAAC,CAC/D,CACF,CAAC;AACJ,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,+BAA+B,CAC7C,UAAoC;IAEpC,wBAAwB,CAAC,UAAU,CAAC,CAAC;IACrC,OAAO,IAAI,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;AACpC,CAAC"}