RepeatedVerificationScenario
Training scenarios · Implementation: mlsysim/engine/scenario_definitions/training.py.
Construct this scenario with keyword inputs. The fields below show the types and defaults declared by this class.
A timing-sensitive check repeated on one candidate, with an all-pass rule.
Notes
Equation: Composition of mlsysim.solvers.RepeatedVerificationModel.solve.
Assumptions: Inputs are routed to RepeatedVerificationModel.solve; their documented regimes and units apply to this configuration.
Excludes: Additional mechanisms beyond the linked solver contracts; the scenario does not collect measurements.
References
Derivation: This scenario binds named inputs to RepeatedVerificationModel. The linked solver contracts own equations, sources, and result-unit definitions.
Examples
Evaluate the named configuration and display a modeled result.
>>> from mlsysim import Scenarios
>>> case = Scenarios.FlakyRaceTestAllPassRule
>>> value = case.result.group_false_pass
>>> print(f"{value:.3g}")
0.972Attributes
| Name | Description |
|---|---|
| correct_pass | |
| group | |
| incorrect_pass | |
| result | Evaluate the stated repeated verification case through RepeatedVerificationModel.solve; returns its typed result and quantity units. |
| trials |
incorrect_pass
Type: float.
Declared default: required.
correct_pass
Type: float.
Declared default: required.
trials
Type: int.
Declared default: required.
group
Type: int.
Declared default: required.
result
engine.scenario_types.RepeatedVerificationScenario.result
Evaluate the stated repeated verification case through RepeatedVerificationModel.solve; returns its typed result and quantity units.
Calculation: mlsysim.solvers.RepeatedVerificationModel.solve.