@cardananium/cquisitor-lib 0.1.0-beta.57 → 0.1.0-beta.59

package/browser/cquisitor_lib.d.ts

@@ -445,6 +445,65 @@ export function decode_plutus_program_pretty_uplc(hex: string): string;
  */
 export function get_ref_script_bytes(tx_hex: string, output_index: number): string;
 
+/**
+ * Add witnesses to an already built transaction, accepting witnesses in many
+ * shapes. The transaction body bytes (and therefore the transaction id and every
+ * existing signature) are preserved exactly.
+ *
+ * Each entry of `witnesses` is auto-detected and may be a single Vkeywitness, a
+ * single BootstrapWitness, a whole TransactionWitnessSet (e.g. a CIP-30 `signTx`
+ * result), or a whole transaction (its vkey/bootstrap witnesses are taken) —
+ * encoded as hex, base64, or a cardano-cli JSON text-envelope (`{ "cborHex": ... }`).
+ * Only vkey and bootstrap witnesses are merged; duplicates are ignored.
+ * @param {string} tx_hex
+ * @param {string[]} witnesses
+ * @returns {string}
+ */
+export function add_witnesses_to_tx(tx_hex: string, witnesses: string[]): string;
+
+/**
+ * Strict helper: add vkey witnesses, each the CBOR-hex of a single Vkeywitness
+ * (`[ vkey, signature ]`). Use `add_witnesses_to_tx` if the input format may vary.
+ * @param {string} tx_hex
+ * @param {string[]} vkey_witnesses_hex
+ * @returns {string}
+ */
+export function add_vkey_witnesses_to_tx(tx_hex: string, vkey_witnesses_hex: string[]): string;
+
+/**
+ * Strict helper: merge a whole TransactionWitnessSet (CBOR-hex) into a transaction.
+ * This is the canonical shape returned by a CIP-30 `signTx`.
+ * Use `add_witnesses_to_tx` if the input format may vary.
+ * @param {string} tx_hex
+ * @param {string} witness_set_hex
+ * @returns {string}
+ */
+export function add_witness_set_to_tx(tx_hex: string, witness_set_hex: string): string;
+
+/**
+ * Like `add_witnesses_to_tx`, but cryptographically verifies each vkey witness
+ * against the transaction body and returns a detailed report. Only valid,
+ * non-duplicate vkey witnesses are inserted; a witness whose signature does not
+ * match this transaction is skipped and counted as `invalid`.
+ * @param {string} tx_hex
+ * @param {string[]} witnesses
+ * @returns {AddWitnessesReport}
+ */
+export function add_witnesses_to_tx_with_report(tx_hex: string, witnesses: string[]): AddWitnessesReport;
+
+export interface AddWitnessesReport {
+    /** Hex of the resulting transaction (unchanged if nothing was added). */
+    tx_hex: string;
+    /** Vkey witnesses newly inserted. */
+    added: number;
+    /** Vkey witnesses skipped because that public key was already present. */
+    duplicates: number;
+    /** Vkey witnesses skipped because their signature did not verify against this transaction. */
+    invalid: number;
+    /** blake2b-224 (hex) key hashes of each newly added vkey witness. */
+    added_key_hashes: string[];
+}
+
 export interface CborPosition {
     offset: number;
     length: number;
@@ -1474,6 +1533,12 @@ export type NetworkType = "mainnet" | "preview" | "preprod";
 
 export interface ValidationInputContext {
   accountContexts: AccountInputContext[];
+  /**
+   * Current constitution. When present, enables the ParameterChange /
+   *  TreasuryWithdrawals guardrails-policy-hash check; when absent (older
+   *  callers, or a provider that can't supply it) that check is skipped.
+   */
+  constitution?: ConstitutionContext | null;
   currentCommitteeMembers: CommitteeInputContext[];
   drepContexts: DrepInputContext[];
   govActionContexts: GovActionInputContext[];
@@ -1494,6 +1559,17 @@ export interface AccountInputContext {
   isRegistered: boolean;
   payedDeposit?: number | null;
 }
+/**
+ * Current on-chain constitution, as far as the caller can supply it. Only the
+ *  guardrails (constitution policy) script hash matters for validation.
+ */
+export interface ConstitutionContext {
+  /**
+   * Guardrails script hash (hex). `None` means the constitution defines no
+   *  guardrails script.
+   */
+  guardrailScriptHash?: string | null;
+}
 export interface CommitteeInputContext {
   committeeMemberCold: LocalCredential;
   committeeMemberHot?: LocalCredential | null;

package/browser/cquisitor_lib.js

@@ -5,5 +5,5 @@ import { __wbg_set_wasm } from "./cquisitor_lib_bg.js";
 __wbg_set_wasm(wasm);
 wasm.__wbindgen_start();
 export {
-    Address, AddressKind, Anchor, AnchorDataHash, AssetName, AssetNames, Assets, AuxiliaryData, AuxiliaryDataHash, AuxiliaryDataSet, BaseAddress, BigInt, BigNum, Bip32PrivateKey, Bip32PublicKey, Block, BlockEra, BlockHash, BootstrapWitness, BootstrapWitnesses, ByronAddress, ByronAddressType, CborContainerType, CborSetType, Certificate, CertificateKind, Certificates, CertificatesBuilder, ChangeConfig, CoinSelectionStrategyCIP2, Committee, CommitteeColdResign, CommitteeHotAuth, Constitution, ConstrPlutusData, CostModel, Costmdls, CredKind, Credential, Credentials, DNSRecordAorAAAA, DNSRecordSRV, DRep, DRepDeregistration, DRepKind, DRepRegistration, DRepUpdate, DRepVotingThresholds, DataCost, DataHash, DatumSource, Ed25519KeyHash, Ed25519KeyHashes, Ed25519Signature, EnterpriseAddress, ExUnitPrices, ExUnits, FixedBlock, FixedTransaction, FixedTransactionBodies, FixedTransactionBody, FixedTxWitnessesSet, FixedVersionedBlock, GeneralTransactionMetadata, GenesisDelegateHash, GenesisHash, GenesisHashes, GenesisKeyDelegation, GovernanceAction, GovernanceActionId, GovernanceActionIds, GovernanceActionKind, HardForkInitiationAction, Header, HeaderBody, InfoAction, Int, Ipv4, Ipv6, KESSignature, KESVKey, Language, LanguageKind, Languages, LegacyDaedalusPrivateKey, LinearFee, MIRKind, MIRPot, MIRToStakeCredentials, MalformedAddress, MetadataJsonSchema, MetadataList, MetadataMap, Mint, MintAssets, MintBuilder, MintWitness, MintsAssets, MoveInstantaneousReward, MoveInstantaneousRewardsCert, MultiAsset, MultiHostName, NativeScript, NativeScriptKind, NativeScriptSource, NativeScripts, NetworkId, NetworkIdKind, NetworkInfo, NewConstitutionAction, NoConfidenceAction, Nonce, OperationalCert, OutputDatum, ParameterChangeAction, PlutusData, PlutusDataKind, PlutusDatumSchema, PlutusList, PlutusMap, PlutusMapValues, PlutusScript, PlutusScriptSource, PlutusScripts, PlutusWitness, PlutusWitnesses, Pointer, PointerAddress, PoolMetadata, PoolMetadataHash, PoolParams, PoolRegistration, PoolRetirement, PoolVotingThresholds, PrivateKey, ProposedProtocolParameterUpdates, ProtocolParamUpdate, ProtocolVersion, PublicKey, PublicKeys, Redeemer, RedeemerTag, RedeemerTagKind, Redeemers, Relay, RelayKind, Relays, RewardAddress, RewardAddresses, ScriptAll, ScriptAny, ScriptDataHash, ScriptHash, ScriptHashNamespace, ScriptHashes, ScriptNOfK, ScriptPubkey, ScriptRef, ScriptSchema, SingleHostAddr, SingleHostName, StakeAndVoteDelegation, StakeDelegation, StakeDeregistration, StakeRegistration, StakeRegistrationAndDelegation, StakeVoteRegistrationAndDelegation, Strings, TimelockExpiry, TimelockStart, Transaction, TransactionBatch, TransactionBatchList, TransactionBodies, TransactionBody, TransactionBuilder, TransactionBuilderConfig, TransactionBuilderConfigBuilder, TransactionHash, TransactionInput, TransactionInputs, TransactionMetadatum, TransactionMetadatumKind, TransactionMetadatumLabels, TransactionOutput, TransactionOutputAmountBuilder, TransactionOutputBuilder, TransactionOutputs, TransactionSetsState, TransactionUnspentOutput, TransactionUnspentOutputs, TransactionWitnessSet, TransactionWitnessSets, TreasuryWithdrawals, TreasuryWithdrawalsAction, TxInputsBuilder, URL, UnitInterval, Update, UpdateCommitteeAction, VRFCert, VRFKeyHash, VRFVKey, Value, VersionedBlock, Vkey, Vkeys, Vkeywitness, Vkeywitnesses, VoteDelegation, VoteKind, VoteRegistrationAndDelegation, Voter, VoterKind, Voters, VotingBuilder, VotingProcedure, VotingProcedures, VotingProposal, VotingProposalBuilder, VotingProposals, Withdrawals, WithdrawalsBuilder, calculate_ex_units_ceil_cost, cbor_to_json, cddl_format, cddl_from_str, cddl_outline, cddl_references, cddl_symbol_at, check_block_or_tx_signatures, create_send_all, decode_arbitrary_bytes_from_metadatum, decode_cbor_against_cddl, decode_metadatum_to_json_str, decode_plutus_datum_to_json_str, decode_plutus_program_pretty_uplc, decode_plutus_program_uplc_json, decode_specific_type, decrypt_with_password, encode_arbitrary_bytes_as_metadatum, encode_json_str_to_metadatum, encode_json_str_to_native_script, encode_json_str_to_plutus_datum, encrypt_with_password, execute_tx_scripts, extract_hashes_from_transaction_js, get_decodable_types, get_deposit, get_implicit_input, get_necessary_data_list_js, get_possible_types_for_input, get_ref_script_bytes, get_utxo_list_from_tx, has_transaction_set_tag, hash_auxiliary_data, hash_plutus_data, hash_script_data, make_daedalus_bootstrap_witness, make_icarus_bootstrap_witness, make_vkey_witness, map_cbor_to_cddl, min_ada_for_output, min_fee, min_ref_script_fee, min_script_fee, validate_cbor_against_cddl, validate_cbor_from_slice, validate_cddl, validate_cddl_from_str, validate_json_from_str, validate_transaction_js
+    Address, AddressKind, Anchor, AnchorDataHash, AssetName, AssetNames, Assets, AuxiliaryData, AuxiliaryDataHash, AuxiliaryDataSet, BaseAddress, BigInt, BigNum, Bip32PrivateKey, Bip32PublicKey, Block, BlockEra, BlockHash, BootstrapWitness, BootstrapWitnesses, ByronAddress, ByronAddressType, CborContainerType, CborSetType, Certificate, CertificateKind, Certificates, CertificatesBuilder, ChangeConfig, CoinSelectionStrategyCIP2, Committee, CommitteeColdResign, CommitteeHotAuth, Constitution, ConstrPlutusData, CostModel, Costmdls, CredKind, Credential, Credentials, DNSRecordAorAAAA, DNSRecordSRV, DRep, DRepDeregistration, DRepKind, DRepRegistration, DRepUpdate, DRepVotingThresholds, DataCost, DataHash, DatumSource, Ed25519KeyHash, Ed25519KeyHashes, Ed25519Signature, EnterpriseAddress, ExUnitPrices, ExUnits, FixedBlock, FixedTransaction, FixedTransactionBodies, FixedTransactionBody, FixedTxWitnessesSet, FixedVersionedBlock, GeneralTransactionMetadata, GenesisDelegateHash, GenesisHash, GenesisHashes, GenesisKeyDelegation, GovernanceAction, GovernanceActionId, GovernanceActionIds, GovernanceActionKind, HardForkInitiationAction, Header, HeaderBody, InfoAction, Int, Ipv4, Ipv6, KESSignature, KESVKey, Language, LanguageKind, Languages, LegacyDaedalusPrivateKey, LinearFee, MIRKind, MIRPot, MIRToStakeCredentials, MalformedAddress, MetadataJsonSchema, MetadataList, MetadataMap, Mint, MintAssets, MintBuilder, MintWitness, MintsAssets, MoveInstantaneousReward, MoveInstantaneousRewardsCert, MultiAsset, MultiHostName, NativeScript, NativeScriptKind, NativeScriptSource, NativeScripts, NetworkId, NetworkIdKind, NetworkInfo, NewConstitutionAction, NoConfidenceAction, Nonce, OperationalCert, OutputDatum, ParameterChangeAction, PlutusData, PlutusDataKind, PlutusDatumSchema, PlutusList, PlutusMap, PlutusMapValues, PlutusScript, PlutusScriptSource, PlutusScripts, PlutusWitness, PlutusWitnesses, Pointer, PointerAddress, PoolMetadata, PoolMetadataHash, PoolParams, PoolRegistration, PoolRetirement, PoolVotingThresholds, PrivateKey, ProposedProtocolParameterUpdates, ProtocolParamUpdate, ProtocolVersion, PublicKey, PublicKeys, Redeemer, RedeemerTag, RedeemerTagKind, Redeemers, Relay, RelayKind, Relays, RewardAddress, RewardAddresses, ScriptAll, ScriptAny, ScriptDataHash, ScriptHash, ScriptHashNamespace, ScriptHashes, ScriptNOfK, ScriptPubkey, ScriptRef, ScriptSchema, SingleHostAddr, SingleHostName, StakeAndVoteDelegation, StakeDelegation, StakeDeregistration, StakeRegistration, StakeRegistrationAndDelegation, StakeVoteRegistrationAndDelegation, Strings, TimelockExpiry, TimelockStart, Transaction, TransactionBatch, TransactionBatchList, TransactionBodies, TransactionBody, TransactionBuilder, TransactionBuilderConfig, TransactionBuilderConfigBuilder, TransactionHash, TransactionInput, TransactionInputs, TransactionMetadatum, TransactionMetadatumKind, TransactionMetadatumLabels, TransactionOutput, TransactionOutputAmountBuilder, TransactionOutputBuilder, TransactionOutputs, TransactionSetsState, TransactionUnspentOutput, TransactionUnspentOutputs, TransactionWitnessSet, TransactionWitnessSets, TreasuryWithdrawals, TreasuryWithdrawalsAction, TxInputsBuilder, URL, UnitInterval, Update, UpdateCommitteeAction, VRFCert, VRFKeyHash, VRFVKey, Value, VersionedBlock, Vkey, Vkeys, Vkeywitness, Vkeywitnesses, VoteDelegation, VoteKind, VoteRegistrationAndDelegation, Voter, VoterKind, Voters, VotingBuilder, VotingProcedure, VotingProcedures, VotingProposal, VotingProposalBuilder, VotingProposals, Withdrawals, WithdrawalsBuilder, add_vkey_witnesses_to_tx, add_witness_set_to_tx, add_witnesses_to_tx, add_witnesses_to_tx_with_report, calculate_ex_units_ceil_cost, cbor_to_json, cddl_format, cddl_from_str, cddl_outline, cddl_references, cddl_symbol_at, check_block_or_tx_signatures, create_send_all, decode_arbitrary_bytes_from_metadatum, decode_cbor_against_cddl, decode_metadatum_to_json_str, decode_plutus_datum_to_json_str, decode_plutus_program_pretty_uplc, decode_plutus_program_uplc_json, decode_specific_type, decrypt_with_password, encode_arbitrary_bytes_as_metadatum, encode_json_str_to_metadatum, encode_json_str_to_native_script, encode_json_str_to_plutus_datum, encrypt_with_password, execute_tx_scripts, extract_hashes_from_transaction_js, get_decodable_types, get_deposit, get_implicit_input, get_necessary_data_list_js, get_possible_types_for_input, get_ref_script_bytes, get_utxo_list_from_tx, has_transaction_set_tag, hash_auxiliary_data, hash_plutus_data, hash_script_data, make_daedalus_bootstrap_witness, make_icarus_bootstrap_witness, make_vkey_witness, map_cbor_to_cddl, min_ada_for_output, min_fee, min_ref_script_fee, min_script_fee, validate_cbor_against_cddl, validate_cbor_from_slice, validate_cddl, validate_cddl_from_str, validate_json_from_str, validate_transaction_js
 } from "./cquisitor_lib_bg.js";

package/browser/cquisitor_lib_bg.js

@@ -28421,6 +28421,136 @@ export class WithdrawalsBuilder {
 }
 if (Symbol.dispose) WithdrawalsBuilder.prototype[Symbol.dispose] = WithdrawalsBuilder.prototype.free;
 
+/**
+ * Strict helper: add a list of vkey witnesses, each the CBOR-hex of a single
+ * `Vkeywitness` (`[ vkey, signature ]`). Use [`add_witnesses_to_tx`] if the
+ * input format may vary.
+ * @param {string} tx_hex
+ * @param {string[]} vkey_witnesses_hex
+ * @returns {string}
+ */
+export function add_vkey_witnesses_to_tx(tx_hex, vkey_witnesses_hex) {
+    let deferred4_0;
+    let deferred4_1;
+    try {
+        const ptr0 = passStringToWasm0(tx_hex, wasm.__wbindgen_malloc, wasm.__wbindgen_realloc);
+        const len0 = WASM_VECTOR_LEN;
+        const ptr1 = passArrayJsValueToWasm0(vkey_witnesses_hex, wasm.__wbindgen_malloc);
+        const len1 = WASM_VECTOR_LEN;
+        const ret = wasm.add_vkey_witnesses_to_tx(ptr0, len0, ptr1, len1);
+        var ptr3 = ret[0];
+        var len3 = ret[1];
+        if (ret[3]) {
+            ptr3 = 0; len3 = 0;
+            throw takeFromExternrefTable0(ret[2]);
+        }
+        deferred4_0 = ptr3;
+        deferred4_1 = len3;
+        return getStringFromWasm0(ptr3, len3);
+    } finally {
+        wasm.__wbindgen_free(deferred4_0, deferred4_1, 1);
+    }
+}
+
+/**
+ * Strict helper: merge a whole `TransactionWitnessSet` (CBOR-hex) into a
+ * transaction. This is the canonical shape returned by a CIP-30 `signTx`.
+ * Use [`add_witnesses_to_tx`] if the input format may vary.
+ * @param {string} tx_hex
+ * @param {string} witness_set_hex
+ * @returns {string}
+ */
+export function add_witness_set_to_tx(tx_hex, witness_set_hex) {
+    let deferred4_0;
+    let deferred4_1;
+    try {
+        const ptr0 = passStringToWasm0(tx_hex, wasm.__wbindgen_malloc, wasm.__wbindgen_realloc);
+        const len0 = WASM_VECTOR_LEN;
+        const ptr1 = passStringToWasm0(witness_set_hex, wasm.__wbindgen_malloc, wasm.__wbindgen_realloc);
+        const len1 = WASM_VECTOR_LEN;
+        const ret = wasm.add_witness_set_to_tx(ptr0, len0, ptr1, len1);
+        var ptr3 = ret[0];
+        var len3 = ret[1];
+        if (ret[3]) {
+            ptr3 = 0; len3 = 0;
+            throw takeFromExternrefTable0(ret[2]);
+        }
+        deferred4_0 = ptr3;
+        deferred4_1 = len3;
+        return getStringFromWasm0(ptr3, len3);
+    } finally {
+        wasm.__wbindgen_free(deferred4_0, deferred4_1, 1);
+    }
+}
+
+/**
+ * Add witnesses to an already built transaction, accepting witnesses in many
+ * shapes — mirroring the format-flexible behaviour of the original PR.
+ *
+ * The transaction body bytes (and therefore the transaction id / every existing
+ * signature) are preserved exactly, because we rely on CSL's `FixedTransaction`,
+ * which keeps the original body bytes and only re-encodes the witness set.
+ *
+ * Each entry of `witnesses` is auto-detected and may be any of:
+ * - a single `Vkeywitness` (`[ vkey, signature ]`);
+ * - a single `BootstrapWitness`;
+ * - a whole `TransactionWitnessSet` (e.g. the result of a CIP-30 `signTx`);
+ * - a whole transaction (signed or not) — its vkey/bootstrap witnesses are taken;
+ *
+ * each of those encoded as hex, base64, or wrapped in a cardano-cli style JSON
+ * text-envelope (`{ "cborHex": "..." }`). Only vkey and bootstrap witnesses are
+ * merged (the parts a signer can contribute); duplicates are ignored by CSL.
+ *
+ * Returns the hex of the resulting transaction.
+ * @param {string} tx_hex
+ * @param {string[]} witnesses
+ * @returns {string}
+ */
+export function add_witnesses_to_tx(tx_hex, witnesses) {
+    let deferred4_0;
+    let deferred4_1;
+    try {
+        const ptr0 = passStringToWasm0(tx_hex, wasm.__wbindgen_malloc, wasm.__wbindgen_realloc);
+        const len0 = WASM_VECTOR_LEN;
+        const ptr1 = passArrayJsValueToWasm0(witnesses, wasm.__wbindgen_malloc);
+        const len1 = WASM_VECTOR_LEN;
+        const ret = wasm.add_witnesses_to_tx(ptr0, len0, ptr1, len1);
+        var ptr3 = ret[0];
+        var len3 = ret[1];
+        if (ret[3]) {
+            ptr3 = 0; len3 = 0;
+            throw takeFromExternrefTable0(ret[2]);
+        }
+        deferred4_0 = ptr3;
+        deferred4_1 = len3;
+        return getStringFromWasm0(ptr3, len3);
+    } finally {
+        wasm.__wbindgen_free(deferred4_0, deferred4_1, 1);
+    }
+}
+
+/**
+ * Like [`add_witnesses_to_tx`], but cryptographically verifies each vkey
+ * witness against the transaction body and returns a report. Only valid,
+ * non-duplicate vkey witnesses are inserted; a witness whose signature does
+ * not match this transaction is skipped and counted as `invalid`. Bootstrap
+ * witnesses are inserted as-is (their Byron signing scheme is not verified).
+ * @param {string} tx_hex
+ * @param {string[]} witnesses
+ * @returns {any}
+ */
+export function add_witnesses_to_tx_with_report(tx_hex, witnesses) {
+    const ptr0 = passStringToWasm0(tx_hex, wasm.__wbindgen_malloc, wasm.__wbindgen_realloc);
+    const len0 = WASM_VECTOR_LEN;
+    const ptr1 = passArrayJsValueToWasm0(witnesses, wasm.__wbindgen_malloc);
+    const len1 = WASM_VECTOR_LEN;
+    const ret = wasm.add_witnesses_to_tx_with_report(ptr0, len0, ptr1, len1);
+    if (ret[2]) {
+        throw takeFromExternrefTable0(ret[1]);
+    }
+    return takeFromExternrefTable0(ret[0]);
+}
+
 /**
  * @param {ExUnits} ex_units
  * @param {ExUnitPrices} ex_unit_prices

package/browser/cquisitor_lib_bg.wasm.d.ts

@@ -4,12 +4,6 @@ export const memory: WebAssembly.Memory;
 export const decode_specific_type: (a: number, b: number, c: number, d: number, e: any) => [number, number, number];
 export const get_decodable_types: () => [number, number];
 export const get_possible_types_for_input: (a: number, b: number) => [number, number];
-export const check_block_or_tx_signatures: (a: number, b: number) => [number, number, number];
-export const decode_plutus_program_pretty_uplc: (a: number, b: number) => [number, number, number, number];
-export const decode_plutus_program_uplc_json: (a: number, b: number) => [number, number, number];
-export const execute_tx_scripts: (a: number, b: number, c: any, d: any) => [number, number, number];
-export const get_ref_script_bytes: (a: number, b: number, c: number) => [number, number, number, number];
-export const get_utxo_list_from_tx: (a: number, b: number) => [number, number, number, number];
 export const cbor_to_json: (a: number, b: number) => [number, number, number];
 export const cddl_format: (a: number, b: number) => [number, number, number, number];
 export const cddl_outline: (a: number, b: number) => [number, number, number];
@@ -19,9 +13,19 @@ export const decode_cbor_against_cddl: (a: number, b: number, c: number, d: numb
 export const map_cbor_to_cddl: (a: number, b: number, c: number, d: number, e: number, f: number) => [number, number, number];
 export const validate_cbor_against_cddl: (a: number, b: number, c: number, d: number, e: number, f: number) => [number, number, number];
 export const validate_cddl: (a: number, b: number) => [number, number, number];
-export const extract_hashes_from_transaction_js: (a: number, b: number) => [number, number, number, number];
 export const get_necessary_data_list_js: (a: number, b: number, c: number, d: number) => [number, number, number, number];
+export const get_ref_script_bytes: (a: number, b: number, c: number) => [number, number, number, number];
 export const validate_transaction_js: (a: number, b: number, c: number, d: number) => [number, number, number, number];
+export const add_vkey_witnesses_to_tx: (a: number, b: number, c: number, d: number) => [number, number, number, number];
+export const add_witness_set_to_tx: (a: number, b: number, c: number, d: number) => [number, number, number, number];
+export const add_witnesses_to_tx: (a: number, b: number, c: number, d: number) => [number, number, number, number];
+export const add_witnesses_to_tx_with_report: (a: number, b: number, c: number, d: number) => [number, number, number];
+export const check_block_or_tx_signatures: (a: number, b: number) => [number, number, number];
+export const decode_plutus_program_pretty_uplc: (a: number, b: number) => [number, number, number, number];
+export const decode_plutus_program_uplc_json: (a: number, b: number) => [number, number, number];
+export const extract_hashes_from_transaction_js: (a: number, b: number) => [number, number, number, number];
+export const execute_tx_scripts: (a: number, b: number, c: any, d: any) => [number, number, number];
+export const get_utxo_list_from_tx: (a: number, b: number) => [number, number, number, number];
 export const validate_cbor_from_slice: (a: number, b: number, c: number, d: number, e: number, f: number) => [number, number, number];
 export const validate_json_from_str: (a: number, b: number, c: number, d: number, e: number, f: number) => [number, number, number];
 export const cddl_from_str: (a: number, b: number) => [number, number, number];

package/node/cquisitor_lib.d.ts

@@ -445,6 +445,65 @@ export function decode_plutus_program_pretty_uplc(hex: string): string;
  */
 export function get_ref_script_bytes(tx_hex: string, output_index: number): string;
 
+/**
+ * Add witnesses to an already built transaction, accepting witnesses in many
+ * shapes. The transaction body bytes (and therefore the transaction id and every
+ * existing signature) are preserved exactly.
+ *
+ * Each entry of `witnesses` is auto-detected and may be a single Vkeywitness, a
+ * single BootstrapWitness, a whole TransactionWitnessSet (e.g. a CIP-30 `signTx`
+ * result), or a whole transaction (its vkey/bootstrap witnesses are taken) —
+ * encoded as hex, base64, or a cardano-cli JSON text-envelope (`{ "cborHex": ... }`).
+ * Only vkey and bootstrap witnesses are merged; duplicates are ignored.
+ * @param {string} tx_hex
+ * @param {string[]} witnesses
+ * @returns {string}
+ */
+export function add_witnesses_to_tx(tx_hex: string, witnesses: string[]): string;
+
+/**
+ * Strict helper: add vkey witnesses, each the CBOR-hex of a single Vkeywitness
+ * (`[ vkey, signature ]`). Use `add_witnesses_to_tx` if the input format may vary.
+ * @param {string} tx_hex
+ * @param {string[]} vkey_witnesses_hex
+ * @returns {string}
+ */
+export function add_vkey_witnesses_to_tx(tx_hex: string, vkey_witnesses_hex: string[]): string;
+
+/**
+ * Strict helper: merge a whole TransactionWitnessSet (CBOR-hex) into a transaction.
+ * This is the canonical shape returned by a CIP-30 `signTx`.
+ * Use `add_witnesses_to_tx` if the input format may vary.
+ * @param {string} tx_hex
+ * @param {string} witness_set_hex
+ * @returns {string}
+ */
+export function add_witness_set_to_tx(tx_hex: string, witness_set_hex: string): string;
+
+/**
+ * Like `add_witnesses_to_tx`, but cryptographically verifies each vkey witness
+ * against the transaction body and returns a detailed report. Only valid,
+ * non-duplicate vkey witnesses are inserted; a witness whose signature does not
+ * match this transaction is skipped and counted as `invalid`.
+ * @param {string} tx_hex
+ * @param {string[]} witnesses
+ * @returns {AddWitnessesReport}
+ */
+export function add_witnesses_to_tx_with_report(tx_hex: string, witnesses: string[]): AddWitnessesReport;
+
+export interface AddWitnessesReport {
+    /** Hex of the resulting transaction (unchanged if nothing was added). */
+    tx_hex: string;
+    /** Vkey witnesses newly inserted. */
+    added: number;
+    /** Vkey witnesses skipped because that public key was already present. */
+    duplicates: number;
+    /** Vkey witnesses skipped because their signature did not verify against this transaction. */
+    invalid: number;
+    /** blake2b-224 (hex) key hashes of each newly added vkey witness. */
+    added_key_hashes: string[];
+}
+
 export interface CborPosition {
     offset: number;
     length: number;
@@ -1474,6 +1533,12 @@ export type NetworkType = "mainnet" | "preview" | "preprod";
 
 export interface ValidationInputContext {
   accountContexts: AccountInputContext[];
+  /**
+   * Current constitution. When present, enables the ParameterChange /
+   *  TreasuryWithdrawals guardrails-policy-hash check; when absent (older
+   *  callers, or a provider that can't supply it) that check is skipped.
+   */
+  constitution?: ConstitutionContext | null;
   currentCommitteeMembers: CommitteeInputContext[];
   drepContexts: DrepInputContext[];
   govActionContexts: GovActionInputContext[];
@@ -1494,6 +1559,17 @@ export interface AccountInputContext {
   isRegistered: boolean;
   payedDeposit?: number | null;
 }
+/**
+ * Current on-chain constitution, as far as the caller can supply it. Only the
+ *  guardrails (constitution policy) script hash matters for validation.
+ */
+export interface ConstitutionContext {
+  /**
+   * Guardrails script hash (hex). `None` means the constitution defines no
+   *  guardrails script.
+   */
+  guardrailScriptHash?: string | null;
+}
 export interface CommitteeInputContext {
   committeeMemberCold: LocalCredential;
   committeeMemberHot?: LocalCredential | null;

package/node/cquisitor_lib.js

@@ -28646,6 +28646,140 @@ class WithdrawalsBuilder {
 if (Symbol.dispose) WithdrawalsBuilder.prototype[Symbol.dispose] = WithdrawalsBuilder.prototype.free;
 exports.WithdrawalsBuilder = WithdrawalsBuilder;
 
+/**
+ * Strict helper: add a list of vkey witnesses, each the CBOR-hex of a single
+ * `Vkeywitness` (`[ vkey, signature ]`). Use [`add_witnesses_to_tx`] if the
+ * input format may vary.
+ * @param {string} tx_hex
+ * @param {string[]} vkey_witnesses_hex
+ * @returns {string}
+ */
+function add_vkey_witnesses_to_tx(tx_hex, vkey_witnesses_hex) {
+    let deferred4_0;
+    let deferred4_1;
+    try {
+        const ptr0 = passStringToWasm0(tx_hex, wasm.__wbindgen_malloc, wasm.__wbindgen_realloc);
+        const len0 = WASM_VECTOR_LEN;
+        const ptr1 = passArrayJsValueToWasm0(vkey_witnesses_hex, wasm.__wbindgen_malloc);
+        const len1 = WASM_VECTOR_LEN;
+        const ret = wasm.add_vkey_witnesses_to_tx(ptr0, len0, ptr1, len1);
+        var ptr3 = ret[0];
+        var len3 = ret[1];
+        if (ret[3]) {
+            ptr3 = 0; len3 = 0;
+            throw takeFromExternrefTable0(ret[2]);
+        }
+        deferred4_0 = ptr3;
+        deferred4_1 = len3;
+        return getStringFromWasm0(ptr3, len3);
+    } finally {
+        wasm.__wbindgen_free(deferred4_0, deferred4_1, 1);
+    }
+}
+exports.add_vkey_witnesses_to_tx = add_vkey_witnesses_to_tx;
+
+/**
+ * Strict helper: merge a whole `TransactionWitnessSet` (CBOR-hex) into a
+ * transaction. This is the canonical shape returned by a CIP-30 `signTx`.
+ * Use [`add_witnesses_to_tx`] if the input format may vary.
+ * @param {string} tx_hex
+ * @param {string} witness_set_hex
+ * @returns {string}
+ */
+function add_witness_set_to_tx(tx_hex, witness_set_hex) {
+    let deferred4_0;
+    let deferred4_1;
+    try {
+        const ptr0 = passStringToWasm0(tx_hex, wasm.__wbindgen_malloc, wasm.__wbindgen_realloc);
+        const len0 = WASM_VECTOR_LEN;
+        const ptr1 = passStringToWasm0(witness_set_hex, wasm.__wbindgen_malloc, wasm.__wbindgen_realloc);
+        const len1 = WASM_VECTOR_LEN;
+        const ret = wasm.add_witness_set_to_tx(ptr0, len0, ptr1, len1);
+        var ptr3 = ret[0];
+        var len3 = ret[1];
+        if (ret[3]) {
+            ptr3 = 0; len3 = 0;
+            throw takeFromExternrefTable0(ret[2]);
+        }
+        deferred4_0 = ptr3;
+        deferred4_1 = len3;
+        return getStringFromWasm0(ptr3, len3);
+    } finally {
+        wasm.__wbindgen_free(deferred4_0, deferred4_1, 1);
+    }
+}
+exports.add_witness_set_to_tx = add_witness_set_to_tx;
+
+/**
+ * Add witnesses to an already built transaction, accepting witnesses in many
+ * shapes — mirroring the format-flexible behaviour of the original PR.
+ *
+ * The transaction body bytes (and therefore the transaction id / every existing
+ * signature) are preserved exactly, because we rely on CSL's `FixedTransaction`,
+ * which keeps the original body bytes and only re-encodes the witness set.
+ *
+ * Each entry of `witnesses` is auto-detected and may be any of:
+ * - a single `Vkeywitness` (`[ vkey, signature ]`);
+ * - a single `BootstrapWitness`;
+ * - a whole `TransactionWitnessSet` (e.g. the result of a CIP-30 `signTx`);
+ * - a whole transaction (signed or not) — its vkey/bootstrap witnesses are taken;
+ *
+ * each of those encoded as hex, base64, or wrapped in a cardano-cli style JSON
+ * text-envelope (`{ "cborHex": "..." }`). Only vkey and bootstrap witnesses are
+ * merged (the parts a signer can contribute); duplicates are ignored by CSL.
+ *
+ * Returns the hex of the resulting transaction.
+ * @param {string} tx_hex
+ * @param {string[]} witnesses
+ * @returns {string}
+ */
+function add_witnesses_to_tx(tx_hex, witnesses) {
+    let deferred4_0;
+    let deferred4_1;
+    try {
+        const ptr0 = passStringToWasm0(tx_hex, wasm.__wbindgen_malloc, wasm.__wbindgen_realloc);
+        const len0 = WASM_VECTOR_LEN;
+        const ptr1 = passArrayJsValueToWasm0(witnesses, wasm.__wbindgen_malloc);
+        const len1 = WASM_VECTOR_LEN;
+        const ret = wasm.add_witnesses_to_tx(ptr0, len0, ptr1, len1);
+        var ptr3 = ret[0];
+        var len3 = ret[1];
+        if (ret[3]) {
+            ptr3 = 0; len3 = 0;
+            throw takeFromExternrefTable0(ret[2]);
+        }
+        deferred4_0 = ptr3;
+        deferred4_1 = len3;
+        return getStringFromWasm0(ptr3, len3);
+    } finally {
+        wasm.__wbindgen_free(deferred4_0, deferred4_1, 1);
+    }
+}
+exports.add_witnesses_to_tx = add_witnesses_to_tx;
+
+/**
+ * Like [`add_witnesses_to_tx`], but cryptographically verifies each vkey
+ * witness against the transaction body and returns a report. Only valid,
+ * non-duplicate vkey witnesses are inserted; a witness whose signature does
+ * not match this transaction is skipped and counted as `invalid`. Bootstrap
+ * witnesses are inserted as-is (their Byron signing scheme is not verified).
+ * @param {string} tx_hex
+ * @param {string[]} witnesses
+ * @returns {any}
+ */
+function add_witnesses_to_tx_with_report(tx_hex, witnesses) {
+    const ptr0 = passStringToWasm0(tx_hex, wasm.__wbindgen_malloc, wasm.__wbindgen_realloc);
+    const len0 = WASM_VECTOR_LEN;
+    const ptr1 = passArrayJsValueToWasm0(witnesses, wasm.__wbindgen_malloc);
+    const len1 = WASM_VECTOR_LEN;
+    const ret = wasm.add_witnesses_to_tx_with_report(ptr0, len0, ptr1, len1);
+    if (ret[2]) {
+        throw takeFromExternrefTable0(ret[1]);
+    }
+    return takeFromExternrefTable0(ret[0]);
+}
+exports.add_witnesses_to_tx_with_report = add_witnesses_to_tx_with_report;
+
 /**
  * @param {ExUnits} ex_units
  * @param {ExUnitPrices} ex_unit_prices

package/node/cquisitor_lib_bg.wasm.d.ts

@@ -4,12 +4,6 @@ export const memory: WebAssembly.Memory;
 export const decode_specific_type: (a: number, b: number, c: number, d: number, e: any) => [number, number, number];
 export const get_decodable_types: () => [number, number];
 export const get_possible_types_for_input: (a: number, b: number) => [number, number];
-export const check_block_or_tx_signatures: (a: number, b: number) => [number, number, number];
-export const decode_plutus_program_pretty_uplc: (a: number, b: number) => [number, number, number, number];
-export const decode_plutus_program_uplc_json: (a: number, b: number) => [number, number, number];
-export const execute_tx_scripts: (a: number, b: number, c: any, d: any) => [number, number, number];
-export const get_ref_script_bytes: (a: number, b: number, c: number) => [number, number, number, number];
-export const get_utxo_list_from_tx: (a: number, b: number) => [number, number, number, number];
 export const cbor_to_json: (a: number, b: number) => [number, number, number];
 export const cddl_format: (a: number, b: number) => [number, number, number, number];
 export const cddl_outline: (a: number, b: number) => [number, number, number];
@@ -19,9 +13,19 @@ export const decode_cbor_against_cddl: (a: number, b: number, c: number, d: numb
 export const map_cbor_to_cddl: (a: number, b: number, c: number, d: number, e: number, f: number) => [number, number, number];
 export const validate_cbor_against_cddl: (a: number, b: number, c: number, d: number, e: number, f: number) => [number, number, number];
 export const validate_cddl: (a: number, b: number) => [number, number, number];
-export const extract_hashes_from_transaction_js: (a: number, b: number) => [number, number, number, number];
 export const get_necessary_data_list_js: (a: number, b: number, c: number, d: number) => [number, number, number, number];
+export const get_ref_script_bytes: (a: number, b: number, c: number) => [number, number, number, number];
 export const validate_transaction_js: (a: number, b: number, c: number, d: number) => [number, number, number, number];
+export const add_vkey_witnesses_to_tx: (a: number, b: number, c: number, d: number) => [number, number, number, number];
+export const add_witness_set_to_tx: (a: number, b: number, c: number, d: number) => [number, number, number, number];
+export const add_witnesses_to_tx: (a: number, b: number, c: number, d: number) => [number, number, number, number];
+export const add_witnesses_to_tx_with_report: (a: number, b: number, c: number, d: number) => [number, number, number];
+export const check_block_or_tx_signatures: (a: number, b: number) => [number, number, number];
+export const decode_plutus_program_pretty_uplc: (a: number, b: number) => [number, number, number, number];
+export const decode_plutus_program_uplc_json: (a: number, b: number) => [number, number, number];
+export const extract_hashes_from_transaction_js: (a: number, b: number) => [number, number, number, number];
+export const execute_tx_scripts: (a: number, b: number, c: any, d: any) => [number, number, number];
+export const get_utxo_list_from_tx: (a: number, b: number) => [number, number, number, number];
 export const validate_cbor_from_slice: (a: number, b: number, c: number, d: number, e: number, f: number) => [number, number, number];
 export const validate_json_from_str: (a: number, b: number, c: number, d: number, e: number, f: number) => [number, number, number];
 export const cddl_from_str: (a: number, b: number) => [number, number, number];

package/package.json

@@ -4,7 +4,7 @@
     "Evgenii Lisitskii <evgeniilisitskii@gmail.com>"
   ],
   "description": "Cardano transaction validation library",
-  "version": "0.1.0-beta.57",
+  "version": "0.1.0-beta.59",
   "license": "Apache-2.0",
   "files": [
     "node/cquisitor_lib_bg.wasm",