verdict_of

Callers 23

• honest_round_verifies_feasibility_and_conservation app-lattice_matching · name ×2
• offer_not_covering_next_want_refutes_feasibility app-lattice_matching · name
• cross_route_position_reuse_refutes_feasibility app-lattice_matching · name
• non_positive_offer_amount_refutes_feasibility app-lattice_matching · name
• empty_round_leaves_feasibility_out_of_scope_not_verified app-lattice_matching · name
• over_delivery_beyond_posted_offer_refutes_conservation app-lattice_matching · name
• missing_conservation_inputs_are_out_of_scope_not_verified app-lattice_matching · name
• decomposition_identities_verify_and_divergence_is_only_recorded app-lattice_matching · name
• broken_edge_split_refutes_conservation app-lattice_matching · name
• non_converged_flow_solve_leaves_energy_identity_out_of_scope app-lattice_matching · name
• i64_saturation_cannot_launder_an_over_delivery app-lattice_matching · name
• under_delivery_against_a_posted_want_is_disclosed_not_silently_covered app-lattice_matching · name
• the_shipped_call_sites_leave_the_hodge_half_out_of_scope app-lattice_matching · name
• negative_holonomy_on_a_skipped_route_refutes_no_blocking app-lattice_matching · name
• flat_holonomy_on_a_skipped_route_verifies_no_blocking app-lattice_matching · name
• positive_holonomy_on_a_skipped_route_verifies_no_blocking app-lattice_matching · name
• unfitted_arcs_make_no_blocking_out_of_scope_not_verified app-lattice_matching · name
• empty_priceable_domain_is_out_of_scope_and_says_vacuous app-lattice_matching · name
• structurally_skipped_templates_are_counted_and_never_pass app-lattice_matching · name
• a_non_stationary_covector_refutes_no_blocking_whatever_the_producer_says app-lattice_matching · name
• the_producer_convergence_flag_is_disclosed_not_adjudicated app-lattice_matching · name
• missing_pricing_inputs_are_out_of_scope_not_verified app-lattice_matching · name
• verifier_rejects_a_verdict_flipped_to_verified app-lattice_matching · name

Callees 0