Skip to content

Open Issues Research

Michael Zargham edited this page May 19, 2026 · 1 revision

Open issues — Research

Generated dashboard. Spec / ontology / design decisions tracked on the research repo. 11 open in DynamicalSystemsGroup/flexo-rtm-research. Edit issues on GitHub; this page regenerates from scripts/sync-issues-to-wiki.sh.

# Title Labels
#23 Live interop test point for OSLC-RM and OSLC-QM adapters
#24 End-to-end live test point for openCAESAR SysMLv2 ingestion
#25 Live interop test points for OIDC + GitHub Actions OIDC identity adapters
#26 Live interop tests for Cosign + DSSE + VC-DI cross-impl signing profiles
#27 vc-di eddsa-rdfc-2022 v0.1 implementation diverges from W3C VC-DI 2.0 spec
#29 Operational envelopes (and similar requirement preconditions) need first-class vocabulary, not rdfs:comment text
#30 Distinguish simplifying-assumptions (adequacy) from threshold-criteria (sufficiency) in attestation vocabulary
#31 Adequacy + sufficiency are pre-evidence commitments, not post-hoc judgments — temporal partition for attestation vocabulary
#32 Distinguish model artifacts (design-time) from evidence artifacts (experimental-time); adequacy binds to models, sufficiency/satisfaction bind to evidence
#33 Sensitive text fields (rdfs:comment, attestation reasons) need content-addressed externalization with org-controlled dereferencing
#34 Cross-attestation dependencies need first-class RDF, not narrative prose ('numerical adequacy depends on symbolic adequacy')

Last regenerated from gh issue list --repo DynamicalSystemsGroup/flexo-rtm-research --state open.

Start here

Foundation

Internal Research

External Research

v0.1 Certification Model

Roadmap and future work

Three-Layer Architecture

Ontology Design

Interface Contracts (normative)

Adapter Contracts (background)

Reproducibility

Open issues

Decision Log

Meta

Clone this wiki locally