35 lines
1.5 KiB
Markdown
35 lines
1.5 KiB
Markdown
# Milestone validation — 1 November 2026
|
|
|
|
Target: Ubuntu 24.04 x86-64 development environment; GCC/GNAT 13; V 0.5.2 (`7647ce1`); QEMU TCG, `qemu64`, one virtual CPU, 64 MiB guest memory, BIOS/GRUB Multiboot. Builds and QEMU ran as an unprivileged account, not as the web or Forge service.
|
|
|
|
Commands:
|
|
|
|
```sh
|
|
make test V=/opt/agila-v/v
|
|
make boot-test
|
|
```
|
|
|
|
Observed host results:
|
|
|
|
```text
|
|
ADA_PORTS_OK: FIFO, wrap, full/empty, grants, revocation, stale handles, exhaustion, port separation
|
|
ADA_V_PORTS_OK value=42
|
|
Host ABI demo: caller IDs are trusted inputs; no process isolation is claimed.
|
|
```
|
|
|
|
The C ABI test exited successfully after checking NULL output, full-width unsigned payload, empty output, and close behavior. Host Ada checks and overflow checks were enabled.
|
|
|
|
Observed virtual-machine result:
|
|
|
|
```text
|
|
OPEN_AGILA_X86_64_ADA
|
|
ADA_PORTS_BOOT_TESTS_OK
|
|
Boot milestone: one address space; no user services or desktop yet.
|
|
AGILA_BOOT_OK
|
|
QEMU_BOOT_SMOKE_PASS
|
|
```
|
|
|
|
QEMU exited with status 33, the success code produced by the configured debug-exit device. The smoke test requires that exit status and all three success markers. It fails on timeout, a missing image, a wrong exit status, or missing proof text.
|
|
|
|
This validates the listed code paths on this virtual-machine target. It does not validate user-space isolation, arbitrary input pointers, concurrent callers, generation-counter exhaustion after hundreds of millions of closes, UEFI, physical hardware, other ISAs, GPU work, or framework compatibility.
|