Search results

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

enhancementNew feature or requestNew feature or request

Status: Open.

#11 In DynamicalSystemsGroup/ADCS-lifecycle-demo;

· mzargham opened on May 30, 2026

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

enhancementNew feature or requestNew feature or request

Status: Open.

#9 In DynamicalSystemsGroup/ADCS-lifecycle-demo;

· mzargham opened on May 28, 2026

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

enhancementNew feature or requestNew feature or request

Status: Open.

#8 In DynamicalSystemsGroup/ADCS-lifecycle-demo;

· mzargham opened on May 28, 2026

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

enhancementNew feature or requestNew feature or request

Status: Open.

#7 In DynamicalSystemsGroup/ADCS-lifecycle-demo;

· mzargham opened on May 28, 2026

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

enhancementNew feature or requestNew feature or request

Status: Open.

#6 In DynamicalSystemsGroup/ADCS-lifecycle-demo;

· mzargham opened on May 28, 2026

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

enhancementNew feature or requestNew feature or request

Status: Open.

#5 In DynamicalSystemsGroup/ADCS-lifecycle-demo;

· mzargham opened on May 27, 2026