SoS

Metamorph is an AI-powered legacy code migration tool that transforms PHP services into TypeScript and independently verifies whether their behavior has been preserved. Powered by Meta's Muse Spark 1.3 through the Meta Model API, Metamorph generates a TypeScript candidate and passes it to an independent verification engine (Oracle). The Oracle builds the candidate in isolated Docker environments, compares its HTTP responses and stateful SQLite behavior against the original PHP application, and produces traceable evidence of correctness or failure. When a migration fails, the system can feed structured, allowlisted error information back to the model for a bounded repair attempt. Every candidate and verification result is linked to cryptographic hashes, making the process reproducible and auditable. In our November 4 demonstration, a real Muse Spark-generated candidate passed all 6 build/type checks, 17 HTTP comparisons, and 20 database-state comparisons across three public test scenarios — in one model response, without repairs, at an estimated inference cost of approximately $0.056. Unlike traditional AI code converters, Metamorph does not treat generated code as correct simply because it compiles. It makes behavioral verification a first-class part of migration. Our public repository includes an offline evidence viewer, original verification records, historical failures, and instructions to reproduce the recorded results. The demonstrated success covers the public test scenarios; full production acceptance remains future work.