refactor(stark): derive constraint metadata from the single eval body#772

Merged

MauroToscano merged 3 commits into

feat/single-source-constraints-switchfrom

feat/derive-constraint-meta

Jul 3, 2026

Commits on Jul 3, 2026

refactor(stark): derive constraint metadata from the single eval body
MauroToscano
committed
refactor(stark): split constraint degree (per-table) from row-domain
MauroToscano
committed
perf(stark): inline the emit forwarding onto the per-row hot path
MauroToscano
committed