@cardananium/cquisitor-lib 0.1.0-beta.46 → 0.1.0-beta.48

package/README.md

@@ -24,9 +24,10 @@ 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).
-- `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.
+- `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; 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.
+- `cbor_to_schema_json(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
 
@@ -308,40 +309,92 @@ const possibleTypes = get_possible_types_for_input("e1a...");
 
 ### CBOR Decoder
 
-#### `cbor_to_json(cbor_hex: string): CborValue`
+#### `cbor_to_json(cbor_hex: string): CborDecodeResult`
 
 Converts CBOR to JSON with positional metadata. Each node has `position_info` (byte span of its header) and, for containers/tags, `struct_position_info` (span of the whole subtree). Non-canonical encoding deviations (per RFC 8949 §4.1/§4.2) are flagged locally on the offending node via an optional `oddities: CborOddity[]` field — canonical inputs omit the field entirely.
 
+The function **never throws** on malformed input. On success it returns `{ ok: true, value }`; on failure `{ ok: false, error, partial? }` where `error` is a structured `CborDecodeError` and `partial` is the sub-tree decoded up to the failure point:
+
 ```typescript
-const cbor = cbor_to_json("a26461646472...");
-// Returns structured JSON; each node may carry oddities like:
-//   { kind: "IntNotShortest",     detail: "value 15 uses 2-byte header, shortest is 1" }
-//   { kind: "IndefiniteLength",   detail: "indefinite-length map" }
-//   { kind: "MapKeysNotSorted",   detail: "key at offset 3 sorts after key at offset 5" }
-//   { kind: "DuplicateMapKeys",   detail: "duplicate key at offsets 3 and 6" }
-//   { kind: "BignumForSmallInt",  detail: "unsigned bignum fits in a native CBOR integer" }
+const r = cbor_to_json("a26461646472...");
+if (r.ok) {
+    // r.value — the full positional tree; each node may carry oddities like:
+    //   { kind: "IntNotShortest",    detail: "value 15 uses 2-byte header, shortest is 1" }
+    //   { kind: "IndefiniteLength",  detail: "indefinite-length map" }
+    //   { kind: "MapKeysNotSorted",  detail: "key at offset 3 sorts after key at offset 5" }
+    //   { kind: "DuplicateMapKeys",  detail: "duplicate key at offsets 3 and 6" }
+    //   { kind: "BignumForSmallInt", detail: "unsigned bignum fits in a native CBOR integer" }
+} else {
+    // r.error: { kind, offset?, byte_span?, path, message }
+    //   kind       — machine-readable tag ("invalid_syntax", "unexpected_eof", ...).
+    //   offset     — byte where decoding stopped.
+    //   byte_span  — { offset, length } when the failure pins a range.
+    //   path       — structural location, e.g. "$.entries[1].value[0]".
+    // r.partial (optional) — same shape as a CborValue, but every unfinished
+    //   container carries `incomplete: true`, and partial map entries carry
+    //   `incomplete_at: "key" | "value"` on the half that didn't parse.
+}
 ```
 
-See `CborOddityKind` in the type definitions for the full list.
+See `CborOddityKind` and `CborDecodeErrorKind` in the type definitions for the full lists.
 
 #### `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
+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`.
+
+#### `cbor_to_schema_json(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
-const result = validate_cbor_against_cddl("01", "thing = tstr", "thing");
-// { valid: false, error: { kind: "mismatch", expected: "tstr", ... } }
+cbor_to_schema_json(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

@@ -102,21 +102,64 @@ export function get_possible_types_for_input(input: string): (string)[];
  * @param {string} cbor_hex
  * @returns {any}
  */
-export function cbor_to_json(cbor_hex: string): CborValue;
+/**
+ * Decodes a CBOR hex string into a positional JSON tree.
+ *
+ * Never throws on malformed input — on failure returns
+ * `{ ok: false, error: CborDecodeError, partial? }`. Structured errors
+ * carry `kind`, `offset`, a `byte_span`, a semantic `path` into the
+ * failing position, and a human `message`.
+ *
+ * When anything was successfully decoded before the failure, `partial`
+ * contains the prefix tree with every un-finished container flagged
+ * `incomplete: true`. Node shape otherwise matches the success value, so
+ * renderers can display it the same way.
+ */
+export function cbor_to_json(cbor_hex: string): CborDecodeResult;
+
+export type CborDecodeResult =
+    | { ok: true; value: CborValue }
+    | { ok: false; error: CborDecodeError; partial?: CborPartialValue };
+
+export type CborDecodeErrorKind =
+    | "invalid_hex"
+    | "invalid_syntax"
+    | "unexpected_eof"
+    | "unexpected_break"
+    | "trailing_data"
+    | "invalid_utf8"
+    | "invalid_chunk"
+    | "int_not_representable"
+    | "non_finite_float"
+    | "io_error";
+
+export interface CborDecodeError {
+    kind: CborDecodeErrorKind;
+    /** Human-readable message. Not stable — use `kind` for branching. */
+    message: string;
+    /** Semantic path into the decoded tree (e.g. `$.entries[1].value[0]`). */
+    path: string;
+    /** Byte offset where decoding failed. Absent only for rare IO fallbacks. */
+    offset?: number;
+    /** Byte range pinned by the failure, when wider than a single byte. */
+    byte_span?: CborPosition;
+}
 
 /**
- * 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
@@ -128,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 cbor_to_schema_json(
+    cbor_hex: string,
+    cddl: string,
+    rule_name: string
+): unknown;
+
 export function check_block_or_tx_signatures(hex_str: string): CheckSignaturesResult;
 
 /**
@@ -279,6 +344,63 @@ export type CborValue =
     | CborIndefiniteString
     | CborIndefiniteBytes;
 
+/**
+ * Sub-tree returned alongside a decode error. Structurally identical to
+ * `CborValue`, with two additional flags present **only** on nodes that
+ * couldn't be finished:
+ *
+ *  - `incomplete: true` — on containers (Array / Map / Tag /
+ *    IndefiniteLengthBytes / IndefiniteLengthString) whose body was cut
+ *    short by the failure. For definite-length Array/Map the `items` field
+ *    retains the wire-declared count; `values.length` shows how many slots
+ *    actually decoded.
+ *  - `incomplete_at: "key" | "value"` — on the single map entry where
+ *    decoding stopped; at most one of `key` / `value` on that entry is
+ *    populated, indicating which half had been parsed before the failure.
+ */
+export type CborPartialValue =
+    | CborSimple
+    | CborPartialArray
+    | CborPartialMap
+    | CborPartialTag
+    | CborPartialIndefiniteString
+    | CborPartialIndefiniteBytes;
+
+export interface CborPartialArray extends Omit<CborArray, "values"> {
+    values: CborPartialValue[];
+    incomplete?: true;
+}
+
+export interface CborPartialMap extends Omit<CborMap, "values"> {
+    values: Array<CborPartialMapEntry | { key: CborValue; value: CborValue }>;
+    incomplete?: true;
+}
+
+export interface CborPartialMapEntry {
+    key?: CborPartialValue;
+    value?: CborPartialValue;
+    incomplete: true;
+    incomplete_at: "key" | "value";
+}
+
+export interface CborPartialTag extends Omit<CborTag, "value"> {
+    /** Absent when the inner item could not be parsed at all. */
+    value?: CborPartialValue;
+    incomplete?: true;
+}
+
+export interface CborPartialIndefiniteString
+    extends Omit<CborIndefiniteString, "chunks"> {
+    chunks: CborValue[];
+    incomplete?: true;
+}
+
+export interface CborPartialIndefiniteBytes
+    extends Omit<CborIndefiniteBytes, "chunks"> {
+    chunks: CborValue[];
+    incomplete?: true;
+}
+
 export type CddlValidationResult =
     | { valid: true }
     | { valid: false; error: CddlErrorInfo };
@@ -295,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, cbor_to_schema_json, cddl_from_str, 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_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

@@ -28437,6 +28437,12 @@ export function calculate_ex_units_ceil_cost(ex_units, ex_unit_prices) {
 }
 
 /**
+ * Decode CBOR hex into a positional JSON tree.
+ *
+ * Never throws on malformed input — returns a `{ok: false, error: {...}}`
+ * object with a structured decode error: `kind`, `offset`, `byte_span`,
+ * structural `path`, and a human `message`. Successful decodes come back
+ * as `{ok: true, value: <tree>}`.
  * @param {string} cbor_hex
  * @returns {any}
  */
@@ -28450,6 +28456,65 @@ export function cbor_to_json(cbor_hex) {
     return takeFromExternrefTable0(ret[0]);
 }
 
+/**
+ * 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 cbor_to_schema_json(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.cbor_to_schema_json(ptr0, len0, ptr1, len1, ptr2, len2);
+    if (ret[2]) {
+        throw takeFromExternrefTable0(ret[1]);
+    }
+    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}
@@ -29081,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}
@@ -29095,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
@@ -29137,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;
@@ -29425,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);
@@ -30180,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 cbor_to_json: (a: number, b: number) => [number, number, number];
+export const cbor_to_schema_json: (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 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 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 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

@@ -102,21 +102,64 @@ export function get_possible_types_for_input(input: string): (string)[];
  * @param {string} cbor_hex
  * @returns {any}
  */
-export function cbor_to_json(cbor_hex: string): CborValue;
+/**
+ * Decodes a CBOR hex string into a positional JSON tree.
+ *
+ * Never throws on malformed input — on failure returns
+ * `{ ok: false, error: CborDecodeError, partial? }`. Structured errors
+ * carry `kind`, `offset`, a `byte_span`, a semantic `path` into the
+ * failing position, and a human `message`.
+ *
+ * When anything was successfully decoded before the failure, `partial`
+ * contains the prefix tree with every un-finished container flagged
+ * `incomplete: true`. Node shape otherwise matches the success value, so
+ * renderers can display it the same way.
+ */
+export function cbor_to_json(cbor_hex: string): CborDecodeResult;
+
+export type CborDecodeResult =
+    | { ok: true; value: CborValue }
+    | { ok: false; error: CborDecodeError; partial?: CborPartialValue };
+
+export type CborDecodeErrorKind =
+    | "invalid_hex"
+    | "invalid_syntax"
+    | "unexpected_eof"
+    | "unexpected_break"
+    | "trailing_data"
+    | "invalid_utf8"
+    | "invalid_chunk"
+    | "int_not_representable"
+    | "non_finite_float"
+    | "io_error";
+
+export interface CborDecodeError {
+    kind: CborDecodeErrorKind;
+    /** Human-readable message. Not stable — use `kind` for branching. */
+    message: string;
+    /** Semantic path into the decoded tree (e.g. `$.entries[1].value[0]`). */
+    path: string;
+    /** Byte offset where decoding failed. Absent only for rare IO fallbacks. */
+    offset?: number;
+    /** Byte range pinned by the failure, when wider than a single byte. */
+    byte_span?: CborPosition;
+}
 
 /**
- * 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
@@ -128,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 cbor_to_schema_json(
+    cbor_hex: string,
+    cddl: string,
+    rule_name: string
+): unknown;
+
 export function check_block_or_tx_signatures(hex_str: string): CheckSignaturesResult;
 
 /**
@@ -279,6 +344,63 @@ export type CborValue =
     | CborIndefiniteString
     | CborIndefiniteBytes;
 
+/**
+ * Sub-tree returned alongside a decode error. Structurally identical to
+ * `CborValue`, with two additional flags present **only** on nodes that
+ * couldn't be finished:
+ *
+ *  - `incomplete: true` — on containers (Array / Map / Tag /
+ *    IndefiniteLengthBytes / IndefiniteLengthString) whose body was cut
+ *    short by the failure. For definite-length Array/Map the `items` field
+ *    retains the wire-declared count; `values.length` shows how many slots
+ *    actually decoded.
+ *  - `incomplete_at: "key" | "value"` — on the single map entry where
+ *    decoding stopped; at most one of `key` / `value` on that entry is
+ *    populated, indicating which half had been parsed before the failure.
+ */
+export type CborPartialValue =
+    | CborSimple
+    | CborPartialArray
+    | CborPartialMap
+    | CborPartialTag
+    | CborPartialIndefiniteString
+    | CborPartialIndefiniteBytes;
+
+export interface CborPartialArray extends Omit<CborArray, "values"> {
+    values: CborPartialValue[];
+    incomplete?: true;
+}
+
+export interface CborPartialMap extends Omit<CborMap, "values"> {
+    values: Array<CborPartialMapEntry | { key: CborValue; value: CborValue }>;
+    incomplete?: true;
+}
+
+export interface CborPartialMapEntry {
+    key?: CborPartialValue;
+    value?: CborPartialValue;
+    incomplete: true;
+    incomplete_at: "key" | "value";
+}
+
+export interface CborPartialTag extends Omit<CborTag, "value"> {
+    /** Absent when the inner item could not be parsed at all. */
+    value?: CborPartialValue;
+    incomplete?: true;
+}
+
+export interface CborPartialIndefiniteString
+    extends Omit<CborIndefiniteString, "chunks"> {
+    chunks: CborValue[];
+    incomplete?: true;
+}
+
+export interface CborPartialIndefiniteBytes
+    extends Omit<CborIndefiniteBytes, "chunks"> {
+    chunks: CborValue[];
+    incomplete?: true;
+}
+
 export type CddlValidationResult =
     | { valid: true }
     | { valid: false; error: CddlErrorInfo };
@@ -295,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

@@ -28663,6 +28663,12 @@ function calculate_ex_units_ceil_cost(ex_units, ex_unit_prices) {
 exports.calculate_ex_units_ceil_cost = calculate_ex_units_ceil_cost;
 
 /**
+ * Decode CBOR hex into a positional JSON tree.
+ *
+ * Never throws on malformed input — returns a `{ok: false, error: {...}}`
+ * object with a structured decode error: `kind`, `offset`, `byte_span`,
+ * structural `path`, and a human `message`. Successful decodes come back
+ * as `{ok: true, value: <tree>}`.
  * @param {string} cbor_hex
  * @returns {any}
  */
@@ -28677,6 +28683,67 @@ function cbor_to_json(cbor_hex) {
 }
 exports.cbor_to_json = cbor_to_json;
 
+/**
+ * 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 cbor_to_schema_json(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.cbor_to_schema_json(ptr0, len0, ptr1, len1, ptr2, len2);
+    if (ret[2]) {
+        throw takeFromExternrefTable0(ret[1]);
+    }
+    return takeFromExternrefTable0(ret[0]);
+}
+exports.cbor_to_schema_json = cbor_to_schema_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}
@@ -29343,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}
@@ -29358,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
@@ -29404,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;
@@ -29692,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);
@@ -30454,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 cbor_to_json: (a: number, b: number) => [number, number, number];
+export const cbor_to_schema_json: (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 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 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 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.46",
+  "version": "0.1.0-beta.48",
   "license": "Apache-2.0",
   "files": [
     "node/cquisitor_lib_bg.wasm",