diff --git a/docs/engineering/m5_context_contracts.md b/docs/engineering/m5_context_contracts.md
index 2f743a4..f09da6d 100644
--- a/docs/engineering/m5_context_contracts.md
+++ b/docs/engineering/m5_context_contracts.md
@@ -1,6 +1,6 @@
 # M5 Bounded Review-Context Contracts
 
-This checkpoint fixed the v0.7.0 production contracts before implementation and remains the engineering-level boundary record. The implementation now exists on the active release branch; production-owner evidence and remaining real-OCR/stable-release limits are recorded in the active plan and test-evidence matrix. Public operator behavior is owned by [Bounded review context](../review-context.md).
+This checkpoint fixed the v0.7.0 production contracts before implementation and remains the engineering-level boundary record. The implementation and current contracts live on `main`; production-owner evidence and explicit residual limits are recorded in the test-evidence matrix, while completed release evidence is archived in the execution history. Public operator behavior is owned by [Bounded review context](../review-context.md).
 
 ## Ownership and dependency direction
 
diff --git a/tests/test_operations_docs.py b/tests/test_operations_docs.py
index fab25da..79fca8b 100644
--- a/tests/test_operations_docs.py
+++ b/tests/test_operations_docs.py
@@ -90,6 +90,9 @@ def test_documentation_indexes_route_to_canonical_owners() -> None:
     engineering_index = (PROJECT_ROOT / "docs" / "engineering" / "README.md").read_text(
         encoding="utf-8"
     )
+    context_contracts = (
+        PROJECT_ROOT / "docs" / "engineering" / "m5_context_contracts.md"
+    ).read_text(encoding="utf-8")
     readme = README.read_text(encoding="utf-8")
 
     for index in (docs_index, codex_index, engineering_index):
@@ -125,6 +128,9 @@ def test_documentation_indexes_route_to_canonical_owners() -> None:
     assert "not a second source" in codex_index
     assert "without duplicating their rules" in engineering_index
     assert "docs/README.md" in readme
+    assert "current contracts live on `main`" in context_contracts
+    assert "active release branch" not in context_contracts
+    assert "active plan" not in context_contracts
 
 
 def test_release_archive_reconciles_current_external_delivery_truth() -> None: