(Sample) Reading a proof slowly

How sure is this file?

E1 · Self-checked

How well the file's main claim has been tested. E1 means I checked it myself. The scale runs from E0 (not tested) to E4 (checked by someone else). Select the stamp to see the evidence.

E0 · Untested

A dashed mark is an idea that hasn't been tested yet. Read it as speculation.

✗ · Error found

Something in this file was wrong. The file stays up, and the fix is listed under Amendments.

Contribution: Learning notes

What kind of work it is, from learning notes (explaining something known) up to an original result checked by others.

How I rate my work explains every level.

Inside the text

E1 ✓ Result

A boxed claim. The label says what kind it is: Result, Observation (something I saw), Derivation (worked out step by step), each with its own test level.

E0 ? Conjecture

A dashed pink box is a guess, not a finding.

Lorenz explorer

A link to another file. The code after it says where it goes: WR is a piece of writing, WK is a piece of work, R is an entry in the register.

text¹

A footnote. The note sits in the right margin, joined to its line by a brown line. On a phone, notes appear under the paragraph.

Around the edges

Local portrait

A small map of files connected to this one. This file is in the middle. 1 shows files linked directly; 2 adds files one more step away. As a list shows the same links as text.

Referenced in

Other files that link to this one, with the sentence that links here.

In the register

Dated events around this file, such as the interest or rabbit hole it came from.

Amendments

Every correction, with its date. Nothing is deleted.

Using it

Mouse

Hover over a link to see a preview of the file it goes to.

Phone

Tap a link once to see the preview, then tap Open file (or the link again) to go there.

Tab Esc

Tab moves from link to link and shows each preview; Esc closes it. The first Tab offers to skip straight to the text or the side column.