sui-effect 0.1.0

package/dist/domain/executed.d.ts

@@ -0,0 +1,325 @@
+/**
+ * `Executed`: a transaction that reached the chain, with accessors that answer
+ * the questions the next transaction needs answered.
+ *
+ * Every accessor returns {@link ChangedRef}s — the object's id plus whatever
+ * else the effects actually carried — and ignores accumulator writes
+ * (`outputState: "AccumulatorWriteV1"`), which are balance bookkeeping rather
+ * than objects. Use {@link objectRefOf} to turn one into the full `ObjectRef`
+ * the transaction builder wants, which succeeds exactly when the node reported
+ * every field it needs.
+ *
+ * @since 0.1.0
+ */
+import type { SuiClientTypes } from "@mysten/sui/client";
+import { Effect, Schema } from "effect";
+import { DecodeError, ExecutionFailed, UnexpectedEffects } from "./errors.ts";
+import { CoinType, ObjectId, ObjectRef, ObjectType, Owner, SuiAddress, Version } from "./schemas.ts";
+/**
+ * What the effects say about one object a transaction touched.
+ *
+ * `id` is always there. Everything else is present only when the node reported
+ * it: `type` comes from the `objectTypes` join, and the version, digest and
+ * owner from the side of the change being read (a deleted object has no output
+ * version, and a created one has no input version). Nothing is defaulted, so a
+ * caller that needs a full `ObjectRef` for the builder can see what is missing
+ * rather than being handed a fabricated version 0.
+ */
+export interface ChangedRef {
+    readonly id: ObjectId;
+    readonly type?: ObjectType;
+    readonly version?: Version;
+    readonly digest?: string;
+    readonly owner?: Owner;
+}
+/**
+ * The full builder reference of a changed object, when the effects carried
+ * every field the builder needs. Never fails.
+ */
+export declare const objectRefOf: (ref: ChangedRef) => ObjectRef | undefined;
+/**
+ * The shape `Transaction#objectRef` and `Inputs.ObjectRef` want: `objectId`
+ * rather than `id`, and a decimal **string** version rather than a `bigint`.
+ *
+ * sui-effect's own `ObjectRef` carries the branded `id` and a `bigint`
+ * `version`, because that is what a domain model wants and what a `Version`
+ * check can be run on; the SDK builder wants neither. This is the one
+ * conversion, so nobody writes `{ objectId: ref.id, version: String(ref.version) }`
+ * by hand and gets the field name wrong.
+ *
+ * **Only for an address-owned (or immutable) object.** `tx.objectRef` pins a
+ * version, which is exactly right for an owned input and exactly wrong for a
+ * **shared** object: a shared object is passed with `tx.sharedObjectRef({
+ * objectId, initialSharedVersion, mutable })` (the initial shared version lives
+ * on `ref.owner.Shared.initialSharedVersion`), and a **receiving** object with
+ * `tx.receivingRef(...)`, which takes the same three fields this returns.
+ * Passing a shared object by `objectRef` produces bytes a validator rejects.
+ *
+ * `undefined` when the effects did not carry a version or a digest — a deleted
+ * object has no output version, and nothing can be consumed without both.
+ * Never fails.
+ */
+export declare const sdkRefOf: (ref: ChangedRef | ObjectRef) => SdkObjectRef | undefined;
+/** The SDK's own object reference shape, as `Transaction#objectRef` takes it. */
+export interface SdkObjectRef {
+    readonly objectId: string;
+    readonly version: string;
+    readonly digest: string;
+}
+declare const Executed_base: Schema.Class<Executed, Schema.Struct<{
+    readonly digest: Schema.brand<Schema.String, "Digest">;
+    readonly effects: Schema.Struct<{
+        readonly version: Schema.Number;
+        readonly status: Schema.Struct<{
+            readonly success: Schema.Boolean;
+        }>;
+        readonly gasUsed: Schema.Struct<{
+            readonly computationCost: Schema.brand<Schema.BigIntFromString, "Mist">;
+            readonly storageCost: Schema.brand<Schema.BigIntFromString, "Mist">;
+            readonly storageRebate: Schema.brand<Schema.BigIntFromString, "Mist">;
+            readonly nonRefundableStorageFee: Schema.brand<Schema.BigIntFromString, "Mist">;
+        }>;
+        readonly transactionDigest: Schema.brand<Schema.String, "Digest">;
+        readonly gasObject: Schema.NullOr<Schema.Struct<{
+            readonly objectId: Schema.brand<Schema.decodeTo<Schema.toType<Schema.String>, Schema.String, never, never>, "ObjectId">;
+            readonly inputState: Schema.Literals<readonly ["Unknown", "DoesNotExist", "Exists"]>;
+            readonly inputVersion: Schema.NullOr<Schema.brand<Schema.BigIntFromString, "Version">>;
+            readonly inputDigest: Schema.NullOr<Schema.String>;
+            readonly inputOwner: Schema.NullOr<Schema.toTaggedUnion<"$kind", readonly [Schema.Struct<{
+                readonly $kind: Schema.Literal<"AddressOwner">;
+                readonly AddressOwner: Schema.brand<Schema.decodeTo<Schema.toType<Schema.String>, Schema.String, never, never>, "SuiAddress">;
+            }>, Schema.Struct<{
+                readonly $kind: Schema.Literal<"ObjectOwner">;
+                readonly ObjectOwner: Schema.brand<Schema.decodeTo<Schema.toType<Schema.String>, Schema.String, never, never>, "ObjectId">;
+            }>, Schema.Struct<{
+                readonly $kind: Schema.Literal<"Shared">;
+                readonly Shared: Schema.Struct<{
+                    readonly initialSharedVersion: Schema.brand<Schema.BigIntFromString, "Version">;
+                }>;
+            }>, Schema.Struct<{
+                readonly $kind: Schema.Literal<"Immutable">;
+                readonly Immutable: Schema.Literal<true>;
+            }>, Schema.Struct<{
+                readonly $kind: Schema.Literal<"ConsensusAddressOwner">;
+                readonly ConsensusAddressOwner: Schema.Struct<{
+                    readonly startVersion: Schema.brand<Schema.BigIntFromString, "Version">;
+                    readonly owner: Schema.brand<Schema.decodeTo<Schema.toType<Schema.String>, Schema.String, never, never>, "SuiAddress">;
+                }>;
+            }>, Schema.Struct<{
+                readonly $kind: Schema.Literal<"Unknown">;
+            }>]>>;
+            readonly outputState: Schema.Literals<readonly ["Unknown", "DoesNotExist", "ObjectWrite", "PackageWrite", "AccumulatorWriteV1"]>;
+            readonly outputVersion: Schema.NullOr<Schema.brand<Schema.BigIntFromString, "Version">>;
+            readonly outputDigest: Schema.NullOr<Schema.String>;
+            readonly outputOwner: Schema.NullOr<Schema.toTaggedUnion<"$kind", readonly [Schema.Struct<{
+                readonly $kind: Schema.Literal<"AddressOwner">;
+                readonly AddressOwner: Schema.brand<Schema.decodeTo<Schema.toType<Schema.String>, Schema.String, never, never>, "SuiAddress">;
+            }>, Schema.Struct<{
+                readonly $kind: Schema.Literal<"ObjectOwner">;
+                readonly ObjectOwner: Schema.brand<Schema.decodeTo<Schema.toType<Schema.String>, Schema.String, never, never>, "ObjectId">;
+            }>, Schema.Struct<{
+                readonly $kind: Schema.Literal<"Shared">;
+                readonly Shared: Schema.Struct<{
+                    readonly initialSharedVersion: Schema.brand<Schema.BigIntFromString, "Version">;
+                }>;
+            }>, Schema.Struct<{
+                readonly $kind: Schema.Literal<"Immutable">;
+                readonly Immutable: Schema.Literal<true>;
+            }>, Schema.Struct<{
+                readonly $kind: Schema.Literal<"ConsensusAddressOwner">;
+                readonly ConsensusAddressOwner: Schema.Struct<{
+                    readonly startVersion: Schema.brand<Schema.BigIntFromString, "Version">;
+                    readonly owner: Schema.brand<Schema.decodeTo<Schema.toType<Schema.String>, Schema.String, never, never>, "SuiAddress">;
+                }>;
+            }>, Schema.Struct<{
+                readonly $kind: Schema.Literal<"Unknown">;
+            }>]>>;
+            readonly idOperation: Schema.Literals<readonly ["Unknown", "None", "Created", "Deleted"]>;
+        }>>;
+        readonly eventsDigest: Schema.NullOr<Schema.String>;
+        readonly dependencies: Schema.$Array<Schema.String>;
+        readonly lamportVersion: Schema.NullOr<Schema.brand<Schema.BigIntFromString, "Version">>;
+        readonly changedObjects: Schema.$Array<Schema.Struct<{
+            readonly objectId: Schema.brand<Schema.decodeTo<Schema.toType<Schema.String>, Schema.String, never, never>, "ObjectId">;
+            readonly inputState: Schema.Literals<readonly ["Unknown", "DoesNotExist", "Exists"]>;
+            readonly inputVersion: Schema.NullOr<Schema.brand<Schema.BigIntFromString, "Version">>;
+            readonly inputDigest: Schema.NullOr<Schema.String>;
+            readonly inputOwner: Schema.NullOr<Schema.toTaggedUnion<"$kind", readonly [Schema.Struct<{
+                readonly $kind: Schema.Literal<"AddressOwner">;
+                readonly AddressOwner: Schema.brand<Schema.decodeTo<Schema.toType<Schema.String>, Schema.String, never, never>, "SuiAddress">;
+            }>, Schema.Struct<{
+                readonly $kind: Schema.Literal<"ObjectOwner">;
+                readonly ObjectOwner: Schema.brand<Schema.decodeTo<Schema.toType<Schema.String>, Schema.String, never, never>, "ObjectId">;
+            }>, Schema.Struct<{
+                readonly $kind: Schema.Literal<"Shared">;
+                readonly Shared: Schema.Struct<{
+                    readonly initialSharedVersion: Schema.brand<Schema.BigIntFromString, "Version">;
+                }>;
+            }>, Schema.Struct<{
+                readonly $kind: Schema.Literal<"Immutable">;
+                readonly Immutable: Schema.Literal<true>;
+            }>, Schema.Struct<{
+                readonly $kind: Schema.Literal<"ConsensusAddressOwner">;
+                readonly ConsensusAddressOwner: Schema.Struct<{
+                    readonly startVersion: Schema.brand<Schema.BigIntFromString, "Version">;
+                    readonly owner: Schema.brand<Schema.decodeTo<Schema.toType<Schema.String>, Schema.String, never, never>, "SuiAddress">;
+                }>;
+            }>, Schema.Struct<{
+                readonly $kind: Schema.Literal<"Unknown">;
+            }>]>>;
+            readonly outputState: Schema.Literals<readonly ["Unknown", "DoesNotExist", "ObjectWrite", "PackageWrite", "AccumulatorWriteV1"]>;
+            readonly outputVersion: Schema.NullOr<Schema.brand<Schema.BigIntFromString, "Version">>;
+            readonly outputDigest: Schema.NullOr<Schema.String>;
+            readonly outputOwner: Schema.NullOr<Schema.toTaggedUnion<"$kind", readonly [Schema.Struct<{
+                readonly $kind: Schema.Literal<"AddressOwner">;
+                readonly AddressOwner: Schema.brand<Schema.decodeTo<Schema.toType<Schema.String>, Schema.String, never, never>, "SuiAddress">;
+            }>, Schema.Struct<{
+                readonly $kind: Schema.Literal<"ObjectOwner">;
+                readonly ObjectOwner: Schema.brand<Schema.decodeTo<Schema.toType<Schema.String>, Schema.String, never, never>, "ObjectId">;
+            }>, Schema.Struct<{
+                readonly $kind: Schema.Literal<"Shared">;
+                readonly Shared: Schema.Struct<{
+                    readonly initialSharedVersion: Schema.brand<Schema.BigIntFromString, "Version">;
+                }>;
+            }>, Schema.Struct<{
+                readonly $kind: Schema.Literal<"Immutable">;
+                readonly Immutable: Schema.Literal<true>;
+            }>, Schema.Struct<{
+                readonly $kind: Schema.Literal<"ConsensusAddressOwner">;
+                readonly ConsensusAddressOwner: Schema.Struct<{
+                    readonly startVersion: Schema.brand<Schema.BigIntFromString, "Version">;
+                    readonly owner: Schema.brand<Schema.decodeTo<Schema.toType<Schema.String>, Schema.String, never, never>, "SuiAddress">;
+                }>;
+            }>, Schema.Struct<{
+                readonly $kind: Schema.Literal<"Unknown">;
+            }>]>>;
+            readonly idOperation: Schema.Literals<readonly ["Unknown", "None", "Created", "Deleted"]>;
+        }>>;
+        readonly unchangedConsensusObjects: Schema.$Array<Schema.Struct<{
+            readonly kind: Schema.Literals<readonly ["Unknown", "ReadOnlyRoot", "MutateConsensusStreamEnded", "ReadConsensusStreamEnded", "Cancelled", "PerEpochConfig"]>;
+            readonly objectId: Schema.brand<Schema.decodeTo<Schema.toType<Schema.String>, Schema.String, never, never>, "ObjectId">;
+            readonly version: Schema.NullOr<Schema.brand<Schema.BigIntFromString, "Version">>;
+            readonly digest: Schema.NullOr<Schema.String>;
+        }>>;
+        readonly auxiliaryDataDigest: Schema.NullOr<Schema.String>;
+    }>;
+    readonly events: Schema.$Array<Schema.Struct<{
+        readonly packageId: Schema.brand<Schema.decodeTo<Schema.toType<Schema.String>, Schema.String, never, never>, "ObjectId">;
+        readonly module: Schema.String;
+        readonly sender: Schema.brand<Schema.decodeTo<Schema.toType<Schema.String>, Schema.String, never, never>, "SuiAddress">;
+        readonly eventType: Schema.String;
+        readonly bcs: Schema.Uint8Array;
+    }>>;
+    readonly balanceChanges: Schema.$Array<Schema.Struct<{
+        readonly coinType: Schema.brand<Schema.decodeTo<Schema.toType<Schema.String>, Schema.String, never, never>, "CoinType">;
+        readonly address: Schema.brand<Schema.decodeTo<Schema.toType<Schema.String>, Schema.String, never, never>, "SuiAddress">;
+        readonly amount: Schema.BigIntFromString;
+    }>>;
+    readonly objectTypes: Schema.$Record<Schema.String, Schema.String>;
+    readonly checkpoint: Schema.NullOr<Schema.BigIntFromString>;
+    readonly timestampMs: Schema.NullOr<Schema.Number>;
+}>, {}>;
+/**
+ * A transaction the network executed, built from the fixed execute include set:
+ * effects, events, balance changes and object types.
+ */
+export declare class Executed extends Executed_base {
+    /**
+     * The type of a changed object, from the `objectTypes` join. A published
+     * package reports the literal `package` rather than a struct tag, so the
+     * decode goes through {@link ObjectType}.
+     */
+    private typeOf;
+    /**
+     * Everything the effects actually say about one changed object. Nothing is
+     * invented: a field the node did not report stays `undefined`, so a caller
+     * that needs a full builder reference can tell the difference between
+     * "version 0" and "the node did not say".
+     */
+    private refOf;
+    private select;
+    private static byType;
+    /**
+     * Objects this transaction created, optionally filtered by Move type
+     * (compared with `normalizeStructTag`). Never fails.
+     */
+    created(type?: string): ReadonlyArray<ChangedRef>;
+    /**
+     * Objects this transaction created whose reference satisfies a predicate.
+     *
+     * The direct replacement for the substring matching every repo hand-rolls
+     * (`createdByType("::Receipt")`), without making substring matching the
+     * default: `created(type)` still compares normalized struct tags.
+     * Never fails.
+     */
+    createdWhere(predicate: (ref: ChangedRef) => boolean): ReadonlyArray<ChangedRef>;
+    /** Objects this transaction mutated in place, optionally filtered by type. Never fails. */
+    mutated(type?: string): ReadonlyArray<ChangedRef>;
+    /**
+     * Objects this transaction deleted or wrapped. The refs carry the versions the
+     * objects had going in, since they have no output version.
+     *
+     * Two effect shapes land here, because from a caller's side both mean "this
+     * object is gone from where it was":
+     *
+     * - a **delete**, which the node reports as `idOperation: "Deleted"`;
+     * - a **wrap**, which has no id operation at all (`"None"`) and shows up only
+     *   as an input that existed and an output that does not. {@link wrapped}
+     *   returns just those, for a caller that has to tell the two apart — a
+     *   wrapped object still exists inside its wrapper and can come back.
+     *
+     * Never fails.
+     */
+    deleted(): ReadonlyArray<ChangedRef>;
+    /**
+     * Objects this transaction wrapped: they went in existing and came out
+     * nonexistent without their id being deleted, which is how the SDK's effects
+     * converter represents wrapping. They are a subset of {@link deleted}.
+     * Never fails.
+     */
+    wrapped(): ReadonlyArray<ChangedRef>;
+    private static isDeleted;
+    private static isWrapped;
+    /**
+     * Packages this transaction published (`PackageWrite` plus `Created`), as
+     * full refs like every other accessor. A package's `type` is the literal
+     * `package` when the node reports one, and the ref falls back to it when the
+     * `objectTypes` join has no entry, so a publish is never silently dropped.
+     * Never fails.
+     */
+    packagesPublished(): ReadonlyArray<ChangedRef>;
+    /** The net balance change for one address and coin type, in MIST. Never fails. */
+    balanceChange(address: SuiAddress, coinType: CoinType): bigint;
+    /** Computation plus storage less the storage rebate, in MIST. Can be negative. Never fails. */
+    get gasUsedTotal(): bigint;
+    /**
+     * The single object of this type the transaction created.
+     *
+     * Fails with: `UnexpectedEffects` when the transaction created no object of
+     * that type, or more than one.
+     */
+    expectCreated(type: string): Effect.Effect<ChangedRef, UnexpectedEffects>;
+}
+/** The `include` set every execute, simulate and transaction read asks for. */
+export declare const EXECUTE_INCLUDE: {
+    readonly effects: true;
+    readonly events: true;
+    readonly balanceChanges: true;
+    readonly objectTypes: true;
+};
+/**
+ * Turns an SDK `TransactionResult` read with {@link EXECUTE_INCLUDE} into an
+ * `Executed`, or into the one representation of an on-chain failure.
+ *
+ * Fails with: `ExecutionFailed` when the transaction was applied and failed,
+ * and `DecodeError` when the response does not carry the include set that was
+ * asked for.
+ */
+export declare const fromTransactionResult: (result: SuiClientTypes.TransactionResult<{
+    readonly effects: true;
+    readonly events: true;
+    readonly balanceChanges: true;
+    readonly objectTypes: true;
+}>) => Effect.Effect<Executed, DecodeError | ExecutionFailed, never>;
+export {};
+//# sourceMappingURL=executed.d.ts.map

package/dist/domain/executed.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"executed.d.ts","sourceRoot":"","sources":["../../src/domain/executed.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AACH,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,oBAAoB,CAAA;AACxD,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AACvC,OAAO,EAAE,WAAW,EAAE,eAAe,EAAE,iBAAiB,EAAE,MAAM,aAAa,CAAA;AAC7E,OAAO,EAGL,QAAQ,EAIR,QAAQ,EACR,SAAS,EACT,UAAU,EACV,KAAK,EACL,UAAU,EAEV,OAAO,EACR,MAAM,cAAc,CAAA;AAMrB;;;;;;;;;GASG;AACH,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,EAAE,EAAE,QAAQ,CAAA;IACrB,QAAQ,CAAC,IAAI,CAAC,EAAE,UAAU,CAAA;IAC1B,QAAQ,CAAC,OAAO,CAAC,EAAE,OAAO,CAAA;IAC1B,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAA;IACxB,QAAQ,CAAC,KAAK,CAAC,EAAE,KAAK,CAAA;CACvB;AAED;;;GAGG;AACH,eAAO,MAAM,WAAW,GAAI,KAAK,UAAU,KAAG,SAAS,GAAG,SAIsC,CAAA;AAEhG;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,eAAO,MAAM,QAAQ,GAAI,KAAK,UAAU,GAAG,SAAS,KAAG,YAAY,GAAG,SAGS,CAAA;AAE/E,iFAAiF;AACjF,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;IACzB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;IACxB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;CACxB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAED;;;GAGG;AACH,qBAAa,QAAS,SAAQ,aAQ5B;IACA;;;;OAIG;IACH,OAAO,CAAC,MAAM;IAOd;;;;;OAKG;IACH,OAAO,CAAC,KAAK;IAcb,OAAO,CAAC,MAAM;IAgBd,OAAO,CAAC,MAAM,CAAC,MAAM;IAKrB;;;OAGG;IACH,OAAO,CAAC,IAAI,CAAC,EAAE,MAAM,GAAG,aAAa,CAAC,UAAU,CAAC;IAQjD;;;;;;;OAOG;IACH,YAAY,CAAC,SAAS,EAAE,CAAC,GAAG,EAAE,UAAU,KAAK,OAAO,GAAG,aAAa,CAAC,UAAU,CAAC;IAQhF,2FAA2F;IAC3F,OAAO,CAAC,IAAI,CAAC,EAAE,MAAM,GAAG,aAAa,CAAC,UAAU,CAAC;IAWjD;;;;;;;;;;;;;;OAcG;IACH,OAAO,IAAI,aAAa,CAAC,UAAU,CAAC;IAOpC;;;;;OAKG;IACH,OAAO,IAAI,aAAa,CAAC,UAAU,CAAC;IAIpC,OAAO,CAAC,MAAM,CAAC,SAAS;IAIxB,OAAO,CAAC,MAAM,CAAC,SAAS;IAKxB;;;;;;OAMG;IACH,iBAAiB,IAAI,aAAa,CAAC,UAAU,CAAC;IAa9C,kFAAkF;IAClF,aAAa,CAAC,OAAO,EAAE,UAAU,EAAE,QAAQ,EAAE,QAAQ,GAAG,MAAM;IAU9D,+FAA+F;IAC/F,IAAI,YAAY,IAAI,MAAM,CAGzB;IAED;;;;;OAKG;IACH,aAAa,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,UAAU,EAAE,iBAAiB,CAAC;CAY1E;AAED,+EAA+E;AAC/E,eAAO,MAAM,eAAe;;;;;CAKlB,CAAA;AAIV;;;;;;;GAOG;AACH,eAAO,MAAM,qBAAqB;;;;;oEA6BjC,CAAA"}

package/dist/domain/executed.js

@@ -0,0 +1,253 @@
+import { Effect, Schema } from "effect";
+import { DecodeError, ExecutionFailed, UnexpectedEffects } from "./errors.js";
+import { BalanceChange, ChangedObject, CoinType, Digest, Event, executionReasonOf, ObjectId, ObjectRef, ObjectType, Owner, SuiAddress, TransactionEffects, Version } from "./schemas.js";
+import { typeMatches } from "./bcs.js";
+const isAccumulatorWrite = (change) => change.outputState === "AccumulatorWriteV1";
+/**
+ * The full builder reference of a changed object, when the effects carried
+ * every field the builder needs. Never fails.
+ */
+export const objectRefOf = (ref) => ref.type === undefined || ref.version === undefined || ref.digest === undefined ||
+    ref.owner === undefined
+    ? undefined
+    : { id: ref.id, type: ref.type, version: ref.version, digest: ref.digest, owner: ref.owner };
+/**
+ * The shape `Transaction#objectRef` and `Inputs.ObjectRef` want: `objectId`
+ * rather than `id`, and a decimal **string** version rather than a `bigint`.
+ *
+ * sui-effect's own `ObjectRef` carries the branded `id` and a `bigint`
+ * `version`, because that is what a domain model wants and what a `Version`
+ * check can be run on; the SDK builder wants neither. This is the one
+ * conversion, so nobody writes `{ objectId: ref.id, version: String(ref.version) }`
+ * by hand and gets the field name wrong.
+ *
+ * **Only for an address-owned (or immutable) object.** `tx.objectRef` pins a
+ * version, which is exactly right for an owned input and exactly wrong for a
+ * **shared** object: a shared object is passed with `tx.sharedObjectRef({
+ * objectId, initialSharedVersion, mutable })` (the initial shared version lives
+ * on `ref.owner.Shared.initialSharedVersion`), and a **receiving** object with
+ * `tx.receivingRef(...)`, which takes the same three fields this returns.
+ * Passing a shared object by `objectRef` produces bytes a validator rejects.
+ *
+ * `undefined` when the effects did not carry a version or a digest — a deleted
+ * object has no output version, and nothing can be consumed without both.
+ * Never fails.
+ */
+export const sdkRefOf = (ref) => ref.version === undefined || ref.digest === undefined
+    ? undefined
+    : { objectId: ref.id, version: ref.version.toString(), digest: ref.digest };
+/**
+ * A transaction the network executed, built from the fixed execute include set:
+ * effects, events, balance changes and object types.
+ */
+export class Executed extends Schema.Class("sui-effect/Executed")({
+    digest: Digest,
+    effects: TransactionEffects,
+    events: Schema.Array(Event),
+    balanceChanges: Schema.Array(BalanceChange),
+    objectTypes: Schema.Record(Schema.String, Schema.String),
+    checkpoint: Schema.NullOr(Schema.BigIntFromString),
+    timestampMs: Schema.NullOr(Schema.Number)
+}) {
+    /**
+     * The type of a changed object, from the `objectTypes` join. A published
+     * package reports the literal `package` rather than a struct tag, so the
+     * decode goes through {@link ObjectType}.
+     */
+    typeOf(objectId) {
+        const type = this.objectTypes[objectId];
+        if (type === undefined)
+            return undefined;
+        const decoded = Schema.decodeUnknownOption(ObjectType)(type);
+        return decoded._tag === "Some" ? decoded.value : undefined;
+    }
+    /**
+     * Everything the effects actually say about one changed object. Nothing is
+     * invented: a field the node did not report stays `undefined`, so a caller
+     * that needs a full builder reference can tell the difference between
+     * "version 0" and "the node did not say".
+     */
+    refOf(change, side) {
+        const version = side === "output" ? change.outputVersion : change.inputVersion;
+        const digest = side === "output" ? change.outputDigest : change.inputDigest;
+        const owner = side === "output" ? change.outputOwner : change.inputOwner;
+        const type = this.typeOf(change.objectId);
+        return {
+            id: change.objectId,
+            ...(type === undefined ? {} : { type }),
+            ...(version === null ? {} : { version }),
+            ...(digest === null ? {} : { digest }),
+            ...(owner === null ? {} : { owner })
+        };
+    }
+    select(predicate, side, filter) {
+        const refs = [];
+        for (const change of this.effects.changedObjects) {
+            if (isAccumulatorWrite(change))
+                continue;
+            if (!predicate(change))
+                continue;
+            const ref = this.refOf(change, side);
+            if (filter !== undefined && !filter(ref))
+                continue;
+            refs.push(ref);
+        }
+        return refs;
+    }
+    static byType(type) {
+        if (type === undefined)
+            return undefined;
+        return (ref) => ref.type !== undefined && typeMatches(type, ref.type);
+    }
+    /**
+     * Objects this transaction created, optionally filtered by Move type
+     * (compared with `normalizeStructTag`). Never fails.
+     */
+    created(type) {
+        return this.select((change) => change.idOperation === "Created" && change.outputState === "ObjectWrite", "output", Executed.byType(type));
+    }
+    /**
+     * Objects this transaction created whose reference satisfies a predicate.
+     *
+     * The direct replacement for the substring matching every repo hand-rolls
+     * (`createdByType("::Receipt")`), without making substring matching the
+     * default: `created(type)` still compares normalized struct tags.
+     * Never fails.
+     */
+    createdWhere(predicate) {
+        return this.select((change) => change.idOperation === "Created" && change.outputState === "ObjectWrite", "output", predicate);
+    }
+    /** Objects this transaction mutated in place, optionally filtered by type. Never fails. */
+    mutated(type) {
+        return this.select((change) => change.idOperation === "None" &&
+            change.outputState === "ObjectWrite" &&
+            change.inputState === "Exists", "output", Executed.byType(type));
+    }
+    /**
+     * Objects this transaction deleted or wrapped. The refs carry the versions the
+     * objects had going in, since they have no output version.
+     *
+     * Two effect shapes land here, because from a caller's side both mean "this
+     * object is gone from where it was":
+     *
+     * - a **delete**, which the node reports as `idOperation: "Deleted"`;
+     * - a **wrap**, which has no id operation at all (`"None"`) and shows up only
+     *   as an input that existed and an output that does not. {@link wrapped}
+     *   returns just those, for a caller that has to tell the two apart — a
+     *   wrapped object still exists inside its wrapper and can come back.
+     *
+     * Never fails.
+     */
+    deleted() {
+        return this.select((change) => Executed.isDeleted(change) || Executed.isWrapped(change), "input");
+    }
+    /**
+     * Objects this transaction wrapped: they went in existing and came out
+     * nonexistent without their id being deleted, which is how the SDK's effects
+     * converter represents wrapping. They are a subset of {@link deleted}.
+     * Never fails.
+     */
+    wrapped() {
+        return this.select(Executed.isWrapped, "input");
+    }
+    static isDeleted(change) {
+        return change.idOperation === "Deleted";
+    }
+    static isWrapped(change) {
+        return change.idOperation === "None" && change.inputState === "Exists" &&
+            change.outputState === "DoesNotExist";
+    }
+    /**
+     * Packages this transaction published (`PackageWrite` plus `Created`), as
+     * full refs like every other accessor. A package's `type` is the literal
+     * `package` when the node reports one, and the ref falls back to it when the
+     * `objectTypes` join has no entry, so a publish is never silently dropped.
+     * Never fails.
+     */
+    packagesPublished() {
+        const refs = [];
+        for (const change of this.effects.changedObjects) {
+            if (change.outputState !== "PackageWrite" || change.idOperation !== "Created")
+                continue;
+            const ref = this.refOf(change, "output");
+            // gRPC reports the literal `package` as a published package's type, and
+            // some nodes omit it from `objectTypes` entirely; a `PackageWrite` is a
+            // package either way.
+            refs.push(ref.type === undefined ? { ...ref, type: "package" } : ref);
+        }
+        return refs;
+    }
+    /** The net balance change for one address and coin type, in MIST. Never fails. */
+    balanceChange(address, coinType) {
+        let total = 0n;
+        for (const change of this.balanceChanges) {
+            if (change.address === address && typeMatches(coinType, change.coinType)) {
+                total += change.amount;
+            }
+        }
+        return total;
+    }
+    /** Computation plus storage less the storage rebate, in MIST. Can be negative. Never fails. */
+    get gasUsedTotal() {
+        const gas = this.effects.gasUsed;
+        return gas.computationCost + gas.storageCost - gas.storageRebate;
+    }
+    /**
+     * The single object of this type the transaction created.
+     *
+     * Fails with: `UnexpectedEffects` when the transaction created no object of
+     * that type, or more than one.
+     */
+    expectCreated(type) {
+        const created = this.created(type);
+        const only = created[0];
+        if (created.length === 1 && only !== undefined)
+            return Effect.succeed(only);
+        return Effect.fail(new UnexpectedEffects({
+            digest: this.digest,
+            expected: type,
+            found: created.map((ref) => ref.id)
+        }));
+    }
+}
+/** The `include` set every execute, simulate and transaction read asks for. */
+export const EXECUTE_INCLUDE = {
+    effects: true,
+    events: true,
+    balanceChanges: true,
+    objectTypes: true
+};
+const decodeExecuted = Schema.decodeUnknownEffect(Executed);
+/**
+ * Turns an SDK `TransactionResult` read with {@link EXECUTE_INCLUDE} into an
+ * `Executed`, or into the one representation of an on-chain failure.
+ *
+ * Fails with: `ExecutionFailed` when the transaction was applied and failed,
+ * and `DecodeError` when the response does not carry the include set that was
+ * asked for.
+ */
+export const fromTransactionResult = Effect.fn("Executed.fromTransactionResult")(function* (result) {
+    const transaction = result.$kind === "Transaction" ? result.Transaction : result.FailedTransaction;
+    const encoded = {
+        digest: transaction.digest,
+        effects: transaction.effects,
+        events: transaction.events,
+        balanceChanges: transaction.balanceChanges,
+        objectTypes: transaction.objectTypes,
+        checkpoint: transaction.checkpoint,
+        timestampMs: transaction.timestampMs
+    };
+    const executed = yield* decodeExecuted(encoded).pipe(Effect.mapError((error) => new DecodeError({ issue: error.message })));
+    if (!transaction.status.success) {
+        return yield* new ExecutionFailed({
+            digest: executed.digest,
+            reason: executionReasonOf(transaction.status.error),
+            ...(transaction.status.error.command === undefined
+                ? {}
+                : { command: transaction.status.error.command }),
+            effects: executed.effects
+        });
+    }
+    return executed;
+});
+//# sourceMappingURL=executed.js.map

package/dist/domain/executed.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"executed.js","sourceRoot":"","sources":["../../src/domain/executed.ts"],"names":[],"mappings":"AAcA,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AACvC,OAAO,EAAE,WAAW,EAAE,eAAe,EAAE,iBAAiB,EAAE,MAAM,aAAa,CAAA;AAC7E,OAAO,EACL,aAAa,EACb,aAAa,EACb,QAAQ,EACR,MAAM,EACN,KAAK,EACL,iBAAiB,EACjB,QAAQ,EACR,SAAS,EACT,UAAU,EACV,KAAK,EACL,UAAU,EACV,kBAAkB,EAClB,OAAO,EACR,MAAM,cAAc,CAAA;AACrB,OAAO,EAAE,WAAW,EAAE,MAAM,UAAU,CAAA;AAEtC,MAAM,kBAAkB,GAAG,CAAC,MAAqB,EAAW,EAAE,CAC5D,MAAM,CAAC,WAAW,KAAK,oBAAoB,CAAA;AAoB7C;;;GAGG;AACH,MAAM,CAAC,MAAM,WAAW,GAAG,CAAC,GAAe,EAAyB,EAAE,CACpE,GAAG,CAAC,IAAI,KAAK,SAAS,IAAI,GAAG,CAAC,OAAO,KAAK,SAAS,IAAI,GAAG,CAAC,MAAM,KAAK,SAAS;IAC7E,GAAG,CAAC,KAAK,KAAK,SAAS;IACvB,CAAC,CAAC,SAAS;IACX,CAAC,CAAC,EAAE,EAAE,EAAE,GAAG,CAAC,EAAE,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,OAAO,EAAE,GAAG,CAAC,OAAO,EAAE,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,KAAK,EAAE,GAAG,CAAC,KAAK,EAAE,CAAA;AAEhG;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAG,CAAC,GAA2B,EAA4B,EAAE,CAChF,GAAG,CAAC,OAAO,KAAK,SAAS,IAAI,GAAG,CAAC,MAAM,KAAK,SAAS;IACnD,CAAC,CAAC,SAAS;IACX,CAAC,CAAC,EAAE,QAAQ,EAAE,GAAG,CAAC,EAAE,EAAE,OAAO,EAAE,GAAG,CAAC,OAAO,CAAC,QAAQ,EAAE,EAAE,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,CAAA;AAS/E;;;GAGG;AACH,MAAM,OAAO,QAAS,SAAQ,MAAM,CAAC,KAAK,CAAW,qBAAqB,CAAC,CAAC;IAC1E,MAAM,EAAE,MAAM;IACd,OAAO,EAAE,kBAAkB;IAC3B,MAAM,EAAE,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC;IAC3B,cAAc,EAAE,MAAM,CAAC,KAAK,CAAC,aAAa,CAAC;IAC3C,WAAW,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC;IACxD,UAAU,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,gBAAgB,CAAC;IAClD,WAAW,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC;CAC1C,CAAC;IACA;;;;OAIG;IACK,MAAM,CAAC,QAAkB;QAC/B,MAAM,IAAI,GAAG,IAAI,CAAC,WAAW,CAAC,QAAQ,CAAC,CAAA;QACvC,IAAI,IAAI,KAAK,SAAS;YAAE,OAAO,SAAS,CAAA;QACxC,MAAM,OAAO,GAAG,MAAM,CAAC,mBAAmB,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,CAAA;QAC5D,OAAO,OAAO,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAA;IAC5D,CAAC;IAED;;;;;OAKG;IACK,KAAK,CAAC,MAAqB,EAAE,IAAwB;QAC3D,MAAM,OAAO,GAAG,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,MAAM,CAAC,YAAY,CAAA;QAC9E,MAAM,MAAM,GAAG,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC,CAAC,MAAM,CAAC,WAAW,CAAA;QAC3E,MAAM,KAAK,GAAG,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,MAAM,CAAC,UAAU,CAAA;QACxE,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAA;QACzC,OAAO;YACL,EAAE,EAAE,MAAM,CAAC,QAAQ;YACnB,GAAG,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC;YACvC,GAAG,CAAC,OAAO,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC;YACxC,GAAG,CAAC,MAAM,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC;YACtC,GAAG,CAAC,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC;SACrC,CAAA;IACH,CAAC;IAEO,MAAM,CACZ,SAA6C,EAC7C,IAAwB,EACxB,MAAqC;QAErC,MAAM,IAAI,GAAsB,EAAE,CAAA;QAClC,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,OAAO,CAAC,cAAc,EAAE,CAAC;YACjD,IAAI,kBAAkB,CAAC,MAAM,CAAC;gBAAE,SAAQ;YACxC,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC;gBAAE,SAAQ;YAChC,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,IAAI,CAAC,CAAA;YACpC,IAAI,MAAM,KAAK,SAAS,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC;gBAAE,SAAQ;YAClD,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;QAChB,CAAC;QACD,OAAO,IAAI,CAAA;IACb,CAAC;IAEO,MAAM,CAAC,MAAM,CAAC,IAAa;QACjC,IAAI,IAAI,KAAK,SAAS;YAAE,OAAO,SAAS,CAAA;QACxC,OAAO,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,KAAK,SAAS,IAAI,WAAW,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,CAAC,CAAA;IACvE,CAAC;IAED;;;OAGG;IACH,OAAO,CAAC,IAAa;QACnB,OAAO,IAAI,CAAC,MAAM,CAChB,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,WAAW,KAAK,SAAS,IAAI,MAAM,CAAC,WAAW,KAAK,aAAa,EACpF,QAAQ,EACR,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,CACtB,CAAA;IACH,CAAC;IAED;;;;;;;OAOG;IACH,YAAY,CAAC,SAAuC;QAClD,OAAO,IAAI,CAAC,MAAM,CAChB,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,WAAW,KAAK,SAAS,IAAI,MAAM,CAAC,WAAW,KAAK,aAAa,EACpF,QAAQ,EACR,SAAS,CACV,CAAA;IACH,CAAC;IAED,2FAA2F;IAC3F,OAAO,CAAC,IAAa;QACnB,OAAO,IAAI,CAAC,MAAM,CAChB,CAAC,MAAM,EAAE,EAAE,CACT,MAAM,CAAC,WAAW,KAAK,MAAM;YAC7B,MAAM,CAAC,WAAW,KAAK,aAAa;YACpC,MAAM,CAAC,UAAU,KAAK,QAAQ,EAChC,QAAQ,EACR,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,CACtB,CAAA;IACH,CAAC;IAED;;;;;;;;;;;;;;OAcG;IACH,OAAO;QACL,OAAO,IAAI,CAAC,MAAM,CAChB,CAAC,MAAM,EAAE,EAAE,CAAC,QAAQ,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,QAAQ,CAAC,SAAS,CAAC,MAAM,CAAC,EACpE,OAAO,CACR,CAAA;IACH,CAAC;IAED;;;;;OAKG;IACH,OAAO;QACL,OAAO,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAC,CAAA;IACjD,CAAC;IAEO,MAAM,CAAC,SAAS,CAAC,MAAqB;QAC5C,OAAO,MAAM,CAAC,WAAW,KAAK,SAAS,CAAA;IACzC,CAAC;IAEO,MAAM,CAAC,SAAS,CAAC,MAAqB;QAC5C,OAAO,MAAM,CAAC,WAAW,KAAK,MAAM,IAAI,MAAM,CAAC,UAAU,KAAK,QAAQ;YACpE,MAAM,CAAC,WAAW,KAAK,cAAc,CAAA;IACzC,CAAC;IAED;;;;;;OAMG;IACH,iBAAiB;QACf,MAAM,IAAI,GAAsB,EAAE,CAAA;QAClC,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,OAAO,CAAC,cAAc,EAAE,CAAC;YACjD,IAAI,MAAM,CAAC,WAAW,KAAK,cAAc,IAAI,MAAM,CAAC,WAAW,KAAK,SAAS;gBAAE,SAAQ;YACvF,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAA;YACxC,wEAAwE;YACxE,wEAAwE;YACxE,sBAAsB;YACtB,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,GAAG,GAAG,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAA;QACvE,CAAC;QACD,OAAO,IAAI,CAAA;IACb,CAAC;IAED,kFAAkF;IAClF,aAAa,CAAC,OAAmB,EAAE,QAAkB;QACnD,IAAI,KAAK,GAAG,EAAE,CAAA;QACd,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,cAAc,EAAE,CAAC;YACzC,IAAI,MAAM,CAAC,OAAO,KAAK,OAAO,IAAI,WAAW,CAAC,QAAQ,EAAE,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC;gBACzE,KAAK,IAAI,MAAM,CAAC,MAAM,CAAA;YACxB,CAAC;QACH,CAAC;QACD,OAAO,KAAK,CAAA;IACd,CAAC;IAED,+FAA+F;IAC/F,IAAI,YAAY;QACd,MAAM,GAAG,GAAG,IAAI,CAAC,OAAO,CAAC,OAAO,CAAA;QAChC,OAAO,GAAG,CAAC,eAAe,GAAG,GAAG,CAAC,WAAW,GAAG,GAAG,CAAC,aAAa,CAAA;IAClE,CAAC;IAED;;;;;OAKG;IACH,aAAa,CAAC,IAAY;QACxB,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAA;QAClC,MAAM,IAAI,GAAG,OAAO,CAAC,CAAC,CAAC,CAAA;QACvB,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,IAAI,IAAI,KAAK,SAAS;YAAE,OAAO,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAA;QAC3E,OAAO,MAAM,CAAC,IAAI,CAChB,IAAI,iBAAiB,CAAC;YACpB,MAAM,EAAE,IAAI,CAAC,MAAM;YACnB,QAAQ,EAAE,IAAI;YACd,KAAK,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC;SACpC,CAAC,CACH,CAAA;IACH,CAAC;CACF;AAED,+EAA+E;AAC/E,MAAM,CAAC,MAAM,eAAe,GAAG;IAC7B,OAAO,EAAE,IAAI;IACb,MAAM,EAAE,IAAI;IACZ,cAAc,EAAE,IAAI;IACpB,WAAW,EAAE,IAAI;CACT,CAAA;AAEV,MAAM,cAAc,GAAG,MAAM,CAAC,mBAAmB,CAAC,QAAQ,CAAC,CAAA;AAE3D;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAG,MAAM,CAAC,EAAE,CAAC,gCAAgC,CAAC,CAC9E,QAAQ,CAAC,EACP,MAAgE;IAEhE,MAAM,WAAW,GAAG,MAAM,CAAC,KAAK,KAAK,aAAa,CAAC,CAAC,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,MAAM,CAAC,iBAAiB,CAAA;IAClG,MAAM,OAAO,GAAG;QACd,MAAM,EAAE,WAAW,CAAC,MAAM;QAC1B,OAAO,EAAE,WAAW,CAAC,OAAO;QAC5B,MAAM,EAAE,WAAW,CAAC,MAAM;QAC1B,cAAc,EAAE,WAAW,CAAC,cAAc;QAC1C,WAAW,EAAE,WAAW,CAAC,WAAW;QACpC,UAAU,EAAE,WAAW,CAAC,UAAU;QAClC,WAAW,EAAE,WAAW,CAAC,WAAW;KACrC,CAAA;IACD,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,cAAc,CAAC,OAAO,CAAC,CAAC,IAAI,CAClD,MAAM,CAAC,QAAQ,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,WAAW,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC,CACtE,CAAA;IACD,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC;QAChC,OAAO,KAAK,CAAC,CAAC,IAAI,eAAe,CAAC;YAChC,MAAM,EAAE,QAAQ,CAAC,MAAM;YACvB,MAAM,EAAE,iBAAiB,CAAC,WAAW,CAAC,MAAM,CAAC,KAAK,CAAC;YACnD,GAAG,CAAC,WAAW,CAAC,MAAM,CAAC,KAAK,CAAC,OAAO,KAAK,SAAS;gBAChD,CAAC,CAAC,EAAE;gBACJ,CAAC,CAAC,EAAE,OAAO,EAAE,WAAW,CAAC,MAAM,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC;YAClD,OAAO,EAAE,QAAQ,CAAC,OAAO;SAC1B,CAAC,CAAA;IACJ,CAAC;IACD,OAAO,QAAQ,CAAA;AACjB,CAAC,CACF,CAAA"}