Thin GPU compute abstraction — Metal and Vulkan backends for Industrial Algebra
External prover bridge and trust model for the Industrial Algebra ecosystem