// SPDX-License-Identifier: CC-BY-SA-4.0
= A2ML Ada/SPARK TUI (Prototype)

This is a minimal Ada TUI wrapper around the A2ML CLI.

== SPARK separation

* `A2ML_TUI.Core` is SPARK-safe logic (mode toggles, command composition).
* `Main` is non-SPARK (process spawning, IO).

== Build

[source,bash]
----
cd prototype/ada-tui

gnatmake -gnat2022 -O2 -o a2ml-tui src/main.adb
./a2ml-tui
----

== Requirements

* GNAT / Ada compiler
* `just` available in PATH
* A2ML CLI prototype (ReScript) buildable on this machine
