Function supports_integer_polynomial_operations 

pub fn supports_integer_polynomial_operations(ctx: &Context) -> bool

Whether the public add/mul/sub vocabulary has the standard integer meaning.

Polynomial proof producers may preserve these operation names while exposing surrounding definitions. Reuse the evaluator’s complete checked-alias attestation, including mutable dependencies and registered rewrite policy; arbitrary same-spelled definitions must not receive a ring interpretation. This does not certify a generated proof, which still requires kernel checking.