Condition, State, and View

Condition, State, and View names the distinction between a condition, a frozen or sectioned read of that condition, and the view through which that read becomes visible.

A condition is relation readable as holding within a Closure Scope. A state is a frozen or sectioned read of a condition. A view is the position, Section, projection, or read path through which a state becomes visible.

This distinction does not create State or View as new primitives. It keeps them downstream of Condition, Readability, Closure Scope, Section, and Place.

A state is useful because it stabilises a read; it becomes risky where that stabilised read is mistaken for the condition itself.

Places

Condition, State, and View places the distinction between a condition, a frozen or sectioned state-read, and the view through which that state becomes visible.

Holds

Condition, State, and View is held by Condition, Readability, and Closure Scope. A condition must be readable as holding, reading must remain possible, and the scope of evaluation must be bounded before state and view can be distinguished without becoming primitives.

Pairs

Condition, State, and View pairs with overclaim: the error of treating a state or view as if it were the whole condition.

Traces

• Condition
• Section
• Place
• Readability

Nests

Condition, State, and View nests inside second-order distinction work, where a readable condition must not collapse into one state-read or one view.

Reads

Condition, State, and View becomes recognisable where a condition, a frozen or sectioned read of that condition, and the position or read path through which it becomes visible are being confused or need to be kept separate.

Structural Guard

A state is not the condition itself.

A view is not the state itself.

A section or view can reveal, freeze, distort, or overclaim a condition depending on Closure Scope.

Carries

No downstream carries are claimed yet.