All pull requests

Pull requests

• test(interop): re-record the Flexo MMS expectation for feature chains, the root namespace and source positions

  #1257·devin-ai-integration[bot] opened Oct 18, 2026Bot·6 tasks done·

  ·
  4

  

• test(runtime): pin inherited satisfy and definition-owned verification with a this subject

  #1256·devin-ai-integration[bot] opened Oct 18, 2026Bot·6 tasks done·

  ·
  1

  1

  

• fix(semantics): classify by a metaclass declared in more than one document

  #1255·devin-ai-integration[bot] opened Oct 18, 2026Bot·6 tasks done·

  ·
  1

  1

  

• feat(view): fold an element with a Layout that places nothing; worked example of bounding a deep decomposition

  #1254·devin-ai-integration[bot] opened Oct 18, 2026Bot·6 tasks done·

  ·
  1

  

• fix(export): state isComposite, the metadata access membership and bare library references in API JSON

  #1253·devin-ai-integration[bot] opened Oct 18, 2026Bot·6 tasks done·

  ·
  8

  

• fix(check): type the unbounded literal * as a Positive when bound to a feature

  #1252·devin-ai-integration[bot] opened Oct 18, 2026Bot·6 tasks done·

  ·
  4

  

• fix(runtime): union tracked Kernel collections with their shape subsetters

  #1251·devin-ai-integration[bot] opened Oct 18, 2026Bot·5 of 6 tasks·

  ·
  6

  

• fix(runtime): return-parameter reads, one open-count rule for both library tiers, reasons for unevaluable Kernel Function Library calls

  #1250·devin-ai-integration[bot] opened Oct 18, 2026Bot·6 tasks done·

  ·
  17

  

• feat(view): native svg and svg-animated forms for run renderings

  #1249·devin-ai-integration[bot] opened Oct 18, 2026Bot·5 tasks done·

  ·
  12

  

• feat(bench): LLM generate–validate–repair benchmark with a 50-task SysML v2 corpus

  #1248·devin-ai-integration[bot] opened Oct 18, 2026Bot·6 tasks done·

  ·
  23

  

• docs(project): record which library and prefix sweep gap classes are fixed on develop

  #1247·devin-ai-integration[bot] opened Oct 18, 2026Bot·3 of 6 tasks·

  ·
  1

  

• test(runtime): pin every library and prefix sweep probe's outcome as a reviewed golden

  #1244·devin-ai-integration[bot] opened Oct 18, 2026Bot·6 tasks done·

  ·
  11

  

• feat(export): owned absence and evaluator-derived properties in API JSON

  #1232·devin-ai-integration[bot] opened Oct 17, 2026Bot·3 of 6 tasks·

  ·
  13

  

• feat(landing): add the Saturn V mass roll-up as a second hero scene

  #1231·devin-ai-integration[bot] opened Oct 17, 2026Bot·6 tasks done·

  ·
  14

  

• fix(runtime): hold a calc result in the shape its declared multiplicity gives it

  #1228·devin-ai-integration[bot] opened Oct 17, 2026Bot·6 tasks done·

  ·
  22

  

• fix(runtime): hold a performed action's pins in their multiplicity shape on every surface

  #1223·devin-ai-integration[bot] opened Oct 17, 2026Bot·5 of 6 tasks·

  ·
  20

  

• fix(check): judge inherited and KerML typings by the kind's redundant-type rule

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

  ·
  5

  

• feat(mcp): host configuration, documentation and release packaging for sysml-mcp

  #1103·devin-ai-integration[bot] opened Oct 12, 2026Bot·6 tasks done·

  ·
  36