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
↓ 3 callersFunctionmap_like_literal
(old: &Il, interner: &Interner, id: NodeId)
crates/nose-normalize/src/idioms/map_surfaces.rs:51
↓ 3 callersMethodmap_lookup_value_matches
( &mut self, value: ValueId, map: ValueId, key: ValueId, )
crates/nose-normalize/src/value_graph/collections/defaults.rs:243
↓ 3 callersMethodmap_presence_condition
( &self, cond: ValueId, )
crates/nose-normalize/src/value_graph/collections/defaults.rs:156
↓ 3 callersFunctionmapped_tokens
(il: &Il, interner: &Interner, preorder: &[NodeId])
crates/nose-detect/src/connected.rs:92
↓ 3 callersFunctionmarkdown_cell
(value: Any)
bench/type4/open_surface_admission_audit.py:1502
↓ 3 callersFunctionmask_comments_and_strings
(text: str)
scripts/scheduling-lifecycle-boundary-audit.py:1277
↓ 3 callersFunctionmatched_locations
(family: dict[str, Any])
bench/labels/eval_by_language.py:62
↓ 3 callersFunctionmeasurement_order
(repo_names: list[str], iteration: int)
scripts/query-regression-harness.py:191
↓ 3 callersMethodmerge
Smallest span covering both `self` and `other`. Both must be in the same file; if not, `self` is returned unchanged.
crates/nose-il/src/span.rs:55
↓ 3 callersFunctionmethod_call_il
( lang: Lang, method: &str, literal_receiver: bool, )
crates/nose-normalize/src/idioms/tests/method_call_fixtures.rs:3
↓ 3 callersFunctionmethod_call_library_api_test_evidence_with_dependencies
( id: u32, lang: Lang, method: &str, span: Span, arity: usize, dependencies: Vec<Evide
crates/nose-semantics/src/test_support.rs:127
↓ 3 callersFunctionmethod_field
( b: &mut IlBuilder, interner: &Interner, method: &str, literal_receiver: bool, )
crates/nose-normalize/src/idioms/tests/method_call_fixtures.rs:61
↓ 3 callersFunctionmetrics_cell
The payoff-economics cell — copies, shared/varying lines, removable lines, witness — with the removable count bold and the witness coloured by confide
crates/nose-cli/src/query_views.rs:38
↓ 3 callersMethodmix_into
(&self, mix: &mut impl FnMut(&[u8]))
crates/nose-cli/src/baseline.rs:116
↓ 3 callersMethodmodule_binding_mutated
(&self, name: Symbol)
crates/nose-normalize/src/value_graph/context.rs:382
↓ 3 callersMethodmodule_matches_import_from
(&self, importer: &Self, module_hash: u64)
crates/nose-frontend/src/module_imports.rs:204
↓ 3 callersFunctionmodule_rebound_symbols
The module-scope names a `ModuleRebind` fact reports as reassigned from inside another scope (a Python `global name; name = ...`). A top-level functio
crates/nose-semantics/src/evidence.rs:185
↓ 3 callersMethodmul_is_sequence_repetition
Whether `*` is (asymmetric) sequence repetition rather than purely numeric — Ruby only (`"ab" * 3` is `"ababab"`, but `3 * "ab"` raises). Gates both t
crates/nose-semantics/src/operators.rs:146
↓ 3 callersMethodname
(&self)
crates/nose-detect/src/detectors.rs:23
↓ 3 callersFunctionnamed_node_span
(il: &Il, interner: &Interner, kind: NodeKind, name: &str)
crates/nose-frontend/src/lower/tests.rs:191
↓ 3 callersMethodnode
(&self, id: NodeId)
crates/nose-il/src/builder.rs:64
↓ 3 callersMethodnode
(span: Span, kind: NodeKind)
crates/nose-il/src/node/evidence.rs:26
↓ 3 callersFunctionnode_at_span
(il: &Il, span: Span)
crates/nose-semantics/src/library_api/callee_shape.rs:147
↓ 3 callersFunctionnode_cid
(il: &Il, node: NodeId)
crates/nose-semantics/src/library_api/imported_occurrences.rs:230
↓ 3 callersFunctionnode_has_async_modifier
(node: TsNode)
crates/nose-frontend/src/js_ts/declarations.rs:503
↓ 3 callersFunctionnode_kinds
(src: &str)
crates/nose-frontend/src/ruby/tests.rs:67
↓ 3 callersFunctionnode_name_hash
(il: &Il, interner: &Interner, node: NodeId)
crates/nose-normalize/src/call_target_evidence/imported.rs:456
↓ 3 callersFunctionnode_records
(il: &Il, node: NodeId, kind: EvidenceKind)
crates/nose-normalize/src/library_api_evidence/tests.rs:86
↓ 3 callersFunctionnode_tag
A discriminant for `(kind, payload)`. Canonical ids (`Cid`) contribute their value, so variable *identity* is preserved (alpha-invariantly): `x - y` a
crates/nose-normalize/src/commutative.rs:57
↓ 3 callersFunctionnormalize_language_key
(language: str)
bench/type4/open_surface_admission_audit.py:559
↓ 3 callersFunctionnormalize_type_text
(text: &str)
crates/nose-frontend/src/type_domain_aliases.rs:103
↓ 3 callersFunctionnormalized_swift
(src: &str, interner: &Interner)
crates/nose-detect/src/strict_exact/tests/support.rs:27
↓ 3 callersFunctionnose_binary_path
(nose: str)
bench/type4/query_regression/query_regression.py:134
↓ 3 callersMethodnull_condition
(&self, cond: ValueId)
crates/nose-normalize/src/value_graph/collections/defaults.rs:109
↓ 3 callersFunctionnullish_global_contract
(lang: Lang, name: &str)
crates/nose-semantics/src/map_statics.rs:406
↓ 3 callersFunctionop_of
(p: Payload)
crates/nose-normalize/src/interp/ops.rs:4
↓ 3 callersFunctionordered_selection
( existing: dict[str, list[str]], swift: dict[str, list[str]] )
bench/labels/label_refresh.py:196
↓ 3 callersFunctionoverlap_frac
Fraction of `b`'s lines that lie inside `a` (both in the same file). Used to collapse a site that is contained in — or near-identical to — a larger on
crates/nose-detect/src/report/paths.rs:20
↓ 3 callersFunctionown_property_guard_record
( id: u32, span: Span, path: &str, status: EvidenceStatus, dependencies: &[u32], )
crates/nose-semantics/src/tests/js_symbol_guards/own_property.rs:40
↓ 3 callersFunctionown_property_surface_evidence
(id: u32, span: Span)
crates/nose-semantics/src/tests/js_symbol_guards/own_property.rs:58
↓ 3 callersFunctionowned_args
(args: &[&str])
crates/nose-cli/tests/cli/support.rs:228
↓ 3 callersFunctionpack_facing_value_laws
()
crates/nose-semantics/src/evidence/value_laws.rs:197
↓ 3 callersFunctionpair_overlap
Pair-order-invariant overlap of a prediction pair against a gold pair.
crates/nose-eval/src/lib.rs:55
↓ 3 callersFunctionparent_of
(il: &Il, child: NodeId)
crates/nose-semantics/src/object_key_views.rs:400
↓ 3 callersFunctionparse_new_side_ranges
Parse `git diff --unified=0` text into current-side changed line ranges per repo-relative path. Added files therefore carry ranges in the current tree
crates/nose-cli/src/divergence/git.rs:215
↓ 3 callersMethodpossibly_float
Whether `v` COULD be a float — `proven_float`, OR a bare parameter in a dynamically-typed language (Python/JS/TS/Ruby), where an untyped param carries
crates/nose-normalize/src/value_graph/state.rs:162
↓ 3 callersFunctionpost_lower_top_level_statements
(il: &Il)
crates/nose-frontend/src/lower/post_lower_evidence.rs:542
↓ 3 callersFunctionpredicate_hof
( b: &mut IlBuilder, kind: HoFKind, span: Span, coll: NodeId, pred: NodeId, )
crates/nose-normalize/src/value_graph/tests/source_evidence/hof_demand.rs:110
↓ 3 callersMethodprod
(self, values)
docs/examples/semantic-packs/v0/fixtures/python/math_prod_shadowed_math.py:2
↓ 3 callersFunctionpromise_boundary_state
(builder: &mut Builder<'_>, value: ValueId)
crates/nose-normalize/src/value_graph/rules/promise_then.rs:448
↓ 3 callersFunctionpromise_resolve_then_call_il
( literal_arg: bool, )
crates/nose-normalize/src/value_graph/tests/support/promise.rs:3
↓ 3 callersFunctionpromise_settled_record
( id: u32, call: NodeId, payload: NodeId, il: &Il, channel: PromiseSettlementChannel,
crates/nose-semantics/src/tests/call_targets.rs:70
↓ 3 callersMethodproof_backed_clamp_value
( &mut self, x: ValueId, lo: ValueId, hi: ValueId, )
crates/nose-normalize/src/value_graph/control/guards.rs:93
↓ 3 callersFunctionpropagate_ambiguity
(il: &mut Il, mut ambiguous: FxHashSet<EvidenceId>)
crates/nose-frontend/src/swift_cross_file_shadows.rs:303
↓ 3 callersFunctionproperty_inputs
(operation_key: str)
bench/type4/type4gen/aggregate.py:122
↓ 3 callersFunctionproperty_receiver_exact_safe
( il: &Il, interner: &Interner, domains: &ReceiverDomainEvidenceIndex<'_>, node: NodeId, )
crates/nose-normalize/src/desugar.rs:263
↓ 3 callersMethodproven_local_collection_binding_value
( &mut self, expr: NodeId, env: &FxHashMap<u32, ValueId>, )
crates/nose-normalize/src/value_graph/stdlib/bindings.rs:4
↓ 3 callersMethodproven_map_key_view_expr
( &mut self, expr: NodeId, env: &FxHashMap<u32, ValueId>, )
crates/nose-normalize/src/value_graph/stdlib/map_access.rs:117
↓ 3 callersMethodproven_non_concat
Whether `v` provably never evaluates to a String or Sequence — the condition `+` COMMUTATIVITY actually needs (concat is the only non-commutative `+`,
crates/nose-normalize/src/value_graph/state.rs:222
↓ 3 callersMethodproven_numeric
Whether `v` provably evaluates to a Number on every input it does not Err on, using ONLY genuine domain evidence — numeric literals and annotated / pa
crates/nose-normalize/src/value_graph/state.rs:105
↓ 3 callersMethodproves_eager_per_element_callback_demand
(self)
crates/nose-semantics/src/demand.rs:92
↓ 3 callersFunctionpush_canonical_imported_namespace_dependency
( il: &mut Il, binding_id: u32, occurrence_id: u32, call: NodeId, module: &str, )
crates/nose-semantics/src/tests/library_api_evidence/canonical_builtin.rs:41
↓ 3 callersFunctionpush_canonical_java_minmax_builtin_evidence
(il: &mut Il, first_id: u32)
crates/nose-normalize/src/value_graph/tests/clamp.rs:48
↓ 3 callersFunctionpush_canonical_unshadowed_symbol_dependency
(il: &mut Il, id: u32, call: NodeId, name: &str)
crates/nose-semantics/src/tests/library_api_evidence/canonical_builtin.rs:28
↓ 3 callersFunctionpush_cid_param_domain
(il: &mut Il, id: u32, domain: DomainEvidence)
crates/nose-semantics/src/tests/semantic_evidence/receiver_domains.rs:159
↓ 3 callersFunctionpush_future_result_callback_exception_missing_evidence
(labels: &mut Vec<&'static str>)
crates/nose-cli/src/verify_admission/runtime_boundary/async_runtime/java.rs:517
↓ 3 callersFunctionpush_imported_function_promise_settlement_evidence
( il: &mut Il, interner: &Interner, call: NodeId, payload: NodeId, channel: PromiseSettlem
crates/nose-normalize/src/value_graph/tests/support/promise_imported.rs:80
↓ 3 callersFunctionpush_imported_function_target
(il: &mut Il, interner: &Interner, call: NodeId, id: u32)
crates/nose-semantics/src/tests/call_targets.rs:92
↓ 3 callersFunctionpush_java_math_dependencies
(il: &mut Il, call: NodeId, math: NodeId)
crates/nose-semantics/src/tests/library_api_evidence/admission_resolvers/scalar_integer.rs:103
↓ 3 callersFunctionpush_java_math_receiver_dependency
(il: &mut Il, math: NodeId)
crates/nose-semantics/src/tests/library_api_evidence/admission_resolvers/scalar_integer.rs:73
↓ 3 callersFunctionpush_map_receiver_dependency
(il: &mut Il, receiver: NodeId)
crates/nose-semantics/src/tests/library_api_evidence/admission_resolvers/map_get_default.rs:13
↓ 3 callersFunctionpush_map_receiver_dependency
(il: &mut Il, receiver: NodeId)
crates/nose-semantics/src/tests/library_api_evidence/admission_resolvers/map_get.rs:31
↓ 3 callersFunctionpush_protocol_receiver_dependency
(il: &mut Il, receiver: NodeId)
crates/nose-semantics/src/tests/library_api_evidence/admission_resolvers/iterator_adapter.rs:39
↓ 3 callersFunctionpush_receiver_domain_dependency
(il: &mut Il, id: u32, receiver: NodeId, domain: DomainEvidence)
crates/nose-semantics/src/tests/library_api_evidence/admission_resolvers/sequence_hof.rs:54
↓ 3 callersFunctionpush_receiver_sequence_surface_evidence
( il: &mut Il, call: NodeId, surface: SequenceSurfaceKind, )
crates/nose-normalize/src/idioms/tests/support.rs:113
↓ 3 callersFunctionpush_source_collection_domain
(il: &mut Il, source: NodeId, id: u32)
crates/nose-semantics/src/tests/library_api_evidence/admission_resolvers/python_iterator_builtins.rs:52
↓ 3 callersFunctionpush_source_comprehension
( il: &mut Il, id: u32, span: Span, kind: SourceComprehensionKind, )
crates/nose-normalize/src/value_graph/tests/support.rs:284
↓ 3 callersFunctionpython_builtin_collection_factory_evidence
( id: u32, call_span: Span, contract: LibraryCollectionFactoryContract, arity: u16, depend
crates/nose-normalize/src/value_graph/tests/support/library_api.rs:217
↓ 3 callersFunctionpython_deque_factory_call_il
()
crates/nose-semantics/src/tests/library_api_evidence/admission_resolvers/support_core.rs:336
↓ 3 callersFunctionpython_iterator_hof_call_il
( name: &str, lambda_callback: bool, extra_sources: usize, )
crates/nose-normalize/src/idioms/tests/contracts.rs:348
↓ 3 callersFunctionpython_len_canonical_call_il
()
crates/nose-semantics/src/tests/library_api_evidence/canonical_builtin.rs:16
↓ 3 callersFunctionpython_runtime_with_path_visible_local_asyncio
( runtime_src: &str, callee_suffix: &str, )
crates/nose-cli/src/verify_admission/runtime_boundary/tests/async_runtime.rs:54
↓ 3 callersFunctionpython_stdlib_type_domain_contract
( module: &str, exported: &str, )
crates/nose-semantics/src/type_domain/python_stdlib.rs:294
↓ 3 callersFunctionqualified_global_dependency
( id: u32, span: Span, path: &str, status: EvidenceStatus, root_dependency: Option<u32>, )
crates/nose-semantics/src/tests/js_symbol_guards.rs:23
↓ 3 callersFunctionqualified_global_evidence_records
( il: &'a Il, path: &str, kind: NodeKind, )
crates/nose-frontend/src/js_ts/tests/support.rs:138
↓ 3 callersFunctionqualified_global_symbol_record_valid
( il: &Il, record: &EvidenceRecord, contract: QualifiedGlobalSymbolContract, )
crates/nose-semantics/src/symbol_identity.rs:380
↓ 3 callersFunctionquery_base_json
(dir: &Path)
crates/nose-cli/tests/cli/query_base/suppression_edges.rs:25
↓ 3 callersFunctionquery_base_json_value
(dir: &Path, extra: &[&str])
crates/nose-cli/tests/cli/query_base.rs:92
↓ 3 callersFunctionquery_families
Return clone families from query JSON.
bench/type4/eval_manifest.py:44
↓ 3 callersFunctionquery_removable_lines
(f: &nose_detect::RefactorFamily, shared: u32)
crates/nose-cli/src/query_model.rs:398
↓ 3 callersFunctionquery_selection
The flat family set a report format (`--format markdown`/`sarif`) emits for a query: the single addressed family for `at=`/`id=`, otherwise the same d
crates/nose-cli/src/query_output.rs:39
↓ 3 callersMethodquery_semantic_json
(&self)
crates/nose-cli/tests/cli/support.rs:157
↓ 3 callersFunctionraw_name_set
(il: &Il, interner: &Interner)
crates/nose-frontend/src/rust/tests.rs:37
↓ 3 callersMethodreachable_values
(&self)
crates/nose-normalize/src/value_graph/output.rs:23
↓ 3 callersFunctionread_local_manifest
(path: &Path)
crates/nose-semantics/src/packs/loading.rs:172
↓ 3 callersFunctionreadiness_group_for
(packet: dict[str, Any])
bench/type4/proof_carrying_frontier.py:1888
↓ 3 callersFunctionreal_frontier_replay_blockers
(replay_coverage: dict[str, Any] | None)
bench/type4/proof_carrying_frontier.py:1220
↓ 3 callersFunctionreceiver_contract_dependency_match
( il: &Il, interner: Option<&Interner>, record: &EvidenceRecord, receiver: NodeId, contrac
crates/nose-semantics/src/library_api/receiver_dependencies/api_records/receiver_proofs.rs:88
↓ 3 callersFunctionreceiver_dependency_ids
( il: &Il, interner: &Interner, receiver: NodeId, contract: MethodReceiverContract, cache:
crates/nose-semantics/src/library_api/receiver_dependencies.rs:273
↓ 3 callersFunctionreceiver_membership_call_il
( lang: Lang, method: &str, arg_count: usize, )
crates/nose-semantics/src/tests/library_api_evidence/admission_resolvers/receiver_membership.rs:3
← previousnext →1,201–1,300 of 9,967, ranked by callers