Navigation and routing

An Expo app has one navigation tree, built by Expo Router from the files in src/app/, whose routes equal a repo-owned route contract (contracts/navigation.json): flows switch by guards, hrefs and params are checked, screens with unsaved work cannot be lost by a stray Back, and every URL lands somewhere. React Navigation 7's static API is the fenced alternative. A script proves it.

Rules that must hold