pub const BOUNDARY_FILES: [&str; 15];Expand description
2026-09-26: Files that define the boundary or decide a verdict, so a change to any of them invalidates every gate. Were one excludable, a PR changing the rules would be judged by its own new rules.
Every other file under crates/bench/src/gate is in GATE_MACHINERY_FILES and falls under
every gate’s GATE_MACHINERY exclusion. every_verdict_symbol_is_defined_inside_the_boundary
fails if a verdict function it names is defined in a gate file outside this list.