NecroStack: Resurrecting Abandoned Code and Preserving the Ghost in the Machine

NecroStack automatically rewrites legacy code to modern TypeScript while preserving domain invariants and generating verification tests.