All pull requests

Pull requests

• fix(semantics,export): a then succession reaching its source by position owns its two end features — a bare entry; or an unnamed action before it, with or without a multiplicity — on the native walk and in the RDF conversion, as the notation grammar's TargetSuccession declares them and the pilot exports them

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

  ·
  1

  

• fix(parser): reject expose in a view definition body

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

  ·
  1

  

• fix(check): reject typed by in a SysML file in every conformance mode

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

  ·
  1

  

• fix(check): reject KerML-only declaration keywords in SysML files by default

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

  ·
  1

  

• fix(semantics): type a transition's effect as declared and derive its source and target

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

  ·
  1

  

• fix(check): reject a namespace declaration in a .sysml file in every mode

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

  ·
  1

  

• fix(runtime): a state machine declaring no substate is active in itself

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

  ·
  1

  

• fix(resolve): place a header name in the local namespace of its relationship

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

  ·
  1

  

• docs(spec-compliance): six rows the code had already closed read ✅ Faithful — a positional then end in the RDF conversion, the individual/snapshot modifiers deciding a usage's symbol kind, guarded action successions, returned usages and body declarations, requirement constraint forms and part/use-case typing

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

  ·
  1

  

• ci: back off on a rate-limited download and fill the fUML cache once

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

  ·
  1

  

• fix(semantics): a declared end feature is owned through a FeatureMembership whose member isEnd — a definition's, a usage body's or a KerML classifier's, association's or connector body's end feature — and only a connector's clause ends through an EndFeatureMembership, as KerML 8.3.3.3.3 and the notation grammars define them and the conversion writes them

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

  ·
  2

  

• perf(runtime): keep the behaviors a scan finds holding work until work changes

  #2267·WSHSHIWBB opened Nov 15, 2026Contributor·6 tasks done·

  ·

• fix(semantics,query): a flow owns its two FlowEnds on the native walk — an EndFeatureMembership each after its payload, the end reference-subsetting the feature before the last it names and owning the ReferenceUsage that redefines that last one — as the conversion mints them and the pilot exports connectorEnd, and the query leg reads the conversion's ids

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

  ·
  2

  

• docs(compliance): mark deriveExpressionResult and deriveFunctionResult approximate

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

  ·
  1

  

• feat(analysis): write the graphs export from the lowered graphs by id

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

  ·
  1

  

• fix(semantics,export): Feature::type joins a feature's own typings with those it inherits

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

  ·
  1

  4

  

• fix(semantics,query): a metadata usage owns the FeatureTyping its @M or #M states on the native walk — ahead of its annotation and body, as the conversion writes it and the pilot exports it — and the query leg reads the conversion's id

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

  ·
  2

  

• fix(semantics,query): a constraint body's closing bare condition is owned on the native walk through a ResultExpressionMembership after the parameters — a constraint definition's, a requirement's require constraint's — as the conversion writes it and the pilot exports ownedResultExpression, and the query leg reads the conversion's ids

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

  ·
  2

  

• fix(export): a then succession reaching a nameless member by position states it as its sourceFeature and Relationship::source — a bare entry; or an unnamed action before it, a positional target likewise — as the pilot derives them and the native walk answers

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

  ·
  2

  

• feat(smt,solve): read the lowered graphs by id and expression record

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

  ·
  2

  

• fix(grpc): an explicit lookup kind tells a qualified name from an element id

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

  ·
  1

  6

  

• feat(lower): name the nodes and vertices of the lowered graphs by id

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

  ·
  1

  

• refactor(runtime): ask the semantic questions of lowered records

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

  ·
  1

  

• fix(symbol): report a member's direction relative to the type it is read through

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

  ·
  1

  5

  

• fix(runtime): a requirement requiring its subject's constraint usage checks it with the arguments it states

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

  ·
  1

  1