@laceio/sdk 0.1.0 → 0.1.1-canary.0

package/dist/node-relay-BOuvdZvC.cjs

@@ -0,0 +1,49 @@
+require("./chunk-9hOWP6kD.cjs");
+require("./_polyfill-buffer-patch-BycQkEkK.cjs");
+const require_bytes_vo = require("./bytes.vo-hecRu3YZ.cjs");
+//#region ../../packages/module/passport-account/src/infra/node-relay.ts
+const defaultConnect = async (nodeUrl) => {
+	const { ApiPromise, WsProvider } = await import("@polkadot/api");
+	return await ApiPromise.create({
+		provider: new WsProvider(nodeUrl.replace(/^http/, "ws")),
+		noInitWarn: true
+	});
+};
+const bytesToHex = (bytes) => `0x${require_bytes_vo.HexBytes.fromByteArray(bytes)}`;
+const submitOverRelay = async (api, tx) => new Promise((resolve, reject) => {
+	const stopWatching = () => {
+		unsubscribe.then((stop) => {
+			stop();
+		});
+	};
+	const onStatus = ({ status }) => {
+		if (status.isInBlock) {
+			stopWatching();
+			resolve();
+		} else if (status.isInvalid || status.isDropped || status.isUsurped) {
+			stopWatching();
+			reject(/* @__PURE__ */ new Error(`Transaction ${status.type}`));
+		}
+	};
+	const unsubscribe = api.tx["midnight"]["sendMnTransaction"](bytesToHex(tx.serialize())).send(onStatus);
+	unsubscribe.catch(reject);
+});
+/**
+* Submits serialized Midnight transactions over the node's extrinsic
+* relay (`midnight.sendMnTransaction`) and resolves once the transaction
+* is in a block, mirroring the reference wallet's submission semantics.
+* A mempool rejection surfaces as the node's RPC error (for example
+* `Invalid Transaction`), so the dust-race retry can classify it; an
+* invalid, dropped, or usurped status rejects with the status name.
+*/
+const createNodeRelaySubmissionService = async (nodeUrl, connect = defaultConnect) => {
+	const api = await connect(nodeUrl);
+	return {
+		submitTransaction: async (tx) => submitOverRelay(api, tx),
+		close: async () => {
+			await api.disconnect();
+		}
+	};
+};
+//#endregion
+exports.createNodeRelaySubmissionService = createNodeRelaySubmissionService;

package/dist/node-relay-CLtc5n1v.js

@@ -0,0 +1,48 @@
+import "./_polyfill-buffer-patch-JcrfT1gU.js";
+import { n as HexBytes } from "./bytes.vo-CziaOsba.js";
+//#region ../../packages/module/passport-account/src/infra/node-relay.ts
+const defaultConnect = async (nodeUrl) => {
+	const { ApiPromise, WsProvider } = await import("@polkadot/api");
+	return await ApiPromise.create({
+		provider: new WsProvider(nodeUrl.replace(/^http/, "ws")),
+		noInitWarn: true
+	});
+};
+const bytesToHex = (bytes) => `0x${HexBytes.fromByteArray(bytes)}`;
+const submitOverRelay = async (api, tx) => new Promise((resolve, reject) => {
+	const stopWatching = () => {
+		unsubscribe.then((stop) => {
+			stop();
+		});
+	};
+	const onStatus = ({ status }) => {
+		if (status.isInBlock) {
+			stopWatching();
+			resolve();
+		} else if (status.isInvalid || status.isDropped || status.isUsurped) {
+			stopWatching();
+			reject(/* @__PURE__ */ new Error(`Transaction ${status.type}`));
+		}
+	};
+	const unsubscribe = api.tx["midnight"]["sendMnTransaction"](bytesToHex(tx.serialize())).send(onStatus);
+	unsubscribe.catch(reject);
+});
+/**
+* Submits serialized Midnight transactions over the node's extrinsic
+* relay (`midnight.sendMnTransaction`) and resolves once the transaction
+* is in a block, mirroring the reference wallet's submission semantics.
+* A mempool rejection surfaces as the node's RPC error (for example
+* `Invalid Transaction`), so the dust-race retry can classify it; an
+* invalid, dropped, or usurped status rejects with the status name.
+*/
+const createNodeRelaySubmissionService = async (nodeUrl, connect = defaultConnect) => {
+	const api = await connect(nodeUrl);
+	return {
+		submitTransaction: async (tx) => submitOverRelay(api, tx),
+		close: async () => {
+			await api.disconnect();
+		}
+	};
+};
+//#endregion
+export { createNodeRelaySubmissionService };

package/dist/outputs-5qdW8s-f.js

@@ -0,0 +1,196 @@
+import { Ft as BaseAddress, P as RewardAccount, ft as Script, r as CredentialType, t as Address } from "./Address-_c_-9hLC.js";
+import { c as isCustodyLovelaceAsset, f as decodeCustodyAccountState, l as CUSTODY_SLOT_LIMIT, p as decodeCustodyGrant, u as custodyGrantAssetId, x as recipientKey, y as custodyRecipientFromAddress } from "./fees-6C2uEWFK.js";
+import { o as SUPPORTED_CUSTODY_CONTRACT_VERSIONS, u as findCustodyLogic } from "./hex-CGYJPK_Z.js";
+//#region ../../packages/lib/cardano-custody/src/analysis/value.ts
+/** Hex length of a policy id: every asset class on chain has a 28-byte one. */
+const POLICY_ID_HEX_LENGTH = 56;
+const valueDeltaOf = (value) => addValueDeltas([{
+	lovelace: value.coins,
+	assets: new Map([...value.assets ?? /* @__PURE__ */ new Map()].map(([assetId, quantity]) => [assetId.toLowerCase(), quantity]))
+}]);
+/** The sum of deltas, with zero token quantities dropped. */
+const addValueDeltas = (deltas) => {
+	let lovelace = 0n;
+	const assets = /* @__PURE__ */ new Map();
+	for (const delta of deltas) {
+		lovelace += delta.lovelace;
+		for (const [assetId, quantity] of delta.assets) {
+			const sum = (assets.get(assetId) ?? 0n) + quantity;
+			if (sum === 0n) assets.delete(assetId);
+			else assets.set(assetId, sum);
+		}
+	}
+	return {
+		lovelace,
+		assets
+	};
+};
+const negateValueDelta = (delta) => ({
+	lovelace: -delta.lovelace,
+	assets: new Map([...delta.assets].map(([assetId, quantity]) => [assetId, -quantity]))
+});
+/** The policy id of an asset id. */
+const policyIdOf = (assetId) => assetId.slice(0, POLICY_ID_HEX_LENGTH);
+/** The asset name of an asset id, as hex. */
+const assetNameOf = (assetId) => assetId.slice(POLICY_ID_HEX_LENGTH);
+/**
+* Whether an asset id names an asset class. Compared by parts, so an asset
+* whose policy id is not 28 bytes, which no value can hold, matches nothing.
+*/
+const isAssetIdOf = (assetId, asset) => asset.policyId.length === POLICY_ID_HEX_LENGTH && policyIdOf(assetId) === asset.policyId && assetNameOf(assetId) === asset.assetName;
+/** The quantity of one asset class: `assets.quantity_of` of the contract. */
+const quantityOfAsset = (delta, asset) => {
+	if (isCustodyLovelaceAsset(asset)) return delta.lovelace;
+	for (const [assetId, quantity] of delta.assets) if (isAssetIdOf(assetId, asset)) return quantity;
+	return 0n;
+};
+//#endregion
+//#region ../../packages/lib/cardano-custody/src/analysis/outputs.ts
+const OTHER = { kind: "other" };
+/** Hex length of a stake script hash: the state NFT name and the prefix of every grant token name. */
+const STAKE_SCRIPT_HASH_HEX_LENGTH = 56;
+const versionOfPayment = (credential) => credential.type === CredentialType.ScriptHash ? SUPPORTED_CUSTODY_CONTRACT_VERSIONS.find((version) => version.accountValidatorHash === credential.hash) : void 0;
+/**
+* Whether a script hash is a logic in the catalogue of a supported contract
+* version: one whose rules Lace has reviewed.
+*/
+const isKnownCustodyLogic = (scriptHash) => SUPPORTED_CUSTODY_CONTRACT_VERSIONS.some((version) => findCustodyLogic(version, scriptHash).ok);
+/**
+* Classifies an address on any network against every supported custody
+* contract version. It reads the address only: `account` does not prove
+* that the stake script is a custody stake script or that the account
+* exists.
+*/
+const classifyCustodyAddress = (address) => {
+	const base = address.asBase();
+	const payment = (base ?? address.asEnterprise() ?? address.asPointer())?.getPaymentCredential();
+	const contractVersion = payment && versionOfPayment(payment);
+	if (!contractVersion) return OTHER;
+	const stake = base?.getStakeCredential();
+	return stake?.type === CredentialType.ScriptHash ? {
+		kind: "account",
+		contractVersion,
+		stakeScriptHash: stake.hash
+	} : {
+		kind: "unspendable",
+		contractVersion
+	};
+};
+/** A key equal for two addresses exactly when their Plutus data is equal. */
+const plutusAddressKeyOf = (address) => {
+	const recipient = custodyRecipientFromAddress(address);
+	return recipient.ok ? recipientKey(recipient.value) : void 0;
+};
+const accountPlutusAddressKey = ({ accountValidatorHash, stakeScriptHash }) => recipientKey({
+	paymentCredential: {
+		type: CredentialType.ScriptHash,
+		hash: accountValidatorHash
+	},
+	stakeCredential: {
+		kind: "inline",
+		credential: {
+			type: CredentialType.ScriptHash,
+			hash: stakeScriptHash
+		}
+	}
+});
+const stakeCredentialOf = ({ stakeScriptHash }) => ({
+	type: CredentialType.ScriptHash,
+	hash: stakeScriptHash
+});
+const accountAddressOf = (account, networkId) => BaseAddress.fromCredentials(networkId, {
+	type: CredentialType.ScriptHash,
+	hash: account.accountValidatorHash
+}, stakeCredentialOf(account)).toAddress().toBech32();
+const accountRewardAccountOf = (account, networkId) => RewardAccount.fromCredential(stakeCredentialOf(account), networkId);
+const stateNftAssetIdOf = ({ accountValidatorHash, stakeScriptHash }) => `${accountValidatorHash}${stakeScriptHash}`;
+/**
+* The asset id of the account's grant token for `slot`, or undefined for a
+* slot no grant token name can carry, which the validator cannot name either.
+*/
+const grantAssetIdOf = (account, slot) => slot >= 0n && slot < CUSTODY_SLOT_LIMIT ? custodyGrantAssetId(account, slot) : void 0;
+/**
+* The output's datum as the script context sees it. A resolution that
+* carries both an inline datum and its hash, as some providers report an
+* inline datum, keeps the inline datum.
+*/
+const datumOf = (txOut) => {
+	if (txOut.datum !== void 0) return {
+		datumKind: "inline",
+		inlineDatum: txOut.datum
+	};
+	return {
+		datumKind: txOut.datumHash === void 0 ? "none" : "hash",
+		inlineDatum: void 0
+	};
+};
+const viewOfOutput = (txOut) => {
+	const address = Address.fromString(txOut.address) ?? void 0;
+	return {
+		txOut,
+		address,
+		addressClass: address ? classifyCustodyAddress(address) : OTHER,
+		plutusAddressKey: address && plutusAddressKeyOf(address),
+		value: valueDeltaOf(txOut.value),
+		...datumOf(txOut),
+		hasReferenceScript: txOut.scriptReference !== void 0,
+		referenceScriptHash: txOut.scriptReference && Script.fromCore(txOut.scriptReference).hash()
+	};
+};
+/** The account state an output carries as its inline datum, if it decodes. */
+const decodedInlineState = (view) => {
+	if (view.inlineDatum === void 0) return void 0;
+	const decoded = decodeCustodyAccountState(view.inlineDatum);
+	return decoded.ok ? decoded.value : void 0;
+};
+/** The grant an output carries as its inline datum, if it decodes. */
+const decodedInlineGrant = (view) => {
+	if (view.inlineDatum === void 0) return void 0;
+	const decoded = decodeCustodyGrant(view.inlineDatum);
+	return decoded.ok ? decoded.value : void 0;
+};
+/** Whether the output sits at the account address, compared as Plutus data. */
+const isAtAccount = (view, account) => view.plutusAddressKey !== void 0 && view.plutusAddressKey === accountPlutusAddressKey(account);
+/** `holds_state_nft`: exactly one of the account's state NFT. */
+const holdsStateNft = (value, account) => value.assets.get(stateNftAssetIdOf(account)) === 1n;
+/** `holds_only_lovelace_and_state_nft`: the state NFT and no other token. */
+const holdsOnlyLovelaceAndStateNft = (value, account) => value.assets.size === 1 && holdsStateNft(value, account);
+/** `holds_only_lovelace_and_grant_token`: one grant token of `slot` and no other token. */
+const holdsOnlyLovelaceAndGrantToken = (value, account, slot) => {
+	const assetId = grantAssetIdOf(account, slot);
+	return assetId !== void 0 && value.assets.size === 1 && value.assets.get(assetId) === 1n;
+};
+/** `holds_no_account_token`: no token under the account validator policy, of any account. */
+const holdsNoAccountToken = (value, accountValidatorHash) => ![...value.assets.keys()].some((assetId) => policyIdOf(assetId) === accountValidatorHash);
+/** Whether a value holds a token of the account: its state NFT or one of its grant tokens. */
+const holdsOwnAccountToken = (value, { accountValidatorHash, stakeScriptHash }) => [...value.assets.keys()].some((assetId) => policyIdOf(assetId) === accountValidatorHash && assetNameOf(assetId).startsWith(stakeScriptHash));
+/** `holds_account_token`: at the account address, holding one of its account tokens. */
+const holdsAccountToken = (view, account) => isAtAccount(view, account) && holdsOwnAccountToken(view.value, account);
+/** `is_control_output`: at the account address, holding its state NFT. */
+const isControlOutput = (view, account) => isAtAccount(view, account) && holdsStateNft(view.value, account);
+/**
+* Which kind of account UTxO an output at the account address is: the
+* control UTxO holds the state NFT, a grant UTxO another token of the
+* account, a reserve no account token and a datum, a fund neither.
+*/
+const accountUtxoKindOf = (view, account) => {
+	if (holdsStateNft(view.value, account)) return "control";
+	if (holdsOwnAccountToken(view.value, account)) return "grant";
+	return view.datumKind === "none" ? "fund" : "reserve";
+};
+/**
+* Whether an output breaks `tokens_sit_at_their_own_addresses` for one of
+* the account validators: every token under an account validator policy
+* must be a single one at the account address its name's first 28 bytes
+* name.
+*/
+const holdsMisplacedAccountToken = (view, accountValidatorHashes) => [...view.value.assets].some(([assetId, quantity]) => {
+	const accountValidatorHash = policyIdOf(assetId);
+	if (!accountValidatorHashes.includes(accountValidatorHash)) return false;
+	return quantity !== 1n || !isAtAccount(view, {
+		accountValidatorHash,
+		stakeScriptHash: assetNameOf(assetId).slice(0, STAKE_SCRIPT_HASH_HEX_LENGTH)
+	});
+});
+//#endregion
+export { policyIdOf as C, negateValueDelta as S, stateNftAssetIdOf as _, classifyCustodyAddress as a, assetNameOf as b, grantAssetIdOf as c, holdsNoAccountToken as d, holdsOnlyLovelaceAndGrantToken as f, isKnownCustodyLogic as g, isControlOutput as h, accountUtxoKindOf as i, holdsAccountToken as l, isAtAccount as m, accountPlutusAddressKey as n, decodedInlineGrant as o, holdsOnlyLovelaceAndStateNft as p, accountRewardAccountOf as r, decodedInlineState as s, accountAddressOf as t, holdsMisplacedAccountToken as u, viewOfOutput as v, quantityOfAsset as w, isAssetIdOf as x, addValueDeltas as y };

package/dist/outputs-BEM1GPMf.cjs

@@ -0,0 +1,339 @@
+const require_Address = require("./Address-AMKTo-dA.cjs");
+const require_fees = require("./fees-DtC71fOx.cjs");
+const require_hex = require("./hex-BVtOKJki.cjs");
+//#region ../../packages/lib/cardano-custody/src/analysis/value.ts
+/** Hex length of a policy id: every asset class on chain has a 28-byte one. */
+const POLICY_ID_HEX_LENGTH = 56;
+const valueDeltaOf = (value) => addValueDeltas([{
+	lovelace: value.coins,
+	assets: new Map([...value.assets ?? /* @__PURE__ */ new Map()].map(([assetId, quantity]) => [assetId.toLowerCase(), quantity]))
+}]);
+/** The sum of deltas, with zero token quantities dropped. */
+const addValueDeltas = (deltas) => {
+	let lovelace = 0n;
+	const assets = /* @__PURE__ */ new Map();
+	for (const delta of deltas) {
+		lovelace += delta.lovelace;
+		for (const [assetId, quantity] of delta.assets) {
+			const sum = (assets.get(assetId) ?? 0n) + quantity;
+			if (sum === 0n) assets.delete(assetId);
+			else assets.set(assetId, sum);
+		}
+	}
+	return {
+		lovelace,
+		assets
+	};
+};
+const negateValueDelta = (delta) => ({
+	lovelace: -delta.lovelace,
+	assets: new Map([...delta.assets].map(([assetId, quantity]) => [assetId, -quantity]))
+});
+/** The policy id of an asset id. */
+const policyIdOf = (assetId) => assetId.slice(0, POLICY_ID_HEX_LENGTH);
+/** The asset name of an asset id, as hex. */
+const assetNameOf = (assetId) => assetId.slice(POLICY_ID_HEX_LENGTH);
+/**
+* Whether an asset id names an asset class. Compared by parts, so an asset
+* whose policy id is not 28 bytes, which no value can hold, matches nothing.
+*/
+const isAssetIdOf = (assetId, asset) => asset.policyId.length === POLICY_ID_HEX_LENGTH && policyIdOf(assetId) === asset.policyId && assetNameOf(assetId) === asset.assetName;
+/** The quantity of one asset class: `assets.quantity_of` of the contract. */
+const quantityOfAsset = (delta, asset) => {
+	if (require_fees.isCustodyLovelaceAsset(asset)) return delta.lovelace;
+	for (const [assetId, quantity] of delta.assets) if (isAssetIdOf(assetId, asset)) return quantity;
+	return 0n;
+};
+//#endregion
+//#region ../../packages/lib/cardano-custody/src/analysis/outputs.ts
+const OTHER = { kind: "other" };
+/** Hex length of a stake script hash: the state NFT name and the prefix of every grant token name. */
+const STAKE_SCRIPT_HASH_HEX_LENGTH = 56;
+const versionOfPayment = (credential) => credential.type === require_Address.CredentialType.ScriptHash ? require_hex.SUPPORTED_CUSTODY_CONTRACT_VERSIONS.find((version) => version.accountValidatorHash === credential.hash) : void 0;
+/**
+* Whether a script hash is a logic in the catalogue of a supported contract
+* version: one whose rules Lace has reviewed.
+*/
+const isKnownCustodyLogic = (scriptHash) => require_hex.SUPPORTED_CUSTODY_CONTRACT_VERSIONS.some((version) => require_hex.findCustodyLogic(version, scriptHash).ok);
+/**
+* Classifies an address on any network against every supported custody
+* contract version. It reads the address only: `account` does not prove
+* that the stake script is a custody stake script or that the account
+* exists.
+*/
+const classifyCustodyAddress = (address) => {
+	const base = address.asBase();
+	const payment = (base ?? address.asEnterprise() ?? address.asPointer())?.getPaymentCredential();
+	const contractVersion = payment && versionOfPayment(payment);
+	if (!contractVersion) return OTHER;
+	const stake = base?.getStakeCredential();
+	return stake?.type === require_Address.CredentialType.ScriptHash ? {
+		kind: "account",
+		contractVersion,
+		stakeScriptHash: stake.hash
+	} : {
+		kind: "unspendable",
+		contractVersion
+	};
+};
+/** A key equal for two addresses exactly when their Plutus data is equal. */
+const plutusAddressKeyOf = (address) => {
+	const recipient = require_fees.custodyRecipientFromAddress(address);
+	return recipient.ok ? require_fees.recipientKey(recipient.value) : void 0;
+};
+const accountPlutusAddressKey = ({ accountValidatorHash, stakeScriptHash }) => require_fees.recipientKey({
+	paymentCredential: {
+		type: require_Address.CredentialType.ScriptHash,
+		hash: accountValidatorHash
+	},
+	stakeCredential: {
+		kind: "inline",
+		credential: {
+			type: require_Address.CredentialType.ScriptHash,
+			hash: stakeScriptHash
+		}
+	}
+});
+const stakeCredentialOf = ({ stakeScriptHash }) => ({
+	type: require_Address.CredentialType.ScriptHash,
+	hash: stakeScriptHash
+});
+const accountAddressOf = (account, networkId) => require_Address.BaseAddress.fromCredentials(networkId, {
+	type: require_Address.CredentialType.ScriptHash,
+	hash: account.accountValidatorHash
+}, stakeCredentialOf(account)).toAddress().toBech32();
+const accountRewardAccountOf = (account, networkId) => require_Address.RewardAccount.fromCredential(stakeCredentialOf(account), networkId);
+const stateNftAssetIdOf = ({ accountValidatorHash, stakeScriptHash }) => `${accountValidatorHash}${stakeScriptHash}`;
+/**
+* The asset id of the account's grant token for `slot`, or undefined for a
+* slot no grant token name can carry, which the validator cannot name either.
+*/
+const grantAssetIdOf = (account, slot) => slot >= 0n && slot < require_fees.CUSTODY_SLOT_LIMIT ? require_fees.custodyGrantAssetId(account, slot) : void 0;
+/**
+* The output's datum as the script context sees it. A resolution that
+* carries both an inline datum and its hash, as some providers report an
+* inline datum, keeps the inline datum.
+*/
+const datumOf = (txOut) => {
+	if (txOut.datum !== void 0) return {
+		datumKind: "inline",
+		inlineDatum: txOut.datum
+	};
+	return {
+		datumKind: txOut.datumHash === void 0 ? "none" : "hash",
+		inlineDatum: void 0
+	};
+};
+const viewOfOutput = (txOut) => {
+	const address = require_Address.Address.fromString(txOut.address) ?? void 0;
+	return {
+		txOut,
+		address,
+		addressClass: address ? classifyCustodyAddress(address) : OTHER,
+		plutusAddressKey: address && plutusAddressKeyOf(address),
+		value: valueDeltaOf(txOut.value),
+		...datumOf(txOut),
+		hasReferenceScript: txOut.scriptReference !== void 0,
+		referenceScriptHash: txOut.scriptReference && require_Address.Script.fromCore(txOut.scriptReference).hash()
+	};
+};
+/** The account state an output carries as its inline datum, if it decodes. */
+const decodedInlineState = (view) => {
+	if (view.inlineDatum === void 0) return void 0;
+	const decoded = require_fees.decodeCustodyAccountState(view.inlineDatum);
+	return decoded.ok ? decoded.value : void 0;
+};
+/** The grant an output carries as its inline datum, if it decodes. */
+const decodedInlineGrant = (view) => {
+	if (view.inlineDatum === void 0) return void 0;
+	const decoded = require_fees.decodeCustodyGrant(view.inlineDatum);
+	return decoded.ok ? decoded.value : void 0;
+};
+/** Whether the output sits at the account address, compared as Plutus data. */
+const isAtAccount = (view, account) => view.plutusAddressKey !== void 0 && view.plutusAddressKey === accountPlutusAddressKey(account);
+/** `holds_state_nft`: exactly one of the account's state NFT. */
+const holdsStateNft = (value, account) => value.assets.get(stateNftAssetIdOf(account)) === 1n;
+/** `holds_only_lovelace_and_state_nft`: the state NFT and no other token. */
+const holdsOnlyLovelaceAndStateNft = (value, account) => value.assets.size === 1 && holdsStateNft(value, account);
+/** `holds_only_lovelace_and_grant_token`: one grant token of `slot` and no other token. */
+const holdsOnlyLovelaceAndGrantToken = (value, account, slot) => {
+	const assetId = grantAssetIdOf(account, slot);
+	return assetId !== void 0 && value.assets.size === 1 && value.assets.get(assetId) === 1n;
+};
+/** `holds_no_account_token`: no token under the account validator policy, of any account. */
+const holdsNoAccountToken = (value, accountValidatorHash) => ![...value.assets.keys()].some((assetId) => policyIdOf(assetId) === accountValidatorHash);
+/** Whether a value holds a token of the account: its state NFT or one of its grant tokens. */
+const holdsOwnAccountToken = (value, { accountValidatorHash, stakeScriptHash }) => [...value.assets.keys()].some((assetId) => policyIdOf(assetId) === accountValidatorHash && assetNameOf(assetId).startsWith(stakeScriptHash));
+/** `holds_account_token`: at the account address, holding one of its account tokens. */
+const holdsAccountToken = (view, account) => isAtAccount(view, account) && holdsOwnAccountToken(view.value, account);
+/** `is_control_output`: at the account address, holding its state NFT. */
+const isControlOutput = (view, account) => isAtAccount(view, account) && holdsStateNft(view.value, account);
+/**
+* Which kind of account UTxO an output at the account address is: the
+* control UTxO holds the state NFT, a grant UTxO another token of the
+* account, a reserve no account token and a datum, a fund neither.
+*/
+const accountUtxoKindOf = (view, account) => {
+	if (holdsStateNft(view.value, account)) return "control";
+	if (holdsOwnAccountToken(view.value, account)) return "grant";
+	return view.datumKind === "none" ? "fund" : "reserve";
+};
+/**
+* Whether an output breaks `tokens_sit_at_their_own_addresses` for one of
+* the account validators: every token under an account validator policy
+* must be a single one at the account address its name's first 28 bytes
+* name.
+*/
+const holdsMisplacedAccountToken = (view, accountValidatorHashes) => [...view.value.assets].some(([assetId, quantity]) => {
+	const accountValidatorHash = policyIdOf(assetId);
+	if (!accountValidatorHashes.includes(accountValidatorHash)) return false;
+	return quantity !== 1n || !isAtAccount(view, {
+		accountValidatorHash,
+		stakeScriptHash: assetNameOf(assetId).slice(0, STAKE_SCRIPT_HASH_HEX_LENGTH)
+	});
+});
+//#endregion
+Object.defineProperty(exports, "accountAddressOf", {
+	enumerable: true,
+	get: function() {
+		return accountAddressOf;
+	}
+});
+Object.defineProperty(exports, "accountPlutusAddressKey", {
+	enumerable: true,
+	get: function() {
+		return accountPlutusAddressKey;
+	}
+});
+Object.defineProperty(exports, "accountRewardAccountOf", {
+	enumerable: true,
+	get: function() {
+		return accountRewardAccountOf;
+	}
+});
+Object.defineProperty(exports, "accountUtxoKindOf", {
+	enumerable: true,
+	get: function() {
+		return accountUtxoKindOf;
+	}
+});
+Object.defineProperty(exports, "addValueDeltas", {
+	enumerable: true,
+	get: function() {
+		return addValueDeltas;
+	}
+});
+Object.defineProperty(exports, "assetNameOf", {
+	enumerable: true,
+	get: function() {
+		return assetNameOf;
+	}
+});
+Object.defineProperty(exports, "classifyCustodyAddress", {
+	enumerable: true,
+	get: function() {
+		return classifyCustodyAddress;
+	}
+});
+Object.defineProperty(exports, "decodedInlineGrant", {
+	enumerable: true,
+	get: function() {
+		return decodedInlineGrant;
+	}
+});
+Object.defineProperty(exports, "decodedInlineState", {
+	enumerable: true,
+	get: function() {
+		return decodedInlineState;
+	}
+});
+Object.defineProperty(exports, "grantAssetIdOf", {
+	enumerable: true,
+	get: function() {
+		return grantAssetIdOf;
+	}
+});
+Object.defineProperty(exports, "holdsAccountToken", {
+	enumerable: true,
+	get: function() {
+		return holdsAccountToken;
+	}
+});
+Object.defineProperty(exports, "holdsMisplacedAccountToken", {
+	enumerable: true,
+	get: function() {
+		return holdsMisplacedAccountToken;
+	}
+});
+Object.defineProperty(exports, "holdsNoAccountToken", {
+	enumerable: true,
+	get: function() {
+		return holdsNoAccountToken;
+	}
+});
+Object.defineProperty(exports, "holdsOnlyLovelaceAndGrantToken", {
+	enumerable: true,
+	get: function() {
+		return holdsOnlyLovelaceAndGrantToken;
+	}
+});
+Object.defineProperty(exports, "holdsOnlyLovelaceAndStateNft", {
+	enumerable: true,
+	get: function() {
+		return holdsOnlyLovelaceAndStateNft;
+	}
+});
+Object.defineProperty(exports, "isAssetIdOf", {
+	enumerable: true,
+	get: function() {
+		return isAssetIdOf;
+	}
+});
+Object.defineProperty(exports, "isAtAccount", {
+	enumerable: true,
+	get: function() {
+		return isAtAccount;
+	}
+});
+Object.defineProperty(exports, "isControlOutput", {
+	enumerable: true,
+	get: function() {
+		return isControlOutput;
+	}
+});
+Object.defineProperty(exports, "isKnownCustodyLogic", {
+	enumerable: true,
+	get: function() {
+		return isKnownCustodyLogic;
+	}
+});
+Object.defineProperty(exports, "negateValueDelta", {
+	enumerable: true,
+	get: function() {
+		return negateValueDelta;
+	}
+});
+Object.defineProperty(exports, "policyIdOf", {
+	enumerable: true,
+	get: function() {
+		return policyIdOf;
+	}
+});
+Object.defineProperty(exports, "quantityOfAsset", {
+	enumerable: true,
+	get: function() {
+		return quantityOfAsset;
+	}
+});
+Object.defineProperty(exports, "stateNftAssetIdOf", {
+	enumerable: true,
+	get: function() {
+		return stateNftAssetIdOf;
+	}
+});
+Object.defineProperty(exports, "viewOfOutput", {
+	enumerable: true,
+	get: function() {
+		return viewOfOutput;
+	}
+});