pending a fix in miden-base, see https://github.com/0xMiden/miden-tutorials/pull/110#discussion_r2336314783