pub(all) enum CancellationCheck {
  CancelledOutcome
  CancellationEvent
  PartialRecordPersisted
  StageBoundaryPreserved
} derive(Eq, ToJson, 
@moonbitlang/core/debug.Debug
Debug, 
@moonbitlang/core/json.FromJson
FromJson)

pub(all) struct CancellationFinding {
  run_id : String
  check : CancellationCheck
  status : CancellationStatus
  path : String
  message : String
} derive(Eq, ToJson, 
@moonbitlang/core/debug.Debug
Debug, 
@moonbitlang/core/json.FromJson
FromJson)

pub(all) struct CancellationReport {
  run_id : String
  ready : Bool
  cancel_phase : 
@vectie/moonfish/routine.RoutinePhase
RoutinePhase?
  artifact_count : Int
  findings : Array[CancellationFinding]
  summary : String
} derive(Eq, ToJson, 
@moonbitlang/core/debug.Debug
Debug, 
@moonbitlang/core/json.FromJson
FromJson)

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

fn cancellation_finding(run_id : String, check : CancellationCheck, status : CancellationStatus, path : String, message : String) -> CancellationFinding

fn prepare_cancellation_report(result : 
@vectie/moonfish/orchestration.TwoStageRoutineResult
TwoStageRoutineResult) -> CancellationReport