fruix/docs/PROGRESS.md

Progress

This file is now intentionally compact.

Detailed chronological history through Phase 18.2 has been archived at:

• docs/reports/progress-log-through-phase18-2-freebsd.md

For a broader narrative summary, see:

• docs/PROG_SUMMARY.md

Current status

Fruix currently has:

• declarative system modeling on FreeBSD
• content-addressed system closures under /frx/store
• native FreeBSD base artifacts in /frx/store
• declarative FreeBSD source objects and source materialization
• source-driven native base builds from materialized source snapshots
• side-by-side source revisions and boot validation
• a host-driven non-interactive install path:
  • fruix system install
• a bootable Fruix-managed installer environment:
  • fruix system installer

Validated boot modes still are:

• freebsd-init+rc.d-shepherd
• shepherd-pid1

The validated Phase 18 installation work currently uses:

• freebsd-init+rc.d-shepherd

Latest completed achievement

2026-04-04 — Phase 18.2 completed

Fruix now boots a minimal installer environment and installs a target system from inside it.

Highlights:

• added in modules/fruix/system/freebsd.scm:
  • installer-operating-system
  • operating-system-installer-image-spec
  • materialize-installer-image
• added CLI support in scripts/fruix.scm:
  • fruix system installer
  • --install-target-device DEVICE
• the installer image now carries:
  • its own installer closure
  • the selected target closure
  • the target store closure
  • a staged target rootfs payload
  • in-guest installer state/log/scripts
• validated workflow:
  • boot installer image in QEMU/UEFI/TCG
  • reach installer over SSH
  • install target system onto second disk from inside the guest
  • boot the installed target successfully

Validation:

• PASS phase18-installer-environment
• regression re-checks:
  • PASS phase18-system-install
  • PASS phase17-source-revisions-qemu

Report:

• docs/reports/phase18-installer-environment-freebsd.md

Commit:

• 1d00907 — Add Fruix bootable installer environment

Recent major milestones

• 1d00907 — Add Fruix bootable installer environment
• 2517710 — Add non-interactive Fruix installation flow
• 02a02e3 — Document Fruix FreeBSD source policy
• 865012e — Boot Fruix from distinct FreeBSD source revisions
• 8150508 — Validate side-by-side FreeBSD source revisions
• 5cbf5b9 — Build native bases from materialized FreeBSD sources

Active constraints

• local bhyve remains blocked under Xen due to lack of nested VT-x exposure
• XO self-service creation is still not usable with the current token
• real XCP-ng validation must continue to use:
  • VM 90490f2e-e8fc-4b7a-388e-5c26f0157289
  • approved A/B VDIs:
    • 0f1f90d3-48ca-4fa2-91d8-fc6339b95743
    • 7061d761-3639-4bec-87f7-2ba1af924eaa
• local QEMU/TCG validation keeps conservative default SMP settings; QEMU_SMP remains overrideable

Next step

Per docs/PLAN_4.md, the next planned step is:

• Phase 18.3 — produce a bootable UEFI installer ISO

That should build on the now-validated installer environment rather than replacing it.