Issues

• CI: bump GitHub Actions for Node 24 (forced default June 16, 2026)

  bug
  DynamicalSystemsGroup/ADCS-lifecycle-demo#20 · Filter by author mzargham opened on Jun 12, 2026

• CI drift gate for compiled documents (documents.design_description --check)

  enhancement
  DynamicalSystemsGroup/ADCS-lifecycle-demo#19 · Filter by author mzargham opened on Jun 12, 2026

• DDVS-001 colophon quad count is blind to graphs outside NAMED_GRAPHS

  enhancement
  DynamicalSystemsGroup/ADCS-lifecycle-demo#18 · Filter by author mzargham opened on Jun 12, 2026

• ATTESTATION_DETAIL cross-products on accumulated datasets (re-attestation merges onto the same ATT-<req> IRI)

  enhancement
  DynamicalSystemsGroup/ADCS-lifecycle-demo#17 · Filter by author mzargham opened on Jun 12, 2026

• evidence/hashing.py: extract hash_file() helper (3 inline sha256-of-file sites)

  enhancement
  DynamicalSystemsGroup/ADCS-lifecycle-demo#16 · Filter by author mzargham opened on Jun 12, 2026

• Shared rendering helpers: IRI local-name + markdown tables; audit.md tables don't escape '|'

  enhancement
  DynamicalSystemsGroup/ADCS-lifecycle-demo#15 · Filter by author mzargham opened on Jun 12, 2026

• Consolidate near-duplicate SPARQL templates in traceability/queries.py

  enhancement
  DynamicalSystemsGroup/ADCS-lifecycle-demo#14 · Filter by author mzargham opened on Jun 12, 2026

• Add shared load_dataset(path) helper in pipeline/dataset.py (inline Dataset+parse duplicated across CLIs)

  enhancement
  DynamicalSystemsGroup/ADCS-lifecycle-demo#13 · Filter by author mzargham opened on Jun 12, 2026

• Tests: session-scoped pipeline fixture in tests/conftest.py (9 modules each run the full pipeline)

  enhancement
  DynamicalSystemsGroup/ADCS-lifecycle-demo#12 · Filter by author mzargham opened on Jun 12, 2026

• Reproducibility: ROBOT install path under-specified; canonical make ontology likely never runs locally or in CI

  enhancement
  DynamicalSystemsGroup/ADCS-lifecycle-demo#11 · Filter by author mzargham opened on May 30, 2026

• Future work: reusable oracles hosted in Starforge (registry + on-demand invocation for model-checking)

  enhancement
  DynamicalSystemsGroup/ADCS-lifecycle-demo#9 · Filter by author mzargham opened on May 28, 2026
  1

• Future work: exercise externally-hosted RIME services (cross-link with rime-backend-demo)

  enhancement
  DynamicalSystemsGroup/ADCS-lifecycle-demo#8 · Filter by author mzargham opened on May 28, 2026

• Track WP4 local-build-only Docker decision; propose Planetary Utilities host a registry as future enabler

  enhancement
  DynamicalSystemsGroup/ADCS-lifecycle-demo#7 · Filter by author mzargham opened on May 28, 2026

• Rename ValidateShapes step IRI to VerifyShapes (with Flexo + audit migration)

  enhancement
  DynamicalSystemsGroup/ADCS-lifecycle-demo#6 · Filter by author mzargham opened on May 28, 2026

• Add top-level adcs Typer aggregator CLI (deferred from WP1)

  enhancement
  DynamicalSystemsGroup/ADCS-lifecycle-demo#5 · Filter by author mzargham opened on May 27, 2026