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
↓ 4 callersFunctionlibrary_map_get_default_contract
( lang: Lang, method: &str, arg_count: usize, )
crates/nose-semantics/src/library_api/rows/methods.rs:482
↓ 4 callersFunctionlibrary_promise_catch_contract
( lang: Lang, method: &str, arg_count: usize, )
crates/nose-semantics/src/library_api/rows/methods/promise.rs:26
↓ 4 callersFunctionlibrary_rust_option_and_then_contract
( lang: Lang, method: &str, arg_count: usize, )
crates/nose-semantics/src/method_families.rs:240
↓ 4 callersFunctionload
(path: Path)
scripts/soundness_exclusions.py:38
↓ 4 callersFunctionload
(path: Path)
bench/labels/generated_provenance_behavior.py:59
↓ 4 callersFunctionload_json
(path: Path)
scripts/cache-query-regression.py:215
↓ 4 callersFunctionlocal_nontrivial_assignment_chain
( il: &Il, first_assign: NodeId, second_assign: NodeId, )
crates/nose-detect/src/il_utils.rs:67
↓ 4 callersFunctionlower_block
(lo: &mut Lowering, node: TsNode)
crates/nose-frontend/src/go/statements.rs:22
↓ 4 callersFunctionlower_condition
(lo: &mut Lowering, node: TsNode)
crates/nose-frontend/src/swift/statements.rs:307
↓ 4 callersFunctionlower_field
(lo: &mut Lowering, node: TsNode)
crates/nose-frontend/src/java/items.rs:511
↓ 4 callersFunctionlower_item
Lower a top-level / module-level item.
crates/nose-frontend/src/rust/items.rs:7
↓ 4 callersFunctionlower_js_static_global_or_var
(lo: &mut Lowering, node: TsNode)
crates/nose-frontend/src/js_ts/globals.rs:223
↓ 4 callersFunctionlower_stmt
Lower one statement. `in_class` tags nested `def`s as methods. Returns `None` for statements that are pure noise for clone detection (imports, globals
crates/nose-frontend/src/python/statements.rs:8
↓ 4 callersFunctionlower_stmt
(lo: &mut Lowering, node: TsNode)
crates/nose-frontend/src/swift/statements.rs:21
↓ 4 callersFunctionlower_update
`x++` / `++x` / `x--` → `x = x +/- 1`.
crates/nose-frontend/src/js_ts/control.rs:43
↓ 4 callersFunctionlowered_source
(path: &str, src: &str, lang: Lang)
crates/nose-cli/src/verify_admission/runtime_boundary/tests.rs:4
↓ 4 callersFunctionmap_key_view_call_il
( lang: Lang, method: &str, arg_count: usize, )
crates/nose-semantics/src/tests/library_api_evidence/admission_resolvers/map_key_view.rs:3
↓ 4 callersMethodmatches
(self, arg_count: usize)
crates/nose-semantics/src/effects.rs:38
↓ 4 callersFunctionmentioned_cids
All canonical variable ids referenced anywhere in `node`'s subtree.
crates/nose-normalize/src/value_graph/ops.rs:37
↓ 4 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
↓ 4 callersFunctionmethod_call_library_api_evidence
( id: u32, lang: Lang, method: &str, call_span: Span, arity: usize, dependencies: Vec<
crates/nose-detect/src/units/tests/support.rs:160
↓ 4 callersFunctionmissing_evidence_for_raw_tag
(path: &str, src: &str, lang: Lang, tag: &str)
crates/nose-cli/src/verify_admission/runtime_boundary/tests.rs:26
↓ 4 callersMethodmk_nullish_map_default
A NULL-guarded map default (`m.get(k) ?? d`, `m.get(k) == null ? d : …`) is the faithful nullish coalesce — it replaces BOTH absent (`undefined`) AND
crates/nose-normalize/src/value_graph/collections/defaults.rs:101
↓ 4 callersFunctionmodule_binding_mutating_method_contract
( lang: Lang, method: &str, arg_count: usize, )
crates/nose-semantics/src/effects.rs:488
↓ 4 callersMethodname
(self)
crates/nose-frontend/src/html.rs:82
↓ 4 callersFunctionname_is_assigned_in_scope
(il: &Il, name: Symbol, scope: NodeId)
crates/nose-semantics/src/evidence/domain.rs:508
↓ 4 callersMethodnearest_module_scope_containing_span
(&self, span: Span)
crates/nose-il/src/il.rs:210
↓ 4 callersMethodnew
( file: FileId, start_byte: u32, end_byte: u32, start_line: u32, end_l
crates/nose-il/src/span.rs:25
↓ 4 callersFunctionnode_is_static_literal_name
(il: &nose_il::Il, node: NodeId, expected: &str)
crates/nose-cli/src/verify_admission/runtime_boundary/async_runtime/ruby.rs:191
↓ 4 callersFunctionnode_tag_valued
Like [`node_tag`] but **value-sensitive** for literals: a retained int/bool/string literal contributes its concrete value, not just its abstract class
crates/nose-normalize/src/commutative.rs:97
↓ 4 callersFunctionnormalize_ws
Collapse internal whitespace runs to single spaces and trim — so source formatting differences (newlines/indentation inside a selector or value) do no
crates/nose-frontend/src/css.rs:416
↓ 4 callersFunctionnose_output
(args: &[String])
crates/nose-cli/tests/cli/support.rs:306
↓ 4 callersMethodnull_const
(&mut self)
crates/nose-normalize/src/value_graph/canonicalize/constants.rs:23
↓ 4 callersMethodoccurrences_for_row
( &self, pack_id: &str, row_id: &str, )
crates/nose-semantics/src/packs/evidence_index.rs:166
↓ 4 callersMethodpack
(&self, pack_id: &str)
crates/nose-semantics/src/packs/near_registry.rs:60
↓ 4 callersFunctionpairs
(count: int)
scripts/soundness_exclusions.py:82
↓ 4 callersFunctionparse_and_compile
(json: &str)
crates/nose-semantics/src/packs/v1/tests.rs:58
↓ 4 callersFunctionparse_patch_entries
(diff: &str)
crates/nose-cli/src/divergence/git.rs:311
↓ 4 callersFunctionpath_parts_without_extension
(path: &str, extensions: &[&str])
crates/nose-frontend/src/module_imports/modules.rs:170
↓ 4 callersFunctionpost_lower_library_api_evidence_with_pack_id
( il: &mut Il, call: NodeId, id: LibraryApiContractId, callee: LibraryApiCalleeContract, a
crates/nose-frontend/src/lower/post_lower_evidence.rs:262
↓ 4 callersFunctionpost_lower_record_library_api_result_domain
( il: &mut Il, call: NodeId, result_domain: Option<DomainEvidence>, api: EvidenceId, )
crates/nose-frontend/src/lower/post_lower_evidence.rs:309
↓ 4 callersFunctionprepare
( units: &[UnitFeat], stable_unit_keys: Option<&[[u8; 32]]>, opts: &DetectOptions, previous: O
crates/nose-detect/src/incremental/candidates.rs:16
↓ 4 callersFunctionpretty_bytes
(value: Any)
scripts/check-soundness-scorecard.py:77
↓ 4 callersFunctionproject_path
(path: Path, project_root: Path, repos_root: Path)
bench/corpus_prune/core.py:116
↓ 4 callersFunctionpromise_like_domain_record
(il: &Il, id: EvidenceId, node: NodeId)
crates/nose-normalize/src/call_target_evidence/tests/support.rs:93
↓ 4 callersFunctionpromise_literal_aggregate_input_states
( builder: &mut Builder<'_>, expr: NodeId, env: &FxHashMap<u32, ValueId>, )
crates/nose-normalize/src/value_graph/rules/promise_then.rs:352
↓ 4 callersFunctionpromise_then_demand_effect_profile
()
crates/nose-semantics/src/demand.rs:481
↓ 4 callersFunctionpush_async_aggregate_first_missing_evidence
(labels: &mut Vec<&'static str>)
crates/nose-cli/src/verify_admission/runtime_boundary/async_runtime.rs:382
↓ 4 callersFunctionpush_domain_evidence
( il: &mut Il, node: NodeId, id: u32, domain: DomainEvidence, )
crates/nose-normalize/src/value_graph/tests/support/promise.rs:454
↓ 4 callersFunctionpush_future_callback_missing_evidence
(labels: &mut Vec<&'static str>)
crates/nose-cli/src/verify_admission/runtime_boundary/async_runtime.rs:397
↓ 4 callersFunctionpush_map_contract_evidence
(il: &mut Il, lang: Lang, hof: NodeId, expect_msg: &str)
crates/nose-normalize/src/value_graph/tests/source_evidence/hof_demand.rs:120
↓ 4 callersFunctionpush_map_receiver_dependency
(il: &mut Il, receiver: NodeId)
crates/nose-semantics/src/tests/library_api_evidence/admission_resolvers/map_key_view.rs:11
↓ 4 callersFunctionpush_method_call_library_api_evidence
( il: &mut Il, interner: &Interner, id: u32, call: NodeId, method: &str, arity: usize,
crates/nose-normalize/src/value_graph/tests/support/library_api/library_api_push.rs:3
↓ 4 callersFunctionpush_protocol_receiver_dependency
(il: &mut Il, receiver: NodeId)
crates/nose-semantics/src/tests/library_api_evidence/admission_resolvers/sequence_hof.rs:50
↓ 4 callersFunctionpush_receiver_domain_dependency
(il: &mut Il, receiver: NodeId, domain: DomainEvidence)
crates/nose-semantics/src/tests/library_api_evidence/admission_resolvers/receiver_membership.rs:13
↓ 4 callersFunctionpush_unshadowed_builtin_symbol
(il: &mut Il, callee: NodeId, id: u32, name: &str)
crates/nose-semantics/src/tests/library_api_evidence/admission_resolvers/python_iterator_builtins.rs:39
↓ 4 callersFunctionpython_iterator_builtin_protocol_record
( id: u32, span: Span, contract_id: LibraryApiContractId, callee: LibraryApiCalleeContract,
crates/nose-semantics/src/tests/library_api_evidence/records.rs:133
↓ 4 callersFunctionquery_base_items
(json: &serde_json::Value)
crates/nose-cli/tests/cli/query_base.rs:112
↓ 4 callersMethodquery_json
(&self, mode: &str, extra_args: &[&str])
crates/nose-cli/tests/cli/support.rs:189
↓ 4 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:40
↓ 4 callersFunctionraw_name_set
(src: &str)
crates/nose-frontend/src/ruby/tests.rs:48
↓ 4 callersFunctionraw_names
(il: &Il, interner: &Interner)
crates/nose-frontend/src/js_ts/tests/support.rs:37
↓ 4 callersFunctionraw_names
(src: &[u8])
crates/nose-frontend/src/python/tests.rs:5
↓ 4 callersFunctionread_commitment
()
bench/labels/default_head_heldout_panel.py:46
↓ 4 callersFunctionread_json
(path: Path)
bench/labels/residual_ranking_topup.py:59
↓ 4 callersFunctionread_json
(path: Path)
bench/labels/residual_ranking_closeout.py:58
↓ 4 callersFunctionreceiver_membership_protocol_record
( id: u32, span: Span, contract: LibraryMethodCallContract, status: EvidenceStatus, depend
crates/nose-semantics/src/tests/library_api_evidence/records/receiver_records.rs:3
↓ 4 callersFunctionreceiver_method_result_domain_il
( lang: Lang, receiver_name: &str, method: &str, arg_count: usize, receiver_domain: Option
crates/nose-normalize/src/library_api_evidence/tests/receiver_method_result_domains.rs:3
↓ 4 callersMethodrecommended_surface
Product placement for the default/divergence/debug surfaces. This is a presentation/ranking decision, not detector semantics: exact fragments remain p
crates/nose-detect/src/report/model.rs:342
↓ 4 callersFunctionrecord_all_satisfy_dispatch_barrier
(lo: &mut Lowering, node: TsNode)
crates/nose-frontend/src/swift/dispatch_barriers.rs:44
↓ 4 callersFunctionrecord_all_satisfy_dispatch_proof_barrier
(lo: &mut Lowering, span: Span)
crates/nose-frontend/src/swift/dispatch_barriers.rs:122
↓ 4 callersFunctionrecord_compact_map_dispatch_barrier
(lo: &mut Lowering, node: TsNode)
crates/nose-frontend/src/swift/dispatch_barriers.rs:23
↓ 4 callersFunctionrecord_flat_map_dispatch_barrier
(lo: &mut Lowering, node: TsNode)
crates/nose-frontend/src/swift/dispatch_barriers.rs:34
↓ 4 callersFunctionrecord_flat_map_dispatch_proof_barrier
(lo: &mut Lowering, span: Span)
crates/nose-frontend/src/swift/dispatch_barriers.rs:127
↓ 4 callersFunctionrecord_guard_surface_evidence
(id: u32, span: Span)
crates/nose-semantics/src/tests/js_symbol_guards/record_shape.rs:91
↓ 4 callersMethodrefresh_unit_key
(&mut self)
crates/nose-detect/src/model.rs:18
↓ 4 callersFunctionreinvented_helpers
Compute the reinvented-helper containment findings over the extracted units: join each eligible helper's single return-sink hash against every other u
crates/nose-detect/src/reinvented.rs:65
↓ 4 callersFunctionrejection_obligation
( reason: &'static str, missing_evidence: &[&'static str], )
crates/nose-cli/src/recall_loss_report/obligations.rs:1
↓ 4 callersFunctionrel
(p: str)
bench/type4/miss_mining.py:50
↓ 4 callersFunctionrel
(path: str | Path)
bench/labels/eval_by_language.py:63
↓ 4 callersFunctionrel_source_path
(case_id: str, side: str, surface: Surface)
bench/type4/generate.py:4685
↓ 4 callersFunctionrelative
(path: Path)
bench/labels/default_head_heldout.py:105
↓ 4 callersFunctionrepo_rel
(path: Path)
bench/type4/real_frontier_replay.py:54
↓ 4 callersFunctionrepo_rel
A repo-root-relative path string when `path` is inside the repo, else its basename. Keeps the committed artifacts machine-independent (no absolute
bench/type4/frontier_platform.py:624
↓ 4 callersFunctionrepository_head
(repo: Path)
bench/labels/label_refresh.py:138
↓ 4 callersFunctionrequire
(condition: bool, message: str)
bench/labels/missed_worthy_stage_audit.py:305
↓ 4 callersFunctionrequire_bool
(path: Path, parent: dict[str, Any], key: str)
scripts/check-semantic-pack-examples.py:127
↓ 4 callersFunctionrequire_equal
(actual: object, expected: object, label: str)
eval/divergence_fire/precision_protocol_receipt.py:59
↓ 4 callersFunctionrequire_object
(path: Path, parent: dict[str, Any], key: str)
scripts/check-semantic-pack-examples.py:104
↓ 4 callersFunctionresolve_relative
( root: &Path, declared: &str, lock_path: &Path, )
crates/nose-semantics/src/packs/lock/paths.rs:80
↓ 4 callersFunctionretarget
(units: &mut [UnitFeat], stream: &mut Stream, path: &str)
crates/nose-cli/src/cache.rs:507
↓ 4 callersFunctionrevealed_arbiter_ids
( candidates: list[dict[str, Any]], root_seed: bytes, result_payload: dict[str, Any], )
bench/labels/default_head_heldout_reveal.py:537
↓ 4 callersMethodrewrite_indices
Rewrite every `Index(C, idx)` whose index is in `index_vals` to `Elem(C)`, throughout `val`'s subgraph (DAG-safe, memoized). This is what makes indexe
crates/nose-normalize/src/value_graph/control/loop_idioms.rs:350
↓ 4 callersFunctionruby_global_const_lookup_receiver
( il: &Il, interner: &Interner, receiver: NodeId, node_name: RubyNodeNameResolver, )
crates/nose-semantics/src/ruby_redefinitions/dynamic_method_changes/instruction_sequence.rs:519
↓ 4 callersFunctionrun
(args, cwd=None, timeout=None)
eval/divergence_fire/semantic_witness_eval.py:39
↓ 4 callersFunctionrun
( command: list[str], *, cwd: Path | None = None, check: bool = True, )
scripts/divergent-history-mining.py:34
↓ 4 callersFunctionrun_python_behavior
(b: IlBuilder, root: NodeId, args: &[Value])
crates/nose-normalize/src/interp/tests/calls_symbolic.rs:15
↓ 4 callersFunctionruntime_boundary_missing_evidence
( il: &nose_il::Il, interner: &Interner, root: NodeId, )
crates/nose-cli/src/verify_admission/runtime_boundary.rs:10
↓ 4 callersFunctionrust_imported_runtime_member
( il: &nose_il::Il, interner: &Interner, callee: NodeId, module: &str, exported: &str,
crates/nose-cli/src/verify_admission/runtime_boundary/async_runtime/rust.rs:486
↓ 4 callersMethodrust_runtime_root_is_local_for_file
(&self, root: &str, file_path: &str)
crates/nose-cli/src/verify_admission.rs:60
← previousnext →1,001–1,100 of 12,346, ranked by callers