Rational enclosures for x_ell=ell*Log2/2, obtained from the fixed Log2Partial sequence, for ell<7.
Proposed arity: 5. Parameters: ell precision lo hi trace. No reviewed kernel definition exists yet.
This is a human-readable planning contract, not a parsed kernel formula or accepted proof.