A practical SLC SCP migration method that reconstructs each analog signal contract, selects module scaling, explicit math or a governed AOI, preserves fault semantics and proves equivalence across the full...