Repository navigation

fix(semantics): state each formal invariant over the domain it verifies #6601

Job	Run time
changes	12s
node-minimum-compatibility	4m 23s
windows-powershell	4m 1s
test-shard (1)	13m 41s
kernel-static-checks	6m 10s
node-forward-compatibility	5m 26s
test-shard (3)	12m 2s
stage2c (e2e 1)	7m 56s
stage2c (mutants 0)	7m 39s
test-shard (4)	14m 5s
dashboard-acceptance	3m 32s
stage2c (installed 0)	1m 8s
test-shard (2)	7m 43s
stage2c (e2e 2)	3m 16s
presentation	-1s
stage2c-correctness-e2e	3s
checks	3s
pytest	1m 11s
merge-gate	8s
sonar / SonarCloud analysis (non-blocking)	7s
	1h 32m 45s