sysmlpy 0.91.0__tar.gz → 0.96.0__tar.gz

{sysmlpy-0.91.0 → sysmlpy-0.96.0}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: sysmlpy
-Version: 0.91.0
+Version: 0.96.0
 Summary: 
 License-File: LICENSE
 Author: Jon R. Fox (mycr0ft)
@@ -13,10 +13,12 @@ Classifier: Programming Language :: Python :: 3.11
 Classifier: Programming Language :: Python :: 3.12
 Classifier: Programming Language :: Python :: 3.13
 Classifier: Programming Language :: Python :: 3.14
+Classifier: Programming Language :: Python :: 3.15
 Provides-Extra: cayley
 Provides-Extra: graph
 Provides-Extra: jupyter
 Provides-Extra: kuzu
+Provides-Extra: reqif
 Provides-Extra: sim
 Provides-Extra: xlsx
 Requires-Dist: antlr4-python3-runtime (>=4.13)
@@ -27,6 +29,7 @@ Requires-Dist: networkx (>=3.0) ; extra == "graph"
 Requires-Dist: openpyxl (>=3.1) ; extra == "xlsx"
 Requires-Dist: pint (>=0.24)
 Requires-Dist: pyyaml (>=6.0)
+Requires-Dist: reqif (>=0.1) ; extra == "reqif"
 Requires-Dist: requests (>=2.31) ; extra == "cayley"
 Requires-Dist: transitions (>=0.9,<0.10) ; extra == "sim"
 Description-Content-Type: text/markdown
@@ -73,6 +76,7 @@ sysmlpy requires the following Python packages:
 - [networkx](https://networkx.org/) — graph analysis backend (install with `pip install sysmlpy[graph]`)
 - [kuzu](https://kuzudb.com/) — embedded graph database with disk persistence and Cypher queries (install with `pip install sysmlpy[kuzu]`)
 - [cayley](https://cayley.io/) — graph database via HTTP API, supports BoltDB/LevelDB backends (install with `pip install sysmlpy[cayley]`)
+- [reqif](https://github.com/strictdoc-project/reqif) — ReqIF 1.0 requirements interchange, import/export with any ReqIF-capable tool (install with `pip install sysmlpy[reqif]`; see [ReqIF Interchange](#reqif-interchange-requirements-interchange-format))
 - [PlantUML](https://plantuml.com/) **v1.2020.0+** — diagram rendering (requires Java + PlantUML JAR or [PlantUML server](https://www.plantuml.com/plantuml)). The generator uses `<style>` blocks and `skinparam` stereotype selectors introduced in v1.2020.
 - [IPython](https://ipython.org/) **v8.0+** — the `%%sysml` Jupyter cell magic (install with `pip install sysmlpy[jupyter]`; see [Jupyter integration](#jupyter-integration))
 
@@ -133,6 +137,40 @@ and the mapping to this implementation — is in the
 [sysml-copier](https://github.com/mycr0ft/sysml-copier) template's
 `docs/sysml-magics.md`.
 
+## Interactive REPL
+
+`sysmlpy repl [FILE ...]` is a terminal session in the same spirit: each
+submission is a SysML declaration, an expression, or a `%command`, and
+declarations accumulate into a session model with the same
+member-granularity merge as the Jupyter magics (a re-declared member
+replaces its prior definition, sibling members are kept, and a
+`note:` line says so). Submissions continue onto a `...>` line while
+brackets stay open; a line that is not a declaration evaluates as an
+expression. Ctrl-D or `%quit` exits; `%reset` discards the session.
+
+| Command | Purpose |
+|---------|---------|
+| `%list [NAME]` | Packages (with member counts), or elements matching NAME with qualified names |
+| `%show NAME` | `repr()` of the first element named NAME |
+| `%dump` | Round-tripped SysML text of the session model |
+| `%eval EXPR` | Evaluate an expression against the session model |
+| `%set NAME=VALUE` | Bind a what-if value (number / bool / string / unit) |
+| `%bindings` | Show current what-if bindings |
+| `%calc NAME a, b` | Invoke a calc def with positional literal arguments |
+| `%check` | Check the model's constraints (pass/fail report) |
+| `%values` | Collected attribute values |
+| `%sim [FOCUS]` | Start a simulator session on a state machine |
+| `%send TRIGGER` / `%step` / `%state` | Drive / advance / inspect that session |
+| `%view NAME [KIND]` | Render a view: `gv` `pkg` `afv` `iv` `stv` `tab` `dvt` `matrix` |
+| `%load PATH` / `%save PATH` | Merge a file into the session / write the session out |
+| `%reset` / `%quit` | Discard everything / leave the REPL |
+| `%help` | Command summary |
+
+Files given on the command line (`sysmlpy repl model.sysml`) are loaded
+into the session before the first prompt. The session core is the same
+Python API surface used throughout the library, so anything you build in
+a REPL session maps one-to-one onto a `ReplSession` scripted from Python.
+
 ## Command-Line Tools
 
 sysmlpy ships a CLI (`sysmlpy`, plus `sysmlpy-lsp` for editor support).
@@ -150,9 +188,12 @@ threshold or operational error, `2` = parse/load failure — so
 | `sysmlpy trace <file>` | Requirement traceability & verification coverage |
 | `sysmlpy export <file>` | Export to the JSON interchange format |
 | `sysmlpy import <file>` | Import a JSON interchange document as SysML text |
+| `sysmlpy reqif-import <file>` | Import a ReqIF file as SysML v2 requirements |
+| `sysmlpy reqif-export <file>` | Export model requirements as ReqIF 1.0 XML |
 | `sysmlpy eval <file>` | Evaluate expressions, attribute values, constraints |
 | `sysmlpy sim <file>` | Simulate a state machine (guards evaluated for real) |
 | `sysmlpy xlsx <file>` | Export tabular views to an Excel workbook |
+| `sysmlpy repl <file...>` | Interactive REPL: declarations accumulate into a session model; `%eval`, `%sim`, `%view`, `%check`, ... inspect it |
 | `sysmlpy-lsp` | Language server (stdio) for SysML v2 editors |
 
 Examples:
@@ -171,6 +212,15 @@ sysmlpy view model.sysml --view sv > model.puml
 # Drive a state machine interactively
 sysmlpy sim traffic_light.sysml
 
+# Or work in an accumulating session: declare, query, evaluate, simulate
+sysmlpy repl
+sysml> package Demo { part def Wheel { attribute diameter : Real = 16.0; } }
+✓ Demo
+sysml> %eval Demo::Wheel::diameter
+= 16.0
+sysml> %view Demo pkg
+sysml> %quit
+
 # Excel workbook of the tabular views
 sysmlpy xlsx bill_of_materials.sysml -o bom.xlsx
 ```
@@ -443,7 +493,8 @@ result = analyze(model, strict=True)
 - **Undefined symbol detection** — catches references to non-existent types, features, and packages
 - **Qualified name resolution** — `P::A` and `Outer::Inner::DeepPart` resolve through scope chains
 - **Inheritance resolution** — subsetting/redefinition references resolve through supertype chains
-- **Library symbol index** — scans 88 `.kerml`/`.sysml` files (~1,417 symbols) from the bundled standard library
+- **KerML parser** — OMG-KEBNF-generated ANTLR4 grammar for the Kernel Modeling Language (`sysmlpy.kerml`): `parse` / `parse_file` / `parse_to_dict`; all 130 `.kerml` corpus files (OMG examples + standard libraries) parse, and the library symbol index is backed by real parses (2,986 symbols)
+- **Library symbol index** — scans 94 files (36 parsed `.kerml` + 58 `.sysml`) from the bundled standard library (~2,986 symbols)
 
 ### Import Resolution
 
@@ -864,6 +915,77 @@ See [`docs/plantuml-examples/`](docs/plantuml-examples/) for all rendered exampl
 | 15 | Relationship Matrix (GridView) | Relationship Matrix |
 | 16 | Tabular View — Color | Tabular View (color) |
 
+## ReqIF Interchange (Requirements Interchange Format)
+
+sysmlpy imports and exports **ReqIF 1.0** — the OMG requirements interchange
+standard used by DOORS, Polarion, ReqIF Studio, Capella, Enterprise Architect,
+and most requirements-management tools. This makes sysmlpy a viable
+*single source of truth* for requirements: author them as SysML v2
+`requirement` elements, then exchange them with any ReqIF-capable toolchain.
+
+Install the optional dependency once:
+
+```bash
+pip install sysmlpy[reqif]
+```
+
+### Import — ReqIF → SysML requirements
+
+```python
+from sysmlpy import reqif_import, loads
+
+text = reqif_import("requirements.reqif")   # ReqIF XML → SysML v2 text
+model = loads(text)                         # → live requirement tree
+```
+
+Each ReqIF SpecObject becomes a `requirement` element; the ReqIF
+specification hierarchy becomes requirement ownership nesting;
+`ReqIF.Text` (XHTML) becomes the requirement's `doc` comment with tags
+stripped; other attributes (e.g. `ReqIF.ForeignID`) are folded into the
+doc so no data is lost.
+
+### Export — SysML requirements → ReqIF
+
+```python
+from sysmlpy import loads, reqif_export
+
+model = loads("model.sysml")
+reqif_export(model, "requirements.reqif")
+```
+
+Requirement ownership becomes the ReqIF hierarchy; `doc` comments become
+`ReqIF.Text` XHTML values.
+
+### CLI
+
+```bash
+sysmlpy reqif-import requirements.reqif -o requirements.sysml
+sysmlpy reqif-export model.sysml -o requirements.reqif
+```
+
+The import direction was validated against real-world anonymized ReqIF
+files from multiple vendor flavors (ReqIF Studio, DOORS, Polarion,
+Eclipse RMF, Enterprise Architect — see the
+[reqif project's corpus](https://github.com/strictdoc-project/reqif/tree/main/tests/integration/reqif_software)),
+including a 137-requirement model with a 3-level hierarchy and 14
+relations, round-tripped through sysmlpy with exact structural fidelity.
+
+> **Note:** ReqIF "flavors" differ across tools (attribute naming,
+> datatypes, relation semantics). The importer handles the common
+> `ReqIF.Text` / `ReqIF.ChapterName` / `ReqIF.ForeignID` attributes
+> found in every flavor; exotic vendor extensions are skipped
+> gracefully. If a file fails to import, it is genuinely malformed.
+
+### Relationship to other tools
+
+- **Cameo / MagicDraw** — export ReqIF from them, import with sysmlpy;
+  no license needed on the sysmlpy side.
+- **Doorstop** — the [Doorstop](https://doorstop.readthedocs.io) text-file
+  requirements tool can serve as a git-native review/publishing front-end;
+  exchange via ReqIF or the XLSX bridge.
+- **[strictdoc/reqif](https://github.com/strictdoc-project/reqif)** — the
+  parser library sysmlpy uses for the ReqIF wire format (Apache-2.0).
+
 ## Conformance
 
 **100% of 123 OMG XPect conformance tests pass** (123/123).

{sysmlpy-0.91.0 → sysmlpy-0.96.0}/README.md

@@ -40,6 +40,7 @@ sysmlpy requires the following Python packages:
 - [networkx](https://networkx.org/) — graph analysis backend (install with `pip install sysmlpy[graph]`)
 - [kuzu](https://kuzudb.com/) — embedded graph database with disk persistence and Cypher queries (install with `pip install sysmlpy[kuzu]`)
 - [cayley](https://cayley.io/) — graph database via HTTP API, supports BoltDB/LevelDB backends (install with `pip install sysmlpy[cayley]`)
+- [reqif](https://github.com/strictdoc-project/reqif) — ReqIF 1.0 requirements interchange, import/export with any ReqIF-capable tool (install with `pip install sysmlpy[reqif]`; see [ReqIF Interchange](#reqif-interchange-requirements-interchange-format))
 - [PlantUML](https://plantuml.com/) **v1.2020.0+** — diagram rendering (requires Java + PlantUML JAR or [PlantUML server](https://www.plantuml.com/plantuml)). The generator uses `<style>` blocks and `skinparam` stereotype selectors introduced in v1.2020.
 - [IPython](https://ipython.org/) **v8.0+** — the `%%sysml` Jupyter cell magic (install with `pip install sysmlpy[jupyter]`; see [Jupyter integration](#jupyter-integration))
 
@@ -100,6 +101,40 @@ and the mapping to this implementation — is in the
 [sysml-copier](https://github.com/mycr0ft/sysml-copier) template's
 `docs/sysml-magics.md`.
 
+## Interactive REPL
+
+`sysmlpy repl [FILE ...]` is a terminal session in the same spirit: each
+submission is a SysML declaration, an expression, or a `%command`, and
+declarations accumulate into a session model with the same
+member-granularity merge as the Jupyter magics (a re-declared member
+replaces its prior definition, sibling members are kept, and a
+`note:` line says so). Submissions continue onto a `...>` line while
+brackets stay open; a line that is not a declaration evaluates as an
+expression. Ctrl-D or `%quit` exits; `%reset` discards the session.
+
+| Command | Purpose |
+|---------|---------|
+| `%list [NAME]` | Packages (with member counts), or elements matching NAME with qualified names |
+| `%show NAME` | `repr()` of the first element named NAME |
+| `%dump` | Round-tripped SysML text of the session model |
+| `%eval EXPR` | Evaluate an expression against the session model |
+| `%set NAME=VALUE` | Bind a what-if value (number / bool / string / unit) |
+| `%bindings` | Show current what-if bindings |
+| `%calc NAME a, b` | Invoke a calc def with positional literal arguments |
+| `%check` | Check the model's constraints (pass/fail report) |
+| `%values` | Collected attribute values |
+| `%sim [FOCUS]` | Start a simulator session on a state machine |
+| `%send TRIGGER` / `%step` / `%state` | Drive / advance / inspect that session |
+| `%view NAME [KIND]` | Render a view: `gv` `pkg` `afv` `iv` `stv` `tab` `dvt` `matrix` |
+| `%load PATH` / `%save PATH` | Merge a file into the session / write the session out |
+| `%reset` / `%quit` | Discard everything / leave the REPL |
+| `%help` | Command summary |
+
+Files given on the command line (`sysmlpy repl model.sysml`) are loaded
+into the session before the first prompt. The session core is the same
+Python API surface used throughout the library, so anything you build in
+a REPL session maps one-to-one onto a `ReplSession` scripted from Python.
+
 ## Command-Line Tools
 
 sysmlpy ships a CLI (`sysmlpy`, plus `sysmlpy-lsp` for editor support).
@@ -117,9 +152,12 @@ threshold or operational error, `2` = parse/load failure — so
 | `sysmlpy trace <file>` | Requirement traceability & verification coverage |
 | `sysmlpy export <file>` | Export to the JSON interchange format |
 | `sysmlpy import <file>` | Import a JSON interchange document as SysML text |
+| `sysmlpy reqif-import <file>` | Import a ReqIF file as SysML v2 requirements |
+| `sysmlpy reqif-export <file>` | Export model requirements as ReqIF 1.0 XML |
 | `sysmlpy eval <file>` | Evaluate expressions, attribute values, constraints |
 | `sysmlpy sim <file>` | Simulate a state machine (guards evaluated for real) |
 | `sysmlpy xlsx <file>` | Export tabular views to an Excel workbook |
+| `sysmlpy repl <file...>` | Interactive REPL: declarations accumulate into a session model; `%eval`, `%sim`, `%view`, `%check`, ... inspect it |
 | `sysmlpy-lsp` | Language server (stdio) for SysML v2 editors |
 
 Examples:
@@ -138,6 +176,15 @@ sysmlpy view model.sysml --view sv > model.puml
 # Drive a state machine interactively
 sysmlpy sim traffic_light.sysml
 
+# Or work in an accumulating session: declare, query, evaluate, simulate
+sysmlpy repl
+sysml> package Demo { part def Wheel { attribute diameter : Real = 16.0; } }
+✓ Demo
+sysml> %eval Demo::Wheel::diameter
+= 16.0
+sysml> %view Demo pkg
+sysml> %quit
+
 # Excel workbook of the tabular views
 sysmlpy xlsx bill_of_materials.sysml -o bom.xlsx
 ```
@@ -410,7 +457,8 @@ result = analyze(model, strict=True)
 - **Undefined symbol detection** — catches references to non-existent types, features, and packages
 - **Qualified name resolution** — `P::A` and `Outer::Inner::DeepPart` resolve through scope chains
 - **Inheritance resolution** — subsetting/redefinition references resolve through supertype chains
-- **Library symbol index** — scans 88 `.kerml`/`.sysml` files (~1,417 symbols) from the bundled standard library
+- **KerML parser** — OMG-KEBNF-generated ANTLR4 grammar for the Kernel Modeling Language (`sysmlpy.kerml`): `parse` / `parse_file` / `parse_to_dict`; all 130 `.kerml` corpus files (OMG examples + standard libraries) parse, and the library symbol index is backed by real parses (2,986 symbols)
+- **Library symbol index** — scans 94 files (36 parsed `.kerml` + 58 `.sysml`) from the bundled standard library (~2,986 symbols)
 
 ### Import Resolution
 
@@ -831,6 +879,77 @@ See [`docs/plantuml-examples/`](docs/plantuml-examples/) for all rendered exampl
 | 15 | Relationship Matrix (GridView) | Relationship Matrix |
 | 16 | Tabular View — Color | Tabular View (color) |
 
+## ReqIF Interchange (Requirements Interchange Format)
+
+sysmlpy imports and exports **ReqIF 1.0** — the OMG requirements interchange
+standard used by DOORS, Polarion, ReqIF Studio, Capella, Enterprise Architect,
+and most requirements-management tools. This makes sysmlpy a viable
+*single source of truth* for requirements: author them as SysML v2
+`requirement` elements, then exchange them with any ReqIF-capable toolchain.
+
+Install the optional dependency once:
+
+```bash
+pip install sysmlpy[reqif]
+```
+
+### Import — ReqIF → SysML requirements
+
+```python
+from sysmlpy import reqif_import, loads
+
+text = reqif_import("requirements.reqif")   # ReqIF XML → SysML v2 text
+model = loads(text)                         # → live requirement tree
+```
+
+Each ReqIF SpecObject becomes a `requirement` element; the ReqIF
+specification hierarchy becomes requirement ownership nesting;
+`ReqIF.Text` (XHTML) becomes the requirement's `doc` comment with tags
+stripped; other attributes (e.g. `ReqIF.ForeignID`) are folded into the
+doc so no data is lost.
+
+### Export — SysML requirements → ReqIF
+
+```python
+from sysmlpy import loads, reqif_export
+
+model = loads("model.sysml")
+reqif_export(model, "requirements.reqif")
+```
+
+Requirement ownership becomes the ReqIF hierarchy; `doc` comments become
+`ReqIF.Text` XHTML values.
+
+### CLI
+
+```bash
+sysmlpy reqif-import requirements.reqif -o requirements.sysml
+sysmlpy reqif-export model.sysml -o requirements.reqif
+```
+
+The import direction was validated against real-world anonymized ReqIF
+files from multiple vendor flavors (ReqIF Studio, DOORS, Polarion,
+Eclipse RMF, Enterprise Architect — see the
+[reqif project's corpus](https://github.com/strictdoc-project/reqif/tree/main/tests/integration/reqif_software)),
+including a 137-requirement model with a 3-level hierarchy and 14
+relations, round-tripped through sysmlpy with exact structural fidelity.
+
+> **Note:** ReqIF "flavors" differ across tools (attribute naming,
+> datatypes, relation semantics). The importer handles the common
+> `ReqIF.Text` / `ReqIF.ChapterName` / `ReqIF.ForeignID` attributes
+> found in every flavor; exotic vendor extensions are skipped
+> gracefully. If a file fails to import, it is genuinely malformed.
+
+### Relationship to other tools
+
+- **Cameo / MagicDraw** — export ReqIF from them, import with sysmlpy;
+  no license needed on the sysmlpy side.
+- **Doorstop** — the [Doorstop](https://doorstop.readthedocs.io) text-file
+  requirements tool can serve as a git-native review/publishing front-end;
+  exchange via ReqIF or the XLSX bridge.
+- **[strictdoc/reqif](https://github.com/strictdoc-project/reqif)** — the
+  parser library sysmlpy uses for the ReqIF wire format (Apache-2.0).
+
 ## Conformance
 
 **100% of 123 OMG XPect conformance tests pass** (123/123).

{sysmlpy-0.91.0 → sysmlpy-0.96.0}/pyproject.toml

@@ -6,7 +6,7 @@ build-backend = "poetry.core.masonry.api"
 
 [project]
 name = "sysmlpy"
-version = "0.91.0"
+version = "0.96.0"
 description = ""
 authors = [{ name = "Jon R. Fox (mycr0ft)", email = "jon.fox@drfox.com" }]
 readme = "README.md"
@@ -20,6 +20,7 @@ antlr4-python3-runtime = ">=4.13"
 networkx = { version = ">=3.0", optional = true }
 kuzu = { version = ">=0.7,<0.12", optional = true }
 openpyxl = { version = ">=3.1", optional = true }
+reqif = { version = ">=0.1", optional = true }
 arrow = "^1.4.0"
 transitions = {version = "^0.9", optional = true}
 requests = { version = ">=2.31", optional = true }
@@ -30,6 +31,7 @@ graph = ["networkx"]
 kuzu = ["kuzu"]
 xlsx = ["openpyxl"]
 sim = ["transitions"]
+reqif = ["reqif"]
 cayley = ["requests"]
 jupyter = ["ipython"]
 

{sysmlpy-0.91.0 → sysmlpy-0.96.0}/src/sysmlpy/__init__.py

@@ -20,6 +20,7 @@ __all__ = [
     "as_sequence_view", "as_case_view", "as_browser_view",
     "extract_traceability", "TraceabilityReport", "RequirementTrace",
     "to_interchange", "from_interchange", "interchange_to_json_text",
+    "reqif_import", "reqif_import_model", "reqif_export",
     "evaluate_expression", "evaluate_calculation", "collect_values",
     "check_constraints", "ConstraintReport", "ConstraintResult",
     "tabular_view_to_csv", "data_value_tabular_to_csv",
@@ -34,7 +35,7 @@ __all__ = [
     "render_state_transition_view_svg", "boxes_view",
 ]
 __author__ = "Jon Fox"
-__version__ = "0.91.0"
+__version__ = "0.96.0"
 
 from sysmlpy.usage import (
     Item, Attribute, Part, Port, Action, Reference, UseCase, Requirement, Interface, Message,
@@ -57,6 +58,9 @@ from sysmlpy.traceability import (
 from sysmlpy.interchange import (
     to_interchange, from_interchange, interchange_to_json_text,
 )
+from sysmlpy.reqif_io import (
+    reqif_import, reqif_import_model, reqif_export,
+)
 from sysmlpy.evaluator import (
     evaluate_expression, evaluate_calculation, collect_values,
     check_constraints, ConstraintReport, ConstraintResult,

{sysmlpy-0.91.0 → sysmlpy-0.96.0}/src/sysmlpy/__main__.py

@@ -33,7 +33,8 @@ from sysmlpy import loads
 
 # Subcommand table, also used to detect the legacy flat invocation form.
 SUBCOMMANDS = ("parse", "analyze", "view", "trace", "export", "import",
-               "eval", "xlsx", "sim", "diff", "format", "fmt")
+               "reqif-import", "reqif-export",
+               "eval", "xlsx", "sim", "diff", "format", "fmt", "repl")
 
 
 # ---------------------------------------------------------------------------
@@ -442,6 +443,60 @@ def cmd_import(args) -> int:
     return 0
 
 
+def cmd_reqif_import(args) -> int:
+    """ReqIF file → SysML v2 requirements text."""
+    from sysmlpy.reqif_io import ReqIFImportError, reqif_import
+
+    path = Path(args.file)
+    if not path.exists():
+        print(f"Error: File '{path}' not found.", file=sys.stderr)
+        return 2
+
+    try:
+        output = reqif_import(str(path))
+    except ReqIFImportError as e:
+        print(f"Error: {e}", file=sys.stderr)
+        return 2
+    except Exception as e:  # noqa: BLE001 - surface parser failures cleanly
+        print(f"Error: ReqIF import failed: {e}", file=sys.stderr)
+        return 2
+
+    if args.output:
+        Path(args.output).write_text(output, encoding="utf-8")
+        print(f"Wrote {args.output}")
+    else:
+        print(output)
+    return 0
+
+
+def cmd_reqif_export(args) -> int:
+    """SysML requirements → ReqIF 1.0 XML."""
+    from sysmlpy.reqif_io import ReqIFExportError, reqif_export
+
+    paths = [Path(f) for f in args.files]
+    for p in _missing_files(paths):
+        print(f"Error: File '{p}' not found.", file=sys.stderr)
+        return 2
+
+    try:
+        model = sysmlpy.load_files(paths, library=args.library)
+    except Exception as e:
+        print(f"Parse error: {e}", file=sys.stderr)
+        return 2
+
+    try:
+        reqif_export(model, args.output)
+    except ReqIFExportError as e:
+        print(f"Error: {e}", file=sys.stderr)
+        return 1
+    except Exception as e:  # noqa: BLE001 - surface unparser failures cleanly
+        print(f"Error: ReqIF export failed: {e}", file=sys.stderr)
+        return 1
+
+    print(f"Wrote {args.output}")
+    return 0
+
+
 def _parse_eval_value(text):
     """Parse a --set NAME=VALUE literal (number / bool / string / unit)."""
     from sysmlpy.usage import ureg
@@ -606,6 +661,16 @@ def cmd_sim(args) -> int:
     return 0
 
 
+def cmd_repl(args) -> int:
+    """Interactive REPL (declarations accumulate; %commands inspect)."""
+    from sysmlpy.repl import main as repl_main
+
+    return repl_main(
+        [*(args.files or []), *(["--no-banner"] if args.no_banner else [])]
+        + (["-l", args.library] if getattr(args, "library", None) else []),
+    )
+
+
 def cmd_xlsx(args) -> int:
     """Export tabular views to an Excel workbook (v0.66.0, Goal 7)."""
     from sysmlpy.spreadsheet import write_xlsx
@@ -922,6 +987,43 @@ def build_parser() -> argparse.ArgumentParser:
     )
     p_import.set_defaults(func=cmd_import)
 
+    # -- reqif-import / reqif-export ------------------------------------------
+    p_reqif_import = sub.add_parser(
+        "reqif-import",
+        help="Import a ReqIF file as SysML v2 requirements",
+        description="Convert a ReqIF 1.0 XML file (ReqIF Studio, DOORS, "
+                    "Polarion, Eclipse RMF, ...) into SysML v2 requirement "
+                    "usages, nested by the ReqIF specification hierarchy. "
+                    "Exit 2 on invalid input. Requires the optional 'reqif' "
+                    "package.",
+    )
+    p_reqif_import.add_argument("file", help="ReqIF XML file")
+    p_reqif_import.add_argument(
+        "-o", "--output",
+        help="Write the SysML text to a file instead of stdout",
+    )
+    p_reqif_import.set_defaults(func=cmd_reqif_import)
+
+    p_reqif_export = sub.add_parser(
+        "reqif-export",
+        help="Export model requirements as a ReqIF 1.0 file",
+        description="Export the requirements of the merged model as ReqIF "
+                    "1.0 XML (one spec object per requirement, hierarchy "
+                    "from ownership, doc comments as ReqIF.Text). Exit 1 "
+                    "when the model has no requirements. Requires the "
+                    "optional 'reqif' package.",
+    )
+    p_reqif_export.add_argument("files", nargs="+", help="SysML v2 file(s)")
+    p_reqif_export.add_argument(
+        "-o", "--output", required=True,
+        help="Destination ReqIF XML file",
+    )
+    p_reqif_export.add_argument(
+        "-l", "--library",
+        help="Path to SysML v2 library files to use for parsing",
+    )
+    p_reqif_export.set_defaults(func=cmd_reqif_export)
+
     p_eval = sub.add_parser(
         "eval",
         help="Evaluate expressions, attribute values and constraints",
@@ -1030,6 +1132,27 @@ def build_parser() -> argparse.ArgumentParser:
     )
     p_xlsx.set_defaults(func=cmd_xlsx)
 
+    # -- repl ----------------------------------------------------------------
+    p_repl = sub.add_parser(
+        "repl",
+        help="Interactive SysML v2 REPL",
+        description="Declarations accumulate into a session model; "
+                    "%commands inspect it (%eval, %sim, %view, ...). "
+                    "See %help inside the REPL for the command list.",
+    )
+    p_repl.add_argument("files", nargs="*", metavar="FILE",
+                        help="model file(s) to load into the session first")
+    p_repl.add_argument(
+        "-l", "--library",
+        help="Path to SysML v2 library files (accepted for parity; "
+             "submissions parse without it)",
+    )
+    p_repl.add_argument(
+        "--no-banner", action="store_true",
+        help="suppress the startup banner",
+    )
+    p_repl.set_defaults(func=cmd_repl)
+
     return parser