test_adjacent_equal_runs_are_non_canonical (test_codec.CodecTests.test_adjacent_equal_runs_are_non_canonical) ... ok
test_bad_marker_is_invalid (test_codec.CodecTests.test_bad_marker_is_invalid) ... ok
test_concurrent_replays_return_identical_bytes (test_codec.CodecTests.test_concurrent_replays_return_identical_bytes) ... ok
test_configured_decode_limit_precedes_output_allocation (test_codec.CodecTests.test_configured_decode_limit_precedes_output_allocation) ... ok
test_declared_length_mismatch_is_typed (test_codec.CodecTests.test_declared_length_mismatch_is_typed) ... ok
test_deterministic_property_corpus_round_trips (test_codec.CodecTests.test_deterministic_property_corpus_round_trips) ... ok
test_edge_case_round_trips (test_codec.CodecTests.test_edge_case_round_trips) ... ok
test_golden_vectors_are_exact_and_reversible (test_codec.CodecTests.test_golden_vectors_are_exact_and_reversible) ... ok
test_grid_capacity_is_enforced_by_decoder (test_codec.CodecTests.test_grid_capacity_is_enforced_by_decoder) ... ok
test_grid_capacity_is_enforced_by_encoder (test_codec.CodecTests.test_grid_capacity_is_enforced_by_encoder) ... ok
test_non_minimal_unsigned_integer_is_non_canonical (test_codec.CodecTests.test_non_minimal_unsigned_integer_is_non_canonical) ... ok
test_source_requires_immutable_bytes (test_codec.CodecTests.test_source_requires_immutable_bytes) ... ok
test_trailing_byte_is_non_canonical (test_codec.CodecTests.test_trailing_byte_is_non_canonical) ... ok
test_truncated_unsigned_integer_is_invalid (test_codec.CodecTests.test_truncated_unsigned_integer_is_invalid) ... ok
test_unsupported_flags_are_invalid (test_codec.CodecTests.test_unsupported_flags_are_invalid) ... ok
test_wrong_version_is_schema_mismatch (test_codec.CodecTests.test_wrong_version_is_schema_mismatch) ... ok
test_zero_run_length_is_invalid (test_codec.CodecTests.test_zero_run_length_is_invalid) ... ok
test_atomic_commit_failure_is_typed (test_exception_subroutines.ExceptionSubroutineTests.test_atomic_commit_failure_is_typed) ... ok
test_atomic_commit_writes_and_reads_back_exact_bytes (test_exception_subroutines.ExceptionSubroutineTests.test_atomic_commit_writes_and_reads_back_exact_bytes) ... ok
test_canonical_bytes_and_hash_are_deterministic (test_exception_subroutines.ExceptionSubroutineTests.test_canonical_bytes_and_hash_are_deterministic) ... ok
test_coordinate_out_of_range_is_rejected (test_exception_subroutines.ExceptionSubroutineTests.test_coordinate_out_of_range_is_rejected) ... ok
test_coordinate_zero_is_rejected_on_every_axis (test_exception_subroutines.ExceptionSubroutineTests.test_coordinate_zero_is_rejected_on_every_axis) ... ok
test_duplicate_occupancy_is_rejected (test_exception_subroutines.ExceptionSubroutineTests.test_duplicate_occupancy_is_rejected) ... ok
test_each_required_proof_field_changes_the_preimage (test_exception_subroutines.ExceptionSubroutineTests.test_each_required_proof_field_changes_the_preimage) ... ok
test_hash_mismatch_is_typed (test_exception_subroutines.ExceptionSubroutineTests.test_hash_mismatch_is_typed) ... ok
test_malformed_hash_is_invalid_state (test_exception_subroutines.ExceptionSubroutineTests.test_malformed_hash_is_invalid_state) ... ok
test_non_integer_coordinate_is_invalid_state (test_exception_subroutines.ExceptionSubroutineTests.test_non_integer_coordinate_is_invalid_state) ... ok
test_parent_proof_is_required_after_revision_zero (test_exception_subroutines.ExceptionSubroutineTests.test_parent_proof_is_required_after_revision_zero) ... ok
test_revision_conflict_is_typed (test_exception_subroutines.ExceptionSubroutineTests.test_revision_conflict_is_typed) ... ok
test_schema_mismatch_is_typed (test_exception_subroutines.ExceptionSubroutineTests.test_schema_mismatch_is_typed) ... ok
test_small_grid_accepts_each_unique_coordinate_once (test_exception_subroutines.ExceptionSubroutineTests.test_small_grid_accepts_each_unique_coordinate_once) ... ok
test_capacity_is_total_volume_minus_reserved_origin (test_mapping.CoordinateMappingTests.test_capacity_is_total_volume_minus_reserved_origin) ... ok
test_exhaustive_finite_maps_are_unique_and_reversible (test_mapping.CoordinateMappingTests.test_exhaustive_finite_maps_are_unique_and_reversible) ... ok
test_mapping_does_not_wrap_after_capacity (test_mapping.CoordinateMappingTests.test_mapping_does_not_wrap_after_capacity) ... ok
test_mutable_occupancy_registry_rejects_duplicate (test_mapping.CoordinateMappingTests.test_mutable_occupancy_registry_rejects_duplicate) ... ok
test_ordinal_must_be_one_based (test_mapping.CoordinateMappingTests.test_ordinal_must_be_one_based) ... ok
test_reserved_origin_has_no_ordinal (test_mapping.CoordinateMappingTests.test_reserved_origin_has_no_ordinal) ... ok

----------------------------------------------------------------------
Ran 37 tests in 1.687s

OK
