Replace stale, generic repository instructions with concise guidance for ATLANTIS's current architecture, data contracts, verification workflow, and pull request review expectations.