Issues

• goal-language: operatorOf mislocates a binary operator's span when its operand is itself a nested binary

  vieirin/goal-controller#504 · Filter by author vieirin opened on Oct 27, 2026

• Agent tool to check the model it is editing (scratch copy in Propose mode) against the workbench's problems

  vieirin/goal-controller#497 · Filter by author vieirin opened on Oct 27, 2026

• Agent change marks (EDITED/NEW) outlive an undo of the agent's edit

  vieirin/goal-controller#493 · Filter by author vieirin opened on Oct 27, 2026

• Model-worker crash with the canvas mounted: @istar-ts/react's request effects reject unhandled on the crashed session

  vieirin/goal-controller#492 · Filter by author vieirin opened on Oct 27, 2026

• next dev in a worktree picks the main checkout as Turbopack's root (multiple lockfiles)

  vieirin/goal-controller#490 · Filter by author vieirin opened on Oct 27, 2026

• Agent chat drawer after the mock: transcript blocks, markdown, composer with @-chips and uploads, model selector

  vieirin/goal-controller#485 · Filter by author vieirin opened on Oct 27, 2026

• pistarExt: a construct's fields (including its new description) can't be edited after creation

  vieirin/goal-controller#455 · Filter by author vieirin opened on Oct 25, 2026

• experiments/prism-parse.sh: aborts on zero decision_ constants, misses _decision_ ones

  vieirin/goal-controller#444 · Filter by author vieirin opened on Oct 25, 2026

• migration: istar-ts dispatcher + GLSP backend (model owned by the dispatcher, canvas on the GModel)

  vieirin/goal-controller#408 · Filter by author vieirin opened on Oct 25, 2026

• LTL AST: past operators S (since) and B (back-to), for FSE'02's Bounded Achieve and InBetween operationalisations

  vieirin/goal-controller#397 · Filter by author vieirin opened on Oct 22, 2026

• kaossim: a design's selection lists an agent once per responsibility assignment

  vieirin/goal-controller#396 · Filter by author vieirin opened on Oct 22, 2026

• goal-tree: a model element of a kind with a tree entry has no engine at run time, though ModelElement types it

  vieirin/goal-controller#395 · Filter by author vieirin opened on Oct 22, 2026

• kaoslts: compile its FSP with LTSA in Docker and reproduce the mine pump's state counts (32, 65)

  vieirin/goal-controller#394 · Filter by author vieirin opened on Oct 22, 2026
  1

• kaoslts: show the incomplete-operationalisation Problems in the workbench's Problems panel

  vieirin/goal-controller#393 · Filter by author vieirin opened on Oct 22, 2026

• Notation view: an imported KAOS model's element lines (piStar ids) aren't read as element lines

  vieirin/goal-controller#390 · Filter by author vieirin opened on Oct 22, 2026

• KAOS monitoring/control: nothing checks that Monitors/Controls names the link's target

  vieirin/goal-controller#389 · Filter by author vieirin opened on Oct 22, 2026

• KAOS step 8 results (#212, anti-models): attempts, findings and interactions

  vieirin/goal-controller#384 · Filter by author vieirin opened on Oct 21, 2026
  2

• KAOS stress test, step 7 results (#194): attempts, findings and interactions

  vieirin/goal-controller#383 · Filter by author vieirin opened on Oct 21, 2026
  9

• dialect: tsconfig.test.json type-checks no test file (it inherits tsconfig.json's exclude of test/**)

  vieirin/goal-controller#381 · Filter by author vieirin opened on Oct 21, 2026

• Inspector: a KAOS refinement's leg shows its hub without the hub's per-item keyed fields (kaossim's Equation[v])

  vieirin/goal-controller#380 · Filter by author vieirin opened on Oct 21, 2026

• KAOS stress test, step 6 results (#193): attempts, findings and interactions

  vieirin/goal-controller#369 · Filter by author vieirin opened on Oct 21, 2026
  4

• KAOS stress test, step 5 results (#192): attempts, findings and interactions

  vieirin/goal-controller#368 · Filter by author vieirin opened on Oct 21, 2026
  2

• .kaos writer: 'resolvedby [pattern] g' without an anchor, which KAOSTools' parser refuses

  vieirin/goal-controller#366 · Filter by author vieirin opened on Oct 21, 2026

• kaosres: propagate variants with the obstruction-superset BDD (KAOSTools', SEAMS'17 §V), not only RE'12's tree rules

  vieirin/goal-controller#365 · Filter by author vieirin opened on Oct 21, 2026

• goal-tree: the tree, its nodes and the IR carry their supported operations alongside their data

  enhancement
  vieirin/goal-controller#363 · Filter by author vieirin opened on Oct 21, 2026