v0.43.4

August 4, 2026

  • Showcase arguments can now say that a claim rests on an axiom — a definition, a stipulation, a logical or mathematical principle, a domain rule, or a background assumption — and that support shows up on the claim where you read it. Adding, changing, or removing it in a showcase text carries straight through to the published argument, and leaving it alone changes nothing.