Module Verify.Registry

hash registry computes the Merkle root hash of registry, derived from the root hashes of all its databases. Normal and Prove return bytes directly from the Rust binding; Verify converts a verification_error return into a raised Nds_errors.Verification_failed, so the signature stays bytes across modes. Catch the exception at the Nds.with_verification boundary rather than at individual call sites.

size registry returns the number of databases currently held in registry. Same exception convention as hash: Normal/Prove return int64 directly, Verify raises Nds_errors.Verification_failed on a proof mismatch.

resize registry n adjusts registry to contain exactly n databases. The size can only change by one at a time; call this function in a loop for larger adjustments. Growing appends a new empty database; shrinking drops the last database. Returns an error if |current_size - n| > 1.

copy_database registry ~src ~dst duplicates all contents of the database at index src into index dst, completely replacing the previous contents of dst. The source database is unchanged. Copying to the same index is a no-op. Returns an error if src or dst is out of bounds.

move_database registry ~src ~dst transfers the database at index src to index dst, completely replacing the previous contents of dst. The source is replaced with a fresh empty database. Moving to the same index is a no-op. Returns an error if src or dst is out of bounds.

clear registry db_index replaces the database at db_index with a fresh empty database. Returns an error if db_index is out of bounds.