All pull requests

Pull requests

• fix(export): an individual definition is an OccurrenceDefinition and an individual usage an OccurrenceUsage, with isIndividual — the metaclasses the pilot's grammar reduces them to, not the IndividualDefinition/IndividualUsage the metamodel lacks

  #1943·devin-ai-integration[bot] opened Nov 5, 2026Bot·6 tasks done·

  ·
  10

  

• feat(semantics,export): an individual definition owns its empty Multiplicity first and a named connector end its [1..1] last — the pilot's two further defaults, on reflection, RDF and API-JSON alike

  #1942·devin-ai-integration[bot] opened Nov 4, 2026Bot·6 tasks done·

  ·
  4

  

• feat(semantics): every Multiplicity specializes Base::naturals, an individual definition's Base::zeroOrOne

  #1941·devin-ai-integration[bot] opened Nov 4, 2026Bot·6 tasks done·

  ·
  12

  

• fix(view): draw a member once when overlapping exposes reach it in a mixed rendering

  #1940·devin-ai-integration[bot] opened Nov 4, 2026Bot·5 of 6 tasks·

  ·
  4

  

• fix(view,proto): carry a parallel state to gRPC clients and list a nested statement's body in a textual compartment

  #1939·devin-ai-integration[bot] opened Nov 4, 2026Bot·6 tasks done·

  ·
  6

  

• feat(emacs): add sysml-mode, an lsp-mode client and a model view buffer

  #1937·kgrimes2 opened Nov 4, 2026·8 tasks done·

  ·
  7

• fix(semantics): audit implied generalizations against KerML/SysML 1.1 §8.4

  #1936·devin-ai-integration[bot] opened Nov 4, 2026Bot·6 tasks done·

  ·
  6

  

• chore(release): merge main back into develop after 0.12.0

  #1935·devin-ai-integration[bot] opened Nov 4, 2026Bot·3 of 6 tasks·

  ·
  1

  

• fix(runtime): a state usage's own in values and a subsetted action usage's values reach the performance

  #1934·devin-ai-integration[bot] opened Nov 4, 2026Bot·6 tasks done·

  ·
  14

  

• fix(lower): read each expression-valued feature's binding once per footprint

  #1933·devin-ai-integration[bot] opened Nov 4, 2026Bot·6 tasks done·

  ·
  1

  4

  

• fix(check): withdraw the port-type-mismatch lint

  #1932·devin-ai-integration[bot] opened Nov 4, 2026Bot·6 tasks done·

  ·
  1

  

• fix(check): apply the one-type rule to every requirement and rendering usage kind

  #1931·devin-ai-integration[bot] opened Nov 4, 2026Bot·6 tasks done·

  ·
  4

  

• feat(check): NPR 7123.1D library support — NPR7123Pass, demo and design page

  #1928·devin-ai-integration[bot] opened Nov 4, 2026Bot·4 of 6 tasks·

  ·
  1

  

• fix(semantics): an accept via a port reflects its receiver parameter and receiverArgument

  #1927·devin-ai-integration[bot] opened Nov 4, 2026Bot·6 tasks done·

  ·
  4

  

• fix(query): report textualRepresentation, body, locale and language

  #1926·devin-ai-integration[bot] opened Nov 4, 2026Bot·6 tasks done·

  ·
  1

  9

  

• fix(view): notes, routes and partial ends of the n-ary dot and item boxes

  #1925·devin-ai-integration[bot] opened Nov 4, 2026Bot·6 tasks done·

  ·
  6

  

• fix(view): draw the draw.io definition edge solid and state the edge forms' real gaps

  #1924·devin-ai-integration[bot] opened Nov 4, 2026Bot·6 tasks done·

  ·
  4

  

• feat(view): write node keywords as the §8.2.3 figures do

  #1922·devin-ai-integration[bot] opened Nov 4, 2026Bot·6 tasks done·

  ·
  8

  

• feat(view): mark elided compartments with the ellipsis and grey the row an edge ends at

  #1921·devin-ai-integration[bot] opened Nov 4, 2026Bot·6 tasks done·

  ·
  11

  

• feat(view): head compartments as the §8.2.3 figures do

  #1920·devin-ai-integration[bot] opened Nov 4, 2026Bot·6 tasks done·

  ·
  6

  

• feat(view): draw the §8.2.3.4 annotation nodes and links and the §8.2.3.26 view frame

  #1919·devin-ai-integration[bot] opened Nov 4, 2026Bot·6 tasks done·

  ·
  37

  

• feat(export): the API element form completes the inherited-member derived properties from the semantic inheritance table

  #1915·devin-ai-integration[bot] opened Nov 4, 2026Bot·6 tasks done·

  ·
  27

  

• docs: cite the pinned KerML 1.1 Beta 2 clauses for memberships, imports and binding/succession bases

  #1903·devin-ai-integration[bot] opened Nov 4, 2026Bot·4 of 6 tasks·

  ·
  5

  

• chore(deps): bump the npm-minor-and-patch group across 3 directories with 5 updates

  dependenciesjavascript
  #1870·dependabot[bot] opened Nov 2, 2026Bot·

  ·
  3