pub(all) enum MoondeskAppSmokeCheck {
  RemovableMount
  BindingResolution
  CompletedOperatorWorkflow
  ExternalSnapshotIngest
  RedactedDebugEvidence
  MoonBookBackedState
  RequiredToolCoverage
} derive(Eq, ToJson, 
@moonbitlang/core/debug.Debug
Debug, 
@moonbitlang/core/json.FromJson
FromJson)

pub(all) struct MoondeskAppSmokeFinding {
  check : MoondeskAppSmokeCheck
  status : MoondeskAppSmokeStatus
  evidence_path : String
  message : String
} derive(Eq, ToJson, 
@moonbitlang/core/debug.Debug
Debug, 
@moonbitlang/core/json.FromJson
FromJson)

pub(all) struct MoondeskAppSmokeInput {
  completed_workspace : 
@vectie/moonfish/workspace.AnalysisWorkspace
AnalysisWorkspace
  awaiting_workspace : 
@vectie/moonfish/workspace.AnalysisWorkspace
AnalysisWorkspace
} derive(Eq, ToJson, 
@moonbitlang/core/debug.Debug
Debug, 
@moonbitlang/core/json.FromJson
FromJson)

pub(all) struct MoondeskAppSmokeReport {
  ready : Bool
  completed_run_id : String
  awaiting_run_id : String
  finding_count : Int
  pass_count : Int
  needs_work_count : Int
  findings : Array[MoondeskAppSmokeFinding]
  summary : String
} derive(Eq, ToJson, 
@moonbitlang/core/debug.Debug
Debug, 
@moonbitlang/core/json.FromJson
FromJson)

pub(all) enum MoondeskAppSmokeStatus {
  Pass
  NeedsWork
} derive(Eq, ToJson, 
@moonbitlang/core/debug.Debug
Debug, 
@moonbitlang/core/json.FromJson
FromJson)

fn moondesk_app_smoke_finding(check : MoondeskAppSmokeCheck, status : MoondeskAppSmokeStatus, evidence_path : String, message : String) -> MoondeskAppSmokeFinding

fn moondesk_app_smoke_input(completed_workspace : 
@vectie/moonfish/workspace.AnalysisWorkspace
AnalysisWorkspace, awaiting_workspace : 
@vectie/moonfish/workspace.AnalysisWorkspace
AnalysisWorkspace) -> MoondeskAppSmokeInput

fn prepare_moondesk_app_smoke_report(input : MoondeskAppSmokeInput) -> MoondeskAppSmokeReport