v0.13.3
May 21, 2026
- Claim Details edit controls are now hidden when you can't edit the argument. The Add Source button, the axiom assignment picker, the per-citation remove icon, and the axiom-card remove icon in Claim Details only appear on draft arguments where you are an owner or editor. Previously these controls were visible to all viewers, even on published versions or for non-participants — the underlying mutations were already blocked server-side, but the controls themselves should not have been showing.
- The "Claim Lacks Justification" notice is now visible to everyone. When viewing a claim whose derivation premise is empty on someone else's argument (or on a published version), you now see the same "Claim Lacks Justification" notice that editors see — the remedy buttons (Add Source, Assign Axiom) still only appear for editors. Previously the notice was hidden alongside the buttons, so non-editors had no signal that the claim lacked justification.
- Used In list in Claim Details: usages are now grouped by argument with a title header and version label. The count in the section header now reflects premises (with derivation premises excluded). Each row now shows the destination URL on hover, and clicking a same-argument row selects that premise in the sidebar.
- AI assistant is back in the argument view. Start a new argument from scratch and the AI helper appears inline on the page — no more separate Build screen for empty drafts. Building from raw text? You'll see live progress in the same view as your argument takes shape.
- The Fork button in the Argument Details sidebar is now disabled on draft arguments, with a tooltip explaining that forking is only available on published versions. Previously the button appeared enabled on all arguments including drafts, and a fork attempt on a draft would silently succeed (minting a copy of an unfinished draft). Now, only published versions can be forked — the tooltip reads "Forking is only available on published versions. Publish this draft first to enable forking." on a draft, and the backend enforces the same rule, returning an error if a fork of a draft is attempted any other way. If an unexpected error occurs while forking (such as a server error or network failure), you will now see "Couldn't fork — please try again." rather than the misleading draft-specific message.
- Sidebar reorder: the formula view is renamed to "Propositional Formulae" and moved to the end of the argument-scoped section list.
- Find a claim or citation, then see every argument it appears in. Clicking a result on the search page now opens it in your library, with the tree pre-expanded to show every argument it appears in (each argument's latest version). The library page shows the citation's full details on the right; previously the click jumped you straight to one of the parent arguments.
- Axiom assignments now take effect immediately. When you assign an axiom kind (Definition, Stipulation, Logical Principle, Mathematical Principle, Domain Rule, or Background Assumption) to a claim that needs justification, the claim now correctly shows its new justification state right away. Previously the assignment was saved successfully but the UI continued to display the claim as unjustified until you reloaded.