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 callersFunctionjs_variant
(surface: Surface, operation_key: str, representation: str, negative: bool)
bench/type4/type4gen/aggregate.py:326
↓ 2 callersFunctionjs_with_statement
(il: &Il, interner: &Interner, node: NodeId)
crates/nose-semantics/src/object_key_views.rs:260
↓ 2 callersFunctionjsx_attr_host
(node: TsNode)
crates/nose-frontend/src/js_ts/jsx.rs:227
↓ 2 callersFunctionjsx_ws
Collapse JSX whitespace text (DOM-insignificant) and trim.
crates/nose-frontend/src/js_ts/jsx.rs:151
↓ 2 callersFunctionkey
(c)
eval/hazard/expand_candidates.py:16
↓ 2 callersFunctionkids
(d, i)
bench/labels/antiunify_probe.py:44
↓ 2 callersMethodlabel
(self)
crates/nose-cli/src/verify_collect.rs:48
↓ 2 callersMethodlambda_body_is_static_runtime_err
( &mut self, lambda: NodeId, env: &FxHashMap<u32, ValueId>, )
crates/nose-normalize/src/value_graph/control/static_errors.rs:300
↓ 2 callersMethodlambda_param_referenced
Whether one lexical callback parameter is mentioned by the callback body. This preserves binding-coordinate evidence even when evaluation substitutes
crates/nose-normalize/src/value_graph/collections/hof.rs:344
↓ 2 callersFunctionlanguage_from_path
(path: &str)
crates/nose-cli/src/recall_loss_report/location.rs:25
↓ 2 callersMethodlap
(&mut self, stage: &str)
crates/nose-detect/src/orchestration.rs:64
↓ 2 callersMethodlattice_pair_canon
Lattice canon combining an ORDERED comparison (`ordered`, which fixes the operand pair `(x, y)` in source order) with a COMMUTATIVE (in)equality (`com
crates/nose-normalize/src/value_graph/canonicalize/lattice.rs:22
↓ 2 callersMethodlen_call_arg
(&self, node: NodeId)
crates/nose-normalize/src/value_graph/collections/cardinality.rs:367
↓ 2 callersFunctionlibrary_api_callback_obligation_matches_node
( il: &Il, interner: Option<&Interner>, node: NodeId, obligation: CallbackObligation, )
crates/nose-semantics/src/library_api/admission/callbacks.rs:129
↓ 2 callersFunctionlibrary_api_contract_requires_call_obligations
( lang: Lang, id: LibraryApiContractId, )
crates/nose-semantics/src/library_api/admission/iterator_sources.rs:70
↓ 2 callersFunctionlibrary_api_contract_result_domain_for_arity
( id: LibraryApiContractId, callee: LibraryApiCalleeContract, arity: u16, )
crates/nose-semantics/src/library_api/registry.rs:8
↓ 2 callersFunctionlibrary_api_dependencies_match_callee
( il: &Il, interner: &Interner, node: NodeId, callee: LibraryApiCalleeContract, record: &E
crates/nose-semantics/src/library_api/callee_dependencies/node.rs:3
↓ 2 callersFunctionlibrary_api_dependencies_match_callee_at_span
( il: &Il, interner: &Interner, call_span: Span, callee_span: Option<Span>, receiver_span:
crates/nose-semantics/src/library_api/callee_dependencies/span.rs:4
↓ 2 callersFunctionlibrary_api_dependency_anchor_matches_receiver
( il: &Il, interner: Option<&Interner>, anchor: EvidenceAnchor, receiver: NodeId, )
crates/nose-semantics/src/library_api/receiver_dependencies/api_records/receiver_proofs.rs:299
↓ 2 callersFunctionlibrary_api_dependency_id_for_call
( il: &Il, interner: &Interner, call: NodeId, id: LibraryApiContractId, )
crates/nose-semantics/src/library_api/receiver_dependencies/api_records.rs:212
↓ 2 callersFunctionlibrary_api_dependency_id_for_call_contract
( il: &Il, interner: &Interner, call: NodeId, accepts: impl Fn(LibraryApiContractId, LibraryAp
crates/nose-semantics/src/library_api/receiver_dependencies/api_records.rs:258
↓ 2 callersFunctionlibrary_api_dependency_id_for_canonical_builtin_call
The asserted same-span `LibraryApi` evidence record that licenses a canonical builtin call. Normalization may rewrite a source/library call to `Paylo
crates/nose-semantics/src/library_api/receiver_dependencies/api_records/canonical.rs:30
↓ 2 callersFunctionlibrary_api_dependency_id_for_contract_records
( il: &Il, anchor: EvidenceAnchor, mut contract_id_for_hash: impl FnMut(u64) -> Option<LibraryApiC
crates/nose-semantics/src/library_api/receiver_dependencies/api_records.rs:53
↓ 2 callersFunctionlibrary_api_dependency_id_for_protocol_call
( il: &Il, interner: &Interner, call: NodeId, )
crates/nose-semantics/src/library_api/receiver_dependencies/api_records.rs:157
↓ 2 callersFunctionlibrary_api_evidence_ids_in_records
( evidence: &[EvidenceRecord], contract_hash: u64, callee_hash: u64, )
crates/nose-frontend/src/lower/tests.rs:47
↓ 2 callersFunctionlibrary_api_record_depends_on_receiver_protocol_api_depth
( il: &Il, interner: Option<&Interner>, record: &EvidenceRecord, receiver: NodeId, contrac
crates/nose-semantics/src/library_api/receiver_dependencies/api_records/receiver_proofs.rs:223
↓ 2 callersFunctionlibrary_api_record_depends_on_receiver_result_domain
( il: &Il, interner: Option<&Interner>, record: &EvidenceRecord, receiver: NodeId, require
crates/nose-semantics/src/library_api/receiver_dependencies/api_records/receiver_proofs.rs:201
↓ 2 callersFunctionlibrary_api_record_depends_on_receiver_sequence_surface
( il: &Il, record: &EvidenceRecord, receiver: NodeId, contract: MethodReceiverContract, )
crates/nose-semantics/src/library_api/receiver_dependencies/api_records/receiver_proofs.rs:499
↓ 2 callersFunctionlibrary_api_record_has_builtin_provenance
( record: &EvidenceRecord, pack_id: &'static str, producer_id: &'static str, )
crates/nose-semantics/src/library_api/admission/provenance.rs:15
↓ 2 callersMethodlibrary_api_value_span
(&self, value: ValueId)
crates/nose-normalize/src/value_graph/stdlib/api_spans.rs:18
↓ 2 callersFunctionlibrary_free_name_collection_factory_contracts
( lang: Lang, )
crates/nose-semantics/src/library_api/rows.rs:117
↓ 2 callersFunctionlibrary_free_name_map_factory_contracts
( lang: Lang, )
crates/nose-semantics/src/library_api/rows.rs:234
↓ 2 callersFunctionlibrary_imported_promise_factory_contracts
( lang: Lang, )
crates/nose-semantics/src/library_api/rows/methods/promise.rs:180
↓ 2 callersFunctionlibrary_iterator_identity_adapter_result_domain
( callee: LibraryApiCalleeContract, arity: usize, )
crates/nose-semantics/src/library_api/contracts.rs:343
↓ 2 callersFunctionlibrary_map_key_view_wrapper_result_domain
( _contract: LibraryMapKeyViewWrapperContract, )
crates/nose-semantics/src/library_api/contracts.rs:315
↓ 2 callersFunctionlibrary_method_selector_name
(name: &str)
crates/nose-semantics/src/library_api/rows/methods/selectors.rs:1
↓ 2 callersFunctionlibrary_receiver_method_api_result_domain
( id: LibraryApiContractId, )
crates/nose-semantics/src/library_api/contracts.rs:321
↓ 2 callersFunctionlint_meta
( obligation: Obligation, all_ids: set[str], errors: list[str], rust_markers: dict[str, set[st
scripts/check-formal-obligations.py:326
↓ 2 callersFunctionlint_required_obligations
( obligations: dict[str, Obligation], errors: list[str], required: tuple[RequiredObligation, ...]
scripts/check-formal-obligations.py:489
↓ 2 callersFunctionlint_rust_marker_index
( obligations: dict[str, Obligation], rust_markers: dict[str, set[str]], errors: list[str], )
scripts/check-formal-obligations.py:469
↓ 2 callersMethodlist_append_parts
If `e` is a single-item `append(r, item)` to an ACTIVE builder var `r`, record the per-element contribution under the current path guard and return tr
crates/nose-normalize/src/value_graph/builders.rs:86
↓ 2 callersFunctionliteral_map_default_axis_supported
(surface: Surface, proposal_id: str)
bench/type4/generate.py:2991
↓ 2 callersFunctionliteral_string_hash
(il: &Il, node: NodeId)
crates/nose-semantics/src/symbol_identity.rs:566
↓ 2 callersFunctionload_and_validate_source_bounds
( path: Path, artifact_path: Path, decisions_path: Path, *, check_sources: bool = False, )
bench/labels/missed_worthy_frontier.py:1298
↓ 2 callersFunctionload_artifact
(path: Path)
bench/labels/label_refresh.py:380
↓ 2 callersFunctionload_corpus
(path: Path)
bench/semantic_pack/pricing.py:696
↓ 2 callersFunctionload_evidence
(axis_id_or_canon, language) -> best status, merging real_frontier + the live sweep.
bench/type4/coverage_matrix.py:53
↓ 2 callersFunctionload_for_query
(path: Option<&Path>)
crates/nose-cli/src/ignores.rs:123
↓ 2 callersFunctionload_json
(path: Path)
scripts/check-query-regression.py:31
↓ 2 callersFunctionload_json
(path: Path)
bench/type4/semantic_pattern_cards.py:44
↓ 2 callersFunctionload_json
(path: Path)
bench/type4/real_frontier_replay.py:45
↓ 2 callersFunctionload_jsonl
(path)
eval/divergence_fire/replay.py:526
↓ 2 callersFunctionload_pinned_repo_ids
(corpus_path: Path)
bench/corpus_prune/core.py:130
↓ 2 callersFunctionload_records
(path)
eval/divergence_fire/replay.py:270
↓ 2 callersFunctionload_repos
(corpus_path: Path, repos_root: Path)
bench/type4/prioritize_frontier.py:318
↓ 2 callersFunctionload_subset
(path: Path)
bench/type4/query_regression/query_regression.py:687
↓ 2 callersFunctionloc_key
(loc: dict[str, Any])
scripts/recall-loss-diff.py:161
↓ 2 callersFunctionlocation_miss
(il: &Il, stmt: NodeId, reason: &'static str)
crates/nose-frontend/src/module_imports/diagnostics/provider.rs:528
↓ 2 callersFunctionlone_string_arguments
The node's argument list holds exactly one plain string (no interpolation, no expressions riding along).
crates/nose-frontend/src/declaration_facts.rs:234
↓ 2 callersFunctionlookup
(key, other)
bench/type4/adversarial/cases/map_default_cross_file/local.py:1
↓ 2 callersFunctionlookup_dict_provider
(interner: &Interner, lookup: Symbol)
crates/nose-frontend/src/module_imports/tests/support.rs:266
↓ 2 callersFunctionlookup_import_consumer_with_lang
( lookup: Symbol, lang: Lang, path: &str, )
crates/nose-frontend/src/module_imports/tests/support.rs:312
↓ 2 callersFunctionlower_assign
(lo: &mut Lowering, node: TsNode)
crates/nose-frontend/src/ruby/expressions.rs:3
↓ 2 callersFunctionlower_assignment
(lo: &mut Lowering, node: TsNode)
crates/nose-frontend/src/python/control.rs:3
↓ 2 callersFunctionlower_assignment
(lo: &mut Lowering, node: TsNode)
crates/nose-frontend/src/swift/statements.rs:160
↓ 2 callersFunctionlower_aug_assignment
(lo: &mut Lowering, node: TsNode)
crates/nose-frontend/src/python/control.rs:18
↓ 2 callersFunctionlower_begin
`begin … rescue … ensure … else … end` → `Try(body, handler-blocks…)`, converging with try/catch in other languages. Exception-type lists are skipped
crates/nose-frontend/src/ruby/control.rs:116
↓ 2 callersFunctionlower_block_lambda
(lo: &mut Lowering, node: TsNode)
crates/nose-frontend/src/ruby/blocks_calls.rs:3
↓ 2 callersFunctionlower_block_lambda_with_unit
( lo: &mut Lowering, node: TsNode, block_unit_name: Option<Symbol>, )
crates/nose-frontend/src/ruby/blocks_calls.rs:6
↓ 2 callersFunctionlower_body_declarations
(lo: &mut Lowering, node: TsNode)
crates/nose-frontend/src/java/items.rs:84
↓ 2 callersFunctionlower_call
(lo: &mut Lowering, node: TsNode)
crates/nose-frontend/src/ruby/blocks_calls.rs:105
↓ 2 callersFunctionlower_call
(lo: &mut Lowering, node: TsNode)
crates/nose-frontend/src/swift/calls.rs:3
↓ 2 callersFunctionlower_call_function
( lo: &mut Lowering, node: TsNode, iota_value: Option<usize>, )
crates/nose-frontend/src/go/expressions.rs:404
↓ 2 callersFunctionlower_case
`case x when a … when b …` → an `if`/`else` chain (the bodies are the signal).
crates/nose-frontend/src/ruby/control.rs:60
↓ 2 callersFunctionlower_channel_receive_expr
(lo: &mut Lowering, node: TsNode)
crates/nose-frontend/src/go/assignments.rs:174
↓ 2 callersFunctionlower_children
Lower a sibling sequence, grouping Svelte block markers (`{#each}`…`{/each}`, `{#if}`…`{/if}`) into [`NodeKind::HtmlControl`] wrappers around the encl
crates/nose-frontend/src/html.rs:118
↓ 2 callersFunctionlower_class
(lo: &mut Lowering, node: TsNode)
crates/nose-frontend/src/ruby/statements.rs:245
↓ 2 callersFunctionlower_comprehension
A comprehension `[body for x in xs]` lowers to `HoF(Map)[xs, λx. body]`, with the body wrapped as `Block[Return[body]]` so it converges with a JS `xs.
crates/nose-frontend/src/python/comprehensions.rs:42
↓ 2 callersFunctionlower_control_transfer
(lo: &mut Lowering, node: TsNode)
crates/nose-frontend/src/swift/statements.rs:106
↓ 2 callersFunctionlower_declaration
`property: value...;` → `CssDecl(property)[ Lit(Name=raw-value-token)... ]`. The property name is lowercased (CSS property names are case-insensitive
crates/nose-frontend/src/css.rs:204
↓ 2 callersFunctionlower_decorated_definition
( lo: &mut Lowering, decorators: Vec<NodeId>, definition_span: Span, decorated_span: Span,
crates/nose-frontend/src/js_ts/declarations.rs:124
↓ 2 callersFunctionlower_directive
(lo: &mut Lowering, node: TsNode)
crates/nose-frontend/src/swift/statements.rs:71
↓ 2 callersFunctionlower_docstring_block
(lo: &mut Lowering, node: TsNode, in_class: bool)
crates/nose-frontend/src/python/statements.rs:185
↓ 2 callersFunctionlower_extension
(lo: &mut Lowering, node: TsNode)
crates/nose-frontend/src/swift/items.rs:120
↓ 2 callersFunctionlower_file_with_setup
( file: FileId, path: &str, src: &[u8], interner: &Interner, key: u16, lang_fn: impl F
crates/nose-frontend/src/lower/file.rs:41
↓ 2 callersFunctionlower_func
(lo: &mut Lowering, node: TsNode, method: bool)
crates/nose-frontend/src/js_ts/declarations.rs:14
↓ 2 callersFunctionlower_function
(lo: &mut Lowering, node: TsNode, method: bool)
crates/nose-frontend/src/swift/items.rs:164
↓ 2 callersFunctionlower_function_body
(lo: &mut Lowering, node: TsNode)
crates/nose-frontend/src/swift/items.rs:497
↓ 2 callersFunctionlower_hash_pair
(lo: &mut Lowering, node: TsNode)
crates/nose-frontend/src/ruby/expressions.rs:338
↓ 2 callersFunctionlower_if
(lo: &mut Lowering, node: TsNode)
crates/nose-frontend/src/ruby/control.rs:3
↓ 2 callersFunctionlower_if
(lo: &mut Lowering, node: TsNode)
crates/nose-frontend/src/go/control.rs:3
↓ 2 callersFunctionlower_if
(lo: &mut Lowering, node: TsNode)
crates/nose-frontend/src/swift/statements.rs:195
↓ 2 callersFunctionlower_item
(lo: &mut Lowering, node: TsNode)
crates/nose-frontend/src/swift/items.rs:6
↓ 2 callersFunctionlower_java_construct_call
( lo: &mut Lowering, type_name: &str, type_span: Span, args: &[NodeId], span: Span, )
crates/nose-frontend/src/java/constructors.rs:97
↓ 2 callersFunctionlower_js_with_interner
(src: &str)
crates/nose-frontend/src/js_ts/tests/support.rs:11
↓ 2 callersFunctionlower_lambda
(lo: &mut Lowering, node: TsNode)
crates/nose-frontend/src/swift/lambdas.rs:3
↓ 2 callersFunctionlower_let_chain
(lo: &mut Lowering, node: TsNode)
crates/nose-frontend/src/rust/statements.rs:126
↓ 2 callersFunctionlower_let_condition
(lo: &mut Lowering, node: TsNode)
crates/nose-frontend/src/rust/statements.rs:142
↓ 2 callersFunctionlower_macro_definition_shadow
(lo: &mut Lowering, node: TsNode)
crates/nose-frontend/src/rust/macros.rs:29
↓ 2 callersFunctionlower_match_pattern_condition
( lo: &mut Lowering, scrutinee: NodeId, pattern: TsNode, span: Span, )
crates/nose-frontend/src/rust/matches.rs:78
← previousnext →1,901–2,000 of 9,967, ranked by callers