Expand description
The reasoning, read back: every move with what it stands at, and what folds.
walk is the record read this way and the argument is the
same one: what the terminal prints and what a notebook draws are the same
answer read twice, so it is worked out once and here. A second copy in
Python would be a view that quietly disagreed with the terminal about what
an investigation contains.
It answers in names and not in ids. A move carries a name because the store’s slot stops identifying it the moment nobody is holding it in a variable — and reading it back is exactly that moment. The id is kept as a field, because it is what says in which order these were made.
What is added here and is in no store: whether a move is on a line somebody
abandoned. Moves::decided answers that for commits only, and an attempt
nobody ever ran cites none — which is precisely the move a decision needs to
be able to abandon.
Structs§
- Folded
- A line somebody abandoned: what it hides, and why, in words.
- Reasoning
- A whole reasoning, ready to print or to draw.
- Seen
- One move, derived and in names.
- Told
- One thing said from a move towards another, in names.