All pull requests

Pull requests

• fix(migrate): qualify view references the exposes would capture

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

  ·
  4

  

• fix(migrate): classify classes whose stereotype specializes «Block» outside the document

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

  ·
  9

  

• fix(resolve): hide imported memberships that collide by name

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

  ·
  17

  

• ci: run pull requests in a quick tier for drafts and the full tier otherwise

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

  ·
  1

  

• fix(runtime): read a name as the feature resolution binds it to, not the nearest same-named frame binding

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

  ·
  6

  

• feat(runtime): accepts, counted steps and recursive typed bodies inside action bodies

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

  ·
  5

  

• docs(compliance): add the 🧩 extension status and calibrate the execution claims to the map

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

  ·
  1

  

• feat(migrate): write a v1 Operation as its block's composite action usage and chain every call to it

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

  ·
  4

  

• fix(migrate): write dependency ends and comment subjects as qualified names

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

  ·
  1

  

• fix(check): report indistinguishable memberships as errors under strict conformance

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

  ·
  1

  10

  

• feat(runtime): execute use case definitions and usages as actions

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

  ·
  8

  

• fix(runtime): instantiate partially bound features clean

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

  ·
  1

  

• feat(migrate): write an InstanceSpecification as a usage typed by its classifiers

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

  ·
  10

  

• feat(migrate): write an owned rule as a constraint def asserted by a typed usage

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

  ·
  4

  

• fix(migrate): carry stereotype kinds in names and metadata, not comments

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

  ·
  14

  

• feat(migrate): write every association as a connection def with cross ends

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

  ·
  17

  

• feat(migrate): declare a migrated use case's actors as parameters subsetting the actor's part

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

  ·
  14

  

• feat(migrate): faithful states, events and opaque behaviors in the v1 transformation census

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

  ·
  8

  

• docs(project): refresh conformance records to the current develop head

  #1034·devin-ai-integration[bot] opened Oct 9, 2026Bot·4 of 6 tasks·

  ·
  1

  

• docs(perf): measure 0.10.0 against 0.9.2

  #1015·devin-ai-integration[bot] opened Oct 9, 2026Bot·4 of 6 tasks·

  ·
  1

  

• fix(resolve): hide conflicting imported memberships

  #981·HaonanWang7 opened Oct 7, 2026·

  ·
  11

• fix(parser): reject frame, filter and accept outside their bodies; declare extension libraries non-standard

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

  ·
  5