Math 2.0

Writing levels

The writing level says how complete the text of a node is, from W0 to W3. Each level needs the items of the levels below it. The card of each kind lists the sections and the links of a good node of that kind. The level does not measure the truth of a node. The evidence level does that.

LevelNodesWhat the level needs
W0 stub1925A tag, a kind, a name, an inventory row, and a same_as or a source.
W1 stated1466The main section of the kind, a source with a locator, and a body that passes the rules B01 to B03.
W2 usable42The items of the card of the kind for W2, for example examples, non-examples and the edges to the related nodes.
W3 complete0The items of the card for W3, for example the history and the explanations, and a person confirmed each section that an agent wrote.

What the nodes need most

The items that most nodes lack for their next level. The page of each node has its own list.

ItemForNodes
an inventory rowW11913
edge not_instance_of inW21233
edge instance_of inW21170
edge specializes bothW2642
edge about outW2194
edge instance_of or illustrates inW2194
edge proves inW2194
explanation L2W2194
edge defines inW261
a person confirmed each agent-written sectionW342
section InvariantsW233
edge refutes or not_instance_of outW125
edge instance_of outW216
edge uses outW111
edge equivalent inW29

The cards and the levels are in the corpus spec, The node card. To compute the levels of a working tree, run m2 build. It writes build/writing.json.