0xmiden miden-vm-268

The task

The current AIR trace layout does not include the auxiliary column that tracks the stack overflow table state. As a result, the prover cannot generate valid proofs for programs that push the stack depth beyond 16 elements. The execution trace generation must be extended to produce the missing column, enabling correct…