From 27cccd9e7a76f52af6bd460371dafbeb8899d2c8 Mon Sep 17 00:00:00 2001 From: Sridhar Ratnakumar Date: Thu, 28 May 2026 22:28:32 -0400 Subject: [PATCH] ralph(eval): record cycle-2 pureintent gain (shared HM module) pureintent nrThunks 19,201,996 -> 17,431,437 (-9.2%); cycle-2's manual.manpages.enable=false also feeds pureintent's embedded home-manager via modules/nixos/default.nix. Total pureintent -14.6% from baseline. --- docs/eval-time-ralph-report.md | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/docs/eval-time-ralph-report.md b/docs/eval-time-ralph-report.md index 6aa2163..1602d74 100644 --- a/docs/eval-time-ralph-report.md +++ b/docs/eval-time-ralph-report.md @@ -56,7 +56,11 @@ Env: nix 2.34.7, x86_64-linux. |-------|--------|-------------------|----------------------|---------| | 0 | baseline | 20,400,114 | 5,323,428 | — | | 1 | pureintent: `documentation.nixos.enable = false` (drop NixOS options manual; option doc-strings no longer evaluated) | **19,201,996 (−5.9%)** | 5,323,428 | ✅ commit | -| 2 | home: `manual.manpages.enable = false` in shared `modules/home/default.nix` (drop home-manager options manpage; evaluated every HM option's doc) | 19,201,996 | **3,551,679 (−33.3%)** | ✅ commit | +| 2 | home: `manual.manpages.enable = false` in shared `modules/home/default.nix` (drop home-manager options manpage; evaluated every HM option's doc) | **17,431,437 (−9.2%)** | **3,551,679 (−33.3%)** | ✅ commit | + +> Note: `modules/home/default.nix` is also fed to every Linux system's *embedded* +> home-manager via `modules/nixos/default.nix`, so cycle 2 reduced pureintent +> too (its HM user's manpages were previously on). ## Dead ends