Progress

2026-04-01 — Phase 1.1 started: Guile verified on FreeBSD amd64

Completed work:

installed/confirmed guile3-3.0.10
added a reusable verification harness:
- tests/guile/run-phase1-verification.sh
- tests/guile/verify-phase1.scm
- tests/guile/modules/phase1/sample.scm
verified the following on FreeBSD 15.0-STABLE amd64:
- module loading
- deterministic output generation
- file I/O
- process handling with primitive-fork/waitpid
- loopback TCP sockets
- FFI calls into libc
- execution of Guix bootstrap-related code from (guix build make-bootstrap)
wrote the results to docs/reports/phase1-guile-freebsd.md

Notable findings:

guile3 and guile-3.0 are present, but there is no unversioned guile binary
system* and open-pipe* currently segfault on this host (exit 139)
despite that crash, the lower-level process primitives needed for further investigation do work

Current assessment:

Phase 1.1 has a solid amd64 smoke-verification baseline
Phase 1.1 is not fully complete yet because i386 has not been checked and the subprocess crash needs investigation
verification harness committed as e380e88 (Add FreeBSD Guile verification harness)

Next recommended step:

investigate and isolate the system* / open-pipe* crash with a minimal reproducer
decide whether this requires a local Guile patch, a packaging fix, or Guix-side avoidance
once subprocess behavior is understood, continue with Phase 1.2 (minimal native build environment / GNU Hello)