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
↓ 5 callersFunctionnodes_contain_static_null_literal
(il: &Il, nodes: impl IntoIterator<Item = NodeId>)
crates/nose-semantics/src/constructor_contracts.rs:364
↓ 5 callersFunctionnorm
Lower + normalize `src`, returning the IL and its parent index.
crates/nose-detect/src/fragment/recognize/tests.rs:339
↓ 5 callersFunctionparam_domain_records
( evidence: &[EvidenceRecord], domain: DomainEvidence, )
crates/nose-frontend/src/lower/tests.rs:300
↓ 5 callersFunctionparse_old_side_ranges
Parse `git diff --unified=0` text into base-side changed line ranges per repo-relative path. Pure (no git) so it can be unit-tested against crafted di
crates/nose-cli/src/divergence/git.rs:208
↓ 5 callersMethodpassed
(&self)
crates/nose-semantics/src/packs/external.rs:195
↓ 5 callersMethodplus_has_mixed_string_coercion
(&self)
crates/nose-normalize/src/value_graph/state.rs:44
↓ 5 callersFunctionpost_lower_file_defines_name_visible_at
( il: &Il, interner: &Interner, name: &str, occurrence_span: Span, )
crates/nose-frontend/src/lower/post_lower_evidence.rs:576
↓ 5 callersFunctionpromise_value_is_non_thenable_safe
(builder: &Builder<'_>, value: ValueId)
crates/nose-normalize/src/value_graph/rules/promise_then.rs:426
↓ 5 callersFunctionpush_async_aggregate_all_missing_evidence
(labels: &mut Vec<&'static str>)
crates/nose-cli/src/verify_admission/runtime_boundary/async_runtime.rs:377
↓ 5 callersFunctionpush_bound_order_evidence
( il: &mut Il, id: u32, cond: NodeId, operands: (NodeId, NodeId), activation: BoundOrderGu
crates/nose-semantics/src/tests/guard_evidence.rs:12
↓ 5 callersMethodpush_unit
Tag a detection unit.
crates/nose-frontend/src/lower/builder.rs:178
↓ 5 callersFunctionpush_unshadowed_symbol
(il: &mut Il, node: NodeId, name: &str)
crates/nose-normalize/src/library_api_evidence/tests/call_result_domains.rs:49
↓ 5 callersFunctionpython_stdlib_collection_factory_record
( id: u32, span: Span, contract: LibraryCollectionFactoryContract, status: EvidenceStatus,
crates/nose-semantics/src/tests/library_api_evidence/records.rs:253
↓ 5 callersFunctionquery_families
(stdout: str, *, source: str = "nose query")
bench/labels/query_schema.py:131
↓ 5 callersFunctionquery_fragment_only_fixture_families
( tag: &str, fixtures: &[(&str, &str)], )
crates/nose-cli/tests/cli/exact_fragments/support.rs:17
↓ 5 callersFunctionquery_row_limit
Resolve how many rows a query view shows. `top=N` shows N; `top=0` means *all (matching `analysis --top 0`, and the `top: Some(0)` the dataset build a
crates/nose-cli/src/query_model.rs:463
↓ 5 callersFunctionraw_name_set
(src: &str)
crates/nose-frontend/src/swift/tests.rs:70
↓ 5 callersFunctionraw_names
(src: &str)
crates/nose-frontend/src/go/tests.rs:37
↓ 5 callersFunctionreceiver_cid_param_span
(il: &Il, receiver: NodeId, cid: u32)
crates/nose-semantics/src/evidence/domain.rs:435
↓ 5 callersFunctionreceiver_method_call_il
( lang: Lang, method: &str, arg_count: usize, span_base: u32, )
crates/nose-semantics/src/tests/library_api_evidence/admission_resolvers/support_core.rs:43
↓ 5 callersFunctionrepo_rel
(path: Path)
bench/type4/semantic_pattern_cards.py:37
↓ 5 callersFunctionrequire_repos
(report: dict[str, Any], label: str)
scripts/check-query-regression.py:80
↓ 5 callersFunctionrequire_string
(path: Path, parent: dict[str, Any], key: str)
scripts/check-semantic-pack-examples.py:105
↓ 5 callersFunctionrequire_summary
(report: dict[str, Any], label: str)
scripts/check-query-regression.py:50
↓ 5 callersFunctionruby_instruction_sequence_eval_receiver_may_redefine_method
( il: &Il, interner: &Interner, receiver: NodeId, node_name: RubyNodeNameResolver, occurre
crates/nose-semantics/src/ruby_redefinitions/dynamic_method_changes/instruction_sequence.rs:152
↓ 5 callersFunctionruby_reflective_target_dynamic_method_change
( il: &Il, target: NodeId, method_args: &[NodeId], expected_method: &str, )
crates/nose-semantics/src/ruby_redefinitions/dynamic_method_changes.rs:340
↓ 5 callersFunctionruby_single_dynamic_argument_may_be_erased_splat
(il: &Il, args: &[NodeId])
crates/nose-semantics/src/ruby_redefinitions/dynamic_method_changes.rs:333
↓ 5 callersFunctionrun_python_ret
(b: IlBuilder, root: NodeId, args: &[Value])
crates/nose-normalize/src/interp/tests/calls_symbolic.rs:19
↓ 5 callersMethodscope_bindings
(&self, scope: NodeId)
crates/nose-il/src/il/scope_index.rs:136
↓ 5 callersFunctionscripts
Content of every extracted `<script>` block, as text.
crates/nose-frontend/src/embedded.rs:404
↓ 5 callersMethodseed_module_value_bindings
(&mut self)
crates/nose-normalize/src/value_graph/context.rs:228
↓ 5 callersFunctionsemantic_pack_hash
(pack_id: &str)
crates/nose-semantics/src/packs.rs:395
↓ 5 callersFunctionsequence_surface_evidence
( id: u32, lang: Lang, span: Span, surface: SequenceSurfaceKind, )
crates/nose-detect/src/units/tests/support.rs:37
↓ 5 callersFunctionsequence_surface_evidence_record_at_sequence_span
( il: &Il, span: Span, )
crates/nose-semantics/src/sequence_surface.rs:187
↓ 5 callersMethodslice
Lines `start..=end` (1-based) of `file`.
crates/nose-cli/src/source_lines.rs:453
↓ 5 callersFunctionsnapshot_subtree
(il: &Il, root: NodeId)
crates/nose-frontend/src/module_imports/snapshot.rs:39
↓ 5 callersFunctionsource_operator_at_node
(il: &Il, node: NodeId)
crates/nose-semantics/src/evidence.rs:282
↓ 5 callersFunctionsp
(line: u32)
crates/nose-normalize/src/binding_evidence/tests.rs:8
↓ 5 callersFunctionstrict_exact_proven_collection_receiver_safe
( il: &Il, interner: &Interner, facts: &StrictFacts, receiver: NodeId, )
crates/nose-detect/src/strict_exact/collections.rs:358
↓ 5 callersMethodtake_stage
(&mut self)
crates/nose-normalize/src/value_graph/timing.rs:32
↓ 5 callersMethodunion
(&mut self, a: usize, b: usize)
crates/nose-detect/src/cluster.rs:31
↓ 5 callersFunctionunit_hash
Normalize `src` and return the structural hash of its first function/method unit. A shared `interner` keeps field-name symbols comparable across calls
crates/nose-cli/tests/equivalence.rs:11
↓ 5 callersFunctionvisit_subtree
(il: &nose_il::Il, root: NodeId, mut visit: impl FnMut(NodeId))
crates/nose-cli/src/verify_admission.rs:383
↓ 5 callersMethodwith_threshold
Enable the threshold early-exit (set to the run's acceptance threshold).
crates/nose-detect/src/detectors.rs:125
↓ 5 callersFunctionwitness
( source: &str, lang: Lang, left_name: &str, right_name: &str, )
crates/nose-detect/src/connected/tests.rs:4
↓ 4 callersFunctionabstraction_family_witness
( members: impl IntoIterator<Item = &'a UnitFeat>, )
crates/nose-detect/src/units/model.rs:113
↓ 4 callersMethodadd_values_not_concat
Whether a `+` chain may be treated as numeric/non-concat rather than ordered string/list concat. `value_law_satisfied` alone accepts an UNKNOWN operan
crates/nose-normalize/src/value_graph/state.rs:35
↓ 4 callersFunctionadmitted_imported_collection_factory_at_call
( il: &Il, interner: &Interner, call: NodeId, )
crates/nose-semantics/src/library_api/resolvers.rs:238
↓ 4 callersFunctionadmitted_java_collection_factory_at_call
( il: &Il, interner: &Interner, call: NodeId, )
crates/nose-semantics/src/library_api/resolvers.rs:299
↓ 4 callersFunctionadmitted_java_map_entry_at_call
( il: &Il, interner: &Interner, call: NodeId, )
crates/nose-semantics/src/library_api/resolvers.rs:424
↓ 4 callersFunctionadmitted_js_array_is_array_il
(interner: &Interner)
crates/nose-semantics/src/tests/library_api_evidence/resolution.rs:33
↓ 4 callersFunctionadmitted_library_node
( il: &Il, interner: &Interner, node: NodeId, receiver: Option<NodeId>, arg_count: usize,
crates/nose-semantics/src/library_api/resolvers/admission.rs:115
↓ 4 callersFunctionadmitted_method_call_contract
( il: &Il, interner: &Interner, node: NodeId, )
crates/nose-detect/src/strict_exact/calls.rs:171
↓ 4 callersFunctionadmitted_ruby_set_factory_at_call
( il: &Il, interner: &Interner, call: NodeId, )
crates/nose-semantics/src/library_api/resolvers.rs:259
↓ 4 callersMethodand_preds
Conjoin two optional predicates (a filter's own predicate and one carried up through a fused collection): both → `p ∧ q`, one → it, none → none.
crates/nose-normalize/src/value_graph/collections/hof.rs:232
↓ 4 callersFunctionanti_unify_all
Anti-unify N line-blocks at line granularity. Anchored on the first (largest) copy, a line *survives* into the shared body only if it is matched in *e
crates/nose-cli/src/source_lines.rs:11
↓ 4 callersFunctionappend_call_args
( il: &Il, interner: &Interner, node: NodeId, )
crates/nose-detect/src/units/fragments/loop_effect.rs:333
↓ 4 callersFunctionarray_assignment
( b: &mut IlBuilder, interner: &Interner, name: Symbol, assign_span: Span, seq_span: Span,
crates/nose-normalize/src/binding_evidence/tests.rs:62
↓ 4 callersFunctionassert_c_unsigned_32_cast_provenance
(record: &EvidenceRecord)
crates/nose-frontend/src/c/tests.rs:4
↓ 4 callersFunctionassert_cross_file_swift_compact_map_closed
( tag: &str, declaration_file: &str, declaration: &str, failure_message: &str, )
crates/nose-frontend/src/corpus_tests.rs:466
↓ 4 callersFunctionassert_example_external_pack
(pack: &serde_json::Value, expected_id: &str)
crates/nose-cli/tests/cli/commands/config_packs.rs:165
↓ 4 callersFunctionassert_flat_map_boundary
(expected: &[u64], interner: &Interner, source: &str, label: &str)
crates/nose-cli/tests/equivalence/swift_flat_map.rs:28
↓ 4 callersFunctionassert_reason_count
(census: &super::super::ImportSnapshotCensus, reason: &str, expected: usize)
crates/nose-frontend/src/module_imports/tests/rust_module_resolution.rs:329
↓ 4 callersFunctionassert_ts_named_ne
(src: &str, left: &str, right: &str, message: &str)
crates/nose-cli/tests/equivalence/typescript_every.rs:12
↓ 4 callersFunctionassert_type_domain
(lang: Lang, source: &str, expected: Option<DomainEvidence>)
crates/nose-semantics/src/tests/semantic_evidence/type_domains.rs:63
↓ 4 callersFunctionasserted_effect_at_node
(il: &Il, node: NodeId, wanted: EffectEvidenceKind)
crates/nose-semantics/src/effects.rs:180
↓ 4 callersFunctionasserted_unshadowed_global_symbol
Evidence-only proof that `node` denotes a language-defined unshadowed global with the exact requested name. The raw spelling is never enough: only exp
crates/nose-semantics/src/symbol_identity.rs:236
↓ 4 callersMethodassigned_values
(&self, file: u32, name: &str)
crates/nose-semantics/src/ruby_redefinitions/dynamic_method_changes.rs:83
↓ 4 callersFunctionassignment
( lo: &mut Lowering, node: TsNode, mut lower_target: impl FnMut(&mut Lowering, TsNode) -> NodeId,
crates/nose-frontend/src/lower/expr_helpers.rs:199
↓ 4 callersMethodassigns_in_scope
`Assign` node ids whose [`Il::nearest_scope`] is `scope` (`None` = module level), in arena order. Backed by a lazy index: binding-LHS resolution filte
crates/nose-il/src/il/scope_index.rs:49
↓ 4 callersMethodawait_boundary
Preserve an async `await` boundary until a protocol/demand contract proves it can be erased safely.
crates/nose-frontend/src/lower/builder.rs:148
↓ 4 callersMethodbinding_mutated
(&self, il: &Il, name: Symbol, defining_stmt: NodeId)
crates/nose-frontend/src/module_imports/bindings.rs:145
↓ 4 callersFunctionbinding_node_name
(il: &Il, node: NodeId)
crates/nose-normalize/src/binding_evidence.rs:450
↓ 4 callersMethodbinding_uses
(&'a self, il: &Il, interner: &Interner)
crates/nose-frontend/src/module_imports.rs:199
↓ 4 callersMethodbool_const_value
(&mut self, b: bool)
crates/nose-normalize/src/value_graph/canonicalize/constants.rs:26
↓ 4 callersMethodbranch_returns
(&self, node: NodeId)
crates/nose-normalize/src/value_graph/control/guards.rs:199
↓ 4 callersFunctionbuild
( docs: &[(String, String)], min_words: usize, )
crates/nose-markdown/src/eval.rs:85
↓ 4 callersFunctionbuiltin_evidence_provenance
(pack_id: &str, rule: &str)
crates/nose-frontend/src/lower.rs:280
↓ 4 callersFunctionbuiltin_language_pack_id
(lang: Lang)
crates/nose-semantics/src/language_profile.rs:85
↓ 4 callersFunctioncanonical_record_has_unshadowed_symbol_dependency
( il: &Il, call: NodeId, record: &EvidenceRecord, name: &str, )
crates/nose-semantics/src/library_api/receiver_dependencies/api_records/canonical.rs:237
↓ 4 callersFunctioncanonicalize
Order-independent, corpus-location-independent product summary. Family order and ranking tie-breaks are dropped; locations are made repo-rela
bench/type4/query_regression/query_regression.py:490
↓ 4 callersFunctioncase_items
(cases: dict[str, Any])
bench/type4/adversarial/scripts/_type4_adversarial.py:57
↓ 4 callersFunctioncheck
( root: Path, config: Path, include_roots: list[str], *, quiet: bool = False, ratchet_
scripts/check-file-lengths.py:135
↓ 4 callersMethodclear_type_domain_alias
(&mut self, local: &str)
crates/nose-frontend/src/lower/evidence.rs:176
↓ 4 callersMethodcollection_elem_with_pred
( &mut self, coll: ValueId, )
crates/nose-normalize/src/value_graph/collections/elements.rs:20
↓ 4 callersFunctioncollection_factory_args_export_safe
( il: &Il, interner: &Interner, result: LibraryCollectionFactoryResult, args: &[NodeId], )
crates/nose-semantics/src/module_exports.rs:291
↓ 4 callersFunctioncombine_optional_conditions
Combine two optional condition nodes with `And`, preserving a lone condition.
crates/nose-frontend/src/lower/control_flow.rs:124
↓ 4 callersFunctioncompact_lower
(text: &str)
crates/nose-semantics/src/type_domain.rs:296
↓ 4 callersFunctionconditional_direct_effect_sites
( il: &Il, interner: &Interner, node: NodeId, )
crates/nose-detect/src/fragment/conditional_guard.rs:144
↓ 4 callersFunctionconstruct_syntax_proof
(il: &Il, node: NodeId)
crates/nose-semantics/src/evidence.rs:496
↓ 4 callersFunctioncorpus_from
(files: &[(&str, &str, Lang)])
crates/nose-cli/tests/refactor.rs:16
↓ 4 callersFunctioncount_by_methods
( counts: dict[Pattern, int], pattern: Pattern, text: str, names: set[str], methods: tuple
scripts/scheduling-lifecycle-boundary-audit.py:2370
↓ 4 callersFunctiondecode_query_payload
Decode and validate the schema-v7 list envelope used by evaluators.
bench/labels/query_schema.py:104
↓ 4 callersFunctiondedupe
(values: list[str])
bench/type4/python_loop_demorgan_proof_facts.py:368
↓ 4 callersFunctiondedupe_hashes
(hashes: Vec<u64>)
crates/nose-frontend/src/module_imports/modules.rs:213
↓ 4 callersFunctiondirect_effect_site
(il: &Il, interner: &Interner, node: NodeId)
crates/nose-detect/src/fragment/conditional_guard.rs:172
↓ 4 callersFunctiondisplay_arg
(value: str | Path)
bench/labels/missed_worthy_stage_audit.py:52
↓ 4 callersFunctiondiv_zero_map_len_il
()
crates/nose-normalize/src/value_graph/tests/source_evidence/hof_demand.rs:91
↓ 4 callersFunctiondoc
(p: &str, s: &str)
crates/nose-markdown/src/detect.rs:333
↓ 4 callersFunctiondomain_dependency_anchor_matches_receiver
( il: &Il, interner: &Interner, receiver: NodeId, anchor: EvidenceAnchor, cache: &mut Libr
crates/nose-semantics/src/library_api/receiver_dependencies/domain.rs:79
← previousnext →601–700 of 9,967, ranked by callers