realization

Candidate theory. How an immutable declaration becomes a running or produced effect, over declaration -> artifact -> desired state -> effect -> observation. The irreducible semantic behind 'artifact'/'program'; the theory checks claims around running, it does not run. Placeholder name: energeia.