pub(all) struct AuditConfig {
  strict : Bool
  capacitance_relative_tolerance : Double
  complexity_threshold : Int
} derive(
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct AuditReport {
  diagnostics : Array[
@alicedhaha/moonrcinspect/src/diagnostic.Diagnostic
Diagnostic]
  error_count : Int
  warning_count : Int
  info_count : Int
  passed : Bool
} derive(
@moonbitlang/core/debug.Debug
Debug)

pub(all) enum AuditRule {
  HeaderRule
  NameMapRule
  NetIntegrityRule
  RcValueRule
  TopologyRule
  ComplexityRule
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

fn audit(network : 
@alicedhaha/moonrcinspect/src/model.RCNetwork
RCNetwork, config? : AuditConfig) -> AuditReport

fn audit_with_rules(network : 
@alicedhaha/moonrcinspect/src/model.RCNetwork
RCNetwork, rules : Array[AuditRule], config? : AuditConfig) -> AuditReport

fn default_rules() -> Array[AuditRule]