{
  "date": "2026-10-18",
  "artifact": "Actual RecoveryTriplet policy executed on synthetic inputs",
  "sourceFiles": [
    {
      "path": "AssistantApp/Sonics/Rehab/RehabMobilityState.swift",
      "sha256": "f2f3c694a22e92e42dc95da88d86462be06b56e04bdd85f0e12346ba6c668100"
    },
    {
      "path": "AssistantApp/Sonics/Rehab/MobilityAuthorizationState.swift",
      "sha256": "b7edb3ccc0b62084defa263f6f7e23fcdcc1afe180ef9ac772d16b78a34cf487"
    },
    {
      "path": "AssistantApp/Sonics/Rehab/RehabEngineControlling.swift",
      "sha256": "15a56c332e8bda74b7407168ac9d4d62f66c0003feda547f8d50a51a4b1d3f14"
    },
    {
      "path": "AssistantApp/Sonics/Rehab/RehabRecoveryTripletSupport.swift",
      "sha256": "801dc6199e942527c0d7f1341da232f668820bdd1ad0de8c9a99d569a2a47198"
    }
  ],
  "method": "swiftc extracted real policy and exact domain types; deterministic scenario inputs based on project test definitions. Six scenario assertions passed.",
  "adaptations": [
    "App-wide macOS cortical advisory NotificationCenter side effect disabled through an undefined compilation flag.",
    "NoiseColourPulseStimulationAudioConfig represented by contract-only output data container; no renderer, capture, playback or physical stimulation."
  ],
  "limitations": [
    "Precomputed engine results, not browser execution of Swift",
    "Not a native app screenshot",
    "Not a live gait or physiology measurement",
    "Not clinical validation"
  ],
  "files": [
    {
      "path": "trace.json",
      "sha256": "323c9571e7bd6a9b7032d44bd7fb6af45835eb93191cc01bd29c326d1c5bb979"
    },
    {
      "path": "index.html",
      "sha256": "f42128c897216af4f99465a769be77be743d22df7fe87c2f01579dc7dde4c29e"
    }
  ]
}