feat(mbse): vendor requirements semantic model from kr0ki-core (M1)

CHANGELOG.md

@@ -13,7 +13,19 @@ before bumping. See README § "Versioning & stability".
 
 ## [Unreleased]
 
+## [0.15.0] - 2026-09-19
+
 ### Added
+- `mbse::requirements`: `RequirementGraph`/`Requirement`/`RequirementRelation`
+  and the five induced viewpoints (decomposition, traceability, impact,
+  behaviour, verification coverage), vendored from kr0ki-core's
+  `requirements` module (kr0ki M1 — the backend-neutral ReqIF/Flexo
+  requirements semantic model, previously a local kr0ki-core integration
+  seam). Preserves asserted/inferred/proposed relation authority and
+  explicit `promote_relation()`; emits no renderer source. kr0ki-core now
+  re-exports this module rather than defining its own copy.
+  (`PromptExecution/kr0ki` `HANDOFF-2026-09-19-reqif-flexo.md`,
+  lead-developer action #1)
 - `sysgraph`: `SysGraph`/`OntologicalNode` — the box-2 typed envelope
   holding a full snapshot of UFO-stereotyped nodes plus `ontology::
   OntologicalEdge`s, per kr0ki `docs/TODO.md` box 2 and `DESIGN-NOTE-

Cargo.toml

@@ -1,6 +1,6 @@
 [package]
 name = "ufo-types"
-version = "0.14.1"
+version = "0.15.0"
 edition = "2024"
 rust-version = "1.85"
 authors = ["Brian Horakh <brian@promptexecution.com>"]

README.md

@@ -85,7 +85,7 @@ Projects cleared to depend on `ufo-types` directly (retire any vendored copy):
 |---|---|---|---|
 | **b00t** ([elasticdotventures/_b00t_](https://github.com/elasticdotventures/_b00t_)) | `b00t-c0re-lib`, `b00t-lib-chat`, `b00t-cli` | `stereotype`, `satisfies`, `capability`, `dare` | `=0.14.0` |
 | **ledgrrr** ([PromptExecution/ledgrrr](https://github.com/PromptExecution/ledgrrr)) | `ledger-core`, `ledgerr-mcp` | `stereotype`, `satisfies`, `iso` | `=0.14.0` (vendored copy retired) |
-| **kr0ki** ([PromptExecution/kr0ki](https://github.com/PromptExecution/kr0ki)) | `kr0ki-core` | `iso_ir`, `ontology`, `sysml_model`, `view` — the model-ingestion path | `tag = "v0.14.0"` |
+| **kr0ki** ([PromptExecution/kr0ki](https://github.com/PromptExecution/kr0ki)) | `kr0ki-core` | `iso_ir`, `ontology`, `sysml_model`, `view` — the model-ingestion path; `mbse::requirements` — the ReqIF/Flexo requirements semantic model, re-exported as `kr0ki_core::requirements` | `tag = "v0.15.0"` |
 | **m0ltis** ([elasticdotventures/moltis-b00t](https://github.com/elasticdotventures/moltis-b00t)) | *(planned)* provider→ufo-types lowering | `iso_ir`, `stereotype`, `sysml_model` | `tag = "v0.14.0"` |
 | **critter-keeper** ([app4dog](https://github.com/app4dog)) | — | `stereotype` | `=0.14.0` |
 | **cim-gridy** `mission-engine` | — | `stereotype`, `satisfies` | `=0.14.0` |

src/mbse.rs

@@ -37,6 +37,12 @@
 //! that pattern: it nests each child's own `to_sysml_v2()` output rather
 //! than re-deriving it.
 
+/// Backend-neutral requirements semantics (ReqIF/Flexo baselines, five
+/// induced viewpoints, promotion of inferred/proposed relations). Vendored
+/// from kr0ki-core 'requirements' module (kr0ki M1, 2026-09-19) as the
+/// canonical shared MBSE-requirements contract; kr0ki-core re-exports it.
+pub mod requirements;
+
 use serde::Serialize;
 use serde_json::Value;