-
Notifications
You must be signed in to change notification settings - Fork 0
INCOSE IS 2026 Paper
Status: Pointer / stub. The paper is the substrate that
flexo-rtm's future topological framework builds on; the paper's vocabulary and accountability principles ship inflexo-rtmv0.1 even though the topological audit itself is deferred. See Topological Framework Future Work for the deferral analysis.
- Title: Formalizing Document Assurance: A Topological Framework for Verification, Validation, and Human Accountability
- Author: Michael Zargham
- Venue: INCOSE International Symposium 2026
- Submission status: Submitted (2026); publication URL TBD post-acceptance.
-
Working PDF:
/Users/z/Downloads/Formalizing_Document_Assurance_Submission.pdf(local working copy used during the design phase; replace with the published DOI once available).
The paper introduces a typed simplicial complex framework for engineering assurance — vertices, edges, and faces (2-simplices) with discipline-specific types — and proves that structural enforcement of named-human approval on validation edges is what distinguishes assurance from mere process compliance.
Three contributions carry directly into flexo-rtm:
- Typed simplicial complex framework — adopted as the future topological framework's certification model. v0.1 ships the vocabulary terms (Specification / Guidance / Document; Verification / Coupling / Validation; Aspect; DeferredJudgment) so adopters accumulate data the future framework will operate on. See Vertices Edges Faces.
-
Structural accountability enforcement — validation edges cannot exist without a named approver field.
flexo-rtmv0.1 implements this today for the three attestation subclasses (Satisfaction / Adequacy / Sufficiency) via SHACLsh:minCount 1 ; sh:nodeKind sh:IRIonrtm:approvedBy. The accountability mechanism does not require the topological audit gate. See Attestation Infrastructure in v0.1 and Human-AI Accountability. -
Boundary complex termination of recursive completeness — every artifact's assurance triangle requires its guidance's own assurance triangle; termination requires a community-curated registry of pre-approved artifact types. This recursive completeness check is what makes
flexo-rtmdefer the full topological audit — the registry is a major scope commitment. See Topological Framework Future Work for the deferral rationale.
- Assurance complex — the typed simplicial complex of vertices/edges/faces over which the assurance argument is built
- Assurance face — a closed 2-simplex (Artifact, Requirement, Guidance) with all three boundary edges present and the validation edge attested by a named approver
- Assurance triple — the three vertices of an assurance face
-
Boundary complex — the self-referential primitives that terminate the recursive completeness check at the framework axioms (SS / SG / GS / GG plus root
b0)
These terms appear in the rtm: vocabulary (rtm:AssuranceFace, rtm:AssuranceTriple planned for the future framework; rtm:Guidance, rtm:AdequacyCriteria, rtm:SufficiencyCriteria ship in v0.1). See ADR-020 Vocabulary Alignment with Zargham 2026.
| Paper section |
flexo-rtm correspondent |
|---|---|
| §3 Framework Intuition (constraint-optimization framing) | Mission and Thesis objective function + §9.A acceptance criteria as constraints |
| §4 Framework Architecture (Conceptual / Functional / Logical / Physical layers) | Three-Layer Architecture (operational / storage / analysis) + Layered Ontology (core / alignment / profiles / shapes / imports / parsimony) |
| §4.3 Logical Layer (typed simplicial complex) | Vertices Edges Faces (future framework) + v0.1 vocabulary in Design Spec §4.2 |
| §4.4 Accountability Model (SHACL-enforced approver field) | Attestation Infrastructure in v0.1 (three subclasses with named-approver SHACL) + Approver Binding via Git |
| §6 Self-Demonstration (the paper's own assurance complex) | not yet implemented; demonstrates the framework's reflexive applicability |
Zargham, M. (2026). Formalizing Document Assurance: A Topological Framework for Verification, Validation, and Human Accountability. INCOSE International Symposium 2026, Yokohama, Japan.
(BibTeX entry and final DOI to be added once publication is finalized.)
- Mission and Thesis — the load-bearing propositions that quote the paper
- Human-AI Accountability — the paper restated for RTM context
- Topological Framework Future Work — the deferral analysis with registry / recursion / V−F discussion
- Vertices Edges Faces — the future-framework type catalog
- ADR-020 Vocabulary Alignment with Zargham 2026 — the locked-decision ADR
- Design Spec §4.10 (Future work: Topological framework)
- 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