Fidelity Probes for Specification--Code Alignment.

arXiv:2605.17246v2 Announce Type: replace-cross Abstract: Software modernization often relies on natural-language specifications recovered from an existing implementation. Incorrect or missing requirements can lead to defects in the modernized system. We intro