contention_harness

Deterministic durable-store contention profiling harness for M37.

Types

Budget

Tunable contention budget for one scenario.

pub type Budget {
  Budget(
    scenario: Scenario,
    max_lease_window_p95_ms: Int,
    max_checkpoint_window_events: Int,
    max_replay_window_ms: Int,
    max_queue_depth: Int,
    max_retry_attempts: Int,
  )
}

Constructors

Budget(
  scenario: Scenario,
  max_lease_window_p95_ms: Int,
  max_checkpoint_window_events: Int,
  max_replay_window_ms: Int,
  max_queue_depth: Int,
  max_retry_attempts: Int,
)

BudgetResult

One contention-budget evaluation result.

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

Constructors

BudgetResult(scenario: Scenario, passed: Bool, reason: String)

Metrics

Durable-store contention profile metrics.

pub type Metrics {
  Metrics(
    ownership_conflicts: Int,
    split_brain_rejections: Int,
    stale_owner_rejections: Int,
    invalid_token_rejections: Int,
    takeover_successes: Int,
    lease_window_p95_ms: Int,
    lease_queue_peak: Int,
    takeover_queue_peak: Int,
    retry_attempts: Int,
    checkpoint_window_events: Int,
    replay_window_ms: Int,
  )
}

Constructors

Metrics(
  ownership_conflicts: Int,
  split_brain_rejections: Int,
  stale_owner_rejections: Int,
  invalid_token_rejections: Int,
  takeover_successes: Int,
  lease_window_p95_ms: Int,
  lease_queue_peak: Int,
  takeover_queue_peak: Int,
  retry_attempts: Int,
  checkpoint_window_events: Int,
  replay_window_ms: Int,
)

Report

Full M37 report.

pub type Report {
  Report(
    outcomes: List(ScenarioOutcome),
    budget_results: List(BudgetResult),
    failed_scenarios: Int,
    nondeterministic_failures: Int,
    invariant_failures: Int,
    failed_budgets: Int,
  )
}

Constructors

Report(
  outcomes: List(ScenarioOutcome),
  budget_results: List(BudgetResult),
  failed_scenarios: Int,
  nondeterministic_failures: Int,
  invariant_failures: Int,
  failed_budgets: Int,
)

Scenario

M37 contention-profiling scenarios.

pub type Scenario {
  OwnershipFencingContention
  LeaseRenewalContention
  TakeoverQueueRetryPressure
  CheckpointReplayWindows
}

Constructors

```
OwnershipFencingContention
```
```
LeaseRenewalContention
```
```
TakeoverQueueRetryPressure
```
```
CheckpointReplayWindows
```

ScenarioOutcome

One contention scenario outcome.

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

Constructors

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

Values

budget_failures

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

Count failing budget checks.

budget_results

pub fn budget_results(report: Report) -> List(BudgetResult)

Report budget-results accessor.

budget_version

pub const budget_version: Int

budget_version_label

pub fn budget_version_label() -> String

M37 budget profile version label.

default_budget

pub fn default_budget() -> List(Budget)

Default deterministic M37 contention budgets.

deterministic

pub fn deterministic(outcome: ScenarioOutcome) -> Bool

Scenario determinism accessor.

evaluate_budget

pub fn evaluate_budget(
  outcomes: List(ScenarioOutcome),
  budgets: List(Budget),
) -> List(BudgetResult)

Evaluate one outcome list against one budget profile.

failed_budgets

pub fn failed_budgets(report: Report) -> Int

Failed budget count.

failed_scenarios

pub fn failed_scenarios(report: Report) -> Int

Failed scenario count.

invariant_failures

pub fn invariant_failures(report: Report) -> Int

Invariant failure count.

invariants_met

pub fn invariants_met(outcome: ScenarioOutcome) -> Bool

Scenario invariant accessor.

metrics_signature

pub fn metrics_signature(metrics: Metrics) -> String

Stable metrics signature.

nondeterministic_failures

pub fn nondeterministic_failures(report: Report) -> Int

Nondeterministic scenario count.

outcomes

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

Report outcomes accessor.

pass_fail_label

pub fn pass_fail_label(outcome: ScenarioOutcome) -> String

Stable pass/fail label.

profile_metrics

pub fn profile_metrics(outcome: ScenarioOutcome) -> Metrics

Scenario profile accessor.

report_signature

pub fn report_signature(report: Report) -> String

Stable report signature.

run_matrix

pub fn run_matrix() -> Report

Run all M37 scenarios and evaluate default contention budgets.

run_scenario

pub fn run_scenario(scenario: Scenario) -> ScenarioOutcome

Run one M37 scenario twice and require deterministic 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 accessor.

snapshot_report_markdown

pub fn snapshot_report_markdown() -> String

Deterministic markdown report for M37 fixture scripts.

snapshot_signature

pub fn snapshot_signature() -> String

Deterministic snapshot signature for M37 drift gates.

snapshot_version

pub const snapshot_version: Int