Jenco’s framework names the pattern: wrap a mutable, imperative interface with a declarative one, and let a reconciler close the gap. NixOS is the cleanest implementation of this in production.

Ref

A desired state system wraps a mutable, imperative interface with a declarative one. The user says how things should be; the system observes actual state, computes the diff, and reconciles — continuously or on demand.