External model providers invoked in this proof path.
The engineering order
The effect came first.
The same engineered behavior survived changes in the model host. The runtime mechanism followed. This public proof exposes one bounded part of that mechanism: a fresh projection from the system's own running state. This state-projection request invokes no external model API.