refactor(prover): add VM table trace writers

[MauroToscano]

Summary:

• add a prover-local VmTable extension trait for Goldilocks trace tables
• centralize primitive and DWord layout writes on the table abstraction
• refactor table trace generation to write through VmTable helpers instead of raw buffer indexing

Validation:

• cargo fmt
• cargo check -p lambda-vm-prover --lib
• tests not run per instruction

[github-actions]

Codex Code Review

No PR-only issues found in the diff.

I could not complete cargo check -p prover: the sandbox blocks rustup/cargo writes under /home/runner/.rustup and /home/runner/.cargo, and the repo pins Rust 1.94.0 which is not installed locally. Static review of the changed trace-writing refactor did not surface safety, correctness, performance, or dead-code issues.

[github-actions]

AI Review

PR #703 · 27 changed files

Findings

No non-rejected structured findings were reported.

Reviewer Lanes

Lane	Model	Prompt	Status	Findings
glm	openrouter/z-ai/glm-5.2	general	success	0
kimi	openrouter/moonshotai/kimi-k2.7-code	general	success	0
minimax	minimax/MiniMax-M3	general	success	0
nemotron	openrouter/nvidia/nemotron-3-ultra-550b-a55b	general	success	0

Native Codex and Claude reviews run separately and post their own comments. They are not included in this structured provenance report.

Raw lane outputs, candidates, final issues, and model metrics are uploaded as workflow artifacts.