Stable binding-elimination promotion

Stable source frozen at 8fc27f720879a69c0ad6afa82ea3b5c6c0d7649d. The work was committed on binding-elimination and fast-forwarded into main. There is no third backend. See binding elimination.

Completed:

• Two fresh stable generations, exact reproduction and independent closure audits.
• Generation smoke: 12 complete results; stable abstraction: 28 cases.
• Source-equation corpus: 75 authored outcomes and two full AST/reply checks.
• 34 compiler modules and 46 support modules rebuilt and published with actual receipts/source snapshots; source freshness and shipped-tree identity pass.
• nix flake check passes on x86_64-linux, including all 922 Haskell tests. An outdated fixture-size assertion was updated from 31 to 34 with explicit checks for the new binding-module exports; no behavioral gate was weakened.

The accepted compiler, rebuild kit, fixture snapshots and native host pin now select the verified stable binding compiler. Earlier targeted demand/sharing and arithmetic evidence is retained in the investigation reports.

Site refresh and rolling retention are complete:

• Refreshed the site compiler, native interfaces, demos, independent goldens and release index; 222 serial Node tests and compiler/contract comparisons pass.
• Chromium and Firefox backend/module checks pass; Chromium UI and portable local-module roundtrip checks pass. The refreshed Nix checks pass.
• Retained matching current and previous site/dependency packs as Nix roots; result, result-site and result-site-deps select the tested publication.
• Isolated pre/post retention checks pass for current and rollback generations, source maps and support reproduction. Only 14 reviewed obsolete verification object directories were pruned; the prior accepted cohort remains retained.

The first retention plan correctly refused changed protected inputs: operator logs had been written inside the protected cohort after fingerprinting. No pruning occurred. The successful replacement keeps logs outside that cohort.

Evidence and exact artifact identities: bootstrap/binding-acceptance.json, .bootstrap-run/binding-elimination-8fc27f7, and .bootstrap-run/retention-binding-elimination-final. Historical investigations measure the previous accepted compiler against this revision; their figures are not claims of another speedup on top of the now-promoted compiler.