Mel bold changes#438

Draft

ganeshvanahalli wants to merge 5 commits into

feat/mel-osp-changesfrom

mel-bold-changes

Commits on Jun 12, 2026

edit
rauljordan
committed

Commits on Jun 26, 2026

Commits on Jul 9, 2026

Pass HashProofHelper to OneStepProverHostIo deploy

rauljordan
and
claude
committed
OSP: only read MELState in halted proofs when MELStateHash != 0

rauljordan
and
claude
committed