[liorgold2]

---

Stack:

• Test that every (main) trace column is used in the constraints. #670
• Refactor Context::debug_info to a struct. #669 ⬅

---

⚠️ Part of a stack created by spr. Do not merge manually using the UI - doing so may have unexpected results.

[cursor]

PR Summary

Low Risk
Debug-only metadata refactor with no production verification logic changes.

Overview
Replaces Context::debug_info from a bare HashMap<String, Var> with a DebugInfo wrapper that holds named test variables in debug_info.vars.

Call sites in stark_verifier::verify (logup sum, interaction challenges, composition coeff/eval) now insert through .debug_info.vars. cairo_verifier::circuit_analysis::analyze takes &DebugInfo and reads the same keys via debug_info.vars. No verifier or analysis behavior changes—only the shape of debug metadata for future extension (stack follow-ups).

^{Reviewed by Cursor Bugbot for commit dc7775c. Bugbot is set up for automated code reviews on this repo. Configure here.}

[reviewable-StarkWare]

This change is 

[anatgstarkware]

@anatgstarkware reviewed 3 files and all commit messages, and made 1 comment.
Reviewable status: complete! all files reviewed, all discussions resolved (waiting on liorgold2).

[liorgold2]

@liorgold2 reviewed 1 file and all commit messages.
Reviewable status: complete! all files reviewed, all discussions resolved (waiting on liorgold2).

[gkaempfer]

Security scan complete — no issues detected.

---

Generated by Claude Code