v0.12.0
May 9, 2026
- Reading an argument now starts in text view. The text outline of an argument is the default when you open one — easier to skim, easier to share.
- Citations show up right next to the claims they support. Each claim in the text view now lists its citations as little numbered badges. Tap one to see the full reference and to remove it if you need to.
- "Needs Support" flag on unsourced claims. A claim with no citations and nothing else backing it up gets a clear "⚠ Needs Support" indicator, so it's obvious where an argument has gaps.
- Per-premise graph view. Each premise's header now has a small graph icon — tap it to see just that premise's logical structure in a focused popup, without leaving the text view.
- Internal data model unification. Behind-the-scenes work to unify how claims and citations are stored, no user-visible change. Sets up upcoming improvements to how sources are represented inside arguments.
- Inline editing is back in the text view. Click any element's small gear icon to open its action menu — claim cards, premise headers, operator labels, and the argument header all have one. The menu has entries to insert a new claim before or after the current one, or as a child. Argument-level operations (publish, reset, fork, repair) live in the argument header's gear menu. Claim text editing is coming in a future update — for now, the menu lets you swap a claim binding out for a different claim or remove the binding entirely.
- A single "Add Premise" button at the top of every argument. Adding a premise scrolls the new premise into view. Empty premises now show a single "Add first claim" button instead of a bare plus icon.
- One-click operator switching. Each operator label (AND, OR, "is true if", "is true if and only if") has a small cycle icon: clicking AND toggles to OR and back; clicking IMPLIES toggles to IFF and back. No more two-step menus.
- Premise collapse/expand. A chevron on the left of every premise header hides or shows that premise's contents — useful for skimming long arguments.
- Smoother Add-claim picker. Picking or creating a claim opens a single dialog split into a Create section on top and a Search section below, with an "or" divider between them. Search filters the existing claims as you type, by title or body.
- Citations now use the full source form. Adding a citation now opens the same source picker used elsewhere in the app, with templates for websites, books, journal articles, conference papers, and every other supported reference type. The earlier minimal "URL + Title" form has been retired.