@unconfirmed/sui-effect 0.1.0 → 0.1.1

package/README.md

@@ -67,6 +67,341 @@ That is `examples/script-claim.ts`, which a test runs against the in-memory
 fake. Every failure it can produce is in the generator's inferred error type and
 has its own exit code, with no handling lines anywhere.
 
+## Side by side
+
+The same two tasks, once against the canonical `@mysten/sui` 2.30 SDK (a
+gRPC client, the Core API, `Transaction`) and once against sui-effect. Both
+sides are exercised in `test/examples.test.ts`, and this section is asserted
+to be the literal text of the four files it quotes.
+
+### Read
+
+`examples/compare-read.sdk.ts`:
+
+```ts
+/**
+ * Reads one Escrow object and an optional dynamic field on it, written
+ * against the canonical 2.30 SDK: a gRPC client, the Core API, manual BCS.
+ *
+ * Compare with `examples/compare-read.effect.ts`. Both print identical
+ * output for the same id.
+ *
+ * Run with `SUI_NETWORK=testnet ESCROW_ID=0x… bun examples/compare-read.sdk.ts`.
+ */
+import { bcs } from "@mysten/sui/bcs"
+import type { ClientWithCoreApi } from "@mysten/sui/client"
+import { ObjectError } from "@mysten/sui/client"
+import { SuiGrpcClient } from "@mysten/sui/grpc"
+
+const PKG = "0x0000000000000000000000000000000000000000000000000000000000000002"
+const ESCROW_TYPE = `${PKG}::escrow::Escrow`
+const EscrowBcs = bcs.struct("Escrow", { id: bcs.Address, amount: bcs.u64() })
+// A note some escrows carry, keyed by the literal index 0. The key is a
+// primitive `u64`, not a struct tag, so nothing here parses it as one.
+const NOTE_NAME = { type: "u64", bcs: bcs.u64().serialize(0).toBytes() }
+
+/** Reads the escrow at `id` plus its optional note. */
+export const readEscrow = async (
+  client: ClientWithCoreApi,
+  id: string
+): Promise<{ id: string; amount: string; note: string | undefined }> => {
+  let object
+  try {
+    ;({ object } = await client.core.getObject({ objectId: id, include: { content: true } }))
+  } catch (error) {
+    // `getObject` throws rather than returning a value that says which of
+    // "missing", "deleted" or "unreachable" happened; that three-way split
+    // is `ObjectError.reason`, read by hand.
+    if (error instanceof ObjectError) {
+      if (error.reason === "notFound") throw new Error(`escrow ${id} does not exist`)
+      if (error.reason === "deleted") throw new Error(`escrow ${id} was deleted`)
+      throw new Error(`escrow ${id}: node could not say what happened to it`, { cause: error })
+    }
+    throw error
+  }
+  // No type parameters on this tag, so a plain string comparison is honest;
+  // a generic type would need to be parsed and compared piece by piece,
+  // which is what sui-effect's bridge does for every caller.
+  if (object.type !== ESCROW_TYPE) {
+    throw new Error(`${id} is a ${object.type}, not ${ESCROW_TYPE}`)
+  }
+  const { id: escrowId, amount } = EscrowBcs.parse(object.content)
+
+  let note: string | undefined
+  try {
+    const { dynamicField } = await client.core.getDynamicField({ parentId: id, name: NOTE_NAME })
+    note = bcs.u64().parse(dynamicField.value.bcs)
+  } catch (error) {
+    // Absence is normal here; only a reason other than "notFound"/"deleted"
+    // is a real problem.
+    if (!(error instanceof ObjectError) || error.reason === "unknown") throw error
+  }
+
+  return { id: escrowId, amount, note }
+}
+
+if (import.meta.main) {
+  const id = process.env.ESCROW_ID
+  if (!id) throw new Error("ESCROW_ID is required")
+  const client = new SuiGrpcClient({
+    network: (process.env.SUI_NETWORK ?? "testnet") as "testnet",
+    baseUrl: process.env.SUI_RPC_URL ?? "https://fullnode.testnet.sui.io:443"
+  })
+  const escrow = await readEscrow(client, id)
+  console.log(`${escrow.id} holds ${escrow.amount}, note: ${escrow.note ?? "none"}`)
+}
+```
+
+`examples/compare-read.effect.ts`:
+
+```ts
+/**
+ * Reads one Escrow object and its optional note through sui-effect.
+ *
+ * Compare with `examples/compare-read.sdk.ts`, which reads the same two
+ * things with the canonical SDK client. Both print identical output.
+ *
+ * Run with `SUI_NETWORK=testnet ESCROW_ID=0x… bun examples/compare-read.effect.ts`.
+ * Every failure this program can produce is in the generator's inferred error
+ * type: `ObjectNotFound`, `ObjectDeleted`, `ObjectUnavailable` and
+ * `DecodeError` (the last one is what a wrong Move type becomes, because
+ * `getObject`'s tag check runs before a byte is parsed), plus `TransportError`
+ * from both reads and, from the layer, `ConfigError` and `NetworkMismatch`.
+ */
+import { bcs } from "@mysten/sui/bcs"
+import { Config, Console, Effect, Option } from "effect"
+import { ObjectId, Sui, SuiSchema } from "../src/index.ts"
+
+const PKG = "0x0000000000000000000000000000000000000000000000000000000000000002"
+
+const Escrow = SuiSchema.bcs(
+  bcs.struct("Escrow", { id: bcs.Address, amount: bcs.u64() }),
+  `${PKG}::escrow::Escrow`
+)
+// The note's value has no struct tag of its own, so its codec carries none;
+// the key is a primitive `u64`, which is why nothing here reaches for
+// `normalizeStructTag` on it.
+const Note = SuiSchema.bcs(bcs.u64())
+const NOTE_NAME = { type: "u64", bcs: bcs.u64().serialize(0).toBytes() }
+
+/** The program itself, exported so a test can run it against the fake. */
+export const program = Effect.gen(function*() {
+  const sui = yield* Sui
+  const id = yield* Config.schema(ObjectId, "ESCROW_ID")
+  // No `ObjectError.reason` switch and no manual type comparison: a missing
+  // or deleted escrow and a wrong Move type are already three different tags
+  // in the type this line returns.
+  const escrow = yield* sui.getObject(id, { schema: Escrow })
+  const field = yield* sui.getDynamicFieldOption(id, NOTE_NAME)
+  const note = yield* Option.match(field, {
+    onNone: () => Effect.void,
+    onSome: (entry) => SuiSchema.decode(Note, entry.value.bcs)
+  })
+  yield* Console.log(`${escrow.id} holds ${escrow.content.amount}, note: ${note ?? "none"}`)
+})
+
+if (import.meta.main) {
+  // Imported here rather than at the top so that a test can import `program`
+  // without pulling a platform package into the test process.
+  const { BunRuntime } = await import("@effect/platform-bun")
+  BunRuntime.runMain(program.pipe(Effect.provide(Sui.layerConfig)))
+}
+```
+
+### Write
+
+`examples/compare-write.sdk.ts`:
+
+```ts
+/**
+ * Claims an escrow through a PTB, written against the canonical 2.30 SDK.
+ *
+ * Compare with `examples/compare-write.effect.ts`, which does the same thing
+ * through `Tx.run` and notes what that adds over this file. Both sign with
+ * `SUI_PRIVATE_KEY` and print the created receipt's object id.
+ *
+ * Run with:
+ * SUI_NETWORK=testnet SUI_PRIVATE_KEY=suiprivkey1… ESCROW_ID=0x… bun examples/compare-write.sdk.ts
+ */
+import { bcs } from "@mysten/sui/bcs"
+import type { ClientWithCoreApi } from "@mysten/sui/client"
+import type { Keypair } from "@mysten/sui/cryptography"
+import { decodeSuiPrivateKey } from "@mysten/sui/cryptography"
+import { SuiGrpcClient } from "@mysten/sui/grpc"
+import { Ed25519Keypair } from "@mysten/sui/keypairs/ed25519"
+import { Secp256k1Keypair } from "@mysten/sui/keypairs/secp256k1"
+import { Secp256r1Keypair } from "@mysten/sui/keypairs/secp256r1"
+import { Transaction } from "@mysten/sui/transactions"
+
+const PKG = "0x0000000000000000000000000000000000000000000000000000000000000002"
+const RECEIPT_TYPE = `${PKG}::escrow::Receipt`
+const EscrowBcs = bcs.struct("Escrow", { id: bcs.Address, amount: bcs.u64() })
+
+// The scheme flag on a Bech32 key names one of three keypair classes;
+// nothing else decodes it, and a fourth scheme has no keypair class at all.
+const KEYPAIR_FOR: Record<string, undefined | ((secretKey: Uint8Array) => Keypair)> = {
+  ED25519: Ed25519Keypair.fromSecretKey,
+  Secp256k1: Secp256k1Keypair.fromSecretKey,
+  Secp256r1: Secp256r1Keypair.fromSecretKey
+}
+
+/**
+ * Reads the escrow, claims it, and returns the created receipt's object id.
+ *
+ * Builds, signs and executes as three explicit steps rather than the
+ * one-call `signAndExecuteTransaction`, so this can run against an in-memory
+ * client with no live network or signer behind it.
+ */
+export const claimEscrow = async (
+  client: ClientWithCoreApi,
+  escrowId: string,
+  keypair: Keypair
+): Promise<string> => {
+  const { object } = await client.core.getObject({ objectId: escrowId, include: { content: true } })
+  const { amount } = EscrowBcs.parse(object.content)
+
+  const tx = new Transaction()
+  tx.setSenderIfNotSet(keypair.toSuiAddress())
+  tx.moveCall({ target: `${PKG}::escrow::claim`, arguments: [tx.object(escrowId), tx.pure.u64(amount)] })
+  const bytes = await tx.build({ client })
+  const { signature } = await keypair.signTransaction(bytes)
+
+  const result = await client.core.executeTransaction({
+    transaction: bytes,
+    signatures: [signature],
+    include: { effects: true, objectTypes: true }
+  })
+  const digest = (result.Transaction ?? result.FailedTransaction).digest
+  await client.core.waitForTransaction({ digest })
+
+  if (result.$kind === "FailedTransaction") {
+    const { error } = result.FailedTransaction.status
+    if (error?.$kind === "MoveAbort") {
+      const { abortCode, cleverError } = error.MoveAbort
+      throw new Error(`claim aborted: code ${abortCode}${cleverError?.constantName ? ` (${cleverError.constantName})` : ""}`)
+    }
+    throw new Error(`claim failed: ${error?.message}`)
+  }
+
+  // Effects list every changed object by id; only the `objectTypes` join
+  // says which one is the receipt. sui-effect's `expectCreated` is this join,
+  // plus a check that exactly one match exists.
+  const { changedObjects } = result.Transaction.effects
+  const created = changedObjects.find(
+    (change) => change.idOperation === "Created" && result.Transaction.objectTypes[change.objectId] === RECEIPT_TYPE
+  )
+  if (created === undefined) throw new Error(`claim applied (${digest}) but created no ${RECEIPT_TYPE}`)
+  return created.objectId
+}
+
+if (import.meta.main) {
+  const escrowId = process.env.ESCROW_ID
+  const key = process.env.SUI_PRIVATE_KEY
+  if (!escrowId || !key) throw new Error("ESCROW_ID and SUI_PRIVATE_KEY are required")
+  const parsed = decodeSuiPrivateKey(key)
+  const fromSecretKey = KEYPAIR_FOR[parsed.scheme]
+  if (!fromSecretKey) throw new Error(`${parsed.scheme} has no keypair class here (use a remote signer)`)
+  const client = new SuiGrpcClient({
+    network: (process.env.SUI_NETWORK ?? "testnet") as "testnet",
+    baseUrl: process.env.SUI_RPC_URL ?? "https://fullnode.testnet.sui.io:443"
+  })
+  console.log(await claimEscrow(client, escrowId, fromSecretKey(parsed.secretKey)))
+}
+```
+
+`examples/compare-write.effect.ts`:
+
+```ts
+/**
+ * Claims an escrow through `Tx.run`, sui-effect's write path.
+ *
+ * Compare with `examples/compare-write.sdk.ts`, which does the same thing
+ * against the canonical SDK client. Both sign with `SUI_PRIVATE_KEY` and
+ * print the created receipt's object id.
+ *
+ * What `Tx.run` adds over the SDK file: a default expiration bounded to the
+ * current epoch, a journal entry written before the first execute so a crash
+ * mid-flight leaves a record, resending the identical signed bytes rather
+ * than rebuilding on a transient failure, `reconcile` when a submission's
+ * outcome is unknown, and a sender lock so two concurrent claims from one
+ * address cannot pick the same gas coin. What it costs is the Effect
+ * vocabulary below.
+ *
+ * Run with:
+ * SUI_NETWORK=testnet SUI_PRIVATE_KEY=suiprivkey1… ESCROW_ID=0x… bun examples/compare-write.effect.ts
+ */
+import { bcs } from "@mysten/sui/bcs"
+import { Config, Console, Effect } from "effect"
+import { ObjectId, SuiSchema } from "../src/index.ts"
+import { Script } from "../src/script.ts"
+import { Tx } from "../src/tx.ts"
+
+const PKG = "0x0000000000000000000000000000000000000000000000000000000000000002"
+
+const Escrow = SuiSchema.bcs(
+  bcs.struct("Escrow", { id: bcs.Address, amount: bcs.u64() }),
+  `${PKG}::escrow::Escrow`
+)
+
+/**
+ * The program itself, exported so a test can run it against the fake. Every
+ * failure it can produce is in the generator's inferred error type, with no
+ * handling lines anywhere in this file: `ObjectNotFound`, `ObjectDeleted`,
+ * `ObjectUnavailable`, `DecodeError`, `TransportError`, `BuildError`,
+ * `SimulationFailed`, `SigningError`, `PolicyDenied`, `NotApplied`,
+ * `JournalError`, `UnexpectedEffects`, `ExecutionFailed`, `SubmissionUnknown`,
+ * plus `ConfigError` and `NetworkMismatch` from the layer.
+ */
+export const program = Effect.gen(function*() {
+  const { signer, sui } = yield* Script
+  const id = yield* Config.schema(ObjectId, "ESCROW_ID")
+  const escrow = yield* sui.getObject(id, { schema: Escrow })
+  const executed = yield* Tx.run((tx) => {
+    tx.moveCall({
+      target: `${PKG}::escrow::claim`,
+      arguments: [tx.object(id), tx.pure.u64(escrow.content.amount)]
+    })
+  }, { signer })
+  const receipt = yield* executed.expectCreated(`${PKG}::escrow::Receipt`)
+  yield* Console.log(receipt.id)
+})
+
+if (import.meta.main) {
+  await Script.run(program)
+}
+```
+
+### What differs
+
+- **Absence.** The SDK throws `ObjectError` and the reason (`notFound`,
+  `deleted`, `unknown`) is read off the caught value by hand; sui-effect's
+  `getObject` fails with `ObjectNotFound` / `ObjectDeleted` / `ObjectUnavailable`,
+  three separate tags a caller can `catchTag` without an `if` chain.
+- **Wrong type.** The SDK compares `object.type` itself, and only gets away
+  with a plain string equality because this particular type has no type
+  parameters; a generic Move type would need the same piecewise comparison
+  sui-effect's bridge (`typeMatches`) already runs inside every `getObject`.
+- **BCS.** Both sides hand a `BcsType` to a struct; the SDK calls `.parse`
+  itself, sui-effect calls it once, inside `getObject`, after the type check
+  above has already passed.
+- **Signing.** Both decode `SUI_PRIVATE_KEY` and dispatch on the scheme flag
+  to the matching keypair class; sui-effect's version is `Signer.fromConfig`,
+  one call, done once in `src/services/Signer.ts` rather than in every script.
+- **Effects.** The SDK inspects `$kind`, `status.error` and joins
+  `changedObjects` against `objectTypes` by hand to find the created object;
+  sui-effect's `expectCreated(type)` is that join, plus a check that exactly
+  one match exists, as a single call on `Executed`.
+- **What sui-effect adds that neither SDK file has:** a default expiration
+  bounded to the current epoch, a journal entry written before the first
+  execute, resending identical signed bytes instead of rebuilding on a
+  transient failure, `reconcile` when a submission's outcome is unknown, and
+  a sender lock so two concurrent writes from one address cannot pick the
+  same gas coin.
+- **What it costs.** The sui-effect files import `effect` and run inside
+  `Effect.gen`; a reader who does not already know Effect's vocabulary
+  (`Effect.fn`, `catchTag`, `Option.match`, `yield*`) has that to learn before
+  either file is legible.
+
 ## The two tiers
 
 `SuiCore` is the mechanical tier: a one-to-one Effect wrap of the SDK's
@@ -172,7 +507,12 @@ pattern. A Promise face's **synchronous** members (recipe builders, a package
 id) are real only once the runtime exists, so either `await client.<name>.$ready()`
 once or register with `warm`; calling one before that fails with
 `ExtensionNotReady` rather than returning a Promise the type does not mention
-(`Effect` and `Stream` members work cold, as Promises and as async iterables).
+(`Effect` and `Stream` members work cold: a cold call is a real `Promise` that
+is also an `AsyncIterable`, and its rejection is pre-handled so an un-awaited
+one cannot abort the process). A namespace member may be an `interface` — the
+face maps it by type, not by declaration style — while a class instance with
+`Effect`-returning methods is declared `SuiExtension.Leaf<T>` and built with
+`SuiExtension.leaf(value)`.
 Every registration on one client **shares one `Sui`**, and therefore one
 sender-lock map, so two extensions never select gas for the same address at
 once; `$dispose()` releases that shared base only when the last registration on
@@ -214,7 +554,9 @@ axis, and an extension error may declare its own. An error that is neither a tag
 above nor declares an `outcome` is *unclassified*: `outcome` answers `"unknown"`,
 because an unrecognised tag is no evidence that nothing happened, and
 `Script.exitCode` exits 1 rather than 3, because it is no evidence that anything
-was sent either. Declare `outcome` on every error your extension defines.
+was sent either. Declare `outcome` on every error your extension defines — as a
+class field is fine, `toJson` reads it off the instance and serializes it either
+way.
 
 ## Scripts
 
@@ -257,7 +599,9 @@ submission interrupts it from the outside and the bytes may be on the wire.
 
 `@unconfirmed/sui-effect/testing` ships the in-memory `SuiCoreFake`, `layerTest(script)` (the
 real `Sui` over the fake, so tests exercise the production high tier),
-`layerExtensionTest(layer, script)` for an extension's own tests, and `SuiTest`
+`layerExtensionTest(layer, script, { extra })` for an extension's own tests
+(`SuiGraphQL.layerUnavailable` is provided by default; `extra` is for anything
+else the extension's layer requires), and `SuiTest`
 for driving the fake's state and reading back what it was sent. No test in this
 repository touches the network, and neither should yours.
 

package/dist/domain/bcs.d.ts

@@ -32,6 +32,50 @@ import type { ObjectId } from "./schemas.ts";
  * from an object, which is every `getObject(id, { schema })` read.
  */
 export declare const bcs: <T extends Input, Input>(bcsType: BcsType<T, Input>, expectedType?: string) => Schema.Codec<T, Uint8Array>;
+/**
+ * A BCS layout plus the mapping into a domain value, as one codec.
+ *
+ * This is the shape every extension writes by hand and writes slightly
+ * differently: parse the bytes with a layout, then hand the raw struct to a
+ * constructor or a mapping function that may throw (an id that has to be
+ * branded, a `bigint` that has to be range-checked, a discriminant that has to
+ * become a union). Written out it is `SuiSchema.bcs(...)` piped into a
+ * `Schema.decodeTo` with a `transformOrFail` and an `Effect.try`, and the part
+ * that gets forgotten is turning the thrown value into a schema issue, so the
+ * failure arrives as a defect instead of a `DecodeError`.
+ *
+ * `map` is called with whatever the layout parsed. Returning a value decodes
+ * it; **throwing** fails the decode, and the thrown value's message becomes the
+ * `DecodeError.issue` the caller sees, with the expected type already on it.
+ * The result is a `Schema.Codec<A, Uint8Array>` like any other: pass it as
+ * `sui.getObject(id, { schema })`, and the Move type check still runs first
+ * because the annotation {@link bcs} leaves behind survives the composition.
+ *
+ * Encoding is not supported: a mapping function has no inverse, and inventing
+ * one silently is worse than saying so. Encode with the layout itself when you
+ * need bytes back.
+ *
+ * Fails with: `DecodeError` (through the schema), when the bytes do not parse
+ * or `map` throws.
+ *
+ * @since 0.1.1
+ *
+ * @example
+ * ```ts
+ * import { ObjectId, SuiSchema } from "@unconfirmed/sui-effect"
+ *
+ * class Escrow {
+ *   constructor(readonly id: ObjectId, readonly amount: bigint) {}
+ * }
+ *
+ * const EscrowContent = SuiSchema.decodeWith(
+ *   EscrowLayout,
+ *   `${packageId}::escrow::Escrow`,
+ *   (raw) => new Escrow(ObjectId.normalize(raw.id), BigInt(raw.amount))
+ * )
+ * ```
+ */
+export declare const decodeWith: <T extends Input, Input, A>(bcsType: BcsType<T, Input>, expectedType: string | undefined, map: (parsed: T) => A) => Schema.Codec<A, Uint8Array>;
 /**
  * The normalized Move type a codec built by {@link bcs} expects, or `undefined`
  * for any other codec. `Sui.getObject` compares it with the object's own type

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

@@ -1 +1 @@
-{"version":3,"file":"bcs.d.ts","sourceRoot":"","sources":["../../src/domain/bcs.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AACH,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,aAAa,CAAA;AAE1C,OAAO,EAAE,MAAM,EAAE,MAAM,EAAgD,MAAM,QAAQ,CAAA;AACrF,OAAO,EAAE,WAAW,EAAE,MAAM,aAAa,CAAA;AACzC,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,cAAc,CAAA;AAY5C;;;;;;;;;;;;;;;;;;GAkBG;AACH,eAAO,MAAM,GAAG,GAAI,CAAC,SAAS,KAAK,EAAE,KAAK,EACxC,SAAS,OAAO,CAAC,CAAC,EAAE,KAAK,CAAC,EAC1B,eAAe,MAAM,KACpB,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,UAAU,CAgD5B,CAAA;AAuBD;;;;;;GAMG;AACH,eAAO,MAAM,cAAc,GAAI,CAAC,EAAE,CAAC,EAAE,QAAQ,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,MAAM,GAAG,SAC/C,CAAA;AAU5B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8BG;AACH,eAAO,MAAM,WAAW,GAAI,UAAU,MAAM,EAAE,QAAQ,MAAM,KAAG,OAU9D,CAAA;AAED;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,eAAO,MAAM,aAAa,GAAI,CAAC,EAC7B,QAAQ,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,UAAU,CAAC,EACnC,SAAS,UAAU,EACnB,UAAU;IACR,QAAQ,CAAC,QAAQ,CAAC,EAAE,QAAQ,CAAA;IAC5B,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAA;IAC9B,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAA;CAC7B,KACA,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,WAAW,CA0B9B,CAAA"}
+{"version":3,"file":"bcs.d.ts","sourceRoot":"","sources":["../../src/domain/bcs.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AACH,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,aAAa,CAAA;AAE1C,OAAO,EAAE,MAAM,EAAE,MAAM,EAAgD,MAAM,QAAQ,CAAA;AACrF,OAAO,EAAE,WAAW,EAAE,MAAM,aAAa,CAAA;AACzC,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,cAAc,CAAA;AAY5C;;;;;;;;;;;;;;;;;;GAkBG;AACH,eAAO,MAAM,GAAG,GAAI,CAAC,SAAS,KAAK,EAAE,KAAK,EACxC,SAAS,OAAO,CAAC,CAAC,EAAE,KAAK,CAAC,EAC1B,eAAe,MAAM,KACpB,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,UAAU,CAgD5B,CAAA;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA0CG;AACH,eAAO,MAAM,UAAU,GAAI,CAAC,SAAS,KAAK,EAAE,KAAK,EAAE,CAAC,EAClD,SAAS,OAAO,CAAC,CAAC,EAAE,KAAK,CAAC,EAC1B,cAAc,MAAM,GAAG,SAAS,EAChC,KAAK,CAAC,MAAM,EAAE,CAAC,KAAK,CAAC,KACpB,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,UAAU,CAmC5B,CAAA;AAuBD;;;;;;GAMG;AACH,eAAO,MAAM,cAAc,GAAI,CAAC,EAAE,CAAC,EAAE,QAAQ,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,MAAM,GAAG,SAC/C,CAAA;AAU5B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8BG;AACH,eAAO,MAAM,WAAW,GAAI,UAAU,MAAM,EAAE,QAAQ,MAAM,KAAG,OAU9D,CAAA;AAED;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,eAAO,MAAM,aAAa,GAAI,CAAC,EAC7B,QAAQ,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,UAAU,CAAC,EACnC,SAAS,UAAU,EACnB,UAAU;IACR,QAAQ,CAAC,QAAQ,CAAC,EAAE,QAAQ,CAAA;IAC5B,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAA;IAC9B,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAA;CAC7B,KACA,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,WAAW,CA0B9B,CAAA"}

package/dist/domain/bcs.js

@@ -59,6 +59,63 @@ export const bcs = (bcsType, expectedType) => {
         })
     }))).annotate(normalized === undefined ? {} : { [SUI_TYPE_ANNOTATION]: normalized });
 };
+/**
+ * A BCS layout plus the mapping into a domain value, as one codec.
+ *
+ * This is the shape every extension writes by hand and writes slightly
+ * differently: parse the bytes with a layout, then hand the raw struct to a
+ * constructor or a mapping function that may throw (an id that has to be
+ * branded, a `bigint` that has to be range-checked, a discriminant that has to
+ * become a union). Written out it is `SuiSchema.bcs(...)` piped into a
+ * `Schema.decodeTo` with a `transformOrFail` and an `Effect.try`, and the part
+ * that gets forgotten is turning the thrown value into a schema issue, so the
+ * failure arrives as a defect instead of a `DecodeError`.
+ *
+ * `map` is called with whatever the layout parsed. Returning a value decodes
+ * it; **throwing** fails the decode, and the thrown value's message becomes the
+ * `DecodeError.issue` the caller sees, with the expected type already on it.
+ * The result is a `Schema.Codec<A, Uint8Array>` like any other: pass it as
+ * `sui.getObject(id, { schema })`, and the Move type check still runs first
+ * because the annotation {@link bcs} leaves behind survives the composition.
+ *
+ * Encoding is not supported: a mapping function has no inverse, and inventing
+ * one silently is worse than saying so. Encode with the layout itself when you
+ * need bytes back.
+ *
+ * Fails with: `DecodeError` (through the schema), when the bytes do not parse
+ * or `map` throws.
+ *
+ * @since 0.1.1
+ *
+ * @example
+ * ```ts
+ * import { ObjectId, SuiSchema } from "@unconfirmed/sui-effect"
+ *
+ * class Escrow {
+ *   constructor(readonly id: ObjectId, readonly amount: bigint) {}
+ * }
+ *
+ * const EscrowContent = SuiSchema.decodeWith(
+ *   EscrowLayout,
+ *   `${packageId}::escrow::Escrow`,
+ *   (raw) => new Escrow(ObjectId.normalize(raw.id), BigInt(raw.amount))
+ * )
+ * ```
+ */
+export const decodeWith = (bcsType, expectedType, map) => {
+    const target = Schema.declare((_u) => true);
+    return bcs(bcsType, expectedType).pipe(Schema.decodeTo(target, SchemaTransformation.transformOrFail({
+        decode: (parsed, options) => Effect.try({
+            try: () => map(parsed),
+            catch: (cause) => new SchemaIssue.InvalidValue({
+                message: `Could not map ${expectedType ?? bcsType.name} into its domain value: ${String(cause)}`
+            }, parsed, options)
+        }),
+        encode: (value, options) => Effect.fail(new SchemaIssue.Forbidden({
+            message: `${expectedType ?? bcsType.name} was built with SuiSchema.decodeWith, which has no encoder: serialize with the BCS layout instead`
+        }, value, options))
+    })));
+};
 const MAX_ENCODING_DEPTH = 32;
 /**
  * Walks the encoding chain looking for the annotation {@link bcs} leaves

package/dist/domain/bcs.js.map

@@ -1 +1 @@
-{"version":3,"file":"bcs.js","sourceRoot":"","sources":["../../src/domain/bcs.ts"],"names":[],"mappings":"AAWA,OAAO,EAAE,kBAAkB,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAA;AACtE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,SAAS,EAAE,WAAW,EAAE,oBAAoB,EAAE,MAAM,QAAQ,CAAA;AACrF,OAAO,EAAE,WAAW,EAAE,MAAM,aAAa,CAAA;AAGzC,MAAM,mBAAmB,GAAG,oBAAoB,CAAA;AAEhD,MAAM,aAAa,GAAG,CAAC,KAAa,EAAU,EAAE;IAC9C,IAAI,CAAC;QACH,OAAO,kBAAkB,CAAC,KAAK,CAAC,CAAA;IAClC,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,KAAK,CAAA;IACd,CAAC;AACH,CAAC,CAAA;AAED;;;;;;;;;;;;;;;;;;GAkBG;AACH,MAAM,CAAC,MAAM,GAAG,GAAG,CACjB,OAA0B,EAC1B,YAAqB,EACQ,EAAE;IAC/B,MAAM,UAAU,GAAG,YAAY,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,aAAa,CAAC,YAAY,CAAC,CAAA;IACvF,4EAA4E;IAC5E,+EAA+E;IAC/E,MAAM,KAAK,GAAG,UAAU,IAAI,OAAO,CAAC,IAAI,CAAA;IACxC,4EAA4E;IAC5E,2EAA2E;IAC3E,mBAAmB;IACnB,MAAM,MAAM,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC,EAAW,EAAW,EAAE,CAAC,IAAI,CAAC,CAAA;IAC7D,OAAO,MAAM,CAAC,UAAU,CAAC,IAAI,CAC3B,MAAM,CAAC,QAAQ,CACb,MAAM,EACN,oBAAoB,CAAC,eAAe,CAAgB;QAClD,MAAM,EAAE,CAAC,KAAK,EAAE,OAAO,EAAE,EAAE,CACzB,MAAM,CAAC,GAAG,CAAC;YACT,GAAG,EAAE,GAAG,EAAE;gBACR,MAAM,MAAM,GAAG,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,CAAA;gBACnC,8DAA8D;gBAC9D,+DAA+D;gBAC/D,kEAAkE;gBAClE,8CAA8C;gBAC9C,IAAI,OAAO,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,OAAO,EAAE,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM,EAAE,CAAC;oBAChE,MAAM,IAAI,KAAK,CAAC,YAAY,KAAK,CAAC,MAAM,aAAa,KAAK,EAAE,CAAC,CAAA;gBAC/D,CAAC;gBACD,OAAO,MAAM,CAAA;YACf,CAAC;YACD,KAAK,EAAE,CAAC,KAAK,EAAE,EAAE,CACf,IAAI,WAAW,CAAC,YAAY,CAC1B,EAAE,OAAO,EAAE,mBAAmB,KAAK,sBAAsB,MAAM,CAAC,KAAK,CAAC,EAAE,EAAE,EAC1E,KAAK,EACL,OAAO,CACR;SACJ,CAAC;QACJ,MAAM,EAAE,CAAC,KAAK,EAAE,OAAO,EAAE,EAAE,CACzB,MAAM,CAAC,GAAG,CAAC;YACT,GAAG,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,OAAO,EAAE;YAC7C,KAAK,EAAE,CAAC,KAAK,EAAE,EAAE,CACf,IAAI,WAAW,CAAC,YAAY,CAC1B,EAAE,OAAO,EAAE,uBAAuB,KAAK,YAAY,MAAM,CAAC,KAAK,CAAC,EAAE,EAAE,EACpE,KAAK,EACL,OAAO,CACR;SACJ,CAAC;KACL,CAAC,CACH,CACF,CAAC,QAAQ,CACR,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,mBAAmB,CAAC,EAAE,UAAU,EAAE,CAC5B,CAAA;AAC7C,CAAC,CAAA;AAED,MAAM,kBAAkB,GAAG,EAAE,CAAA;AAE7B;;;;;GAKG;AACH,MAAM,WAAW,GAAG,CAAC,GAAkB,EAAE,KAAa,EAAsB,EAAE;IAC5E,MAAM,UAAU,GAAG,GAAG,CAAC,WAAW,EAAE,CAAC,mBAAmB,CAAC,CAAA;IACzD,IAAI,OAAO,UAAU,KAAK,QAAQ;QAAE,OAAO,UAAU,CAAA;IACrD,IAAI,KAAK,IAAI,kBAAkB;QAAE,OAAO,SAAS,CAAA;IACjD,MAAM,QAAQ,GAAG,GAAG,CAAC,QAAQ,CAAA;IAC7B,IAAI,QAAQ,KAAK,SAAS;QAAE,OAAO,SAAS,CAAA;IAC5C,KAAK,MAAM,IAAI,IAAI,QAAQ,EAAE,CAAC;QAC5B,MAAM,KAAK,GAAG,WAAW,CAAC,IAAI,CAAC,EAAE,EAAE,KAAK,GAAG,CAAC,CAAC,CAAA;QAC7C,IAAI,KAAK,KAAK,SAAS;YAAE,OAAO,KAAK,CAAA;IACvC,CAAC;IACD,OAAO,SAAS,CAAA;AAClB,CAAC,CAAA;AAED;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,cAAc,GAAG,CAAO,MAA0B,EAAsB,EAAE,CACrF,WAAW,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,CAAA;AAE5B,MAAM,SAAS,GAAG,CAAC,KAAa,EAAiD,EAAE;IACjF,IAAI,CAAC;QACH,OAAO,cAAc,CAAC,KAAK,CAAC,CAAA;IAC9B,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,SAAS,CAAA;IAClB,CAAC;AACH,CAAC,CAAA;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8BG;AACH,MAAM,CAAC,MAAM,WAAW,GAAG,CAAC,QAAgB,EAAE,MAAc,EAAW,EAAE;IACvE,MAAM,WAAW,GAAG,SAAS,CAAC,QAAQ,CAAC,CAAA;IACvC,IAAI,WAAW,KAAK,SAAS,IAAI,WAAW,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACnE,OAAO,aAAa,CAAC,QAAQ,CAAC,KAAK,aAAa,CAAC,MAAM,CAAC,CAAA;IAC1D,CAAC;IACD,MAAM,SAAS,GAAG,SAAS,CAAC,MAAM,CAAC,CAAA;IACnC,IAAI,SAAS,KAAK,SAAS;QAAE,OAAO,aAAa,CAAC,QAAQ,CAAC,KAAK,aAAa,CAAC,MAAM,CAAC,CAAA;IACrF,OAAO,WAAW,CAAC,OAAO,KAAK,SAAS,CAAC,OAAO;QAC9C,WAAW,CAAC,MAAM,KAAK,SAAS,CAAC,MAAM;QACvC,WAAW,CAAC,IAAI,KAAK,SAAS,CAAC,IAAI,CAAA;AACvC,CAAC,CAAA;AAED;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,MAAM,CAAC,MAAM,aAAa,GAAG,CAC3B,MAAmC,EACnC,OAAmB,EACnB,OAIC,EAC8B,EAAE;IACjC,MAAM,QAAQ,GAAG,OAAO,EAAE,YAAY,IAAI,cAAc,CAAC,MAAM,CAAC,CAAA;IAChE,MAAM,YAAY,GAAG,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,QAAQ,EAAE,CAAA;IAC7E,MAAM,UAAU,GAAG,OAAO,EAAE,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,OAAO,CAAC,QAAQ,EAAE,CAAA;IACxF,MAAM,MAAM,GAAG,OAAO,EAAE,UAAU,CAAA;IAClC,IAAI,QAAQ,KAAK,SAAS,IAAI,MAAM,KAAK,SAAS,IAAI,CAAC,WAAW,CAAC,QAAQ,EAAE,MAAM,CAAC,EAAE,CAAC;QACrF,OAAO,MAAM,CAAC,IAAI,CAChB,IAAI,WAAW,CAAC;YACd,GAAG,UAAU;YACb,GAAG,YAAY;YACf,KAAK,EAAE,GACL,OAAO,EAAE,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,UAAU,OAAO,CAAC,QAAQ,MACjF,SAAS,MAAM,EAAE;SAClB,CAAC,CACH,CAAA;IACH,CAAC;IACD,OAAO,MAAM,CAAC,mBAAmB,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CACrD,MAAM,CAAC,QAAQ,CACb,CAAC,KAAK,EAAE,EAAE,CACR,IAAI,WAAW,CAAC;QACd,GAAG,UAAU;QACb,GAAG,YAAY;QACf,KAAK,EAAE,KAAK,CAAC,OAAO;KACrB,CAAC,CACL,CACF,CAAA;AACH,CAAC,CAAA"}
+{"version":3,"file":"bcs.js","sourceRoot":"","sources":["../../src/domain/bcs.ts"],"names":[],"mappings":"AAWA,OAAO,EAAE,kBAAkB,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAA;AACtE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,SAAS,EAAE,WAAW,EAAE,oBAAoB,EAAE,MAAM,QAAQ,CAAA;AACrF,OAAO,EAAE,WAAW,EAAE,MAAM,aAAa,CAAA;AAGzC,MAAM,mBAAmB,GAAG,oBAAoB,CAAA;AAEhD,MAAM,aAAa,GAAG,CAAC,KAAa,EAAU,EAAE;IAC9C,IAAI,CAAC;QACH,OAAO,kBAAkB,CAAC,KAAK,CAAC,CAAA;IAClC,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,KAAK,CAAA;IACd,CAAC;AACH,CAAC,CAAA;AAED;;;;;;;;;;;;;;;;;;GAkBG;AACH,MAAM,CAAC,MAAM,GAAG,GAAG,CACjB,OAA0B,EAC1B,YAAqB,EACQ,EAAE;IAC/B,MAAM,UAAU,GAAG,YAAY,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,aAAa,CAAC,YAAY,CAAC,CAAA;IACvF,4EAA4E;IAC5E,+EAA+E;IAC/E,MAAM,KAAK,GAAG,UAAU,IAAI,OAAO,CAAC,IAAI,CAAA;IACxC,4EAA4E;IAC5E,2EAA2E;IAC3E,mBAAmB;IACnB,MAAM,MAAM,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC,EAAW,EAAW,EAAE,CAAC,IAAI,CAAC,CAAA;IAC7D,OAAO,MAAM,CAAC,UAAU,CAAC,IAAI,CAC3B,MAAM,CAAC,QAAQ,CACb,MAAM,EACN,oBAAoB,CAAC,eAAe,CAAgB;QAClD,MAAM,EAAE,CAAC,KAAK,EAAE,OAAO,EAAE,EAAE,CACzB,MAAM,CAAC,GAAG,CAAC;YACT,GAAG,EAAE,GAAG,EAAE;gBACR,MAAM,MAAM,GAAG,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,CAAA;gBACnC,8DAA8D;gBAC9D,+DAA+D;gBAC/D,kEAAkE;gBAClE,8CAA8C;gBAC9C,IAAI,OAAO,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,OAAO,EAAE,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM,EAAE,CAAC;oBAChE,MAAM,IAAI,KAAK,CAAC,YAAY,KAAK,CAAC,MAAM,aAAa,KAAK,EAAE,CAAC,CAAA;gBAC/D,CAAC;gBACD,OAAO,MAAM,CAAA;YACf,CAAC;YACD,KAAK,EAAE,CAAC,KAAK,EAAE,EAAE,CACf,IAAI,WAAW,CAAC,YAAY,CAC1B,EAAE,OAAO,EAAE,mBAAmB,KAAK,sBAAsB,MAAM,CAAC,KAAK,CAAC,EAAE,EAAE,EAC1E,KAAK,EACL,OAAO,CACR;SACJ,CAAC;QACJ,MAAM,EAAE,CAAC,KAAK,EAAE,OAAO,EAAE,EAAE,CACzB,MAAM,CAAC,GAAG,CAAC;YACT,GAAG,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,OAAO,EAAE;YAC7C,KAAK,EAAE,CAAC,KAAK,EAAE,EAAE,CACf,IAAI,WAAW,CAAC,YAAY,CAC1B,EAAE,OAAO,EAAE,uBAAuB,KAAK,YAAY,MAAM,CAAC,KAAK,CAAC,EAAE,EAAE,EACpE,KAAK,EACL,OAAO,CACR;SACJ,CAAC;KACL,CAAC,CACH,CACF,CAAC,QAAQ,CACR,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,mBAAmB,CAAC,EAAE,UAAU,EAAE,CAC5B,CAAA;AAC7C,CAAC,CAAA;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA0CG;AACH,MAAM,CAAC,MAAM,UAAU,GAAG,CACxB,OAA0B,EAC1B,YAAgC,EAChC,GAAqB,EACQ,EAAE;IAC/B,MAAM,MAAM,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC,EAAW,EAAW,EAAE,CAAC,IAAI,CAAC,CAAA;IAC7D,OAAO,GAAG,CAAC,OAAO,EAAE,YAAY,CAAC,CAAC,IAAI,CACpC,MAAM,CAAC,QAAQ,CACb,MAAM,EACN,oBAAoB,CAAC,eAAe,CAAO;QACzC,MAAM,EAAE,CAAC,MAAM,EAAE,OAAO,EAAE,EAAE,CAC1B,MAAM,CAAC,GAAG,CAAC;YACT,GAAG,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC;YACtB,KAAK,EAAE,CAAC,KAAK,EAAE,EAAE,CACf,IAAI,WAAW,CAAC,YAAY,CAC1B;gBACE,OAAO,EAAE,iBACP,YAAY,IAAI,OAAO,CAAC,IAC1B,2BAA2B,MAAM,CAAC,KAAK,CAAC,EAAE;aAC3C,EACD,MAAM,EACN,OAAO,CACR;SACJ,CAAC;QACJ,MAAM,EAAE,CAAC,KAAK,EAAE,OAAO,EAAE,EAAE,CACzB,MAAM,CAAC,IAAI,CACT,IAAI,WAAW,CAAC,SAAS,CACvB;YACE,OAAO,EAAE,GACP,YAAY,IAAI,OAAO,CAAC,IAC1B,mGAAmG;SACpG,EACD,KAAK,EACL,OAAO,CACR,CACF;KACJ,CAAC,CACH,CACwC,CAAA;AAC7C,CAAC,CAAA;AAED,MAAM,kBAAkB,GAAG,EAAE,CAAA;AAE7B;;;;;GAKG;AACH,MAAM,WAAW,GAAG,CAAC,GAAkB,EAAE,KAAa,EAAsB,EAAE;IAC5E,MAAM,UAAU,GAAG,GAAG,CAAC,WAAW,EAAE,CAAC,mBAAmB,CAAC,CAAA;IACzD,IAAI,OAAO,UAAU,KAAK,QAAQ;QAAE,OAAO,UAAU,CAAA;IACrD,IAAI,KAAK,IAAI,kBAAkB;QAAE,OAAO,SAAS,CAAA;IACjD,MAAM,QAAQ,GAAG,GAAG,CAAC,QAAQ,CAAA;IAC7B,IAAI,QAAQ,KAAK,SAAS;QAAE,OAAO,SAAS,CAAA;IAC5C,KAAK,MAAM,IAAI,IAAI,QAAQ,EAAE,CAAC;QAC5B,MAAM,KAAK,GAAG,WAAW,CAAC,IAAI,CAAC,EAAE,EAAE,KAAK,GAAG,CAAC,CAAC,CAAA;QAC7C,IAAI,KAAK,KAAK,SAAS;YAAE,OAAO,KAAK,CAAA;IACvC,CAAC;IACD,OAAO,SAAS,CAAA;AAClB,CAAC,CAAA;AAED;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,cAAc,GAAG,CAAO,MAA0B,EAAsB,EAAE,CACrF,WAAW,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,CAAA;AAE5B,MAAM,SAAS,GAAG,CAAC,KAAa,EAAiD,EAAE;IACjF,IAAI,CAAC;QACH,OAAO,cAAc,CAAC,KAAK,CAAC,CAAA;IAC9B,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,SAAS,CAAA;IAClB,CAAC;AACH,CAAC,CAAA;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8BG;AACH,MAAM,CAAC,MAAM,WAAW,GAAG,CAAC,QAAgB,EAAE,MAAc,EAAW,EAAE;IACvE,MAAM,WAAW,GAAG,SAAS,CAAC,QAAQ,CAAC,CAAA;IACvC,IAAI,WAAW,KAAK,SAAS,IAAI,WAAW,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACnE,OAAO,aAAa,CAAC,QAAQ,CAAC,KAAK,aAAa,CAAC,MAAM,CAAC,CAAA;IAC1D,CAAC;IACD,MAAM,SAAS,GAAG,SAAS,CAAC,MAAM,CAAC,CAAA;IACnC,IAAI,SAAS,KAAK,SAAS;QAAE,OAAO,aAAa,CAAC,QAAQ,CAAC,KAAK,aAAa,CAAC,MAAM,CAAC,CAAA;IACrF,OAAO,WAAW,CAAC,OAAO,KAAK,SAAS,CAAC,OAAO;QAC9C,WAAW,CAAC,MAAM,KAAK,SAAS,CAAC,MAAM;QACvC,WAAW,CAAC,IAAI,KAAK,SAAS,CAAC,IAAI,CAAA;AACvC,CAAC,CAAA;AAED;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,MAAM,CAAC,MAAM,aAAa,GAAG,CAC3B,MAAmC,EACnC,OAAmB,EACnB,OAIC,EAC8B,EAAE;IACjC,MAAM,QAAQ,GAAG,OAAO,EAAE,YAAY,IAAI,cAAc,CAAC,MAAM,CAAC,CAAA;IAChE,MAAM,YAAY,GAAG,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,QAAQ,EAAE,CAAA;IAC7E,MAAM,UAAU,GAAG,OAAO,EAAE,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,OAAO,CAAC,QAAQ,EAAE,CAAA;IACxF,MAAM,MAAM,GAAG,OAAO,EAAE,UAAU,CAAA;IAClC,IAAI,QAAQ,KAAK,SAAS,IAAI,MAAM,KAAK,SAAS,IAAI,CAAC,WAAW,CAAC,QAAQ,EAAE,MAAM,CAAC,EAAE,CAAC;QACrF,OAAO,MAAM,CAAC,IAAI,CAChB,IAAI,WAAW,CAAC;YACd,GAAG,UAAU;YACb,GAAG,YAAY;YACf,KAAK,EAAE,GACL,OAAO,EAAE,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,UAAU,OAAO,CAAC,QAAQ,MACjF,SAAS,MAAM,EAAE;SAClB,CAAC,CACH,CAAA;IACH,CAAC;IACD,OAAO,MAAM,CAAC,mBAAmB,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CACrD,MAAM,CAAC,QAAQ,CACb,CAAC,KAAK,EAAE,EAAE,CACR,IAAI,WAAW,CAAC;QACd,GAAG,UAAU;QACb,GAAG,YAAY;QACf,KAAK,EAAE,KAAK,CAAC,OAAO;KACrB,CAAC,CACL,CACF,CAAA;AACH,CAAC,CAAA"}