Functions — github.com/corca-ai/nose

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

Functions13,380 in github.com/corca-ai/nose

⨍ Functions 13,380◇ Types & classes 1,334

↓ 17 callersMethodfind_or_push_first_party_evidence

( &mut self, anchor: EvidenceAnchor, kind: EvidenceKind, pack_id: &str,

An integer-literal value, keyed identically to `eval`'s `LitInt` path so a builtin's implicit init (`sum` → 0) matches a loop's explicit `acc = 0`. `v

crates/nose-normalize/src/value_graph/canonicalize/constants.rs:20

↓ 17 callersFunctionnorm

Lower + normalize `src`, returning the normalized IL.

crates/nose-detect/src/fragment/oracle/tests.rs:9

↓ 17 callersMethodpush_unit_with_origin

Tag a detection unit with language-neutral source-origin facets.

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

↓ 17 callersFunctionraw_names

(il: &Il, interner: &Interner)

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

↓ 17 callersFunctionrename

( il: &mut IlContents, id: NodeId, scope: &mut Scope, bound: &FxHashSet<Symbol>, names: &m

crates/nose-normalize/src/alpha.rs:104

↓ 17 callersFunctionsequence_hof_record

( id: u32, il: &Il, call: NodeId, contract: LibraryMethodCallContract, arity: u16, dep

crates/nose-semantics/src/tests/library_api_evidence/admission_resolvers/sequence_hof.rs:63

↓ 17 callersFunctionwrite_files

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

crates/nose-cli/tests/cli/support/fixtures.rs:22

↓ 16 callersFunction_require

(condition: bool, message: str)

bench/labels/missed_worthy_frontier.py:330

↓ 16 callersMethodas_str

(self)

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

↓ 16 callersFunctiondetect

( docs: &[(String, String)], root: Option<&Path>, max_bytes: u64, )

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

↓ 16 callersMethodfind_or_push_builtin_evidence

( &mut self, anchor: EvidenceAnchor, kind: EvidenceKind, pack_id: &str,

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

↓ 16 callersFunctioninvalid

( path: &Path, message: impl Into<String>, )

crates/nose-semantics/src/packs/lock/paths.rs:236

↓ 16 callersFunctionjs_axis_source

(surface: Surface, body: str, entrypoint: str = "axisCase")

bench/type4/type4gen/model.py:245

↓ 16 callersFunctionlower_expr

(lo: &mut Lowering, node: TsNode)

crates/nose-frontend/src/c/expressions.rs:4

↓ 16 callersFunctionquery_fragment_only_fixtures

Like [`query_fragment_fixtures`], but raises the size gates so only exact fragments can report.

crates/nose-cli/tests/cli/exact_fragments/support.rs:13

↓ 16 callersMethodrecord_evidence

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

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

↓ 16 callersFunctionrender_contribution

(contribution: str, var: str, other: str | None = None)

bench/type4/type4gen/aggregate.py:44

↓ 16 callersFunctionsha256

(path: Path)

scripts/soundness-lab-gate.py:59

↓ 16 callersFunctionsp

(byte: u32)

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

↓ 15 callersMethodallSatisfy

(_ predicate: (Int) -> Bool)

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

↓ 15 callersMethodclamp

(&self, _lo: i64, _hi: i64)

bench/type4/adversarial/cases/numeric_clamp_bridge/clamp_bridge.rs:26

↓ 15 callersMethodcompare

(&self, extra: &[&str])

crates/nose-cli/tests/analysis_changes.rs:67

↓ 15 callersFunctionfield_name

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

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

↓ 15 callersFunctionload_local_manifest

(path: &Path)

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

↓ 15 callersFunctionnode_mentions_any_cid

(il: &Il, node: NodeId, cids: &FxHashSet<u32>)

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

↓ 15 callersMethodparse

(&mut self, term: &str)

crates/nose-cli/src/query_members.rs:18

↓ 15 callersMethodpayload

(&self, id: NodeId)

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

↓ 15 callersFunctionpayload_names_for_kind

( il: &Il, interner: &Interner, kind: NodeKind, )

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

↓ 15 callersFunctionsemantic_pack_by_id

(json: &'a serde_json::Value, id: &str)

crates/nose-cli/tests/cli/commands/config_packs.rs:152

↓ 15 callersFunctionupsert_builtin_evidence_with_pack_id

( il: &mut Il, anchor: EvidenceAnchor, kind: EvidenceKind, pack_id: &str, rule: &str,

crates/nose-normalize/src/library_api_evidence/recording.rs:390

↓ 14 callersMethodcanonicalize

(&mut self)

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

↓ 14 callersFunctiongit_in

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

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

↓ 14 callersMethodhasPrefix

(_ prefix: String)

crates/nose-cli/tests/fixtures/string_affix_550/swift_custom_same_name.swift:2

↓ 14 callersFunctionlibrary_api_records

(il: &Il, node: NodeId)

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

↓ 14 callersFunctionlower_corpus_filtered

Like [`lower_corpus_many`] but applies gitignore-syntax `exclude` globs.

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

↓ 14 callersFunctionmake_mode_project

(tag: &str)

crates/nose-cli/tests/cli/support/fixtures.rs:85

↓ 14 callersFunctionround3

(x: f64)

crates/nose-detect/src/candidates.rs:442

↓ 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

↓ 14 callersFunctionsym_id

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

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

↓ 13 callersMethodadd

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

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

↓ 13 callersFunctionbinding_symbol

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

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

↓ 13 callersFunctionbuiltin

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

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

↓ 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 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:141

↓ 13 callersFunctionlibrary_js_like_set_constructor_contract

( lang: Lang, receiver: &str, )

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

↓ 13 callersFunctionlibrary_scalar_integer_method_contract

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

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

↓ 13 callersFunctionlower_expr

(lo: &mut Lowering, node: TsNode)

crates/nose-frontend/src/java/expressions.rs:4

↓ 13 callersMethodname

(&self)

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

↓ 13 callersMethodpack_id

(&self)

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

↓ 13 callersMethodpacks

(&self)

crates/nose-semantics/src/packs/set.rs:83

↓ 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 callersFunctionscoring_units

Independent owned units with the same small arithmetic body.

crates/nose-detect/src/test_support.rs:126

↓ 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 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

↓ 13 callersFunctionvalue

(run: dict[str, Any])

scripts/query_regression_control.py:112

↓ 13 callersFunctionvalue_fp_named

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

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

↓ 13 callersMethodvisit

(&self, visit: &mut impl FnMut(SiteEvidence))

crates/nose-detect/src/orchestration/accepted/site_cliques.rs:143

↓ 13 callersFunctionwide_sp

(start: u32, end: u32)

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

↓ 12 callersFunctionadmitted_library_span_call

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

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

↓ 12 callersFunctionassert_same_analysis_output

( left: &std::process::Output, right: &std::process::Output, )

crates/nose-cli/tests/cli/support/query.rs:248

↓ 12 callersFunctionassignment_name

(il: &Il, stmt: NodeId)

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

↓ 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:8

↓ 12 callersMethodcomponents

(&self, units: usize)

crates/nose-detect/src/orchestration/accepted.rs:186

↓ 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 callersFunctionevidence

( id: u32, anchor: EvidenceAnchor, kind: EvidenceKind, dependencies: Vec<EvidenceId>, )

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

↓ 12 callersMethodfollow

(&self, next: &Value)

crates/nose-cli/tests/analysis_changes.rs:80

↓ 12 callersMethodgeneric

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

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

↓ 12 callersMethodinclude_proposal

(self, proposal_id: str)

bench/type4/type4gen/model.py:56

↓ 12 callersMethodjson

(&self, args: &[&str])

crates/nose-cli/tests/regions.rs:41

↓ 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:48

↓ 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:197

↓ 12 callersFunctionread_json

(path: Path)

bench/labels/residual_ranking_panel.py:52

↓ 12 callersFunctionrelative_path

(path: Path)

bench/labels/missed_worthy_frontier.py:163

↓ 12 callersMethodrun

(&self, args: &[&str])

crates/nose-cli/tests/regions.rs:27

↓ 12 callersMethodvalidate

Structural verifier for the arena — the IL analogue of a compiler's IR validator (LLVM's `verify`, rustc's MIR validator). Every frontend and normaliz

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

↓ 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 callersFunctionanchor_min_weight

The effective anchor weight floor: `ANCHOR_MIN_WEIGHT` unless the research knob `NOSE_ANCHOR_MIN_WEIGHT` overrides it (#248 — the §BJ 8–20 band sweep)

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

↓ 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 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:165

↓ 11 callersFunctiondomain_evidence_for_receiver

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

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

↓ 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:365

↓ 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

← previous next →201–300 of 13,380, ranked by callers