Doyle-Spare Research
Doyle-Spare Construct

Institutionally Available Control

A runtime control the institution could have applied at the governable checkpoint under the specified control environment.

Why it matters

Defines preventability against the specified control environment, not against whether the control happened to be deployed at the time.

Control relationship

Authorized meaning must remain connected to the meaning operationalized at runtime.

Institutionally Available Control supplies the counterfactual used to determine whether computation could have been prevented at the earliest governable checkpoint.