E.18.2:4.4 - Related claims
E.18.2 defines only the mathematical-description relation. For any neighboring claim, use the row below that names the exact contribution needed now:
| Current claim | Use |
|---|---|
| one bounded change under conditions | Apply A.3.4’s occurrence test and identity rule to identify the changed referent, boundary, actual change facts, and continuity or reidentification basis. |
| one selected transformation-flow structure, flow valuation, path, slice, crossing, or refresh locus | Apply E.18’s identity, selection-constraint, and local-value rules to select that exact one-TFS structure and identify the local values used by the claim. |
| one selected network of independently identified TFS or nested-network members and exact cross-member relations | Apply E.18.NET’s membership, boundary, and cross-member relation requirements to select the exact members and identify the obtaining cross-member relation occurrences. |
| one A.22-selected CGUS qualified through an independently identified E.18 substrate, with constraints and guarded alternatives whose applied-claim, E.18-event, or independently defined relation basis remains separate, plus preserved/lost structure, neighboring values connected by exact supporting relations, and stop or reconsideration questions | E.18.3 qualifies that selected CGUS for this substrate use without identifying the substrate or neighboring values |
| mathematical-lens adequacy, preserved/lost structure, payoff, or stop condition | C.29 returns the bounded lens-use result |
| method | Apply A.3.1’s method criteria to identify the exact U.Method. |
| method-description membership | A.3.2 tests one C.2.1 episteme against one admitted U.Method |
| mechanism or mechanism application | A.6.1 supplies the mechanism declaration and exact application binding |
| formal-substrate signature | A.6.0 supplies the profile-specific signature declaration |
| work plan | Apply A.15.2’s plan-identity and intended-work rules to identify the plan and intended-work relations. |
| performed work | Apply A.15.1’s occurrence and identity rules to identify the dated U.Work occurrence. |
| evidence use | A.10 supplies the evidence relation for the named reliance |
| assurance use | B.3 returns the bounded assurance result for that reliance |
| internal step validity | A.20 returns the constraint-validity result |
| gate profile or decision | A.21 supplies the gate profile, aggregation, decision, and publication minima |
| release | Apply A.15.1 to test and identify an actual release action as Work; test a separate subject-release claim with its named predicate or return the exact A.6.RCD result. |
| local choice | C.11 returns the ChoiceResult |
| architecture | C.30 carries the architecture claim |
| architecture structural view | C.30.ASV returns the structural-view adequacy result |
| functional structure | A.6.F supplies the exact function/bearer claim |
| module interface | A.6.M supplies the module-interface relation |
| reusable-structure characteristics | C.31 carries the reusable-structure claim |
| publication face or explanation-faithfulness use | E.17 supplies the publication face; E.17.EFP returns the explanation-faithfulness result |