internal/

Package edit rewrites the source a model was parsed from.

Package export saves a SysML v2 model to a file and converts between the two representations OpenSysML can write: SysML textual notation and RDF Turtle.

Package format re-indents SysML v2 / KerML source text.

Package highlight classifies the source text of a document into semantic tokens: the lexer's keywords, comments and literals, the names the symbol table declares, and the references the resolver answers.

Package lexer implements a hand-written scanner for SysML v2 and KerML.

Package libs loads SysML/KerML standard-library files (bundled via embed.FS or overridden on disk) and maintains a persistent cache of their indexed symbols.

Package lower provides AST → execution IR lowering.

Package model owns the workspace: the set of documents, the global symbol index, and the reindex pipeline that keeps them consistent.

Package project turns the paths a user names — files, directories and glob patterns — into the model files to load, in a deterministic order.

Package quickfix carries the source edits that resolve a diagnostic, attached by the layer that reported it and rendered by an editor as a quick fix.

Package rdf provides the minimal RDF graph model, Turtle writer and Turtle reader that the SysML v2 ↔ RDF conversion in internal/core/export is built on.

Package ontology holds the SysML v2 metamodel term table generated from the Open-MBEE OWL rendering, plus the domain/range check built on it.

Command gen writes internal/core/rdf/ontology/table.go from a local checkout of https://github.com/Open-MBEE/sysmlv2-rdf-ontology, which is not vendored here.

Package runtime provides the SysML v2 execution runtime: expression evaluation, instance materialization, and KerML operator library.

Package semantics provides the derived semantic model that validation depth-C constraint checks rely on: a specialization/typing graph (with cycle detection), and — in later increments — inherited-member resolution, multiplicity extraction, and a bounded model-level expression evaluator.

Package solve translates the conditions a constraint, requirement or satisfaction assertion states into a solver-independent term IR and writes that IR as an SMT-LIB2 script.

Package source provides source file management and text indexing for the SysML v2 parser.

Package suggest offers the spellings a name that did not resolve may have meant: the qualified names the index declares it under, or the nearest spellings by edit distance.

Package symbols builds an immutable per-document scope tree and a global qualified-name index over a parsed ast.RootNamespace.

Package view renders a SysML view: it turns the elements a view exposes into a rendering artifact, in the form the view's `render` member states.