Ipsissima v0.2.0

Changes

• A premise-conclusion step may name the rule it relies on, and Ipsissima now checks it: give the claims a formalization and the bar says whether the conclusion follows, quietly when it does, with a red badge and a countermodel when it does not, and hollow where a rule is named but nothing has examined it.
• Formalising the four steps of The route to the order in the Miller judgment returned a countermodel on the first one, which is a premise the Supreme Court applies and never states; it is now in the map as an imputation, warranted as an enthymeme.
• A multi-step argument carries a ⊞ control that opens it as a staircase — one small argument per step, each intermediate conclusion in a box between them — in full text, or drawn compactly from the claims' short names so the whole shape fits on a screen; either can be saved as SVG or PNG.
• A numbered premise takes you to the claim it names and offers a way back, which can now be declined as well as accepted.
• A section's header is its fold control and its background is canvas, so there is somewhere inside a section to start a drag; folding holds still, leaving what you pressed under the pointer.
• Rule names are abbreviated the way a logic text abbreviates them, with the full name on hover.
• Hover text now says what the box could not: a claim drawn in full with nothing recorded about it has no tooltip at all, and where there is one it carries the author's exact words, how far the claim stands from them, and what licensed the distance.
• A judgment has no abstract but it has facts, and the panel that opens a manuscript now says so and credits whoever wrote them.
• Four new instruments watch what the renderer paints, what it writes out, and whether the two sides of the graph boundary agree about names — the first of them found a defect that had been shipping.

What should I install?

Nothing, to try it. Download Ipsissima.html and double-click it: it works offline in any browser and makes no network requests of any kind. Drop a .argdown file onto it — or a whole folder, which brings the manuscript with it so claims can be laid out by where they appear in the text. Ipsissima.Reader.html is the same thing without the editor — the one to send to somebody you want to show a reconstruction to. New to argument maps? The walkthrough is the first entry under How to use and takes about two minutes.

Nothing, to read the worked examples. Four finished reconstructions, each opening with the text it was drawn from, are at jgsw.github.io/ipsissima; three more journal articles are in samples/.

The desktop application. Adds what a web page cannot do: open a .argdown by double-clicking it, save back in place, and reload the manuscript when it changes on disk. The .dmg is macOS (Intel and Apple Silicon both), the -setup.exe is Windows, and the .deb and .AppImage are Linux. The builds are unsigned, so the first launch is blocked once: on macOS, after dragging Ipsissima to Applications, allow it under System Settings → Privacy & Security → Open Anyway; on Windows, choose "More info" then "Run anyway". Installing Ipsissima shows every dialog before you meet it.

Ipsissima-MCP, for Claude Desktop. Download the .mcpb bundle and double-click it; Claude Desktop installs it and provisions Python and the dependencies itself. You also need Node on the machine — any current version.