pub const SCALAR_DATAPATH_BUDGET_NODES: u128 = 50_000;Expand description
How large a datapath tree the scalar certificate will pay to build.
The unit is BoundedExpr nodes in the UNFOLDED body spec — the cheapest quantity that is both
exact (it is what cells_to_bounded allocates) and knowable without allocating. Every ALU body
that certifies today prices in the tens (mix 12, one fib doubling block 29, two blocks 277),
so 50 000 is over two orders of magnitude of headroom; the six-block fib doubling chain prices
at 1 657 763 — refused before a single node is allocated, in microseconds. The second,
exact ceiling is crate::codegen_sva::bitblast::BLAST_BUDGET_NODES on the materialised
formula: this one stops the runaway, that one stops the merely-enormous.