Skip to content

docs: §2.9 — explicit v2 disposition of DiagramKind / UmlRelation - #118

Closed
elasticdotventures wants to merge 1 commit into
mainfrom
docs/v2-disposition-diagramkind
Closed

elasticdotventures wants to merge 1 commit into
mainfrom
docs/v2-disposition-diagramkind

Conversation

@elasticdotventures

Copy link
Copy Markdown
Member

Branch docs/v2-disposition-diagramkind — 6 commit(s) ahead of main. Auto-opened for review triage.

🤖 Generated with Claude Code

Answers "land DiagramKind + UmlRelation as data-level sum types" directly:
the notation axis already shipped as kr0ki::format::DiagramFormat (the exact
closed-enum-no-trait shape requested); the semantic view-kind axis is SysML v2
ViewpointDefinition/ViewDefinition model data, not a Rust enum, blocked on D3/D6;
UmlRelation has no v2 successor (v2 is not a UML-2 derivative) — deleted.

Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01Cj7a4Bkh8pRQuzcErD1j2E
@elasticdotventures

Copy link
Copy Markdown
Member Author

Closing as superseded: every commit patch on this branch is already present in current main (verified with git cherry origin/main , which reports only equivalent patches). This auto-opened triage PR would replay older work rather than add a new change.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant