| honest_roundsrc/certificate/tests.rs:109 | fn | 19 | 1 | 41 | 6 | 3.8 | |
| input_forsrc/certificate/tests.rs:149 | fn | 26 | 1 | 42 | 0 | 3.6 | |
| routesrc/certificate/tests.rs:51 | fn | 19 | 1 | 17 | 0 | 3 | |
| arc_ofsrc/certificate/tests.rs:16 | fn | 17 | 1 | 7 | 0 | 2.9 | |
| arc_map_ofsrc/certificate/tests.rs:34 | fn | 8 | 2 | 13 | 1 | 2.3 | |
| positionsrc/certificate/tests.rs:6 | fn | 9 | 1 | 17 | 0 | 2.2 | |
| verdict_ofsrc/certificate/tests.rs:184 | fn | 3 | 1 | 23 | 0 | 2 | |
| legsrc/certificate/tests.rs:71 | fn | 14 | 1 | 11 | 0 | 1.8 | |
| full_inputsrc/certificate/tests.rs:176 | fn | 7 | 1 | 11 | 3 | 1.5 | |
| potential_forsrc/certificate/tests.rs:97 | fn | 11 | 1 | 6 | 0 | 1.4 | |
| decomposition_oksrc/certificate/tests.rs:129 | fn | 19 | 1 | 11 | 0 | 1.2 | |
| round_with_skipped_routesrc/certificate/tests.rs:805 | fn | 30 | 1 | 10 | 6 | 1.2 | |
| matched_routessrc/certificate/tests.rs:836 | fn | 6 | 1 | 9 | 1 | 1.1 | |
| finding_codessrc/certificate/tests.rs:1427 | fn | 3 | 1 | 8 | 0 | 1.1 | |
| refuting_checkssrc/certificate/tests.rs:1423 | fn | 3 | 1 | 7 | 0 | 1 | |
| arc_map_reversedsrc/certificate/tests.rs:45 | fn | 5 | 1 | 1 | 1 | 0.6 | |
| honest_round_verifies_feasibility_and_conservationsrc/certificate/tests.rs:191 | fn | 10 | 1 | 0 | 5 | 0.5 | |
| every_feasibility_check_is_present_and_verified_on_an_honest_roundsrc/certificate/tests.rs:203 | fn | 22 | 2 | 0 | 4 | 0.5 | |
| offer_not_covering_next_want_refutes_feasibilitysrc/certificate/tests.rs:229 | fn | 30 | 1 | 0 | 9 | 0.5 | |
| cross_route_position_reuse_refutes_feasibilitysrc/certificate/tests.rs:261 | fn | 13 | 1 | 0 | 6 | 0.5 | |
| non_positive_offer_amount_refutes_feasibilitysrc/certificate/tests.rs:276 | fn | 11 | 1 | 0 | 7 | 0.5 | |
| negative_offer_amount_refutes_feasibilitysrc/certificate/tests.rs:289 | fn | 10 | 1 | 0 | 6 | 0.5 | |
| position_listed_in_two_slots_of_one_route_refutes_feasibilitysrc/certificate/tests.rs:301 | fn | 19 | 1 | 0 | 8 | 0.5 | |
| duplicate_position_ids_refute_feasibilitysrc/certificate/tests.rs:322 | fn | 9 | 1 | 0 | 5 | 0.5 | |
| route_listing_an_unknown_position_refutes_feasibilitysrc/certificate/tests.rs:333 | fn | 9 | 1 | 0 | 4 | 0.5 | |
| empty_round_leaves_feasibility_out_of_scope_not_verifiedsrc/certificate/tests.rs:344 | fn | 13 | 1 | 0 | 5 | 0.5 | |
| over_delivery_beyond_posted_offer_refutes_conservationsrc/certificate/tests.rs:361 | fn | 23 | 1 | 0 | 7 | 0.5 | |
| delivering_an_asset_never_offered_refutes_conservationsrc/certificate/tests.rs:386 | fn | 13 | 1 | 0 | 6 | 0.5 | |
| non_positive_leg_amount_refutes_conservationsrc/certificate/tests.rs:401 | fn | 13 | 1 | 0 | 6 | 0.5 | |
| delivering_an_asset_the_receiver_never_wanted_refutes_conservationsrc/certificate/tests.rs:416 | fn | 21 | 1 | 0 | 6 | 0.5 | |
| missing_conservation_inputs_are_out_of_scope_not_verifiedsrc/certificate/tests.rs:439 | fn | 14 | 1 | 0 | 6 | 0.5 | |
| decomposition_identities_verify_and_divergence_is_only_recordedsrc/certificate/tests.rs:455 | fn | 19 | 1 | 0 | 7 | 0.5 | |
| broken_edge_split_refutes_conservationsrc/certificate/tests.rs:476 | fn | 18 | 1 | 0 | 7 | 0.5 | |
| non_converged_flow_solve_leaves_energy_identity_out_of_scopesrc/certificate/tests.rs:496 | fn | 17 | 1 | 0 | 7 | 0.5 | |
| i64_saturation_cannot_launder_an_over_deliverysrc/certificate/tests.rs:531 | fn | 25 | 2 | 0 | 7 | 0.5 | |
| an_overflowing_delivery_total_is_reported_as_overflowsrc/certificate/tests.rs:562 | fn | 17 | 1 | 0 | 5 | 0.5 | |
| an_unmeasured_divergence_is_not_summed_into_a_balanced_zerosrc/certificate/tests.rs:590 | fn | 25 | 1 | 0 | 6 | 0.5 | |
| an_infinite_divergence_refutes_the_sum_checksrc/certificate/tests.rs:619 | fn | 14 | 1 | 0 | 6 | 0.5 | |
| duplicate_position_rows_cannot_pick_the_generous_offer_capsrc/certificate/tests.rs:643 | fn | 65 | 1 | 0 | 11 | 0.5 | |
| a_decomposition_narrower_than_the_legs_names_what_it_left_outsrc/certificate/tests.rs:717 | fn | 35 | 1 | 0 | 8 | 0.5 | |
| under_delivery_against_a_posted_want_is_disclosed_not_silently_coveredsrc/certificate/tests.rs:759 | fn | 17 | 1 | 0 | 5 | 0.5 | |
| the_shipped_call_sites_leave_the_hodge_half_out_of_scopesrc/certificate/tests.rs:781 | fn | 17 | 2 | 0 | 5 | 0.5 | |
| negative_holonomy_on_a_skipped_route_refutes_no_blockingsrc/certificate/tests.rs:844 | fn | 22 | 1 | 0 | 7 | 0.5 | |
| flat_holonomy_on_a_skipped_route_verifies_no_blockingsrc/certificate/tests.rs:868 | fn | 17 | 1 | 0 | 7 | 0.5 | |
| positive_holonomy_on_a_skipped_route_verifies_no_blockingsrc/certificate/tests.rs:887 | fn | 15 | 1 | 0 | 6 | 0.5 | |
| unfitted_arcs_make_no_blocking_out_of_scope_not_verifiedsrc/certificate/tests.rs:904 | fn | 21 | 1 | 0 | 10 | 0.5 | |
| a_priceable_route_beside_an_unpriced_one_still_verifies_and_says_how_many_were_skippedsrc/certificate/tests.rs:927 | fn | 23 | 1 | 0 | 7 | 0.5 | |
| empty_priceable_domain_is_out_of_scope_and_says_vacuoussrc/certificate/tests.rs:952 | fn | 12 | 1 | 0 | 5 | 0.5 | |
| structurally_skipped_templates_are_counted_and_never_passsrc/certificate/tests.rs:966 | fn | 15 | 1 | 0 | 6 | 0.5 | |
| a_non_stationary_covector_refutes_no_blocking_whatever_the_producer_sayssrc/certificate/tests.rs:987 | fn | 24 | 1 | 0 | 7 | 0.5 | |
| the_producer_convergence_flag_is_disclosed_not_adjudicatedsrc/certificate/tests.rs:1016 | fn | 22 | 1 | 0 | 7 | 0.5 | |
| stationarity_without_a_book_is_out_of_scope_not_verifiedsrc/certificate/tests.rs:1042 | fn | 13 | 1 | 0 | 3 | 0.5 | |
| missing_pricing_inputs_are_out_of_scope_not_verifiedsrc/certificate/tests.rs:1057 | fn | 10 | 1 | 0 | 5 | 0.5 | |
| epsilon_is_clamped_up_to_the_fit_tolerance_floorsrc/certificate/tests.rs:1069 | fn | 14 | 1 | 0 | 6 | 0.5 | |
| not_enumerated_round_discloses_that_nothing_was_looked_atsrc/certificate/tests.rs:1085 | fn | 10 | 1 | 0 | 3 | 0.5 | |
| certificate_is_byte_and_hash_deterministicsrc/certificate/tests.rs:1099 | fn | 22 | 1 | 0 | 7 | 0.5 | |
| hashmap_insertion_order_does_not_reach_the_hashsrc/certificate/tests.rs:1123 | fn | 17 | 1 | 0 | 5 | 0.5 | |
| route_order_does_not_reach_the_hashsrc/certificate/tests.rs:1142 | fn | 11 | 1 | 0 | 4 | 0.5 | |
| serde_round_trip_preserves_canonical_bytes_and_hashsrc/certificate/tests.rs:1155 | fn | 16 | 1 | 0 | 9 | 0.5 | |
| float_encoding_separates_nan_from_zero_and_normalises_signed_zerosrc/certificate/tests.rs:1173 | fn | 5 | 1 | 0 | 1 | 0.5 | |
| unmeasured_divergence_is_not_a_balanced_zero_in_the_preimagesrc/certificate/tests.rs:1180 | fn | 23 | 1 | 0 | 5 | 0.5 | |
| verifier_agrees_with_an_honest_certificatesrc/certificate/tests.rs:1207 | fn | 24 | 1 | 0 | 8 | 0.5 | |
| verifier_rejects_a_verdict_flipped_to_verifiedsrc/certificate/tests.rs:1233 | fn | 28 | 3 | 0 | 10 | 0.5 | |
| verifier_rejects_a_tampered_content_hashsrc/certificate/tests.rs:1263 | fn | 8 | 1 | 0 | 5 | 0.5 | |
| verifier_rejects_a_certificate_presented_over_a_different_roundsrc/certificate/tests.rs:1273 | fn | 13 | 1 | 0 | 7 | 0.5 | |
| verifier_rejects_an_inflated_examined_countsrc/certificate/tests.rs:1288 | fn | 13 | 1 | 0 | 7 | 0.5 | |
| aggregate_verdict_follows_the_stated_rulesrc/certificate/tests.rs:1305 | fn | 12 | 1 | 0 | 2 | 0.5 | |
| every_check_and_claim_carries_a_nonempty_reason_and_scopesrc/certificate/tests.rs:1319 | fn | 15 | 3 | 0 | 6 | 0.5 | |
| disclosures_are_sorted_unique_and_rendered_for_humanssrc/certificate/tests.rs:1336 | fn | 17 | 2 | 0 | 4 | 0.5 | |
| summary_names_all_three_claimssrc/certificate/tests.rs:1355 | fn | 8 | 1 | 0 | 4 | 0.5 | |
| tier_parse_prefers_the_longest_prefix_and_ranks_ascendsrc/certificate/tests.rs:1365 | fn | 17 | 2 | 0 | 1 | 0.5 | |
| requesting_a_higher_tier_downgrades_with_a_reasonsrc/certificate/tests.rs:1384 | fn | 11 | 1 | 0 | 4 | 0.5 | |
| offer_covers_sorted_matches_containment_semanticssrc/certificate/tests.rs:1397 | fn | 7 | 1 | 0 | 1 | 0.5 | |
| escape_is_injective_on_separator_characterssrc/certificate/tests.rs:1406 | fn | 6 | 1 | 0 | 1 | 0.5 | |
| arc_advertising_an_asset_the_position_never_posted_refutes_feasibilitysrc/certificate/tests.rs:1435 | fn | 40 | 1 | 0 | 6 | 0.5 | |
| arc_index_disagreeing_with_its_own_amount_map_refutes_feasibilitysrc/certificate/tests.rs:1481 | fn | 30 | 1 | 0 | 6 | 0.5 | |
| arc_understating_the_posted_want_refutes_feasibilitysrc/certificate/tests.rs:1515 | fn | 30 | 1 | 0 | 6 | 0.5 | |
| a_position_filed_under_two_arc_keys_refutes_feasibilitysrc/certificate/tests.rs:1550 | fn | 31 | 1 | 0 | 6 | 0.5 | |
| arc_for_a_position_absent_from_the_book_refutes_feasibilitysrc/certificate/tests.rs:1585 | fn | 30 | 1 | 0 | 6 | 0.5 | |
| arc_filed_under_a_foreign_key_refutes_feasibilitysrc/certificate/tests.rs:1620 | fn | 27 | 1 | 0 | 6 | 0.5 | |
| the_new_arc_checks_are_verified_and_non_vacuous_on_an_honest_roundsrc/certificate/tests.rs:1651 | fn | 16 | 2 | 0 | 2 | 0.5 | |
| a_position_spent_in_two_routes_sharing_one_id_refutes_feasibilitysrc/certificate/tests.rs:1675 | fn | 37 | 1 | 0 | 6 | 0.5 | |
| a_duplicated_position_id_makes_the_arc_unreconcilable_in_either_slice_ordersrc/certificate/tests.rs:1718 | fn | 28 | 1 | 0 | 5 | 0.5 | |
| conservation_binds_legs_to_the_routes_that_clearedsrc/certificate/tests.rs:1754 | fn | 31 | 2 | 0 | 4 | 0.5 | |