What we're building next

GSN V3 includes a dialectic extension: a way to raise counter-arguments against goals and solutions, and to mark claims as defeated when a challenge succeeds. The schema already supports it; the editor surface and validation rules are being built now.

Lemmatica is browser-native, but assurance cases still need to leave the tool — for audit packages, regulator submissions, and external review. Reporting covers structured PDF export of a case, plus accompanying evidence indexes.

GSN V3 defines argument patterns — reusable templates for common argumentation forms (decomposition, elimination, confidence). The notation reference already documents them; the editor will let you instantiate them as starting points and adapt them per case.

Today a piece of evidence belongs to a single node. In practice, the same test report or design document supports several claims. Multi-node evidence lets you cite an artefact once and link it to every claim it backs, without copy-paste.

Assigning evidence items to reviewers, tracking the state of each review, and recording sign-off as part of the case. Built for the workflow regulated teams already run — Lemmatica records it instead of you tracking it in a side spreadsheet.

Several teams use the original single-file HTML GSN editor and have existing cases there. We want to bring those in without manual re-entry. The plan is a one-shot import that preserves node IDs, hierarchy, and embedded evidence references.

The Enterprise tier on the pricing page lists what we plan to offer: SSO and SAML, organisation-wide audit logs, custom data residency, and an on-premise deployment option for environments that cannot use a cloud service. None of this is shipped yet; the order is roughly the order listed.

Away goals already let you split a large case into linked sub-cases. We want the navigation between them to be smoother, the validation across them to be tighter, and the import/export to round-trip cleanly when a sub-case lives in its own document.