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

Known open

Prepared but not verified — implemented in source, never exercised:

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, mir and backend are stubs; 0 of 17 safety properties observed; zsc version is a build setting, not a measurement. mod/trait/impl do not parse, multi-line brackets regressed, no REPL, zpm not 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.