@pbgtoken/rwa-contract 1.1.7 → 1.1.17

package/dist/index.js

@@ -161,10 +161,82 @@ var CardanoWalletProviderImpl = class {
   }
 };
 
-// src/RWADatumProvider.ts
-import { bytesToHex } from "@helios-lang/codec-utils";
-import { makeShelleyAddress, makeValidatorHash } from "@helios-lang/ledger";
-import { expectDefined } from "@helios-lang/type-utils";
+// src/RWAMetadata.ts
+import { Schema } from "effect";
+import { Ledger, Uplc } from "@helios-lang/effect";
+var WrappedAssetMetadata = Uplc.Data.EnumVariant(0, {
+  state: Uplc.Data.StructFromMap({
+    supply: Uplc.Data.BigInt,
+    type: Uplc.Data.LiteralString("WrappedAsset"),
+    venue: Uplc.Data.String,
+    policy: Uplc.Data.String,
+    account: Uplc.Data.String,
+    ticker: Uplc.Data.String,
+    name: Uplc.Data.String,
+    description: Uplc.Data.String,
+    decimals: Uplc.Data.Int,
+    url: Uplc.Data.String,
+    logo: Uplc.Data.String,
+    quorum: Uplc.Data.Int,
+    oracles: Uplc.Data.Array(Ledger.PubKeyHash.FromUplcData),
+    seed: Ledger.TxOutputId.FromUplcData
+  }),
+  version: Uplc.Data.Int,
+  extra: Uplc.Data.EnumVariant(0, {})
+});
+var SelfReportedAssetMetadata = Uplc.Data.EnumVariant(0, {
+  state: Uplc.Data.StructFromMap({
+    supply: Uplc.Data.BigInt,
+    type: Uplc.Data.LiteralString("SelfReportedAsset"),
+    asset: Uplc.Data.String,
+    ticker: Uplc.Data.String,
+    name: Uplc.Data.String,
+    description: Uplc.Data.String,
+    decimals: Uplc.Data.Int,
+    url: Uplc.Data.String,
+    logo: Uplc.Data.String,
+    owner: Ledger.PubKeyHash.FromUplcData,
+    seed: Ledger.TxOutputId.FromUplcData
+  }),
+  version: Uplc.Data.Int,
+  extra: Uplc.Data.EnumVariant(0, {})
+});
+var CorporateBondV1Metadata = Uplc.Data.EnumVariant(0, {
+  state: Uplc.Data.StructFromMap({
+    type: Uplc.Data.LiteralString("CorporateBondV1"),
+    company: Uplc.Data.String,
+    asset: Ledger.AssetClass.FromUplcData,
+    principal: Uplc.Data.BigInt,
+    rate: Uplc.Data.Int,
+    start: Uplc.Data.Int,
+    duration: Uplc.Data.Int,
+    interval: Uplc.Data.Int,
+    ticker: Uplc.Data.String,
+    name: Uplc.Data.String,
+    description: Uplc.Data.String,
+    decimals: Uplc.Data.Int,
+    url: Uplc.Data.String,
+    logo: Uplc.Data.String,
+    seed: Ledger.TxOutputId.FromUplcData
+  }),
+  version: Uplc.Data.Int,
+  extra: Uplc.Data.EnumVariant(0, {})
+});
+var RWAMetadata = Schema.Union(
+  WrappedAssetMetadata,
+  SelfReportedAssetMetadata,
+  CorporateBondV1Metadata
+);
+
+// src/TransferID.ts
+function filterTransfersAfter(transfers, after) {
+  const cutOff = transfers.findIndex((id) => id == after);
+  if (cutOff != -1) {
+    return transfers.slice(cutOff + 1);
+  } else {
+    return transfers;
+  }
+}
 
 // src/validators/index.ts
 import { makeCast, makeUserFunc } from "@helios-lang/contract-utils";
@@ -421,10 +493,461 @@ func main(args: MixedArgs) -> () {
     "main": (uplc, config) => makeUserFunc(uplc, { ...{ "name": "main", "arguments": [{ "name": "$datum", "isOptional": true, "type": { "kind": "internal", "name": "Data" } }, { "name": "args", "isOptional": false, "type": { "kind": "enum", "id": "__helios__mixedargs", "name": "MixedArgs", "variantTypes": [{ "kind": "variant", "name": "Other", "id": "__helios__mixedargs__other", "tag": 0, "fieldTypes": [{ "name": "redeemer", "type": { "kind": "internal", "name": "Data" } }] }, { "kind": "variant", "name": "Spending", "id": "__helios__mixedargs__spending", "tag": 1, "fieldTypes": [{ "name": "redeemer", "type": { "kind": "internal", "name": "Data" } }] }] } }], "requiresCurrentScript": false, "requiresScriptContext": true }, castConfig: config, validatorIndices: __validatorIndices })
   }
 };
+var corporate_bond_v1 = {
+  $name: "corporate_bond_v1",
+  $purpose: "mixed",
+  $currentScriptIndex: 1,
+  $sourceCode: `mixed corporate_bond_v1
+
+import { get_current_input, tx } from ScriptContext
+
+struct Metadata {
+    type:        String "type"      // "CorporateBondV1", can't change
+
+    company:     String "company"   // the company issuing the bond, eg. "PBG", can't change
+    asset:       AssetClass "asset" // denomination of bond
+    principal:   Int "principal"    // number of "asset" required to pay back the bond
+    rate:        Int "rate"         // annual repay rate in basis points, eg. 12% is 1200 basis points
+    start:       Time "start"       // when the bond was issued
+    duration:    Duration "duration" // end=start+duration, the time the bond can be returned to redeem the underlying principal
+    interval:    Duration "interval" // payment interval
+
+    ticker:      String "ticker"      // can't change
+    name:        String "name"
+    description: String "description"
+    decimals:    Int    "decimals"    // always 0, can't change
+    url:         String "url"
+    logo:        String "logo"
+
+    seed:        TxOutputId "seed"    // can't change
+}
+
+enum Cip68Extra {
+    Unused
+}
+
+enum MetadataWrapper {
+    Cip68 {
+        metadata: Metadata
+        version:  Int
+        extra:    Cip68Extra
+    }
+
+    func metadata(self) -> Metadata {
+        self.switch{
+            x: Cip68 => x.metadata
+        }
+    }
+
+    func version(self) -> Int {
+        self.switch{
+            x: Cip68 => x.version
+        }
+    }
+
+    func extra(self) -> Cip68Extra {
+        self.switch{
+            x: Cip68 => x.extra
+        }
+    }
+}
+
+// TODO: ability to leave const params unset during hl2ts transpilation
+const TYPE = "CorporateBondV1"
+const COMPANY = "COMPANY"
+const ASSET  = AssetClass::ADA
+const PRINCIPAL = 100000000000
+const RATE = 1200
+const START = Time::new(0)
+const DURATION = Duration::DAY*365
+const INTERVAL = Duration::DAY*30
+
+const TICKER      = "TICKER"
+
+const SEED         = TxOutputId::new(TxId::new(#), 0)
+
+const ticker_bytes    = TICKER.encode_utf8()
+const user_token_name = Cip67::user_token_label + ticker_bytes
+const ref_token_name  = Cip67::reference_token_label + ticker_bytes
+
+const own_hash    = Scripts::corporate_bond_v1
+const own_mph     = MintingPolicyHash::from_script_hash(own_hash)
+const own_address = Address::new(
+    SpendingCredential::new_validator(
+        ValidatorHash::from_script_hash(own_hash)
+    ),
+    Option[StakingCredential]::None
+)
+
+const ref_token_asset_class  = AssetClass::new(own_mph, ref_token_name)
+const user_token_asset_class = AssetClass::new(own_mph, user_token_name)
+
+func validate_initialization() -> () {
+    assert(tx.inputs.any((input: TxInput) -> {
+        input.output_id == SEED
+    }), "seed not spent")
+
+    ref_utxo = tx.outputs.find((output: TxOutput) -> {
+        output.address == own_address
+        && output.value.get_safe(ref_token_asset_class) == 1
+    })
+
+    metadata_wrapper = ref_utxo.datum.inline.as_strictly[MetadataWrapper]
+    metadata = metadata_wrapper.metadata()
+
+    assert(metadata.type == TYPE, "unexpected type")
+    assert(metadata.company == COMPANY, "unexpected company")
+    assert(metadata.asset == ASSET, "unexpected asset")
+    assert(metadata.principal == PRINCIPAL, "unexpected principal")
+    assert(metadata.rate == RATE, "unexpected rate")
+    assert(metadata.start == START, "unexpected start")
+    assert(metadata.duration == DURATION, "unexpected duration")
+    assert(metadata.interval == INTERVAL, "unexpected interval")
+
+    assert(metadata.ticker == TICKER, "unexpected ticker")
+    assert(metadata.decimals == 0, "unexpected decimals")
+
+    assert(metadata.seed == SEED, "unexpected seed")
+
+    assert(metadata_wrapper.version() == 1, "unexpected metadata version")
+    assert(metadata_wrapper.extra() == Cip68Extra::Unused, "unexpected metadata extra values")
+}
+
+func validate_metadata_change(input: TxInput) -> () {
+    metadata0 = input.datum.inline.as[MetadataWrapper].metadata()
+
+    output = tx.outputs.find((output: TxOutput) -> {
+        output.address == own_address
+        && output.value.get_safe(ref_token_asset_class) > 0
+    })
+
+    metadata1 = output.datum.inline.as_strictly[MetadataWrapper].metadata()
+
+    // ensure constant metadata fields don't change
+    assert(metadata1.type == TYPE, "type changed")
+    assert(metadata1.company == metadata0.company, "company changed")
+    assert(metadata1.asset == metadata0.asset, "asset changed")
+    assert(metadata1.principal == metadata0.principal, "principal changed")
+    assert(metadata1.rate == metadata0.rate, "rate changed")
+    assert(metadata1.start == metadata0.start, "start changed")
+    assert(metadata1.duration == metadata0.duration, "duration changed")
+    assert(metadata1.interval == metadata0.interval, "interval changed")
+
+    assert(metadata1.ticker == metadata0.ticker, "ticker changed")
+    assert(metadata1.decimals == 0, "decimals changed")
+
+    assert(metadata1.seed == SEED, "seed changed")
+
+    assert(tx.minted.get_policy(own_mph).is_empty(), "unexpected tokens minted")
+}
+
+func main(args: MixedArgs) -> () {
+    args.switch{
+        Spending => {
+
+            utxo = get_current_input()
+
+            tokens = utxo.value.get_policy(own_mph)
+
+            if (tokens.is_empty()) {
+                // UTXOs that don't contain any tokens from current policy can always be spent.
+                // This can be used to remove garbage.
+                ()
+            } else {
+                (name, _) = tokens.head
+
+                if (name == ref_token_name) {
+                    validate_metadata_change(utxo)
+                } else {
+                    error("unexpected token name")
+                }
+            }
+        },
+        Other => {
+            tokens = tx.minted.get_policy(own_mph)
+            n = tokens.length
+
+            if (n == 1) {
+                // must be burned
+                (name, qty) = tokens.head
+
+                assert(qty == -1, "must be burned")
+                assert(name == user_token_name, "only nft can be burned")
+            } else if (n == 2) {
+                user_token_qty = tokens.get(user_token_name)
+                assert(user_token_qty == 1, "only one nft can be minted")
+
+                ref_token_qty = tokens.get(ref_token_name)
+
+                assert(ref_token_qty == 1, "only one ref token can be minted")
+
+                validate_initialization()
+            } else {
+                error("invalid minted/burned tokens")
+            }
+        }
+    }
+}`,
+  $dependencies: [],
+  $hashDependencies: [],
+  $dependsOnOwnHash: true,
+  $Redeemer: (config) => makeCast({ "kind": "enum", "id": "__helios__mixedargs", "name": "MixedArgs", "variantTypes": [{ "kind": "variant", "name": "Other", "id": "__helios__mixedargs__other", "tag": 0, "fieldTypes": [{ "name": "redeemer", "type": { "kind": "internal", "name": "Data" } }] }, { "kind": "variant", "name": "Spending", "id": "__helios__mixedargs__spending", "tag": 1, "fieldTypes": [{ "name": "redeemer", "type": { "kind": "internal", "name": "Data" } }] }] }, config),
+  $Datum: (config) => makeCast({ "kind": "internal", "name": "Data" }, config),
+  $types: {
+    Metadata: (config) => makeCast({ "kind": "struct", "format": "map", "id": "__module__corporate_bond_v1__Metadata[]", "name": "Metadata", "fieldTypes": [{ "name": "type", "type": { "kind": "internal", "name": "String" }, "key": "type" }, { "name": "company", "type": { "kind": "internal", "name": "String" }, "key": "company" }, { "name": "asset", "type": { "kind": "internal", "name": "AssetClass" }, "key": "asset" }, { "name": "principal", "type": { "kind": "internal", "name": "Int" }, "key": "principal" }, { "name": "rate", "type": { "kind": "internal", "name": "Int" }, "key": "rate" }, { "name": "start", "type": { "kind": "internal", "name": "Time" }, "key": "start" }, { "name": "duration", "type": { "kind": "internal", "name": "Duration" }, "key": "duration" }, { "name": "interval", "type": { "kind": "internal", "name": "Duration" }, "key": "interval" }, { "name": "ticker", "type": { "kind": "internal", "name": "String" }, "key": "ticker" }, { "name": "name", "type": { "kind": "internal", "name": "String" }, "key": "name" }, { "name": "description", "type": { "kind": "internal", "name": "String" }, "key": "description" }, { "name": "decimals", "type": { "kind": "internal", "name": "Int" }, "key": "decimals" }, { "name": "url", "type": { "kind": "internal", "name": "String" }, "key": "url" }, { "name": "logo", "type": { "kind": "internal", "name": "String" }, "key": "logo" }, { "name": "seed", "type": { "kind": "internal", "name": "TxOutputId" }, "key": "seed" }] }, config),
+    Cip68Extra: (config) => makeCast({ "kind": "enum", "name": "Cip68Extra", "id": "__module__corporate_bond_v1__Cip68Extra[]", "variantTypes": [{ "kind": "variant", "tag": 0, "id": "__module__corporate_bond_v1__Cip68Extra[]__Unused", "name": "Unused", "fieldTypes": [] }] }, config),
+    MetadataWrapper: (config) => makeCast({ "kind": "enum", "name": "MetadataWrapper", "id": "__module__corporate_bond_v1__MetadataWrapper[]", "variantTypes": [{ "kind": "variant", "tag": 0, "id": "__module__corporate_bond_v1__MetadataWrapper[]__Cip68", "name": "Cip68", "fieldTypes": [{ "name": "metadata", "type": { "kind": "struct", "format": "map", "id": "__module__corporate_bond_v1__Metadata[]", "name": "Metadata", "fieldTypes": [{ "name": "type", "type": { "kind": "internal", "name": "String" }, "key": "type" }, { "name": "company", "type": { "kind": "internal", "name": "String" }, "key": "company" }, { "name": "asset", "type": { "kind": "internal", "name": "AssetClass" }, "key": "asset" }, { "name": "principal", "type": { "kind": "internal", "name": "Int" }, "key": "principal" }, { "name": "rate", "type": { "kind": "internal", "name": "Int" }, "key": "rate" }, { "name": "start", "type": { "kind": "internal", "name": "Time" }, "key": "start" }, { "name": "duration", "type": { "kind": "internal", "name": "Duration" }, "key": "duration" }, { "name": "interval", "type": { "kind": "internal", "name": "Duration" }, "key": "interval" }, { "name": "ticker", "type": { "kind": "internal", "name": "String" }, "key": "ticker" }, { "name": "name", "type": { "kind": "internal", "name": "String" }, "key": "name" }, { "name": "description", "type": { "kind": "internal", "name": "String" }, "key": "description" }, { "name": "decimals", "type": { "kind": "internal", "name": "Int" }, "key": "decimals" }, { "name": "url", "type": { "kind": "internal", "name": "String" }, "key": "url" }, { "name": "logo", "type": { "kind": "internal", "name": "String" }, "key": "logo" }, { "name": "seed", "type": { "kind": "internal", "name": "TxOutputId" }, "key": "seed" }] } }, { "name": "version", "type": { "kind": "internal", "name": "Int" } }, { "name": "extra", "type": { "kind": "enum", "name": "Cip68Extra", "id": "__module__corporate_bond_v1__Cip68Extra[]", "variantTypes": [{ "kind": "variant", "tag": 0, "id": "__module__corporate_bond_v1__Cip68Extra[]__Unused", "name": "Unused", "fieldTypes": [] }] } }] }] }, config)
+  },
+  $functions: {
+    "MetadataWrapper::metadata": (uplc, config) => makeUserFunc(uplc, { ...{ "name": "MetadataWrapper::metadata", "requiresCurrentScript": false, "requiresScriptContext": false, "arguments": [{ "name": "self", "isOptional": false, "type": { "kind": "enum", "name": "MetadataWrapper", "id": "__module__corporate_bond_v1__MetadataWrapper[]", "variantTypes": [{ "kind": "variant", "tag": 0, "id": "__module__corporate_bond_v1__MetadataWrapper[]__Cip68", "name": "Cip68", "fieldTypes": [{ "name": "metadata", "type": { "kind": "struct", "format": "map", "id": "__module__corporate_bond_v1__Metadata[]", "name": "Metadata", "fieldTypes": [{ "name": "type", "type": { "kind": "internal", "name": "String" }, "key": "type" }, { "name": "company", "type": { "kind": "internal", "name": "String" }, "key": "company" }, { "name": "asset", "type": { "kind": "internal", "name": "AssetClass" }, "key": "asset" }, { "name": "principal", "type": { "kind": "internal", "name": "Int" }, "key": "principal" }, { "name": "rate", "type": { "kind": "internal", "name": "Int" }, "key": "rate" }, { "name": "start", "type": { "kind": "internal", "name": "Time" }, "key": "start" }, { "name": "duration", "type": { "kind": "internal", "name": "Duration" }, "key": "duration" }, { "name": "interval", "type": { "kind": "internal", "name": "Duration" }, "key": "interval" }, { "name": "ticker", "type": { "kind": "internal", "name": "String" }, "key": "ticker" }, { "name": "name", "type": { "kind": "internal", "name": "String" }, "key": "name" }, { "name": "description", "type": { "kind": "internal", "name": "String" }, "key": "description" }, { "name": "decimals", "type": { "kind": "internal", "name": "Int" }, "key": "decimals" }, { "name": "url", "type": { "kind": "internal", "name": "String" }, "key": "url" }, { "name": "logo", "type": { "kind": "internal", "name": "String" }, "key": "logo" }, { "name": "seed", "type": { "kind": "internal", "name": "TxOutputId" }, "key": "seed" }] } }, { "name": "version", "type": { "kind": "internal", "name": "Int" } }, { "name": "extra", "type": { "kind": "enum", "name": "Cip68Extra", "id": "__module__corporate_bond_v1__Cip68Extra[]", "variantTypes": [{ "kind": "variant", "tag": 0, "id": "__module__corporate_bond_v1__Cip68Extra[]__Unused", "name": "Unused", "fieldTypes": [] }] } }] }] } }], "returns": { "kind": "struct", "format": "map", "id": "__module__corporate_bond_v1__Metadata[]", "name": "Metadata", "fieldTypes": [{ "name": "type", "type": { "kind": "internal", "name": "String" }, "key": "type" }, { "name": "company", "type": { "kind": "internal", "name": "String" }, "key": "company" }, { "name": "asset", "type": { "kind": "internal", "name": "AssetClass" }, "key": "asset" }, { "name": "principal", "type": { "kind": "internal", "name": "Int" }, "key": "principal" }, { "name": "rate", "type": { "kind": "internal", "name": "Int" }, "key": "rate" }, { "name": "start", "type": { "kind": "internal", "name": "Time" }, "key": "start" }, { "name": "duration", "type": { "kind": "internal", "name": "Duration" }, "key": "duration" }, { "name": "interval", "type": { "kind": "internal", "name": "Duration" }, "key": "interval" }, { "name": "ticker", "type": { "kind": "internal", "name": "String" }, "key": "ticker" }, { "name": "name", "type": { "kind": "internal", "name": "String" }, "key": "name" }, { "name": "description", "type": { "kind": "internal", "name": "String" }, "key": "description" }, { "name": "decimals", "type": { "kind": "internal", "name": "Int" }, "key": "decimals" }, { "name": "url", "type": { "kind": "internal", "name": "String" }, "key": "url" }, { "name": "logo", "type": { "kind": "internal", "name": "String" }, "key": "logo" }, { "name": "seed", "type": { "kind": "internal", "name": "TxOutputId" }, "key": "seed" }] } }, castConfig: config, validatorIndices: __validatorIndices }),
+    "MetadataWrapper::version": (uplc, config) => makeUserFunc(uplc, { ...{ "name": "MetadataWrapper::version", "requiresCurrentScript": false, "requiresScriptContext": false, "arguments": [{ "name": "self", "isOptional": false, "type": { "kind": "enum", "name": "MetadataWrapper", "id": "__module__corporate_bond_v1__MetadataWrapper[]", "variantTypes": [{ "kind": "variant", "tag": 0, "id": "__module__corporate_bond_v1__MetadataWrapper[]__Cip68", "name": "Cip68", "fieldTypes": [{ "name": "metadata", "type": { "kind": "struct", "format": "map", "id": "__module__corporate_bond_v1__Metadata[]", "name": "Metadata", "fieldTypes": [{ "name": "type", "type": { "kind": "internal", "name": "String" }, "key": "type" }, { "name": "company", "type": { "kind": "internal", "name": "String" }, "key": "company" }, { "name": "asset", "type": { "kind": "internal", "name": "AssetClass" }, "key": "asset" }, { "name": "principal", "type": { "kind": "internal", "name": "Int" }, "key": "principal" }, { "name": "rate", "type": { "kind": "internal", "name": "Int" }, "key": "rate" }, { "name": "start", "type": { "kind": "internal", "name": "Time" }, "key": "start" }, { "name": "duration", "type": { "kind": "internal", "name": "Duration" }, "key": "duration" }, { "name": "interval", "type": { "kind": "internal", "name": "Duration" }, "key": "interval" }, { "name": "ticker", "type": { "kind": "internal", "name": "String" }, "key": "ticker" }, { "name": "name", "type": { "kind": "internal", "name": "String" }, "key": "name" }, { "name": "description", "type": { "kind": "internal", "name": "String" }, "key": "description" }, { "name": "decimals", "type": { "kind": "internal", "name": "Int" }, "key": "decimals" }, { "name": "url", "type": { "kind": "internal", "name": "String" }, "key": "url" }, { "name": "logo", "type": { "kind": "internal", "name": "String" }, "key": "logo" }, { "name": "seed", "type": { "kind": "internal", "name": "TxOutputId" }, "key": "seed" }] } }, { "name": "version", "type": { "kind": "internal", "name": "Int" } }, { "name": "extra", "type": { "kind": "enum", "name": "Cip68Extra", "id": "__module__corporate_bond_v1__Cip68Extra[]", "variantTypes": [{ "kind": "variant", "tag": 0, "id": "__module__corporate_bond_v1__Cip68Extra[]__Unused", "name": "Unused", "fieldTypes": [] }] } }] }] } }], "returns": { "kind": "internal", "name": "Int" } }, castConfig: config, validatorIndices: __validatorIndices }),
+    "MetadataWrapper::extra": (uplc, config) => makeUserFunc(uplc, { ...{ "name": "MetadataWrapper::extra", "requiresCurrentScript": false, "requiresScriptContext": false, "arguments": [{ "name": "self", "isOptional": false, "type": { "kind": "enum", "name": "MetadataWrapper", "id": "__module__corporate_bond_v1__MetadataWrapper[]", "variantTypes": [{ "kind": "variant", "tag": 0, "id": "__module__corporate_bond_v1__MetadataWrapper[]__Cip68", "name": "Cip68", "fieldTypes": [{ "name": "metadata", "type": { "kind": "struct", "format": "map", "id": "__module__corporate_bond_v1__Metadata[]", "name": "Metadata", "fieldTypes": [{ "name": "type", "type": { "kind": "internal", "name": "String" }, "key": "type" }, { "name": "company", "type": { "kind": "internal", "name": "String" }, "key": "company" }, { "name": "asset", "type": { "kind": "internal", "name": "AssetClass" }, "key": "asset" }, { "name": "principal", "type": { "kind": "internal", "name": "Int" }, "key": "principal" }, { "name": "rate", "type": { "kind": "internal", "name": "Int" }, "key": "rate" }, { "name": "start", "type": { "kind": "internal", "name": "Time" }, "key": "start" }, { "name": "duration", "type": { "kind": "internal", "name": "Duration" }, "key": "duration" }, { "name": "interval", "type": { "kind": "internal", "name": "Duration" }, "key": "interval" }, { "name": "ticker", "type": { "kind": "internal", "name": "String" }, "key": "ticker" }, { "name": "name", "type": { "kind": "internal", "name": "String" }, "key": "name" }, { "name": "description", "type": { "kind": "internal", "name": "String" }, "key": "description" }, { "name": "decimals", "type": { "kind": "internal", "name": "Int" }, "key": "decimals" }, { "name": "url", "type": { "kind": "internal", "name": "String" }, "key": "url" }, { "name": "logo", "type": { "kind": "internal", "name": "String" }, "key": "logo" }, { "name": "seed", "type": { "kind": "internal", "name": "TxOutputId" }, "key": "seed" }] } }, { "name": "version", "type": { "kind": "internal", "name": "Int" } }, { "name": "extra", "type": { "kind": "enum", "name": "Cip68Extra", "id": "__module__corporate_bond_v1__Cip68Extra[]", "variantTypes": [{ "kind": "variant", "tag": 0, "id": "__module__corporate_bond_v1__Cip68Extra[]__Unused", "name": "Unused", "fieldTypes": [] }] } }] }] } }], "returns": { "kind": "enum", "name": "Cip68Extra", "id": "__module__corporate_bond_v1__Cip68Extra[]", "variantTypes": [{ "kind": "variant", "tag": 0, "id": "__module__corporate_bond_v1__Cip68Extra[]__Unused", "name": "Unused", "fieldTypes": [] }] } }, castConfig: config, validatorIndices: __validatorIndices }),
+    "TYPE": (uplc, config) => makeUserFunc(uplc, { ...{ "name": "TYPE", "requiresCurrentScript": false, "requiresScriptContext": false, "arguments": [], "returns": { "kind": "internal", "name": "String" } }, castConfig: config, validatorIndices: __validatorIndices }),
+    "COMPANY": (uplc, config) => makeUserFunc(uplc, { ...{ "name": "COMPANY", "requiresCurrentScript": false, "requiresScriptContext": false, "arguments": [], "returns": { "kind": "internal", "name": "String" } }, castConfig: config, validatorIndices: __validatorIndices }),
+    "ASSET": (uplc, config) => makeUserFunc(uplc, { ...{ "name": "ASSET", "requiresCurrentScript": false, "requiresScriptContext": false, "arguments": [], "returns": { "kind": "internal", "name": "AssetClass" } }, castConfig: config, validatorIndices: __validatorIndices }),
+    "PRINCIPAL": (uplc, config) => makeUserFunc(uplc, { ...{ "name": "PRINCIPAL", "requiresCurrentScript": false, "requiresScriptContext": false, "arguments": [], "returns": { "kind": "internal", "name": "Int" } }, castConfig: config, validatorIndices: __validatorIndices }),
+    "RATE": (uplc, config) => makeUserFunc(uplc, { ...{ "name": "RATE", "requiresCurrentScript": false, "requiresScriptContext": false, "arguments": [], "returns": { "kind": "internal", "name": "Int" } }, castConfig: config, validatorIndices: __validatorIndices }),
+    "START": (uplc, config) => makeUserFunc(uplc, { ...{ "name": "START", "requiresCurrentScript": false, "requiresScriptContext": false, "arguments": [], "returns": { "kind": "internal", "name": "Time" } }, castConfig: config, validatorIndices: __validatorIndices }),
+    "DURATION": (uplc, config) => makeUserFunc(uplc, { ...{ "name": "DURATION", "requiresCurrentScript": false, "requiresScriptContext": false, "arguments": [], "returns": { "kind": "internal", "name": "Duration" } }, castConfig: config, validatorIndices: __validatorIndices }),
+    "INTERVAL": (uplc, config) => makeUserFunc(uplc, { ...{ "name": "INTERVAL", "requiresCurrentScript": false, "requiresScriptContext": false, "arguments": [], "returns": { "kind": "internal", "name": "Duration" } }, castConfig: config, validatorIndices: __validatorIndices }),
+    "TICKER": (uplc, config) => makeUserFunc(uplc, { ...{ "name": "TICKER", "requiresCurrentScript": false, "requiresScriptContext": false, "arguments": [], "returns": { "kind": "internal", "name": "String" } }, castConfig: config, validatorIndices: __validatorIndices }),
+    "SEED": (uplc, config) => makeUserFunc(uplc, { ...{ "name": "SEED", "requiresCurrentScript": false, "requiresScriptContext": false, "arguments": [], "returns": { "kind": "internal", "name": "TxOutputId" } }, castConfig: config, validatorIndices: __validatorIndices }),
+    "ticker_bytes": (uplc, config) => makeUserFunc(uplc, { ...{ "name": "ticker_bytes", "requiresCurrentScript": false, "requiresScriptContext": false, "arguments": [], "returns": { "kind": "internal", "name": "ByteArray" } }, castConfig: config, validatorIndices: __validatorIndices }),
+    "user_token_name": (uplc, config) => makeUserFunc(uplc, { ...{ "name": "user_token_name", "requiresCurrentScript": false, "requiresScriptContext": false, "arguments": [], "returns": { "kind": "internal", "name": "ByteArray" } }, castConfig: config, validatorIndices: __validatorIndices }),
+    "ref_token_name": (uplc, config) => makeUserFunc(uplc, { ...{ "name": "ref_token_name", "requiresCurrentScript": false, "requiresScriptContext": false, "arguments": [], "returns": { "kind": "internal", "name": "ByteArray" } }, castConfig: config, validatorIndices: __validatorIndices }),
+    "own_hash": (uplc, config) => makeUserFunc(uplc, { ...{ "name": "own_hash", "requiresCurrentScript": false, "requiresScriptContext": false, "arguments": [], "returns": { "kind": "internal", "name": "ScriptHash" } }, castConfig: config, validatorIndices: __validatorIndices }),
+    "own_mph": (uplc, config) => makeUserFunc(uplc, { ...{ "name": "own_mph", "requiresCurrentScript": false, "requiresScriptContext": false, "arguments": [], "returns": { "kind": "internal", "name": "MintingPolicyHash" } }, castConfig: config, validatorIndices: __validatorIndices }),
+    "own_address": (uplc, config) => makeUserFunc(uplc, { ...{ "name": "own_address", "requiresCurrentScript": false, "requiresScriptContext": false, "arguments": [], "returns": { "kind": "internal", "name": "Address" } }, castConfig: config, validatorIndices: __validatorIndices }),
+    "ref_token_asset_class": (uplc, config) => makeUserFunc(uplc, { ...{ "name": "ref_token_asset_class", "requiresCurrentScript": false, "requiresScriptContext": false, "arguments": [], "returns": { "kind": "internal", "name": "AssetClass" } }, castConfig: config, validatorIndices: __validatorIndices }),
+    "user_token_asset_class": (uplc, config) => makeUserFunc(uplc, { ...{ "name": "user_token_asset_class", "requiresCurrentScript": false, "requiresScriptContext": false, "arguments": [], "returns": { "kind": "internal", "name": "AssetClass" } }, castConfig: config, validatorIndices: __validatorIndices }),
+    "validate_initialization": (uplc, config) => makeUserFunc(uplc, { ...{ "name": "validate_initialization", "requiresCurrentScript": false, "requiresScriptContext": true, "arguments": [] }, castConfig: config, validatorIndices: __validatorIndices }),
+    "validate_metadata_change": (uplc, config) => makeUserFunc(uplc, { ...{ "name": "validate_metadata_change", "requiresCurrentScript": false, "requiresScriptContext": true, "arguments": [{ "name": "input", "isOptional": false, "type": { "kind": "internal", "name": "TxInput" } }] }, castConfig: config, validatorIndices: __validatorIndices }),
+    "main": (uplc, config) => makeUserFunc(uplc, { ...{ "name": "main", "arguments": [{ "name": "$datum", "isOptional": true, "type": { "kind": "internal", "name": "Data" } }, { "name": "args", "isOptional": false, "type": { "kind": "enum", "id": "__helios__mixedargs", "name": "MixedArgs", "variantTypes": [{ "kind": "variant", "name": "Other", "id": "__helios__mixedargs__other", "tag": 0, "fieldTypes": [{ "name": "redeemer", "type": { "kind": "internal", "name": "Data" } }] }, { "kind": "variant", "name": "Spending", "id": "__helios__mixedargs__spending", "tag": 1, "fieldTypes": [{ "name": "redeemer", "type": { "kind": "internal", "name": "Data" } }] }] } }], "requiresCurrentScript": false, "requiresScriptContext": true }, castConfig: config, validatorIndices: __validatorIndices })
+  }
+};
+var self_reported_asset = {
+  $name: "self_reported_asset",
+  $purpose: "mixed",
+  $currentScriptIndex: 2,
+  $sourceCode: `mixed self_reported_asset
+
+import { get_current_input, tx } from ScriptContext
+
+struct State {
+    supply:      Int    "supply"
+
+    type:        String "type"    // "SelfReportedAsset", can't change
+    asset:       String "asset"  // eg. "Silver" or "Silver OZ"
+
+    ticker:      String "ticker"      // can't change
+    name:        String "name"
+    description: String "description"
+    decimals:    Int    "decimals"    // can't change
+    url:         String "url"
+    logo:        String "logo"
+
+    owner:       PubKeyHash "owner" // can't change
+    seed:        TxOutputId   "seed"    // can't change
+}
+
+enum Cip68Extra {
+    Unused
+}
+
+enum Metadata {
+    Cip68 {
+        state:   State
+        version: Int
+        extra:   Cip68Extra
+    }
+
+    func state(self) -> State {
+        self.switch{
+            x: Cip68 => x.state
+        }
+    }
+
+    func version(self) -> Int {
+        self.switch{
+            x: Cip68 => x.version
+        }
+    }
+
+    func extra(self) -> Cip68Extra {
+        self.switch{
+            x: Cip68 => x.extra
+        }
+    }
+}
+
+struct Redeemer {
+    reserves: Int
+}
+
+// TODO: ability to leave const params unset during hl2ts transpilation
+const TYPE    = "SelfReportedAsset"
+const ASSET   = "ASSET"
+
+const TICKER      = "TICKER"
+const DECIMALS    = 0
+
+const OWNER      = PubKeyHash::new(#)
+const SEED       = TxOutputId::new(TxId::new(#), 0)
+
+const ticker_bytes    = TICKER.encode_utf8()
+const user_token_name = Cip67::fungible_token_label + ticker_bytes
+const ref_token_name  = Cip67::reference_token_label + ticker_bytes
+
+const own_hash    = Scripts::self_reported_asset
+const own_mph     = MintingPolicyHash::from_script_hash(own_hash)
+const own_address = Address::new(
+    SpendingCredential::new_validator(
+        ValidatorHash::from_script_hash(own_hash)
+    ),
+    Option[StakingCredential]::None
+)
+
+const ref_token_asset_class  = AssetClass::new(own_mph, ref_token_name)
+const user_token_asset_class = AssetClass::new(own_mph, user_token_name)
+
+func validate_initialization() -> () {
+    assert(tx.inputs.any((input: TxInput) -> {
+        input.output_id == SEED
+    }), "seed not spent")
+
+    ref_utxo = tx.outputs.find((output: TxOutput) -> {
+        output.address == own_address
+        && output.value.get_safe(ref_token_asset_class) == 1
+    })
+
+    metadata = ref_utxo.datum.inline.as_strictly[Metadata]
+    state = metadata.state()
+
+    assert(state.supply == 0, "supply not initialized at 0")
+
+    assert(state.type == TYPE, "unexpected type")
+    assert(state.asset == ASSET, "unexpected asset")
+
+    assert(state.ticker == TICKER, "unexpected ticker")
+    assert(state.decimals == DECIMALS, "unexpected decimals")
+
+    assert(state.seed == SEED, "unexpected seed")
+
+    assert(metadata.version() == 1, "unexpected metadata version")
+    assert(metadata.extra() == Cip68Extra::Unused, "unexpected metadata extra values")
+
+    assert(tx.is_signed_by(OWNER), "tx not signed by owner")
+}
+
+func validate_state_change(input: TxInput) -> () {
+    state0 = input.datum.inline.as[Metadata].state()
+
+    output = tx.outputs.find((output: TxOutput) -> {
+        output.address == own_address
+        && output.value.get_safe(ref_token_asset_class) > 0
+    })
+
+    state1 = output.datum.inline.as_strictly[Metadata].state()
+
+    // ensure constant metadata fields don't change
+    assert(state1.type == TYPE, "type changed")
+    assert(state1.asset == state0.asset, "asset changed")
+
+    assert(state1.ticker == state0.ticker, "ticker changed")
+    assert(state1.decimals == state0.decimals, "decimals changed")
+    assert(state1.owner == OWNER, "owner changed")
+    assert(state1.seed == SEED, "seed changed")
+
+    n = tx.minted.get_safe(user_token_asset_class)
+
+    assert((state1.supply - state0.supply) == n, "current token supply not updated correctly")
+
+    if (n > 0) {
+        assert(tx.is_signed_by(OWNER), "tx not signed by owner")
+    }
+}
+
+func main(args: MixedArgs) -> () {
+    args.switch{
+        Spending => {
+            utxo = get_current_input()
+
+            tokens = utxo.value.get_policy(own_mph)
+
+            if (tokens.is_empty()) {
+                // UTXOs that don't contain any tokens from current policy canref_token_name always be spent.
+                // This can be used to remove garbage.
+                ()
+            } else {
+                (name, _) = tokens.head
+
+                if (name == ref_token_name) {
+                    validate_state_change(utxo)
+                } else {
+                    error("unexpected token name")
+                }
+            }
+        },
+        Other => {
+            tokens = tx.minted.get_policy(own_mph)
+
+            (name, qty) = tokens.head
+            tail = tokens.tail
+
+            assert(tail.is_empty(), "only one token kind can be minted or burned")
+
+            if (name == user_token_name && qty != 0) {
+                // metadata token must be spent, which triggers Spending witness, and makes sure supply is correctly updated
+                assert(tx.inputs.any((input: TxInput) -> {
+                    input.address == own_address
+                    && input.value.get_safe(ref_token_asset_class) > 0
+                }), "ref token not spent")
+            } else if (name == ref_token_name && qty == 1) {
+                validate_initialization()
+            } else {
+                error("invalid minted tokens")
+            }
+        }
+    }
+}`,
+  $dependencies: [],
+  $hashDependencies: [],
+  $dependsOnOwnHash: true,
+  $Redeemer: (config) => makeCast({ "kind": "enum", "id": "__helios__mixedargs", "name": "MixedArgs", "variantTypes": [{ "kind": "variant", "name": "Other", "id": "__helios__mixedargs__other", "tag": 0, "fieldTypes": [{ "name": "redeemer", "type": { "kind": "internal", "name": "Data" } }] }, { "kind": "variant", "name": "Spending", "id": "__helios__mixedargs__spending", "tag": 1, "fieldTypes": [{ "name": "redeemer", "type": { "kind": "internal", "name": "Data" } }] }] }, config),
+  $Datum: (config) => makeCast({ "kind": "internal", "name": "Data" }, config),
+  $types: {
+    State: (config) => makeCast({ "kind": "struct", "format": "map", "id": "__module__self_reported_asset__State[]", "name": "State", "fieldTypes": [{ "name": "supply", "type": { "kind": "internal", "name": "Int" }, "key": "supply" }, { "name": "type", "type": { "kind": "internal", "name": "String" }, "key": "type" }, { "name": "asset", "type": { "kind": "internal", "name": "String" }, "key": "asset" }, { "name": "ticker", "type": { "kind": "internal", "name": "String" }, "key": "ticker" }, { "name": "name", "type": { "kind": "internal", "name": "String" }, "key": "name" }, { "name": "description", "type": { "kind": "internal", "name": "String" }, "key": "description" }, { "name": "decimals", "type": { "kind": "internal", "name": "Int" }, "key": "decimals" }, { "name": "url", "type": { "kind": "internal", "name": "String" }, "key": "url" }, { "name": "logo", "type": { "kind": "internal", "name": "String" }, "key": "logo" }, { "name": "owner", "type": { "kind": "internal", "name": "PubKeyHash" }, "key": "owner" }, { "name": "seed", "type": { "kind": "internal", "name": "TxOutputId" }, "key": "seed" }] }, config),
+    Cip68Extra: (config) => makeCast({ "kind": "enum", "name": "Cip68Extra", "id": "__module__self_reported_asset__Cip68Extra[]", "variantTypes": [{ "kind": "variant", "tag": 0, "id": "__module__self_reported_asset__Cip68Extra[]__Unused", "name": "Unused", "fieldTypes": [] }] }, config),
+    Metadata: (config) => makeCast({ "kind": "enum", "name": "Metadata", "id": "__module__self_reported_asset__Metadata[]", "variantTypes": [{ "kind": "variant", "tag": 0, "id": "__module__self_reported_asset__Metadata[]__Cip68", "name": "Cip68", "fieldTypes": [{ "name": "state", "type": { "kind": "struct", "format": "map", "id": "__module__self_reported_asset__State[]", "name": "State", "fieldTypes": [{ "name": "supply", "type": { "kind": "internal", "name": "Int" }, "key": "supply" }, { "name": "type", "type": { "kind": "internal", "name": "String" }, "key": "type" }, { "name": "asset", "type": { "kind": "internal", "name": "String" }, "key": "asset" }, { "name": "ticker", "type": { "kind": "internal", "name": "String" }, "key": "ticker" }, { "name": "name", "type": { "kind": "internal", "name": "String" }, "key": "name" }, { "name": "description", "type": { "kind": "internal", "name": "String" }, "key": "description" }, { "name": "decimals", "type": { "kind": "internal", "name": "Int" }, "key": "decimals" }, { "name": "url", "type": { "kind": "internal", "name": "String" }, "key": "url" }, { "name": "logo", "type": { "kind": "internal", "name": "String" }, "key": "logo" }, { "name": "owner", "type": { "kind": "internal", "name": "PubKeyHash" }, "key": "owner" }, { "name": "seed", "type": { "kind": "internal", "name": "TxOutputId" }, "key": "seed" }] } }, { "name": "version", "type": { "kind": "internal", "name": "Int" } }, { "name": "extra", "type": { "kind": "enum", "name": "Cip68Extra", "id": "__module__self_reported_asset__Cip68Extra[]", "variantTypes": [{ "kind": "variant", "tag": 0, "id": "__module__self_reported_asset__Cip68Extra[]__Unused", "name": "Unused", "fieldTypes": [] }] } }] }] }, config),
+    Redeemer: (config) => makeCast({ "kind": "struct", "format": "singleton", "id": "__module__self_reported_asset__Redeemer[]", "name": "Redeemer", "fieldTypes": [{ "name": "reserves", "type": { "kind": "internal", "name": "Int" } }] }, config)
+  },
+  $functions: {
+    "Metadata::state": (uplc, config) => makeUserFunc(uplc, { ...{ "name": "Metadata::state", "requiresCurrentScript": false, "requiresScriptContext": false, "arguments": [{ "name": "self", "isOptional": false, "type": { "kind": "enum", "name": "Metadata", "id": "__module__self_reported_asset__Metadata[]", "variantTypes": [{ "kind": "variant", "tag": 0, "id": "__module__self_reported_asset__Metadata[]__Cip68", "name": "Cip68", "fieldTypes": [{ "name": "state", "type": { "kind": "struct", "format": "map", "id": "__module__self_reported_asset__State[]", "name": "State", "fieldTypes": [{ "name": "supply", "type": { "kind": "internal", "name": "Int" }, "key": "supply" }, { "name": "type", "type": { "kind": "internal", "name": "String" }, "key": "type" }, { "name": "asset", "type": { "kind": "internal", "name": "String" }, "key": "asset" }, { "name": "ticker", "type": { "kind": "internal", "name": "String" }, "key": "ticker" }, { "name": "name", "type": { "kind": "internal", "name": "String" }, "key": "name" }, { "name": "description", "type": { "kind": "internal", "name": "String" }, "key": "description" }, { "name": "decimals", "type": { "kind": "internal", "name": "Int" }, "key": "decimals" }, { "name": "url", "type": { "kind": "internal", "name": "String" }, "key": "url" }, { "name": "logo", "type": { "kind": "internal", "name": "String" }, "key": "logo" }, { "name": "owner", "type": { "kind": "internal", "name": "PubKeyHash" }, "key": "owner" }, { "name": "seed", "type": { "kind": "internal", "name": "TxOutputId" }, "key": "seed" }] } }, { "name": "version", "type": { "kind": "internal", "name": "Int" } }, { "name": "extra", "type": { "kind": "enum", "name": "Cip68Extra", "id": "__module__self_reported_asset__Cip68Extra[]", "variantTypes": [{ "kind": "variant", "tag": 0, "id": "__module__self_reported_asset__Cip68Extra[]__Unused", "name": "Unused", "fieldTypes": [] }] } }] }] } }], "returns": { "kind": "struct", "format": "map", "id": "__module__self_reported_asset__State[]", "name": "State", "fieldTypes": [{ "name": "supply", "type": { "kind": "internal", "name": "Int" }, "key": "supply" }, { "name": "type", "type": { "kind": "internal", "name": "String" }, "key": "type" }, { "name": "asset", "type": { "kind": "internal", "name": "String" }, "key": "asset" }, { "name": "ticker", "type": { "kind": "internal", "name": "String" }, "key": "ticker" }, { "name": "name", "type": { "kind": "internal", "name": "String" }, "key": "name" }, { "name": "description", "type": { "kind": "internal", "name": "String" }, "key": "description" }, { "name": "decimals", "type": { "kind": "internal", "name": "Int" }, "key": "decimals" }, { "name": "url", "type": { "kind": "internal", "name": "String" }, "key": "url" }, { "name": "logo", "type": { "kind": "internal", "name": "String" }, "key": "logo" }, { "name": "owner", "type": { "kind": "internal", "name": "PubKeyHash" }, "key": "owner" }, { "name": "seed", "type": { "kind": "internal", "name": "TxOutputId" }, "key": "seed" }] } }, castConfig: config, validatorIndices: __validatorIndices }),
+    "Metadata::version": (uplc, config) => makeUserFunc(uplc, { ...{ "name": "Metadata::version", "requiresCurrentScript": false, "requiresScriptContext": false, "arguments": [{ "name": "self", "isOptional": false, "type": { "kind": "enum", "name": "Metadata", "id": "__module__self_reported_asset__Metadata[]", "variantTypes": [{ "kind": "variant", "tag": 0, "id": "__module__self_reported_asset__Metadata[]__Cip68", "name": "Cip68", "fieldTypes": [{ "name": "state", "type": { "kind": "struct", "format": "map", "id": "__module__self_reported_asset__State[]", "name": "State", "fieldTypes": [{ "name": "supply", "type": { "kind": "internal", "name": "Int" }, "key": "supply" }, { "name": "type", "type": { "kind": "internal", "name": "String" }, "key": "type" }, { "name": "asset", "type": { "kind": "internal", "name": "String" }, "key": "asset" }, { "name": "ticker", "type": { "kind": "internal", "name": "String" }, "key": "ticker" }, { "name": "name", "type": { "kind": "internal", "name": "String" }, "key": "name" }, { "name": "description", "type": { "kind": "internal", "name": "String" }, "key": "description" }, { "name": "decimals", "type": { "kind": "internal", "name": "Int" }, "key": "decimals" }, { "name": "url", "type": { "kind": "internal", "name": "String" }, "key": "url" }, { "name": "logo", "type": { "kind": "internal", "name": "String" }, "key": "logo" }, { "name": "owner", "type": { "kind": "internal", "name": "PubKeyHash" }, "key": "owner" }, { "name": "seed", "type": { "kind": "internal", "name": "TxOutputId" }, "key": "seed" }] } }, { "name": "version", "type": { "kind": "internal", "name": "Int" } }, { "name": "extra", "type": { "kind": "enum", "name": "Cip68Extra", "id": "__module__self_reported_asset__Cip68Extra[]", "variantTypes": [{ "kind": "variant", "tag": 0, "id": "__module__self_reported_asset__Cip68Extra[]__Unused", "name": "Unused", "fieldTypes": [] }] } }] }] } }], "returns": { "kind": "internal", "name": "Int" } }, castConfig: config, validatorIndices: __validatorIndices }),
+    "Metadata::extra": (uplc, config) => makeUserFunc(uplc, { ...{ "name": "Metadata::extra", "requiresCurrentScript": false, "requiresScriptContext": false, "arguments": [{ "name": "self", "isOptional": false, "type": { "kind": "enum", "name": "Metadata", "id": "__module__self_reported_asset__Metadata[]", "variantTypes": [{ "kind": "variant", "tag": 0, "id": "__module__self_reported_asset__Metadata[]__Cip68", "name": "Cip68", "fieldTypes": [{ "name": "state", "type": { "kind": "struct", "format": "map", "id": "__module__self_reported_asset__State[]", "name": "State", "fieldTypes": [{ "name": "supply", "type": { "kind": "internal", "name": "Int" }, "key": "supply" }, { "name": "type", "type": { "kind": "internal", "name": "String" }, "key": "type" }, { "name": "asset", "type": { "kind": "internal", "name": "String" }, "key": "asset" }, { "name": "ticker", "type": { "kind": "internal", "name": "String" }, "key": "ticker" }, { "name": "name", "type": { "kind": "internal", "name": "String" }, "key": "name" }, { "name": "description", "type": { "kind": "internal", "name": "String" }, "key": "description" }, { "name": "decimals", "type": { "kind": "internal", "name": "Int" }, "key": "decimals" }, { "name": "url", "type": { "kind": "internal", "name": "String" }, "key": "url" }, { "name": "logo", "type": { "kind": "internal", "name": "String" }, "key": "logo" }, { "name": "owner", "type": { "kind": "internal", "name": "PubKeyHash" }, "key": "owner" }, { "name": "seed", "type": { "kind": "internal", "name": "TxOutputId" }, "key": "seed" }] } }, { "name": "version", "type": { "kind": "internal", "name": "Int" } }, { "name": "extra", "type": { "kind": "enum", "name": "Cip68Extra", "id": "__module__self_reported_asset__Cip68Extra[]", "variantTypes": [{ "kind": "variant", "tag": 0, "id": "__module__self_reported_asset__Cip68Extra[]__Unused", "name": "Unused", "fieldTypes": [] }] } }] }] } }], "returns": { "kind": "enum", "name": "Cip68Extra", "id": "__module__self_reported_asset__Cip68Extra[]", "variantTypes": [{ "kind": "variant", "tag": 0, "id": "__module__self_reported_asset__Cip68Extra[]__Unused", "name": "Unused", "fieldTypes": [] }] } }, castConfig: config, validatorIndices: __validatorIndices }),
+    "TYPE": (uplc, config) => makeUserFunc(uplc, { ...{ "name": "TYPE", "requiresCurrentScript": false, "requiresScriptContext": false, "arguments": [], "returns": { "kind": "internal", "name": "String" } }, castConfig: config, validatorIndices: __validatorIndices }),
+    "ASSET": (uplc, config) => makeUserFunc(uplc, { ...{ "name": "ASSET", "requiresCurrentScript": false, "requiresScriptContext": false, "arguments": [], "returns": { "kind": "internal", "name": "String" } }, castConfig: config, validatorIndices: __validatorIndices }),
+    "TICKER": (uplc, config) => makeUserFunc(uplc, { ...{ "name": "TICKER", "requiresCurrentScript": false, "requiresScriptContext": false, "arguments": [], "returns": { "kind": "internal", "name": "String" } }, castConfig: config, validatorIndices: __validatorIndices }),
+    "DECIMALS": (uplc, config) => makeUserFunc(uplc, { ...{ "name": "DECIMALS", "requiresCurrentScript": false, "requiresScriptContext": false, "arguments": [], "returns": { "kind": "internal", "name": "Int" } }, castConfig: config, validatorIndices: __validatorIndices }),
+    "OWNER": (uplc, config) => makeUserFunc(uplc, { ...{ "name": "OWNER", "requiresCurrentScript": false, "requiresScriptContext": false, "arguments": [], "returns": { "kind": "internal", "name": "PubKeyHash" } }, castConfig: config, validatorIndices: __validatorIndices }),
+    "SEED": (uplc, config) => makeUserFunc(uplc, { ...{ "name": "SEED", "requiresCurrentScript": false, "requiresScriptContext": false, "arguments": [], "returns": { "kind": "internal", "name": "TxOutputId" } }, castConfig: config, validatorIndices: __validatorIndices }),
+    "ticker_bytes": (uplc, config) => makeUserFunc(uplc, { ...{ "name": "ticker_bytes", "requiresCurrentScript": false, "requiresScriptContext": false, "arguments": [], "returns": { "kind": "internal", "name": "ByteArray" } }, castConfig: config, validatorIndices: __validatorIndices }),
+    "user_token_name": (uplc, config) => makeUserFunc(uplc, { ...{ "name": "user_token_name", "requiresCurrentScript": false, "requiresScriptContext": false, "arguments": [], "returns": { "kind": "internal", "name": "ByteArray" } }, castConfig: config, validatorIndices: __validatorIndices }),
+    "ref_token_name": (uplc, config) => makeUserFunc(uplc, { ...{ "name": "ref_token_name", "requiresCurrentScript": false, "requiresScriptContext": false, "arguments": [], "returns": { "kind": "internal", "name": "ByteArray" } }, castConfig: config, validatorIndices: __validatorIndices }),
+    "own_hash": (uplc, config) => makeUserFunc(uplc, { ...{ "name": "own_hash", "requiresCurrentScript": false, "requiresScriptContext": false, "arguments": [], "returns": { "kind": "internal", "name": "ScriptHash" } }, castConfig: config, validatorIndices: __validatorIndices }),
+    "own_mph": (uplc, config) => makeUserFunc(uplc, { ...{ "name": "own_mph", "requiresCurrentScript": false, "requiresScriptContext": false, "arguments": [], "returns": { "kind": "internal", "name": "MintingPolicyHash" } }, castConfig: config, validatorIndices: __validatorIndices }),
+    "own_address": (uplc, config) => makeUserFunc(uplc, { ...{ "name": "own_address", "requiresCurrentScript": false, "requiresScriptContext": false, "arguments": [], "returns": { "kind": "internal", "name": "Address" } }, castConfig: config, validatorIndices: __validatorIndices }),
+    "ref_token_asset_class": (uplc, config) => makeUserFunc(uplc, { ...{ "name": "ref_token_asset_class", "requiresCurrentScript": false, "requiresScriptContext": false, "arguments": [], "returns": { "kind": "internal", "name": "AssetClass" } }, castConfig: config, validatorIndices: __validatorIndices }),
+    "user_token_asset_class": (uplc, config) => makeUserFunc(uplc, { ...{ "name": "user_token_asset_class", "requiresCurrentScript": false, "requiresScriptContext": false, "arguments": [], "returns": { "kind": "internal", "name": "AssetClass" } }, castConfig: config, validatorIndices: __validatorIndices }),
+    "validate_initialization": (uplc, config) => makeUserFunc(uplc, { ...{ "name": "validate_initialization", "requiresCurrentScript": false, "requiresScriptContext": true, "arguments": [] }, castConfig: config, validatorIndices: __validatorIndices }),
+    "validate_state_change": (uplc, config) => makeUserFunc(uplc, { ...{ "name": "validate_state_change", "requiresCurrentScript": false, "requiresScriptContext": true, "arguments": [{ "name": "input", "isOptional": false, "type": { "kind": "internal", "name": "TxInput" } }] }, castConfig: config, validatorIndices: __validatorIndices }),
+    "main": (uplc, config) => makeUserFunc(uplc, { ...{ "name": "main", "arguments": [{ "name": "$datum", "isOptional": true, "type": { "kind": "internal", "name": "Data" } }, { "name": "args", "isOptional": false, "type": { "kind": "enum", "id": "__helios__mixedargs", "name": "MixedArgs", "variantTypes": [{ "kind": "variant", "name": "Other", "id": "__helios__mixedargs__other", "tag": 0, "fieldTypes": [{ "name": "redeemer", "type": { "kind": "internal", "name": "Data" } }] }, { "kind": "variant", "name": "Spending", "id": "__helios__mixedargs__spending", "tag": 1, "fieldTypes": [{ "name": "redeemer", "type": { "kind": "internal", "name": "Data" } }] }] } }], "requiresCurrentScript": false, "requiresScriptContext": true }, castConfig: config, validatorIndices: __validatorIndices })
+  }
+};
 var wrapped_asset = {
   $name: "wrapped_asset",
   $purpose: "mixed",
-  $currentScriptIndex: 1,
+  $currentScriptIndex: 3,
   $sourceCode: `mixed wrapped_asset
 
 import { get_current_input, tx } from ScriptContext
@@ -671,51 +1194,7 @@ func main(args: MixedArgs) -> () {
     "main": (uplc, config) => makeUserFunc(uplc, { ...{ "name": "main", "arguments": [{ "name": "$datum", "isOptional": true, "type": { "kind": "internal", "name": "Data" } }, { "name": "args", "isOptional": false, "type": { "kind": "enum", "id": "__helios__mixedargs", "name": "MixedArgs", "variantTypes": [{ "kind": "variant", "name": "Other", "id": "__helios__mixedargs__other", "tag": 0, "fieldTypes": [{ "name": "redeemer", "type": { "kind": "internal", "name": "Data" } }] }, { "kind": "variant", "name": "Spending", "id": "__helios__mixedargs__spending", "tag": 1, "fieldTypes": [{ "name": "redeemer", "type": { "kind": "internal", "name": "Data" } }] }] } }], "requiresCurrentScript": false, "requiresScriptContext": true }, castConfig: config, validatorIndices: __validatorIndices })
   }
 };
-var __validatorIndices = { "account_aggregate": 0, "wrapped_asset": 1 };
-
-// src/RWADatumProvider.ts
-var castMetadata = account_aggregate.$types.Metadata;
-var castDatum = account_aggregate.$types.State;
-function makeRWADatumProvider(provider) {
-  return new RWADatumProviderImpl(provider);
-}
-var RWADatumProviderImpl = class {
-  provider;
-  constructor(provider) {
-    this.provider = provider;
-  }
-  async fetch(policy) {
-    const utxo = await this.fetchMetadataUTXO(policy);
-    const metadata = castMetadata({ isMainnet: this.isMainnet }).fromUplcData(expectDefined(utxo.datum?.data, "metadata UTXO doesn't have datum"));
-    return metadata.Cip68.state;
-  }
-  get isMainnet() {
-    return this.provider.isMainnet();
-  }
-  async fetchMetadataUTXO(policy) {
-    const vh = makeValidatorHash(policy.bytes);
-    const addr = makeShelleyAddress(this.isMainnet, vh);
-    let utxos = await this.provider.getUtxos(addr);
-    utxos = utxos.filter(
-      (utxo) => utxo.value.assets.assets.some(
-        ([mph, tokens]) => mph.isEqual(policy) && tokens.some(
-          ([tokenName, qty]) => bytesToHex(tokenName.slice(0, 4)) == "000643b0" && qty == 1n
-        )
-      )
-    );
-    return expectDefined(utxos[0], "expected 1 metadata UTXO");
-  }
-};
-
-// src/TransferID.ts
-function filterTransfersAfter(transfers, after) {
-  const cutOff = transfers.findIndex((id) => id == after);
-  if (cutOff != -1) {
-    return transfers.slice(cutOff + 1);
-  } else {
-    return transfers;
-  }
-}
+var __validatorIndices = { "account_aggregate": 0, "corporate_bond_v1": 1, "self_reported_asset": 2, "wrapped_asset": 3 };
 
 // src/CoinGeckoProvider.ts
 var CoinGeckoProvider = class {
@@ -1364,7 +1843,12 @@ function makeBSCAccountProvider(walletAddress, priceProvider, alchemyApiKey, tok
   return new BSCAccountProvider(walletAddress, priceProvider, alchemyApiKey, tokenContractAddress, rpcUrl);
 }
 export {
+  CorporateBondV1Metadata,
+  RWAMetadata,
+  SelfReportedAssetMetadata,
+  WrappedAssetMetadata,
   account_aggregate,
+  corporate_bond_v1,
   filterTransfersAfter,
   makeBSCAccountProvider,
   makeBinanceAccountProvider,
@@ -1372,6 +1856,6 @@ export {
   makeCardanoWalletProvider,
   makeCoinGeckoProvider,
   makeEthereumERC20AccountProvider,
-  makeRWADatumProvider,
+  self_reported_asset,
   wrapped_asset
 };