Cody Roux contributed to the strata-org/Strata repository by enhancing the reliability and correctness of the Boogie LExpr generator. Focusing on compiler design and type theory, Cody fixed a critical bug that previously allowed generation of incorrectly typed LExprs with free variables outside the intended context. Using Lean and functional programming techniques, Cody improved term generation to ensure functions are fully applied and introduced redundant typing rules for unary and binary functions. The work also expanded support for bit-vector constants and established a foundation for generating the Boogie functional fragment, addressing broken functionality and enabling future verification features within the codebase.