Attribute Macro lab_test 

#[lab_test]

Runs a deterministic lab-runtime test with optional seed matrices.

Supported function shapes:

#[lab_test]
fn raw_lab(lab: &mut asupersync::lab::LabRuntime) {
    // create tasks, advance virtual time, inspect lab state
}

#[lab_test(seeds = 0..16, chaos)]
async fn async_body(cx: &asupersync::cx::Cx) {
    // run under a root lab task with automatic quiescence/oracle checks
}