pub(all) struct HalCapabilityDescriptor {
  id : String
  kind : HalCapabilityKind
  profiles : Array[
@mokomoking2501/lockwire/os.CapabilityProfile
CapabilityProfile]
  requires_irq : Bool
  requires_dma : Bool
  requires_link_port : Bool
  requires_c_ffi : Bool
  deterministic : Bool
  live_io : Bool
  reference_path : String
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) enum HalCapabilityKind {
  HalVirtualClock
  HalInterrupt
  HalDma
  HalLinkPort
  HalMac
  HalCanFd
  HalUart
  HalFramePool
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct HalCapabilityReport {
  catalog_count : Int
  sim_wasm_count : Int
  real_embedded_count : Int
  irq_count : Int
  dma_count : Int
  link_port_count : Int
  native_frame_pool_count : Int
  deterministic_sim_count : Int
  wasm_violation_count : Int
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) enum ThreadxEvidenceKind {
  ThreadxEvidenceBspProfile
  ThreadxEvidenceThreadxBuild
  ThreadxEvidenceClockCalibration
  ThreadxEvidenceIrqDispatch
  ThreadxEvidenceDmaRegion
  ThreadxEvidenceMacSmoke
  ThreadxEvidenceCanFdSmoke
  ThreadxEvidenceUartSmoke
  ThreadxEvidenceEmbeddedTrace
  ThreadxEvidenceBoardOracle
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct ThreadxEvidencePlanReport {
  requirement_count : Int
  hook_backed_count : Int
  board_required_count : Int
  threadx_build_required_count : Int
  external_oracle_required_count : Int
  blocked_count : Int
  live_evidence_present_count : Int
  missing_hook_reference_count : Int
  mac_smoke_count : Int
  canfd_smoke_count : Int
  uart_smoke_count : Int
  trace_artifact_count : Int
  board_oracle_count : Int
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct ThreadxEvidenceRequirement {
  id : String
  kind : ThreadxEvidenceKind
  hook_id : String
  artifact_slot : String
  checker_id : String
  blocked_reason : String
  requires_board : Bool
  requires_threadx_build : Bool
  requires_external_oracle : Bool
  live_evidence_present : Bool
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct ThreadxHalHookDescriptor {
  id : String
  kind : ThreadxHalHookKind
  hal_capability_id : String
  bsp_hook_symbol : String
  requires_bsp : Bool
  requires_irq : Bool
  requires_dma : Bool
  link_port : Bool
  evidence_slot : String
  reference_path : String
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) enum ThreadxHalHookKind {
  ThreadxHookClock
  ThreadxHookIrq
  ThreadxHookDma
  ThreadxHookMac
  ThreadxHookCanFd
  ThreadxHookUart
  ThreadxHookFramePool
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct ThreadxHalSkeletonDescriptor {
  id : String
  profile : 
@mokomoking2501/lockwire/os.CapabilityProfile
CapabilityProfile
  reactor_id : String
  board_family : String
  reference_project_path : String
  include_package_ids : Array[String]
  excluded_package_ids : Array[String]
  hook_descriptors : Array[ThreadxHalHookDescriptor]
  requires_bsp_profile : Bool
  requires_threadx_build : Bool
  defer_thread_restricted_calls : Bool
  moonbit_c_ffi_surface : Bool
  sim_default_enabled : Bool
  wasm_ui_default_enabled : Bool
  board_evidence_present : Bool
  threadx_build_evidence_present : Bool
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct ThreadxHalSkeletonReport {
  descriptor_count : Int
  hook_count : Int
  bsp_hook_count : Int
  irq_hook_count : Int
  dma_hook_count : Int
  link_port_hook_count : Int
  missing_hal_reference_count : Int
  include_package_count : Int
  excluded_package_count : Int
  c_ffi_surface_present : Bool
  sim_default_enabled : Bool
  wasm_ui_default_enabled : Bool
  board_evidence_present : Bool
  threadx_build_evidence_present : Bool
  defer_thread_restricted_calls : Bool
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

fn hal_capability_catalog() -> Array[HalCapabilityDescriptor]

fn hal_capability_report() -> HalCapabilityReport

fn package_id() -> String

fn threadx_evidence_plan_report() -> ThreadxEvidencePlanReport

fn threadx_evidence_requirements() -> Array[ThreadxEvidenceRequirement]

fn threadx_hal_hook_catalog() -> Array[ThreadxHalHookDescriptor]

fn threadx_hal_skeleton_descriptor() -> ThreadxHalSkeletonDescriptor

fn threadx_hal_skeleton_report() -> ThreadxHalSkeletonReport