pub(all) struct LunarAcquisitionPlan {
  plan_id : String
  source_id : String
  product_family_id : String
  source_family_url : String
  source_metadata_url : String
  source_metadata_sha256 : String
  source_metadata_bytes : Int64
  discovery_url : String
  target_region : String
  expected_format : String
  local_source_directory : String
  local_metadata_path : String
  extracted_fixture_path : String
  trust_gate : String
  steps : Array[LunarAcquisitionStep]
} derive(Eq, ToJson, 
@moonbitlang/core/debug.Debug
Debug, 
@moonbitlang/core/json.FromJson
FromJson)

pub(all) struct LunarAcquisitionStep {
  step_id : String
  title : String
  action : String
  expected_evidence : String
  done_when : String
} derive(Eq, ToJson, 
@moonbitlang/core/debug.Debug
Debug, 
@moonbitlang/core/json.FromJson
FromJson)

pub(all) struct LunarCoordinateFrame {
  frame_id : String
  body : String
  datum : String
  projection : String
  radius_reference_m : Double
  notes : String
} derive(Eq, ToJson, 
@moonbitlang/core/debug.Debug
Debug, 
@moonbitlang/core/json.FromJson
FromJson)

pub(all) struct LunarCoverage {
  body : String
  south_deg : Double
  north_deg : Double
  west_deg : Double
  east_deg : Double
  center_lat_deg : Double
  center_lon_deg : Double
  resolution_m : Double
} derive(Eq, ToJson, 
@moonbitlang/core/debug.Debug
Debug, 
@moonbitlang/core/json.FromJson
FromJson)

pub(all) struct LunarEphemerisWindow {
  window_id : String
  source_id : String
  output_path : String
  output_sha256 : String
  output_bytes : Int64
  coverage : LunarCoverage
  time_basis : String
  review_status : LunarReviewStatus
  notes : Array[String]
} derive(Eq, ToJson, 
@moonbitlang/core/debug.Debug
Debug, 
@moonbitlang/core/json.FromJson
FromJson)

pub(all) struct LunarExtractionCandidate {
  extraction_id : String
  selection_id : String
  generated_by : String
  output_path : String
  output_sha256 : String
  output_bytes : Int64
  tile_id : String
  coverage : LunarCoverage
  source_row_start : Int
  source_col_start : Int
  rows : Int
  cols : Int
  cell_size_m : Double
  value_unit : String
  claim_kind : String
  review_status : LunarReviewStatus
  notes : Array[String]
} derive(Eq, ToJson, 
@moonbitlang/core/debug.Debug
Debug, 
@moonbitlang/core/json.FromJson
FromJson)

pub(all) struct LunarProductSelection {
  selection_id : String
  source_id : String
  product_id : String
  product_lid : String
  image_url : String
  label_url : String
  local_label_path : String
  label_sha256 : String
  label_bytes : Int64
  image_bytes : Int64
  coordinate_frame : LunarCoordinateFrame
  coverage : LunarCoverage
  lines : Int
  samples : Int
  data_type : String
  unit : String
  value_offset_km : Double
  selection_reason : String
  review_status : LunarReviewStatus
} derive(Eq, ToJson, 
@moonbitlang/core/debug.Debug
Debug, 
@moonbitlang/core/json.FromJson
FromJson)

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

pub(all) struct LunarSourceCandidate {
  source_id : String
  title : String
  body : String
  mission : String
  instrument : String
  product_family : String
  authority : String
  official_source_url : String
  access_url : String
  local_source_directory : String
  intended_use : String
  review_status : LunarReviewStatus
  notes : Array[String]
} derive(Eq, ToJson, 
@moonbitlang/core/debug.Debug
Debug, 
@moonbitlang/core/json.FromJson
FromJson)

pub(all) struct LunarTerrainDatasetRecord {
  dataset_id : String
  title : String
  product_type : String
  extraction : LunarExtractionCandidate
  inline_fingerprint : String
  citation : String
  notes : Array[String]
} derive(Eq, ToJson, 
@moonbitlang/core/debug.Debug
Debug, 
@moonbitlang/core/json.FromJson
FromJson)

pub(all) struct LunarTileManifest {
  tile_id : String
  terrain_dataset_id : String
  ephemeris_dataset_id : String
  coverage : LunarCoverage
  terrain_extraction_id : String
  ephemeris_window_id : String
  review_status : LunarReviewStatus
} derive(Eq, ToJson, 
@moonbitlang/core/debug.Debug
Debug, 
@moonbitlang/core/json.FromJson
FromJson)

fn first_trusted_square_all_lola_extraction_candidates() -> Array[LunarExtractionCandidate]

fn first_trusted_square_ephemeris_acquisition_plan() -> LunarAcquisitionPlan

fn first_trusted_square_ephemeris_dataset() -> 
@vectie/moonmoon/src/data_core.DatasetManifest
DatasetManifest

fn first_trusted_square_ephemeris_source() -> 
@vectie/moonmoon/src/data_core.DataSource
DataSource

fn first_trusted_square_ephemeris_source_candidate() -> LunarSourceCandidate

fn first_trusted_square_ephemeris_window() -> LunarEphemerisWindow

fn first_trusted_square_lola_acquisition_plan() -> LunarAcquisitionPlan

fn first_trusted_square_lola_dataset() -> 
@vectie/moonmoon/src/data_core.DatasetManifest
DatasetManifest

fn first_trusted_square_lola_extraction_candidate() -> LunarExtractionCandidate

fn first_trusted_square_lola_product_selection() -> LunarProductSelection

fn first_trusted_square_lola_source() -> 
@vectie/moonmoon/src/data_core.DataSource
DataSource

fn first_trusted_square_lola_source_candidate() -> LunarSourceCandidate

fn first_trusted_square_lola_terrain_dataset_record() -> LunarTerrainDatasetRecord

fn first_trusted_square_lunar_acquisition_plans() -> Array[LunarAcquisitionPlan]

fn first_trusted_square_lunar_datasets() -> Array[
@vectie/moonmoon/src/data_core.DatasetManifest
DatasetManifest]

fn first_trusted_square_lunar_source_candidates() -> Array[LunarSourceCandidate]

fn first_trusted_square_lunar_sources() -> Array[
@vectie/moonmoon/src/data_core.DataSource
DataSource]

fn first_trusted_square_north_rim_lola_extraction_candidate() -> LunarExtractionCandidate

fn first_trusted_square_north_rim_lola_terrain_dataset_record() -> LunarTerrainDatasetRecord

fn first_trusted_square_northeast_stepout_lola_extraction_candidate() -> LunarExtractionCandidate

fn first_trusted_square_northeast_stepout_lola_terrain_dataset_record() -> LunarTerrainDatasetRecord

fn first_trusted_square_route_lola_datasets() -> Array[
@vectie/moonmoon/src/data_core.DatasetManifest
DatasetManifest]

fn first_trusted_square_route_lola_extraction_candidates() -> Array[LunarExtractionCandidate]

fn first_trusted_square_route_lola_terrain_dataset_records() -> Array[LunarTerrainDatasetRecord]

fn first_trusted_square_south_stepout_lola_extraction_candidate() -> LunarExtractionCandidate

fn first_trusted_square_south_stepout_lola_terrain_dataset_record() -> LunarTerrainDatasetRecord

fn first_trusted_square_southwest_bypass_lola_extraction_candidate() -> LunarExtractionCandidate

fn first_trusted_square_southwest_bypass_lola_terrain_dataset_record() -> LunarTerrainDatasetRecord

fn first_trusted_square_tile_manifest() -> LunarTileManifest

fn first_trusted_square_west_contour_lola_extraction_candidate() -> LunarExtractionCandidate

fn first_trusted_square_west_contour_lola_terrain_dataset_record() -> LunarTerrainDatasetRecord

fn lola_terrain_dataset_manifest(record : LunarTerrainDatasetRecord) -> 
@vectie/moonmoon/src/data_core.DatasetManifest
DatasetManifest

fn lro_lola_south_pole_frame() -> LunarCoordinateFrame

fn lunar_coverage(south_deg : Double, north_deg : Double, west_deg : Double, east_deg : Double, center_lat_deg : Double, center_lon_deg : Double, resolution_m : Double, body? : String) -> LunarCoverage

fn lunar_review_status_label(status : LunarReviewStatus) -> String