summary_step8.md 730 B

V3 step 8 — self-hosting fixpoint (planned, done criterion)

Status: not started.

Scope

  • bootstrap/fixpoint.sh: Stage1 (gm2-built M2) compiles all compiler+syslib sources → Stage2 binary; Stage2 recompiles → Stage3; diff -r all generated .ssa must be byte-identical; full suite green on all three stages.
  • Preconditions: deterministic emission (sorted symbols, stable %tN/@LN, no timestamps/paths), hygiene rules from step 1.

Acceptance (planned)

  • Stage2 vs Stage3 .ssa byte-identical; 3-stage suite green. → SELF-HOSTED. Later (deferred): debug line-maps, LSP/tools.

Files (planned)

  • bootstrap/fixpoint.sh, stage1/2/3/ (gitignored binaries).
  • This file filled in on landing.