3. Proposed Method

habitat-dx represents the loop as six modular stages

Habitat simulation telemetry stream · physical state telemetry recovery action Daphne-AT PRIDE + CRAFTSMAN Detection Hypothesisgeneration Evaluation Prognosis Decision-making Execution robotic inspection evidence → refines hypotheses
  • A coordinator schedules the stages; stages never call each other
  • Each stage method is chosen by a JSON combination — swap one stage, keep the rest fixed
  • Every evaluation method outputs a probability distribution over hypotheses, so any decision rule can read any method

Decision selects recovery procedures from the KG catalog; execution applies them with ETR durations and reliability. Physical robotics remain a surrogate pending CRAFTSMAN integration.

solid = implemented · dashed = optional / not yet in the closed-loop study