pub(all) struct SvgCanvas {
  width : Int
  height : Int
  elements : Array[String]
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct ValidationRecord {
  id : String
  metric : String
  measured : Double
  target : Double
  tolerance : Double
  passed : Bool
  status : String
} derive(Eq, ToJson, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct ValidationReport {
  title : String
  records : Array[ValidationRecord]
  passed : Bool
  pass_rate : Double
  maximum_error : Double
} derive(Eq, ToJson, 
@moonbitlang/core/debug.Debug
Debug)

fn failed_validation_records(report : ValidationReport) -> Array[ValidationRecord]

fn make_validation_report(title : String, records : ArrayView[ValidationRecord]) -> ValidationReport

fn map_unit_triangle(point : 
@zhaoyuanjuns/moonbit_extractor/geometry.Point
Point, width : Double, height : Double) -> 
@zhaoyuanjuns/moonbit_extractor/geometry.Point
Point raise 
@zhaoyuanjuns/moonbit_extractor/domain.ExtractionError
ExtractionError

fn merge_validation_reports(first : ValidationReport, second : ValidationReport) -> ValidationReport

fn ternary_triangle(width : Int, height : Int) -> SvgCanvas raise 
@zhaoyuanjuns/moonbit_extractor/domain.ExtractionError
ExtractionError

fn validation_record(id : String, metric : String, measured : Double, target : Double, tolerance : Double) -> ValidationRecord

fn validation_record_error(record : ValidationRecord) -> Double

fn validation_record_relative_error(record : ValidationRecord) -> Double

fn validation_records_by_status(report : ValidationReport, status : String) -> Array[ValidationRecord]

fn validation_report_all_within(report : ValidationReport, tolerance_multiplier : Double) -> Bool

fn validation_report_critical(report : ValidationReport) -> Bool

fn validation_report_csv(report : ValidationReport) -> String

fn validation_report_error_vector(report : ValidationReport) -> Array[Double]

fn validation_report_has_notices(report : ValidationReport) -> Bool

fn validation_report_is_complete(report : ValidationReport, expected_count : Int) -> Bool

fn validation_report_json(report : ValidationReport) -> String

fn validation_report_markdown(report : ValidationReport) -> String

fn validation_report_max_relative_error(report : ValidationReport) -> Double

fn validation_report_measured_vector(report : ValidationReport) -> Array[Double]

fn validation_report_metric_names(report : ValidationReport) -> Array[String]

fn validation_report_min_margin(report : ValidationReport) -> Double

fn validation_report_passed_ids(report : ValidationReport) -> Array[String]

fn validation_report_ready_for_review(report : ValidationReport) -> Bool

fn validation_report_recommendation(report : ValidationReport) -> String

fn validation_report_record(report : ValidationReport, id : String) -> ValidationRecord?

fn validation_report_record_count(report : ValidationReport) -> Int

fn validation_report_relative_error_vector(report : ValidationReport) -> Array[Double]

fn validation_report_status(report : ValidationReport) -> String

fn validation_report_status_counts(report : ValidationReport) -> (Int, Int, Int)

fn validation_report_summary(report : ValidationReport) -> String

fn validation_report_target_error_pairs(report : ValidationReport) -> Array[(Double, Double)]

fn validation_report_target_vector(report : ValidationReport) -> Array[Double]