Repository navigation

A compiler is refused only when the realisation needs a token it cannot take #643

Job	Run time
invariants (macos-arm64)	5m 49s
invariants (linux-x86_64)	5m 54s
invariants (windows-x86_64)	5m 52s
invariants (linux-aarch64)	5m 18s
scan (linux-aarch64)	4m 6s
scan (linux-x86_64)	10m 26s
scan (macos-arm64)	6m 20s
scan (windows-x86_64)	8m 44s
coverage (every host the table names was scanned)	5s
	52m 34s