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 stub12399A tag, a kind, a name, an inventory row, and a same_as or a source.
W1 stated1722The main section of the kind, a source with a locator, and a body that passes the rules B01 to B03.
W2 usable62The 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
a source with a locatorW110506
an inventory rowW19179
edge not_instance_of inW21439
edge instance_of inW21336
edge specializes bothW2326
edge instance_of or illustrates inW2243
edge proves inW2243
edge about outW2242
explanation L2W2242
edge refutes or not_instance_of outW171
edge defines inW266
a person confirmed each agent-written sectionW362
section InvariantsW233
field same_asW120
edge uses outW117

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.