pilot-diff

Documentation

Overview

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).

It is advisory: nothing in the build or the test suite depends on it, and it never touches internal/core/model/testdata/training_examples_expected.txt. Provision the reference validator with scripts/download-pilot-sysml-validator.sh, then run `go run ./cmd/pilot-diff`. See docs/project/pilot-differential.md.