A substrate undergoes a specified possible task; a constructor retains the capacity to perform the task again.
Keep the changed substrate and proposed acting entity distinct. FPF separately requires A.1 for a System claim and A.3.4 for a bounded change claim.
Assurance and evidence practice
A produced result and evidence supporting a claim about it are different objects.
Use A.10 for the claim’s evidence and provenance; use B.3 when an assurance conclusion is requested.
Software and automation practice
An automated-update sentence can hide the distinction between the executing entity, script and changed object.
Identify the acting entity and apply A.1 before calling it a System. Apply A.3.2 before treating the script as a MethodDescription; keep change, Work and evidence claims separate.