Use vertical slices to understand the platform.
Aura’s examples reveal which pieces of the language, verifier, plugins, bridges and application stack have actually been assembled. The gallery deliberately avoids turning the existence of an example into a blanket stability claim.
Code first, claims second.
Verification features
A small repository example that exercises verifier-facing syntax and notes that quantifiers require the thorough SMT profile.
Lumina grid + media
The grid_image_audio example demonstrates the evolving application layer with layout, image/media-oriented work and callback flow.
Move-oriented safety
The aura-move example tree exists as an integration surface for resource/move-oriented language work.
IoT safety
An example vertical slice for safety-oriented IoT integration. Its existence demonstrates integration work, not a universal IoT framework guarantee.
Vision / ONNX
Aura Vision exercises an ONNX-oriented integration path and shape-aware language/plugin direction. Claims remain tied to the example and implementation surface.
TCP echo server
A compact example showing the repository’s networking-facing language/stdlib direction.
Examples are evidence of integration — not substitutes for a specification.
For stable semantics, follow the current implementation and compact language reference.