-
Notifications
You must be signed in to change notification settings - Fork 0
ADR 001 Foundations First Approach
Status: Accepted Date: 2026-05-16 Deciders: Michael Zargham Related: ADR-009 Two-Repo Strategy; Mission and Thesis; Design Spec
flexo-rtm sits at the intersection of three uncommonly-combined fields: model-based systems engineering (SysMLv2, OSLC), formal RTM theory (Zargham 2026 typed simplicial complex framework), and human-AI accountability infrastructure (named approvers, signed envelopes, verifiable certification). Each of these areas is moving, and the research that would normally precede engineering — what vocabulary to commit to, what ontology to bake in, what audit invariants to enforce — is partially complete. The question shaping v0.1 is: do we build the operator UX first and let the ontology and research drift to fit, or do we lock the foundations (ontology, certification predicate, profile mechanism) first and let UX follow? See Design Spec §1 (mission and thesis) and §2 (research-then-implement-then-standardize cadence).
flexo-rtm v0.1 is built foundations-first: ontology, certification predicate semantics, profile mechanism, scope algebra, and approver binding are specified and frozen as the v0.1 invariants before operator UX is fleshed out. The iteration cadence is research → implement → standardize, applied per concept rather than per release.
- Operator UX choices cannot accidentally freeze the wrong ontology — the ontology is locked first, and UX is built to surface it
- The research-implement-standardize cadence is publishable; partners and standards bodies can engage at the foundation layer
- Forward-compatibility (e.g., shipping topological-framework vocabulary in v0.1 ontology even though the framework itself is deferred — see ADR-003 Topological Framework Documented as Future Work) is a deliberate consequence of this ordering
- The ADCS prototype's "deferred" infrastructure (signed envelopes, identity, attestation) all becomes addressable because the foundation is settled before the operator skin starts demanding it
- Slower time-to-first-screenshot — early-stage stakeholders who expect a UI demo will see ontology and SHACL profiles instead
- Risks over-engineering the foundation relative to actual operator need; mitigated by keeping v0.1 scoped to the ADCS regression corpus and known partner contexts
- Foundation-first work is harder to fundraise and harder to recruit against than a screenshot-driven roadmap
- Forces the research-repo / implementation-repo split (see ADR-009 Two-Repo Strategy) because foundations-first work generates research artifacts that don't belong in a clean implementation repo
- Operator-skin first: Build the Flexo-style UX first, bind it to a placeholder ontology, evolve the ontology as users complain. Rejected: UX gestures (button labels, screen flows, what a "claim" looks like in a list view) silently fix ontology commitments that are then expensive to change. The ADCS prototype experience showed that hardcoded UX assumptions are the most durable form of technical debt.
- End-to-end vertical slice: Pick one workflow (e.g., "certify one requirement against one model") and build it end-to-end across UX, storage, analysis. Rejected: a vertical slice across a half-formed ontology rebakes the same UX-freezes-ontology problem, just narrower; and the slice's choices propagate horizontally as the system fills out.
- Spec-first reference implementation: Write the full v1.0 specification, then implement it. Rejected: the foundation isn't settled enough yet to write v1.0 — the topological framework alone requires research and community engagement that won't conclude in v0.1's timeline. The research-implement-standardize cadence is per concept, not per release.
This decision shapes the v0.1 work order across both repos: research artifacts in flexo-rtm-research (this wiki, Topological Framework Future Work, INCOSE IS 2026 paper preparation) land first, and flexo-rtm implementation code references those artifacts from its ADRs. See ADR-009 Two-Repo Strategy for the two-repo mechanism that follows from this ordering.
- Design Spec §1 (Mission and Thesis), §2 (Cadence and Approach)
- Mission and Thesis — wiki page that elaborates the foundations-first stance
- ADR-009 Two-Repo Strategy — the repo mechanism this decision creates
- 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