Lab

class Lab(val scenarios: List<Scenario>, val dev: Set<String>, capsule: (String) -> String, val scenarioListSha256: String, open: Set<String> = emptySet(), val excluded: Set<String> = emptySet())(source)

The dev scenarios and their capsules. Test ids are refused here unless the lab was built with Unsealed, so no fit or evaluation path can reach a sealed scenario before the unseal.

Constructors

Link copied to clipboard
constructor(scenarios: List<Scenario>, dev: Set<String>, capsule: (String) -> String, scenarioListSha256: String, open: Set<String> = emptySet(), excluded: Set<String> = emptySet())

Types

Link copied to clipboard
object Companion

Properties

Link copied to clipboard
val dev: Set<String>
Link copied to clipboard
Link copied to clipboard
Link copied to clipboard
Link copied to clipboard

The dev capsule texts this lab reads, green then red per id in id order.

Link copied to clipboard
Link copied to clipboard

Functions

Link copied to clipboard
fun excluding(ids: Set<String>): Lab

The same lab without ids among its dev ids; they stay dev ids, never test ids.

Link copied to clipboard
fun observe(ids: List<String>, failure: (String) -> List<Symptom>? = { null }): List<Observed>

failure gives the observed failure of an id, or null to rank without one.

Link copied to clipboard
Link copied to clipboard

The passing and failing capsules of one scenario; a sealed id is refused.

Link copied to clipboard
fun reversed(): Lab

The same pairs read the other way round: red as the passing side, green as the failing.

Link copied to clipboard

The same pairs with every probe dropped, to measure what the probes add.