Fix orphaned dependency-fidelity design doc (latent fleet-wide floor red)

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.
 
 ---
 

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)