Validate scheduler concurrency invariants

Validates the canonical scheduler properties that must hold independently of worker completion timing or backend-specific telemetry.

Usage

validate_concurrency_stress_invariants(execution, planned_order)

Arguments

execution

A scheduler execution ledger.

planned_order

Character vector containing the canonical module order.

Value

`TRUE`, invisibly, when all invariants hold.