Worked on enhancing the assertion framework in the zio/zio repository, focusing on improving robustness and type-safety for Scala 3. Developed targeted updates to the assertTrue macro, addressing constructor handling and expanding support for operations-based type comparisons. The approach included adding comprehensive tests for string, class, and generic class constructors, as well as verifying compile-time behavior for types with defined comparison operations. Improvements also featured clearer error messaging to aid developer productivity and correctness. The work leveraged Scala, macros, and software testing skills, resulting in a more reliable assertion framework with broader coverage and improved compile-time validation for type operations.