Proposit Logo

v0.13.2

May 20, 2026

  • Search keeps working when our AI provider is down. When the semantic search service is unavailable, search now falls back to keyword matching across your arguments, claims, premises, and sources instead of failing. Results are matched literally rather than by meaning, but you'll keep finding what you're looking for.
  • Click any claim to see its details in the sidebar. Click any claim in an argument to surface its title, body, citations, and supporting premises in the sidebar's Selection section. Click the same claim again to deselect it; clicking another claim switches the selection. The Selection section now sits at the bottom of the sidebar so the other argument sections — Details, Responses, History, Review, Participants — are visible without scrolling past it when nothing is selected.
  • Three dedicated detail sections in the argument sidebar. Click any claim to see Claim Details — the same info you saw before, in a section of its own. Click a citation badge next to a claim to also see Citation Details, with the source formatted in the standard reference style. Click a premise's title to see Premise Details. Click again to deselect, and clicking a different surface switches the selection. The sidebar's icon rail grows by one or two icons only while you have a selection, so the rail stays compact when nothing is selected.
  • Fork an argument straight from the sidebar. The Fork button now lives in Argument Details, next to Share, so you can reach it on any argument you can view — including published versions someone else owns. (Previously the button was tucked into the header gear menu, which only appeared on arguments you could edit.)
  • View Formula is back. Open the new View Formula section in the argument sidebar to see the argument's logical structure as a single rendered formula — every variable labelled by its symbol, every operator (AND, OR, IMPLIES, IFF, NOT) shown in formula form. Clicking a variable in the formula selects the underlying claim and opens its details below.
  • Cleaned up an unused source-reference component that was retired during the recent sidebar redesign.
  • Your Sources page no longer breaks when a citation is referenced by multiple claims. If an argument had two or more claims that cited the same source, the Sources library could fail to render — affected users saw a broken or partial list of their citations. The page now renders every citation cleanly, and each row that shares a source with another shows a "Cited by: <claim title>" label so it's easy to tell two rows apart.
  • Jump to a claim's usages from its Used-In list. Each row in a claim's "Used In" list now carries its own small "open in new window" icon button. Click the icon to jump to that specific expression's location: if the expression lives in the argument you're currently viewing, the page scrolls to the claim card that uses it; if it lives in a different argument, a new tab opens to that argument's view with the right spot already selected and scrolled to.
  • Jump from a claim to its formula. When you're inside an argument view and select a claim, the variable symbol next to the claim title is now a clickable chip with a small "open in new window" icon — click it to deep-link into the formula view with that variable highlighted (formula-view highlighting ships alongside this in a sibling update).
  • Claim Details section feels less cramped. Reduced inner padding so more of the claim's information fits without needing to scroll past whitespace.
  • See why each claim is true — and fix the ones that aren't. A claim selected in the sidebar's Claim Details section now shows its proof state directly. When a claim has no support yet, a "Claim Lacks Justification" warning explains the gap and offers two paths to resolve it: an Add Source button that opens the same citation form the gear menu uses, and an axiom dropdown with an Assign button that records the claim as following from a standard kind of axiom (Definition, Stipulation, Logical Principle, Mathematical Principle, Domain Rule, or Background Assumption). When a claim is backed by an axiom, the surface shows a Justification card identifying the axiom kind, with a delete control that asks you to confirm before removing it. When a claim is backed by sources, each source row in the Sources list grows a delete button that asks for confirmation before removing the citation — and clicking the row itself opens the source's details below in the existing Citation Details section.