As part of this project, the team advances work on SMT-solver-based methods for synthesizing metamorphic specifications from demonstrations of both correct and incorrect system behavior. A key next phase focuses on gaining secure access to the United States Census data through collaboration with the Rocky Mountain Research Data Center (RMRDC). During the third year of the project, Dr. Reed and Morgan Wagner, transitioning to a postdoctoral role on the project, will prepare and revise the required data access proposal, engage with RMRDC staff, and conduct on-site data analysis at the secure facility in Boulder, Colorado. The visit also supports in-person coordination with collaborators to plan subsequent research directions. Project activities continue in parallel with the analysis of data collected during the tax-focused component of the study. A manuscript based on this work is currently in progress and targeted for submission. Additional analysis of recorded interviews will support a closer examination of how large language models were used within the project. Throughout this phase, Dr. Reed and Postdoctoral Associate Wagner will supervise research assistants and provide hands-on training, integrating workforce development into the ongoing research effort.