A.6.3.CR:5.2 - Same-EntityOfConcern rewrite via declared correspondence

Source design slice. Cooling loop CL-2 preserves safe temperature margins during standard operating demand.

Source safety slice. Cooling loop CL-2 maintains the temperature condition required for hazard-control claim HC-7 during standard operating demand.

Published joint-review slice. For standard operating demand, Cooling loop CL-2 is described in both the design and safety views as maintaining the required temperature condition. This summary relies on CorrespondenceModel CM-12 and does not add claims beyond that declared overlap.

The synthesis may stay in this pattern only if the source relation remains explicit, every downstream claim remains recoverable to the design slice, the safety slice, or the declared CorrespondenceModel, and the text does not silently widen claims beyond the declared entityOfConcernRef-preserving overlap. Because this case requires a correspondence witness, a fuller review record is usually warranted.