Worked on improving the reliability and stability of the cedar-policy/cedar-spec repository by addressing resource management issues in the CVC5 solver integration. Focused on backend development and system programming, the work involved implementing robust subprocess cleanup logic using Lean to ensure that CVC5 processes were properly terminated after use. This fix prevented the accumulation of zombie processes, reducing resource leakage and operational risk in long-running automated analyses. By enhancing subprocess lifecycle management, the changes laid a foundation for more reliable solver workflows and improved the overall stability of the system, demonstrating careful attention to backend reliability and process management.