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
↓ 6 callersFunctionpaint
(code: &str, s: &str)
crates/nose-cli/src/style.rs:13
↓ 6 callersMethodparts_record
( self, id: u32, span: Span, contract_id: LibraryApiContractId, callee
crates/nose-semantics/src/tests/library_api_evidence/records.rs:73
↓ 6 callersMethodpath_cond
The conjunction of the current branch path (`c₁ ∧ c₂ ∧ …`), or `None` at top level.
crates/nose-normalize/src/value_graph/control/returns.rs:266
↓ 6 callersMethodpossibly_float
Whether `v` COULD be a float — `proven_float`, OR a bare parameter in a dynamically-typed language (Python/JS/Ruby), where an untyped param carries no
crates/nose-normalize/src/value_graph/state.rs:163
↓ 6 callersFunctionprepare_exact_project
(tag: &str)
crates/nose-cli/tests/cli/commands/config_packs/external_exact.rs:21
↓ 6 callersFunctionpromise_finally_call_il
( producer_method: &str, handler_kind: FinallyHandlerKind, )
crates/nose-normalize/src/value_graph/tests/support/promise_finally.rs:19
↓ 6 callersFunctionpush_node_effect
(il: &mut Il, id: u32, node: NodeId, effect: EffectEvidenceKind)
crates/nose-semantics/src/tests.rs:173
↓ 6 callersFunctionpush_promise_finally_evidence
( il: &mut Il, interner: &Interner, call: NodeId, id: u32, )
crates/nose-normalize/src/value_graph/tests/support/promise_finally.rs:93
↓ 6 callersFunctionpush_promise_reject_evidence
( il: &mut Il, call: NodeId, base_id: u32, )
crates/nose-normalize/src/value_graph/tests/support/promise.rs:475
↓ 6 callersFunctionpush_task_spawn_missing_evidence
(labels: &mut Vec<&'static str>)
crates/nose-cli/src/verify_admission/runtime_boundary/async_runtime.rs:345
↓ 6 callersFunctionqualified_global_symbol_contract
( lang: Lang, path: &str, )
crates/nose-semantics/src/map_statics.rs:275
↓ 6 callersFunctionquery_base_json
(dir: &Path)
crates/nose-cli/tests/cli/query_base/edge_cases.rs:22
↓ 6 callersFunctionquery_base_json_value
(dir: &Path, extra: &[&str])
crates/nose-cli/tests/cli/query_base.rs:94
↓ 6 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:484
↓ 6 callersFunctionraw_names
(src: &str)
crates/nose-frontend/src/ruby/tests.rs:55
↓ 6 callersFunctionraw_names
(src: &str)
crates/nose-frontend/src/java/tests.rs:337
↓ 6 callersFunctionread_json
(path: Path)
bench/labels/default_head_heldout.py:83
↓ 6 callersFunctionread_json
(path: Path)
bench/labels/residual_ranking.py:174
↓ 6 callersFunctionread_lines
Read lines `start..=end` (1-based) of `file` as raw strings.
crates/nose-cli/src/source_lines.rs:530
↓ 6 callersFunctionreceiver_mutation_call_receiver
( il: &Il, interner: &Interner, node: NodeId, )
crates/nose-semantics/src/effects.rs:454
↓ 6 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
↓ 6 callersFunctionrecord_dictionary_default_subscript_proof_barrier
(lo: &mut Lowering, span: Span)
crates/nose-frontend/src/swift/dispatch_barriers.rs:146
↓ 6 callersFunctionrecord_guard_record
( id: u32, span: Span, subject: &str, null_check: JsRecordGuardNullCheck, dependencies: &[
crates/nose-semantics/src/tests/js_symbol_guards/record_shape.rs:75
↓ 6 callersMethodrecord_param_domain_resolution
( &mut self, span: Span, domain: ResolvedTypeDomain, )
crates/nose-frontend/src/lower/evidence.rs:18
↓ 6 callersMethodreferences_cached
( &self, v: ValueId, target: ValueId, cache: &mut ReductionCache, )
crates/nose-normalize/src/value_graph/canonicalize/references.rs:18
↓ 6 callersMethodrefs_elem
Does `v`'s value subgraph reference an `Elem` (a collection element)? Bounded DAG walk; used to confirm a guard is a per-element predicate of a loop.
crates/nose-normalize/src/value_graph/control/returns.rs:307
↓ 6 callersFunctionrelativize
Render `file` relative to `cwd` when it sits underneath it; otherwise leave it as-is (an absolute path outside cwd is more useful whole than mangled).
crates/nose-cli/src/path_utils.rs:25
↓ 6 callersFunctionrepo_rel
(path: Path)
bench/type4/proof_carrying_frontier.py:195
↓ 6 callersFunctionrequire
(condition: bool, message: str)
scripts/check-divergent-history-artifacts.py:32
↓ 6 callersFunctionrequire_array
(path: Path, parent: dict[str, Any], key: str, *, min_items: int = 0)
scripts/check-semantic-pack-examples.py:111
↓ 6 callersFunctionrequire_equal
(actual: object, expected: object, label: str)
bench/labels/default_head_heldout_panel.py:26
↓ 6 callersFunctionruby_enumerable_hof_call_il
( method: &str, shape: RubyCallbackShape, )
crates/nose-semantics/src/tests/library_api_evidence/admission_resolvers/sequence_hof/ruby.rs:31
↓ 6 callersFunctionruby_eval_source_may_redefine_method
(il: &Il, node: NodeId)
crates/nose-semantics/src/ruby_redefinitions/dynamic_method_changes.rs:260
↓ 6 callersFunctionsemantic_pack_hash
(pack_id: &str)
crates/nose-semantics/src/packs.rs:495
↓ 6 callersFunctionsha256_file
(path: Path)
scripts/soundness_exclusions.py:56
↓ 6 callersFunctionsha256_file
(path: Path)
bench/labels/default_head_heldout.py:101
↓ 6 callersFunctionsnake_to_camel
(name: str)
bench/type4/type4gen/model.py:206
↓ 6 callersFunctionsnapshot_subtree
(il: &Il, root: NodeId)
crates/nose-frontend/src/module_imports/snapshot.rs:110
↓ 6 callersFunctionstatic_snapshot
()
scripts/soundness-lab-gate.py:157
↓ 6 callersFunctionsummarize_runs
Rebuild the checked report summary from the raw alternating runs.
scripts/query_regression_summary.py:10
↓ 6 callersFunctionswift_source_mentions_identifier
(source: &str, expected: &str)
crates/nose-frontend/src/swift/dispatch_barriers.rs:17
↓ 6 callersFunctionupsert_language_core_evidence
( il: &mut Il, anchor: EvidenceAnchor, kind: EvidenceKind, dependencies: Vec<EvidenceId>, )
crates/nose-normalize/src/library_api_evidence/recording.rs:331
↓ 6 callersFunctionvalidate_core
(artifact: dict[str, Any], *, live_sources: bool = False)
bench/labels/default_head_taxonomy.py:1255
↓ 6 callersFunctionvalidate_project_lock
( lock_path: &Path, )
crates/nose-semantics/src/packs/lock/validation.rs:32
↓ 6 callersMethodvalue_truthy
Concrete truthiness with the source language's Number edge cases. JavaScript treats NaN as falsy and every array object as truthy; Python deliberately
crates/nose-normalize/src/interp/control.rs:46
↓ 6 callersMethodvar_binding_name
(&self, id: NodeId)
crates/nose-il/src/il.rs:173
↓ 6 callersFunctionwhile_loop
Lower a `condition`/`body`-shaped CST node into a canonical `While` [`Loop`]. Every C-family `while` lowers identically apart from *how* its condition
crates/nose-frontend/src/lower/control_flow.rs:169
↓ 6 callersMethodwrite
(&mut self, bytes: &[u8])
crates/nose-cli/src/cache/digest.rs:71
↓ 5 callersFunction_validate_hash
(value: object, label: str)
bench/labels/missed_worthy_frontier.py:335
↓ 5 callersMethod_with_scope
(self, body: list[ast.stmt] | list[ast.expr], args: ast.arguments | None)
scripts/python-hof-runtime-audit.py:377
↓ 5 callersFunctionaccepted_pair
(sites: Vec<Loc>)
crates/nose-cli/src/main_tests/query_family/accepted_coverage.rs:4
↓ 5 callersFunctionadd_sync_add
(b: &mut IlBuilder, base_line: u32)
crates/nose-normalize/src/value_graph/tests/support/promise.rs:443
↓ 5 callersFunctionadmitted_free_function_builtin_at_call
( il: &Il, interner: &Interner, call: NodeId, )
crates/nose-semantics/src/library_api/resolvers/free_names.rs:3
↓ 5 callersFunctionadmitted_promise_resolve_at_call
( il: &Il, interner: &Interner, call: NodeId, )
crates/nose-semantics/src/library_api/resolvers/promise.rs:27
↓ 5 callersMethodapply
Apply a `Lambda` node to positional `args`, returning its body's value. The lambda's single tuple parameter destructures a pair element (zip/enumerate
crates/nose-normalize/src/interp/hof.rs:97
↓ 5 callersMethodarity
(self)
crates/nose-detect/src/connected.rs:75
↓ 5 callersFunctionarray_is_array_dependency
( id: u32, span: Span, status: EvidenceStatus, root_dependency: Option<u32>, )
crates/nose-semantics/src/tests/js_symbol_guards/record_shape.rs:51
↓ 5 callersMethodas_reduction_cached
( &mut self, val: ValueId, loopv: ValueId, cache: &mut ReductionCache, )
crates/nose-normalize/src/value_graph/control/reductions.rs:44
↓ 5 callersFunctionassert_branch_pair_cases
( families: &[serde_json::Value], out: &str, context: &str, positive: &[BranchPairCase<'_>],
crates/nose-cli/tests/cli/exact_fragments/support.rs:163
↓ 5 callersFunctionassert_cross_file_swift_method_contract_count
( tag: &str, declaration_file: &str, declaration: &str, consumer_source: &str, method: &st
crates/nose-frontend/src/corpus_tests.rs:488
↓ 5 callersFunctionassert_js_named_ne
(src: &str, left: &str, right: &str, message: &str)
crates/nose-cli/tests/equivalence/typescript_every.rs:30
↓ 5 callersFunctionassert_rust_literal_import_snapshot
( provider_path: &str, provider_src: &str, importer_path: &str, importer_src: &str, local:
crates/nose-frontend/src/module_imports/tests/rust_module_resolution.rs:296
↓ 5 callersMethodbind
Bind a target (Var / tuple `Seq` / `Index` store) to a value. Returns true when evaluating the target itself raised a runtime `Err`.
crates/nose-normalize/src/interp/exec.rs:192
↓ 5 callersMethodbinding_mutated
(&self, il: &Il, name: Symbol, defining_stmt: NodeId)
crates/nose-frontend/src/module_imports/bindings.rs:160
↓ 5 callersMethodbinding_uses
(&'a self, il: &Il, interner: &Interner)
crates/nose-frontend/src/module_imports.rs:280
↓ 5 callersMethodbitwise_result_is_int32
Whether this language's bitwise operators coerce their operands to int32 (the JS family). Mirrors the value graph's `is_js_like_lang` gate on the `ToI
crates/nose-normalize/src/interp/eval.rs:278
↓ 5 callersFunctionblock_of
(lo: &mut Lowering, node: TsNode)
crates/nose-frontend/src/ruby/statements.rs:3
↓ 5 callersFunctionblock_units_for_file
(il: &Il, opts: &crate::DetectOptions)
crates/nose-detect/src/units/product.rs:14
↓ 5 callersMethodbool_const
(&self, id: ValueId)
crates/nose-normalize/src/value_graph/canonicalize/constants.rs:36
↓ 5 callersFunctionbound_order_fixture
(op: Op)
crates/nose-semantics/src/tests/guard_evidence.rs:3
↓ 5 callersFunctionbranch_non_pair
( left: &'a str, right: &'a str, left_span: (u64, u64), right_span: (u64, u64), )
crates/nose-cli/tests/cli/exact_fragments/support.rs:147
↓ 5 callersFunctionbranch_pair
( left: &'a str, right: &'a str, negative: &'a str, start_line: u64, end_line: u64, )
crates/nose-cli/tests/cli/exact_fragments/support.rs:121
↓ 5 callersMethodbuild_unit_with_context
( &mut self, root: NodeId, context: Option<&'a ValueFingerprintContext>, )
crates/nose-normalize/src/value_graph/control/entry.rs:11
↓ 5 callersFunctionbuiltin_pack_descriptors
()
crates/nose-semantics/src/packs/compiled.rs:89
↓ 5 callersFunctioncall_parts
(il: &Il, call: NodeId)
crates/nose-semantics/src/library_api/resolvers/admission.rs:172
↓ 5 callersFunctioncandidate_pairs
Generate candidate pairs sub-quadratically: union of MinHash-LSH buckets (resemblance) and the winnowing inverted index (shared-span / small-in-large)
crates/nose-markdown/src/fingerprint.rs:217
↓ 5 callersFunctioncanonical
(value: Any)
scripts/soundness-lab-gate.py:55
↓ 5 callersFunctioncanonical
Best-effort absolute, symlink-resolved path.
crates/nose-cli/src/divergence/git.rs:433
↓ 5 callersMethodcas
(&self)
crates/nose-cli/src/cache/transaction.rs:114
↓ 5 callersFunctioncheck_with_receipt
(dir: &Path)
crates/nose-cli/tests/cli/commands/config_packs/external_exact.rs:67
↓ 5 callersFunctioncollect_top_level_statements
(il: &Il)
crates/nose-frontend/src/module_imports/bindings.rs:52
↓ 5 callersFunctioncorpus_features
(corpus: &Corpus, opts: &DetectOptions)
crates/nose-detect/src/orchestration/features.rs:42
↓ 5 callersFunctioncorpus_rows
()
scripts/soundness-lab-gate.py:63
↓ 5 callersFunctiondeclaration_only_type_origin
()
crates/nose-cli/src/main_tests/query_family/type_contracts.rs:3
↓ 5 callersFunctiondecode_query_payload
Decode and validate the schema-v7 list envelope used by evaluators.
bench/labels/query_schema.py:104
↓ 5 callersFunctiondependency_has_unshadowed_global_anchor
( il: &Il, record: &EvidenceRecord, span: Span, kind: NodeKind, expected: &str, )
crates/nose-semantics/src/library_api/dependency_facts.rs:137
↓ 5 callersFunctiondetection_engine
( channels: DetectionChannels, opts: &nose_detect::DetectOptions, )
crates/nose-cli/src/detect_pipeline.rs:63
↓ 5 callersFunctiondigest
(bytes: &[u8])
crates/nose-semantics/src/packs/receipt.rs:309
↓ 5 callersFunctiondigest
(bytes: &[u8])
crates/nose-semantics/src/packs/evidence_index/maven.rs:171
↓ 5 callersFunctioneffective_surface
The surface an integration should treat this family as: the ranked `recommended_surface`, except that generated families report as `generated`, and me
crates/nose-cli/src/surfaces.rs:96
↓ 5 callersFunctionenclosing_function_prefix_has_binding_ident
( lo: &Lowering, node: TsNode, ident: &str, )
crates/nose-frontend/src/js_ts/globals.rs:81
↓ 5 callersFunctionevidence
( id: u32, anchor: EvidenceAnchor, kind: EvidenceKind, status: EvidenceStatus, )
crates/nose-normalize/src/idioms/tests/support.rs:29
↓ 5 callersMethodevidence_binding_anchored
Evidence records with an [`EvidenceAnchor::Binding`] anchor carrying this `local_hash`, in evidence order. Binding anchors are matched by hash (not sp
crates/nose-il/src/il.rs:371
↓ 5 callersMethodexternal_influence_preflight
(&self)
crates/nose-semantics/src/packs/external.rs:360
↓ 5 callersFunctionfamily_of
(group: &Group)
crates/nose-detect/src/report/ranking.rs:36
↓ 5 callersFunctionfamily_with_all
( json: &'a serde_json::Value, suffixes: &[&str], )
crates/nose-cli/tests/cli/support.rs:461
↓ 5 callersFunctionfield_children
(node: TsNode<'a>, field: &str)
crates/nose-frontend/src/swift/helpers.rs:163
↓ 5 callersFunctionfield_method_matches
( il: &Il, interner: &Interner, node: NodeId, expected: &str, )
crates/nose-semantics/src/library_api/callee_shape.rs:230
↓ 5 callersFunctionfile_prefix_has_binding_ident
(lo: &Lowering, node: TsNode, ident: &str)
crates/nose-frontend/src/js_ts/globals.rs:56
↓ 5 callersFunctionfinalize
( core: dict[str, Any], core_path: Path, audit_artifact: dict[str, Any], audit_path: Path,
bench/labels/default_head_taxonomy.py:2007
← previousnext →601–700 of 12,346, ranked by callers