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
↓ 4 callersMethodnull_const
(&mut self)
crates/nose-normalize/src/value_graph/canonicalize/constants.rs:23
↓ 4 callersMethodof
(Object value)
docs/examples/semantic-packs/v0/fixtures/java/guava_immutable_collections_shadowed.java:2
↓ 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 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:347
↓ 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_json
(dir: &Path)
crates/nose-cli/tests/cli/query_base/edge_cases.rs:22
↓ 4 callersFunctionquery_family_json
One family as the structured `nose query --format json` object: all the evidence a consumer needs to triage without re-parsing a human row. `shared`/`
crates/nose-cli/src/query_model.rs:233
↓ 4 callersMethodquery_json
(&self, mode: &str, extra_args: &[&str])
crates/nose-cli/tests/cli/support.rs:150
↓ 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 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 callersFunctionrecognize_contract
Recognize `node` as a migrated exact-fragment shape by building its contract directly, independently of `units::exact_statement_fragment_root`. Return
crates/nose-detect/src/fragment/recognize.rs:43
↓ 4 callersMethodrecord
( &mut self, reason: VerifyExclusionReason, file: &str, span: nose_il::Span,
crates/nose-cli/src/verify_collect.rs:103
↓ 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 callersFunctionrel
(p: str)
bench/type4/miss_mining.py:50
↓ 4 callersFunctionrel_source_path
(case_id: str, side: str, surface: Surface)
bench/type4/generate.py:4629
↓ 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 callersFunctionrequire
(condition: bool, message: str)
bench/labels/missed_worthy_stage_audit.py:305
↓ 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 callersFunctionround3
(x: f64)
crates/nose-detect/src/candidates.rs:397
↓ 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
( 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
↓ 4 callersFunctionrust_sequence_hof_adapter_evidence
( id: u32, call_span: Span, contract_id: LibraryApiContractId, callee: LibraryApiCalleeContrac
crates/nose-normalize/src/value_graph/tests/support/library_api.rs:135
↓ 4 callersFunctionseeds
`k` independent permutation seeds.
crates/nose-detect/src/minhash.rs:16
↓ 4 callersFunctionseq_names
(src: &str)
crates/nose-frontend/src/java/tests.rs:343
↓ 4 callersMethodseq_surface
(&self, node: NodeId)
crates/nose-normalize/src/value_graph/output.rs:195
↓ 4 callersFunctionseq_surface_contract
(lang: Lang, tag: Option<&str>)
crates/nose-semantics/src/sequence_surface.rs:132
↓ 4 callersFunctionsequence_hof_call_il
(method: &str, arg_count: usize)
crates/nose-semantics/src/tests/library_api_evidence/admission_resolvers/sequence_hof.rs:8
↓ 4 callersFunctionsnake_to_pascal
(name: str)
bench/type4/type4gen/model.py:211
↓ 4 callersFunctionsource_call_at_node
(il: &Il, node: NodeId)
crates/nose-semantics/src/evidence.rs:325
↓ 4 callersFunctionsource_record
(surface: Surface, variant: Variant, path: Path)
bench/type4/generate.py:4633
↓ 4 callersMethodsource_salted_hash
(&mut self, expr: NodeId, tag: u64)
crates/nose-normalize/src/value_graph/state.rs:371
↓ 4 callersMethodsource_salted_opaque
(&mut self, expr: NodeId, tag: u64)
crates/nose-normalize/src/value_graph/state.rs:381
↓ 4 callersFunctionspan_lines
(l: &Loc)
crates/nose-detect/src/report/paths.rs:14
↓ 4 callersFunctionstable_id
(*parts: str)
bench/type4/generate.py:4621
↓ 4 callersFunctionstatic_string_key
(lo: &Lowering, node: TsNode)
crates/nose-frontend/src/js_ts/syntax.rs:5
↓ 4 callersFunctionstrict_base_project
(tag: &str)
crates/nose-cli/tests/cli/query_base/suppression_edges.rs:3
↓ 4 callersFunctionstrict_exact_collection_factory_call_safe
( il: &Il, interner: &Interner, facts: &StrictFacts, node: NodeId, )
crates/nose-detect/src/strict_exact/collections.rs:536
↓ 4 callersFunctionstrict_exact_map_receiver_or_factory_safe
( il: &Il, interner: &Interner, facts: &StrictFacts, receiver: NodeId, allow_rust_std_fact
crates/nose-detect/src/strict_exact/collections.rs:130
↓ 4 callersFunctionstrict_exact_proven_map_receiver_safe
( il: &Il, interner: &Interner, facts: &StrictFacts, receiver: NodeId, )
crates/nose-detect/src/strict_exact/collections.rs:376
↓ 4 callersFunctionstrict_exact_safe_var
(il: &Il, facts: &StrictFacts, node: NodeId)
crates/nose-detect/src/strict_exact/primitives.rs:14
↓ 4 callersFunctionsubtree_hashes
Structural hash of every node, indexed by `NodeId`. Identifier *names* are hashed by their string content (via the interner) so the result is reproduc
crates/nose-normalize/src/commutative.rs:14
↓ 4 callersMethodsubtree_len
(self)
crates/nose-detect/src/connected.rs:79
↓ 4 callersFunctionsummarize_runs
Rebuild the checked report summary from the raw alternating runs.
scripts/query_regression_summary.py:10
↓ 4 callersMethodsummary
(self)
crates/nose-semantics/src/packs/compiled.rs:62
↓ 4 callersFunctionsurface_capability
(capabilities: dict, surface: Surface, axis: str)
bench/type4/type4gen/model.py:237
↓ 4 callersFunctionswift_bracket_array_parameter_proven
Whether a parameter has a unique, dependency-live language-core proof that it is attribute/modifier-free and uses Swift bracket-array syntax (`[T]`).
crates/nose-semantics/src/evidence/domain/swift.rs:5
↓ 4 callersMethodswift_collection_factories
(self)
crates/nose-semantics/src/stdlib_semantics.rs:98
↓ 4 callersFunctionswift_consume_typed_throws_tail
(text: str)
scripts/scheduling-lifecycle-boundary-audit.py:1973
↓ 4 callersFunctionswift_sequence_hof_call_il
( method: &str, shape: SwiftCallbackShape, )
crates/nose-semantics/src/tests/library_api_evidence/admission_resolvers/sequence_hof/swift.rs:31
↓ 4 callersMethodterminal_reduction_arg_admitted
(&self, arg: NodeId)
crates/nose-normalize/src/value_graph/collections/cardinality.rs:60
↓ 4 callersFunctiontest_span
(offset: u32)
crates/nose-normalize/src/interp/tests.rs:91
↓ 4 callersMethodtier
(&self)
crates/nose-cli/src/divergence.rs:189
↓ 4 callersFunctiontier_divergence
(scope: &'static str, fire_eligible: bool, touch: Option<bool>)
crates/nose-cli/src/divergence/tests.rs:280
↓ 4 callersFunctionto_site
(loc: &Loc)
crates/nose-cli/src/divergence/detect.rs:404
↓ 4 callersFunctionunique_asserted_record_evidence_at
( il: &Il, span: Span, anchor_matches: impl Fn(EvidenceAnchor) -> bool, project: impl Fn(&Evid
crates/nose-semantics/src/evidence.rs:87
↓ 4 callersFunctionunit_defines_hash_visible_at
( il: &Il, interner: &Interner, name_hash: u64, occurrence_span: Span, )
crates/nose-semantics/src/symbol_identity.rs:501
↓ 4 callersFunctionunshadowed_symbol_evidence_id
( il: &mut Il, node: NodeId, expected: &str, )
crates/nose-normalize/src/library_api_evidence/recording.rs:257
↓ 4 callersFunctionupsert
( il: &mut Il, anchor: EvidenceAnchor, kind: EvidenceKind, _rule: &'static str, provenance
crates/nose-normalize/src/call_target_evidence.rs:454
↓ 4 callersMethodvalued_subtree_hash
(&mut self, expr: NodeId)
crates/nose-normalize/src/value_graph/state.rs:350
↓ 4 callersMethodvar_cid
(&self, id: NodeId)
crates/nose-il/src/il.rs:162
↓ 4 callersMethodvar_name
(&self, id: NodeId)
crates/nose-il/src/il.rs:154
↓ 4 callersMethodvty
(&self, v: ValueId)
crates/nose-normalize/src/value_graph/state.rs:8
↓ 4 callersMethodwith_evidence_index
(&self, read: impl FnOnce(&EvidenceIndex) -> T)
crates/nose-il/src/il.rs:397
↓ 4 callersFunctionwitness_token
The friendly token for a `witness.kind` — the machine value (`--format json`, `group=witness` keys, filter matching). Stable; do not change without a
crates/nose-cli/src/query_model.rs:26
↓ 4 callersFunctionwrite_ignore
(dir: &Path, body: &str)
crates/nose-cli/tests/cli/query_base/suppression_edges.rs:21
↓ 4 callersFunctionwrite_source
(out_dir: Path, rel_path: Path, source: str)
bench/type4/generate.py:4645
↓ 3 callersFunction_fail
(source: str, path: str, message: str)
bench/labels/query_schema.py:37
↓ 3 callersFunction_validate_family
(family: object, *, source: str, index: int)
bench/labels/query_schema.py:67
↓ 3 callersMethodac_chain_commutes
Whether an associative-commutative chain's operands may be COMMUTED (reordered). Associativity — regrouping a flat chain — is sound for every type and
crates/nose-normalize/src/value_graph/state.rs:75
↓ 3 callersFunctionadd
(record: dict[str, Any], phase: str)
bench/labels/missed_worthy_frontier.py:239
← previousnext →801–900 of 9,967, ranked by callers