pub(all) enum HazardClass {
  Clear
  Caution
  Blocked
} derive(Eq, ToJson, 
@moonbitlang/core/debug.Debug
Debug, 
@moonbitlang/core/json.FromJson
FromJson)

pub(all) struct TerrainFixtureValidation {
  dataset_id : String
  expected_fingerprint : String
  actual_fingerprint : String
  status : TerrainFixtureValidationStatus
  note : String
} derive(Eq, ToJson, 
@moonbitlang/core/debug.Debug
Debug, 
@moonbitlang/core/json.FromJson
FromJson)

pub(all) enum TerrainFixtureValidationStatus {
  Verified
  FingerprintMismatch
  MissingFingerprint
} derive(Eq, ToJson, 
@moonbitlang/core/debug.Debug
Debug, 
@moonbitlang/core/json.FromJson
FromJson)

pub(all) struct TerrainGrid {
  tile_id : String
  rows : Int
  cols : Int
  cell_size_m : Double
  source_manifest : TerrainSourceManifest
  cells : Array[
@vectie/moonmoon/src/core.TerrainCell
TerrainCell]
} derive(Eq, ToJson, 
@moonbitlang/core/debug.Debug
Debug, 
@moonbitlang/core/json.FromJson
FromJson)

pub(all) struct TerrainMetrics {
  min_elevation_m : Double
  max_elevation_m : Double
  elevation_range_m : Double
  max_neighbor_grade : Double
  roughness_m : Double
  hazard_class : HazardClass
  hazard_reason : String
  provenance : 
@vectie/moonmoon/src/core.Provenance
Provenance
  uncertainty : 
@vectie/moonmoon/src/core.Uncertainty
Uncertainty
} derive(Eq, ToJson, 
@moonbitlang/core/debug.Debug
Debug, 
@moonbitlang/core/json.FromJson
FromJson)

pub(all) enum TerrainSourceChecksumKind {
  InlineFixtureFingerprint
  Sha256
  UnknownChecksumKind
} derive(Eq, ToJson, 
@moonbitlang/core/debug.Debug
Debug, 
@moonbitlang/core/json.FromJson
FromJson)

pub(all) struct TerrainSourceManifest {
  dataset_id : String
  title : String
  source_url : String
  license : String
  product_type : String
  trust : TerrainSourceTrust
  claim_kind : 
@vectie/moonmoon/src/core.ClaimKind
ClaimKind
  coverage : 
@vectie/moonmoon/src/core.LunarBounds
LunarBounds
  resolution_m : Double
  source_path : String
  source_sha256 : String
  extractor : String
  checksum_kind : TerrainSourceChecksumKind
  checksum : String
  citation : String
  review_status : TerrainSourceReviewStatus
  notes : Array[String]
} derive(Eq, ToJson, 
@moonbitlang/core/debug.Debug
Debug, 
@moonbitlang/core/json.FromJson
FromJson)

pub(all) enum TerrainSourceReviewStatus {
  AcceptedForSoftwareProof
  NeedsSourceUpgrade
  NeedsHumanReview
  Rejected
} derive(Eq, ToJson, 
@moonbitlang/core/debug.Debug
Debug, 
@moonbitlang/core/json.FromJson
FromJson)

pub(all) enum TerrainSourceTrust {
  Authoritative
  CuratedFixture
  DerivedProduct
  Experimental
  UnknownTrust
} derive(Eq, ToJson, 
@moonbitlang/core/debug.Debug
Debug, 
@moonbitlang/core/json.FromJson
FromJson)

fn analyze(grid : TerrainGrid) -> TerrainMetrics

fn first_trusted_square_fixture_json() -> Json

fn first_trusted_square_fixture_markdown() -> String

fn first_trusted_square_grid() -> TerrainGrid

fn first_trusted_square_metrics() -> TerrainMetrics

fn first_trusted_square_north_rim_grid() -> TerrainGrid

fn first_trusted_square_north_rim_metrics() -> TerrainMetrics

fn first_trusted_square_north_rim_source_manifest() -> TerrainSourceManifest

fn first_trusted_square_northeast_stepout_grid() -> TerrainGrid

fn first_trusted_square_northeast_stepout_metrics() -> TerrainMetrics

fn first_trusted_square_northeast_stepout_source_manifest() -> TerrainSourceManifest

fn first_trusted_square_route_grids() -> Array[TerrainGrid]

fn first_trusted_square_route_source_manifests() -> Array[TerrainSourceManifest]

fn first_trusted_square_source_manifest() -> TerrainSourceManifest

fn first_trusted_square_south_stepout_grid() -> TerrainGrid

fn first_trusted_square_south_stepout_metrics() -> TerrainMetrics

fn first_trusted_square_south_stepout_source_manifest() -> TerrainSourceManifest

fn first_trusted_square_southwest_bypass_grid() -> TerrainGrid

fn first_trusted_square_southwest_bypass_metrics() -> TerrainMetrics

fn first_trusted_square_southwest_bypass_source_manifest() -> TerrainSourceManifest

fn first_trusted_square_west_contour_grid() -> TerrainGrid

fn first_trusted_square_west_contour_metrics() -> TerrainMetrics

fn first_trusted_square_west_contour_source_manifest() -> TerrainSourceManifest

fn grid_fingerprint(grid : TerrainGrid) -> String

fn hazard_label(hazard : HazardClass) -> String

fn render_grid_json(grid : TerrainGrid) -> Json

fn render_grid_markdown(grid : TerrainGrid) -> String

fn terrain_fixture_validation_status_label(status : TerrainFixtureValidationStatus) -> String

fn terrain_source_checksum_kind_label(kind : TerrainSourceChecksumKind) -> String

fn terrain_source_provenance(manifest : TerrainSourceManifest) -> 
@vectie/moonmoon/src/core.Provenance
Provenance

fn terrain_source_review_status_label(status : TerrainSourceReviewStatus) -> String

fn terrain_source_trust_label(trust : TerrainSourceTrust) -> String

fn validate_grid_source(grid : TerrainGrid) -> TerrainFixtureValidation