docs: record the two pilot defects as filed upstream (#802, #803) - #340
Open
devin-ai-integration[bot] wants to merge 1 commit into
Open
devin-ai-integration[bot] wants to merge 1 commit into
devin-ai-integration[bot] wants to merge 1 commit into
Conversation
The alias/reference multiplicity report is Systems-Modeling/SysML-v2-Pilot-Implementation#802 and the package-level multiplicity-bound report is #803; the defect table, the two report sections and the census cross-references now cite them instead of marking the reports ready to file. Co-Authored-By: jason.han <hanhuijun@gmail.com>
Contributor
Author
🤖 Devin AI EngineerI'll be helping with this pull request! Here's what you should know: ✅ I will automatically:
Note: I can only respond to comments from users who have write access to this repository. ⚙️ Control Options:
|
![devin-ai-integration[bot]](https://avatars.githubusercontent.com/in/811515?s=60&v=4){kind=small}
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
What and why
The two reports promoted to ready-to-file in #337 have been submitted to the pilot implementation, with the bodies from
docs/project/omg-issues.mdverbatim:Type_multiplicity_SettingDelegate) —Type::multiplicityis derived through alias and reference memberships, so both multiplicity-domain checks fire on valid models Systems-Modeling/SysML-v2-Pilot-Implementation#802validateMultiplicityRangeResultTypes) —validateMultiplicityRangeResultTypesrejects a bound that names a package-level feature, and accepts the same bound inside a type Systems-Modeling/SysML-v2-Pilot-Implementation#803The defect table, both report sections, and the census cross-references in
validation-constraints.mdandpilot-differential.mdnow cite the issue numbers ("filed as …, body below is what was submitted") instead of "ready to file".How it was verified
python3 scripts/check-doc-links.py(0 broken) andpython3 scripts/check-doc-ids.pypass; text-only change to three project records.Checklist
make testandmake lintpass locally (docs-only change; doc checks run as above)docs/project/onlymake docs-countsrun if a gate count moved — no gate count movedF4,K5) in the body, docs, or changelog