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

↓ 1,151 callersMethodmap

(_ transform: (Bool) -> T)

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

↓ 1,098 callersMethoditer

(self)

crates/nose-il/src/unit_domains.rs:31

↓ 975 callersMethodget

( &self, contexts: &[FileImportContext], importer_file_idx: usize, module_hash

crates/nose-frontend/src/module_imports/exports.rs:50

↓ 878 callersMethodlen

Number of nodes allocated so far.

crates/nose-il/src/builder.rs:59

↓ 822 callersMethodkind

(&self, id: NodeId)

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

↓ 753 callersMethodnode

(&self, id: NodeId)

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

↓ 665 callersMethodchildren

(&self, id: NodeId)

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

↓ 557 callersMethodcollect

(il: &'a Il, interner: &'a Interner)

crates/nose-detect/src/strict_exact/facts.rs:12

↓ 531 callersMethodjoin

(self, other: ValueDomain)

crates/nose-semantics/src/evidence/value_laws.rs:20

↓ 500 callersMethodfilter

(_ predicate: (Int) -> Bool)

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

↓ 446 callersFunctionstable_symbol_hash

FNV-1a 64-bit content hash of a string — the canonical "stable symbol hash" used wherever a string's identity must survive across runs and across crat

crates/nose-il/src/intern.rs:66

↓ 437 callersMethodadd

Allocate a node with the given children (copied into the edge arena).

crates/nose-il/src/builder.rs:37

↓ 376 callersMethodappend

(&mut self, other: VerifyExclusions)

crates/nose-cli/src/verify_collect/exclusions.rs:100

↓ 351 callersMethodspan

Build a [`Span`] from a CST node (1-based inclusive lines).

crates/nose-frontend/src/lower.rs:233

↓ 326 callersMethodadd

( &mut self, kind: NodeKind, payload: Payload, span: Span, children: &

crates/nose-frontend/src/lower.rs:252

↓ 319 callersMethodfind

(&mut self, x: usize)

crates/nose-detect/src/cluster.rs:16

↓ 318 callersMethodresolve

Resolve a [`Symbol`] back to its string. Panics if the symbol came from a different interner (a programming error).

crates/nose-il/src/intern.rs:42

↓ 317 callersMethodclone

(&self)

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

↓ 300 callersMethodcontains

Whether `other` is wholly contained in this half-open byte range.

crates/nose-il/src/span.rs:69

↓ 299 callersMethodintern

Intern `s`, returning its stable [`Symbol`].

crates/nose-il/src/intern.rs:36

↓ 279 callersFunctionnode

(kind: NodeKind, exact_tag: u64)

crates/nose-detect/src/abstraction.rs:333

↓ 264 callersMethoditer

(&self)

crates/nose-frontend/src/type_domain_aliases.rs:74

↓ 243 callersFunctionprint

()

crates/nose-cli/src/capabilities.rs:261

↓ 235 callersMethodis_empty

(&self)

crates/nose-il/src/builder.rs:85

↓ 209 callersMethodtext

Source text covered by a CST node.

crates/nose-frontend/src/lower.rs:224

↓ 202 callersFunctionwrite

Write `families` as the accepted baseline, sorted by id for stable git diffs.

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

↓ 167 callersMethodas_bytes

(&self)

crates/nose-cli/src/cache/digest.rs:30

↓ 166 callersFunctionsp

(line: u32)

crates/nose-semantics/src/tests.rs:89

↓ 154 callersMethodfinish

( self, root: NodeId, meta: FileMeta, units: Vec<Unit>, cid_names: Vec

crates/nose-il/src/builder.rs:89

↓ 146 callersMethodempty_block

An empty `Block` (used for absent loop init/update slots, empty bodies).

crates/nose-frontend/src/lower/builder.rs:5

↓ 146 callersMethodrun

(&self, root: NodeId, args: &[Value])

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

↓ 132 callersMethodkind

(self)

crates/nose-detect/src/connected.rs:71

↓ 132 callersMethodsha256

(bytes: &[u8])

crates/nose-cli/src/cache/digest.rs:9

↓ 131 callersMethodeval

( &mut self, expr: NodeId, env: &FxHashMap<u32, ValueId>, )

crates/nose-normalize/src/value_graph/eval/core.rs:4

↓ 131 callersMethodmk

(&mut self, mut op: ValOp, mut args: Vec<ValueId>)

crates/nose-normalize/src/value_graph/canonicalize/core.rs:4

↓ 130 callersMethodsym

(&self, s: &str)

crates/nose-frontend/src/lower.rs:228

↓ 127 callersFunctionfinish_il

(builder: IlBuilder, root: NodeId, lang: Lang)

crates/nose-semantics/src/tests.rs:97

↓ 119 callersFunctionvalue_fp

Value-graph fingerprint of the first function unit.

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

↓ 99 callersMethodadd

(self, a, b)

examples/sum.py:18

↓ 94 callersFunctionsp

(line: u32)

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

↓ 93 callersFunctiontemp_dir

(tag: &str)

crates/nose-cli/src/surfaces/generated_paths.rs:147

↓ 89 callersMethodis_empty

(&self)

crates/nose-frontend/src/module_imports/exports.rs:34

↓ 89 callersFunctionlower_source

Lower a single in-memory source buffer.

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

↓ 87 callersMethodcollect

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

crates/nose-normalize/src/binding_evidence.rs:269

↓ 87 callersMethodwrite

(&self, name: &str, src: &str)

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

↓ 84 callersMethodnil?

bench/type4/adversarial/cases/null_option_presence/presence_api_boundary.rb:2

↓ 81 callersFunctionevidence

( id: u32, anchor: EvidenceAnchor, kind: EvidenceKind, status: EvidenceStatus, )

crates/nose-semantics/src/tests.rs:114

↓ 80 callersFunctionrun

(old: &Il)

crates/nose-normalize/src/dce.rs:16

↓ 77 callersFunctionquery_json

(out: &str)

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

↓ 76 callersFunctionlower

( file: FileId, path: &str, src: &[u8], interner: &Interner, )

crates/nose-frontend/src/c.rs:27

↓ 74 callersMethodflatten

Flatten a commutative-operator chain rooted at `root` (same `key`) into its leaf operands, so two chains can be matched as multisets rather than posit

crates/nose-detect/src/witness/anti_unify.rs:70

↓ 71 callersMethodnext

(&mut self)

crates/nose-markdown/src/synth.rs:23

↓ 68 callersFunctionnormalize

(il: &Il, interner: &Interner, opts: &NormalizeOptions)

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

↓ 66 callersMethodevidence_dependencies_asserted

Whether every dependency of `record` (transitively) resolves and is `Asserted`. Id resolution goes through the lazy evidence index — the previous per-

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

↓ 64 callersFunctionfinish_test_il

(builder: IlBuilder, root: NodeId, lang: Lang)

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

↓ 64 callersFunctionsemantics

(lang: Lang)

crates/nose-semantics/src/language_profile.rs:44

↓ 63 callersFunctionlibrary_method_call_contract

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

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

↓ 61 callersMethodas_str

(self)

crates/nose-cli/src/divergence.rs:137

↓ 59 callersFunctionbin

()

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

↓ 58 callersMethodevidence_anchored_at

Evidence records whose anchor sits exactly at `span` (all anchor kinds match by exact span equality). Backed by the lazy evidence index, so a caller n

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

↓ 58 callersMethodflatMap

(_ transform: ([Bool]) -> [T])

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

↓ 58 callersFunctionrun

(args: &[&str])

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

↓ 56 callersMethodcompile

(self)

scripts/corpus-priority-census.py:74

↓ 54 callersMethodpath

(&self)

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

↓ 52 callersFunctionlibrary_api_contract_id_hash

(id: LibraryApiContractId)

crates/nose-semantics/src/library_api/contracts.rs:72

↓ 50 callersFunctionlibrary_api_callee_contract_hash

(callee: LibraryApiCalleeContract)

crates/nose-semantics/src/library_api/contracts.rs:187

↓ 49 callersFunctioncollect

(il: &Il, node: NodeId, out: &mut FxHashSet<Span>)

crates/nose-frontend/src/module_imports/snapshot.rs:242

↓ 49 callersFunctionmake_project

Write a small project (a 3-copy clone family + a decoy) into a unique temp dir.

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

↓ 49 callersMethodvar

A `Var` carrying the raw identifier name (canonicalized later).

crates/nose-frontend/src/lower/builder.rs:21

↓ 47 callersMethodis_empty

(&self)

crates/nose-normalize/src/call_target_evidence/imported.rs:46

↓ 47 callersFunctionjs_like_lang

(lang: Lang)

crates/nose-semantics/src/language_profile.rs:169

↓ 45 callersMethodread_bytes

(&mut self, bytes: &[u8], declared_path: &str, content_digest: &str)

crates/nose-semantics/src/packs/evidence_index/maven.rs:139

↓ 44 callersFunctionlanguage_core_evidence_provenance

(lang: Lang)

crates/nose-semantics/src/language_profile.rs:64

↓ 44 callersFunctionquery_families

(json: &serde_json::Value)

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

↓ 43 callersFunctionil_with_interner

(src: &str)

crates/nose-frontend/src/swift/tests.rs:9

↓ 43 callersMethodresolve

(&self, coordinate: &str, requirement: &str)

crates/nose-semantics/src/packs/evidence_index/maven.rs:82

↓ 41 callersFunctionquery_min_json

`nose query <dir> --mode <mode> --format json --top 0` with the tiny-fixture floors (`--min-lines 1 --min-size 1`) — the standard invocation for the o

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

↓ 41 callersMethodraw

An opaque `Raw` node wrapping `children`, tagged with the original surface kind for debugging. Used for constructs a frontend does not lower.

crates/nose-frontend/src/lower/builder.rs:140

↓ 39 callersFunctionunique_dir

(tag: &str)

crates/nose-semantics/src/packs/tests.rs:11

↓ 38 callersMethodsymbol_hash

A content hash of a symbol's string (FNV-1a). Stable across runs — unlike the interner-assigned id — so it is safe to use in reproducible fingerprints

crates/nose-il/src/intern.rs:49

↓ 37 callersMethodopen

(args: &QueryArgs, refs: &[&std::path::Path])

crates/nose-cli/src/query_dataset/session.rs:17

↓ 37 callersMethodstr_lit

Lower a string literal, retaining a content hash so behavior-defining string constants (`"OPTIONS"`/`"HEAD"`, locale messages, schema-format keys) are

crates/nose-frontend/src/lower/builder.rs:132

↓ 35 callersFunctionadmitted_library_method_call_at_call

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

crates/nose-semantics/src/library_api/resolvers.rs:62

↓ 35 callersFunctionpush_unique

(values: &mut Vec<Value>, value: Value)

crates/nose-cli/src/falsify/domains.rs:86

↓ 35 callersFunctionread

(path: Path)

scripts/check-ci-examples.py:29

↓ 35 callersFunctionsha256_file

(path: Path)

bench/labels/labelset.py:74

↓ 34 callersFunctionlibrary_api_record_with_provenance_and_arity

( id: u32, span: Span, contract_id: LibraryApiContractId, callee: LibraryApiCalleeContract,

crates/nose-semantics/src/tests/library_api_evidence.rs:62

↓ 34 callersFunctionmanifest

nose-ignore: inline semantic-pack manifest fixture; keeping the JSON shape visible matters here.

crates/nose-semantics/src/packs/tests.rs:55

↓ 33 callersMethodas_str

(self)

crates/nose-semantics/src/lib.rs:165

↓ 33 callersMethodcall

(&mut self, old_id: NodeId)

crates/nose-normalize/src/desugar.rs:216

↓ 33 callersMethodeval

(&mut self, node: NodeId, env: &mut FxHashMap<u32, Value>)

crates/nose-normalize/src/interp/eval.rs:4

↓ 33 callersFunctionil

(src: &str)

crates/nose-frontend/src/swift/tests.rs:15

↓ 32 callersMethodload

(&self, key: ArtifactKey)

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

↓ 31 callersFunctionnose_query_base

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

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

↓ 31 callersFunctionrun_admitted_unit

(mut il: Il, root: NodeId, args: &[Value])

crates/nose-normalize/src/interp/tests.rs:39

↓ 30 callersFunctionderive

(domain: &[u8], components: &[&[u8]])

crates/nose-frontend/src/module_imports/dependency.rs:491

↓ 30 callersFunctionlanguage_core_symbol_record

( id: u32, anchor: EvidenceAnchor, symbol: SymbolEvidenceKind, status: EvidenceStatus, dep

crates/nose-semantics/src/tests/library_api_evidence.rs:21

↓ 30 callersMethodoperators

(self)

crates/nose-semantics/src/language_profile.rs:144

↓ 30 callersFunctionparam

(b: &mut IlBuilder, cid: u32, line: u32)

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

↓ 29 callersFunctionlibrary_free_function_builtin_contract

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

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

next →1–100 of 12,346, ranked by callers