Studio

Open the studio → studio.ztljudge.com

You state a claim as one table: each row is a fact, its status (T verified, F refuted, Z unverified — the default) and what it means in words; below the rows, the claim. The ZTL core judges it and answers with a verdict, its warranty and the disposition.

An AI model can fill the table from a sentence in your own language: it proposes the rows and their statuses, and you review and edit the table before it is judged. The verdict is computed from the table by the deterministic core; the model does not compute it — but the table it drafts decides what is judged, so whether a fact is marked verified is your call, not the model's. A second reading, with no AI, puts back into words what the core read from the table, to help you see whether it says what you meant.

The studio comes with worked examples: open one to see the shape of a table, then edit it.

Source: github.com/inventor1975/ztlstudio — Python standard library only; it runs on your own machine without the AI, too.