docs/foundation.adoc cites flake.guix, which does not exist on main (removed with flake.nix in #275) #335

Finding

docs/foundation.adoc cites a file named flake.guix in three places (the "Known limitations" item 1, the "Pinned inputs" paragraph, and the 2026-05-18 "CI-via-flake reproducible pin implemented" history entry). No such file exists anywhere in the tree at main (511ef252): git ls-tree -r finds only build/guix.scm, and flake.nix was removed by #275 ("nix->guix"). build/guix.scm contains no absolute-zero pin. The only live absolute-zero pin is ABSZ_REF in .github/workflows/agda.yml.

Found while answering a CodeRabbit thread on #334. Pre-existing drift from the Nix → Guix move, not introduced by #334.

Acceptance criteria

• docs/foundation.adoc names the file that actually holds each pin today (.github/workflows/agda.yml for absolute-zero; whatever build/guix.scm or the workflow holds for Agda and standard-library), or states plainly that no reproducible flake-style pin exists since chore(nix->guix): remove flake.nix (Guix-only) #275.
• The 2026-05-18 history entries are left as written (append-only); the correction lands as a new dated entry.
• grep -n "flake.guix" docs/ returns only lines inside dated history entries.

🤖 Generated with Claude Code

https://claude.ai/code/session_01QYY8Gp4v4x2J7iSNn1vZ57