feat: minimal batch kernel#2884

Closed

mmagician wants to merge 15 commits into

nextfrom

mmagician-claude/batch-kernel-minimal

Commits on May 7, 2026

feat: add minimal batch kernel with recursive unhashing chain
claude
committed
chore: track meaningful stack elements explicitly in batch main.masm
claude
committed
docs: explain what the batch kernel does before describing the layer chain
claude
committed
docs: drop project-internal language from main.masm header
claude
committed
chore: drop comments that just narrate the next instruction
claude
committed
docs: drop line-number citations from MASM TODOs
claude
committed
refactor: rename BatchId::tuple_elements to hash_input_elements
claude
committed
docs: drop "minimal kernel" framing from MASM and prover docs
claude
committed
test: drive batch kernel tests through MockChain instead of synthetic data
claude
committed
docs: strip remaining project-internal language from PR docs
claude
committed
refactor: drop BLOCK_HASH at the start of main
claude
committed
docs: name advice-map values explicitly in prologue / note_tracker
claude
committed
fix(ci): wire testing feature so prove_dummy compiles under --all-features, add changelog entry
claude
committed
Merge remote-tracking branch 'origin/next' into mmagician-claude/batch-kernel-minimal
claude
committed
fix(ci): activate miden-protocol/testing as a dev-dependency so prove_dummy compiles in test builds with --no-default-features
claude
committed