MCPcopy Create free account

hub / github.com/corca-ai/nose / functions

Functions12,346 in github.com/corca-ai/nose

⨍ Functions 12,346◇ Types & classes 1,166
↓ 3 callersFunctionderived_features
(family: dict[str, Any])
bench/labels/default_head_taxonomy.py:508
↓ 3 callersFunctiondetect_incremental
( streams: &[Stream], min_tokens: usize, min_lines: u32, trace_accepted_coverage: bool, pr
crates/nose-detect/src/contiguous/incremental.rs:47
↓ 3 callersFunctiondirect_async_function_protocol_boundary
(il: &Il, target_root: NodeId)
crates/nose-normalize/src/call_target_evidence.rs:154
↓ 3 callersFunctiondirect_function_call_target_at_call
( il: &Il, interner: &Interner, call: NodeId, target_root: NodeId, )
crates/nose-semantics/src/evidence/call_target.rs:3
↓ 3 callersMethoddirect_function_has_async_protocol
(&self, root: NodeId)
crates/nose-normalize/src/value_graph/inline.rs:490
↓ 3 callersFunctiondirect_method_target_record
( il: &Il, interner: &Interner, id: EvidenceId, call: NodeId, target: NodeId, method:
crates/nose-normalize/src/call_target_evidence/tests/support.rs:104
↓ 3 callersFunctiondirect_return_call_fixture
(kind: DirectReturnKind)
crates/nose-normalize/src/call_target_evidence/tests/direct.rs:265
↓ 3 callersFunctiondirect_targets
( family: &RefactorFamily, base_root: &Path, lines: &mut FileLineCache, changed: &HashMap<Stri
crates/nose-cli/src/divergence/targets.rs:9
↓ 3 callersFunctiondisplay_command
(command: list[str | Path])
bench/labels/missed_worthy_stage_audit.py:58
↓ 3 callersFunctiondomain_dependency_id_for_receiver_requirement
( il: &Il, interner: &Interner, receiver: NodeId, requirement: DomainRequirement, cache: &
crates/nose-semantics/src/library_api/receiver_dependencies/domain.rs:28
↓ 3 callersFunctiondomain_evidence_for_binding_lhs
( il: &Il, interner: &Interner, lhs: NodeId, )
crates/nose-semantics/src/evidence/domain.rs:145
↓ 3 callersFunctiondomain_pool
(domain: Option<DomainEvidence>, probes: &[Value])
crates/nose-cli/src/falsify/domains.rs:92
↓ 3 callersFunctiondomains_are_hosted
(rec: &VerifyRec)
crates/nose-cli/src/verify_soundness.rs:45
↓ 3 callersFunctiondomains_are_hosted_with_projections
( lang: Lang, domains: &[Option<DomainEvidence>], projections: &[nose_detect::OracleInputProjectio
crates/nose-cli/src/falsify/domains.rs:174
↓ 3 callersMethodemit_stmt
Emit a statement into `out`, applying block flattening and loop / control desugaring that needs to insert sibling statements.
crates/nose-normalize/src/desugar.rs:84
↓ 3 callersFunctionenclosing_unit_indices
(units: &[UnitFeat])
crates/nose-detect/src/locations.rs:141
↓ 3 callersFunctionenclosing_unit_of
(parent: &UnitFeat)
crates/nose-detect/src/locations.rs:50
↓ 3 callersMethodeval_filter_count
( &mut self, filter_node: NodeId, env: &FxHashMap<u32, ValueId>, )
crates/nose-normalize/src/value_graph/collections/library_calls.rs:16
↓ 3 callersMethodeval_filter_map_output
( &mut self, node: NodeId, env: &mut FxHashMap<u32, ValueId>, )
crates/nose-normalize/src/value_graph/collections/hof.rs:406
↓ 3 callersMethodeval_len_value
(&mut self, value: ValueId)
crates/nose-normalize/src/value_graph/collections/cardinality.rs:112
↓ 3 callersFunctioneval_proven_collection_op
( il: &Il, interner: &Interner, call: NodeId, )
crates/nose-normalize/src/value_graph/tests/support/library_api.rs:431
↓ 3 callersFunctionevaluate
Evaluate the detector's candidate scores against a labeled golden.
crates/nose-markdown/src/eval.rs:161
↓ 3 callersFunctionevaluate_gate
( report: dict[str, Any], *, same_binary_control: dict[str, Any] | None = None, expected_drift
scripts/check-query-regression.py:1008
↓ 3 callersFunctionevidence_by_id
(il: &Il, id: nose_il::EvidenceId)
crates/nose-frontend/src/js_ts/tests/support.rs:162
↓ 3 callersFunctionevidence_for
(source: &str, packs: &SemanticPackSet)
crates/nose-frontend/src/semantic_pack_evidence_tests.rs:16
↓ 3 callersFunctionexact_effect_evidence_for_node
(il: &Il, node: NodeId)
crates/nose-semantics/src/effects.rs:157
↓ 3 callersFunctionexact_expr_statement_fragment_root
(il: &Il, node: NodeId)
crates/nose-detect/src/units/fragments.rs:165
↓ 3 callersFunctionexact_index_assignment_consumes_temp
( il: &Il, stmt: NodeId, temp_cid: u32, forbidden_cids: Option<&FxHashSet<u32>>, )
crates/nose-detect/src/units/fragments/sequence.rs:558
↓ 3 callersFunctionexact_index_assignment_fragment_root
(il: &Il, node: NodeId)
crates/nose-detect/src/units/fragments/assignment.rs:32
↓ 3 callersFunctionexact_java_this_field
Exact self-field place proof for receiver-aware field-write fingerprints.
crates/nose-semantics/src/effects.rs:332
↓ 3 callersFunctionexact_keys
(value: dict[str, Any], keys: set[str], label: str)
eval/divergence_fire/precision_protocol.py:1015
↓ 3 callersFunctionexact_non_overloadable_index_assignment
(il: &Il, node: NodeId)
crates/nose-semantics/src/effects.rs:394
↓ 3 callersFunctionexact_single_item_append_call
(il: &Il, interner: &Interner, call: NodeId)
crates/nose-detect/src/units/fragments/sequence.rs:346
↓ 3 callersFunctionexact_value_rich
(value_len: usize)
crates/nose-detect/src/exact_policy.rs:11
↓ 3 callersMethodexcluded
(&self)
crates/nose-cli/src/verify_census.rs:61
↓ 3 callersFunctionexecutable_coverage_blockers
(coverage: dict[str, Any] | None)
bench/type4/proof_carrying_frontier.py:910
↓ 3 callersFunctionexpression_effects
(node: ast.AST | None)
bench/type4/python_loop_demorgan_proof_facts.py:386
↓ 3 callersMethodexternal_influence_preflight_with_conformance
( &self, conformance: &SemanticPackConformanceReport, )
crates/nose-semantics/src/packs/external.rs:364
↓ 3 callersFunctionextract_all_boolean_shape
(fn: ast.FunctionDef)
bench/type4/python_loop_demorgan_proof_facts.py:884
↓ 3 callersFunctionextract_scripts
Byte ranges of every `<script>…</script>` block's *content*, plus whether any block declares TypeScript (`lang="ts"`/`tsx` or a TypeScript `type`). A
crates/nose-frontend/src/embedded.rs:229
↓ 3 callersFunctionextract_universal_loop_shape
(fn: ast.FunctionDef)
bench/type4/python_loop_demorgan_proof_facts.py:798
↓ 3 callersMethodextraction_shape
The structural shape of the fix IF this family is acted upon — a **decidable classification from unit kinds and channel, NOT a worth-it verdict (that
crates/nose-detect/src/report/model.rs:290
↓ 3 callersFunctionfail
(message: str)
bench/labels/generated_provenance_closeout.py:42
↓ 3 callersFunctionfamily
(langs: &[&str])
crates/nose-cli/src/ignores/match_tests.rs:17
↓ 3 callersFunctionfamily_all_blocks
(family: &serde_json::Value)
crates/nose-cli/tests/cli/exact_fragments/support.rs:52
↓ 3 callersFunctionfamily_declaration_only_type_contract
( family: &nose_detect::RefactorFamily, overrides: &SurfaceOverrides, )
crates/nose-cli/src/surfaces.rs:164
↓ 3 callersFunctionfamily_dir
The directory a family lives in (the parent of its largest copy) — nose's spatial unit.
crates/nose-cli/src/query_model.rs:67
↓ 3 callersFunctionfamily_existing_helper
The existing helper a `call-existing-helper` family already contains: the lone named function/method whose body the other (inline) members recompute (
crates/nose-cli/src/query_model.rs:98
↓ 3 callersFunctionfamily_handle
(family: &nose_detect::RefactorFamily)
crates/nose-cli/src/surfaces.rs:63
↓ 3 callersFunctionfamily_is_compiled_css_pipeline
A CSS build-pipeline family: every member is a stylesheet and AT MOST ONE is a hand-written source — the rest are its compiled/minified outputs (`gene
crates/nose-cli/src/surfaces.rs:516
↓ 3 callersFunctionfamily_spotclass
The aggregate value-class of a near family's varying spots, from the #315 graded witness: `leaf-only` (every hole is a clean value-leaf and the witnes
crates/nose-cli/src/query_model.rs:118
↓ 3 callersMethodfield_callee_receiver_and_method
(&self, callee: NodeId)
crates/nose-frontend/src/lower/library_api_evidence.rs:106
↓ 3 callersFunctionfield_method_at_span
( il: &Il, interner: &Interner, span: Span, expected: &str, )
crates/nose-semantics/src/library_api/callee_shape.rs:133
↓ 3 callersFunctionfield_name
(il: &Il, interner: &'a Interner, node: NodeId)
crates/nose-semantics/src/js_ts_prototype_mutations.rs:168
↓ 3 callersMethodfilter_parts
(&self, node: NodeId)
crates/nose-normalize/src/value_graph/collections/library_calls.rs:4
↓ 3 callersFunctionfinal_decisions
( candidates: list[dict[str, Any]], aligned: dict[str, dict[str, dict[str, Any]]], resolutions: di
bench/labels/default_head_heldout_reveal.py:329
↓ 3 callersFunctionfind
(il: &Il, node: NodeId, pred: &P)
crates/nose-detect/src/fragment/oracle/tests.rs:284
↓ 3 callersMethodfind
(&mut self, x: usize)
crates/nose-markdown/src/detect.rs:109
↓ 3 callersMethodfingerprint_lits
(&self)
crates/nose-normalize/src/value_graph/output.rs:118
↓ 3 callersFunctionfinish_java_field_test
(builder: IlBuilder, root: NodeId)
crates/nose-normalize/src/interp/tests/state.rs:278
↓ 3 callersFunctionfinish_java_il
(builder: IlBuilder, root: NodeId)
crates/nose-detect/src/units/tests/strict_exact_factories.rs:277
↓ 3 callersFunctionfinish_method_call_il
(b: IlBuilder, lang: Lang, call: NodeId)
crates/nose-normalize/src/idioms/tests/method_call_fixtures.rs:99
↓ 3 callersFunctionfinish_module_il
( mut b: IlBuilder, lang: Lang, module_kids: Vec<NodeId>, cid_names: Vec<Symbol>, )
crates/nose-normalize/src/idioms/tests/support.rs:73
↓ 3 callersFunctionfinish_state
( prepared: PreparedDetection, scored: &[ScoredCandidate], components: &[Vec<usize>], connecte
crates/nose-detect/src/incremental.rs:196
↓ 3 callersFunctionfinish_with_sequence_evidence
(b: IlBuilder, root: NodeId)
crates/nose-normalize/src/binding_evidence/tests.rs:102
↓ 3 callersFunctionfinite_number
(value: object, field: str)
bench/labels/default_head_taxonomy.py:499
↓ 3 callersFunctionfirst_conditional_contract
(il: &Il, interner: &Interner)
crates/nose-detect/src/fragment/oracle/tests/projections.rs:3
↓ 3 callersFunctionfirst_func_body
The body `Block` of the first `Func` — the multi-statement fragment body.
crates/nose-detect/src/fragment/oracle/tests.rs:300
↓ 3 callersMethodfixture
(self)
crates/nose-semantics/src/tests/library_api_evidence/admission_resolvers/js_array_hof.rs:72
↓ 3 callersFunctionfold_or_conditions
Fold a non-empty list of condition nodes with left-associative `Or`.
crates/nose-frontend/src/lower/control_flow.rs:110
↓ 3 callersFunctionfold_switch_labels
( lo: &mut Lowering, span: Span, scrutinee: NodeId, labels: Vec<NodeId>, )
crates/nose-frontend/src/lower/control_flow.rs:87
↓ 3 callersFunctionfor_each_bucket_key
( unit: &UnitFeat, opts: &DetectOptions, value_rows: Option<usize>, shape_rows: Option<usize>,
crates/nose-detect/src/incremental/candidates.rs:474
↓ 3 callersFunctionforeach_effect_body_depends_on_iter
( il: &Il, interner: &Interner, node: NodeId, iter_cids: &FxHashSet<u32>, )
crates/nose-detect/src/units/fragments/loop_effect.rs:23
↓ 3 callersFunctionformat_epic_row_current_state
(row: dict[str, Any])
bench/type4/open_surface_admission_audit.py:1506
↓ 3 callersFunctionfp_key
(unit: dict[str, Any])
scripts/soundness_exclusions.py:86
↓ 3 callersFunctionfree_call_il
(lang: Lang, name: &str, shadow_name: bool)
crates/nose-normalize/src/idioms/tests/free_call_fixtures.rs:3
↓ 3 callersMethodfree_name_key
(&self, sym: Symbol)
crates/nose-normalize/src/value_graph/state.rs:573
↓ 3 callersFunctiongenerated_provenance
(family: dict[str, Any], repo: str)
bench/labels/default_head_taxonomy.py:440
↓ 3 callersFunctiongit_bytes
(args: list[str])
bench/labels/default_head_heldout.py:134
↓ 3 callersFunctiongit_output
(*arguments: str)
bench/labels/missed_worthy_stage_audit.py:62
↓ 3 callersFunctiongit_output
(*args: str)
bench/labels/default_head_closeout.py:113
↓ 3 callersFunctiongit_rev_parse
(spec: str)
scripts/check-soundness-scorecard.py:106
↓ 3 callersFunctiongit_text
(args: list[str])
bench/labels/default_head_heldout.py:146
↓ 3 callersFunctiongo_bitclear
Go's bit-clear `a &^ b` ≡ `a & ^b` (AND-NOT) — it clears the bits of `a` that are set in `b`, which is NOT the same as `a & b`. Desugar to that two-no
crates/nose-frontend/src/go/expressions.rs:446
↓ 3 callersMethodgo_import_namespace_facts
Go static imports are lowered as namespace facts that can prove package aliases for selected stdlib-style recognizers.
crates/nose-semantics/src/module_semantics.rs:40
↓ 3 callersFunctiongo_zero_map_default_kind
(lang: Lang, payload: Payload)
crates/nose-semantics/src/map_statics.rs:114
↓ 3 callersFunctiongo_zero_map_entry_contract_for_node
( il: &Il, interner: &Interner, node: NodeId, )
crates/nose-semantics/src/map_statics.rs:95
↓ 3 callersFunctiongroup_entry
(row: dict[str, Any])
bench/type4/open_surface_admission_audit.py:817
↓ 3 callersFunctiongroup_findings
(commits: list[dict[str, Any]])
scripts/divergent-history-mining.py:234
↓ 3 callersFunctiongroups_from_primitives
( locs: Vec<LocSeed>, pairs: Vec<(usize, usize)>, streams: &[Stream], trace_accepted_coverage:
crates/nose-detect/src/contiguous.rs:359
↓ 3 callersFunctionguava_immutable_map_eleven_entry_payloads
()
crates/nose-semantics/src/test_support.rs:173
↓ 3 callersFunctionguava_immutable_map_of_test_il
( args: &[Payload], base_line: u32, options: GuavaImmutableMapFixtureOptions, )
crates/nose-semantics/src/test_support.rs:184
↓ 3 callersFunctionhard_gate_equal_behavior_representative_pairs
( recs: &[VerifyRec], )
crates/nose-cli/src/verify_soundness.rs:92
↓ 3 callersFunctionhas_direct_token
Does `node` have a *direct* child token of the given `kind`? Used to read an operator token (`--`, `++`) off the node it belongs to without being fool
crates/nose-frontend/src/lower/imports.rs:7
↓ 3 callersMethodhazard
Divergent-edit **hazard**: how likely this family is to be edited inconsistently (one copy changed, the siblings missed) and cause a bug. A *severity*
crates/nose-detect/src/report/model.rs:471
↓ 3 callersFunctionhistory_summary
( commit_rows: list[dict[str, Any]], skipped: list[dict[str, Any]], groups: list[dict[str, Any]],
scripts/divergent-history-mining.py:298
↓ 3 callersFunctionidentity_key
(row)
eval/divergence_fire/replay.py:538
↓ 3 callersFunctionidentity_of
The identity element of a reduction operator (`acc op identity = acc`), used to neutralize a filtered-out element in a guarded reduction.
crates/nose-normalize/src/value_graph/ops.rs:343
↓ 3 callersFunctionif_stmt
Lower a `condition`/`consequence`/`alternative`-shaped CST node into a canonical [`If`]. Those three field names are *shared* across the C-family gram
crates/nose-frontend/src/lower/control_flow.rs:219
↓ 3 callersFunctionimport_fact_evidence
( id: u32, lang: Lang, span: Span, kind: EvidenceKind, status: EvidenceStatus, )
crates/nose-semantics/src/tests/semantic_evidence/import_symbols.rs:5
← previousnext →1,301–1,400 of 12,346, ranked by callers