Scope completeness
Inventory, dependency closure, exclusions, and ownership make the boundary explicit.
Automated, repeatable, and auditable evidence against explicitly agreed migration acceptance criteria.
SQL Tran records behavior. SQL Flow records data and continuity. The Evidence Pack brings the record together.
Illustrative example
In-scope objects
14,282 / 14,282
Required behavioral tests
1,826 / 1,826
Tables reconciled
614 / 614
Critical datasets compared
37 / 37
Unexplained CDC gaps
0
Current replication lag
1.8 s
Cutover rehearsal
PASSED
What “proven” means
This is not a claim of mathematical proof over every possible future workload. It is an evidence system covering the agreed scope, tests, tolerances, and operational gates, with every exception owned and visible.
Inventory, dependency closure, exclusions, and ownership make the boundary explicit.
Object status, translation provenance, emulations, and unresolved items show what changed.
Counts, checksums, value comparisons, and LOB checks test the target data.
Source-target tests and side-effect comparisons cover the agreed behavioral acceptance set.
CDC positions, lag, retries, gaps, and schema events expose the live handoff.
Rehearsal, performance gates, rollback steps, and approvals make the switch executable.
Evidence lineage
A reviewer should be able to understand where a result came from, which versions produced it, and who accepted any remaining exception.