python -m unittest -v test_reliability test_models

test_added_failure (test_reliability.BoundTests.test_added_failure) ... ok
test_all (test_reliability.BoundTests.test_all) ... ok
test_bad_weights (test_reliability.BoundTests.test_bad_weights) ... ok
test_economics (test_reliability.BoundTests.test_economics) ... ok
test_gate (test_reliability.BoundTests.test_gate) ... ok
test_invalid (test_reliability.BoundTests.test_invalid) ... ok
test_missing_not_renormalized (test_reliability.BoundTests.test_missing_not_renormalized) ... ok
test_monotonic_successes (test_reliability.BoundTests.test_monotonic_successes) ... ok
test_none (test_reliability.BoundTests.test_none) ... ok
test_reference_96 (test_reliability.BoundTests.test_reference_96) ... ok
test_repeat (test_reliability.BoundTests.test_repeat) ... ok
test_upper_all (test_reliability.BoundTests.test_upper_all) ... ok
test_upper_zero (test_reliability.BoundTests.test_upper_zero) ... ok
test_zero (test_reliability.BoundTests.test_zero) ... ok
test_card_gate (test_reliability.ProfileTests.test_card_gate) ... ok
test_duplicate_claim_rejected (test_reliability.ProfileTests.test_duplicate_claim_rejected) ... ok
test_no_criteria_cannot_qualify (test_reliability.ProfileTests.test_no_criteria_cannot_qualify) ... ok
test_unknown_stress_not_dropped (test_reliability.ProfileTests.test_unknown_stress_not_dropped) ... ok
test_verifier_partition (test_reliability.ProfileTests.test_verifier_partition) ... ok
test_authority_revision (test_reliability.TransactionTests.test_authority_revision) ... ok
test_checkpoint_roundtrip (test_reliability.TransactionTests.test_checkpoint_roundtrip) ... ok
test_checkpoint_tamper (test_reliability.TransactionTests.test_checkpoint_tamper) ... ok
test_conflicting_workers (test_reliability.TransactionTests.test_conflicting_workers) ... ok
test_crash_reopen (test_reliability.TransactionTests.test_crash_reopen) ... ok
test_memory_correction_isolation_delete (test_reliability.TransactionTests.test_memory_correction_isolation_delete) ... ok
test_normal (test_reliability.TransactionTests.test_normal) ... ok
test_op_reuse_payload (test_reliability.TransactionTests.test_op_reuse_payload) ... ok
test_policy_revision (test_reliability.TransactionTests.test_policy_revision) ... ok
test_raw_timeout_is_uncertain (test_reliability.TransactionTests.test_raw_timeout_is_uncertain) ... ok
test_receipt_after_revocation_no_new_write (test_reliability.TransactionTests.test_receipt_after_revocation_no_new_write) ... ok
test_revoked_no_effect (test_reliability.TransactionTests.test_revoked_no_effect) ... ok
test_schema_rejected (test_reliability.TransactionTests.test_schema_rejected) ... ok
test_scope (test_reliability.TransactionTests.test_scope) ... ok
test_timeout_reconciles_once (test_reliability.TransactionTests.test_timeout_reconciles_once) ... ok
test_types_rejected (test_reliability.TransactionTests.test_types_rejected) ... ok
test_unknown_scope (test_reliability.TransactionTests.test_unknown_scope) ... ok
test_affected_missions (test_models.ModelTests.test_affected_missions) ... ok
test_budget_consumed (test_models.ModelTests.test_budget_consumed) ... ok
test_canary_queue (test_models.ModelTests.test_canary_queue) ... ok
test_claim_audit_separates_report_time_and_adjudication (test_models.ModelTests.test_claim_audit_separates_report_time_and_adjudication) ... ok
test_coverage_risk_unknown_and_lengths (test_models.ModelTests.test_coverage_risk_unknown_and_lengths) ... ok
test_duplicates (test_models.ModelTests.test_duplicates) ... ok
test_envelope_and_scope (test_models.ModelTests.test_envelope_and_scope) ... ok
test_envelope_membership (test_models.ModelTests.test_envelope_membership) ... ok
test_evaluator (test_models.ModelTests.test_evaluator) ... ok
test_false_completion (test_models.ModelTests.test_false_completion) ... ok
test_false_completion_accepts_preceding_verification (test_models.ModelTests.test_false_completion_accepts_preceding_verification) ... ok
test_false_completion_needs_same_mission_operation_and_pass (test_models.ModelTests.test_false_completion_needs_same_mission_operation_and_pass) ... ok
test_horizon_and_markov (test_models.ModelTests.test_horizon_and_markov) ... ok
test_incident_controls (test_models.ModelTests.test_incident_controls) ... ok
test_joint_and_redundancy (test_models.ModelTests.test_joint_and_redundancy) ... ok
test_labour_margin_and_break_even (test_models.ModelTests.test_labour_margin_and_break_even) ... ok
test_manifest_changes_with_content (test_models.ModelTests.test_manifest_changes_with_content) ... ok
test_mcnemar (test_models.ModelTests.test_mcnemar) ... ok
test_min_budget (test_models.ModelTests.test_min_budget) ... ok
test_radius_counterexample_is_not_below_one (test_models.ModelTests.test_radius_counterexample_is_not_below_one) ... ok
test_radius_fix_on_cycle (test_models.ModelTests.test_radius_fix_on_cycle) ... ok
test_radius_matches_independent_eigensolver (test_models.ModelTests.test_radius_matches_independent_eigensolver) ... ok
test_radius_nearly_critical (test_models.ModelTests.test_radius_nearly_critical) ... ok
test_radius_rejects_invalid_input (test_models.ModelTests.test_radius_rejects_invalid_input) ... ok
test_radius_sensitivity_ranking (test_models.ModelTests.test_radius_sensitivity_ranking) ... ok
test_radius_special_matrices (test_models.ModelTests.test_radius_special_matrices) ... ok
test_radius_teaching_values_retained (test_models.ModelTests.test_radius_teaching_values_retained) ... ok
test_radius_unknown_edges_stay_unknown (test_models.ModelTests.test_radius_unknown_edges_stay_unknown) ... ok
test_radius_upper_fixture_does_not_certify_decay (test_models.ModelTests.test_radius_upper_fixture_does_not_certify_decay) ... ok
test_radius_upper_is_conservative (test_models.ModelTests.test_radius_upper_is_conservative) ... ok
test_reconstructed_rate (test_models.ModelTests.test_reconstructed_rate) ... ok
test_reproduction_gap_symmetry_and_monotone (test_models.ModelTests.test_reproduction_gap_symmetry_and_monotone) ... ok
test_sample_size (test_models.ModelTests.test_sample_size) ... ok
test_sample_size_sawtooth_and_stable (test_models.ModelTests.test_sample_size_sawtooth_and_stable) ... ok
test_slo_and_mix (test_models.ModelTests.test_slo_and_mix) ... ok
test_sojourn_exceeds (test_models.ModelTests.test_sojourn_exceeds) ... ok
test_stall (test_models.ModelTests.test_stall) ... ok
test_subgroup_floor (test_models.ModelTests.test_subgroup_floor) ... ok
test_tail (test_models.ModelTests.test_tail) ... ok
test_transitions (test_models.ModelTests.test_transitions) ... ok
test_two_step_dependence_bounds (test_models.ModelTests.test_two_step_dependence_bounds) ... ok
test_two_step_feasible_correlation (test_models.ModelTests.test_two_step_feasible_correlation) ... ok
test_two_step_rejects_impossible_correlation (test_models.ModelTests.test_two_step_rejects_impossible_correlation) ... ok
test_value_and_debt (test_models.ModelTests.test_value_and_debt) ... ok

----------------------------------------------------------------------
Ran 80 tests

OK
