State

Kind: dimension

Record: reasoning:dimension-state

Canonical: Reasoning

What condition is it in?

Listed in Reasoning records, after Time and before Change.

Surfaces

• state-correctness
• configuration-correctness

Concept of

• State

Linked from

• The nodes
• The test surfaces
• The uncovered cells