///|
/// Lockwire root package.
///
/// The Isochronon repository is a MoonBit workspace. Lockwire is the first
/// member module and the first implemented artifact in the framework.

///|
pub let project_name : String = "Lockwire"

///|
pub let framework_name : String = "Isochronon"

///|
pub fn m0_scope() -> String {
  "MoonBit workspace member skeleton for Lockwire MVP packages"
}

///|
pub fn package_ids() -> Array[String] {
  [
    @core.package_id(),
    @clock.package_id(),
    @driver.package_id(),
    @native.package_id(),
    @os.package_id(),
    @hal.package_id(),
    @reactor.package_id(),
    @sim.package_id(),
    @scenario.package_id(),
    @trace.package_id(),
    @fault.package_id(),
    @resource.package_id(),
    @observe.package_id(),
    @wasm.package_id(),
  ]
}

///|
pub using @core {
  type ChannelId,
  type Channel,
  type Duration,
  type EndpointId,
  type Frame,
  type FrameState,
  type PortId,
  type RxEvent,
  type SimDigest,
  type TransportError,
  type TxEvent,
  type VTime,
  type BackendProfile,
  type MvpStage,
  backend_profile_label,
  backend_profiles,
  check_rx_invariants,
  mvp_stage_label,
  mvp_stages,
  tx_event_precedes,
}

///|
pub using @clock {
  type ClockRelation,
  type CrossStamp,
  type DcDomain,
  type DomainCrossStamp,
  type DomainId,
  type DomainInstant,
  type Instant,
  type SimInstant,
  type SimTruth,
  type Uncertain,
  type VirtualClock,
  type VirtualCrossStamper,
  type WallDomain,
  deterministic_sequence,
  ghost_domain_status,
}

///|
pub using @driver {
  type LinkDriverKind,
  type LinkDriverMergeReport,
  type LinkDriverRuntime,
  type LinkDriverSource,
  type LinkDriverSpec,
  type LinkMasterHarnessDescriptor,
  type LinkMasterHarnessValidationReport,
  type LinkReadinessMatrixReport,
  type LinkReadinessTarget,
  type LinkReadinessTargetKind,
  link_readiness_matrix_report,
  link_readiness_matrix_trace_fixture,
  link_readiness_targets,
  moonecat_link_driver_specs,
  native_link_driver_catalog,
  native_link_driver_merge_report,
  native_link_driver_trace_fixture,
  provider_master_harness_trace_fixture,
  profinet_link_driver_specs,
  validate_master_harness_descriptors,
}

///|
pub using @native {
  type NativeLinkError,
  type NativeFramePool,
  type NativeFramePoolSmokeReport,
  type NativeFrameRef,
  type NativeFrameSlotState,
  type NativeLinkSessionCatalogReport,
  type NativeLinkSessionConfig,
  type NativeLinkSessionDescriptor,
  type NativeLinkSessionFramePoolSmokeReport,
  type NativeLinkSessionKind,
  type NativeLinkStubReport,
  type NativeNpcapLinkSession,
  type NativeNpcapCapturePcapArtifactReport,
  type NativeNpcapFramePoolCaptureReport,
  type NativeNpcapInterfaceInfo,
  type NativeNpcapInterfaceListReport,
  type NativeNpcapLiveAdapter,
  type NativeNpcapLiveAdapterReport,
  type NativeNpcapManualLiveSmokeReport,
  type NativeNpcapManualSendSmokeReport,
  type NativeNpcapRoundtripPcapArtifactReport,
  type NativeNpcapSendCaptureRoundtripReport,
  type NativeStubFallbackBehavior,
  type NativeStubLiveBoundary,
  type NativeStubModuleDescriptor,
  type NativeStubModuleReport,
  type NativeStubTargetGate,
  type NativeNpcapProbeReport,
  type NativePcapWriter,
  type NativeRawSocketAdapter,
  type NativeRawSocketAdapterReport,
  type NativeRawSocketLinkSession,
  type NativeRawSocketInterfaceInfo,
  type NativeRawSocketInterfaceListReport,
  type NativeRawSocketManualSmokeReport,
  type NativeRawSocketRoundtripPcapArtifactReport,
  type NativeUdpLinkSession,
  type NativeUdpLinkSessionSmokeReport,
  type NativeUdpLoopbackSmokeReport,
  type NativeUdpSocket,
  highres_micros,
  native_frame_pool_smoke,
  native_stub_catalog_fallback_ffi_files,
  native_last_error_code,
  native_last_error_message,
  native_link_session_catalog,
  native_link_session_catalog_report,
  native_link_session_config,
  native_link_session_frame_pool_smoke,
  native_link_stub_report,
  native_make_ethernet_smoke_frame,
  native_npcap_capture_pcap_artifact,
  native_npcap_capture_frame_pool,
  native_npcap_interface_list_report,
  native_npcap_list_interfaces_text,
  native_npcap_live_adapter_report,
  native_npcap_make_ethernet_smoke_frame,
  native_npcap_manual_live_smoke,
  native_npcap_manual_send_smoke,
  native_npcap_parse_interfaces_text,
  native_npcap_runtime_probe,
  native_npcap_roundtrip_pcap_artifact,
  native_npcap_send_capture_roundtrip,
  native_raw_socket_adapter_report,
  native_raw_socket_interface_list_report,
  native_raw_socket_list_interfaces_text,
  native_raw_socket_manual_smoke,
  native_raw_socket_parse_interfaces_text,
  native_raw_socket_roundtrip_pcap_artifact,
  native_stub_catalog_c_files,
  native_stub_declared_c_files,
  native_stub_catalog_native_ffi_files,
  native_stub_declared_fallback_ffi_files,
  native_stub_declared_native_ffi_files,
  native_stub_module_catalog,
  native_stub_module_report,
  native_stub_version,
  native_udp_link_session_loopback_smoke,
  native_udp_loopback_smoke,
}

///|
pub using @os {
  type CapabilityProfile,
  type OsCapabilityDescriptor,
  type OsCapabilityKind,
  type OsCapabilityReport,
  capability_profiles,
  os_capability_catalog,
  os_capability_report,
}

///|
pub using @hal {
  type HalCapabilityDescriptor,
  type HalCapabilityKind,
  type HalCapabilityReport,
  type ThreadxHalHookDescriptor,
  type ThreadxHalHookKind,
  type ThreadxHalSkeletonDescriptor,
  type ThreadxHalSkeletonReport,
  type ThreadxEvidenceKind,
  type ThreadxEvidencePlanReport,
  type ThreadxEvidenceRequirement,
  hal_capability_catalog,
  hal_capability_report,
  threadx_evidence_plan_report,
  threadx_evidence_requirements,
  threadx_hal_hook_catalog,
  threadx_hal_skeleton_descriptor,
  threadx_hal_skeleton_report,
}

///|
pub using @reactor {
  type ReactorBackendDescriptor,
  type ReactorBackendKind,
  type ReactorBackendReport,
  type ReactorBoundary,
  reactor_backend_catalog,
  reactor_backend_report,
}

///|
pub using @sim {
  type ArbitratedBusErrorState,
  type ArbitratedBusEventKind,
  type ArbitratedBusFrame,
  type ArbitratedBusFrameSlot,
  type ArbitratedBusMedium,
  type ArbitratedBusOfflineReport,
  type ArbitratedBusOfflineRun,
  type ArbitratedBusProfile,
  type BenchmarkSample,
  type FabricCapabilities,
  type FabricBackgroundFlow,
  type FabricDelivery,
  type FabricLoadClass,
  type FabricLoadProfile,
  type FabricLoadProfileRun,
  type FabricNode,
  type FabricPartitionScript,
  type FabricRun,
  type FrameWindow,
  type MinimalFabric,
  type P2pLink,
  type PortGroup,
  type ProfinetRtLoadTraceReport,
  type SegmentHop,
  type SegmentLine,
  type SegmentNode,
  type SegmentRun,
  type SimRun,
  type SwitchedFabricFrameRecord,
  type SwitchedFabricIrtPhaseKind,
  type SwitchedFabricIrtPhaseWindow,
  type SwitchedFabricOfflineProfile,
  type SwitchedFabricOfflineReport,
  type SwitchedFabricOfflineRun,
  type SwitchedFabricPort,
  type SwitchedFabricQosIrtFrameRecord,
  type SwitchedFabricQosIrtProfile,
  type SwitchedFabricQosIrtReport,
  type SwitchedFabricQosIrtRun,
  type SwitchedFabricQueueDiscipline,
  type SwitchedFabricTrafficFlow,
  arbitrated_bus_offline_report,
  p2p_benchmark_report,
  profinet_rt_load_profile,
  profinet_rt_load_profile_report,
  profinet_rt_load_trace_fixture,
  run_arbitrated_bus_offline,
  run_fabric_partition_heal,
  run_p2p_demo,
  run_switched_fabric_qos_irt_offline,
  run_profinet_rt_load_profile,
  run_switched_fabric_offline,
  run_segment_toy,
  same_seed_digest_stable,
  switched_fabric_qos_irt_profile,
  switched_fabric_qos_irt_report,
  switched_fabric_offline_profile,
  switched_fabric_offline_report,
}

///|
pub using @scenario {
  type AnyResult,
  type CancelReason,
  type Event,
  type EventState,
  type ProcessHandle,
  type SimEnv,
  type StepResult,
  type Timeout,
  all_of,
  any_of,
  cancel,
  event,
  fail,
  spawn,
  succeed,
  timeout,
}

///|
pub using @trace {
  type BenchmarkMetric,
  type BenchmarkMetricStatus,
  type Recording,
  type Replay,
  type RuntimeBenchmarkReport,
  type TraceArtifact,
  type TraceArtifactError,
  type TraceArtifactFormat,
  type TraceArtifactSidecar,
  type TraceDirection,
  type TraceEvent,
  type TraceLog,
  parse_trace_artifact_text,
  parse_trace_pcapng,
  pcapng_custom_block_type,
  pcapng_linktype_ethernet,
  parse_trace_log_text,
  payload_digest_placeholder,
  rx_event_to_trace,
  tx_event_to_trace,
}

///|
pub using @observe {type MetricPoint, type TimelineProbe}

///|
pub using @fault {
  type BranchLabelCoverage,
  type BuggifyGate,
  type FaultCampaignCoverageReport,
  type FaultCampaignCase,
  type FaultCampaignReport,
  type FaultHit,
  type FaultPointCoverage,
  type FaultKind,
  type FaultOutcome,
  type FaultPlan,
  type FaultReport,
  type FaultRule,
  type FaultSchedule,
  type SeedFailureHistogramBucket,
  type SwarmSeedPool,
  type TopologyFaultHit,
  type TopologyFaultKind,
  buggify_swarm_coverage_report_fixture,
  buggify_swarm_seed_pool_fixture,
  buggify_swarm_trace_fixture,
  default_buggify_gates,
  default_swarm_seed_pool,
  fault_campaign_coverage_report,
  run_buggify_swarm_seed_pool,
}

///|
pub using @resource {
  type Container,
  type PreemptiveResource,
  type PreemptiveResourceEvent,
  type PreemptiveResourceEventKind,
  type PreemptiveResourceReport,
  type PriorityResource,
  type PriorityResourceLease,
  type PriorityResourceRequest,
  type Resource,
  type ResourceLease,
  type ResourceSnapshot,
  type Store,
  preemptive_resource_contention_fixture,
}

///|
pub using @wasm {
  type DiffFingerprint,
  p2p_benchmark_line,
  p2p_digest_line,
  p2p_fingerprint,
  p2p_native_wasm_benchmark_match,
  p2p_native_wasm_match,
  p2p_trace_log,
}