running 161 tests
test bound::tests::atom_has_zero_bound ... ok
test bound::tests::call_is_dynamic ... ok
test bound::tests::branch_takes_max_of_arms ... ok
test bound::tests::compose_is_dynamic ... ok
test bound::tests::hash_costs_25_plus_inner ... ok
test bound::tests::inv_costs_64_plus_inner ... ok
test bound::tests::dynamic_propagates_through_parents ... ok
test data::tests::atom_allocation ... ok
test data::tests::digest_on_invalid_id_returns_none ... ok
test bound::tests::quote_has_bound_one ... ok
test data::tests::get_out_of_bounds_returns_none ... ok
test data::tests::hash_consing_atoms ... ok
test bound::tests::lt_costs_64_plus_subbounds ... ok
test bound::tests::axis_has_bound_one ... ok
test bound::tests::add_sums_subbounds ... ok
test data::tests::hash_consing_pairs ... ok
test data::tests::hash_data_roundtrip ... ok
test data::tests::pair_allocation ... ok
test data::tests::hash_data_is_hash_consed ... ok
test data::tests::read_hash_data_on_atom_returns_none ... ok
test encode::tests::atom_encode_decode_roundtrip ... ok
test data::tests::read_hash_data_on_wrong_shape_returns_none ... ok
test data::tests::order_full_returns_none ... ok
test encode::tests::encode_tree_shared_child_deduplication ... ok
test encode::tests::content_id_pair_matches_recompute ... ok
test encode::tests::encode_tree_topological_order ... ok
test encode::tests::field_out_of_range_rejected ... ok
test encode::tests::invalid_length_rejected ... ok
test encode::tests::field_and_word_value_share_identity ... ok
test encode::tests::pair_encode_decode_roundtrip ... ok
test encode::tests::particle_id_matches_order_hash ... ok
test encode::tests::particle_is_deterministic ... ok
test encode::tests::wire_hash_mismatch_rejected ... ok
test encode::tests::wire_pair_roundtrip ... ok
test encode::tests::wire_push_roundtrip ... ok
test encode::tests::wire_request_roundtrip ... ok
test jets::decider::tests::decider_exhausted_budget_halts ... ok
test jets::decider::tests::decider_with_null_calls_returns_zero ... ok
test jets::formulas::tests::ntt_formula_hash_is_stable ... ok
test jets::fri_fold::tests::single_element_returns_itself ... ok
test jets::fri_fold::tests::two_elements_at_r_zero_returns_left ... ok
test jets::fri_fold::tests::four_elements_fold_two_levels ... ok
test jets::fri_fold::tests::two_elements_at_r_one_returns_right ... ok
test jets::merkle_verify::tests::valid_left_leaf_returns_one ... ok
test jets::merkle_verify::tests::budget_exhaustion_halts ... ok
test jets::ntt::tests::ntt_size_one_is_identity ... ok
test jets::formulas::tests::merkle_formula_wrong_leaf_returns_zero ... ok
test jets::poly_eval::tests::budget_exhaustion ... ok
test jets::merkle_verify::tests::valid_right_leaf_returns_one ... ok
test jets::poly_eval::tests::at_one_returns_second_eval ... ok
test jets::registry::tests::empty_registry_returns_none ... ok
test jets::ntt::tests::ntt_size_two_butterfly ... ok
test jets::poly_eval::tests::at_zero_returns_first_eval ... ok
test jets::registry::tests::insert_and_lookup_exact ... ok
test jets::formulas::tests::merkle_formula_hash_is_stable ... ok
test jets::merkle_verify::tests::wrong_leaf_returns_zero ... ok
test jets::formulas::tests::poly_eval_formula_at_one ... ok
test jets::formulas::tests::poly_eval_formula_at_zero ... ok
test jets::registry::tests::sorted_insert_maintains_binary_search ... ok
test jets::registry::tests::template_predicate_matches ... ok
test parallel::tests::path_step_order_is_total ... ok
test jets::state::tests::budget_zero_halts ... ok
test jets::poly_eval::tests::two_vars_at_one_one ... ok
test jets::formulas::tests::merkle_formula_valid_path_returns_one ... ok
test parallel::tests::structural_index_push_pop ... ok
test jets::state::tests::cyberlink_with_null_calls_returns_zero ... ok
test jets::state::tests::transfer_with_null_calls_returns_zero ... ok
test patterns::add::tests::add_field_elements ... ok
test jets::poly_eval::tests::two_vars_at_origin ... ok
test parallel::tests::reduce_parallel_matches_reduce_on_add ... ok
test jets::ntt::tests::budget_exhaustion_halts ... ok
test patterns::add::tests::add_field_boundary ... ok
test patterns::and::tests::and_bit_witnesses_match_packed ... ok
test patterns::add::tests::add_wraps_at_field_boundary ... ok
test patterns::add::tests::add_zero_identity ... ok
test jets::state::tests::predicates_match_correct_tags ... ok
test jets::formulas::tests::poly_eval_formula_two_vars_at_half ... ok
test patterns::and::tests::and_basic ... ok
test patterns::and::tests::and_emits_32_rows ... ok
test patterns::axis::tests::axis_head ... ok
test patterns::and::tests::and_with_zero ... ok
test parallel::tests::reduce_parallel_trace_matches_reduce_on_hash ... ok
test patterns::axis::tests::axis_on_atom_errors ... ok
test patterns::axis::tests::axis_deep_navigation ... ok
test patterns::axis::tests::axis_identity ... ok
test patterns::axis::tests::axis_tail ... ok
test patterns::axis::tests::budget_zero_halts_immediately ... ok
test patterns::axis::tests::axis_zero_hash_introspection ... ok
test patterns::call::tests::call_accepts_zero_check ... ok
test patterns::call::tests::call_accepts_valid_witness ... ok
test patterns::call::tests::call_null_provider_halts ... ok
test patterns::branch::tests::branch_nonzero_takes_no ... ok
test patterns::call::tests::call_success_row_carries_the_value_zero_not_the_order ... ok
test patterns::compose::tests::compose_chains_reductions ... ok
test patterns::branch::tests::branch_zero_takes_yes ... ok
test patterns::call::tests::call_rejected_on_bad_witness ... ok
test patterns::eq::tests::eq_equal_returns_zero ... ok
test patterns::eq::tests::eq_pairs_different_returns_one ... ok
test patterns::cons::tests::cons_builds_pair ... ok
test patterns::eq::tests::eq_pairs_structurally_equal_returns_zero ... ok
test patterns::eq::tests::eq_unequal_returns_one ... ok
test patterns::eq::tests::eq_pairs_unequal_r7_nonzero ... ok
test patterns::axis::tests::axis_zero_hash_on_pair ... ok
test jets::formulas::tests::fri_fold_formula_hash_is_stable ... ok
test patterns::eq::tests::eq_pairs_equal_r7_zero ... ok
test patterns::inv::tests::inv_emits_64_rows ... ok
test patterns::inv::tests::inv_neg_one_is_self ... ok
test patterns::inv::tests::inv_nonzero ... ok
test patterns::hash::tests::hash_emits_25_rows ... ok
test patterns::hash::tests::hash_returns_pair_of_pairs ... ok
test patterns::hash::tests::hash_squeeze_row_carries_result ... ok
test patterns::hash::tests::hash_round_counter_increments ... ok
test patterns::inv::tests::inv_zero_errors ... ok
test jets::formulas::tests::poly_eval_formula_hash_is_stable ... ok
test patterns::hash::tests::hash_deterministic ... ok
test patterns::look::tests::look_object_atom_returns_unavailable ... ok
test patterns::inv::tests::inv_round_trip_for_boundary_values ... ok
test patterns::lt::tests::lt_equal_returns_one ... ok
test patterns::look::tests::look_passes_commitment_to_provider ... ok
test patterns::lt::tests::lt_bit_witnesses_correct ... ok
test patterns::lt::tests::lt_emits_64_rows ... ok
test patterns::lt::tests::lt_greater_returns_one ... ok
test patterns::lt::tests::lt_less_returns_zero ... ok
test patterns::look::tests::look_with_value_returns_atom ... ok
test patterns::mul::tests::mul_field_elements ... ok
test patterns::look::tests::look_deterministic ... ok
test patterns::look::tests::look_null_provider_returns_unavailable ... ok
test patterns::not::tests::not_bit_witnesses ... ok
test patterns::mul::tests::mul_neg_one_squared_is_one ... ok
test patterns::mul::tests::mul_zero ... ok
test patterns::not::tests::not_emits_32_rows ... ok
test patterns::mul::tests::mul_field_boundary ... ok
test patterns::not::tests::not_pattern ... ok
test patterns::quote::tests::quote_returns_literal ... ok
test patterns::not::tests::not_zero_gives_all_ones ... ok
test patterns::shl::tests::shl_basic ... ok
test patterns::shl::tests::shl_bit_witnesses_correct ... ok
test patterns::look::tests::look_namespace_out_of_range ... ok
test patterns::shl::tests::shl_masks_to_32_bits ... ok
test patterns::look::tests::look_deterministic_across_orders ... ok
test reduce::tests::_vec_used ... ok
test patterns::sub::tests::sub_field_elements ... ok
test reduce::tests::cost_table_length_matches_dispatch ... ok
test reduce::tests::cost_table_multi_row_values ... ok
test reduce::tests::atom_formula_is_malformed_and_records_row ... ok
test reduce::tests::budget_below_cost_halts_and_records_row ... ok
test patterns::sub::tests::sub_underflow_wraps ... ok
test patterns::sub::tests::sub_field_boundary ... ok
test patterns::xor::tests::xor_basic ... ok
test patterns::xor::tests::xor_bit_witnesses_match_packed ... ok
test patterns::inv::tests::inv_round_trip_property ... ok
test patterns::shl::tests::shl_emits_32_rows ... ok
test reduce::tests::malformed_compose_continuation_returns_malformed ... ok
test reduce::tests::ok_variant_returns_result ... ok
test patterns::xor::tests::xor_self_is_zero ... ok
test patterns::xor::tests::xor_emits_32_rows ... ok
test patterns::shl::tests::shl_large_shifts_clamp_to_zero ... ok
test patterns::shl::tests::shl_overflow_clamps_to_zero ... ok
test jets::formulas::tests::genesis_formulas_have_distinct_hashes ... ok
test jets::registry::tests::genesis_digests_are_deterministic ... ok
test bound::tests::bound_lookup_is_constant_time_under_deep_nesting ... ok
test result: ok. 161 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.08s
running 0 tests
test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
running 0 tests
test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s