Worked on the bpftrace/bpftrace repository to address a critical bug in the type resolution subsystem, focusing on backend development and testing using C++. Delivered a targeted fix to the Type Resolver, ensuring that per-loop variables in for-loops bind to their own scopes rather than merging types across loops with the same variable name. This change involved adjusting scope management logic to prevent erroneous type widening, which previously led to incorrect loads and BPF verifier rejections. The solution improved correctness and reliability for multi-loop probes, with traceability ensured through a linked commit and issue, demonstrating strong debugging and C++ scope management skills.