commit d2a35355cce35f384ebb7a13b595252a2b6bbebb
parent 7cd481b4a9c4280c56135562bf6f11d9e0242605
Author: James Eversole <james@eversole.co>
Date: Fri, 16 Oct 2026 14:11:39 -0500
Complete cross-runtime compiler checkpoint with verified rolling retention
H2=H3=Z3 verified from frozen a3b1cc2, 931 complete objects and all compiler bundles. Twelve result cases pass on each runtime; eight mutation controls reject; nix flake check passes all 845 Haskell tests and other checks. Retention plan/apply/check complete: current H2, distinct rollback, support, all cross-host evidence and Nix runtime roots retained; 30 superseded object directories pruned (51,396,608 allocated bytes estimated).
Evidence under .bootstrap-run/cross-runtime-2 and .bootstrap-run/retention-cross-runtime. accepted-cross-host.json SHA256 0cdf34235d5ac45c6952c1fd65b45d2ef89824a4df843cd777fc4604b32f9528; completed retention plan SHA256 cd6ec104c1f9cf1d5191b70f58ab4a6e93a8b53ffcd6cc2fd47ac6dd4d4304e8. Common transport/packing remain Haskell; no fixture replacement or Haskell-free bootstrap claim.
Diffstat:
2 files changed, 8 insertions(+), 0 deletions(-)
diff --git a/docs/build-and-run.md b/docs/build-and-run.md
@@ -4,6 +4,7 @@ Run these commands from the extracted tricu directory. You need [Nix](https://ni
with flakes enabled. Native development uses the Haskell host; builds and tests
run through Nix. The experimental [Zig runtime and owned-handle C ABI](../ext/zig/README.md)
have separate opt-in Nix validation targets; they are not compiler-toolchain acceptance.
+For that stronger check, use the [isolated cross-runtime reproduction experiment](compiler-rebuilding.md.html#isolated-cross-runtime-fixed-point-reproduction).
## Build the host
diff --git a/ext/zig/README.md b/ext/zig/README.md
@@ -13,6 +13,13 @@ safety checks enabled. Reducer/collector and libuv scheduler-root tests run in
both Debug and ReleaseSafe. These tests do not establish compiler self-hosting
acceptance or a performance comparison with Haskell.
+Full compiler reproducibility uses the separate
+[isolated cross-runtime fixed-point experiment](../../docs/compiler-rebuilding.md#isolated-cross-runtime-fixed-point-reproduction).
+It verifies Haskell and Zig generations against each other with independent
+complete-object audits, post-generation smokes and explicit retention. Haskell
+still supplies common artifact transport and packaging; this is not a
+Haskell-free installation or distribution workflow.
+
The libuv header import locally disables `_FORTIFY_SOURCE` during C-to-Zig
translation: the pinned importer otherwise diagnoses glibc's variadic
`open`/`openat` inline wrapper bodies in optimized builds. The driver calls
