cmd/

Command grammar-coverage measures which productions of the OMG Xtext grammars our test inputs exercise, on input-presence evidence: for every rule, fragment, enum and terminal of KerML.xtext, KerMLExpressions.xtext and SysML.xtext it searches the corpora we already parse for the literals the production requires, and buckets it as evidence, no-evidence or indistinguishable.

Command pilot-diff compares this implementation's diagnostics against the OMG SysML v2 Pilot Implementation over a corpus of models, and reports, per file, the diagnostics both agree on, the ones only we report (candidate false positives) and the ones only the pilot reports (candidate gaps).

Command sysml is an interactive SysML v2 REPL (spec §13).

sysml-grpc starts a gRPC server exposing SysML v2 parsing, resolution, and semantic services.

Command sysml-lsp is a stdio Language Server for SysML v2 / KerML.