From 683f0ae57fbfd08c98f5262cce63b51b424db7c0 Mon Sep 17 00:00:00 2001 From: Devin AI <158243242+devin-ai-integration[bot]@users.noreply.github.com> Date: Fri, 9 Oct 2026 11:42:08 +0000 Subject: [PATCH 1/2] skills: testing-sysml-repl covers v1 migration audits and inherited-state rendering Direction audits of migrated item flows against the source XMI, the pre-change-binary negative control for lowering fixes, and the positioned-view pitfalls (-render-unplaced strip, -graphs) that make an empty state graph look like a placement issue or vice versa. Co-Authored-By: jason.han --- .agents/skills/testing-sysml-repl/SKILL.md | 30 ++++++++++++++++++++++ 1 file changed, 30 insertions(+) diff --git a/.agents/skills/testing-sysml-repl/SKILL.md b/.agents/skills/testing-sysml-repl/SKILL.md index 6268636036..d4c67287d1 100644 --- a/.agents/skills/testing-sysml-repl/SKILL.md +++ b/.agents/skills/testing-sysml-repl/SKILL.md @@ -6309,6 +6309,36 @@ None for these local REPL/gRPC checks. - Validate saved Turtle independently with rdflib; check real triples and declarations rather than trusting the save confirmation. + +## Migration and state-rendering comparisons + +- Migrate real Cameo archives through `bin/sysml model.mdzip -migrate sysml + -o output.sysml -migration-report output.report.txt`; source XMI is normally + `com.nomagic.magicdraw.uml_model.model` inside the archive. +- Compare reports by element XMI ID, not line number or name: repeated names + can move records into the approximated section even when their notation was + successfully emitted. Preserve counts and inspect the notation as well. +- For direction checks, resolve `informationSource`, `informationTarget`, + `realizingConnector`, connector ends' `partWithPort`/`role`, and part/port + types from XMI. A conveyed item's emitted path should end in the actual + flow property of the connector's port type. Include a reversed connector + order fixture and an unrelated-end negative control. +- A compiler/lowering fix may repair an old migrated `.sysml` without + changing its state declarations. Comparing old and new notation under the + same new binary is not a negative control: use a separately built + pre-change binary to demonstrate the old empty graph. +- Use `-render '#state:M' -render-form text` for a small state definition, + and `-graphs M` to inspect inherited vertices, parent IDs and transitions. + Unsupported inherited members may produce an empty rendering plus a + `cannot be inherited` note while the CLI still exits zero. Exit status and + strict validation alone do not establish a nonempty graph. +- For positioned migrated views, default DOT may omit unpositioned inherited + nodes. Read `not represented` comments; use `-render-unplaced strip` to + include those nodes below the original drawing. Do not confuse omitted + placement with failed graph lowering. Named rendering may also print + validation warnings from other views; separate requested-view warnings + from whole-model warnings. + ### Devin Secrets Needed None for native local CLI/REPL tests. From 44b0ad68012b047274c13e4b4054b35ec821cd5f Mon Sep 17 00:00:00 2001 From: Devin AI <158243242+devin-ai-integration[bot]@users.noreply.github.com> Date: Fri, 9 Oct 2026 11:43:55 +0000 Subject: [PATCH 2/2] ci: rerun Co-Authored-By: jason.han