MCPcopy Create free account

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

Functions9,967 in github.com/corca-ai/nose

⨍ Functions 9,967◇ Types & classes 849
↓ 2 callersFunctionpush_java_util_import_symbol
( il: &mut Il, exported: &str, binding_span: Span, receiver_span: Span, )
crates/nose-detect/src/units/tests/strict_exact_factories.rs:310
↓ 2 callersFunctionpush_language_core_evidence_with_dependencies
( il: &mut Il, anchor: EvidenceAnchor, kind: EvidenceKind, dependencies: Vec<EvidenceId>, )
crates/nose-frontend/src/module_imports/snapshot.rs:343
↓ 2 callersFunctionpush_literal_receiver_api_evidence
( il: &mut Il, interner: &Interner, call: NodeId, literal_receiver: bool, )
crates/nose-normalize/src/idioms/tests/method_call_fixtures.rs:103
↓ 2 callersFunctionpush_match_input
(inputs: &mut Vec<String>, raw: &str)
crates/nose-cli/src/ignores.rs:359
↓ 2 callersFunctionpush_node_effect_with_dependencies
( il: &mut Il, id: u32, node: NodeId, effect: EffectEvidenceKind, dependencies: Vec<Eviden
crates/nose-semantics/src/tests.rs:177
↓ 2 callersFunctionpush_node_place_with_dependencies
( il: &mut Il, id: u32, node: NodeId, place: PlaceEvidenceKind, dependencies: Vec<Evidence
crates/nose-semantics/src/tests.rs:199
↓ 2 callersFunctionpush_promise_catch_evidence
( il: &mut Il, interner: &Interner, call: NodeId, id: u32, )
crates/nose-normalize/src/value_graph/tests/support/promise.rs:574
↓ 2 callersFunctionpush_promise_factory_evidence
(il: &mut Il, call: NodeId, base_id: u32, method: &str)
crates/nose-normalize/src/value_graph/tests/support/promise.rs:483
↓ 2 callersFunctionpush_promise_receiver_api_evidence
( il: &mut Il, receiver: NodeId, call: NodeId, contract_id: LibraryApiContractId, callee:
crates/nose-semantics/src/tests/library_api_evidence/admission_resolvers/promise.rs:104
↓ 2 callersFunctionpush_receiver_domain_dependency
(il: &mut Il, receiver: NodeId, domain: DomainEvidence)
crates/nose-semantics/src/tests/library_api_evidence/admission_resolvers/string_affix.rs:49
↓ 2 callersFunctionpush_receiver_domain_dependency_with_id
( il: &mut Il, id: u32, receiver: NodeId, domain: DomainEvidence, )
crates/nose-semantics/src/tests/library_api_evidence/admission_resolvers/js_array_hof.rs:274
↓ 2 callersFunctionpush_rust_hash_map_library_api_evidence
(il: &mut Il)
crates/nose-normalize/src/idioms/tests/map_factory_fixtures.rs:75
↓ 2 callersFunctionpush_sequence_surface_evidence
( il: &mut Il, node: NodeId, surface: SequenceSurfaceKind, )
crates/nose-normalize/src/idioms/tests/support.rs:98
↓ 2 callersFunctionpush_static_index_receiver_dependency
(il: &mut Il, receiver: NodeId)
crates/nose-semantics/src/tests/library_api_evidence/admission_resolvers/static_index.rs:48
↓ 2 callersFunctionpush_string_receiver_dependency
(il: &mut Il, receiver: NodeId)
crates/nose-semantics/src/tests/library_api_evidence/admission_resolvers/string_affix.rs:58
↓ 2 callersFunctionpush_unique_manifest
( path: &Path, seen: &mut HashSet<PathBuf>, out: &mut Vec<PathBuf>, )
crates/nose-semantics/src/packs/loading.rs:108
↓ 2 callersFunctionpython_builtin_collection_factory_record
( id: u32, span: Span, contract: LibraryCollectionFactoryContract, status: EvidenceStatus,
crates/nose-semantics/src/tests/library_api_evidence/records.rs:239
↓ 2 callersFunctionpython_free_call_il
( name: &str, arg_count: usize, )
crates/nose-semantics/src/tests/library_api_evidence/admission_resolvers/python_iterator_builtins.rs:3
↓ 2 callersFunctionpython_iterator_builtin_protocol_evidence
( id: u32, call_span: Span, contract: LibraryFreeFunctionHofContract, arity: u16, dependen
crates/nose-normalize/src/value_graph/tests/support/library_api.rs:259
↓ 2 callersFunctionpython_len_builtin_call_il
()
crates/nose-semantics/src/tests/library_api_evidence/admission_resolvers/support_core.rs:427
↓ 2 callersFunctionpython_materialized_map_call_il
( materializer_name: &str, include_materializer_factory_evidence: bool, include_map_evidence: bool
crates/nose-normalize/src/value_graph/tests/source_evidence/python_iterator_builtins.rs:193
↓ 2 callersFunctionpython_math_prod_call_il
()
crates/nose-semantics/src/tests/library_api_evidence/admission_resolvers/support_core.rs:442
↓ 2 callersFunctionpython_math_prod_call_il_with_arg_count
( arg_count: usize, )
crates/nose-semantics/src/tests/library_api_evidence/admission_resolvers/support_core.rs:446
↓ 2 callersFunctionpython_stdlib_collection_factory_evidence
( id: u32, call_span: Span, contract: LibraryCollectionFactoryContract, arity: u16, depend
crates/nose-normalize/src/value_graph/tests/support/library_api.rs:238
↓ 2 callersFunctionpython_stdlib_math_record
( id: u32, span: Span, contract: LibraryImportedNamespaceFunctionContract, arity: u16, sta
crates/nose-semantics/src/tests/library_api_evidence.rs:107
↓ 2 callersFunctionqualified_global_dependency_valid
( il: &Il, record: &EvidenceRecord, span: Span, path: &str, )
crates/nose-semantics/src/symbol_identity.rs:343
↓ 2 callersMethodqualified_global_root_dependencies
(&mut self, span: Span, path: &str)
crates/nose-frontend/src/lower/builder.rs:78
↓ 2 callersFunctionqualified_global_symbol_at_anchor
( il: &Il, span: Span, kind: NodeKind, path: &str, )
crates/nose-semantics/src/symbol_identity.rs:328
↓ 2 callersFunctionquery_base_items
(json: &serde_json::Value)
crates/nose-cli/tests/cli/query_base.rs:110
↓ 2 callersFunctionquery_command
The ONE fixed product command. Only top/mode/format come from config so a typo can't silently switch detector paths; everything else is constant.
bench/type4/query_regression/query_regression.py:180
↓ 2 callersFunctionquery_family_json_with_counts
( f: &nose_detect::RefactorFamily, ov: &SurfaceOverrides, opp: &OpportunityGroups, full: bool,
crates/nose-cli/src/query_model.rs:264
↓ 2 callersFunctionquery_fragment_fixtures_with
( tag: &str, fixtures: &[(&str, &str)], size_args: &[&str], )
crates/nose-cli/tests/cli/exact_fragments/support.rs:26
↓ 2 callersFunctionquery_observations
(stdout: bytes, *, source: str)
scripts/query-regression-harness.py:120
↓ 2 callersFunctionquery_snapshot
(repo, sha, nose, subdir, mode, threshold)
eval/hazard/mine.py:45
↓ 2 callersFunctionransac_ratio
RANSAC-style geometric verification (computer vision): treat token matches as point correspondences, find the dominant position-offset (a 1-D "transla
crates/nose-detect/src/align.rs:50
↓ 2 callersMethodraw_elem
(&mut self, coll: ValueId)
crates/nose-normalize/src/value_graph/collections/elements.rs:16
↓ 2 callersFunctionraw_names_for_src
(src: &str)
crates/nose-frontend/src/swift/tests.rs:86
↓ 2 callersFunctionraw_node_surface
(interner: &Interner, node: &Node)
crates/nose-frontend/src/coverage.rs:50
↓ 2 callersFunctionread_masked
(path: Path, language: str)
scripts/cross-language-boundary-census.py:399
↓ 2 callersFunctionread_span
(norm_path, start, end, cap=None)
bench/type4/behavior_miss_mining.py:64
↓ 2 callersFunctionreadiness_for
( packet: dict[str, Any], executable_coverage: dict[str, Any] | None = None, real_frontier_replay:
bench/type4/proof_carrying_frontier.py:1408
↓ 2 callersFunctionreceiver_domain_record
( il: &'a nose_il::Il, interner: &Interner, receiver: NodeId, accepts: impl Fn(DomainEvidence)
crates/nose-cli/src/verify_admission/runtime_boundary/async_runtime/java/receiver_provenance.rs:147
↓ 2 callersFunctionreceiver_param_span_cached
( il: &Il, receiver: NodeId, cache: &mut LibraryApiDependencyCache, )
crates/nose-semantics/src/library_api/receiver_dependencies/domain.rs:164
↓ 2 callersFunctionrecognize_loop_effect
Recognize `node` as a `LoopEffect` contract, or `None` if it is not the shape. Independent of `units::exact_loop_effect_fragment_root`; the caller ha
crates/nose-detect/src/fragment/loop_effect.rs:32
↓ 2 callersFunctionrecommended_reason
(item: dict[str, Any])
scripts/scheduling-lifecycle-boundary-audit.py:3183
↓ 2 callersMethodrecord_bound_order_fact_for_condition
( &mut self, cond_node: NodeId, activation: BoundOrderGuardActivation, env: &F
crates/nose-normalize/src/value_graph/control/guards.rs:64
↓ 2 callersFunctionrecord_c_type_alias_evidence
( lo: &mut Lowering, span: Span, alias: &str, target: CTypeTarget, dependencies: Vec<Evide
crates/nose-frontend/src/c/includes.rs:98
↓ 2 callersMethodrecord_evidence_with_pack_dependencies
( &mut self, anchor: EvidenceAnchor, kind: EvidenceKind, pack_id: &str,
crates/nose-frontend/src/lower/evidence.rs:110
↓ 2 callersFunctionrecord_guard_evidence_with_null_check
( subject: &str, null_check: JsRecordGuardNullCheck, )
crates/nose-semantics/src/tests/js_symbol_guards/record_shape.rs:40
↓ 2 callersFunctionrecord_import_fact_evidence_with_dependencies
( lo: &mut Lowering, span: Span, local: &str, kind: ImportFactKind, coords: &[&str], d
crates/nose-frontend/src/lower/imports.rs:161
↓ 2 callersFunctionrecord_imported_literal_snapshot_evidence
( il: &mut Il, rhs: NodeId, module_hash: u64, exported_hash: u64, import_evidence: Evidenc
crates/nose-frontend/src/module_imports/snapshot.rs:316
↓ 2 callersMethodrecord_imported_namespace_symbol_for_node
( &mut self, node: NodeId, module: &str, )
crates/nose-frontend/src/lower/symbol_evidence.rs:50
↓ 2 callersMethodrecord_inner
( &mut self, alias: String, domain: DomainEvidence, evidence: Option<EvidenceI
crates/nose-frontend/src/type_domain_aliases.rs:78
↓ 2 callersFunctionrecord_is_live
(il: &Il, record: &EvidenceRecord)
crates/nose-normalize/src/binding_evidence.rs:244
↓ 2 callersFunctionrecord_java_type_domain_alias
( lo: &mut Lowering, module: &str, exported: &str, import_evidence: Option<nose_il::EvidenceId
crates/nose-frontend/src/java/items.rs:161
↓ 2 callersMethodrecord_literal_membership_term
( &self, candidate: ValueId, literal: ValueId, element: &mut Option<ValueId>,
crates/nose-normalize/src/value_graph/canonicalize/constants.rs:158
↓ 2 callersFunctionrecord_metric
( metric: str, repo_id: str, rel: str, count: int, counts: Counter[str], repo_counts:
scripts/abort-signal-cancellation-slice-audit.py:109
↓ 2 callersFunctionrecord_metric
( metric: str, repo_id: str, rel: str, count: int, counts: Counter[str], repo_counts:
scripts/interval-scheduler-lifecycle-slice-audit.py:112
↓ 2 callersFunctionrecord_nil_literal_conformance
( lo: &mut Lowering, node: TsNode, kids: &mut Vec<NodeId>, )
crates/nose-frontend/src/swift/dispatch_barriers.rs:3
↓ 2 callersMethodrecord_node_domain_with_dependencies
( &mut self, span: Span, kind: NodeKind, domain: DomainEvidence, depen
crates/nose-frontend/src/lower/evidence.rs:45
↓ 2 callersMethodrecord_param_domain_with_dependencies
( &mut self, span: Span, domain: DomainEvidence, dependencies: Vec<EvidenceId>
crates/nose-frontend/src/lower/evidence.rs:4
↓ 2 callersMethodrecord_param_domain_with_provenance
( &mut self, span: Span, domain: DomainEvidence, dependencies: Vec<EvidenceId>
crates/nose-frontend/src/lower/evidence.rs:61
↓ 2 callersFunctionrecord_post_lower_library_api_evidence
(il: &mut Il, interner: &Interner)
crates/nose-frontend/src/lower/library_api_post_lower.rs:75
↓ 2 callersFunctionrecord_self_field
( il: &mut Il, interner: &Interner, node: NodeId, provenance: EffectEvidenceProvenance, )
crates/nose-normalize/src/effect_evidence.rs:70
↓ 2 callersFunctionrecord_self_receiver
( il: &mut Il, interner: &Interner, node: NodeId, provenance: EffectEvidenceProvenance, )
crates/nose-normalize/src/effect_evidence.rs:45
↓ 2 callersFunctionrecord_shape_guard_for_node
Prove that a lowered `Seq("record_guard")` denotes the first-party JS-like record-shape guard contract. The surface tag is not enough: the sequence mu
crates/nose-semantics/src/guard_evidence.rs:133
↓ 2 callersFunctionrecord_typealias_shadow
(lo: &mut Lowering, node: TsNode)
crates/nose-frontend/src/swift/items.rs:149
↓ 2 callersMethodrecord_unsigned_32_alias_with_evidence
( &mut self, local: &str, evidence: Option<EvidenceId>, )
crates/nose-frontend/src/lower/evidence.rs:180
↓ 2 callersMethodrecord_value_law
(&mut self, law: ValueLaw)
crates/nose-normalize/src/value_graph/state.rs:272
↓ 2 callersFunctionredaction_policy
()
scripts/divergent-history-mining.py:347
↓ 2 callersMethodreexport_record_candidates
( &self, contexts: &[FileImportContext], importer_file_idx: usize, module_hash
crates/nose-frontend/src/module_imports/exports.rs:145
↓ 2 callersFunctionreferenced_artifact
(row: dict[str, Any])
scripts/check-divergent-history-artifacts.py:111
↓ 2 callersFunctionreferent
(name: &str, id: Option<u64>)
crates/nose-detect/src/witness/tests.rs:21
↓ 2 callersFunctionregion
(r: &Region, repo: &str)
crates/nose-eval/src/lib.rs:527
↓ 2 callersFunctionregistered_recall_profile
Return the recall contract registered for an evaluation digest.
bench/labels/missed_worthy_frontier.py:106
↓ 2 callersFunctionrel_score
(model: &CorpusModel, fps: &[Fingerprint], i: usize, j: usize)
crates/nose-markdown/src/eval.rs:102
↓ 2 callersFunctionrelative_rust_use_prefix
(prefix: &str)
crates/nose-frontend/src/rust/items.rs:309
↓ 2 callersFunctionrelpath
(path: Path, root: Path)
scripts/check-file-lengths.py:73
↓ 2 callersFunctionremove_paths
(paths: Iterable[Path])
bench/corpus_prune/core.py:456
↓ 2 callersFunctionremove_unpinned_repo_entries
(repos_root: Path, pinned_ids: frozenset[str])
bench/corpus_prune/core.py:142
↓ 2 callersFunctionrender_markdown
(diff: dict[str, Any])
scripts/recall-loss-diff.py:256
↓ 2 callersFunctionrender_markdown
(census: dict[str, Any])
scripts/recall-loss-callee-census.py:176
↓ 2 callersFunctionrender_markdown
(report: dict)
bench/semantic_pack/pricing.py:1180
↓ 2 callersFunctionrender_summary
( ident_base: dict, ident_cur: dict, results: list[dict], skipped: list[str], hof_smoke: d
bench/type4/query_regression/query_regression.py:860
↓ 2 callersFunctionreplaced_import_rhs
(il: &nose_il::Il, interner: &Interner, name: &str)
crates/nose-frontend/src/module_imports/tests/js_ts_snapshots.rs:257
↓ 2 callersFunctionrepo_relative
Clone the family with every member path made repo-relative (stripping the base-worktree prefix), so the family_id is stable across runs and the paths
crates/nose-cli/src/divergence/detect.rs:376
↓ 2 callersFunctionrepo_relative_loc
(loc: &mut Loc, base_prefix: &Path)
crates/nose-cli/src/divergence/detect.rs:389
↓ 2 callersFunctionrepo_root_for_manifest_entry
(entry: dict, repos_root: Path)
bench/corpus_prune/core.py:598
↓ 2 callersFunctionrepository_head
(repo: Path)
bench/labels/label_refresh.py:71
↓ 2 callersFunctionrequire
(condition: bool, message: str)
bench/labels/missed_worthy_heldout_confirmation.py:199
↓ 2 callersFunctionrequire_bool
(path: Path, parent: dict[str, Any], key: str)
scripts/check-semantic-pack-examples.py:112
↓ 2 callersFunctionrequire_object
(path: Path, parent: dict[str, Any], key: str)
scripts/check-semantic-pack-examples.py:89
↓ 2 callersFunctionrequire_string
(parent: dict[str, Any], key: str, label: str, *, allow_empty: bool = False)
scripts/check-query-regression.py:94
↓ 2 callersFunctionrequire_strings
(values: list[Any], field: str, context: str)
bench/type4/semantic_pattern_cards.py:60
↓ 2 callersMethodresolve_receiver_map_value
The proven map [`ValueId`] a map-method `receiver` denotes: the receiver value itself when it is a map parameter, else a proven map value or a proven
crates/nose-normalize/src/value_graph/stdlib/map_access.rs:155
↓ 2 callersMethodret
(&mut self, val: NodeId, span: nose_il::Span)
crates/nose-normalize/src/recursion.rs:325
↓ 2 callersFunctionreturn_fp
(interner: &Interner, src: &str, lang: Lang)
crates/nose-cli/tests/equivalence.rs:169
↓ 2 callersFunctionruby_class_instance_method_redefined_in_file
( il: &Il, interner: &Interner, class_names: &[&str], expected_method: &str, dependency_ca
crates/nose-frontend/src/lower/library_api_post_lower/receiver_methods.rs:122
↓ 2 callersFunctionruby_class_instance_method_redefined_visible_in_file
( il: &Il, interner: &Interner, class_names: &[&str], expected_method: &str, node_name: Ru
crates/nose-semantics/src/ruby_redefinitions.rs:80
↓ 2 callersFunctionruby_core_nil_predicate_unmodified_in_file_with_cache
( il: &Il, interner: &Interner, occurrence_span: Span, cache: &mut RubyRedefinitionCache, )
crates/nose-semantics/src/ruby_redefinitions.rs:124
← previousnext →2,201–2,300 of 9,967, ranked by callers