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 callersMethodhof_emitted_elem_with_pred
(&mut self, coll: ValueId)
crates/nose-normalize/src/value_graph/collections/elements.rs:60
↓ 2 callersMethodhof_value_admission
( &self, node: NodeId, kind: HoFKind, )
crates/nose-normalize/src/value_graph/collections/cardinality.rs:86
↓ 2 callersMethodidf
(&self, g: u64)
crates/nose-markdown/src/verify.rs:72
↓ 2 callersMethodidx
A canonical "iteration index into `coll`". `for i in range(len(xs))`, an indexed `while`, and `for i, _ in enumerate(xs)` all bind their index variabl
crates/nose-normalize/src/value_graph/collections/elements.rs:116
↓ 2 callersMethodimmutable_binding_safe
( &self, node: NodeId, env: &FxHashMap<u32, ValueId>, )
crates/nose-normalize/src/value_graph/context.rs:406
↓ 2 callersFunctionimport_binding_evidence_only_with_dependencies
( lo: &mut Lowering, span: Span, local: &str, module: &str, exported: &str, dependenci
crates/nose-frontend/src/lower/imports.rs:81
↓ 2 callersFunctionimport_binding_with_symbol_evidence
( lo: &mut Lowering, span: Span, local: &str, module: &str, exported: &str, )
crates/nose-frontend/src/lower/imports.rs:49
↓ 2 callersFunctionimport_fact_evidence_with_provenance
( id: u32, span: Span, kind: EvidenceKind, provenance: EvidenceProvenance, status: Evidenc
crates/nose-semantics/src/tests/semantic_evidence/import_symbols.rs:22
↓ 2 callersFunctionimported_binding_rhs
(il: &nose_il::Il, interner: &Interner, name: &str)
crates/nose-frontend/src/module_imports/tests/rust_module_resolution.rs:317
↓ 2 callersFunctionimported_binding_symbol
Prove that `node` denotes a static imported binding for `module.exported`.
crates/nose-semantics/src/symbol_identity.rs:264
↓ 2 callersMethodimported_map_factory
(self)
crates/nose-semantics/src/stdlib_semantics.rs:114
↓ 2 callersFunctionimported_promise_continuation_call_il
( continuation: &str, literal_payload: bool, )
crates/nose-normalize/src/value_graph/tests/support/promise_imported.rs:22
↓ 2 callersFunctionimported_promise_factory_call_il
( local: &str, arg_count: usize, )
crates/nose-normalize/src/library_api_evidence/tests/call_result_domains.rs:69
↓ 2 callersFunctionindex
Walk `il` exactly as the real fragment collector does (skipping `Lambda` subtrees), applying `classify` to each node and collecting the accepted `(spa
crates/nose-detect/src/fragment/recognize/tests.rs:12
↓ 2 callersFunctionindex_membership_threshold_matches
( op: Op, index_call_on_right: bool, threshold: IndexMembershipThreshold, )
crates/nose-semantics/src/operator_thresholds.rs:27
↓ 2 callersFunctioninnermost_enclosing_function_span_with_cache
( il: &Il, span: Span, cache: &mut ImportedOccurrenceValidationCache, )
crates/nose-semantics/src/library_api/imported_occurrences.rs:137
↓ 2 callersFunctioninspect_provider_scope
(scope: ProviderScope<'_>, scan: &mut ProviderScan)
crates/nose-frontend/src/module_imports/diagnostics/provider.rs:285
↓ 2 callersMethodintern_node
Intern a value node by `(op, args)` (hash-consing), computing its structural hash and kernel value domain. The raw constructor used by `mk` after cano
crates/nose-normalize/src/value_graph/canonicalize/core.rs:46
↓ 2 callersFunctioninvalid
(message: impl Into<String>)
crates/nose-semantics/src/packs/validation.rs:50
↓ 2 callersMethodinvalidate_scope_binding_index
Drop payload-dependent local-binder facts after an in-place binding rewrite such as alpha-renaming. Span/kind indexes remain valid.
crates/nose-il/src/il/scope_index.rs:132
↓ 2 callersFunctioninvis
(x)
eval/hazard/tune.py:36
↓ 2 callersMethodis_array
(self)
crates/nose-il/src/node/domains.rs:70
↓ 2 callersMethodis_async_protocol_raw
Whether a `Raw` node is an async protocol boundary that the near channel models as a value-preserving wrapper. Exact admission still sees the original
crates/nose-normalize/src/value_graph/eval/core.rs:25
↓ 2 callersFunctionis_bool_literal_return
(stmt: ast.stmt)
bench/type4/python_loop_demorgan_proof_facts.py:444
↓ 2 callersMethodis_boolean
(self)
crates/nose-il/src/node/domains.rs:78
↓ 2 callersFunctionis_c_identifier
(text: &str)
crates/nose-frontend/src/c/items.rs:223
↓ 2 callersFunctionis_channel_receive_expr
(lo: &Lowering, node: TsNode)
crates/nose-frontend/src/go/assignments.rs:168
↓ 2 callersMethodis_collection_param_expr
(&self, expr: NodeId)
crates/nose-normalize/src/value_graph/state.rs:465
↓ 2 callersFunctionis_covered
(axis, status)
bench/type4/coverage_matrix.py:102
↓ 2 callersMethodis_dynamically_typed
Whether the language is dynamically typed — a bare parameter carries no static type, so it could be a float at runtime (#342). Used to decide that an
crates/nose-semantics/src/language_profile.rs:123
↓ 2 callersMethodis_effect_free_static_err_body
( &mut self, node: NodeId, env: &FxHashMap<u32, ValueId>, )
crates/nose-normalize/src/value_graph/control/static_errors.rs:4
↓ 2 callersMethodis_effect_free_throw_prefix
(&self, node: NodeId)
crates/nose-normalize/src/value_graph/control/guards.rs:263
↓ 2 callersMethodis_empty_value
(&mut self, coll: ValueId)
crates/nose-normalize/src/value_graph/collections/defaults.rs:4
↓ 2 callersMethodis_exact_safe
Whether this place's identity is proven well enough to support an exact effect. Fail-closed: anything reaching an [`Place::Unknown`] base is rejected.
crates/nose-detect/src/fragment/contract.rs:219
↓ 2 callersFunctionis_expr_kind
(k: &str)
crates/nose-frontend/src/go/statements.rs:234
↓ 2 callersFunctionis_ident_byte
(b: u8)
crates/nose-frontend/src/source_artifacts.rs:146
↓ 2 callersFunctionis_intentional_raw_boundary_tag
Whether a Raw surface tag is an intentional fail-closed boundary rather than a fixable lowering gap. Includes source protocol/effect boundaries and sy
crates/nose-frontend/src/lib.rs:121
↓ 2 callersFunctionis_item
(k: &str)
crates/nose-frontend/src/rust/statements.rs:79
↓ 2 callersFunctionis_literal
(node: ast.AST)
bench/type4/python_loop_demorgan_proof_facts.py:426
↓ 2 callersMethodis_null_value
(&self, value: ValueId)
crates/nose-normalize/src/value_graph/collections/defaults.rs:132
↓ 2 callersMethodis_numeric
(self)
crates/nose-semantics/src/operators/callback_effects.rs:31
↓ 2 callersMethodis_one_literal
(&self, node: NodeId)
crates/nose-normalize/src/value_graph/collections/cardinality.rs:383
↓ 2 callersFunctionis_pure_local_comparison
(node: ast.AST, allowed_names: set[str])
bench/type4/python_loop_demorgan_proof_facts.py:452
↓ 2 callersMethodis_rust_option_none_node
(&self, node: NodeId)
crates/nose-normalize/src/value_graph/collections/rust_option.rs:23
↓ 2 callersMethodis_safe_clamp_integer_value
(&self, value: ValueId)
crates/nose-normalize/src/value_graph/control/guards.rs:89
↓ 2 callersFunctionis_selection_code
A selection reduction (min/max) keeps no additive/multiplicative identity, so its `Reduce` carries only the per-element contribution (no init).
crates/nose-normalize/src/value_graph/ops.rs:320
↓ 2 callersFunctionis_sequence_hof_method_call
( lang: Lang, contract_id: LibraryApiContractId, callee: LibraryApiCalleeContract, )
crates/nose-normalize/src/value_graph/tests/support/library_api/library_api_push.rs:80
↓ 2 callersMethodis_slice
(&self, family: &nose_detect::RefactorFamily)
crates/nose-cli/src/query_opportunities.rs:150
↓ 2 callersFunctionis_swift_keyword_at
(text: &str, idx: usize, keyword: &str)
crates/nose-frontend/src/swift/lambdas.rs:378
↓ 2 callersFunctionis_terminator
A control-flow terminator: a statement that unconditionally diverts control out of the straight-line flow, so any code after it in the same block is u
crates/nose-normalize/src/lib.rs:181
↓ 2 callersFunctionis_trivia
Comment / trivia node kinds across the supported grammars.
crates/nose-frontend/src/lower/parse.rs:54
↓ 2 callersFunctionis_trivial_line
A line with no extractable content on its own: blank, pure delimiters (`}`, `});`, `)`), or a bare control keyword. Sharing one of these between two b
crates/nose-cli/src/source_lines.rs:336
↓ 2 callersFunctionis_type4
(g: &EvalPair)
crates/nose-eval/src/lib.rs:164
↓ 2 callersMethodis_unknown
(&self)
crates/nose-il/src/unit.rs:108
↓ 2 callersFunctionis_valid_evidence_kind
(value: &str)
crates/nose-semantics/src/packs/validation/helpers.rs:104
↓ 2 callersMethodis_var_cid
(&self, node: NodeId, cid: u32)
crates/nose-normalize/src/value_graph/control/loop_idioms.rs:142
↓ 2 callersFunctioniter_source_files
(repo_path: Path, max_bytes: int)
bench/type4/prioritize_frontier.py:338
↓ 2 callersFunctioniter_source_files
(root: Path)
bench/corpus_prune/core.py:186
↓ 2 callersFunctioniter_swift_body_bearing_callable_signatures
(text: str)
scripts/scheduling-lifecycle-boundary-audit.py:1779
↓ 2 callersFunctioniter_swift_closure_headers
(text: str)
scripts/scheduling-lifecycle-boundary-audit.py:1852
↓ 2 callersFunctioniterator_adapter_receiver_dependency_ids
( il: &Il, interner: &Interner, receiver: NodeId, contract: IteratorAdapterReceiverContract,
crates/nose-semantics/src/library_api/receiver_dependencies.rs:195
↓ 2 callersFunctioniterator_identity_call_il_with_args
( lang: Lang, method: &str, arg_count: usize, )
crates/nose-semantics/src/tests/library_api_evidence/admission_resolvers/iterator_adapter.rs:7
↓ 2 callersFunctionjaccard
Jaccard of two sorted, de-duplicated u64 sets.
crates/nose-markdown/src/fingerprint.rs:163
↓ 2 callersFunctionjava_arrays_stream_call_il_with_arg_count
( arg_count: usize, )
crates/nose-semantics/src/tests/library_api_evidence/admission_resolvers/support_factories.rs:7
↓ 2 callersFunctionjava_class_module_hashes
( il: &Il, interner: &Interner, class_name: Symbol, )
crates/nose-frontend/src/module_imports/modules.rs:114
↓ 2 callersMethodjava_collection_factories
(self)
crates/nose-semantics/src/stdlib_semantics.rs:66
↓ 2 callersFunctionjava_collection_factory_contract
( lang: Lang, receiver: &str, method: &str, )
crates/nose-semantics/src/constructor_contracts.rs:90
↓ 2 callersFunctionjava_completable_future_simple_receiver_proven
( il: &nose_il::Il, interner: &Interner, call: NodeId, receiver: NodeId, context: &crate::
crates/nose-cli/src/verify_admission/runtime_boundary/async_runtime/java.rs:114
↓ 2 callersFunctionjava_concurrent_import_usable_at_span
( il: &nose_il::Il, interner: &Interner, span: Span, type_name: &str, context: &crate::ver
crates/nose-cli/src/verify_admission/runtime_boundary/async_runtime/java/receiver_provenance.rs:130
↓ 2 callersFunctionjava_constructor_type_name
(text: &str)
crates/nose-frontend/src/java/constructors.rs:117
↓ 2 callersFunctionjava_guava_immutable_map_of_arg_count_supported
(arg_count: usize)
crates/nose-semantics/src/constructor_contracts.rs:305
↓ 2 callersFunctionjava_import_backed_receiver_names
( text: str, type_names: set[str], package_local_types: set[str] | None = None, )
scripts/scheduling-lifecycle-boundary-audit.py:2875
↓ 2 callersFunctionjava_imported_binding_is_wildcard_backed
( il: &nose_il::Il, record: &nose_il::EvidenceRecord, )
crates/nose-cli/src/verify_admission/runtime_boundary/async_runtime/java.rs:272
↓ 2 callersFunctionjava_is_nested_type_decl
(kind: &str)
crates/nose-frontend/src/java/items.rs:433
↓ 2 callersFunctionjava_lambda_parameter_visible_before
(text: str, before: int, name: str)
scripts/scheduling-lifecycle-boundary-audit.py:1647
↓ 2 callersFunctionjava_local_type_names
(text: str)
scripts/scheduling-lifecycle-boundary-audit.py:2939
↓ 2 callersFunctionjava_map_entry_call_il_with_arg_count
( arg_count: usize, )
crates/nose-semantics/src/tests/library_api_evidence/admission_resolvers/support_factories.rs:115
↓ 2 callersFunctionjava_map_entry_contract
(lang: Lang, receiver: &str, method: &str)
crates/nose-semantics/src/constructor_contracts.rs:409
↓ 2 callersFunctionjava_map_factory_contract
( lang: Lang, receiver: &str, method: &str, )
crates/nose-semantics/src/constructor_contracts.rs:248
↓ 2 callersFunctionjava_map_factory_result_domain_arg_count_supported
( kind: JavaMapFactoryKind, arg_count: usize, )
crates/nose-semantics/src/constructor_contracts.rs:324
↓ 2 callersFunctionjava_package_key
(il: &nose_il::Il, interner: &Interner)
crates/nose-cli/src/verify_admission.rs:162
↓ 2 callersFunctionjava_receiver_declaration_domain
( lo: &Lowering, node: TsNode, )
crates/nose-frontend/src/java/items.rs:476
↓ 2 callersFunctionjava_root
(mut node: TsNode)
crates/nose-frontend/src/java/constructors.rs:125
↓ 2 callersFunctionjava_static_binary_factory_call_il
( receiver_name: &str, method: &str, base_line: u32, )
crates/nose-semantics/src/tests/library_api_evidence/admission_resolvers/support_factories.rs:45
↓ 2 callersFunctionjava_stdlib_math_evidence
( id: u32, call_span: Span, contract_id: LibraryApiContractId, callee: LibraryApiCalleeContrac
crates/nose-normalize/src/value_graph/tests/support/library_api.rs:157
↓ 2 callersFunctionjava_top_level_type_names
(text: str)
scripts/scheduling-lifecycle-boundary-audit.py:2949
↓ 2 callersFunctionjava_tree_declares_type
(lo: &Lowering, node: TsNode, simple_type: &str)
crates/nose-frontend/src/java/constructors.rs:189
↓ 2 callersFunctionjava_tree_import_resolution
( lo: &Lowering, node: TsNode, module: &str, simple_type: &str, saw_wildcard: &mut bool,
crates/nose-frontend/src/java/constructors.rs:151
↓ 2 callersFunctionjava_type_surface
(text: &str)
crates/nose-semantics/src/type_domain.rs:378
↓ 2 callersFunctionjs_boolean_call_il
(interner: &Interner)
crates/nose-semantics/src/tests/library_api_evidence/resolution.rs:76
↓ 2 callersFunctionjs_like_array_hof_method_call
( lang: Lang, contract: MethodCallContract, )
crates/nose-semantics/src/library_api/rows/methods/classification.rs:3
↓ 2 callersMethodjs_like_array_param_universal_closed
( &self, coll: ValueId, )
crates/nose-normalize/src/value_graph/collections/elements.rs:30
↓ 2 callersFunctionjs_like_builtin_boolean_record
( id: u32, span: Span, contract_id: LibraryApiContractId, callee: LibraryApiCalleeContract,
crates/nose-semantics/src/tests/library_api_evidence/records.rs:179
↓ 2 callersFunctionjs_like_builtin_collection_constructor_evidence
( id: u32, call_span: Span, contract_id: LibraryApiContractId, callee: LibraryApiCalleeContrac
crates/nose-normalize/src/value_graph/tests/support/library_api.rs:47
↓ 2 callersFunctionjs_like_builtin_collection_constructor_evidence
( id: u32, call_span: Span, contract_id: LibraryApiContractId, callee: LibraryApiCalleeContrac
crates/nose-detect/src/units/tests/support.rs:73
↓ 2 callersFunctionjs_like_builtin_regex_record
( id: u32, span: Span, contract_id: LibraryApiContractId, callee: LibraryApiCalleeContract,
crates/nose-semantics/src/tests/library_api_evidence/records.rs:194
↓ 2 callersFunctionjs_like_builtin_static_index_membership_record
( id: u32, span: Span, contract_id: LibraryApiContractId, callee: LibraryApiCalleeContract,
crates/nose-semantics/src/tests/library_api_evidence/records.rs:209
↓ 2 callersFunctionjs_object_key_view_argument_dependency_ids_for_call
( il: &Il, interner: &Interner, call: NodeId, )
crates/nose-semantics/src/object_key_views.rs:6
↓ 2 callersFunctionjs_pair_variant
(surface: Surface, operation_key: str, representation: str, negative: bool)
bench/type4/type4gen/aggregate.py:1145
↓ 2 callersFunctionjs_static_index_membership_call_il
( method: &str, lambda_arg: bool, )
crates/nose-semantics/src/tests/library_api_evidence/admission_resolvers/static_index.rs:3
← previousnext →1,801–1,900 of 9,967, ranked by callers