diff --git a/harness/ordinary-source8-compatibility-contract-20260925.md b/harness/ordinary-source8-compatibility-contract-20260925.md
index 49be3de4..d95a5b12 100644
--- a/harness/ordinary-source8-compatibility-contract-20260925.md
+++ b/harness/ordinary-source8-compatibility-contract-20260925.md
@@ -92,3 +92,18 @@ The other two affected tests keep their names. Preserve the other290 prior names
 and all prior substantive checks; this explicit mapping is not permission to
 exclude outcomes. Final expected inventory remains298. The initial focused5/1
 fixture failure and subsequent focused6/0 plus full294/4 remain separate evidence.
+
+The subsequent `0c07f53a` core suite passed298/298. Its migration integration
+suite exposed one further stale oracle: the frozen schema4 JSON has no
+`definitions` field, whereas `Project4::into_current` explicitly creates an
+empty catalog and current Project serialization includes it. Correct only that
+test's expected JSON, asserting original field absence and the migrated empty
+catalog before adding `{}`. Keep the complete JSON comparison and all historical
+field assertions. Preserve its initial4/1 result.
+
+If the successor changes only that integration test and its implementation note,
+reuse the unchanged core, other integration and CLI evidence at `0c07f53a`.
+Verify the exact Git diff and every other declared input byte before reuse; label
+tested component versions explicitly. Run the affected migration list/suite and
+all-target Clippy/format gates on the successor. Do not imply that reused tests
+were rerun at the successor or that the initial migration failure was a pass.