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
↓ 10 callersFunctionpost_lower_find_or_push_evidence
( il: &mut Il, anchor: EvidenceAnchor, kind: EvidenceKind, rule: &str, dependencies: Vec<E
crates/nose-frontend/src/lower/post_lower_evidence.rs:530
↓ 10 callersFunctionpretty
(value: Any)
scripts/soundness_exclusions.py:43
↓ 10 callersMethodproven_collection_value
( &mut self, value: ValueId, )
crates/nose-normalize/src/value_graph/stdlib/collections.rs:301
↓ 10 callersFunctionquery
(project: &Path, cache: Option<&Path>)
crates/nose-cli/tests/cli/cache.rs:63
↓ 10 callersMethodreceiver_satisfies_domain
( &self, receiver: NodeId, requirement: DomainRequirement, )
crates/nose-semantics/src/evidence/domain.rs:227
↓ 10 callersFunctionsh
(args, cwd=None)
eval/hazard/mine.py:25
↓ 10 callersFunctionsymbol_record_has_admitted_provenance
(il: &Il, record: &EvidenceRecord)
crates/nose-semantics/src/symbol_identity.rs:208
↓ 10 callersMethodvisit
(&mut self, node: usize)
crates/nose-frontend/src/module_imports/dependency.rs:251
↓ 10 callersMethodwith
(self, domain: UnitDomain)
crates/nose-il/src/unit_domains.rs:15
↓ 9 callersFunctionadd_increment_lambda
( b: &mut IlBuilder, base_line: u32, cid: u32, )
crates/nose-normalize/src/value_graph/tests/support/promise.rs:421
↓ 9 callersMethodbin_op_args
( &self, value: ValueId, )
crates/nose-normalize/src/value_graph/control/guards.rs:145
↓ 9 callersFunctionbuild
(files: &[(&str, &str, Lang)])
crates/nose-cli/tests/detection.rs:7
↓ 9 callersMethodbuild_unit
Build the value graph for a `Func`/`Method`/class unit. The unit root may be a `Func` (params + body) or a `Block` (class body of methods); for a `Blo
crates/nose-normalize/src/value_graph/control/entry.rs:7
↓ 9 callersFunctioncanonical_builtin_call_il
( lang: Lang, builtin: Builtin, args: &[NodeId], builder: IlBuilder, root: NodeId, )
crates/nose-semantics/src/tests/library_api_evidence/canonical_builtin.rs:3
↓ 9 callersFunctioncollection_sequence_evidence
(id: u32, lang: Lang, span: Span)
crates/nose-normalize/src/value_graph/tests/support.rs:244
↓ 9 callersFunctioncommon_bin_op
Binary-operator tokens shared by ~every C-family language. Per-language frontends delegate here and then handle their own extras (JS `===`/`**`/`??`,
crates/nose-frontend/src/lower/parse.rs:64
↓ 9 callersMethodcomparison_law_enabled
(&self, law: ComparisonLaw)
crates/nose-normalize/src/value_graph/canonicalize/lattice.rs:49
↓ 9 callersMethodcontracts_by_id
(&self)
crates/nose-semantics/src/packs/v1.rs:352
↓ 9 callersMethodflatten_into
Flatten an associative-commutative chain of value nodes into `out`.
crates/nose-normalize/src/value_graph/canonicalize/binary.rs:265
↓ 9 callersMethodfloat_lit
Lower a float literal, retaining a hash of its source text so float constants are behavior-DISTINCT in the value graph (`3.14` ≠ `2.71`). The structur
crates/nose-frontend/src/lower/builder.rs:123
↓ 9 callersFunctionimport_tokens
Lower an import / `#include` / `use` statement to a `Seq` of its identifier and string leaves. Imports carry no behavior, but a *duplicated import blo
crates/nose-frontend/src/lower/imports.rs:19
↓ 9 callersFunctionimported_function_call_il
(interner: &Interner)
crates/nose-semantics/src/tests/call_targets.rs:26
↓ 9 callersFunctioninline_lambda_with_params
( b: &mut IlBuilder, first_cid: u32, param_count: usize, span_base: u32, )
crates/nose-semantics/src/tests/library_api_evidence/admission_resolvers/support_core.rs:95
↓ 9 callersFunctionlanguage_core_evidence_with_dependencies
( id: u32, anchor: EvidenceAnchor, kind: EvidenceKind, status: EvidenceStatus, dependencie
crates/nose-semantics/src/tests.rs:133
↓ 9 callersFunctionlibrary_api_contract_evidence
( id: u32, call_span: Span, contract_id: LibraryApiContractId, callee: LibraryApiCalleeContrac
crates/nose-normalize/src/value_graph/tests/support/library_api.rs:3
↓ 9 callersFunctionlibrary_js_like_map_constructor_contract
( lang: Lang, receiver: &str, )
crates/nose-semantics/src/library_api/rows.rs:486
↓ 9 callersFunctionlibrary_map_key_view_contract
( lang: Lang, method: &str, arg_count: usize, )
crates/nose-semantics/src/library_api/rows/methods.rs:3
↓ 9 callersFunctionlibrary_method_call_contracts
( lang: Lang, name: &str, arg_count: usize, )
crates/nose-semantics/src/library_api/rows/methods.rs:358
↓ 9 callersFunctionload_json
(path: Path)
bench/labels/default_head_taxonomy.py:151
↓ 9 callersFunctionlower_block
(lo: &mut Lowering, node: TsNode)
crates/nose-frontend/src/swift/statements.rs:14
↓ 9 callersFunctionlower_file
( file: FileId, path: &str, src: &[u8], interner: &Interner, key: u16, lang_fn: impl F
crates/nose-frontend/src/lower/file.rs:14
↓ 9 callersMethodmodules
(self)
crates/nose-semantics/src/language_profile.rs:152
↓ 9 callersFunctionnode_at_span_with_kind
( il: &Il, span: Span, kind: NodeKind, )
crates/nose-semantics/src/library_api/callee_shape.rs:164
↓ 9 callersFunctionnode_defines_name
(il: &nose_il::Il, interner: &Interner, node: NodeId, expected: &str)
crates/nose-cli/src/verify_admission/runtime_boundary.rs:422
↓ 9 callersMethodpath
(&self, key: ArtifactKey)
crates/nose-cli/src/cache/store.rs:275
↓ 9 callersFunctionpaths_as_refs
Borrow a slice of owned `PathBuf`s as `&Path` references — the form the detection entry points take. Used by every analysis/refactor subcommand that h
crates/nose-cli/src/path_utils.rs:8
↓ 9 callersFunctionpost_lower_var_name
( il: &Il, interner: &'a Interner, node: NodeId, )
crates/nose-frontend/src/lower/post_lower_evidence.rs:5
↓ 9 callersFunctionproject
(tag: &str)
crates/nose-semantics/src/packs/lock/tests.rs:8
↓ 9 callersFunctionproject_path
(path: str)
bench/labels/missed_worthy_frontier.py:158
↓ 9 callersMethodrecord_evidence_with_provenance_dependencies
( &mut self, anchor: EvidenceAnchor, kind: EvidenceKind, provenance: EvidenceP
crates/nose-frontend/src/lower/evidence.rs:135
↓ 9 callersFunctionreport
(groups: Vec<Group>)
crates/nose-detect/src/report/tests/support.rs:126
↓ 9 callersFunctionrequire_exact_keys
(value: Any, keys: set[str], label: str)
bench/labels/default_head_measurement_replay.py:66
↓ 9 callersFunctionrequire_string
(path: Path, parent: dict[str, Any], key: str)
scripts/check-semantic-pack-examples.py:120
↓ 9 callersFunctionsha256_bytes
(value: bytes)
scripts/soundness_exclusions.py:52
↓ 9 callersFunctionsha256_bytes
(value: bytes)
scripts/check-soundness-scorecard.py:81
↓ 9 callersFunctionsource_comprehension_at_node
(il: &Il, node: NodeId)
crates/nose-semantics/src/evidence.rs:346
↓ 9 callersMethodstart_with?
(prefix)
crates/nose-cli/tests/fixtures/string_affix_551/monkey_patch.rb:2
↓ 9 callersFunctionstrict_exact_call_args_safe
( il: &Il, interner: &Interner, facts: &StrictFacts, node: NodeId, )
crates/nose-detect/src/strict_exact/identity.rs:3
↓ 9 callersMethodunion
(&mut self, a: usize, b: usize)
crates/nose-detect/src/cluster.rs:31
↓ 9 callersFunctionunit_named
( il: &'a Il, interner: &Interner, kind: UnitKind, name: &str, )
crates/nose-frontend/src/lib.rs:332
↓ 9 callersFunctionvalidate_vote
(vote: object, label: str)
bench/labels/labelset.py:591
↓ 9 callersFunctionvhash
Stable hash of a runtime value (deterministic: `FxHasher` carries no random state), used to compose symbolic identities.
crates/nose-normalize/src/interp/value.rs:72
↓ 8 callersMethod_bind_target
(self, target: ast.AST)
scripts/python-hof-runtime-audit.py:303
↓ 8 callersMethodaccepts
(self, domain: DomainEvidence)
crates/nose-semantics/src/evidence/domain.rs:90
↓ 8 callersFunctionadded_clone_body
(name: &str, acc: &str, it: &str)
crates/nose-cli/tests/cli/query_base/new_copy.rs:3
↓ 8 callersFunctionadmitted_free_name_collection_factory_at_call
( il: &Il, interner: &Interner, call: NodeId, )
crates/nose-semantics/src/library_api/resolvers.rs:195
↓ 8 callersFunctionadmitted_named_receiver_method_call
( il: &Il, interner: &Interner, call: NodeId, contract_for: impl FnOnce(&str, &str, usize) ->
crates/nose-semantics/src/library_api/resolvers/admission.rs:56
↓ 8 callersMethodallSatisfy
(_ predicate: (Element, Int) -> Bool)
bench/type4/adversarial/cases/swift_all_satisfy/all_satisfy.swift:73
↓ 8 callersFunctionassert_resolved_promise_boundary
(builder: &Builder<'_>, value: ValueId)
crates/nose-normalize/src/value_graph/tests/support.rs:81
↓ 8 callersFunctionassert_site_files
(item: &serde_json::Value, key: &str, expected: &[&str])
crates/nose-cli/tests/cli/query_base.rs:156
↓ 8 callersFunctionbinary
Lower a `left`/`operator`/`right` binary-expression node into a `BinOp`. Every supported grammar names those fields identically; each frontend supplie
crates/nose-frontend/src/lower/expr_helpers.rs:92
↓ 8 callersFunctionbuiltin_pack_descriptor
(pack_id: &str)
crates/nose-semantics/src/packs/compiled.rs:93
↓ 8 callersFunctionchain
A `Return` over a chain of `len` non-commutative `Un` ops wrapping `Const(key)`, so two such DAGs differ only in the const while staying above the low
crates/nose-detect/src/witness/tests.rs:32
↓ 8 callersMethodcomparison_law
(self, law: ComparisonLaw)
crates/nose-semantics/src/operators.rs:394
↓ 8 callersMethodcompiled_external_v1_packs
(&self)
crates/nose-semantics/src/packs.rs:585
↓ 8 callersFunctioncross_pairs
(surfaces: list[Surface], mode: str)
bench/type4/generate.py:8956
↓ 8 callersFunctiondisplay_arg
(value: str | Path)
bench/labels/recall_ceiling_probe.py:77
↓ 8 callersFunctiondomain_evidence_for_param
(il: &Il, param: NodeId)
crates/nose-semantics/src/evidence/domain.rs:27
↓ 8 callersFunctionerror
(errors: list[str], message: str)
scripts/check-formal-obligations.py:169
↓ 8 callersFunctionexact_non_overloadable_index_assignment_parts
`(receiver, key, value)` of a first-party exact-safe index assignment. This is intentionally evidence-gated: languages with overloadable/user-dispatc
crates/nose-semantics/src/effects.rs:366
↓ 8 callersMethodexpr_is_static_runtime_err
( &mut self, expr: NodeId, env: &FxHashMap<u32, ValueId>, )
crates/nose-normalize/src/value_graph/control/static_errors.rs:81
↓ 8 callersFunctionfam_kind
( langs: usize, modules: usize, names: &[Option<&str>], kind: nose_il::UnitKind, )
crates/nose-cli/src/main_tests/surface_hints.rs:148
↓ 8 callersFunctionfamily_surface
(family: dict[str, Any], *, source: str = "query family")
bench/labels/query_schema.py:149
↓ 8 callersFunctionfirst_query_base_item
(json: &serde_json::Value)
crates/nose-cli/tests/cli/query_base.rs:118
↓ 8 callersMethodfunc
(&mut self, fid: NodeId)
crates/nose-normalize/src/recursion.rs:137
↓ 8 callersMethodhash
(&self, state: &mut H)
crates/nose-normalize/src/interp/value.rs:30
↓ 8 callersFunctionif_branch_blocks
(il: &Il, node: NodeId)
crates/nose-detect/src/il_utils.rs:20
↓ 8 callersFunctioninvalidation_report
(output: &Output)
crates/nose-cli/tests/cli/cache.rs:112
↓ 8 callersFunctionjs_array_hof_record
( id: u32, il: &Il, call: NodeId, contract: LibraryMethodCallContract, dependencies: &[u32
crates/nose-semantics/src/tests/library_api_evidence/admission_resolvers/js_array_hof.rs:288
↓ 8 callersFunctionlanguage_core_record_has_provenance
Return whether `record` was emitted by the builtin language-core pack for `il`'s language. This checks only provenance (`emitter`, `pack_hash`, and `
crates/nose-semantics/src/evidence.rs:44
↓ 8 callersFunctionlanguage_core_symbol_evidence
( id: u32, lang: Lang, anchor: EvidenceAnchor, symbol: SymbolEvidenceKind, dependencies: V
crates/nose-detect/src/units/tests/support.rs:27
↓ 8 callersFunctionlibrary_api_receiver_dependencies_for_call
( il: &Il, interner: &Interner, call: NodeId, callee: LibraryApiCalleeContract, )
crates/nose-semantics/src/library_api/receiver_dependencies.rs:31
↓ 8 callersFunctionlibrary_api_record_provenance_matches_contract
( lang: Lang, id: LibraryApiContractId, callee: LibraryApiCalleeContract, record: &EvidenceRec
crates/nose-semantics/src/library_api/admission/provenance.rs:3
↓ 8 callersFunctionlibrary_collection_factory_pack_id
(id: LibraryApiContractId)
crates/nose-semantics/src/library_api/rows.rs:9
↓ 8 callersFunctionlibrary_collection_factory_result_domain_for_arity
( contract: LibraryCollectionFactoryContract, arg_count: usize, )
crates/nose-semantics/src/library_api/contracts.rs:285
↓ 8 callersFunctionlibrary_free_name_map_factory_contract
( lang: Lang, name: &str, )
crates/nose-semantics/src/library_api/rows.rs:203
↓ 8 callersFunctionlibrary_iterator_identity_adapter_contract
( lang: Lang, method: &str, arg_count: usize, )
crates/nose-semantics/src/library_api/rows/methods.rs:289
↓ 8 callersFunctionlibrary_java_collection_constructor_contract
( lang: Lang, type_name: &str, arg_count: usize, )
crates/nose-semantics/src/library_api/rows.rs:346
↓ 8 callersFunctionlibrary_map_key_view_wrapper_contract
( lang: Lang, receiver: &str, method: &str, arg_count: usize, )
crates/nose-semantics/src/library_api/rows/methods.rs:88
↓ 8 callersFunctionlibrary_property_builtin_contract
( lang: Lang, name: &str, )
crates/nose-semantics/src/method_families.rs:89
↓ 8 callersFunctionlibrary_ruby_set_factory_contract
( lang: Lang, receiver: &str, method: &str, arg_count: usize, )
crates/nose-semantics/src/library_api/rows.rs:437
↓ 8 callersFunctionlibrary_rust_result_ok_constructor_contract
( lang: Lang, name: &str, arg_count: usize, )
crates/nose-semantics/src/method_families.rs:173
↓ 8 callersFunctionliteral_export_value_safe
(il: &Il, interner: &Interner, node: NodeId)
crates/nose-semantics/src/module_exports.rs:111
↓ 8 callersFunctionload
(path: Path)
scripts/check-soundness-scorecard.py:101
↓ 8 callersFunctionload_and_validate_artifact
( path: Path, *, check_sources: bool = False, )
bench/labels/missed_worthy_frontier.py:741
↓ 8 callersFunctionlocal_scope_nodes
(il: &Il)
crates/nose-normalize/src/module_facts.rs:379
↓ 8 callersFunctionlower_ts_with_interner
(src: &str)
crates/nose-frontend/src/js_ts/tests/support.rs:24
↓ 8 callersFunctionmanifest_json
()
crates/nose-semantics/src/packs/v1/tests.rs:3
↓ 8 callersFunctionmethod_call_il
( interner: &mut Interner, lang: Lang, method: &str, arg_count: usize, )
crates/nose-normalize/src/library_api_evidence/tests.rs:20
↓ 8 callersFunctionmethod_name_argument_may_match
(il: &Il, node: NodeId, expected: &str)
crates/nose-semantics/src/ruby_redefinitions.rs:398
← previousnext →301–400 of 12,346, ranked by callers