Worked on the EnzymeAD/Reactant.jl repository to enhance the correctness and robustness of TracedRNumber’s bitwise operations in Julia. Focused on fixing a bug related to parameterized type handling, enabling proper support and promotion between Boolean and Integer types within bitwise operators. Refactored logical operator methods and updated the xor definition using Iterators.product, which improved maintainability and correctness. Expanded test coverage for bitwise operations, particularly xor scenarios, to reduce regression risk and ensure numerical reliability. Applied skills in algorithm design, mathematics, and type system management, demonstrating a test-driven approach to strengthen the core mathematical functionality of the codebase.