v0.40.0
July 22, 2026
-
An argument whose premises are still unproven now reads as Indeterminate instead of Valid and Sound — soundness needs the premises to be true. Whether an argument is valid is unchanged.
-
The small mark that says where a claim's True / False / Unknown value came from now sits inside the chip instead of covering its label, and a value the app worked out for you — rather than one you chose — is drawn faintly with a dashed outline. Its tooltip no longer calls it "your assignment"; it says the value is a default and explains where it came from.
-
An argument whose claims are all still unknown no longer reads as Sound. The app was treating "and" between claims as though you had agreed to each of them, which invented True values nobody had given. It now reads Indeterminate until you actually make some judgments.
-
You can say you're unsure about a claim again, alongside agreeing and countering. The third option had gone missing from the claim controls, which also meant an unsure reaction you had already given was impossible to see or take back.
-
Click a claim's value chip, or the verdict on the conclusion, to open your review at exactly that spot — the claim's question, or the results. If you hadn't started a review yet, one is created for you, already carrying the reactions you've given.
-
Picking a citation from a claim now scrolls the Citation Details panel into view instead of quietly opening it below the fold, and the citation text itself is no longer greyed out — it's the point of the panel, so it reads at full strength.
-
The verdict that used to be called "Counterexample" now reads Logically Invalid. It means the same thing: the premises you accepted don't deliver the conclusion.
-
Your list of arguments can now be sorted by when it was created or by title, oldest or newest, A to Z or Z to A. Sorting happens before the list is paginated, so scrolling through a long list keeps a stable order and never shows you the same argument twice or skips one. Title sorting ignores capitalisation, so "apple" and "Apple" sit together where you would expect them.