add SMT integration tests for History mechanism#754

Open

Himess wants to merge 6 commits into0xMiden:nextfrom

Himess:feat/smt-history-tests

Commits on Jan 14, 2026

feat(smt): add integration tests for History mechanism

Himess
authored and
huitseeker
committed
refactor: use real SMT mutations in History tests

Himess
authored and
huitseeker
committed
fix: unwrap Result from compute_mutations and apply_mutations

Himess
authored and
huitseeker
committed
refactor: extract shared helper and add hash verification

Himess
authored and
huitseeker
committed
Fix: use get_node_hash() as reviewer suggested

Himess
authored and
huitseeker
committed
test: add round-trip consistency check for history view vs SMT value

Himess
authored and
huitseeker
committed