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

crates/cre8-app-matching/src/coherence_basis.rs

cre8-app-matching · module coherence_basis · src · 1,749 lines (1,671 code, 8 comment) · sha 144cc1b48d2fcfd1

Items

const REQUEST_HASH_DOMAIN const BICLIQUE_HASH_DOMAIN const CHART_CLASS_HASH_DOMAIN const SCC_ID_DOMAIN const EQUATION_HASH_DOMAIN const SCC_BASIS_HASH_DOMAIN const DAG_POTENTIAL_HASH_DOMAIN const DAG_MERGE_HASH_DOMAIN const WITNESS_ORDER_HASH_DOMAIN const RECEIPT_HASH_DOMAIN enum StructuralCoherenceBasisVerificationErrorV1 type BasisError type WitnessKey struct ClassAccumulator struct BasisEdge struct PotentialInternal struct SccInternal struct InterSccEdge struct Fixture

Functions

By call-graph weight (PageRank; 1.0 is the average function). 47 functions in all.

functionkindlinescyclomaticcallerscalleesweightcrystal
domain_hashsrc/coherence_basis.rs:1273fn511023.9
witness_keysrc/coherence_basis.rs:1215fn31301.4
analyze_structural_coherence_basissrc/coherence_basis.rs:45fn454681.2
receipt_digestsrc/coherence_basis.rs:1267fn51211.2
certify_transitionssrc/coherence_basis.rs:997fn252321.2
distinct_pair_countsrc/coherence_basis.rs:376fn161211.1
charge_chart_path_worksrc/coherence_basis.rs:1023fn343201.1
basis_requestsrc/coherence_basis.rs:1439fn191511
derive_chart_class_accumulatorssrc/coherence_basis.rs:393fn397221
positions_by_chartsrc/coherence_basis.rs:433fn162100.9
reciprocal_fixturesrc/coherence_basis.rs:1373fn281490.9
amountssrc/coherence_basis.rs:1295fn31100.8
normalize_requestsrc/coherence_basis.rs:1207fn71220.8
diamond_fixturesrc/coherence_basis.rs:1402fn361290.7
verify_structural_coherence_basissrc/coherence_basis.rs:91fn5013240.7
charts_for_positionssrc/coherence_basis.rs:362fn132100.7
derive_scc_basissrc/coherence_basis.rs:625fn1426180.7
derive_dag_basissrc/coherence_basis.rs:827fn11710150.7
strongly_connected_componentssrc/coherence_basis.rs:1122fn5613100.7
intentsrc/coherence_basis.rs:1299fn151220.7
analysis_requestsrc/coherence_basis.rs:1315fn201210.7
chartsrc/coherence_basis.rs:1336fn81220.7
transitionsrc/coherence_basis.rs:1345fn181230.7
derive_basissrc/coherence_basis.rs:180fn734170.6
empty_receiptsrc/coherence_basis.rs:1219fn311100.6
withholdsrc/coherence_basis.rs:1251fn71100.6
chart_projection_error_detailsrc/coherence_basis.rs:1259fn31100.6
seal_receiptsrc/coherence_basis.rs:1263fn31110.6
push_dag_potentialsrc/coherence_basis.rs:945fn382110.6
topological_scc_ordersrc/coherence_basis.rs:1179fn277100.6
derive_bicliquessrc/coherence_basis.rs:254fn1078130.6
validate_witness_setsrc/coherence_basis.rs:450fn497110.6
materialize_chart_classessrc/coherence_basis.rs:500fn423110.6
derive_factor_basissrc/coherence_basis.rs:544fn8010130.6
push_equationsrc/coherence_basis.rs:769fn563110.6
certify_edge_pathsrc/coherence_basis.rs:984fn121110.6
concatenate_certificatessrc/coherence_basis.rs:1058fn51100.6
spanning_predecessorssrc/coherence_basis.rs:1067fn278110.6
path_from_rootsrc/coherence_basis.rs:1095fn112100.6
path_to_rootsrc/coherence_basis.rs:1107fn142100.6
exhaustive_routing_requestsrc/coherence_basis.rs:1459fn698110.6
basis_certifies_reciprocal_exchange_and_matches_exhaustive_oraclesrc/coherence_basis.rs:1530fn561070.5
basis_rejects_nonidentity_scc_and_noncommuting_dag_mergesrc/coherence_basis.rs:1588fn391040.5
basis_certifies_commuting_diamond_without_path_enumerationsrc/coherence_basis.rs:1629fn161030.5
symbolic_biclique_compresses_ten_thousand_position_pairssrc/coherence_basis.rs:1647fn293010.5
basis_withholds_missing_witness_and_rejects_tamperingsrc/coherence_basis.rs:1678fn461040.5
basis_withholds_when_cumulative_transition_work_exceeds_budgetsrc/coherence_basis.rs:1726fn231030.5

Source not readable from this process.