Stable Idris2-facing and Zig FFI layout rules.
AcceleratorGate is the Julia-side policy plane: it chooses providers, records evidence, and refuses unsupported or unauthorised simulation.
See Home for the project boundary and the repository machine-readable state for exact fields.
There was an error while loading. Please reload this page.