The person splits the reasoning

Claim: each claim is one topic the person wrote, with one sentence, a statement and a proof; the splitting into claims is not left to a model.

Grade: convention, untested for the loop; supported with caveat for checking, which small claims help every time practice reports, while help for thinking is reported only where the person did the splitting.
Evidence: review, Q4; Kirov 2026a, results; Thoma 2022 and Otte 2026, Table 3, no grade effect in the one controlled comparison; position, condition 4.
Check: claim-shape (exact): the title, the one-sentence claim, the Shape, Lean, In words and audit lines, and the Statement, Proof and See also parts; topic (exact): the summary, and a parent that lists the claim.
Reader styles: none.

What it asks

Write the claim as one sentence under the title.
Give the claim a statement, a proof in numbered steps, and a link to what it uses.
List the claim in its theorem's table, so the tree shows how the claims join.

Small claims make checking fast, and a checked claim ends disputes about it (Tao 2025b).
Practice reports the effect on thinking only where the person did or followed the splitting.

It does not claim that writing as topics helps a person think or learn: no randomised study was found.
The check reads the form of a claim, not whether the split is a good one.