cmd/

Command conformance runs the language-independent conformance suite in conformance/ against sysml-grpc, which it builds and starts itself.

Command doc-counts rewrites the documentation lines that are a function of the committed oracle baselines, so no contributor types them.

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 pilot-reject checks the rejection direction the differential cannot see: it validates a hand-written negative corpus — models each violating one named rule — with both this implementation and the OMG SysML v2 Pilot Implementation, and buckets every case by who rejects it.

Command pilot-xpect compares this implementation's behaviour against the OMG SysML v2 Pilot Implementation's own Xpect test suites: the .xt files declare, inline, the diagnostics and name-resolution results their implementers intend, so unlike cmd/pilot-diff this is a comparison against declared expectations rather than observed output.

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.

Command validation-census keeps the census of the pilot's named validation constraints honest: docs/project/validation-constraints-baseline.json records the names extracted from the pinned pilot jar with each one's census status, docs/project/validation-constraints.md is the table a reader consults, and this program is what ties the two to each other and to the jar.