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

check_conservation

cre8_app_lattice_matching::certificate::conservation::check_conservation

fn · cre8-app-lattice_matching · crates/cre8-app-lattice_matching/src/certificate/conservation.rs:40 pub

501lines
48cyclomatic
3max nesting
149statements
0? exits
3params
4callers
8callees
1.2 (p85)call-graph weight

Crystal

no crystal was derived for this function

Call neighbourhood

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

name · 1 sitename · 1 sitename · 1 sitename · 1 sitename · 2 sitesname · 1 sitename · 1 sitename · 1 sitename · 2 sitespath · 1 sitepath · 13 sitesmethod · 8 sitespath · 11 sitesmethod · 9 sitesname · 2 sitesname · 1 sitename · 1 sitename · 1 sitemethod · 2 sitesbuild_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_certificatean_honest_round_authorises_…app-lattice_matching · cc 1cre8_app_lattice_matching::certificate::route_binding_tests::an_honest_round_authorises_every_lega_leg_naming_a_route_that_n…app-lattice_matching · cc 1cre8_app_lattice_matching::certificate::route_binding_tests::a_leg_naming_a_route_that_never_cleared_is_refuteda_leg_between_non_adjacent_…app-lattice_matching · cc 1cre8_app_lattice_matching::certificate::route_binding_tests::a_leg_between_non_adjacent_slots_is_refutedrecheck_roundapp-lattice_matching · cc 1cre8_app_lattice_matching::certificate::verify::recheck_roundconservation_ofapp-lattice_matching · cc 2cre8_app_lattice_matching::certificate::route_binding_tests::conservation_ofconservation_binds_legs_to_…app-lattice_matching · cc 2cre8_app_lattice_matching::certificate::tests::conservation_binds_legs_to_the_routes_that_clearedreduced_cost_sign_is_the_co…app-lattice_matching · cc 6cre8_app_lattice_matching::invariants::reduced_cost_sign_is_the_conservation_verdict_on_rank1_ringscheck_conservationapp-lattice_matching · cc 48cre8_app_lattice_matching::certificate::conservation::check_conservationaggregate_verdictapp-lattice_matching · cc 5cre8_app_lattice_matching::certificate::claim::aggregate_verdictCheckOutcome::newapp-lattice_matching · cc 1cre8_app_lattice_matching::certificate::claim::CheckOutcome::newleg_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_magnitudeCheckOutcome::out_of_scopeapp-lattice_matching · cc 1cre8_app_lattice_matching::certificate::claim::CheckOutcome::out_of_scopesorted_legsapp-lattice_matching · cc 1cre8_app_lattice_matching::certificate::conservation::sorted_legsunfitted_assets_in_legsapp-lattice_matching · cc 3cre8_app_lattice_matching::certificate::predicates::unfitted_assets_in_legsFinding::sort_keyapp-lattice_matching · cc 1cre8_app_lattice_matching::certificate::claim::Finding::sort_key

Control flow

Source not readable from this process.

Callers 4

Callees 8

Source not readable from this process.