Skip to content
1 viewer

rust 1,860,549 · typescript 235,540 · javascript 132,956 · python 20,426 · 6,408 files · digest f04d4637f52b · built in 1.5 s · crystals off

recheck_round

cre8_app_lattice_matching::certificate::verify::recheck_round

fn · cre8-app-lattice_matching · crates/cre8-app-lattice_matching/src/certificate/verify.rs:12 pub documented

13lines
1cyclomatic
0max nesting
2statements
0? exits
1params
2callers
3callees
1.1 (p83)call-graph weight

Crystal

no crystal was derived for this function

Call neighbourhood

Callers left, callees right, two hops each way (2 direct callers, 3 direct callees; the heaviest shown). Dashed edges are method calls resolved by name alone.

path · 1 sitepath · 1 sitename · 1 sitename · 1 sitename · 2 sitesname · 1 sitename · 1 sitename · 1 sitename · 1 sitename · 1 sitename · 1 sitename · 1 sitename · 1 sitename · 1 sitename · 1 sitename · 1 sitename · 1 sitepath · 27 sitesmethod · 7 sitespath · 12 sitesname · 1 sitename · 2 sitespath · 10 sitesmethod · 4 sitesmethod · 4 sitespath · 7 sitesname · 2 sitesmethod · 2 sitesname · 1 sitename · 3 sitespath · 13 sitesmethod · 8 sitespath · 11 sitesname · 2 sitesname · 1 sitename · 1 sitecertificate_forapp-lattice_matching · cc 1cre8_app_lattice_matching::view_lattice::tests::certificate_forbuild_v4_certificateapp-lattice_matching · cc 1cre8_app_lattice_matching::matcher::build_v4_certificatean_unmeasured_divergence_su…app-lattice_matching · cc 3cre8_app_lattice_matching::certificate::adversarial_scope_tests::an_unmeasured_divergence_survives_the_json_round_trip_it_is_persisted_overa_non_finite_finding_magnit…app-lattice_matching · cc 1cre8_app_lattice_matching::certificate::adversarial_scope_tests::a_non_finite_finding_magnitude_survives_the_json_round_tripa_certificate_carrying_an_u…app-lattice_matching · cc 1cre8_app_lattice_matching::certificate::adversarial_scope_tests::a_certificate_carrying_an_unmeasured_value_equals_itself_and_verifies_against_its_own_roundthe_recorded_tolerances_are…app-lattice_matching · cc 2cre8_app_lattice_matching::certificate::adversarial_scope_tests::the_recorded_tolerances_are_the_ones_the_checks_actually_useda_wide_book_hashes_identica…app-lattice_matching · cc 2cre8_app_lattice_matching::certificate::adversarial_scope_tests::a_wide_book_hashes_identically_under_reversed_insertion_ordertwo_builds_over_one_input_a…app-lattice_matching · cc 1cre8_app_lattice_matching::certificate::adversarial_scope_tests::two_builds_over_one_input_are_identical_including_the_disclosure_texta_verified_no_blocking_clai…app-lattice_matching · cc 1cre8_app_lattice_matching::certificate::adversarial_scope_tests::a_verified_no_blocking_claim_still_carries_its_scope_limit_in_writinga_truncated_enumerated_list…app-lattice_matching · cc 1cre8_app_lattice_matching::certificate::adversarial_scope_tests::a_truncated_enumerated_list_is_not_detected_but_is_disclosedbuild_clearing_certificateapp-lattice_matching · cc 3cre8_app_lattice_matching::certificate::verify::build_clearing_certificateverify_clearing_certificateapp-lattice_matching · cc 15cre8_app_lattice_matching::certificate::verify::verify_clearing_certificaterecheck_roundapp-lattice_matching · cc 1cre8_app_lattice_matching::certificate::verify::recheck_roundcheck_feasibilityapp-lattice_matching · cc 63cre8_app_lattice_matching::certificate::feasibility::check_feasibilitycheck_no_blocking_templateapp-lattice_matching · cc 43cre8_app_lattice_matching::certificate::pricing::check_no_blocking_templatecheck_conservationapp-lattice_matching · cc 48cre8_app_lattice_matching::certificate::conservation::check_conservationroute_reduced_costapp-lattice_matching · cc 3cre8_app_lattice_matching::certificate::predicates::route_reduced_costFinding::sort_keyapp-lattice_matching · cc 1cre8_app_lattice_matching::certificate::claim::Finding::sort_keyaggregate_verdictapp-lattice_matching · cc 5cre8_app_lattice_matching::certificate::claim::aggregate_verdictroute_surplusapp-lattice_matching · cc 1cre8_app_lattice_matching::certificate::predicates::route_surplusoffer_covers_sortedapp-lattice_matching · cc 5cre8_app_lattice_matching::certificate::predicates::offer_covers_sortedCheckOutcome::newapp-lattice_matching · cc 1cre8_app_lattice_matching::certificate::claim::CheckOutcome::newEnumerationScope::enumerate…app-lattice_matching · cc 3cre8_app_lattice_matching::certificate::input::EnumerationScope::enumerated_countleg_authorised_byapp-lattice_matching · cc 4cre8_app_lattice_matching::certificate::conservation::leg_authorised_byFinding::newapp-lattice_matching · cc 1cre8_app_lattice_matching::certificate::claim::Finding::newFinding::with_magnitudeapp-lattice_matching · cc 1cre8_app_lattice_matching::certificate::claim::Finding::with_magnitude

Control flow

Source not readable from this process.

Callers 2

Callees 3

Source not readable from this process.