#A.6.3.CR:4.5.d. Composition and reopen law

Preface node heading:a-6-3-cr-4-5-d-composition-and-reopen-law:9566

#Content

Repeated direct rewrite over the same source line may be idempotent, but heterogeneous rewrites and correspondence-mediated rewrites are generally order-sensitive. A reviewed case must reopen whenever correspondence support, source pins, provenance, admissible-face assumptions, or same-described-entity conservativity stop being explicit.