A.6.3.RT:5.2.b - Same-concern diagram-to-structured-notation shift

Library / First Principles Framework (FPF) - Core Conceptual Specification

Jump to passage

In this reading

Source · lines 16517–16524

Link to current text

Published source confirmed at last check

Source changed 2026-10-03 10:39:28 UTC · snapshot created 2026-10-03 10:40:04 UTC · last check 2026-10-03 10:55:17 UTC

A.6.3.RT:5.2.b - Same-concern diagram-to-structured-notation shift

Source diagram. CoolingLoop -> Sensor A; CoolingLoop -> Valve B

Target notation. dependsOn(CoolingLoop, SensorA) and dependsOn(CoolingLoop, ValveB)

This remains RT when the notation carries the same two source connection claims and adds no dependency theory. If dependsOn has stronger semantics than the source arrows, that added claim must be removed or separately established.