refactor: remove old top-level ada/rust/zig dirs, add GPR project file

Completes the restructure: old top-level directories removed (code
now lives in src/), GPR project file at root for GNAT/SPARK builds,
updated Justfile with real build recipes, minor SPARK spec fixes.

Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

Author: hyperpolymath

.gitignore

@@ -50,17 +50,22 @@ __pycache__/
 *.ali
 /obj/
 /bin/
-/ada/obj/
-/ada/bin/
+/lib/
+/proof/
 
-# Zig
+# Zig (new layout under src/interface/ffi/)
 /zig-cache/
 /zig-out/
-/zig/zig-cache/
-/zig/zig-out/
+/src/interface/ffi/zig-cache/
+/src/interface/ffi/zig-out/
 
-# Rust workspace
-/rust/target/
+# Rust (new layout under src/rust/)
+/src/rust/target/
+/src/rust/Cargo.lock
+
+# Idris2 build artifacts
+/build/
+/src/interface/abi/build/
 
 # Haskell
 /.stack-work/

Justfile

@@ -1,32 +1,71 @@
 # SPDX-License-Identifier: PMPL-1.0-or-later
-# justfile - Just recipes for this project
+# justfile -- Build recipes for RAZE-TUI (5-language polyglot TUI)
 # See: https://github.com/hyperpolymath/mustfile
 
-# Default recipe
+# Default recipe: show available commands.
 default:
     @just --list
 
-# Build the project
-build:
-    @echo "Build not configured yet"
+# Build the SPARK core and Ada presentation layer.
+build-ada:
+    gprbuild -P raze_tui.gpr -XMODE=debug -j0
 
-# Run tests
-test:
-    @echo "Tests not configured yet"
+# Build the SPARK core in release mode.
+build-ada-release:
+    gprbuild -P raze_tui.gpr -XMODE=release -j0
 
-# Format code
+# Build the Zig FFI bridge (links against SPARK exports).
+build-zig:
+    cd src/interface/ffi && zig build
+
+# Build the Rust consumer.
+build-rust:
+    cd src/rust && cargo build
+
+# Build everything (SPARK + Zig + Rust).
+build: build-ada build-zig build-rust
+
+# Type-check the Idris2 ABI specifications.
+check-abi:
+    idris2 --check src/interface/abi/State.idr
+    idris2 --check src/interface/abi/Events.idr
+    idris2 --check src/interface/abi/Widgets.idr
+
+# Run GNATprove on SPARK packages.
+prove:
+    gnatprove -P raze_tui.gpr -XMODE=spark --level=2 -j0
+
+# Run Zig bridge tests.
+test-zig:
+    cd src/interface/ffi && zig build test
+
+# Run Rust tests.
+test-rust:
+    cd src/rust && cargo test
+
+# Run all tests.
+test: test-zig test-rust
+
+# Format code (Rust only; Ada/Zig use editorconfig).
 fmt:
-    @echo "Formatting not configured yet"
+    cd src/rust && cargo fmt
 
-# Lint code
+# Lint Rust code.
 lint:
-    @echo "Linting not configured yet"
+    cd src/rust && cargo clippy -- -D warnings
 
-# Clean build artifacts
+# Clean all build artifacts.
 clean:
-    @echo "Clean not configured yet"
+    rm -rf obj/ bin/ lib/ proof/
+    rm -rf src/interface/ffi/zig-cache src/interface/ffi/zig-out
+    cd src/rust && cargo clean 2>/dev/null || true
+    rm -rf src/interface/abi/build/
+
+# Run the TUI demo.
+run: build-ada
+    ./bin/raze_tui_main
 
-# [AUTO-GENERATED] Multi-arch / RISC-V target
+# [AUTO-GENERATED] Multi-arch / RISC-V target.
 build-riscv:
-	@echo "Building for RISC-V..."
-	cross build --target riscv64gc-unknown-linux-gnu
+    @echo "Building for RISC-V..."
+    cd src/rust && cross build --target riscv64gc-unknown-linux-gnu