.. _module-splice-amulet-64804: Splice.Amulet ============= The contracts representing the long\-term state of Splice\. Templates --------- .. _type-splice-amulet-amulet-63582: **template** `Amulet `_ A amulet, which can be locked and whose amount expires over time\. The expiry serves to charge an inactivity fee, and thereby ensures that the SVs can reclaim the corresponding storage space at some point in the future\. Signatory\: dso, owner .. list-table:: :widths: 15 10 30 :header-rows: 1 * - Field - Type - Description * - dso - `Party `_ - * - owner - `Party `_ - * - amount - :ref:`ExpiringAmount ` - + .. _type-splice-amulet-amuletexpire-87297: **Choice** `Amulet_Expire `_ Controller\: dso Returns\: `Amulet_ExpireResult `_ .. list-table:: :widths: 15 10 30 :header-rows: 1 * - Field - Type - Description * - roundCid - `ContractId `_ :ref:`OpenMiningRound ` - + **Choice** Archive Controller\: dso, owner Returns\: () (no fields) .. _type-splice-amulet-apprewardcoupon-57229: **template** `AppRewardCoupon `_ A coupon for receiving app rewards proportional to the usage fee paid as part of a Amulet transfer coordinated by the app of a provider\. Signatory\: dso .. list-table:: :widths: 15 10 30 :header-rows: 1 * - Field - Type - Description * - dso - `Party `_ - * - provider - `Party `_ - Application provider * - featured - `Bool `_ - * - amount - `Decimal `_ - * - round - :ref:`Round ` - + .. _type-splice-amulet-apprewardcoupondsoexpire-84081: **Choice** `AppRewardCoupon_DsoExpire `_ Controller\: dso Returns\: `AppRewardCoupon_DsoExpireResult `_ .. list-table:: :widths: 15 10 30 :header-rows: 1 * - Field - Type - Description * - closedRoundCid - `ContractId `_ :ref:`ClosedMiningRound ` - + **Choice** Archive Controller\: dso Returns\: () (no fields) .. _type-splice-amulet-featuredappright-765: **template** `FeaturedAppRight `_ The right for an application provider to earn featured app rewards\. Signatory\: dso .. list-table:: :widths: 15 10 30 :header-rows: 1 * - Field - Type - Description * - dso - `Party `_ - * - provider - `Party `_ - + **Choice** Archive Controller\: dso Returns\: () (no fields) + .. _type-splice-amulet-featuredapprightcancel-96535: **Choice** `FeaturedAppRight_Cancel `_ Controller\: provider Returns\: `FeaturedAppRight_CancelResult `_ (no fields) + .. _type-splice-amulet-featuredapprightwithdraw-8217: **Choice** `FeaturedAppRight_Withdraw `_ Controller\: dso Returns\: `FeaturedAppRight_WithdrawResult `_ .. list-table:: :widths: 15 10 30 :header-rows: 1 * - Field - Type - Description * - reason - `Text `_ - .. _type-splice-amulet-lockedamulet-7030: **template** `LockedAmulet `_ Signatory\: (DA\.Internal\.Record\.getField @\"holders\" lock), signatory amulet .. list-table:: :widths: 15 10 30 :header-rows: 1 * - Field - Type - Description * - amulet - `Amulet `_ - * - lock - :ref:`TimeLock ` - + **Choice** Archive Controller\: (DA\.Internal\.Record\.getField @\"holders\" lock), signatory amulet Returns\: () (no fields) + .. _type-splice-amulet-lockedamuletexpireamulet-28333: **Choice** `LockedAmulet_ExpireAmulet `_ Controller\: (DA\.Internal\.Record\.getField @\"dso\" amulet) Returns\: `LockedAmulet_ExpireAmuletResult `_ .. list-table:: :widths: 15 10 30 :header-rows: 1 * - Field - Type - Description * - roundCid - `ContractId `_ :ref:`OpenMiningRound ` - + .. _type-splice-amulet-lockedamuletownerexpirelock-79102: **Choice** `LockedAmulet_OwnerExpireLock `_ Controller\: (DA\.Internal\.Record\.getField @\"owner\" amulet) Returns\: `LockedAmulet_OwnerExpireLockResult `_ .. list-table:: :widths: 15 10 30 :header-rows: 1 * - Field - Type - Description * - openRoundCid - `ContractId `_ :ref:`OpenMiningRound ` - + .. _type-splice-amulet-lockedamuletunlock-59352: **Choice** `LockedAmulet_Unlock `_ Controller\: (DA\.Internal\.Record\.getField @\"owner\" amulet) \:\: (DA\.Internal\.Record\.getField @\"holders\" lock) Returns\: `LockedAmulet_UnlockResult `_ .. list-table:: :widths: 15 10 30 :header-rows: 1 * - Field - Type - Description * - openRoundCid - `ContractId `_ :ref:`OpenMiningRound ` - .. _type-splice-amulet-svrewardcoupon-68580: **template** `SvRewardCoupon `_ A coupon for a beneficiary to receive part of the SV issuance for a specific SV node and round\. Signatory\: dso .. list-table:: :widths: 15 10 30 :header-rows: 1 * - Field - Type - Description * - dso - `Party `_ - * - sv - `Party `_ - The party identifying the SV node for which the reward is issued\. * - beneficiary - `Party `_ - The beneficiary allowed to receive the reward\. * - round - :ref:`Round ` - * - weight - `Int `_ - Coupons receive a share of the SV issuance proportional to their weight\. + **Choice** Archive Controller\: dso Returns\: () (no fields) + .. _type-splice-amulet-svrewardcouponarchiveasbeneficiary-26109: **Choice** `SvRewardCoupon_ArchiveAsBeneficiary `_ Controller\: beneficiary Returns\: `SvRewardCoupon_ArchiveAsBeneficiaryResult `_ (no fields) + .. _type-splice-amulet-svrewardcoupondsoexpire-92140: **Choice** `SvRewardCoupon_DsoExpire `_ Controller\: dso Returns\: `SvRewardCoupon_DsoExpireResult `_ .. list-table:: :widths: 15 10 30 :header-rows: 1 * - Field - Type - Description * - closedRoundCid - `ContractId `_ :ref:`ClosedMiningRound ` - .. _type-splice-amulet-unclaimedreward-7814: **template** `UnclaimedReward `_ Rewards that have not been claimed and are thus at the disposal of the foundation\. Signatory\: dso .. list-table:: :widths: 15 10 30 :header-rows: 1 * - Field - Type - Description * - dso - `Party `_ - * - amount - `Decimal `_ - + **Choice** Archive Controller\: dso Returns\: () (no fields) .. _type-splice-amulet-validatorrewardcoupon-76808: **template** `ValidatorRewardCoupon `_ A coupon for receiving validator rewards proportional to the usage fee paid by a user hosted by a validator operator\. Signatory\: dso .. list-table:: :widths: 15 10 30 :header-rows: 1 * - Field - Type - Description * - dso - `Party `_ - * - user - `Party `_ - * - amount - `Decimal `_ - * - round - :ref:`Round ` - + **Choice** Archive Controller\: dso Returns\: () (no fields) + .. _type-splice-amulet-validatorrewardcouponarchiveasvalidator-99406: **Choice** `ValidatorRewardCoupon_ArchiveAsValidator `_ This choice is used by validators to archive the burn receipt upon claiming its corresponding issuance\. Controller\: dso, validator Returns\: `ValidatorRewardCoupon_ArchiveAsValidatorResult `_ .. list-table:: :widths: 15 10 30 :header-rows: 1 * - Field - Type - Description * - validator - `Party `_ - * - rightCid - `ContractId `_ `ValidatorRight `_ - + .. _type-splice-amulet-validatorrewardcoupondsoexpire-85552: **Choice** `ValidatorRewardCoupon_DsoExpire `_ Controller\: dso Returns\: `ValidatorRewardCoupon_DsoExpireResult `_ .. list-table:: :widths: 15 10 30 :header-rows: 1 * - Field - Type - Description * - closedRoundCid - `ContractId `_ :ref:`ClosedMiningRound ` - .. _type-splice-amulet-validatorright-15964: **template** `ValidatorRight `_ The right to claim amulet issuances for a user's burns as their validator\. Signatory\: user, validator .. list-table:: :widths: 15 10 30 :header-rows: 1 * - Field - Type - Description * - dso - `Party `_ - * - user - `Party `_ - * - validator - `Party `_ - + **Choice** Archive Controller\: user, validator Returns\: () (no fields) + .. _type-splice-amulet-validatorrightarchiveasuser-43276: **Choice** `ValidatorRight_ArchiveAsUser `_ Controller\: user Returns\: `ValidatorRight_ArchiveAsUserResult `_ (no fields) + .. _type-splice-amulet-validatorrightarchiveasvalidator-83210: **Choice** `ValidatorRight_ArchiveAsValidator `_ Controller\: validator Returns\: `ValidatorRight_ArchiveAsValidatorResult `_ (no fields) Data Types ---------- .. _type-splice-amulet-amuletcreatesummary-15609: **data** `AmuletCreateSummary `_ amuletContractId Result of an operation that created a new amulet, e\.g\., by minting a fresh amulet, or by unlocking a locked amulet\. .. _constr-splice-amulet-amuletcreatesummary-64070: `AmuletCreateSummary `_ .. list-table:: :widths: 15 10 30 :header-rows: 1 * - Field - Type - Description * - amulet - amuletContractId - The new amulet that was created * - amuletPrice - `Decimal `_ - The amulet price at the round the amulet was created * - round - :ref:`Round ` - Round for which this amulet was created\. **instance** `GetField `_ \"amulet\" (`AmuletCreateSummary `_ amuletContractId) amuletContractId **instance** `GetField `_ \"amuletPrice\" (`AmuletCreateSummary `_ amuletContractId) `Decimal `_ **instance** `GetField `_ \"amuletSum\" `LockedAmulet_OwnerExpireLockResult `_ (`AmuletCreateSummary `_ (`ContractId `_ `Amulet `_)) **instance** `GetField `_ \"amuletSum\" `LockedAmulet_UnlockResult `_ (`AmuletCreateSummary `_ (`ContractId `_ `Amulet `_)) **instance** `GetField `_ \"amuletSum\" :ref:`AmuletRules_DevNet_TapResult ` (`AmuletCreateSummary `_ (`ContractId `_ `Amulet `_)) **instance** `GetField `_ \"amuletSum\" :ref:`AmuletRules_MintResult ` (`AmuletCreateSummary `_ (`ContractId `_ `Amulet `_)) **instance** `GetField `_ \"round\" (`AmuletCreateSummary `_ amuletContractId) :ref:`Round ` **instance** `SetField `_ \"amulet\" (`AmuletCreateSummary `_ amuletContractId) amuletContractId **instance** `SetField `_ \"amuletPrice\" (`AmuletCreateSummary `_ amuletContractId) `Decimal `_ **instance** `SetField `_ \"amuletSum\" `LockedAmulet_OwnerExpireLockResult `_ (`AmuletCreateSummary `_ (`ContractId `_ `Amulet `_)) **instance** `SetField `_ \"amuletSum\" `LockedAmulet_UnlockResult `_ (`AmuletCreateSummary `_ (`ContractId `_ `Amulet `_)) **instance** `SetField `_ \"amuletSum\" :ref:`AmuletRules_DevNet_TapResult ` (`AmuletCreateSummary `_ (`ContractId `_ `Amulet `_)) **instance** `SetField `_ \"amuletSum\" :ref:`AmuletRules_MintResult ` (`AmuletCreateSummary `_ (`ContractId `_ `Amulet `_)) **instance** `SetField `_ \"round\" (`AmuletCreateSummary `_ amuletContractId) :ref:`Round ` .. _type-splice-amulet-amuletexpiresummary-4706: **data** `AmuletExpireSummary `_ .. _constr-splice-amulet-amuletexpiresummary-31721: `AmuletExpireSummary `_ .. list-table:: :widths: 15 10 30 :header-rows: 1 * - Field - Type - Description * - owner - `Party `_ - * - round - :ref:`Round ` - Round for which this expiry was registered\. * - changeToInitialAmountAsOfRoundZero - `Decimal `_ - * - changeToHoldingFeesRate - `Decimal `_ - The change of total holding fees introduced by a amulet expiry\. **instance** `GetField `_ \"changeToHoldingFeesRate\" `AmuletExpireSummary `_ `Decimal `_ **instance** `GetField `_ \"changeToInitialAmountAsOfRoundZero\" `AmuletExpireSummary `_ `Decimal `_ **instance** `GetField `_ \"expireSum\" `Amulet_ExpireResult `_ `AmuletExpireSummary `_ **instance** `GetField `_ \"expireSum\" `LockedAmulet_ExpireAmuletResult `_ `AmuletExpireSummary `_ **instance** `GetField `_ \"owner\" `AmuletExpireSummary `_ `Party `_ **instance** `GetField `_ \"round\" `AmuletExpireSummary `_ :ref:`Round ` **instance** `SetField `_ \"changeToHoldingFeesRate\" `AmuletExpireSummary `_ `Decimal `_ **instance** `SetField `_ \"changeToInitialAmountAsOfRoundZero\" `AmuletExpireSummary `_ `Decimal `_ **instance** `SetField `_ \"expireSum\" `Amulet_ExpireResult `_ `AmuletExpireSummary `_ **instance** `SetField `_ \"expireSum\" `LockedAmulet_ExpireAmuletResult `_ `AmuletExpireSummary `_ **instance** `SetField `_ \"owner\" `AmuletExpireSummary `_ `Party `_ **instance** `SetField `_ \"round\" `AmuletExpireSummary `_ :ref:`Round ` .. _type-splice-amulet-amuletexpireresult-11748: **data** `Amulet_ExpireResult `_ .. _constr-splice-amulet-amuletexpireresult-71583: `Amulet_ExpireResult `_ .. list-table:: :widths: 15 10 30 :header-rows: 1 * - Field - Type - Description * - expireSum - `AmuletExpireSummary `_ - **instance** `GetField `_ \"expireSum\" `Amulet_ExpireResult `_ `AmuletExpireSummary `_ **instance** `SetField `_ \"expireSum\" `Amulet_ExpireResult `_ `AmuletExpireSummary `_ **instance** `HasExercise `_ `Amulet `_ `Amulet_Expire `_ `Amulet_ExpireResult `_ **instance** `HasFromAnyChoice `_ `Amulet `_ `Amulet_Expire `_ `Amulet_ExpireResult `_ **instance** `HasToAnyChoice `_ `Amulet `_ `Amulet_Expire `_ `Amulet_ExpireResult `_ .. _type-splice-amulet-apprewardcoupondsoexpireresult-15772: **data** `AppRewardCoupon_DsoExpireResult `_ .. _constr-splice-amulet-apprewardcoupondsoexpireresult-84547: `AppRewardCoupon_DsoExpireResult `_ .. list-table:: :widths: 15 10 30 :header-rows: 1 * - Field - Type - Description * - featured - `Bool `_ - * - amount - `Decimal `_ - **instance** `GetField `_ \"amount\" `AppRewardCoupon_DsoExpireResult `_ `Decimal `_ **instance** `GetField `_ \"featured\" `AppRewardCoupon_DsoExpireResult `_ `Bool `_ **instance** `SetField `_ \"amount\" `AppRewardCoupon_DsoExpireResult `_ `Decimal `_ **instance** `SetField `_ \"featured\" `AppRewardCoupon_DsoExpireResult `_ `Bool `_ **instance** `HasExercise `_ `AppRewardCoupon `_ `AppRewardCoupon_DsoExpire `_ `AppRewardCoupon_DsoExpireResult `_ **instance** `HasFromAnyChoice `_ `AppRewardCoupon `_ `AppRewardCoupon_DsoExpire `_ `AppRewardCoupon_DsoExpireResult `_ **instance** `HasToAnyChoice `_ `AppRewardCoupon `_ `AppRewardCoupon_DsoExpire `_ `AppRewardCoupon_DsoExpireResult `_ .. _type-splice-amulet-featuredapprightcancelresult-22074: **data** `FeaturedAppRight_CancelResult `_ .. _constr-splice-amulet-featuredapprightcancelresult-30485: `FeaturedAppRight_CancelResult `_ **instance** `HasExercise `_ `FeaturedAppRight `_ `FeaturedAppRight_Cancel `_ `FeaturedAppRight_CancelResult `_ **instance** `HasFromAnyChoice `_ `FeaturedAppRight `_ `FeaturedAppRight_Cancel `_ `FeaturedAppRight_CancelResult `_ **instance** `HasToAnyChoice `_ `FeaturedAppRight `_ `FeaturedAppRight_Cancel `_ `FeaturedAppRight_CancelResult `_ .. _type-splice-amulet-featuredapprightwithdrawresult-98740: **data** `FeaturedAppRight_WithdrawResult `_ .. _constr-splice-amulet-featuredapprightwithdrawresult-88987: `FeaturedAppRight_WithdrawResult `_ **instance** `HasExercise `_ `FeaturedAppRight `_ `FeaturedAppRight_Withdraw `_ `FeaturedAppRight_WithdrawResult `_ **instance** `HasFromAnyChoice `_ `FeaturedAppRight `_ `FeaturedAppRight_Withdraw `_ `FeaturedAppRight_WithdrawResult `_ **instance** `HasToAnyChoice `_ `FeaturedAppRight `_ `FeaturedAppRight_Withdraw `_ `FeaturedAppRight_WithdrawResult `_ .. _type-splice-amulet-lockedamuletexpireamuletresult-88432: **data** `LockedAmulet_ExpireAmuletResult `_ .. _constr-splice-amulet-lockedamuletexpireamuletresult-82939: `LockedAmulet_ExpireAmuletResult `_ .. list-table:: :widths: 15 10 30 :header-rows: 1 * - Field - Type - Description * - expireSum - `AmuletExpireSummary `_ - **instance** `GetField `_ \"expireSum\" `LockedAmulet_ExpireAmuletResult `_ `AmuletExpireSummary `_ **instance** `SetField `_ \"expireSum\" `LockedAmulet_ExpireAmuletResult `_ `AmuletExpireSummary `_ **instance** `HasExercise `_ `LockedAmulet `_ `LockedAmulet_ExpireAmulet `_ `LockedAmulet_ExpireAmuletResult `_ **instance** `HasFromAnyChoice `_ `LockedAmulet `_ `LockedAmulet_ExpireAmulet `_ `LockedAmulet_ExpireAmuletResult `_ **instance** `HasToAnyChoice `_ `LockedAmulet `_ `LockedAmulet_ExpireAmulet `_ `LockedAmulet_ExpireAmuletResult `_ .. _type-splice-amulet-lockedamuletownerexpirelockresult-44583: **data** `LockedAmulet_OwnerExpireLockResult `_ .. _constr-splice-amulet-lockedamuletownerexpirelockresult-40926: `LockedAmulet_OwnerExpireLockResult `_ .. list-table:: :widths: 15 10 30 :header-rows: 1 * - Field - Type - Description * - amuletSum - `AmuletCreateSummary `_ (`ContractId `_ `Amulet `_) - **instance** `GetField `_ \"amuletSum\" `LockedAmulet_OwnerExpireLockResult `_ (`AmuletCreateSummary `_ (`ContractId `_ `Amulet `_)) **instance** `SetField `_ \"amuletSum\" `LockedAmulet_OwnerExpireLockResult `_ (`AmuletCreateSummary `_ (`ContractId `_ `Amulet `_)) **instance** `HasExercise `_ `LockedAmulet `_ `LockedAmulet_OwnerExpireLock `_ `LockedAmulet_OwnerExpireLockResult `_ **instance** `HasFromAnyChoice `_ `LockedAmulet `_ `LockedAmulet_OwnerExpireLock `_ `LockedAmulet_OwnerExpireLockResult `_ **instance** `HasToAnyChoice `_ `LockedAmulet `_ `LockedAmulet_OwnerExpireLock `_ `LockedAmulet_OwnerExpireLockResult `_ .. _type-splice-amulet-lockedamuletunlockresult-29457: **data** `LockedAmulet_UnlockResult `_ .. _constr-splice-amulet-lockedamuletunlockresult-40430: `LockedAmulet_UnlockResult `_ .. list-table:: :widths: 15 10 30 :header-rows: 1 * - Field - Type - Description * - amuletSum - `AmuletCreateSummary `_ (`ContractId `_ `Amulet `_) - **instance** `GetField `_ \"amuletSum\" `LockedAmulet_UnlockResult `_ (`AmuletCreateSummary `_ (`ContractId `_ `Amulet `_)) **instance** `SetField `_ \"amuletSum\" `LockedAmulet_UnlockResult `_ (`AmuletCreateSummary `_ (`ContractId `_ `Amulet `_)) **instance** `HasExercise `_ `LockedAmulet `_ `LockedAmulet_Unlock `_ `LockedAmulet_UnlockResult `_ **instance** `HasFromAnyChoice `_ `LockedAmulet `_ `LockedAmulet_Unlock `_ `LockedAmulet_UnlockResult `_ **instance** `HasToAnyChoice `_ `LockedAmulet `_ `LockedAmulet_Unlock `_ `LockedAmulet_UnlockResult `_ .. _type-splice-amulet-svrewardcouponarchiveasbeneficiaryresult-20724: **data** `SvRewardCoupon_ArchiveAsBeneficiaryResult `_ .. _constr-splice-amulet-svrewardcouponarchiveasbeneficiaryresult-19239: `SvRewardCoupon_ArchiveAsBeneficiaryResult `_ **instance** `HasExercise `_ `SvRewardCoupon `_ `SvRewardCoupon_ArchiveAsBeneficiary `_ `SvRewardCoupon_ArchiveAsBeneficiaryResult `_ **instance** `HasFromAnyChoice `_ `SvRewardCoupon `_ `SvRewardCoupon_ArchiveAsBeneficiary `_ `SvRewardCoupon_ArchiveAsBeneficiaryResult `_ **instance** `HasToAnyChoice `_ `SvRewardCoupon `_ `SvRewardCoupon_ArchiveAsBeneficiary `_ `SvRewardCoupon_ArchiveAsBeneficiaryResult `_ .. _type-splice-amulet-svrewardcoupondsoexpireresult-4801: **data** `SvRewardCoupon_DsoExpireResult `_ .. _constr-splice-amulet-svrewardcoupondsoexpireresult-59696: `SvRewardCoupon_DsoExpireResult `_ .. list-table:: :widths: 15 10 30 :header-rows: 1 * - Field - Type - Description * - weight - `Int `_ - **instance** `GetField `_ \"weight\" `SvRewardCoupon_DsoExpireResult `_ `Int `_ **instance** `SetField `_ \"weight\" `SvRewardCoupon_DsoExpireResult `_ `Int `_ **instance** `HasExercise `_ `SvRewardCoupon `_ `SvRewardCoupon_DsoExpire `_ `SvRewardCoupon_DsoExpireResult `_ **instance** `HasFromAnyChoice `_ `SvRewardCoupon `_ `SvRewardCoupon_DsoExpire `_ `SvRewardCoupon_DsoExpireResult `_ **instance** `HasToAnyChoice `_ `SvRewardCoupon `_ `SvRewardCoupon_DsoExpire `_ `SvRewardCoupon_DsoExpireResult `_ .. _type-splice-amulet-validatorrewardcouponarchiveasvalidatorresult-41727: **data** `ValidatorRewardCoupon_ArchiveAsValidatorResult `_ .. _constr-splice-amulet-validatorrewardcouponarchiveasvalidatorresult-51782: `ValidatorRewardCoupon_ArchiveAsValidatorResult `_ (no fields) **instance** `HasExercise `_ `ValidatorRewardCoupon `_ `ValidatorRewardCoupon_ArchiveAsValidator `_ `ValidatorRewardCoupon_ArchiveAsValidatorResult `_ **instance** `HasFromAnyChoice `_ `ValidatorRewardCoupon `_ `ValidatorRewardCoupon_ArchiveAsValidator `_ `ValidatorRewardCoupon_ArchiveAsValidatorResult `_ **instance** `HasToAnyChoice `_ `ValidatorRewardCoupon `_ `ValidatorRewardCoupon_ArchiveAsValidator `_ `ValidatorRewardCoupon_ArchiveAsValidatorResult `_ .. _type-splice-amulet-validatorrewardcoupondsoexpireresult-94761: **data** `ValidatorRewardCoupon_DsoExpireResult `_ .. _constr-splice-amulet-validatorrewardcoupondsoexpireresult-92822: `ValidatorRewardCoupon_DsoExpireResult `_ .. list-table:: :widths: 15 10 30 :header-rows: 1 * - Field - Type - Description * - amount - `Decimal `_ - **instance** `GetField `_ \"amount\" `ValidatorRewardCoupon_DsoExpireResult `_ `Decimal `_ **instance** `SetField `_ \"amount\" `ValidatorRewardCoupon_DsoExpireResult `_ `Decimal `_ **instance** `HasExercise `_ `ValidatorRewardCoupon `_ `ValidatorRewardCoupon_DsoExpire `_ `ValidatorRewardCoupon_DsoExpireResult `_ **instance** `HasFromAnyChoice `_ `ValidatorRewardCoupon `_ `ValidatorRewardCoupon_DsoExpire `_ `ValidatorRewardCoupon_DsoExpireResult `_ **instance** `HasToAnyChoice `_ `ValidatorRewardCoupon `_ `ValidatorRewardCoupon_DsoExpire `_ `ValidatorRewardCoupon_DsoExpireResult `_ .. _type-splice-amulet-validatorrightarchiveasuserresult-3193: **data** `ValidatorRight_ArchiveAsUserResult `_ .. _constr-splice-amulet-validatorrightarchiveasuserresult-47620: `ValidatorRight_ArchiveAsUserResult `_ **instance** `HasExercise `_ `ValidatorRight `_ `ValidatorRight_ArchiveAsUser `_ `ValidatorRight_ArchiveAsUserResult `_ **instance** `HasFromAnyChoice `_ `ValidatorRight `_ `ValidatorRight_ArchiveAsUser `_ `ValidatorRight_ArchiveAsUserResult `_ **instance** `HasToAnyChoice `_ `ValidatorRight `_ `ValidatorRight_ArchiveAsUser `_ `ValidatorRight_ArchiveAsUserResult `_ .. _type-splice-amulet-validatorrightarchiveasvalidatorresult-59299: **data** `ValidatorRight_ArchiveAsValidatorResult `_ .. _constr-splice-amulet-validatorrightarchiveasvalidatorresult-93588: `ValidatorRight_ArchiveAsValidatorResult `_ **instance** `HasExercise `_ `ValidatorRight `_ `ValidatorRight_ArchiveAsValidator `_ `ValidatorRight_ArchiveAsValidatorResult `_ **instance** `HasFromAnyChoice `_ `ValidatorRight `_ `ValidatorRight_ArchiveAsValidator `_ `ValidatorRight_ArchiveAsValidatorResult `_ **instance** `HasToAnyChoice `_ `ValidatorRight `_ `ValidatorRight_ArchiveAsValidator `_ `ValidatorRight_ArchiveAsValidatorResult `_ Functions --------- .. _function-splice-amulet-requireamuletexpiredforallopenrounds-12337: `requireAmuletExpiredForAllOpenRounds `_ \: `ContractId `_ :ref:`OpenMiningRound ` \-\> `Amulet `_ \-\> `Update `_ ()