-
Notifications
You must be signed in to change notification settings - Fork 0
ADR 010 OSLC RM and OSLC QM in v0.1
Status: Accepted Date: 2026-05-16 Deciders: Michael Zargham Related: ADR-011 Lossless Criterion A plus C; OSLC RM Adapter Contract; OSLC QM Adapter Contract; OSLC RM and QM Review; Lossless Roundtrip Definition; Design Spec
Institutional adoption of flexo-rtm requires interoperability with the OSLC ecosystem — DOORS, Jama, Polarion, qTest, and other standards-conformant tools that institutions already have heavy investment in. OSLC-RM (Requirements Management) and OSLC-QM (Quality Management) are the relevant linked-data domains: RM is where requirement records, satisfies/satisfiedBy relations, and design-element links live; QM is where verification activities, test results, and verdicts live. A partial adapter (RM only) leaves the verification half of the RTM dependent on non-OSLC source data; no adapter at all forecloses the interoperability story entirely. The decisive constraint is that institutional partners have said explicitly: "we cannot get institutional adoption if we cannot demonstrably roundtrip losslessly." See Design Spec §9 and OSLC RM and QM Review.
flexo-rtm v0.1 ships full OSLC-RM adapter and full OSLC-QM adapter with lossless roundtrip tests (see ADR-011 Lossless Criterion A plus C and Lossless Roundtrip Definition). Both adapters support read (project upstream OSLC resources into the RTM graph) and write (project RTM-graph facts back to OSLC endpoints). Lossless roundtrip is a hard CI gate, not a "best-effort" claim.
- Institutional adoption is unblocked: adopters can integrate with existing OSLC-RM and OSLC-QM tools and demonstrate to their audit teams that no data is lost in translation
- Verification coverage (the QM side) is on equal standing with requirement coverage (the RM side) — both halves of the RTM are first-class
- The lossless roundtrip CI gate makes "we support OSLC" a verifiable claim, not a marketing statement
- The OSLC adapter pattern is the integration surface that downstream identity and crypto adapters (see ADR-023 Cryptography by Composition of Battle-Tested Standards and ADR-024 Identity by Thin Projection of External Sources) follow as well
- Two full adapters in v0.1 is significant implementation scope; the lossless requirement adds substantial test infrastructure
- OSLC-RM and OSLC-QM both have vendor extensions that real adopters depend on — the lossless criterion has to handle them (see ADR-011 Lossless Criterion A plus C for the A+C combination that addresses this)
- Adopters without OSLC sources can still use
flexo-rtm(the RDF graph is the canonical authority), but they don't get the headline integration story
- The adapter contracts are first-class wiki documents (OSLC RM Adapter Contract and OSLC QM Adapter Contract) so that adopters extending to non-shipping tools have a stable contract to follow
- RM only: Ship OSLC-RM adapter, defer QM. Rejected: half-RTM. The institutional value of an RTM is precisely the bidirectional trace through requirements and verification. Verification coverage being non-OSLC means the QM half is non-integrated for the institutional partners that have the most legacy OSLC investment.
- RM full + QM contract (no adapter): Document the QM adapter contract but defer the implementation. Rejected: the contract without an implementation is unverifiable. Lossless roundtrip is a CI-enforced property, not a documented intent.
- Neither (RDF-native only, no OSLC): Ship the RDF graph and SHACL profiles with no OSLC adapters. Rejected: forecloses institutional adoption. The OSLC ecosystem is where the legacy investment is, and the design spec is explicit that adoption depends on demonstrable lossless integration.
OSLC-RM and OSLC-QM adapters live in oracle/src/oracle/storage/oslc/ (write-side adapters are part of the storage layer ingress per ADR-006 Three-Layer Architecture). The adapter contracts are documented in OSLC RM Adapter Contract and OSLC QM Adapter Contract. Lossless roundtrip tests (see Lossless Roundtrip Definition and ADR-011 Lossless Criterion A plus C) live in tests/oslc/ and are a hard CI gate. Vendor-extension carry-through (see Vendor Extension Carry-Through) is implemented as Layer C opaque carry of source-preserving graphs.
- Design Spec §9 (OSLC Adapters and Lossless Roundtrip)
- OSLC RM Adapter Contract — the RM adapter contract
- OSLC QM Adapter Contract — the QM adapter contract
- OSLC RM and QM Review — review of OSLC spec coverage
- Lossless Roundtrip Definition — the lossless property
- ADR-011 Lossless Criterion A plus C — the specific lossless criterion
- Flexo Git Coexistence
- ADCS Prototype Lessons
- MVC Pattern from RIME TRL ANT
- Human-AI Accountability
- Multi-Agent Discourse Graph Precedent
- OSLC RM and QM Review
- INCOSE V2 Review
- OMG SysMLv2
- PROV EARL GSN P-PLAN
- Dragon Architecture and Mission Enterprise
- Traditional Forward and Backward Analysis
- Attestation Infrastructure in v0.1
- Identity Boundaries and Policy Projections
- External URI References
- Signed Envelopes and Established Standards
- Aspect Coverage with Adequacy and Sufficiency
- Federated Audit and Composition
- Certification Predicate
- Gap Taxonomy
- Quantitative Outcomes
- Engineering Lifecycle Stages (v0.2)
- Topological Framework Future Work (research phase)
- Vertices Edges Faces (research phase)
- Three-Layer Architecture
- Operational Layer UX Discipline
- Storage Layer Flexo Conventions
- Analysis Layer Scope Algebra
- OSLC Roundtrip Acceptance
- Identity Adapter Contract
- Flexo REST Binding
- SysMLv2 Ingestion Contract
- External URI Rules
- Signed Envelope Shapes
- Parsimony Manifest
- Lossless Roundtrip Definition
- Vendor Extension Carry-Through
- OSLC RM Adapter Contract
- OSLC QM Adapter Contract
- ADR Template
- ADR-001 Foundations First Approach
- ADR-002 SysMLv2 Anchoring
- ADR-003 Topological Framework Documented as Future Work
- ADR-003a v0.1 Ships Traditional Analysis Only
- ADR-004 Quantitative Certification Outcome
- ADR-005 Adequacy and Sufficiency as Guidance Subtypes
- ADR-006 Three-Layer Architecture
- ADR-007 Scope as First-Class RDF Resource
- ADR-008 Repo Name and Org Transfer Plan
- ADR-009 Two-Repo Strategy
- ADR-010 OSLC-RM and OSLC-QM in v0.1
- ADR-011 Lossless Criterion A plus C
- ADR-012 Direct RDF Properties over Reified Edges
- ADR-013 Simplicial Complex as Derived View When Built
- ADR-014 Parsimony Layer Build-Time Extraction
- ADR-015 GSN Adoption for Adequacy and Sufficiency
- ADR-016 Composable SHACL Profiles
- ADR-017 knowledgecomplex as Optional Extras
- ADR-018 V minus F Invariant Deferred with Topological Framework
- ADR-019 Derived Binary View from Quantitative Metrics
- ADR-020 Vocabulary Alignment with Zargham 2026
- ADR-021 Three Attestation Subclasses Ship in v0.1
- ADR-022 External URI References as Open-Source Foundation
- ADR-023 Cryptography by Composition of Battle-Tested Standards
- ADR-024 Identity by Thin Projection of External Sources
- ADR-025 Reproducibility is Structural and Local
- ADR-026 Cryptographic Agility via Algorithm Profiles
- ADR-027 Bit-Exactness vs Numerical Tolerances Are Both First-Class
- ADR-028 Scope-Level Adequacy and Sufficiency for Federated Audit
- ADR-029 Engineering Lifecycle Stages as Scope Metadata
- ADR-030 Polycentric ASOT Authority Model
- ADR-031 Attestation Status Pass Fail Deferred Deprecated
- ADR-032 Methodology Agnosticism as Foundational Axiom
- ADR-033 Generalized ASOT Principle for All Identified Things