Auto-generated boundary tests from Lean compliance constants. Every regulatory threshold produces exactly 4 tests: below, at, above, and zero.