ME.23:10 - Architectural Rationale
A source-to-language architecture lies between source allocation and situated use. It must show how independently useful descriptions and neighboring results contribute together while preserving their different subjects. ME.8 alone does not decide that whole arrangement; E.11.PFP alone does not supply its Method-specific content.
The selected structure can be useful without an admitted composite Method or a formal CGUS. Progressive exactness lets ordinary users act from a clear result and stop while preserving a path to the stronger claims when a later use needs them.