Functions — github.com/corca-ai/nose

hub / github.com/corca-ai/nose / functions

Functions12,346 in github.com/corca-ai/nose

⨍ Functions 12,346◇ Types & classes 1,166

crates/nose-normalize/src/library_api_evidence/tests.rs:97

↓ 14 callersFunctionlower_corpus_filtered

Like [`lower_corpus_many`] but applies gitignore-syntax `exclude` globs during discovery (e.g. `tests`, `vendor/**`, `**/*.generated.ts`).

crates/nose-frontend/src/lib.rs:190

↓ 14 callersFunctionmake_mode_project

(tag: &str)

crates/nose-cli/tests/cli/support.rs:59

↓ 14 callersMethodname

(&self)

crates/nose-cli/src/detect_pipeline.rs:10

↓ 14 callersMethodparse

(value: Option<&str>)

crates/nose-cli/src/verify_collect/tranche.rs:10

↓ 14 callersMethodrecord_evidence

( &mut self, anchor: EvidenceAnchor, kind: EvidenceKind, rule: &str, )

crates/nose-frontend/src/lower/evidence.rs:94

↓ 14 callersFunctionruntime_boundary_evidence_for_corpus_call

( sources: &[(&str, &str, Lang)], target_path: &str, callee_suffix: &str, )

crates/nose-cli/src/verify_admission/runtime_boundary/tests/async_runtime.rs:23

↓ 14 callersFunctionsp_at

(line: u32)

crates/nose-frontend/src/lower/tests.rs:19

↓ 13 callersMethodadd

(&mut self, result: notify::Result<Event>)

crates/nose-cli/src/query_watch.rs:203

↓ 13 callersFunctionbinding_symbol

( id: u32, span: Span, local: &str, symbol: SymbolEvidenceKind, status: EvidenceStatus, )

crates/nose-normalize/src/call_target_evidence/tests/support.rs:26

↓ 13 callersFunctionbuiltin_tag

The value-graph call tag for a canonical builtin. Tag `0` is reserved for opaque calls, so kernel-owned builtin contracts start at `1`.

crates/nose-semantics/src/stdlib_semantics.rs:131

↓ 13 callersFunctioncall_target_record

( id: u32, span: Span, lang: Lang, target: CallTargetEvidenceKind, status: EvidenceStatus,

crates/nose-semantics/src/tests/call_targets.rs:3

↓ 13 callersFunctionfamily_id

(f: &RefactorFamily)

crates/nose-cli/src/baseline.rs:42

↓ 13 callersFunctionfirst_func

(il: &nose_il::Il)

crates/nose-cli/tests/equivalence.rs:19

↓ 13 callersFunctionlibrary_free_function_hof_contract

( lang: Lang, name: &str, arg_count: usize, )

crates/nose-semantics/src/library_api/rows.rs:150

↓ 13 callersFunctionlibrary_js_like_set_constructor_contract

( lang: Lang, receiver: &str, )

crates/nose-semantics/src/library_api/rows.rs:469

↓ 13 callersFunctionlibrary_scalar_integer_method_contract

( lang: Lang, method: &str, arg_count: usize, )

crates/nose-semantics/src/method_families.rs:112

↓ 13 callersMethodpack_id

(&self)

crates/nose-semantics/src/packs/v1.rs:330

↓ 13 callersMethodpacks

(&self)

crates/nose-semantics/src/packs.rs:569

↓ 13 callersMethodrecord_evidence_with_dependencies

( &mut self, anchor: EvidenceAnchor, kind: EvidenceKind, rule: &str, d

crates/nose-frontend/src/lower/evidence.rs:103

↓ 13 callersFunctionrequire

(condition: bool, message: str)

bench/labels/generated_provenance_closeout.py:46

↓ 13 callersFunctionsp

(line: u32)

crates/nose-detect/src/strict_exact/tests/support.rs:16

↓ 13 callersFunctionsplit_units

Split a Markdown document into section units (or one Document unit if heading-free).

crates/nose-markdown/src/unit.rs:80

↓ 13 callersFunctionsym_id

Fold a tagged sequence of operand hashes into one symbolic identity.

crates/nose-normalize/src/interp.rs:76

↓ 13 callersFunctionvalue

(run: dict[str, Any])

scripts/query_regression_control.py:112

↓ 13 callersFunctionwide_sp

(start: u32, end: u32)

crates/nose-normalize/src/call_target_evidence/tests/support.rs:17

↓ 12 callersFunctionadmitted_library_span_call

( il: &Il, interner: &Interner, occurrence: LibraryApiSpanCall, contract: C, )

crates/nose-semantics/src/library_api/resolvers/admission.rs:142

↓ 12 callersFunctionassignment_name

(il: &Il, stmt: NodeId)

crates/nose-frontend/src/module_imports/bindings.rs:83

↓ 12 callersFunctionbuiltin

(b: &mut IlBuilder, op: Builtin, args: &[NodeId])

crates/nose-normalize/src/value_graph/tests/clamp.rs:39

↓ 12 callersFunctioncollect_into

Lower each named child of `node` with `lower_one`, keeping the `Some` results, and wrap them in a `kind` node (`Module` for a file root, `Block` for a

crates/nose-frontend/src/lower/expr_helpers.rs:7

↓ 12 callersFunctioncontract_api_ids

( evidence: &[EvidenceRecord], id: LibraryApiContractId, callee: LibraryApiCalleeContract, )

crates/nose-frontend/src/lower/tests.rs:151

↓ 12 callersMethodcontract_record_with_arity

( self, id: u32, span: Span, contract: C, arity: u16, status:

crates/nose-semantics/src/tests/library_api_evidence/records.rs:53

↓ 12 callersMethodgeneric

(&mut self, old_id: NodeId, span: Span)

crates/nose-normalize/src/algebra.rs:219

↓ 12 callersFunctiongit_in

(dir: &Path, args: &[&str])

crates/nose-cli/tests/cli/query_base.rs:20

↓ 12 callersMethodinclude_proposal

(self, proposal_id: str)

bench/type4/type4gen/model.py:56

↓ 12 callersFunctionlibrary_map_get_contract

( lang: Lang, method: &str, arg_count: usize, )

crates/nose-semantics/src/library_api/rows/methods.rs:126

↓ 12 callersFunctionlocal_nontrivial_assignment

(il: &Il, node: NodeId)

crates/nose-detect/src/il_utils.rs:46

↓ 12 callersFunctionlower_js

(src: &str)

crates/nose-frontend/src/js_ts/tests/support.rs:7

↓ 12 callersFunctionmethod_name_argument_is_literal

(il: &Il, node: NodeId, expected: &str)

crates/nose-semantics/src/ruby_redefinitions.rs:405

↓ 12 callersFunctionmissing_evidence_for_call

(src: &str, callee_suffix: &str)

crates/nose-cli/src/verify_admission/runtime_boundary/tests.rs:39

↓ 12 callersMethodnearest_scope

The nearest enclosing `Func`/`Lambda` scope of `node` by source span: the smallest-width scope whose span contains the node's span, ties broken by the

crates/nose-il/src/il/scope_index.rs:26

↓ 12 callersFunctionnode_domain_records

(il: &Il, node: NodeId, domain: DomainEvidence)

crates/nose-normalize/src/library_api_evidence/tests.rs:93

↓ 12 callersFunctionpush_imported_binding_use

( il: &mut Il, binding_id: u32, binding_span: Span, occurrence_id: u32, occurrence_span: S

crates/nose-normalize/src/value_graph/tests/support.rs:196

↓ 12 callersFunctionread_json

(path: Path)

bench/labels/residual_ranking_panel.py:41

↓ 12 callersFunctionrelative_path

(path: Path)

bench/labels/missed_worthy_frontier.py:163

↓ 12 callersMethodstore

Publish a complete checksummed envelope. The complete payload is written before the atomic rename. Neither the immutable file nor its directory entry

crates/nose-cli/src/cache/store.rs:148

↓ 11 callersFunctionadmitted_free_name_call

( il: &Il, interner: &Interner, call: NodeId, contract_for: impl FnOnce(&str, usize) -> Option

crates/nose-semantics/src/library_api/resolvers/admission.rs:76

↓ 11 callersMethodas_str

(self)

crates/nose-cli/src/divergence/variant.rs:50

↓ 11 callersMethodcanonicalize

(&mut self)

crates/nose-semantics/src/packs/v1/compiler.rs:83

↓ 11 callersMethodcompactMap

(_ transform: (Bool) -> Bool?)

bench/type4/adversarial/cases/swift_compact_map_custom_overload/overload.swift:2

↓ 11 callersMethodcontains

(_ value: String)

bench/type4/adversarial/cases/collection_membership/custom_receiver.swift:2

↓ 11 callersMethodelem

(&mut self, coll: ValueId)

crates/nose-normalize/src/value_graph/collections/elements.rs:4

↓ 11 callersMethodeval_lambda_body

( &mut self, lambda: NodeId, params: &[ValueId], parent_env: &FxHashMap<u32, V

crates/nose-normalize/src/value_graph/collections/hof.rs:315

↓ 11 callersFunctionexact_keys

(value: object, allowed: set[str], source: str)

bench/labels/default_head_taxonomy.py:161

↓ 11 callersFunctionfree_input_cids

Collect the free canonical ids read in the subtree rooted at `node`, in ascending (canonical) order — the cids the fragment reads from its enclosing s

crates/nose-detect/src/fragment/oracle.rs:353

↓ 11 callersFunctiongit

( *args: str, cwd: Path = ROOT, check: bool = True )

eval/divergence_fire/precision_protocol.py:167

↓ 11 callersFunctiongraded_witness

Anti-unify two units' value DAGs into a graded witness. `a_lossy`/`b_lossy` mark whether each unit passed lossy lowering (so the claim is scoped to th

crates/nose-detect/src/witness/analysis.rs:319

↓ 11 callersMethodinclude_axis

(self, axis: str)

bench/type4/type4gen/model.py:53

↓ 11 callersFunctionis_expr_kind

(kind: &str)

crates/nose-frontend/src/swift/helpers.rs:176

↓ 11 callersFunctionlibrary_api_callee_contract_for_hash

( lang: Lang, id: LibraryApiContractId, hash: u64, )

crates/nose-semantics/src/library_api/registry.rs:140

↓ 11 callersMethodlibrary_api_span_call

( &self, value: ValueId, callee: ValueId, receiver: Option<ValueId>, a

crates/nose-normalize/src/value_graph/stdlib/api_spans.rs:4

↓ 11 callersFunctionlibrary_imported_collection_factory_contract

( lang: Lang, module: &str, exported: &str, )

crates/nose-semantics/src/library_api/rows.rs:167

↓ 11 callersFunctionlibrary_promise_resolve_contract

( lang: Lang, receiver: &str, method: &str, arg_count: usize, )

crates/nose-semantics/src/library_api/rows/methods/promise.rs:72

↓ 11 callersFunctionload

(path: Path)

bench/labels/default_head_closeout.py:107

↓ 11 callersFunctionload_labelset

(path: Path)

bench/labels/labelset.py:796

↓ 11 callersFunctionlower_block

(lo: &mut Lowering, node: TsNode)

crates/nose-frontend/src/java/control.rs:3

↓ 11 callersFunctionlower_corpus_many

Like [`lower_corpus`] but discovers across several roots into one corpus (sharing a single interner — required for cross-root/cross-language matching)

crates/nose-frontend/src/lib.rs:184

↓ 11 callersFunctionlower_temp_corpus

Write `files` into a fresh per-process temp dir named after `tag` and lower them together as one corpus. Callers remove the returned dir when done.

crates/nose-cli/tests/equivalence.rs:292

↓ 11 callersFunctionmethod_receiver

(il: &nose_il::Il, callee: NodeId)

crates/nose-cli/src/verify_admission/runtime_boundary.rs:415

↓ 11 callersFunctionraw_names

(il: &Il, interner: &Interner)

crates/nose-frontend/src/rust/tests.rs:33

↓ 11 callersFunctionrel

(path: str | Path)

bench/labels/label_refresh.py:99

↓ 11 callersFunctionrequire_equal

(actual: object, expected: object, label: str)

bench/labels/default_head_heldout_reveal.py:90

↓ 11 callersMethodtype_domain_from_text_with_dependencies

( &self, text: &str, )

crates/nose-frontend/src/lower/evidence.rs:212

↓ 11 callersFunctionvalue_fingerprint

Public entry: the value-graph fingerprint of the unit rooted at `root` (sorted multiset of `u64` value hashes). Equivalent computations → equal multis

crates/nose-normalize/src/value_graph/api.rs:38

↓ 11 callersFunctionvalue_fp_named

(interner: &Interner, src: &str, lang: Lang, name: &str)

crates/nose-cli/tests/equivalence.rs:239

↓ 10 callersMethodadmitted_builtin_call

(&self, node: NodeId, builtin: Builtin)

crates/nose-normalize/src/value_graph/state.rs:421

↓ 10 callersFunctionadmitted_hof_demand_effect_profile_at_node_with_interner

( il: &Il, interner: Option<&Interner>, node: NodeId, kind: HoFKind, )

crates/nose-semantics/src/evidence.rs:391

↓ 10 callersMethodany?

bench/type4/adversarial/cases/ruby_enumerable_quantifier/monkey_patch.rb:2

↓ 10 callersFunctionassignment_rhs

(il: &Il, stmt: NodeId)

crates/nose-frontend/src/module_imports/bindings.rs:88

↓ 10 callersMethodassignment_var_parts

(&self, id: NodeId)

crates/nose-il/src/il.rs:193

↓ 10 callersFunctionbuilder_append_call_args

`(receiver, value)` of a single-item append-like builder call admitted by first-party language/library contracts. Raw method selectors such as `push`

crates/nose-semantics/src/effects/append.rs:9

↓ 10 callersFunctionbuiltin_method_call_protocol_record

( id: u32, span: Span, contract: LibraryMethodCallContract, arity: u16, status: EvidenceSt

crates/nose-semantics/src/tests/library_api_evidence/records/receiver_records.rs:31

↓ 10 callersFunctioncheck_semantic_pack_conformance

( paths: &[PathBuf], )

crates/nose-semantics/src/packs/loading.rs:21

↓ 10 callersFunctioncontains_sym

Does the value contain a `Sym` anywhere (including inside lists)? Concrete operations must never run over a hidden symbolic operand — `sum([f(x)])` co

crates/nose-normalize/src/interp/value.rs:162

↓ 10 callersFunctiondomain_evidence_for_receiver

( il: &Il, interner: &Interner, receiver: NodeId, )

crates/nose-semantics/src/evidence/domain.rs:156

↓ 10 callersFunctionfail

(message: str)

bench/labels/check_default_head_baseline.py:135

↓ 10 callersFunctionimport_binding

A strict semantic proof fact for a static import binding: local name → `(module coordinate, exported symbol)`. Frontends only call this for import fo

crates/nose-frontend/src/lower/imports.rs:32

↓ 10 callersFunctioninventory_pack

(packs: &'a [serde_json::Value], id: &str)

crates/nose-cli/tests/cli/commands/semantic_pack_inventory.rs:310

↓ 10 callersMethodis_js_like_lang

(&self)

crates/nose-normalize/src/value_graph/state.rs:562

↓ 10 callersFunctionis_pure

Side-effect-free for normalization rewrites that move or drop expressions.

crates/nose-normalize/src/lib.rs:141

↓ 10 callersFunctionlibrary_api_contract_evidence

( id: u32, call_span: Span, contract_id: LibraryApiContractId, callee: LibraryApiCalleeContrac

crates/nose-detect/src/units/tests/support.rs:52

↓ 10 callersFunctionlibrary_promise_aggregate_contract

( lang: Lang, receiver: &str, method: &str, arg_count: usize, )

crates/nose-semantics/src/library_api/rows/methods/promise.rs:114

↓ 10 callersFunctionlibrary_rust_option_some_constructor_contract

( lang: Lang, name: &str, arg_count: usize, )

crates/nose-semantics/src/method_families.rs:135

↓ 10 callersFunctionlibrary_swift_map_factory_contract

( lang: Lang, name: &str, first_label: &str, )

crates/nose-semantics/src/library_api/rows.rs:247

↓ 10 callersFunctionlower_source_regions

Lower every analyzable region of a file into separate [`Il`]s. For most languages this is one `Il` (delegating to [`lower_source`]); for `<script>`/`<

crates/nose-frontend/src/lib.rs:156

↓ 10 callersFunctionmake_axis_cross_item

( out_dir: Path, capabilities: dict, proposal_id: str, left_surface: Surface, right_surfac

bench/type4/generate.py:6506

↓ 10 callersFunctionmissing_evidence_for_protocol

( path: &str, src: &str, lang: Lang, protocol: nose_il::SourceProtocolKind, )

crates/nose-cli/src/verify_admission/runtime_boundary/tests.rs:11

↓ 10 callersFunctionmix

One FNV-1a step: xor `x` into the accumulator `h`, then multiply by [`PRIME`].

crates/nose-cli/src/fnv.rs:13

↓ 10 callersFunctionnon_docstring_body

(fn: ast.FunctionDef)

bench/type4/python_loop_demorgan_proof_facts.py:511

↓ 10 callersMethodof

(int first, int second, int third)

docs/examples/semantic-packs/v1/vavr-list-fixtures/hard-negatives/ShadowedType.java:5

← previous next →201–300 of 12,346, ranked by callers