A.6.3.RT:4.5.a - Preservation and conservativity
The ordinary move preserves the practical content named for the use. The exact branch preserves the same exact EntityOfConcern across independently constituted X and Y while changing scheme and often reasoning medium.
Check for unsupported strengthening when a target:
- upgrades a source-visible relation into dependency theory or another relation not present in the source;
- turns geometry, notation, embedding proximity, or decoder output into ontology-by-default;
- adds a Bridge, substitution, comparative, mechanism, temporal, or control claim that the source does not state and that has not been independently established under its governing pattern;
- collapses source alternatives, uncertainty, or bounded scope into one wider commitment; or
- treats decode-mediated recovery as direct givenness.
Check each target-side connective against the source or exact same-EntityOfConcern correspondence. A clearer, more structured, or more formal target does not establish a broader reliability claim.