FPF Reference

A.6.3.RT:4.5.a.1. Local conservativity witness

Preface node heading:a-6-3-rt-4-5-a-1-local-conservativity-witness:9858

Content

For this pattern, a new intensional claim is introduced when the target rendering:

  • upgrades a source-visible relation into a stronger relation theory or stronger dependency semantics;
  • turns geometry, notation, embedding proximity, or decoder output into ontology-by-default;
  • adds bridge, substitution, comparative-reading, or mechanism claims not already licensed by the source line or declared correspondence;
  • collapses source alternatives, uncertainty, or bounded scope into one stronger commitment;
  • or treats decode-mediated recoverability as if it were direct givenness.

Conservativity is approximated here by checking, together, describedEntityPolicy = preserve, source-tether strength, factor delta, reasoning-medium delta, loss profile, ontic scaffold preservation, and whether each target-side connective can be pointed back to pinned source material or declared same-entity correspondence support.