Clearing a backlog of stale PRs might sound like mundane maintenance, but today's work on Cx has brought a key piece of technical documentation into focus. It's all about the unary lowering strategy in the Intermediate Representation (IR), which isn't visible without those extra insights. Unary Lowering Strategy Ever noticed Cx's IR doesn't handle negate or boolean-not instructions directly? Instead, we've decided to encode them in a two-operand form: Op::Minus becomes 0 - value Op::Not becomes value == 0 This choice minimizes the work for backends, needing just one instruction pattern for both arithmetic and comparison tasks. The nuances of this strategy are now documented in src/ir/lower.rs , thanks to a recent commit ( 2d665a4 ) on stokowski/cx-6-document-unary-lowering . These 25 lines of comments don't alter code behavior but offer crucial context to understand our IR encoding decisions.…