Status
This page states what is proven and what is open. It is the honest summary of README.md section "Known open. Do not claim otherwise" plus Z# status.
Proven
- One real install, end to end, booting from disk with the ISO detached: BIOS + MBR +
grub-install --target=i386-pc; btrfs root withcompress=zstd, a separate/home, XFCE, GRUB. - Full pipeline:
apps/→make stage→installer-iso/airootfs/→customize_airootfs.sh→mkarchiso→ boot → 16 questions →kryon-install→ disk → boot. - Test suites green: installer 46/46 as root, 30/30 non-root; wizard
test_tzworldandtest_parts; zentest_ledger. - Mirrors: 10 vetted mirrors (5 continents); 5 of 10 unreachable still yields
pacman -Syexit 0; both repos sync cleanly in the booted guest.
Known open
Prepared but not verified — implemented in source, never exercised:
- No
[kryon]repository The Cloudflare Worker + R2 bucket is implemented but not deployed. No account, subdomain or hostname exists.linux-kryonis deliberately not installable — selecting it fails with "target not found" until someone deploys. - UEFI never tested UEFI paths exist in the code; only BIOS/MBR was proven.
- Secure Boot refused Refused unless
KRYON_SECUREBOOT=allowoverrides it; that override has never been executed. - Graphical installer never executed The GTK wizard (10 pages) was built and staged but never run end to end; the one complete install used the TUI.
- LUKS untested LUKS is offered by the installer but never exercised.
- Tuned kernel not applied The live ISO ships Arch's stock
linuxkernel and trimmed firmware; the tuned configuration is not applied.
GUI wizard: never exercised
The graphical installer has been written but never executed end to end. The 10-page flow (Welcome, What you need, Storage, Desktop, Location, Time zone, Users and passwords, Packages, Review, Installation complete) has not been shown on a real display.
Hardware: built only, not tested
Hardware-specific paths in the installer were written but not exercised against real machines. The proven machine is the test box that booted from disk.
Consoles and fonts
The console font / keyboard layout on the live ISO reflects Arch defaults; anything beyond that has not been verified. The installation transcript in docs/first-install.md shows the one proven boot.
Z# status
Compiler is not finished:
hir,mirandbackendare stubs; 0 of 17 safety properties observed;zsc versionis a build setting, not a measurement.mod/trait/impldo not parse, multi-line brackets regressed, no REPL,zpmnot implemented. Conformance: 162 test files.
How to verify a change
make check — build prerequisites and unit tests; kryon-sync check-packages — sanity check the built packages; make stage — build the ISO. The ISO is the artifact that actually boots.