Ipsissima v0.2.1

Changes

• The hashtag row gains an untagged switch at its end. Until now an untagged claim passed whatever was switched off, which is why the filter seemed to do so little: the Miller map is 22 tagged claims out of 66, so switching every hashtag off still left two thirds of the map exactly where it was. Switch untagged off and what remains is the claims that carry a tag — the authorities on their own, or the reported views on their own.
• The contention stays on screen when untagged is off, as it does under the spine filter, so a map is never left with nothing at its head.
• Hiding the untagged claims brings buried tagged ones into view: shorter chains and unstranded components let the map show tagged claims that were previously below the depth limit — nine of them on the Akhlaghi map.
• A claim its author did not name now shows its sentence rather than the parser's placeholder for it, both in the compact view of an exploded argument and as a box on the map, where a heading reading "Untitled 2" stood over the sentence it was standing for.
• Switching every hashtag off and untagged off leaves the map empty, and the controls now say so: previously the bar kept whatever it last showed, so a blank map appeared under a lit chip and read as a fault rather than as a total filter.
• The rendered-map harness now drives the hashtag filter, which nothing had ever exercised, and can be pointed at any corpus of Argdown files rather than only the published samples.
• A rule name is a label, and How to use now says so: it lists the eighteen names the map abbreviates, says any other name is accepted and drawn as written, and says plainly that the name is never what gets checked — the verdict comes from the formalization lines alone, so a step labelled with the wrong rule passes quietly. The extraction prompt carries the same list.
• A formula can now record the words it was written for — {formalization: "u -> na", formalized: "3d2a90f1"}. Edit the claim afterwards and the map stops calling the step checked, drawing the rule name with a wavy underline instead, because a formula that no longer matches its sentence has not checked anything. check_argdown.py --stamp writes them; it records your agreement rather than establishing it, since nothing can tell whether a formula fairly renders an English sentence.

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.