Lumina Sentinel

Where Aura’s proof-oriented developer experience meets the evolving application/UI layer.

Lumina and Sentinel solve different problems:

• Lumina is an evolving application/UI plugin/runtime surface.
• Sentinel is the developer environment for Aura source, diagnostics and proof feedback.

Together they make UI/application code a useful stress test for Aura’s broader language goals: source semantics, resource handling, async callbacks, foreign/runtime trust and proof-oriented diagnostics all meet in one vertical slice.

This does not mean UI geometry or every rendered application is automatically formally proved. Claims should follow the exact verifier/plugin implementation used by the relevant example.