1 viewer
rust 1,859,989 · typescript 235,537 · javascript 132,952 · python 20,426 · 6,407 files · digest 4f42637fac12 · built in 1.2 s · crystals off
crates/cre8-app-matching/src/factor_graph.rs
Items
const INPUT_HASH_DOMAIN const UNIVERSE_HASH_DOMAIN const VARIABLE_HASH_DOMAIN const CONSTRAINT_HASH_DOMAIN const FACTOR_HASH_DOMAIN const RECEIPT_HASH_DOMAIN const TOPOLOGY_HASH_DOMAIN const SEPARATOR_QUOTIENT_HASH_DOMAIN enum StructuralVerificationError enum StructuralTopologyVerificationErrorV1 enum StructuralSeparatorQuotientVerificationErrorV1 struct UnionFind impl UnionFind
Functions
By call-graph weight (PageRank; 1.0 is the average function). 72 functions in all.
| function | kind | lines | cyclomatic | callers | callees | weight | crystal |
|---|---|---|---|---|---|---|---|
| domain_hashsrc/factor_graph.rs:1246 | fn | 5 | 1 | 7 | 2 | 7.6 | |
| analyze_structural_factorssrc/factor_graph.rs:69 | fn | 62 | 6 | 34 | 11 | 4.5 | |
| amountssrc/factor_graph.rs:1293 | fn | 3 | 1 | 1 | 0 | 2.5 | |
| intentsrc/factor_graph.rs:1297 | fn | 15 | 1 | 4 | 1 | 2.4 | |
| requestsrc/factor_graph.rs:1313 | fn | 14 | 1 | 13 | 1 | 2.1 | |
| receipt_digestsrc/factor_graph.rs:1240 | fn | 5 | 1 | 3 | 1 | 2 | |
| analyze_structural_topologysrc/factor_graph.rs:166 | fn | 37 | 6 | 11 | 3 | 1.9 | |
| plainsrc/factor_graph.rs:1415 | fn | 3 | 1 | 11 | 1 | 1.8 | |
| quotient_digestsrc/factor_graph.rs:791 | fn | 5 | 1 | 2 | 1 | 1.8 | |
| topology_digestsrc/factor_graph.rs:510 | fn | 5 | 1 | 3 | 1 | 1.8 | |
| modular_powsrc/factor_graph.rs:837 | fn | 11 | 3 | 1 | 0 | 1.7 | |
| verify_structural_analysissrc/factor_graph.rs:134 | fn | 26 | 8 | 6 | 3 | 1.5 | |
| all_omissionssrc/factor_graph.rs:1218 | fn | 17 | 1 | 1 | 0 | 1.5 | |
| relation_separatorssrc/factor_graph.rs:326 | fn | 53 | 6 | 1 | 2 | 1.4 | |
| miller_rabin_witnesssrc/factor_graph.rs:820 | fn | 16 | 6 | 1 | 1 | 1.4 | |
| reconstructsrc/factor_graph.rs:1129 | fn | 45 | 7 | 2 | 0 | 1.3 | |
| seal_quotient_receiptsrc/factor_graph.rs:787 | fn | 3 | 1 | 3 | 1 | 1.2 | |
| linked_path_requestsrc/factor_graph.rs:1377 | fn | 37 | 4 | 8 | 2 | 1.2 | |
| constraintsrc/factor_graph.rs:1073 | fn | 5 | 1 | 1 | 1 | 1.2 | |
| empty_receiptsrc/factor_graph.rs:1190 | fn | 27 | 1 | 2 | 1 | 1.2 | |
| seal_receiptsrc/factor_graph.rs:1236 | fn | 3 | 1 | 2 | 1 | 1.2 | |
| UnionFind::rootsrc/factor_graph.rs:1261 | method | 10 | 2 | 2 | 0 | 1.2 | |
| seal_topology_receiptsrc/factor_graph.rs:506 | fn | 3 | 1 | 2 | 1 | 1.1 | |
| articulation_region_coordinate_idssrc/factor_graph.rs:380 | fn | 34 | 8 | 1 | 0 | 1.1 | |
| articulation_region_coordinate_countssrc/factor_graph.rs:418 | fn | 87 | 19 | 1 | 0 | 1.1 | |
| analyze_structural_separator_quotientssrc/factor_graph.rs:518 | fn | 142 | 16 | 5 | 7 | 1.1 | |
| empty_topology_receiptsrc/factor_graph.rs:239 | fn | 14 | 1 | 1 | 0 | 1 | |
| factor_topologysrc/factor_graph.rs:254 | fn | 71 | 5 | 1 | 1 | 1 | |
| is_primesrc/factor_graph.rs:797 | fn | 22 | 5 | 1 | 1 | 1 | |
| visitsrc/factor_graph.rs:1864 | nested fn | 14 | 3 | 1 | 0 | 1 | |
| normalize_requestsrc/factor_graph.rs:849 | fn | 10 | 1 | 1 | 0 | 0.8 | |
| validate_requestsrc/factor_graph.rs:860 | fn | 129 | 24 | 1 | 1 | 0.8 | |
| forecast_worksrc/factor_graph.rs:990 | fn | 28 | 4 | 1 | 0 | 0.8 | |
| build_variablessrc/factor_graph.rs:1019 | fn | 21 | 4 | 1 | 1 | 0.8 | |
| build_constraintssrc/factor_graph.rs:1041 | fn | 31 | 8 | 1 | 1 | 0.8 | |
| connected_factorssrc/factor_graph.rs:1079 | fn | 49 | 6 | 1 | 3 | 0.8 | |
| out_of_scope_receiptsrc/factor_graph.rs:1175 | fn | 14 | 1 | 1 | 2 | 0.8 | |
| verify_structural_topologysrc/factor_graph.rs:206 | fn | 32 | 9 | 3 | 3 | 0.8 | |
| quotient_requestsrc/factor_graph.rs:1697 | fn | 7 | 1 | 4 | 1 | 0.8 | |
| UnionFind::newsrc/factor_graph.rs:1257 | method | 3 | 1 | 1 | 0 | 0.7 | |
| verify_structural_separator_quotientssrc/factor_graph.rs:661 | fn | 26 | 8 | 3 | 2 | 0.7 | |
| ratio_ring_requestsrc/factor_graph.rs:1328 | fn | 48 | 4 | 1 | 2 | 0.6 | |
| quotient_coordinate_domainsrc/factor_graph.rs:688 | fn | 59 | 8 | 1 | 1 | 0.6 | |
| normalize_quotient_requestsrc/factor_graph.rs:748 | fn | 9 | 2 | 1 | 0 | 0.6 | |
| empty_quotient_receiptsrc/factor_graph.rs:758 | fn | 17 | 1 | 1 | 0 | 0.6 | |
| unknown_quotient_receiptsrc/factor_graph.rs:776 | fn | 10 | 1 | 1 | 1 | 0.6 | |
| exhaustive_partitionssrc/factor_graph.rs:1863 | fn | 20 | 1 | 1 | 1 | 0.6 | |
| partition_respects_constraintssrc/factor_graph.rs:1884 | fn | 5 | 1 | 1 | 0 | 0.6 | |
| canonical_partitionsrc/factor_graph.rs:1890 | fn | 7 | 2 | 1 | 0 | 0.6 | |
| UnionFind::joinsrc/factor_graph.rs:1272 | method | 8 | 3 | 0 | 1 | 0.5 | |
| independent_two_by_two_is_an_exact_structural_productsrc/factor_graph.rs:1420 | fn | 11 | 1 | 0 | 4 | 0.5 | |
| modeled_variables_and_constraints_have_exactly_one_factor_ownersrc/factor_graph.rs:1433 | fn | 10 | 1 | 0 | 3 | 0.5 | |
| coupling_policies_prevent_a_false_product_claimsrc/factor_graph.rs:1445 | fn | 13 | 2 | 0 | 3 | 0.5 | |
| tiny_exhaustive_partition_oracle_agrees_with_componentssrc/factor_graph.rs:1460 | fn | 14 | 1 | 0 | 6 | 0.5 | |
| hashes_are_permutation_stable_and_receipt_round_tripssrc/factor_graph.rs:1476 | fn | 15 | 1 | 0 | 3 | 0.5 | |
| unresolved_or_invalid_semantics_are_out_of_scopesrc/factor_graph.rs:1493 | fn | 39 | 2 | 0 | 4 | 0.5 | |
| duplicate_ids_are_out_of_scopesrc/factor_graph.rs:1534 | fn | 7 | 1 | 0 | 3 | 0.5 | |
| budget_exhaustion_is_unknown_not_a_factor_claimsrc/factor_graph.rs:1543 | fn | 12 | 1 | 0 | 3 | 0.5 | |
| default_budget_ceiling_accepts_the_4096_coordinate_ratio_ring_and_refuses_one_over_budgetsrc/factor_graph.rs:1557 | fn | 28 | 1 | 0 | 3 | 0.5 | |
| topology_certifies_single_relation_separators_in_a_cross_position_chainsrc/factor_graph.rs:1587 | fn | 30 | 1 | 0 | 4 | 0.5 | |
| topology_does_not_call_a_relation_in_a_cycle_a_width_one_separatorsrc/factor_graph.rs:1619 | fn | 15 | 1 | 0 | 4 | 0.5 | |
| internal_ratio_coupling_without_cross_position_support_is_fringe_not_liquiditysrc/factor_graph.rs:1636 | fn | 17 | 1 | 0 | 4 | 0.5 | |
| unavailable_structural_analysis_withholds_every_topology_claimsrc/factor_graph.rs:1655 | fn | 15 | 1 | 0 | 3 | 0.5 | |
| topology_hash_and_base_receipt_binding_reject_tamperingsrc/factor_graph.rs:1672 | fn | 24 | 1 | 0 | 5 | 0.5 | |
| quantity_bounded_separator_quotients_are_exact_and_reconstruct_regionssrc/factor_graph.rs:1706 | fn | 22 | 2 | 0 | 6 | 0.5 | |
| separator_quotients_fail_closed_on_missing_witnesses_and_domain_capssrc/factor_graph.rs:1730 | fn | 31 | 2 | 0 | 5 | 0.5 | |
| finite_prime_witnesses_are_exact_and_request_order_is_irrelevantsrc/factor_graph.rs:1763 | fn | 25 | 1 | 0 | 6 | 0.5 | |
| separator_quotient_receipt_rejects_tampering_even_after_resealingsrc/factor_graph.rs:1790 | fn | 19 | 1 | 0 | 7 | 0.5 | |
| universe_expansion_changes_the_epochsrc/factor_graph.rs:1811 | fn | 10 | 1 | 0 | 3 | 0.5 | |
| observed_snapshots_do_not_claim_complement_closuresrc/factor_graph.rs:1823 | fn | 8 | 1 | 0 | 3 | 0.5 | |
| declared_closed_scope_requires_a_completeness_witnesssrc/factor_graph.rs:1833 | fn | 10 | 1 | 0 | 3 | 0.5 | |
| tampering_breaks_verificationsrc/factor_graph.rs:1845 | fn | 17 | 1 | 0 | 5 | 0.5 |
Source not readable from this process.