Source changed 2026-10-03 05:29:54 UTC · snapshot created 2026-10-03 05:30:57 UTC · last check 2026-10-03 07:10:10 UTC
F.13:11.2 - Sys‑CAL × LCA‑CAL — separating execution vs actuation
Contexts:IEC 61131‑3 (run); state‑space control texts (design).
Temptation: Rename “task execution” to “actuation” “to sound control‑ish”.
Diagnosis: Different Contexts; different SenseCells (program run vs control output).
Move:No rename. Keep the labels. Establish any actual Work-to-signal production or output relation under its direct pattern, following F.11. Add F.9 only when a separate semantic correspondence between exact local senses is needed; then keep the bounded-use claim and reliance separate.
Pay‑off: Plant narratives stop calling programs “actuators”; runtime vs control semantics stay crisp.