E.17.EFP:5.2.a - Non-entailed link exits the profile
Source claim. D-21: The reserve path remained available during observed overload interval O-7.
Proposed connective. Therefore the reserve-path design is robust against every short overload.
No source premise, effective-scheme rule, or already obtaining robustness relation derives the universal design claim. addedLinkPolicy cannot repair that absence. To retain the sentence, constitute exact target episteme E_robustnessClaim and apply the direct robustness, comparison, bridge, or B.5.2 hypothesis pattern appropriate to the intended claim. Until that relation obtains, remove the sentence or leave EFP; it is not source-linked reconstruction.