large_data_harness

Deterministic large-data and async-runtime expansion harness for M28.

Types

Benchmark

Heavy-workload benchmark metrics.

pub type Benchmark {
  Benchmark(
    workload: String,
    p50_latency_ms: Int,
    p95_latency_ms: Int,
    avg_payload_bytes: Int,
    avg_patch_ops: Int,
    peak_memory_units: Int,
    throughput_events_per_second: Int,
    root_churn_events: Int,
  )
}

Constructors

Benchmark(
  workload: String,
  p50_latency_ms: Int,
  p95_latency_ms: Int,
  avg_payload_bytes: Int,
  avg_patch_ops: Int,
  peak_memory_units: Int,
  throughput_events_per_second: Int,
  root_churn_events: Int,
)

Budget

Versioned M28 budget profile.

pub type Budget {
  Budget(
    workload: String,
    max_p95_latency_ms: Int,
    max_avg_payload_bytes: Int,
    max_avg_patch_ops: Int,
    max_peak_memory_units: Int,
    min_throughput_events_per_second: Int,
    max_root_churn_events: Int,
  )
}

Constructors

Budget(
  workload: String,
  max_p95_latency_ms: Int,
  max_avg_payload_bytes: Int,
  max_avg_patch_ops: Int,
  max_peak_memory_units: Int,
  min_throughput_events_per_second: Int,
  max_root_churn_events: Int,
)

BudgetResult

Budget-check result.

pub type BudgetResult {
  BudgetResult(workload: String, passed: Bool, reason: String)
}

Constructors

BudgetResult(workload: String, passed: Bool, reason: String)

Report

Full M28 report.

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

Constructors

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

Scenario

M28 conformance scenarios.

pub type Scenario {
  LargeListWindowedIncremental
  LargeGridWindowedIncremental
  LargeChartWindowedIncremental
  AsyncBackpressureRecovery
  HeavyBudgetEnforcement
}

Constructors

```
LargeListWindowedIncremental
```
```
LargeGridWindowedIncremental
```
```
LargeChartWindowedIncremental
```
```
AsyncBackpressureRecovery
```
```
HeavyBudgetEnforcement
```

ScenarioOutcome

One scenario outcome.

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

Constructors

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

Values

benchmark_signature

pub fn benchmark_signature(benchmark: Benchmark) -> String

Stable benchmark signature.

budget_failures

pub fn budget_failures(results: List(BudgetResult)) -> Int

Number of failing budget checks.

budget_version

pub const budget_version: Int

budget_version_label

pub fn budget_version_label() -> String

M28 benchmark budget profile version.

default_budget

pub fn default_budget() -> List(Budget)

Default M28 heavy-workload budgets.

deterministic

pub fn deterministic(outcome: ScenarioOutcome) -> Bool

Determinism accessor.

evaluate_budget

pub fn evaluate_budget(
  benchmarks: List(Benchmark),
  budgets: List(Budget),
) -> List(BudgetResult)

Evaluate M28 benchmark suite against one budget profile.

failed_scenarios

pub fn failed_scenarios(report: Report) -> Int

Failed scenario count.

nondeterministic_failures

pub fn nondeterministic_failures(report: Report) -> Int

Nondeterministic scenario count.

outcomes

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

Report outcomes.

pass_fail_label

pub fn pass_fail_label(outcome: ScenarioOutcome) -> String

Stable pass/fail label.

report_signature

pub fn report_signature(report: Report) -> String

Stable report signature.

run_heavy_benchmarks

pub fn run_heavy_benchmarks() -> List(Benchmark)

Run deterministic benchmark suite for M28.

run_matrix

pub fn run_matrix() -> Report

Run all M28 scenarios.

run_scenario

pub fn run_scenario(scenario: Scenario) -> ScenarioOutcome

Run one scenario twice and require deterministic signature parity.

scenario

pub fn scenario(outcome: ScenarioOutcome) -> Scenario

Scenario accessor.

scenario_label

pub fn scenario_label(scenario: Scenario) -> String

Scenario label.

signature

pub fn signature(outcome: ScenarioOutcome) -> String

Scenario signature.

snapshot_report_markdown

pub fn snapshot_report_markdown() -> String

Deterministic markdown report for fixture scripts.

snapshot_signature

pub fn snapshot_signature() -> String

Deterministic snapshot signature for fixture drift gates.

snapshot_version

pub const snapshot_version: Int