Module moves 

The reasoning: questions, hypotheses, attempts, findings and decisions.

Layer 1 — commits, snapshots, findings per node, trials — answers what was run and what came out. This answers what somebody was trying to find out, and shares none of its units: a commit is nobody’s decision, a question nobody tried has no commit, and one move can produce three branches. What decides which layer something belongs to: if it can be recomputed it is record, and if somebody thought it, it is reasoning.

It is a DAG, and one case forces it. Two live questions — does more capacity improve interpretability? does it improve performance? — one variant validating each, and then the question neither contained: what if I put them together? That attempt hangs under both. One parent would mean choosing, or duplicating the node, and a duplicated node is two that go out of step. Hence Undernath being multivalued, and hence refusing cycles as they are written: a walk over one does not end.

Everything carries a scope, including what is said. A question is about some moves and not the whole investigation, and an answer holds where it holds. Without that, validated and refuted on one hypothesis look like a contradiction when normally they are two facts about two situations — A alone worked, A+B cancel out. There is a dispute only when two edges of opposite sign have scopes that touch.

Structs

Cited

One piece of evidence from layer 1.

Move

A move, without its edges.

Moves

The reasoning of one investigation, kept in a store.

Said

One thing said from a move towards another.

Scope

What something is about: some moves and whatever hangs under them.

Undernath

Who hangs under whom. An index over the under edges, built so it can be walked up and down without scanning again.

Writing

A move somebody is writing, before the store gives it an id.

Enums

Course

What was decided about the line a decision is about.

Kind

The five kinds, and there are no more.

Says

What a finding says, and towards what.

Standing

How a question stands, counting what has been said to it.

Trouble

Type Aliases

MoveId

What identifies a move. Its slot, because a move is mutable — you reword its prose — and so cannot be addressed by its content.