If you can optimally reverse engineer a system, you can migrate or modernize nearly any codebase on earth. This is one of the last remaining problems in software. To achieve this, you must have a model-independent harness. The market is starting to realize this now.↗