Worked on the acl2/acl2 repository to enhance the robustness of move semantics by addressing implicit conversion issues in move assignments, specifically targeting lvalue type mismatches. Applied algorithm design and Lisp programming skills to deliver a focused bug fix, accompanied by an expanded suite of software tests that exercised edge cases and guarded against regressions. The solution improved the reliability of data movement within the core codebase, reducing the risk of subtle bugs and simplifying future maintenance. Through documented commits and collaborative development, contributed to clearer code paths and more maintainable move operations, with all changes validated through comprehensive test coverage.