Documentation
Sysprose is an open-source, pure-browser modeler for a SysML v2–style notation, with a command-line verification lane. These are its reference documents, published as written.
- Conformance Scorecard
Self-assessment, not certification. This scorecard measures Sysprose against the OMG SysML v2 / KerML / API & Services specifications as read by this project. Sysprose is a candida… - Sysprose user guide
It assumes you know systems engineering — blocks, interfaces, requirements, states — and it does not assume you know SysML v2. Everything you have to type is introduced here, in th… - Command reference
<!-- GENERATED by scripts/gen-cli-reference.ts — do not edit by hand. Edit scripts/lib/sysprose-spec.ts and run npm run commands. --> - Feature-Parity Matrix vs. Modern Tools
This document places the pure-browser SysML v2 modeling tool side-by-side with the two reference classes of modern SysML tool: the incumbent commercial desktop modeler (SysML v1 to… - Formal verification for Sysprose — obligations, proofs and evidence, command line first
You get a verification lane that starts with the cheapest honest answer and only then reaches for a solver. contracts reads every requirement as the assume/guarantee pair the stand… - Model checking, read against this tool — what transposes and what does not
What this document is. An assessment of an eleven-volume model-checking and formal-verification library against the capability this repository actually ships, written to answer one… - Model checking for Sysprose — the eight candidates, the rider, and the order they ship in
You get the behaviour lane's missing half. Today reach answers Stanley & Laski's condition (1) — which states are unreachable — and nothing in the tool answers condition (2): once … - State of the Art: Browser-Based SysML v2 Modeling
This document surveys the landscape relevant to building a purely browser-based, client-side SysML v2 modeler. The timing is deliberate: on 21 July 2025 the OMG approved the final … - OMG SysML v2 Standard Family — Engineering Reference
Purpose. A working reference for developers implementing a browser-based SysML v2 modeler. It collects, in one place, what the OMG normative specifications actually say (and where … - Architecture & Implementation Plan
A pure-browser SysML v2 modeling tool with an API for data analysis and automation. - Diagnostic codes
<!-- GENERATED by scripts/gen-diagnostic-codes.ts — do not edit by hand. Edit src/text/langium/diagnostic-codes.ts and run npm run codes. --> - The agent authoring testing campaign
The question this campaign exists to answer: when an AI agent writes a .sysml file and the file is wrong, does Sysprose tell the agent enough to fix it? - Feature-Coverage Test Report
This report aggregates all automated test evidence for Sysprose, the pure-browser system modeler. It is the deliverable described in docs/03-architecture-and-plan.md §7 ("Test repo… - Test Summary (auto-generated)
Generated by npm run report (scripts/gen-test-report.ts) from a real vitest run. This is the machine-checkable companion to the hand-authored docs/TEST-REPORT.md; if the numbers di… - UI Improvement Roadmap
A living plan for Sysprose's user interface. It records what has shipped, what's next, and a backlog of ideas — grouped by theme. Each item is sized (S/M/L) and, where shipped, lin… - Licensing & Third-Party Sources
Sysprose is dual-licensed. The repository is licensed under the MIT License — all source code, tests and documentation are original works authored for this project — EXCEPT the bun…