diff --git a/docs/plans/dependency-fidelity-design.md b/docs/plans/dependency-fidelity-design.md
index 62c5f2e35c0..e33abbddb26 100644
--- a/docs/plans/dependency-fidelity-design.md
+++ b/docs/plans/dependency-fidelity-design.md
@@ -1,6 +1,6 @@
 # Dependency-Fidelity — making "CI green" mean *declared ≡ witnessed*
 
-Status: design draft (operator-directed, 2026-07-14). Companion to the *enforcement-intent* thread (the same "ask once, compile forever" spine, made quantitative). Reasoned serially per DESIGN.md; each section is a consequence of the ones before it.
+Status: design draft (operator-directed, 2026-07-14). Companion to the [*enforcement-intent* thread](enforcement-intent-design.md) (the same "ask once, compile forever" spine, made quantitative). Reasoned serially per DESIGN.md; each section is a consequence of the ones before it.
 
 ---
 
diff --git a/docs/plans/enforcement-intent-design.md b/docs/plans/enforcement-intent-design.md
index 0c9ca0904d5..936bb5466c4 100644
--- a/docs/plans/enforcement-intent-design.md
+++ b/docs/plans/enforcement-intent-design.md
@@ -1,6 +1,6 @@
 # Enforcement intent — ask once, compile forever
 
-*Status: draft for operator review (2026-07-02). Extends the standing threads "model §1's axioms + enforce the syllogism" and the intent-linearity draft; does not supersede either.*
+*Status: draft for operator review (2026-07-02). Extends the standing threads "model §1's axioms + enforce the syllogism" and the intent-linearity draft; does not supersede either. Quantitative companion: [dependency-fidelity design](dependency-fidelity-design.md) — the same "ask once, compile forever" spine turned into a measured coverage law (CI-green ⟺ declared ≡ witnessed across an affected-set-scoped, mutation-adequate coverage set).*
 
 ## 1. The displaced cost (why this is on-dial)