diff --git a/README.md b/README.md index b5723d7f..634a46f2 100644 --- a/README.md +++ b/README.md @@ -116,7 +116,7 @@ make coverage-domain-evidence DOMAIN=firmware make coverage-domain-evidence DOMAIN=host-dependent ``` -Per-domain baselines currently start at `0`. +Per-domain baselines currently start around `60`. That does not waive test obligations. It means the project is adopting explicit domain evidence immediately while tightening quantitative expectations incrementally over time. When a PR changes the observable contract of a canonical domain, it is expected to: