using @zlhahaha/moonsim/core { type Backoff }

using @zlhahaha/moonsim/models { type CircuitBreaker }

using @zlhahaha/moonsim/models { type CircuitBreakerConfig }

using @zlhahaha/moonsim/models { type CircuitBreakerResult }

using @zlhahaha/moonsim/core { type CounterSample }

using @zlhahaha/moonsim/reports { type DemoDescriptor }

using @zlhahaha/moonsim/core { type Duration }

using @zlhahaha/moonsim/core { type EventFailureCase }

using @zlhahaha/moonsim/core { type EventId }

using @zlhahaha/moonsim/core { type EventKind }

using @zlhahaha/moonsim/core { type EventMutationPolicy }

using @zlhahaha/moonsim/core { type EventRecord }

using @zlhahaha/moonsim/core { type EventReplayResult }

using @zlhahaha/moonsim/core { type EventStream }

using @zlhahaha/moonsim/core { type EventStreamSnapshot }

using @zlhahaha/moonsim/core { type EventView }

using @zlhahaha/moonsim/reports { type ExperimentCase }

using @zlhahaha/moonsim/reports { type ExperimentReport }

using @zlhahaha/moonsim/reports { type FeatureCell }

using @zlhahaha/moonsim/reports { type FeatureCoverage }

using @zlhahaha/moonsim/reports { type FeatureMatrix }

using @zlhahaha/moonsim/core { type ForkComparison }

using @zlhahaha/moonsim/models { type HttpFailureCase }

using @zlhahaha/moonsim/models { type HttpOutcome }

using @zlhahaha/moonsim/models { type HttpReliabilityPolicy }

using @zlhahaha/moonsim/models { type HttpReplayOptions }

using @zlhahaha/moonsim/models { type HttpReplayResult }

using @zlhahaha/moonsim/models { type HttpRequest }

using @zlhahaha/moonsim/models { type HttpResponse }

using @zlhahaha/moonsim/core { type IntRange }

using @zlhahaha/moonsim/core { type InvariantCheck }

using @zlhahaha/moonsim/core { type InvariantReport }

using @zlhahaha/moonsim/models { type LoadBalancerConfig }

using @zlhahaha/moonsim/models { type LoadBalancerResult }

using @zlhahaha/moonsim/core { type Message }

using @zlhahaha/moonsim/core { type MessageBus }

using @zlhahaha/moonsim/core { type MetricDelta }

using @zlhahaha/moonsim/core { type MetricDiff }

using @zlhahaha/moonsim/core { type MetricSnapshot }

using @zlhahaha/moonsim/core { type Metrics }

using @zlhahaha/moonsim/models { type ModelSummary }

using @zlhahaha/moonsim/models { type NetworkConfig }

using @zlhahaha/moonsim/models { type NetworkResult }

using @zlhahaha/moonsim/models { type QueueConfig }

using @zlhahaha/moonsim/models { type QueueResult }

using @zlhahaha/moonsim/core { type QueueStats }

using @zlhahaha/moonsim/models { type RecordedHttpExchange }

using @zlhahaha/moonsim/models { type RecordedHttpTransport }

using @zlhahaha/moonsim/models { type ReliabilityConfig }

using @zlhahaha/moonsim/models { type ReliabilityResult }

using @zlhahaha/moonsim/core { type ReplayBaseline }

using @zlhahaha/moonsim/core { type ReplayComparison }

using @zlhahaha/moonsim/models { type RetryConfig }

using @zlhahaha/moonsim/models { type RetryResult }

using @zlhahaha/moonsim/core { type Rng }

using @zlhahaha/moonsim/core { type RunReport }

using @zlhahaha/moonsim/core { type RunStep }

using @zlhahaha/moonsim/core { type RunStopReason }

using @zlhahaha/moonsim/core { type SampleDistribution }

using @zlhahaha/moonsim/core { type SampleSummary }

using @zlhahaha/moonsim/core { type Scenario }

using @zlhahaha/moonsim/core { type ScenarioCase }

using @zlhahaha/moonsim/core { type ScenarioExpectation }

using @zlhahaha/moonsim/core { type ScenarioFailure }

using @zlhahaha/moonsim/core { type ScenarioReport }

using @zlhahaha/moonsim/core { type ScenarioSuite }

using @zlhahaha/moonsim/core { type ScenarioSuiteReport }

using @zlhahaha/moonsim/core { type ScheduledEvent }

using @zlhahaha/moonsim/models { type SeedMatrix }

using @zlhahaha/moonsim/models { type SeedMatrixComparison }

using @zlhahaha/moonsim/models { type SeedRun }

using @zlhahaha/moonsim/models { type ServiceResilienceConfig }

using @zlhahaha/moonsim/models { type ServiceResilienceResult }

using @zlhahaha/moonsim/core { type Sim }

using @zlhahaha/moonsim/core { type SimSnapshot }

using @zlhahaha/moonsim/core { type StateMachine }

using @zlhahaha/moonsim/reports { type SweepPoint }

using @zlhahaha/moonsim/reports { type SweepReport }

using @zlhahaha/moonsim/core { type Tick }

using @zlhahaha/moonsim/core { type TimelineBucket }

using @zlhahaha/moonsim/core { type TimelineView }

using @zlhahaha/moonsim/core { type TimerPlan }

using @zlhahaha/moonsim/models { type TokenBucket }

using @zlhahaha/moonsim/models { type TokenBucketResult }

using @zlhahaha/moonsim/core { type TraceComparison }

using @zlhahaha/moonsim/core { type TraceEntry }

using @zlhahaha/moonsim/core { type TraceExpectation }

using @zlhahaha/moonsim/core { type TraceKindCount }

using @zlhahaha/moonsim/core { type TraceMismatch }

using @zlhahaha/moonsim/core { type TraceQuery }

using @zlhahaha/moonsim/core { type TraceQueryResult }

using @zlhahaha/moonsim/core { type TraceStats }

using @zlhahaha/moonsim/models { type TrafficConfig }

using @zlhahaha/moonsim/models { type TrafficResult }

using @zlhahaha/moonsim/core { type Transition }

using @zlhahaha/moonsim/core { type TransitionResult }

using @zlhahaha/moonsim/core { type ValidationIssue }

using @zlhahaha/moonsim/core { type ValidationReport }

using @zlhahaha/moonsim/core { type WeightedChoice }

using @zlhahaha/moonsim/models { type WorkflowPlan }

using @zlhahaha/moonsim/models { type WorkflowResult }

using @zlhahaha/moonsim/models { type WorkflowTask }

using @zlhahaha/moonsim/models { type WorkflowTaskRun }

fn build_feature_matrix() -> 
@zlhahaha/moonsim/reports.FeatureMatrix
FeatureMatrix

fn build_timeline(entries : Array[
@zlhahaha/moonsim/core.TraceEntry
TraceEntry], bucket_size? : Int) -> 
@zlhahaha/moonsim/core.TimelineView
TimelineView

fn check_counter_at_least(sim : 
@zlhahaha/moonsim/core.Sim
Sim, name : String, expected : Int) -> 
@zlhahaha/moonsim/core.InvariantCheck
InvariantCheck

fn check_no_pending(sim : 
@zlhahaha/moonsim/core.Sim
Sim) -> 
@zlhahaha/moonsim/core.InvariantCheck
InvariantCheck

fn check_sim_invariants(sim : 
@zlhahaha/moonsim/core.Sim
Sim) -> 
@zlhahaha/moonsim/core.InvariantReport
InvariantReport

fn circuit_breaker_config(failure_threshold? : Int, reset_timeout? : Int, half_open_successes? : Int) -> 
@zlhahaha/moonsim/models.CircuitBreakerConfig
CircuitBreakerConfig

fn compare_event(a : 
@zlhahaha/moonsim/core.ScheduledEvent
ScheduledEvent, b : 
@zlhahaha/moonsim/core.ScheduledEvent
ScheduledEvent) -> Int

fn compare_experiments(left : 
@zlhahaha/moonsim/reports.ExperimentReport
ExperimentReport, right : 
@zlhahaha/moonsim/reports.ExperimentReport
ExperimentReport) -> 
@zlhahaha/moonsim/core.TraceComparison
TraceComparison

fn compare_forks(left_name : String, left : 
@zlhahaha/moonsim/core.Sim
Sim, right_name : String, right : 
@zlhahaha/moonsim/core.Sim
Sim) -> 
@zlhahaha/moonsim/core.ForkComparison
ForkComparison

fn compare_replay(baseline : 
@zlhahaha/moonsim/core.ReplayBaseline
ReplayBaseline, sim : 
@zlhahaha/moonsim/core.Sim
Sim) -> 
@zlhahaha/moonsim/core.ReplayComparison
ReplayComparison

fn compare_seed_matrices(left : 
@zlhahaha/moonsim/models.SeedMatrix
SeedMatrix, right : 
@zlhahaha/moonsim/models.SeedMatrix
SeedMatrix) -> 
@zlhahaha/moonsim/models.SeedMatrixComparison
SeedMatrixComparison

fn compare_traces(expected : Array[
@zlhahaha/moonsim/core.TraceEntry
TraceEntry], actual : Array[
@zlhahaha/moonsim/core.TraceEntry
TraceEntry]) -> 
@zlhahaha/moonsim/core.TraceComparison
TraceComparison

fn default_features() -> Array[String]

fn demo_catalog() -> Array[
@zlhahaha/moonsim/reports.DemoDescriptor
DemoDescriptor]

fn demo_descriptor(name : String, command : String, purpose : String, features : Array[String]) -> 
@zlhahaha/moonsim/reports.DemoDescriptor
DemoDescriptor

fn demo_experiment() -> 
@zlhahaha/moonsim/reports.ExperimentReport
ExperimentReport

fn demo_names() -> Array[String]

fn diff_metrics(before : 
@zlhahaha/moonsim/core.MetricSnapshot
MetricSnapshot, after : 
@zlhahaha/moonsim/core.MetricSnapshot
MetricSnapshot) -> 
@zlhahaha/moonsim/core.MetricDiff
MetricDiff

fn duration(value : Int) -> 
@zlhahaha/moonsim/core.Duration
Duration

fn event_failure_case(rule : String, source : 
@zlhahaha/moonsim/core.EventStream
EventStream, policy : 
@zlhahaha/moonsim/core.EventMutationPolicy
EventMutationPolicy) -> 
@zlhahaha/moonsim/core.EventFailureCase
EventFailureCase

fn event_id(value : Int) -> 
@zlhahaha/moonsim/core.EventId
EventId

fn event_mutation_policy(seed? : UInt64, max_delay? : Int, delay_percent? : Int, drop_percent? : Int, duplicate_percent? : Int, reorder_same_tick? : Bool, failure_percent? : Int) -> 
@zlhahaha/moonsim/core.EventMutationPolicy
EventMutationPolicy

fn event_stream() -> 
@zlhahaha/moonsim/core.EventStream
EventStream

fn expect_trace_contains_detail(entries : Array[
@zlhahaha/moonsim/core.TraceEntry
TraceEntry], detail : String) -> 
@zlhahaha/moonsim/core.TraceExpectation
TraceExpectation

fn expect_trace_contains_kind(entries : Array[
@zlhahaha/moonsim/core.TraceEntry
TraceEntry], kind : String) -> 
@zlhahaha/moonsim/core.TraceExpectation
TraceExpectation

fn expect_trace_digest(entries : Array[
@zlhahaha/moonsim/core.TraceEntry
TraceEntry], expected : UInt64) -> 
@zlhahaha/moonsim/core.TraceExpectation
TraceExpectation

fn expect_trace_kind_count(entries : Array[
@zlhahaha/moonsim/core.TraceEntry
TraceEntry], kind : String, expected : Int) -> 
@zlhahaha/moonsim/core.TraceExpectation
TraceExpectation

fn expect_trace_monotonic_ticks(entries : Array[
@zlhahaha/moonsim/core.TraceEntry
TraceEntry]) -> 
@zlhahaha/moonsim/core.TraceExpectation
TraceExpectation

fn expect_trace_order(entries : Array[
@zlhahaha/moonsim/core.TraceEntry
TraceEntry], before : String, after : String) -> 
@zlhahaha/moonsim/core.TraceExpectation
TraceExpectation

fn experiment_case(name : String, summary : 
@zlhahaha/moonsim/models.ModelSummary
ModelSummary, notes? : String) -> 
@zlhahaha/moonsim/reports.ExperimentCase
ExperimentCase

fn external_call_event_kind() -> 
@zlhahaha/moonsim/core.EventKind
EventKind

fn find_demo(name : String) -> 
@zlhahaha/moonsim/reports.DemoDescriptor
DemoDescriptor?

fn http_cancelled_outcome() -> 
@zlhahaha/moonsim/models.HttpOutcome
HttpOutcome

fn http_connection_failure_outcome(detail : String) -> 
@zlhahaha/moonsim/models.HttpOutcome
HttpOutcome

fn http_reliability_policy(seed? : UInt64, retry_limit? : Int, timeout_ticks? : Int, backoff_ticks? : Int, deadline_ticks? : Int, rate_limit_per_tick? : Int, circuit_failure_threshold? : Int, circuit_reset_ticks? : Int, accept_late_success? : Bool) -> 
@zlhahaha/moonsim/models.HttpReliabilityPolicy
HttpReliabilityPolicy

fn http_replay_options(latency_jitter? : Int, injected_failure_percent? : Int, reverse_same_tick_order? : Bool) -> 
@zlhahaha/moonsim/models.HttpReplayOptions
HttpReplayOptions

fn http_request(id : String, http_method? : String, path? : String, attempt? : Int) -> 
@zlhahaha/moonsim/models.HttpRequest
HttpRequest

fn http_response(status : Int, body_summary? : String) -> 
@zlhahaha/moonsim/models.HttpResponse
HttpResponse

fn http_response_outcome(response : 
@zlhahaha/moonsim/models.HttpResponse
HttpResponse) -> 
@zlhahaha/moonsim/models.HttpOutcome
HttpOutcome

fn invariant_check(name : String, passed : Bool, detail? : String) -> 
@zlhahaha/moonsim/core.InvariantCheck
InvariantCheck

fn load_balancer_config(seed? : UInt64, jobs? : Int, workers? : Int, max_arrival_gap? : Int, min_service? : Int, max_service? : Int, strategy? : String) -> 
@zlhahaha/moonsim/models.LoadBalancerConfig
LoadBalancerConfig

fn load_balancer_seed_matrix(seeds : Array[UInt64], strategy? : String) -> 
@zlhahaha/moonsim/models.SeedMatrix
SeedMatrix

fn load_balancer_summary(result : 
@zlhahaha/moonsim/models.LoadBalancerResult
LoadBalancerResult) -> 
@zlhahaha/moonsim/models.ModelSummary
ModelSummary

fn message_event_kind() -> 
@zlhahaha/moonsim/core.EventKind
EventKind

fn metrics_counter_delta(left : 
@zlhahaha/moonsim/core.Metrics
Metrics, right : 
@zlhahaha/moonsim/core.Metrics
Metrics, name : String) -> Int

fn network_config(seed? : UInt64, messages? : Int, latency_min? : Int, latency_max? : Int, drop_percent? : Int, retry_delay? : Int) -> 
@zlhahaha/moonsim/models.NetworkConfig
NetworkConfig

fn network_seed_matrix(seeds : Array[UInt64]) -> 
@zlhahaha/moonsim/models.SeedMatrix
SeedMatrix

fn network_summary(result : 
@zlhahaha/moonsim/models.NetworkResult
NetworkResult) -> 
@zlhahaha/moonsim/models.ModelSummary
ModelSummary

fn query_trace(entries : Array[
@zlhahaha/moonsim/core.TraceEntry
TraceEntry], query : 
@zlhahaha/moonsim/core.TraceQuery
TraceQuery) -> 
@zlhahaha/moonsim/core.TraceQueryResult
TraceQueryResult

fn queue_config(seed? : UInt64, customers? : Int, max_arrival_gap? : Int, service_time? : Int) -> 
@zlhahaha/moonsim/models.QueueConfig
QueueConfig

fn queue_summary(result : 
@zlhahaha/moonsim/models.QueueResult
QueueResult) -> 
@zlhahaha/moonsim/models.ModelSummary
ModelSummary

fn recorded_http_exchange(request : 
@zlhahaha/moonsim/models.HttpRequest
HttpRequest, outcome : 
@zlhahaha/moonsim/models.HttpOutcome
HttpOutcome, started_tick? : Int, latency_ticks? : Int) -> 
@zlhahaha/moonsim/models.RecordedHttpExchange
RecordedHttpExchange

fn recorded_http_transport(scenario : String, exchanges : Array[
@zlhahaha/moonsim/models.RecordedHttpExchange
RecordedHttpExchange], options? : 
@zlhahaha/moonsim/models.HttpReplayOptions
HttpReplayOptions) -> 
@zlhahaha/moonsim/models.RecordedHttpTransport
RecordedHttpTransport

fn reliability_config(seed? : UInt64, operations? : Int, fail_percent? : Int, retry_limit? : Int, backoff? : Int) -> 
@zlhahaha/moonsim/models.ReliabilityConfig
ReliabilityConfig

fn render_demo_catalog() -> String

fn render_experiment_report(report : 
@zlhahaha/moonsim/reports.ExperimentReport
ExperimentReport) -> String

fn render_feature_coverage() -> String

fn render_feature_matrix() -> String

fn render_metric_diff(diff : 
@zlhahaha/moonsim/core.MetricDiff
MetricDiff) -> String

fn render_metrics_report(metrics : 
@zlhahaha/moonsim/core.Metrics
Metrics) -> String

fn render_model_summaries(summaries : Array[
@zlhahaha/moonsim/models.ModelSummary
ModelSummary]) -> String

fn render_replay_comparison(comparison : 
@zlhahaha/moonsim/core.ReplayComparison
ReplayComparison) -> String

fn render_sample_distribution(metrics : 
@zlhahaha/moonsim/core.Metrics
Metrics, name : String) -> String

fn render_scenario_report(report : 
@zlhahaha/moonsim/core.ScenarioReport
ScenarioReport) -> String

fn render_scenario_suite_report(report : 
@zlhahaha/moonsim/core.ScenarioSuiteReport
ScenarioSuiteReport) -> String

fn render_service_resilience_report(result : 
@zlhahaha/moonsim/models.ServiceResilienceResult
ServiceResilienceResult) -> String

fn render_sim_report(sim : 
@zlhahaha/moonsim/core.Sim
Sim, title? : String) -> String

fn render_trace_report(entries : Array[
@zlhahaha/moonsim/core.TraceEntry
TraceEntry], limit? : Int) -> String

fn replay_baseline(name : String, sim : 
@zlhahaha/moonsim/core.Sim
Sim) -> 
@zlhahaha/moonsim/core.ReplayBaseline
ReplayBaseline

fn retry_config(seed? : UInt64, max_attempts? : Int, fail_until? : Int, initial_backoff? : Int, jitter? : Int) -> 
@zlhahaha/moonsim/models.RetryConfig
RetryConfig

fn retry_seed_matrix(seeds : Array[UInt64]) -> 
@zlhahaha/moonsim/models.SeedMatrix
SeedMatrix

fn retry_summary(result : 
@zlhahaha/moonsim/models.RetryResult
RetryResult) -> 
@zlhahaha/moonsim/models.ModelSummary
ModelSummary

fn retry_timeout_fault_policy() -> 
@zlhahaha/moonsim/models.HttpReliabilityPolicy
HttpReliabilityPolicy