Source changed 2026-10-03 08:25:59 UTC · snapshot created 2026-10-03 08:26:43 UTC · last check 2026-10-03 09:00:05 UTC
E.17.EFP:12 - Relations
Uses when current:C.2.8 for the extractable structural amount consumed by a bounded explanation use; its comparison retains the identified episteme, expressing form and qualified observer, while EFP retains explanation-use classification.
Profile basis and main neighboring-pattern boundaries: E.17 supplies face discipline; E.17.0 supplies viewpoint/view conformance only when U.View membership is material. A shift toward new semantics, a coarsened narrower-use target, or a gate-bearing claim or effect leaves the profile.
Boundary notes: bounded comparison over a comparative review unit applies E.17.ID.CR ComparativeReviewUnit; explanation-like renderings with declared source-loss mode whose narrower bounded claim or effect, blocked downstream claim or effect, and source-bearing reopen are primary apply A.6.3.CSC Controlled Semantic Coarsening; retargeting applies A.6.4; work and reliance consequences apply their direct patterns, including A.15 for alignment, A.15.1 for dated Work, and A.15.4 only while an appearance hides the needed prerequisite; assurance and engineering-justification consequences apply B.3; gate-bearing consequences apply A.21 under the named gate’s applicable profile; use A.20 only for a named internal-constraint check under that pattern’s subject and applicability conditions.