Source changed 2026-10-03 08:25:59 UTC · snapshot created 2026-10-03 08:26:43 UTC · last check 2026-10-03 09:25:05 UTC
A.3.4:9 - Consequences
FPF gains one place to identify actual bounded transformations.
Current-resolution identification remains cheap: one bounded change can be identified without settling its finer composition. This says neither that finer parts exist nor that they do not.
An independently grounded change of a selected configuration remains usable without asserting whether nearby changes compose it or are its parts.
A use that needs positive transformation composition receives the one parked result from 4.2.1: missing governor, and also missing substrate when it proposes a local derived or compound claim. No relation kind, signature, occurrence law, or definition identifier is minted here.
If a future accepted architecture supplies an exact whole transformation and its construction facts, A.1 then applies its own six-component test; this edition supplies no positive transformation-holon classification.
Each subject pattern keeps its own change, U.Work, and production facts. A work/transformation connection uses the existing-predicate or local-compound branch in 4.2.4; otherwise preserve the applicable A.6.RCD stop for the named pair.
E.18 can arrange or locate transformation occurrences in a selected flow structure.
Ordinary result wording remains usable after the reader names the later use, its participants, and the relation being asserted; no universal transformation-result or production relation is introduced.
Readers whose use stops with one actual transformation skip 4.2.1 and 4.2.3. Only a composition- or transformation-holon-dependent use opens that advanced branch, whose current result is the parked blocker.