Enhance SysML v2 support with Dependency, Binding, and layout fixes#29

Merged

Malcolmnixon merged 21 commits into

mainfrom

feature/general-view-relationship-edges

Jul 12, 2026

Commits on Jul 12, 2026

docs(roadmap): correct General View edges scope per primary spec research

authored and
Malcolm Nixon
committed
feat(language): add Dependency and Binding semantic model support

Malcolm Nixon
authored and
Malcolm Nixon
committed
feat(core): wire Connect/Allocate/Dependency/Binding/Subsetting into GeneralViewLayoutStrategy

Malcolm Nixon
authored and
Malcolm Nixon
committed
test(core): add layout tests for Connect/Allocate/Dependency/Binding/Subsetting and ref-fix

Malcolm Nixon
authored and
Malcolm Nixon
committed
test: add Dependency/Binding facts to WorkspaceLoaderTests and OMG corpus tests

Malcolm Nixon
authored and
Malcolm Nixon
committed
docs(design): update semantic model and layout strategy design docs

Malcolm Nixon
authored and
Malcolm Nixon
committed
docs(reqstream,verification): add requirements and verification for Connect/Allocate/Dependency/Binding/Subsetting

Malcolm Nixon
authored and
Malcolm Nixon
committed
feat(gallery): add Connect/Allocate/Dependency/Subsetting examples to drone gallery

Malcolm Nixon
authored and
Malcolm Nixon
committed
style: apply dotnet format auto-fixes from fix.ps1

Malcolm Nixon
authored and
Malcolm Nixon
committed
fix: resolve lint issues (cspell false positive, markdown line length, subsetted vocabulary)

Malcolm Nixon
authored and
Malcolm Nixon
committed
Fix ReferenceResolver instance-path collapse and add dropped-edge diagnostic

Malcolm Nixon
authored and
Malcolm Nixon
committed
Fix 5th resolver-blast-radius test found via full suite run

Malcolm Nixon
authored and
Malcolm Nixon
committed
Simplify gallery drone model; scope dropped-edge diagnostic to avoid expose noise

Malcolm Nixon
authored and
Malcolm Nixon
committed
Update design/verification/reqstream docs for resolver fix and diagnostic

Malcolm Nixon
authored and
Malcolm Nixon
committed
chore: revert spurious stdlib.json.gz regeneration noise

authored and
Malcolm Nixon
committed
fix(language): keep feature-chain resolution instance-relative after a fallback hop

authored and
Malcolm Nixon
committed
docs+test: address formal-review findings (F1-F4)

authored and
Malcolm Nixon
committed
docs(roadmap): capture State Transition View implied-source (initial-pseudostate) gap

authored and
Malcolm Nixon
committed
fix(language): derive implicit name for redefining usages with no declared name

authored and
Malcolm Nixon
committed
fix(language): handle dot-chained redefinition references in implicit naming

authored and
Malcolm Nixon
committed
docs(reqstream): fix stale test references after Binding OMG fixture rename

authored and
Malcolm Nixon
committed

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Uh oh!

Enhance SysML v2 support with Dependency, Binding, and layout fixes#29

Enhance SysML v2 support with Dependency, Binding, and layout fixes#29
Malcolmnixon merged 21 commits into
mainfrom
feature/general-view-relationship-edges

Commits on Jul 12, 2026

docs(roadmap): correct General View edges scope per primary spec research

feat(language): add Dependency and Binding semantic model support

feat(core): wire Connect/Allocate/Dependency/Binding/Subsetting into GeneralViewLayoutStrategy

test(core): add layout tests for Connect/Allocate/Dependency/Binding/Subsetting and ref-fix

test: add Dependency/Binding facts to WorkspaceLoaderTests and OMG corpus tests

docs(design): update semantic model and layout strategy design docs

docs(reqstream,verification): add requirements and verification for Connect/Allocate/Dependency/Binding/Subsetting

feat(gallery): add Connect/Allocate/Dependency/Subsetting examples to drone gallery

style: apply dotnet format auto-fixes from fix.ps1

fix: resolve lint issues (cspell false positive, markdown line length, subsetted vocabulary)

Fix ReferenceResolver instance-path collapse and add dropped-edge diagnostic

Fix 5th resolver-blast-radius test found via full suite run

Simplify gallery drone model; scope dropped-edge diagnostic to avoid expose noise

Update design/verification/reqstream docs for resolver fix and diagnostic

chore: revert spurious stdlib.json.gz regeneration noise

fix(language): keep feature-chain resolution instance-relative after a fallback hop

docs+test: address formal-review findings (F1-F4)

docs(roadmap): capture State Transition View implied-source (initial-pseudostate) gap

fix(language): derive implicit name for redefining usages with no declared name

fix(language): handle dot-chained redefinition references in implicit naming

docs(reqstream): fix stale test references after Binding OMG fixture rename