pub fn ring_context() -> Context
A kernel context of its own carrying the ring/field/order axioms the oracle proves against: a copy-on-write clone of the standard library’s one registration.