feat(batch kernel): emit `batch_expiration_block_num` as the running-min over transactions#3019

Draft

mmagician wants to merge 32 commits into

mmagician-claude/batch-kernel-logicfrom

mmagician-claude/batch-kernel-expiration

Commits on May 12, 2026

feat: add skeleton batch kernel + ProvenBatch proof field
claude
committed

Commits on May 27, 2026

Commits on May 29, 2026

Commits on Jun 1, 2026

refactor(protocol): put BLOCK_COMMITMENT on top of the batch input stack
claude
committed
refactor(protocol): name the batch output BATCH_NOTE_TREE_ROOT
claude
committed
refactor(batch): strong-type build_input_stack batch_id param
claude
committed
refactor(batch): rename BatchOutput to BatchOutputs
claude
committed
refactor(batch): move output parsing onto BatchOutputs and return errors
claude
committed
refactor(batch): expose typed BatchOutputs from ExecutedBatch
claude
committed
test(batch): cover BatchOutputs::parse error branches
claude
committed
Apply suggestion from @mmagician
mmagician
authored
feat: verify batch tx list, tx headers, and input-notes commitment
claude
committed
test: drive batch-kernel rejection tests through BatchExecutor advice injection
claude
committed
style: use the '# =>' stack-comment convention in the batch kernel masm
claude
committed
feat: emit batch_expiration_block_num as the running-min over transactions
claude
committed