pub(all) enum DecisionActionResponsibility {
  PassiveAdvisory
  ConditionalAdvisory
  ForbiddenExecutableShape
} derive(Eq, ToJson, 
@moonbitlang/core/debug.Debug
Debug, 
@moonbitlang/core/json.FromJson
FromJson)

pub(all) struct DecisionPolicyFinding {
  rule : DecisionPolicyRule
  status : DecisionPolicyStatus
  path : String
  message : String
} derive(Eq, ToJson, 
@moonbitlang/core/debug.Debug
Debug, 
@moonbitlang/core/json.FromJson
FromJson)

pub(all) struct DecisionPolicyInput {
  run_id : String
  diagnosis : 
@vectie/moonfish/domain.Stage1Diagnosis
Stage1Diagnosis
  decision : 
@vectie/moonfish/domain.Stage2Decision
Stage2Decision
} derive(Eq, ToJson, 
@moonbitlang/core/debug.Debug
Debug, 
@moonbitlang/core/json.FromJson
FromJson)

pub(all) struct DecisionPolicyReport {
  run_id : String
  allowed : Bool
  findings : Array[DecisionPolicyFinding]
  summary : String
} derive(Eq, ToJson, 
@moonbitlang/core/debug.Debug
Debug, 
@moonbitlang/core/json.FromJson
FromJson)

pub(all) enum DecisionPolicyRule {
  NoExecutableMarketOrder
  ReversalRiskBlocksOrder
  OrderRequiresRiskNotes
  OrderRequiresSufficientConfidence
} derive(Eq, ToJson, 
@moonbitlang/core/debug.Debug
Debug, 
@moonbitlang/core/json.FromJson
FromJson)

pub(all) enum DecisionPolicyStatus {
  PolicyPass
  PolicyFail
} derive(Eq, ToJson, 
@moonbitlang/core/debug.Debug
Debug, 
@moonbitlang/core/json.FromJson
FromJson)

fn decision_action_responsibility(action : 
@vectie/moonfish/domain.DecisionAction
DecisionAction) -> DecisionActionResponsibility

fn decision_policy_input(run_id : String, diagnosis : 
@vectie/moonfish/domain.Stage1Diagnosis
Stage1Diagnosis, decision : 
@vectie/moonfish/domain.Stage2Decision
Stage2Decision) -> DecisionPolicyInput

fn decision_policy_validation(report : DecisionPolicyReport) -> 
@vectie/moonfish/domain.ValidationReport
ValidationReport

fn evaluate_decision_policy(input : DecisionPolicyInput) -> DecisionPolicyReport