Aegis ContractLock is an evidence-gated legacy modernization system where IBM Bob reconstructs legacy behavior, modernizes the monolith, diagnoses drift, and repairs the candidate while Aegis independently seals and verifies behavioral preservation before a human approves the merge.