Variable ProposalRefinementReasonValuesConst
ProposalRefinementReasonValues: readonly [
"commercially_declined",
"constraint_unsatisfiable",
"unsupported_dimension",
"uninterpreted",
"alternatives_unavailable",
"source_unavailable",
"hold_unavailable",
"batch_aborted",
] = ...