proof_engine_registry
