@cardananium/cquisitor-lib 0.1.0-beta.47 → 0.1.0-beta.49

package/README.md

@@ -25,8 +25,9 @@ Functions:
 ### CBOR Decoder & CDDL Validation
 
 - `cbor_to_json(cbor_hex)` - Converts raw CBOR to JSON with positional information, supporting indefinite arrays/maps and all CBOR types. Each node carries an optional `oddities` array flagging deviations from RFC 8949 deterministic encoding (overlong integers/floats, indefinite length, unsorted/duplicate map keys, non-canonical bignums). Never throws on malformed input — returns a `{ok, value}` / `{ok: false, error, partial?}` union where `error` is a structured `CborDecodeError` (kind / byte offset / byte span / semantic `path`) and `partial` is the sub-tree decoded before the failure, with every unfinished container flagged `incomplete: true`.
-- `validate_cddl(cddl)` - Parses a CDDL schema and reports structural errors.
-- `validate_cbor_against_cddl(cbor_hex, cddl, rule_name)` - Validates CBOR payload against a CDDL rule with detailed mismatch info.
+- `validate_cddl(cddl)` - Parses a CDDL schema; reports parse errors and unresolved rule references (e.g. `thing = [unknown_rule, int]` → `kind: "unresolved_references"`).
+- `validate_cbor_against_cddl(cbor_hex, cddl, rule_name)` - Validates a CBOR payload against a named rule. Errors carry `kind`, `expected`, semantic `path`, byte/anchor spans, and an `additional` array when multiple violations fire.
+- `decode_cbor_against_cddl(cbor_hex, cddl, rule_name)` - Maps decoded CBOR onto a CDDL schema and returns labelled JSON (e.g. Cardano `[body, witness_set, bool, aux]` becomes `{transaction_body, transaction_witness_set, ...}`). Handles generics (`set<a>`), tagged sets, type rules used as field labels, and a few well-known tags (bignum → string number, datetime → ISO string). Sub-structures the schema doesn't cover surface under `@extra` / `@positional` so partial matches don't lose data.
 
 ### Plutus Script Decoder
 
@@ -339,22 +340,61 @@ See `CborOddityKind` and `CborDecodeErrorKind` in the type definitions for the f
 
 #### `validate_cddl(cddl: string): { valid: boolean, error?: object }`
 
-Parses a CDDL schema and reports whether it is well-formed. Returns `{ valid: true }` on success or `{ valid: false, error: { kind, ... } }` with a structured error on failure.
+Parses a CDDL schema and reports whether it is well-formed. Beyond surface parse errors this also catches **dangling rule references** at parse time, surfaced as `kind: "unresolved_references"`.
 
 ```typescript
-const result = validate_cddl("thing = {n: uint}");
+validate_cddl("thing = {n: uint}");
 // { valid: true }
+
+validate_cddl("thing = [unknown_rule, int]");
+// { valid: false, error: { kind: "unresolved_references",
+//                           message: "missing definition for rule unknown_rule" } }
 ```
 
+`error.kind` values: `"parse_error"`, `"unresolved_references"`.
+
 #### `validate_cbor_against_cddl(cbor_hex: string, cddl: string, rule_name: string): { valid: boolean, error?: object }`
 
-Validates a CBOR payload against a specific rule in a CDDL schema. On mismatch the error carries `kind`, `expected`, and location info.
+Validates a CBOR payload against a specific rule in a CDDL schema. The rule does not have to be the first rule in the document — when it isn't, the validator wraps it in a synthetic root internally.
 
 ```typescript
-const result = validate_cbor_against_cddl("01", "thing = tstr", "thing");
-// { valid: false, error: { kind: "mismatch", expected: "tstr", ... } }
+validate_cbor_against_cddl("01", "thing = tstr", "thing");
+// {
+//   valid: false,
+//   error: {
+//     kind: "mismatch",
+//     expected: "tstr",
+//     path: "$",
+//     byte_spans: [{ offset: 0, length: 1 }],
+//     message: "expected type tstr, got Integer(Integer(1))"
+//   }
+// }
 ```
 
+`error.kind` values: `"parse_error"`, `"unresolved_references"`, `"missing_rule"`, `"input_parse"`, `"mismatch"`, `"map_cut"`, `"generic"`. When multiple violations fire, the headline goes in the top-level fields and the rest land in `error.additional`.
+
+#### `decode_cbor_against_cddl(cbor_hex: string, cddl: string, rule_name: string): unknown`
+
+Walks the CDDL alongside the decoded CBOR and produces a JSON tree where positional/numeric-keyed structures are replaced with the names the schema declares. Useful for turning a Cardano transaction CBOR into something inspectable without hand-mapping every field.
+
+```typescript
+decode_cbor_against_cddl(txHex, conwayCddl, "transaction");
+// {
+//   transaction_body: {
+//     0: { "@tag": 258, "@value": [{ transaction_id: "16b6...", index: 0 }] },
+//     1: [{ address: "00ae...", amount: 1_000_000 }, ...],
+//     2: 200000,
+//     7: "bdaa..."
+//   },
+//   transaction_witness_set: {
+//     0: { "@tag": 258, "@value": [{ vkey: "f8f5...", signature: "1e14..." }] }
+//   },
+//   "@positional": [true, { "@tag": 259, "@value": {} }]
+// }
+```
+
+Recognised features: type choices (first match wins), generics (`set<a>`), tagged data (well-known tags 0/2/3 specialised to ISO date / bignum string), rule references, optionals/repetitions, prelude scalars. Sub-structures the schema doesn't cover or that don't match any choice fall back to a raw form under `@extra` (maps) or `@positional` (arrays) so data is never silently dropped.
+
 ### Plutus Script Decoder
 
 #### `decode_plutus_program_uplc_json(hex: string): ProgramJson`

package/browser/cquisitor_lib.d.ts

@@ -146,18 +146,20 @@ export interface CborDecodeError {
 }
 
 /**
- * Validates a CDDL schema by parsing it into the intermediate validation tree.
- * Returns `{ valid: true }` on success, or `{ valid: false, error }` when the
- * schema is malformed.
+ * Validates a CDDL schema. Returns `{ valid: true }` if the schema parses
+ * **and** every rule reference resolves; otherwise `{ valid: false, error }`.
+ * Undefined rule references come back with `kind: "unresolved_references"`
+ * (e.g. `thing = [unknown_rule, int]`).
  * @param {string} cddl
  * @returns {any}
  */
 export function validate_cddl(cddl: string): CddlValidationResult;
 
 /**
- * Validates CBOR bytes against a rule in the given CDDL schema. On failure the
- * `error` describes the mismatch, including a semantic path and the byte spans
- * in the input that produced it.
+ * Validates CBOR bytes against a rule in the given CDDL schema. On failure
+ * `error` describes the mismatch, including a semantic `path`, the byte
+ * spans in the input that produced it, and (when several validation
+ * errors fire) an `additional` array with the rest.
  * @param {string} cbor_hex
  * @param {string} cddl
  * @param {string} rule_name
@@ -169,6 +171,28 @@ export function validate_cbor_against_cddl(
     rule_name: string
 ): CborValidationResult;
 
+/**
+ * Maps decoded CBOR onto a CDDL schema and returns labelled JSON. Where
+ * `cbor_to_json` returns positional CBOR (numeric map keys, raw arrays),
+ * this walks the schema in parallel and replaces them with the named
+ * fields the CDDL declares — turning Cardano shapes like
+ * `[transaction_body, transaction_witness_set, bool, ...]` into
+ * `{transaction_body: {...}, transaction_witness_set: {...}, ...}`.
+ *
+ * Sub-structures the schema doesn't cover fall back to a raw
+ * representation (under `@extra` for maps / `@positional` for arrays),
+ * so partial matches still yield useful output.
+ * @param {string} cbor_hex
+ * @param {string} cddl
+ * @param {string} rule_name
+ * @returns {any}
+ */
+export function decode_cbor_against_cddl(
+    cbor_hex: string,
+    cddl: string,
+    rule_name: string
+): unknown;
+
 export function check_block_or_tx_signatures(hex_str: string): CheckSignaturesResult;
 
 /**
@@ -393,13 +417,12 @@ export type CborValidationResult =
 /**
  * `kind` categorises the failure:
  *  - "parse_error" — the CDDL itself failed to parse
- *  - "structural" — the CDDL parses but is logically invalid
- *  - "missing_rule" — the requested rule name isn't defined in the CDDL
- *  - "unsupported" — the CDDL uses a feature cddl-cat doesn't implement
- *  - "value_error" — a CBOR value cannot be validated
+ *  - "unresolved_references" — the CDDL references a rule name that isn't defined
+ *  - "missing_rule" — the rule name passed to `validate_cbor_against_cddl` is not in the CDDL
  *  - "input_parse" — the CBOR bytes themselves are malformed
  *  - "mismatch" / "map_cut" — a data mismatch; inspect `expected`, `path`,
  *    `byte_spans`, and `anchor_spans` for precise locations
+ *  - "generic" — anything that didn't fit one of the buckets above
  */
 export interface CborValidationErrorInfo {
     kind: string;

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, check_block_or_tx_signatures, create_send_all, decode_arbitrary_bytes_from_metadatum, 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, min_ada_for_output, min_fee, min_ref_script_fee, min_script_fee, validate_cbor_against_cddl, validate_cddl, 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, calculate_ex_units_ceil_cost, cbor_to_json, cddl_from_str, 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, 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

@@ -28456,6 +28456,38 @@ export function cbor_to_json(cbor_hex) {
     return takeFromExternrefTable0(ret[0]);
 }
 
+/**
+ * Returns a `ast::CDDL` wrapped in `JsValue` from a `&str`
+ *
+ * # Arguments
+ *
+ * * `input` - A string slice with the CDDL text input
+ *
+ * # Example
+ *
+ * ```typescript
+ * import * as wasm from 'cddl';
+ *
+ * let cddl: any;
+ * try {
+ *   cddl = wasm.cddl_from_str(text);
+ * } catch (e) {
+ *   console.error(e);
+ * }
+ * ```
+ * @param {string} input
+ * @returns {any}
+ */
+export function cddl_from_str(input) {
+    const ptr0 = passStringToWasm0(input, wasm.__wbindgen_malloc, wasm.__wbindgen_realloc);
+    const len0 = WASM_VECTOR_LEN;
+    const ret = wasm.cddl_from_str(ptr0, len0);
+    if (ret[2]) {
+        throw takeFromExternrefTable0(ret[1]);
+    }
+    return takeFromExternrefTable0(ret[0]);
+}
+
 /**
  * @param {string} hex_str
  * @returns {any}
@@ -28502,6 +28534,33 @@ export function decode_arbitrary_bytes_from_metadatum(metadata) {
     return v1;
 }
 
+/**
+ * Map decoded CBOR onto a CDDL schema and return labelled JSON.
+ *
+ * Where `cbor_to_json` returns positional CBOR (numeric map keys, raw
+ * arrays), this walks the schema in parallel and replaces those with
+ * the named fields the CDDL declares. On unknown / unmatched
+ * sub-structures it falls back to the raw representation rather than
+ * erroring, so partial matches still yield useful output.
+ * @param {string} cbor_hex
+ * @param {string} cddl
+ * @param {string} rule_name
+ * @returns {any}
+ */
+export function decode_cbor_against_cddl(cbor_hex, cddl, rule_name) {
+    const ptr0 = passStringToWasm0(cbor_hex, wasm.__wbindgen_malloc, wasm.__wbindgen_realloc);
+    const len0 = WASM_VECTOR_LEN;
+    const ptr1 = passStringToWasm0(cddl, wasm.__wbindgen_malloc, wasm.__wbindgen_realloc);
+    const len1 = WASM_VECTOR_LEN;
+    const ptr2 = passStringToWasm0(rule_name, wasm.__wbindgen_malloc, wasm.__wbindgen_realloc);
+    const len2 = WASM_VECTOR_LEN;
+    const ret = wasm.decode_cbor_against_cddl(ptr0, len0, ptr1, len1, ptr2, len2);
+    if (ret[2]) {
+        throw takeFromExternrefTable0(ret[1]);
+    }
+    return takeFromExternrefTable0(ret[0]);
+}
+
 /**
  * @param {TransactionMetadatum} metadatum
  * @param {MetadataJsonSchema} schema
@@ -29087,6 +29146,27 @@ export function validate_cbor_against_cddl(cbor_hex, cddl, rule_name) {
     return takeFromExternrefTable0(ret[0]);
 }
 
+/**
+ * Validate CBOR slice from a given CDDL document string
+ * @param {string} cddl
+ * @param {Uint8Array} cbor_slice
+ * @param {any[] | null} [enabled_features]
+ * @returns {any}
+ */
+export function validate_cbor_from_slice(cddl, cbor_slice, enabled_features) {
+    const ptr0 = passStringToWasm0(cddl, wasm.__wbindgen_malloc, wasm.__wbindgen_realloc);
+    const len0 = WASM_VECTOR_LEN;
+    const ptr1 = passArray8ToWasm0(cbor_slice, wasm.__wbindgen_malloc);
+    const len1 = WASM_VECTOR_LEN;
+    var ptr2 = isLikeNone(enabled_features) ? 0 : passArrayJsValueToWasm0(enabled_features, wasm.__wbindgen_malloc);
+    var len2 = WASM_VECTOR_LEN;
+    const ret = wasm.validate_cbor_from_slice(ptr0, len0, ptr1, len1, ptr2, len2);
+    if (ret[2]) {
+        throw takeFromExternrefTable0(ret[1]);
+    }
+    return takeFromExternrefTable0(ret[0]);
+}
+
 /**
  * @param {string} cddl
  * @returns {any}
@@ -29101,6 +29181,69 @@ export function validate_cddl(cddl) {
     return takeFromExternrefTable0(ret[0]);
 }
 
+/**
+ * Validate CDDL input with partial compilation support.
+ *
+ * Unlike `cddl_from_str` which stops at the first error, this function
+ * performs partial compilation: when the full document parse fails, it splits
+ * the source into individual top-level rule blocks and parses each one
+ * independently, collecting **all** errors across the entire document.
+ *
+ * When `check_refs` is `true`, the function also checks for undefined
+ * references — names used in type expressions or group entries that are not
+ * defined by any rule in the document and are not standard prelude types.
+ * These are reported as warnings rather than errors.
+ *
+ * Returns a `JsValue` (serialised JSON array) containing all diagnostics found.
+ * Each entry has `{ position, msg, severity }` where severity is `"error"` or `"warning"`.
+ * An empty array means the input is valid CDDL with no warnings.
+ *
+ * # Example
+ *
+ * ```typescript
+ * import * as wasm from 'cddl';
+ *
+ * const errors = wasm.validate_cddl_from_str(text, true);
+ * // errors is an Array<{ position, msg, severity }>
+ * if (errors.length === 0) {
+ *   console.log('Valid CDDL');
+ * }
+ * ```
+ * @param {string} input
+ * @param {boolean} check_refs
+ * @returns {any}
+ */
+export function validate_cddl_from_str(input, check_refs) {
+    const ptr0 = passStringToWasm0(input, wasm.__wbindgen_malloc, wasm.__wbindgen_realloc);
+    const len0 = WASM_VECTOR_LEN;
+    const ret = wasm.validate_cddl_from_str(ptr0, len0, check_refs);
+    if (ret[2]) {
+        throw takeFromExternrefTable0(ret[1]);
+    }
+    return takeFromExternrefTable0(ret[0]);
+}
+
+/**
+ * Validate JSON string from a given CDDL document string
+ * @param {string} cddl
+ * @param {string} json
+ * @param {any[] | null} [enabled_features]
+ * @returns {any}
+ */
+export function validate_json_from_str(cddl, json, enabled_features) {
+    const ptr0 = passStringToWasm0(cddl, wasm.__wbindgen_malloc, wasm.__wbindgen_realloc);
+    const len0 = WASM_VECTOR_LEN;
+    const ptr1 = passStringToWasm0(json, wasm.__wbindgen_malloc, wasm.__wbindgen_realloc);
+    const len1 = WASM_VECTOR_LEN;
+    var ptr2 = isLikeNone(enabled_features) ? 0 : passArrayJsValueToWasm0(enabled_features, wasm.__wbindgen_malloc);
+    var len2 = WASM_VECTOR_LEN;
+    const ret = wasm.validate_json_from_str(ptr0, len0, ptr1, len1, ptr2, len2);
+    if (ret[2]) {
+        throw takeFromExternrefTable0(ret[1]);
+    }
+    return takeFromExternrefTable0(ret[0]);
+}
+
 /**
  * @param {string} tx_hex
  * @param {string} validation_context
@@ -29143,6 +29286,13 @@ export function __wbg_String_11905339415cf58e(arg0, arg1) {
     getDataViewMemory0().setInt32(arg0 + 4 * 1, len1, true);
     getDataViewMemory0().setInt32(arg0 + 4 * 0, ptr1, true);
 }
+export function __wbg_String_8564e559799eccda(arg0, arg1) {
+    const ret = String(arg1);
+    const ptr1 = passStringToWasm0(ret, wasm.__wbindgen_malloc, wasm.__wbindgen_realloc);
+    const len1 = WASM_VECTOR_LEN;
+    getDataViewMemory0().setInt32(arg0 + 4 * 1, len1, true);
+    getDataViewMemory0().setInt32(arg0 + 4 * 0, ptr1, true);
+}
 export function __wbg___wbindgen_bigint_get_as_i64_3d3aba5d616c6a51(arg0, arg1) {
     const v = arg1;
     const ret = typeof(v) === 'bigint' ? v : undefined;
@@ -29431,6 +29581,11 @@ export function __wbindgen_cast_0000000000000004(arg0, arg1) {
     const ret = getStringFromWasm0(arg0, arg1);
     return ret;
 }
+export function __wbindgen_cast_0000000000000005(arg0) {
+    // Cast intrinsic for `U64 -> Externref`.
+    const ret = BigInt.asUintN(64, arg0);
+    return ret;
+}
 export function __wbindgen_init_externref_table() {
     const table = wasm.__wbindgen_externrefs;
     const offset = table.grow(4);
@@ -30186,6 +30341,16 @@ function passArray8ToWasm0(arg, malloc) {
     return ptr;
 }
 
+function passArrayJsValueToWasm0(array, malloc) {
+    const ptr = malloc(array.length * 4, 4) >>> 0;
+    for (let i = 0; i < array.length; i++) {
+        const add = addToExternrefTable0(array[i]);
+        getDataViewMemory0().setUint32(ptr + 4 * i, add, true);
+    }
+    WASM_VECTOR_LEN = array.length;
+    return ptr;
+}
+
 function passStringToWasm0(arg, malloc, realloc) {
     if (realloc === undefined) {
         const buf = cachedTextEncoder.encode(arg);

package/browser/cquisitor_lib_bg.wasm.d.ts

@@ -4,18 +4,23 @@ 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 extract_hashes_from_transaction_js: (a: number, b: number) => [number, number, number, number];
+export const cbor_to_json: (a: number, b: number) => [number, number, number];
+export const decode_cbor_against_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 check_block_or_tx_signatures: (a: number, b: 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 validate_transaction_js: (a: number, b: number, c: number, d: number) => [number, number, number, number];
-export const cbor_to_json: (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 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 check_block_or_tx_signatures: (a: number, b: number) => [number, number, number];
+export const extract_hashes_from_transaction_js: (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];
+export const validate_cddl_from_str: (a: number, b: number, c: number) => [number, number, number];
 export const __wbg_bigint_free: (a: number, b: number) => void;
 export const __wbg_certificatesbuilder_free: (a: number, b: number) => void;
 export const __wbg_changeconfig_free: (a: number, b: number) => void;

package/node/cquisitor_lib.d.ts

@@ -146,18 +146,20 @@ export interface CborDecodeError {
 }
 
 /**
- * Validates a CDDL schema by parsing it into the intermediate validation tree.
- * Returns `{ valid: true }` on success, or `{ valid: false, error }` when the
- * schema is malformed.
+ * Validates a CDDL schema. Returns `{ valid: true }` if the schema parses
+ * **and** every rule reference resolves; otherwise `{ valid: false, error }`.
+ * Undefined rule references come back with `kind: "unresolved_references"`
+ * (e.g. `thing = [unknown_rule, int]`).
  * @param {string} cddl
  * @returns {any}
  */
 export function validate_cddl(cddl: string): CddlValidationResult;
 
 /**
- * Validates CBOR bytes against a rule in the given CDDL schema. On failure the
- * `error` describes the mismatch, including a semantic path and the byte spans
- * in the input that produced it.
+ * Validates CBOR bytes against a rule in the given CDDL schema. On failure
+ * `error` describes the mismatch, including a semantic `path`, the byte
+ * spans in the input that produced it, and (when several validation
+ * errors fire) an `additional` array with the rest.
  * @param {string} cbor_hex
  * @param {string} cddl
  * @param {string} rule_name
@@ -169,6 +171,28 @@ export function validate_cbor_against_cddl(
     rule_name: string
 ): CborValidationResult;
 
+/**
+ * Maps decoded CBOR onto a CDDL schema and returns labelled JSON. Where
+ * `cbor_to_json` returns positional CBOR (numeric map keys, raw arrays),
+ * this walks the schema in parallel and replaces them with the named
+ * fields the CDDL declares — turning Cardano shapes like
+ * `[transaction_body, transaction_witness_set, bool, ...]` into
+ * `{transaction_body: {...}, transaction_witness_set: {...}, ...}`.
+ *
+ * Sub-structures the schema doesn't cover fall back to a raw
+ * representation (under `@extra` for maps / `@positional` for arrays),
+ * so partial matches still yield useful output.
+ * @param {string} cbor_hex
+ * @param {string} cddl
+ * @param {string} rule_name
+ * @returns {any}
+ */
+export function decode_cbor_against_cddl(
+    cbor_hex: string,
+    cddl: string,
+    rule_name: string
+): unknown;
+
 export function check_block_or_tx_signatures(hex_str: string): CheckSignaturesResult;
 
 /**
@@ -393,13 +417,12 @@ export type CborValidationResult =
 /**
  * `kind` categorises the failure:
  *  - "parse_error" — the CDDL itself failed to parse
- *  - "structural" — the CDDL parses but is logically invalid
- *  - "missing_rule" — the requested rule name isn't defined in the CDDL
- *  - "unsupported" — the CDDL uses a feature cddl-cat doesn't implement
- *  - "value_error" — a CBOR value cannot be validated
+ *  - "unresolved_references" — the CDDL references a rule name that isn't defined
+ *  - "missing_rule" — the rule name passed to `validate_cbor_against_cddl` is not in the CDDL
  *  - "input_parse" — the CBOR bytes themselves are malformed
  *  - "mismatch" / "map_cut" — a data mismatch; inspect `expected`, `path`,
  *    `byte_spans`, and `anchor_spans` for precise locations
+ *  - "generic" — anything that didn't fit one of the buckets above
  */
 export interface CborValidationErrorInfo {
     kind: string;

package/node/cquisitor_lib.js

@@ -28683,6 +28683,39 @@ function cbor_to_json(cbor_hex) {
 }
 exports.cbor_to_json = cbor_to_json;
 
+/**
+ * Returns a `ast::CDDL` wrapped in `JsValue` from a `&str`
+ *
+ * # Arguments
+ *
+ * * `input` - A string slice with the CDDL text input
+ *
+ * # Example
+ *
+ * ```typescript
+ * import * as wasm from 'cddl';
+ *
+ * let cddl: any;
+ * try {
+ *   cddl = wasm.cddl_from_str(text);
+ * } catch (e) {
+ *   console.error(e);
+ * }
+ * ```
+ * @param {string} input
+ * @returns {any}
+ */
+function cddl_from_str(input) {
+    const ptr0 = passStringToWasm0(input, wasm.__wbindgen_malloc, wasm.__wbindgen_realloc);
+    const len0 = WASM_VECTOR_LEN;
+    const ret = wasm.cddl_from_str(ptr0, len0);
+    if (ret[2]) {
+        throw takeFromExternrefTable0(ret[1]);
+    }
+    return takeFromExternrefTable0(ret[0]);
+}
+exports.cddl_from_str = cddl_from_str;
+
 /**
  * @param {string} hex_str
  * @returns {any}
@@ -28732,6 +28765,34 @@ function decode_arbitrary_bytes_from_metadatum(metadata) {
 }
 exports.decode_arbitrary_bytes_from_metadatum = decode_arbitrary_bytes_from_metadatum;
 
+/**
+ * Map decoded CBOR onto a CDDL schema and return labelled JSON.
+ *
+ * Where `cbor_to_json` returns positional CBOR (numeric map keys, raw
+ * arrays), this walks the schema in parallel and replaces those with
+ * the named fields the CDDL declares. On unknown / unmatched
+ * sub-structures it falls back to the raw representation rather than
+ * erroring, so partial matches still yield useful output.
+ * @param {string} cbor_hex
+ * @param {string} cddl
+ * @param {string} rule_name
+ * @returns {any}
+ */
+function decode_cbor_against_cddl(cbor_hex, cddl, rule_name) {
+    const ptr0 = passStringToWasm0(cbor_hex, wasm.__wbindgen_malloc, wasm.__wbindgen_realloc);
+    const len0 = WASM_VECTOR_LEN;
+    const ptr1 = passStringToWasm0(cddl, wasm.__wbindgen_malloc, wasm.__wbindgen_realloc);
+    const len1 = WASM_VECTOR_LEN;
+    const ptr2 = passStringToWasm0(rule_name, wasm.__wbindgen_malloc, wasm.__wbindgen_realloc);
+    const len2 = WASM_VECTOR_LEN;
+    const ret = wasm.decode_cbor_against_cddl(ptr0, len0, ptr1, len1, ptr2, len2);
+    if (ret[2]) {
+        throw takeFromExternrefTable0(ret[1]);
+    }
+    return takeFromExternrefTable0(ret[0]);
+}
+exports.decode_cbor_against_cddl = decode_cbor_against_cddl;
+
 /**
  * @param {TransactionMetadatum} metadatum
  * @param {MetadataJsonSchema} schema
@@ -29349,6 +29410,28 @@ function validate_cbor_against_cddl(cbor_hex, cddl, rule_name) {
 }
 exports.validate_cbor_against_cddl = validate_cbor_against_cddl;
 
+/**
+ * Validate CBOR slice from a given CDDL document string
+ * @param {string} cddl
+ * @param {Uint8Array} cbor_slice
+ * @param {any[] | null} [enabled_features]
+ * @returns {any}
+ */
+function validate_cbor_from_slice(cddl, cbor_slice, enabled_features) {
+    const ptr0 = passStringToWasm0(cddl, wasm.__wbindgen_malloc, wasm.__wbindgen_realloc);
+    const len0 = WASM_VECTOR_LEN;
+    const ptr1 = passArray8ToWasm0(cbor_slice, wasm.__wbindgen_malloc);
+    const len1 = WASM_VECTOR_LEN;
+    var ptr2 = isLikeNone(enabled_features) ? 0 : passArrayJsValueToWasm0(enabled_features, wasm.__wbindgen_malloc);
+    var len2 = WASM_VECTOR_LEN;
+    const ret = wasm.validate_cbor_from_slice(ptr0, len0, ptr1, len1, ptr2, len2);
+    if (ret[2]) {
+        throw takeFromExternrefTable0(ret[1]);
+    }
+    return takeFromExternrefTable0(ret[0]);
+}
+exports.validate_cbor_from_slice = validate_cbor_from_slice;
+
 /**
  * @param {string} cddl
  * @returns {any}
@@ -29364,6 +29447,71 @@ function validate_cddl(cddl) {
 }
 exports.validate_cddl = validate_cddl;
 
+/**
+ * Validate CDDL input with partial compilation support.
+ *
+ * Unlike `cddl_from_str` which stops at the first error, this function
+ * performs partial compilation: when the full document parse fails, it splits
+ * the source into individual top-level rule blocks and parses each one
+ * independently, collecting **all** errors across the entire document.
+ *
+ * When `check_refs` is `true`, the function also checks for undefined
+ * references — names used in type expressions or group entries that are not
+ * defined by any rule in the document and are not standard prelude types.
+ * These are reported as warnings rather than errors.
+ *
+ * Returns a `JsValue` (serialised JSON array) containing all diagnostics found.
+ * Each entry has `{ position, msg, severity }` where severity is `"error"` or `"warning"`.
+ * An empty array means the input is valid CDDL with no warnings.
+ *
+ * # Example
+ *
+ * ```typescript
+ * import * as wasm from 'cddl';
+ *
+ * const errors = wasm.validate_cddl_from_str(text, true);
+ * // errors is an Array<{ position, msg, severity }>
+ * if (errors.length === 0) {
+ *   console.log('Valid CDDL');
+ * }
+ * ```
+ * @param {string} input
+ * @param {boolean} check_refs
+ * @returns {any}
+ */
+function validate_cddl_from_str(input, check_refs) {
+    const ptr0 = passStringToWasm0(input, wasm.__wbindgen_malloc, wasm.__wbindgen_realloc);
+    const len0 = WASM_VECTOR_LEN;
+    const ret = wasm.validate_cddl_from_str(ptr0, len0, check_refs);
+    if (ret[2]) {
+        throw takeFromExternrefTable0(ret[1]);
+    }
+    return takeFromExternrefTable0(ret[0]);
+}
+exports.validate_cddl_from_str = validate_cddl_from_str;
+
+/**
+ * Validate JSON string from a given CDDL document string
+ * @param {string} cddl
+ * @param {string} json
+ * @param {any[] | null} [enabled_features]
+ * @returns {any}
+ */
+function validate_json_from_str(cddl, json, enabled_features) {
+    const ptr0 = passStringToWasm0(cddl, wasm.__wbindgen_malloc, wasm.__wbindgen_realloc);
+    const len0 = WASM_VECTOR_LEN;
+    const ptr1 = passStringToWasm0(json, wasm.__wbindgen_malloc, wasm.__wbindgen_realloc);
+    const len1 = WASM_VECTOR_LEN;
+    var ptr2 = isLikeNone(enabled_features) ? 0 : passArrayJsValueToWasm0(enabled_features, wasm.__wbindgen_malloc);
+    var len2 = WASM_VECTOR_LEN;
+    const ret = wasm.validate_json_from_str(ptr0, len0, ptr1, len1, ptr2, len2);
+    if (ret[2]) {
+        throw takeFromExternrefTable0(ret[1]);
+    }
+    return takeFromExternrefTable0(ret[0]);
+}
+exports.validate_json_from_str = validate_json_from_str;
+
 /**
  * @param {string} tx_hex
  * @param {string} validation_context
@@ -29410,6 +29558,13 @@ function __wbg_get_imports() {
             getDataViewMemory0().setInt32(arg0 + 4 * 1, len1, true);
             getDataViewMemory0().setInt32(arg0 + 4 * 0, ptr1, true);
         },
+        __wbg_String_8564e559799eccda: function(arg0, arg1) {
+            const ret = String(arg1);
+            const ptr1 = passStringToWasm0(ret, wasm.__wbindgen_malloc, wasm.__wbindgen_realloc);
+            const len1 = WASM_VECTOR_LEN;
+            getDataViewMemory0().setInt32(arg0 + 4 * 1, len1, true);
+            getDataViewMemory0().setInt32(arg0 + 4 * 0, ptr1, true);
+        },
         __wbg___wbindgen_bigint_get_as_i64_3d3aba5d616c6a51: function(arg0, arg1) {
             const v = arg1;
             const ret = typeof(v) === 'bigint' ? v : undefined;
@@ -29698,6 +29853,11 @@ function __wbg_get_imports() {
             const ret = getStringFromWasm0(arg0, arg1);
             return ret;
         },
+        __wbindgen_cast_0000000000000005: function(arg0) {
+            // Cast intrinsic for `U64 -> Externref`.
+            const ret = BigInt.asUintN(64, arg0);
+            return ret;
+        },
         __wbindgen_init_externref_table: function() {
             const table = wasm.__wbindgen_externrefs;
             const offset = table.grow(4);
@@ -30460,6 +30620,16 @@ function passArray8ToWasm0(arg, malloc) {
     return ptr;
 }
 
+function passArrayJsValueToWasm0(array, malloc) {
+    const ptr = malloc(array.length * 4, 4) >>> 0;
+    for (let i = 0; i < array.length; i++) {
+        const add = addToExternrefTable0(array[i]);
+        getDataViewMemory0().setUint32(ptr + 4 * i, add, true);
+    }
+    WASM_VECTOR_LEN = array.length;
+    return ptr;
+}
+
 function passStringToWasm0(arg, malloc, realloc) {
     if (realloc === undefined) {
         const buf = cachedTextEncoder.encode(arg);

package/node/cquisitor_lib_bg.wasm.d.ts

@@ -4,18 +4,23 @@ 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 extract_hashes_from_transaction_js: (a: number, b: number) => [number, number, number, number];
+export const cbor_to_json: (a: number, b: number) => [number, number, number];
+export const decode_cbor_against_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 check_block_or_tx_signatures: (a: number, b: 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 validate_transaction_js: (a: number, b: number, c: number, d: number) => [number, number, number, number];
-export const cbor_to_json: (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 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 check_block_or_tx_signatures: (a: number, b: number) => [number, number, number];
+export const extract_hashes_from_transaction_js: (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];
+export const validate_cddl_from_str: (a: number, b: number, c: number) => [number, number, number];
 export const __wbg_bigint_free: (a: number, b: number) => void;
 export const __wbg_certificatesbuilder_free: (a: number, b: number) => void;
 export const __wbg_changeconfig_free: (a: number, b: number) => void;

package/package.json

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