Guarded Boolean bindings

Stable compilation uses a guarded transformation for eligible Boolean bindings before bracket abstraction. Compiler-owned certificates identify known Boolean operations, and occurrence/path analysis determines eligible uses. Rejected bindings retain their complete core subtree.

The transformation participates in ordinary stable compilation and the standard compiler source map. Compiled function trees reflect the selected compiler implementation; artifact receipts record that compiler's identity.

The implementation contract describes eligibility, capture-avoiding substitution, source-location preservation and certificate validation beside the compiler source. Its validation procedures cover complete results, partial-input demand, sharing, closure construction, constructor-K and eta controls.

Use the compiler rebuilding workflow to prepare and validate compiler changes. Publication authenticates a frozen source commit, a fresh generation pair, independent audits and generation smokes, then retains the accepted tools and their receipts.