refactor(air): remove tagging, apply uniform constraint description, and optimize evaluation#2856

Merged

adr1anh merged 75 commits intonextfrom

adr1anh/constraint-simplification

Apr 16, 2026

Commits on Apr 2, 2026

chore: set up constraint change tracking
adr1anh
committed
refactor: inline tagged_assert_zero variants, remove tagging indirection
adr1anh
committed
refactor: inline trivial assert wrappers in stack and decoder modules
adr1anh
committed
refactor: remove empty section headers and apply lint fixes
adr1anh
committed
refactor: remove constraint tagging infrastructure
adr1anh
committed
refactor: introduce MidenAirBuilder trait alias
adr1anh
committed
refactor: remove unused decoder constants and inline last assert wrapper
adr1anh
committed
refactor: remove dead code and unnecessary allow(dead_code) annotations
adr1anh
committed
refactor: remove unnecessary clone() calls on Copy types
adr1anh
committed
refactor: use semantic assertion methods in constraint code
adr1anh
committed
refactor: inline field constants and centralize in constants.rs
adr1anh
committed
refactor: introduce BoolNot trait for boolean negation in constraints
adr1anh
committed
refactor: defer Var-to-Expr conversions and simplify array construction
adr1anh
committed
refactor: add ChipletFlags/ChipletSelectors structs with precomputed flags
adr1anh
committed
refactor: thread ChipletSelectors through all constraint and bus functions
adr1anh
committed
refactor: enforce all chiplet selectors are 1 in last row
adr1anh
committed
refactor: remove when_transition from chiplet constraints
adr1anh
committed
refactor: add per-bus domain separation to Challenges encoding
adr1anh
committed
refactor: narrow per-chiplet constraint functions to &ChipletFlags
adr1anh
committed
refactor: inline small constraint helper functions
adr1anh
committed
refactor: add typed column structs, col map, and Borrow impls
adr1anh
committed
refactor: wire MainCols into eval() — MainTraceRow becomes type alias
adr1anh
committed
refactor: migrate range constraints to named struct fields
adr1anh
committed
refactor: migrate decoder constraints to DecoderCols named fields
adr1anh
committed
refactor: migrate stack constraints to StackCols named fields
adr1anh
committed
refactor: migrate bitwise chiplet constraints to BitwiseCols
adr1anh
committed
refactor: migrate hasher + memory chiplet constraints to typed cols
adr1anh
committed
refactor: migrate ACE chiplet constraints to AceCols
adr1anh
committed
refactor: migrate kernel ROM constraints to KernelRomCols
adr1anh
committed
refactor: migrate chiplet bus wiring + hash_kernel to typed cols
adr1anh
committed
refactor: migrate chiplets bus constraints to typed column structs
adr1anh
committed
refactor: post-review cleanup of typed column structs
adr1anh
committed
refactor: add typed chiplet accessors to MainCols, eliminate raw chiplets access
adr1anh
committed
chore: format imports in chiplet constraint files
adr1anh
committed
refactor: split chiplets bus into requests/responses modules, reduce cloning
adr1anh
committed
refactor: apply constraint style rules — when() decomposition, semantic assertions
adr1anh
committed
refactor: flatten single-file stack constraint modules into sibling files
adr1anh
committed
refactor: type ACE shared columns into named fields with QuadFeltExpr
adr1anh
committed
refactor: type periodic columns into named structs and simplify chiplet constraints
adr1anh
committed
refactor: simplify op_flags with bit-selector pattern and iterative expansion
adr1anh
committed
refactor: use Algebra trait bound and remove op_flags indirection
adr1anh
committed
fix: use core::array for no-std compatibility
adr1anh
committed
refactor(decoder): improve readability of composite flags
adr1anh
committed
refactor(decoder): inline all constraint helpers into enforce_main and rewrite documentation
adr1anh
committed
refactor: decouple column layout types from trace storage
adr1anh
committed
Merge origin/next into constraint-simplification
adr1anh
committed
refactor(crypto): improve readability of crypto operation constraints

adr1anh
and
claude
committed

Commits on Apr 5, 2026

refactor: merge chiplets bus sub-files back into single chiplets.rs

adr1anh
and
claude
committed

Commits on Apr 8, 2026

Commits on Apr 13, 2026

Commits on Apr 14, 2026