Tutorial

This tutorial teaches the language by building one real document up from a single line to a complete argument the mirror can audit.

The scenario: a site engineer is deciding whether to pour a concrete foundation slab this afternoon, with a frost forecast for tonight. By the end you’ll have written the bundled example pour-the-slab.thml — a document that is diagnostically clean yet hides a real contradiction, which the mirror surfaces.

The chapters build on each other:

1. Foci — name the things you’re reasoning about.
2. Links — connect them with typed, directed relations.
3. Stances — record who believes what, and how.
4. Questions — mark what’s still open and what it blocks.
5. Numbers — confidence, weight, and where numbers come from.
6. Time and revision — date beliefs and let them change.
7. The mirror — read your structure back and find the conflict.

Each chapter is short. Type the examples into a file and run them with thoughtml <file>.thml (see Installation), or paste them into the playground to see the graph.

Conventions. Identifiers are lowercase kebab-case (conditions-are-fine). Indentation is two spaces — tabs are an error. A # starts a comment line.