Universal Bridge

Aura’s FFI and C/C++ header-bridging path, with explicit trust boundaries.

Aura provides native interoperability through aura-bridge, linker inputs and the primary CLI’s bootstrap bindgen command.

Generate bindings

aura bindgen --header demo.h --out build/bindgen

Best-effort refinement mapping:

aura bindgen   --header demo.h   --out build/bindgen   --refine-types

Link inputs

Build/run commands can receive bridge headers, library search directories and libraries. The bridge layer allows Aura to integrate native ecosystems without pretending that foreign implementations become verified automatically.

Trust model

extern cell native_call(x: u32) -> u32
trusted extern cell audited_call(x: u32) -> u32

An untrusted foreign call requires an explicit unsafe: boundary in the current reference. A trusted external declaration is an audit/trust assertion and becomes part of the trusted computing base.

Generated bindings should therefore be reviewed as trust-boundary code, especially when best-effort refined type mapping is used.