feat: add native requirements and satisfaction diagrams

README.md

@@ -48,6 +48,7 @@ OpenMBEE View Editor brings source editing, named model views and reviewed graph
 
 - **Edit highlighted SysML source.** CodeMirror provides line numbers, bracket matching/closing, indentation, find/replace and draft undo/redo. Apply or discard changes, undo/redo accepted source transactions, and keep the last valid model when a draft fails validation.
 - **Query the draft model.** Request engine-backed completion, symbol information and project-file definitions against the complete current source set.
+- **Inspect requirement graphs.** Browse requirement definitions/usages, declared identifiers and documentation, typing, hierarchy and positive/negated satisfaction links. Follow exact source declarations; diagram links do not report executed test results.
 - **Open source-defined views.** Navigate named SysML views independently of the active source file. Inspect nested parts, typed inherited ports and resolved connection endpoints.
 - **Navigate source issues.** Open an issue’s reported file and line in the source editor. Missing or stale locations are explained while drafts and the last valid diagram are retained.
 - **Browse the model hierarchy.** Expand packages, definitions and declared members in the Model tree. Inspect type/kind labels; use arrow keys, type-ahead and Enter/Space to navigate and select.
@@ -58,7 +59,7 @@ OpenMBEE View Editor brings source editing, named model views and reviewed graph
 - **Arrange your workspace.** Resize or collapse Explorer, Inspector, source/diagram panes and Issues using dividers, keyboard controls or panel options.
 - **Choose your appearance.** Use Light, Dark or Follow system, six diagram palettes and custom muted element colors. Theme and panel preferences stay in the browser.
 
-Structural workflows have real-engine browser coverage; behavior, use-case, state, sequence and geometry renderers remain unavailable. See [capabilities and limits](docs/capabilities.md) and [local verification](docs/verification.md) for the implemented scope.
+Structural and native requirement workflows have real-engine browser coverage; behavior, use-case, state, sequence and geometry renderers remain unavailable. See [capabilities and limits](docs/capabilities.md) and [local verification](docs/verification.md) for the implemented scope.
 
 In the source editor, use **Ctrl+F** / **Cmd+F** for find/replace and **Ctrl+Z** / **Cmd+Z** for draft editing undo; **Ctrl+Y** / **Cmd+Shift+Z** redo draft edits. **Tab** moves focus out of the editor. Toolbar **Undo source** / **Redo source** operate on accepted model revisions. Highlighting is lexical; the pinned engines still validate source when you apply it. Use **Ctrl+Space** for engine-backed completion, **F1** for symbol information and **F12** for project-file definitions; pointing at a symbol also requests hover information. Queries use the complete current draft source set. Unsupported completion edits and stale replies are rejected. Formatting and inline diagnostics remain future work.
 
@@ -177,7 +178,7 @@ npm run test:e2e                    # fresh build, real engines and visual compa
 npm run preview -- --host 127.0.0.1
 ```
 
-PR CI runs all fast checks plus twelve critical browser workflows, adding visual comparisons for code changes. Full browser coverage runs weekly, manually and for release/main/hotfix PRs and pushes. Run `npm run test:e2e -- --project=functional --grep @critical` to reproduce the smaller browser gate; `npm run test:e2e` still runs everything. See [CI coverage](docs/testing.md#ci-coverage) for selection and deferred coverage.
+PR CI runs all fast checks plus thirteen critical browser workflows, adding visual comparisons for code changes. Full browser coverage runs weekly, manually and for release/main/hotfix PRs and pushes. Run `npm run test:e2e -- --project=functional --grep @critical` to reproduce the smaller browser gate; `npm run test:e2e` still runs everything. See [CI coverage](docs/testing.md#ci-coverage) for selection and deferred coverage.
 
 Functional checks can use installed Chrome with `PLAYWRIGHT_BROWSER_CHANNEL=chrome npm run test:e2e -- --project=functional`. Visual comparisons always use bundled Chromium and reviewed platform-specific baselines. The browser suite starts its own fresh production server; port **4175** must be free. See [browser testing and baseline review](docs/testing.md).
 
@@ -193,7 +194,7 @@ Start with the [documentation index](docs/README.md) for current capabilities, a
 
 This implementation supports a bounded source/structure editing workflow. It does not claim complete SysML v2 language, notation, execution or interchange conformance. Owned-port boundary notation, effective conjugated directions, behavior renderers and broader editing commands remain explicit gaps.
 
-Flexo MMS checkout and publishing are planned; the current workbench uses local project files. Read the [integration research](docs/research/openmbee-flexo-mms.md) and [roadmap](docs/next-steps.md#3-flexo-checkout-then-reviewed-publication) for the proposed direction.
+Flexo MMS checkout and publishing are planned; the current workbench uses local project files. Read the [integration research](docs/research/openmbee-flexo-mms.md) and [roadmap](docs/next-steps.md#4-flexo-checkout-then-reviewed-publication) for the proposed direction.
 
 ## Contributing
 

docs/README.md

@@ -16,15 +16,16 @@ OpenMBEE View Editor is a sandbox browser workspace for SysML v2 source and name
 
 ## Implementation contracts
 
-| Guide                                                                       | Purpose                                                        |
-| --------------------------------------------------------------------------- | -------------------------------------------------------------- |
-| [Application shell](architecture/application-shell.md)                      | Landing, launcher, navigation and session preservation         |
-| [Workbench layout](architecture/workbench-layout.md)                        | Panels, toolbar alignment, model tree and editor lifetime      |
-| [Source editing and recovery](architecture/source-assistance-recovery.md)   | Draft queries, issue navigation and browser recovery           |
-| [Structural views](architecture/structural-views.md)                        | Hierarchy, ports, connections and geometry projection          |
-| [Graphical authoring](architecture/graphical-authoring.md)                  | Reviewed semantic commands and supported endpoint rules        |
-| [Identity and layout preservation](architecture/identity-reconciliation.md) | Identity domains, verified edits and conservative invalidation |
-| [Project format](architecture/project-format.md)                            | Portable version-1 data and compatibility rules                |
+| Guide                                                                       | Purpose                                                                                  |
+| --------------------------------------------------------------------------- | ---------------------------------------------------------------------------------------- |
+| [Application shell](architecture/application-shell.md)                      | Landing, launcher, navigation and session preservation                                   |
+| [Workbench layout](architecture/workbench-layout.md)                        | Panels, toolbar alignment, model tree and editor lifetime                                |
+| [Source editing and recovery](architecture/source-assistance-recovery.md)   | Draft queries, issue navigation and browser recovery                                     |
+| [Structural views](architecture/structural-views.md)                        | Hierarchy, ports, connections and geometry projection                                    |
+| [Requirements and satisfaction](architecture/requirements-views.md)         | Native graphs, identifiers/docs, relationship polarity, source reveal and bounded limits |
+| [Graphical authoring](architecture/graphical-authoring.md)                  | Reviewed semantic commands and supported endpoint rules                                  |
+| [Identity and layout preservation](architecture/identity-reconciliation.md) | Identity domains, verified edits and conservative invalidation                           |
+| [Project format](architecture/project-format.md)                            | Portable version-1 data and compatibility rules                                          |
 
 ## Planned work and research
 

docs/architecture/README.md

@@ -40,6 +40,8 @@ Named views are actual SysML usages. Open existing views without authoring anoth
 
 Semantic subject identity, usage context and symbol identity remain distinct. Geometry changes never imply semantic containment or connectivity. The bounded structural projection consumes engine parent IDs, typed inherited ports and explicit connection endpoints; port selection retains its usage context. `moveSymbols` validates a complete presentation batch before publishing it, so moving a group and its descendants keeps version-1 absolute coordinates consistent without a source transaction. [Structural projection, engine trace and limits](structural-views.md).
 
+Native `requirement` artifacts have a dedicated read-only projection with exact identifiers/documentation, selected/contextual membership, typing, direct/type-based ownership and declared satisfaction polarity. Node/edge correspondence supports source reveal, including anonymous relationships. The default compressor requirements tree is retained; native requirement rendering does not imply automatic system/usage expansion or execution results. [Requirements contract and limits](requirements-views.md).
+
 Reviewed `createPart` and `connectPorts` commands share this transaction path with rename and view creation. The workspace verifies explicit endpoint direction, identical resolved port type and actual evaluated connection endpoints; Toolkit edit acceptance alone is insufficient. [Graphical authoring contracts](graphical-authoring.md).
 
 ## TypeBox