verified_routes_harness

Deterministic compile-fixture harness for M22 verified-route hard parity.

Types

Full M22 report.

pub type Report {
  Report(outcomes: List(ScenarioOutcome), failed_scenarios: Int)
}

Report(outcomes: List(ScenarioOutcome), failed_scenarios: Int)

M22 compile-fixture scenarios.

pub type Scenario {
  ValidReference
  UnknownRouteReference
  MethodMismatchReference
  ParamMismatchReference
}

One compile-fixture outcome.

pub type ScenarioOutcome {
  ScenarioOutcome(
    scenario: Scenario,
    passed: Bool,
    signature: String,
  )
}

ScenarioOutcome(
  scenario: Scenario,
  passed: Bool,
  signature: String,
)

pub fn failed_scenarios(report: Report) -> Int

Failed scenario count.

pub fn outcomes(report: Report) -> List(ScenarioOutcome)

Outcomes accessor.

pub fn pass_fail_label(outcome: ScenarioOutcome) -> String

Stable pass/fail label.

pub fn report_signature(report: Report) -> String

Stable report signature for CI fixtures.

pub fn run_matrix() -> Report

Run all M22 compile-fixture scenarios.

pub fn run_scenario(scenario: Scenario) -> ScenarioOutcome

Run one M22 scenario.

pub fn scenario(outcome: ScenarioOutcome) -> Scenario

Scenario accessor.

pub fn scenario_label(scenario: Scenario) -> String

Stable scenario label.

pub fn signature(outcome: ScenarioOutcome) -> String

Scenario signature accessor.