MCPcopy Create free account

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

Functions9,967 in github.com/corca-ai/nose

⨍ Functions 9,967◇ Types & classes 849
↓ 8 callersFunctionfam_kind
( langs: usize, modules: usize, names: &[Option<&str>], kind: nose_il::UnitKind, )
crates/nose-cli/src/main_tests/surface_hints.rs:85
↓ 8 callersFunctionif_branch_blocks
(il: &Il, node: NodeId)
crates/nose-detect/src/il_utils.rs:20
↓ 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_and_validate_artifact
( path: Path, *, check_sources: bool = False, )
bench/labels/missed_worthy_frontier.py:741
↓ 8 callersFunctionload_labelset
(path: Path)
bench/labels/labelset.py:171
↓ 8 callersFunctionlower_ts_with_interner
(src: &str)
crates/nose-frontend/src/js_ts/tests/support.rs:24
↓ 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
↓ 8 callersFunctionnegate
(expr: str, language: str)
bench/type4/type4gen/aggregate.py:56
↓ 8 callersFunctionnorm
Lower + normalize `src`, returning the normalized IL.
crates/nose-detect/src/fragment/oracle.rs:268
↓ 8 callersFunctionnose_query_in
(dir: &Path, extra: &[&str])
crates/nose-cli/tests/cli/query_base.rs:69
↓ 8 callersFunctionop_code
(p: Payload)
crates/nose-normalize/src/value_graph/ops.rs:29
↓ 8 callersFunctionop_from_code
(opc: u32)
crates/nose-normalize/src/value_graph/ops.rs:184
↓ 8 callersMethodpacks
(&self)
crates/nose-semantics/src/packs.rs:452
↓ 8 callersMethodparts_record_with_arity
( self, id: u32, span: Span, contract_id: LibraryApiContractId, callee
crates/nose-semantics/src/tests/library_api_evidence/records.rs:85
↓ 8 callersMethodprocess_stmt
( &mut self, stmt: NodeId, env: &mut FxHashMap<u32, ValueId>, )
crates/nose-normalize/src/value_graph/control/statements.rs:4
↓ 8 callersMethodproven_map_value
(&mut self, value: ValueId)
crates/nose-normalize/src/value_graph/stdlib/map_factories.rs:350
↓ 8 callersFunctionpush_receiver_method_library_api_evidence
( il: &mut Il, interner: &Interner, call: NodeId, )
crates/nose-normalize/src/idioms/tests/support.rs:150
↓ 8 callersFunctionreceiver_method_api_contract
( pack_id: &'static str, id: LibraryApiContractId, callee: LibraryApiCalleeContract, rule: &'s
crates/nose-semantics/src/library_api/rows/methods/receiver.rs:215
↓ 8 callersMethodrecord_evidence_with_provenance_dependencies
( &mut self, anchor: EvidenceAnchor, kind: EvidenceKind, provenance: EvidenceP
crates/nose-frontend/src/lower/evidence.rs:126
↓ 8 callersFunctionrender_predicate
(predicate: str, var: str)
bench/type4/type4gen/aggregate.py:18
↓ 8 callersMethodreorder_safe
Effect-free ⇒ safe to reorder past a sibling operand. A subtree with a call/HOF/lambda/opaque node can carry an observable effect whose order the inte
crates/nose-normalize/src/value_graph/canonicalize/ordering.rs:43
↓ 8 callersFunctionrequire_stable_id
(label: &str, value: &str)
crates/nose-semantics/src/packs/validation/helpers.rs:81
↓ 8 callersFunctionresolve_imported_immutable_bindings
(files: &mut [Il], interner: &Interner)
crates/nose-frontend/src/module_imports.rs:51
↓ 8 callersFunctionresolve_importer
(provider: Il, importer: Il, interner: &Interner)
crates/nose-frontend/src/module_imports/tests/support.rs:115
↓ 8 callersFunctionruby_single_array_argument_children
( il: &'a Il, interner: &Interner, args: &'a [NodeId], )
crates/nose-semantics/src/ruby_redefinitions/dynamic_method_changes.rs:308
↓ 8 callersFunctionsemantic_pack_manifest
(id: &str)
crates/nose-cli/tests/cli/commands/config_packs.rs:33
↓ 8 callersFunctionsequence_surface_kind_for_tag
(lang: Lang, tag: Option<&str>)
crates/nose-semantics/src/sequence_surface.rs:30
↓ 8 callersFunctionsh
(args, cwd=None, timeout=None)
eval/divergence_fire/replay.py:102
↓ 8 callersFunctionsource_fact_value_at_node
( il: &Il, node: NodeId, project: impl Fn(SourceFactKind) -> Option<T>, )
crates/nose-semantics/src/evidence.rs:149
↓ 8 callersFunctionsummarize
(records: list[dict[str, Any]])
bench/labels/missed_worthy_stage_audit.py:101
↓ 8 callersFunctionunique_asserted_evidence_at
( il: &Il, span: Span, anchor_matches: impl Fn(EvidenceAnchor) -> bool, project: impl Fn(Evide
crates/nose-semantics/src/evidence.rs:78
↓ 7 callersFunctionadmitted_java_map_factory_at_call
( il: &Il, interner: &Interner, call: NodeId, )
crates/nose-semantics/src/library_api/resolvers.rs:399
↓ 7 callersFunctionadmitted_library_call
( il: &Il, interner: &Interner, call: NodeId, callee: NodeId, receiver: Option<NodeId>,
crates/nose-semantics/src/library_api/resolvers/admission.rs:87
↓ 7 callersFunctionassert_site_files
(item: &serde_json::Value, key: &str, expected: &[&str])
crates/nose-cli/tests/cli/query_base.rs:154
↓ 7 callersFunctionbinding_write_target
(il: &Il, node: NodeId)
crates/nose-semantics/src/effects.rs:539
↓ 7 callersFunctionbuild
(files: &[(&str, &str, Lang)])
crates/nose-cli/tests/detection.rs:7
↓ 7 callersFunctioncallee_path
(il: &nose_il::Il, interner: &Interner, node: NodeId)
crates/nose-cli/src/verify_admission/runtime_boundary.rs:513
↓ 7 callersFunctioncorpus_value_fp
(corpus: &Corpus, path_suffix: &str, name: &str)
crates/nose-cli/tests/equivalence.rs:267
↓ 7 callersFunctiondeclarative_fingerprint
Normalize one lowered file, returning a fresh canonical [`Il`] (the input is left untouched). Unit roots are remapped onto the new arena. Declarative
crates/nose-normalize/src/lib.rs:252
↓ 7 callersMethodemit
The only node constructor: keeps `hashes` aligned with the arena.
crates/nose-normalize/src/algebra.rs:98
↓ 7 callersFunctionenv_or
(key: &str, default: T)
crates/nose-detect/src/detectors.rs:314
↓ 7 callersFunctionexpect_python_protocol_boundary
(src: &[u8], tag: &str, protocol: SourceProtocolKind)
crates/nose-frontend/src/python/tests.rs:17
↓ 7 callersFunctionf
(xss)
bench/type4/coverage_probes/flat_map/ruby/pos/b.rb:1
↓ 7 callersFunctionfamily_key
Stable cross-run identity of a family.
crates/nose-cli/src/baseline.rs:22
↓ 7 callersFunctionfield_callee
( lo: &mut Lowering, interner: &Interner, base: NodeId, member: &str, sp: Span, )
crates/nose-frontend/src/lower/tests.rs:176
↓ 7 callersFunctionfile_defines_name_visible_at
( il: &Il, interner: &Interner, name: &str, occurrence_span: Span, )
crates/nose-semantics/src/symbol_identity.rs:515
↓ 7 callersFunctionfind_ci
Case-insensitive ASCII substring search starting at `from`.
crates/nose-frontend/src/embedded.rs:387
↓ 7 callersFunctionfinish_python
(b: IlBuilder, root: NodeId, units: Vec<Unit>)
crates/nose-normalize/src/interp/tests/calls_symbolic.rs:3
↓ 7 callersFunctionfirst_query_base_item
(json: &serde_json::Value)
crates/nose-cli/tests/cli/query_base.rs:116
↓ 7 callersFunctionfirst_statements_child
(node: TsNode<'a>)
crates/nose-frontend/src/swift/helpers.rs:43
↓ 7 callersFunctionfree_function_builtin_protocol_record
( id: u32, span: Span, contract: LibraryFreeFunctionBuiltinContract, arity: u16, status: E
crates/nose-semantics/src/tests/library_api_evidence/records.rs:118
↓ 7 callersMethodgo
Generic rebuild of any node. Records the unit-root remap.
crates/nose-normalize/src/desugar.rs:53
↓ 7 callersFunctionignore_set
(tag: &str, body: &str)
crates/nose-cli/src/ignores/match_tests.rs:56
↓ 7 callersFunctionimport_namespace
A strict semantic proof fact for a static namespace import: local namespace → module coordinate.
crates/nose-frontend/src/lower/imports.rs:118
↓ 7 callersMethodis_integer_domain_value
(&self, value: ValueId)
crates/nose-normalize/src/value_graph/stdlib/integers.rs:113
↓ 7 callersMethodis_param_value
Whether `value` is a parameter (an `Input`) carrying the given proof-gate domain. `is_array` adds the `ArrayParam` op on top.
crates/nose-normalize/src/value_graph/state.rs:503
↓ 7 callersFunctionlibrary_api_test_evidence_with_dependencies
( id: u32, span: Span, contract: LibraryApiTestContract, status: EvidenceStatus, dependenc
crates/nose-semantics/src/test_support.rs:150
↓ 7 callersFunctionlibrary_js_array_is_array_contract
( lang: Lang, receiver: &str, method: &str, arg_count: usize, )
crates/nose-semantics/src/library_api/rows/methods.rs:170
↓ 7 callersFunctionlibrary_promise_then_contract
( lang: Lang, method: &str, arg_count: usize, )
crates/nose-semantics/src/library_api/rows/methods/promise.rs:3
↓ 7 callersFunctionlibrary_rust_option_none_sentinel_contract
( lang: Lang, name: &str, )
crates/nose-semantics/src/method_families.rs:156
↓ 7 callersFunctionlibrary_rust_result_err_constructor_contract
( lang: Lang, name: &str, arg_count: usize, )
crates/nose-semantics/src/method_families.rs:194
↓ 7 callersFunctionlibrary_rust_vec_macro_factory_contract
( lang: Lang, name: &str, )
crates/nose-semantics/src/library_api/rows.rs:505
↓ 7 callersFunctionlocal_scope_nodes
(il: &Il)
crates/nose-normalize/src/module_facts.rs:342
↓ 7 callersFunctionlower_expr_with_iota
( lo: &mut Lowering, node: TsNode, iota_value: Option<usize>, )
crates/nose-frontend/src/go/expressions.rs:6
↓ 7 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:130
↓ 7 callersFunctionlower_stmt
(lo: &mut Lowering, node: TsNode)
crates/nose-frontend/src/ruby/statements.rs:127
↓ 7 callersFunctionlower_stmt
(lo: &mut Lowering, node: TsNode)
crates/nose-frontend/src/java/control.rs:6
↓ 7 callersFunctionmetric_eligible
(family: dict[str, Any], metric: str)
bench/labels/labelset.py:230
↓ 7 callersFunctionmk
(path: &str, tags: Vec<u64>)
crates/nose-detect/src/contiguous.rs:348
↓ 7 callersMethodmk_const
Construct a `Const` node of the given kind and full-width payload.
crates/nose-normalize/src/value_graph/canonicalize/constants.rs:30
↓ 7 callersFunctionnode_exact_name
(il: &nose_il::Il, interner: &'a Interner, node: NodeId)
crates/nose-cli/src/verify_admission.rs:220
↓ 7 callersFunctionnode_text
(node: ast.AST)
bench/type4/python_loop_demorgan_proof_facts.py:361
↓ 7 callersFunctionnormalize_text
Normalize a chunk of Markdown into the prose token stream the substrate operates on. When `strip_md` is false, only width-fold + lowercase + whitespac
crates/nose-markdown/src/norm.rs:62
↓ 7 callersFunctionpost_lower_unshadowed_symbol_evidence_id
( il: &mut Il, node: NodeId, expected: &str, )
crates/nose-frontend/src/lower/post_lower_evidence.rs:19
↓ 7 callersFunctionpromise_static_call
( b: &mut IlBuilder, interner: &Interner, method: &str, value: i64, base_line: u32, )
crates/nose-normalize/src/value_graph/tests/support/promise.rs:388
↓ 7 callersFunctionpush_future_settled_value_missing_evidence
(labels: &mut Vec<&'static str>)
crates/nose-cli/src/verify_admission/runtime_boundary/async_runtime.rs:393
↓ 7 callersFunctionquery_fragment_fixtures
Write `fixtures` into a unique temp dir and run a semantic JSON query, returning the project dir, the raw query output, and the parsed families.
crates/nose-cli/tests/cli/exact_fragments/support.rs:7
↓ 7 callersFunctionreceiver_satisfies_domain
( il: &Il, interner: &Interner, receiver: NodeId, requirement: DomainRequirement, )
crates/nose-semantics/src/evidence/domain.rs:187
↓ 7 callersFunctionremove_library_api_evidence_by_rule
(il: &mut Il, rule: &str)
crates/nose-frontend/src/module_imports/tests/support.rs:125
↓ 7 callersFunctionreport_array
( report: &'a serde_json::Value, path: &[&str], description: &str, )
crates/nose-cli/tests/cli/commands/recall_loss_report/oracle_exclusions.rs:413
↓ 7 callersFunctionrequire
(condition: bool, message: str)
scripts/check-ci-examples.py:24
↓ 7 callersFunctionrequire_non_empty
(label: &str, value: &str)
crates/nose-semantics/src/packs/validation/helpers.rs:3
↓ 7 callersFunctionrequire_object
(parent: dict[str, Any], key: str, label: str)
scripts/check-query-regression.py:43
↓ 7 callersMethodrewrite
(&mut self, old_id: NodeId)
crates/nose-normalize/src/algebra.rs:116
↓ 7 callersMethodsentinel_const
(&mut self, tag: u64)
crates/nose-normalize/src/value_graph/canonicalize/constants.rs:33
← previousnext →301–400 of 9,967, ranked by callers