test_approximate_control_integral_bias_counterexample (test_contract.EstimatorContract.test_approximate_control_integral_bias_counterexample) ... ok
test_control_gauge_preserves_every_sample_output (test_contract.EstimatorContract.test_control_gauge_preserves_every_sample_output) ... ok
test_enumerated_unbiasedness_arbitrarily_wrong_memory (test_contract.EstimatorContract.test_enumerated_unbiasedness_arbitrarily_wrong_memory) ... ok
test_exactly_learning_one_term_can_increase_realized_variance (test_contract.EstimatorContract.test_exactly_learning_one_term_can_increase_realized_variance) ... ok
test_frozen_snapshot_is_not_aliased_to_updated_memory (test_contract.EstimatorContract.test_frozen_snapshot_is_not_aliased_to_updated_memory) ... ok
test_future_query_risk_reduction (test_contract.EstimatorContract.test_future_query_risk_reduction) ... ok
test_gauge_is_proposal_dependent (test_contract.EstimatorContract.test_gauge_is_proposal_dependent) ... ok
test_hoeffding_covers_enumerated_small_case (test_contract.EstimatorContract.test_hoeffding_covers_enumerated_small_case) ... ok
test_metric_psd_and_posterior_identity (test_contract.EstimatorContract.test_metric_psd_and_posterior_identity) ... ok
test_perfect_control_zero_variance (test_contract.EstimatorContract.test_perfect_control_zero_variance) ... ok
test_proposal_full_support_in_all_trusted_case (test_contract.EstimatorContract.test_proposal_full_support_in_all_trusted_case) ... ok
test_same_sample_refitting_counterexample (test_contract.EstimatorContract.test_same_sample_refitting_counterexample) ... ok
test_sampling_oracle_api_and_bad_inputs (test_contract.EstimatorContract.test_sampling_oracle_api_and_bad_inputs) ... ok
test_signed_estimator_clipping_changes_mean (test_contract.EstimatorContract.test_signed_estimator_clipping_changes_mean) ... ok
test_two_sample_variance_matches_enumeration (test_contract.EstimatorContract.test_two_sample_variance_matches_enumeration) ... ok
test_zero_support_is_rejected (test_contract.EstimatorContract.test_zero_support_is_rejected) ... ok
test_epoch_rollover_drops_unrepresentable_provenance (test_contract.MemoryAndOracle.test_epoch_rollover_drops_unrepresentable_provenance) ... ok
test_exact_memory_survives_500_ticks (test_contract.MemoryAndOracle.test_exact_memory_survives_500_ticks) ... ok
test_geometry_revision_revokes_trust_preserves_fallible_value (test_contract.MemoryAndOracle.test_geometry_revision_revokes_trust_preserves_fallible_value) ... ok
test_invalid_canonical_addresses_and_scene_inputs_rejected (test_contract.MemoryAndOracle.test_invalid_canonical_addresses_and_scene_inputs_rejected) ... ok
test_malformed_checkpoint_rejected (test_contract.MemoryAndOracle.test_malformed_checkpoint_rejected) ... ok
test_observed_conflict_revokes_global_trust_after_batch (test_contract.MemoryAndOracle.test_observed_conflict_revokes_global_trust_after_batch) ... ok
test_physical_lighting_linearity (test_contract.MemoryAndOracle.test_physical_lighting_linearity) ... ok
test_physical_segment_hit_miss_and_beyond_emitter (test_contract.MemoryAndOracle.test_physical_segment_hit_miss_and_beyond_emitter) ... ok
test_portable_model_bounds_and_split (test_contract.MemoryAndOracle.test_portable_model_bounds_and_split) ... ok
test_repeated_ray_does_not_create_precision (test_contract.MemoryAndOracle.test_repeated_ray_does_not_create_precision) ... ok
test_roundtrip_and_namespace_guard (test_contract.MemoryAndOracle.test_roundtrip_and_namespace_guard) ... ok
test_screen_eviction_discards_hidden_evidence (test_contract.MemoryAndOracle.test_screen_eviction_discards_hidden_evidence) ... ok
test_covariance_contraction_all_readouts (test_innovation.InnovationTests.test_covariance_contraction_all_readouts) ... ok
test_enclosure_covers_all_binary_completions (test_innovation.InnovationTests.test_enclosure_covers_all_binary_completions) ... ok
test_epoch_resets_while_margin_can_survive (test_innovation.InnovationTests.test_epoch_resets_while_margin_can_survive) ... ok
test_exact_completion_fixed_budget (test_innovation.InnovationTests.test_exact_completion_fixed_budget) ... ok
test_exact_two_draw_enumeration (test_innovation.InnovationTests.test_exact_two_draw_enumeration) ... ok
test_false_zero_support_rejected_by_audit (test_innovation.InnovationTests.test_false_zero_support_rejected_by_audit) ... ok
test_float_oracle_matches_independent_quadratic (test_innovation.InnovationTests.test_float_oracle_matches_independent_quadratic) ... ok
test_invalid_budget_and_proposal (test_innovation.InnovationTests.test_invalid_budget_and_proposal) ... ok
test_known_only_control_and_support (test_innovation.InnovationTests.test_known_only_control_and_support) ... ok
test_motion_budget_is_conservative_on_return (test_innovation.InnovationTests.test_motion_budget_is_conservative_on_return) ... ok
test_moving_and_spatial_certificates_no_false_acceptance (test_innovation.InnovationTests.test_moving_and_spatial_certificates_no_false_acceptance) ... ok
test_no_rays_on_complete_state (test_innovation.InnovationTests.test_no_rays_on_complete_state) ... ok
test_readout_cross_covariance_is_psd (test_innovation.InnovationTests.test_readout_cross_covariance_is_psd) ... ok
test_roundtrip_and_namespace (test_innovation.InnovationTests.test_roundtrip_and_namespace) ... ok
test_unreported_motion_is_not_protected (test_innovation.InnovationTests.test_unreported_motion_is_not_protected) ... ok
test_upper_uniform_endpoint_never_selects_zero_support (test_innovation.InnovationTests.test_upper_uniform_endpoint_never_selects_zero_support) ... ok

----------------------------------------------------------------------
Ran 44 tests in 0.147s

OK