A finite computation selecting positive rational error budgets and dyadic precision from explicit bounds; no irrationality or search-termination hypothesis is allowed.
Proposed arity: 9. Parameters: H q n B K W eps precision trace. No reviewed kernel definition exists yet.
This is a human-readable planning contract, not a parsed kernel formula or accepted proof.