# Gravity Migration > A method for turning a mainframe estate (IBM Z or IBM i) into Gravity Standard specifications for AWS. The existing system is treated as evidence: each artifact produces cited claims, confirmed claims become numbered rules, rule tests and parallel runs prove them, and every difference gets a named decision. Numbered rules MIG-001 onward. ## Docs - [AI Reference](https://gravitymigration.com/gravity-migration.md): The condensed method — glossary, chapters, MIG rules, translation table, migration layout, how an AI assistant works on an estate, difference classifications, questions settled with the Standard, and platform dialects - [Full text](https://gravitymigration.com/llms-full.txt): Same content, single file - [Tidewater estate](https://gravitymigration.com/tidewater-estate.md): An invented estate with a worked example for every translation: COBOL, RPG, Java, VSAM, Db2, MQ, JCL, RACF, CICS, web, partner files, reports, and code tables ## Optional - [Human-readable site](https://gravitymigration.com/): Illustrated chapters with animated diagrams - [Templates](https://gravitymigration.com/templates/survey-sheet.md): Survey sheet; also evidence-entry.md, rule-card.md, difference-report.md and cutover-slice.md - [Gravity Standard](https://gravitystandard.com/llms.txt): The architecture these specifications target - [Gravity Scheduling](https://gravityscheduling.com/llms.txt): The delivery-scheduling method used for cutover slices