MCPcopy Create free account

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

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

⨍ Functions 13,380◇ Types & classes 1,334
↓ 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 callersFunctionunit_named
( il: &'a Il, interner: &Interner, kind: UnitKind, name: &str, )
crates/nose-frontend/src/lib.rs:166
↓ 9 callersFunctionvalidate_vote
(vote: object, label: str)
bench/labels/labelset.py:591
↓ 9 callersFunctionvar
(b: &mut IlBuilder, cid: u32)
crates/nose-normalize/src/value_graph/tests/clamp.rs:31
↓ 9 callersMethodwrite
(&self, path: &str, source: &str)
crates/nose-cli/tests/exploration_ux.rs:20
↓ 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:82
↓ 8 callersFunctionassert_site_files
(item: &serde_json::Value, key: &str, expected: &[&str])
crates/nose-cli/tests/cli/query_base.rs:158
↓ 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:130
↓ 8 callersFunctionbinary_identity
(path: Path)
scripts/binary_identity.py:78
↓ 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:33
↓ 8 callersFunctionchild_at
(node: Node<'_>, index: usize)
crates/nose-frontend/src/tree_sitter_ext.rs:3
↓ 8 callersFunctioncollapsed_sites
(group: &Group)
crates/nose-detect/src/report/sites.rs:4
↓ 8 callersMethodcompiled_external_v1_packs
(&self)
crates/nose-semantics/src/packs/set.rs:99
↓ 8 callersFunctionconnected_seed_indices
Product seed selection retains the strongest near misses and nested routes. The raw audit interface evaluates every candidate instead.
crates/nose-detect/src/orchestration/connected_pricing.rs:140
↓ 8 callersFunctioncross_pairs
(surfaces: list[Surface], mode: str)
bench/type4/type4gen/case_io.py:41
↓ 8 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:257
↓ 8 callersFunctiondetect
Run the full pipeline over `(path, source)` documents.
crates/nose-markdown/src/detect.rs:190
↓ 8 callersFunctiondisplay_arg
(value: str | Path)
bench/labels/recall_ceiling_probe.py:77
↓ 8 callersFunctionerror
(errors: list[str], message: str)
scripts/check-formal-obligations.py:169
↓ 8 callersMethodevidence_mut
Edit evidence without invalidating unrelated arena indexes.
crates/nose-il/src/il.rs:171
↓ 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 callersFunctionfamily_with_locations
(locations: &[(String, &str)])
crates/nose-cli/src/ignores/match_tests.rs:27
↓ 8 callersMethodfinish
(self)
crates/nose-semantics/src/packs/evidence_index.rs:283
↓ 8 callersFunctionfirst_query_base_item
(json: &serde_json::Value)
crates/nose-cli/tests/cli/query_base.rs:120
↓ 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 callersFunctionleaf_il
()
crates/nose-il/src/tests.rs:3
↓ 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:10
↓ 8 callersFunctionlibrary_collection_factory_result_domain_for_arity
( contract: LibraryCollectionFactoryContract, arg_count: usize, )
crates/nose-semantics/src/library_api/contracts.rs:279
↓ 8 callersFunctionlibrary_free_name_map_factory_contract
( lang: Lang, name: &str, )
crates/nose-semantics/src/library_api/rows.rs:194
↓ 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:334
↓ 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:418
↓ 8 callersFunctionlibrary_rust_result_ok_constructor_contract
( lang: Lang, name: &str, arg_count: usize, )
crates/nose-semantics/src/method_families.rs:173
↓ 8 callersMethodline_count
Inclusive line count, saturating for malformed ranges.
crates/nose-detect/src/model.rs:112
↓ 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
↓ 8 callersFunctionmetric_eligible
(family: dict[str, Any], metric: str)
bench/labels/labelset.py:800
↓ 8 callersFunctionnegate
(expr: str, language: str)
bench/type4/type4gen/aggregate.py:56
↓ 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 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 callersFunctionquery
(root: &Path, extra: &[&str])
crates/nose-cli/tests/cli/review_regressions.rs:91
↓ 8 callersFunctionquery
(mode: &str, locked: bool)
crates/nose-cli/tests/cli/commands/config_packs/reference_vavr.rs:7
↓ 8 callersFunctionquery_families
(stdout: str, *, source: str = "nose query")
bench/labels/query_schema.py:131
↓ 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 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_provenance
(report: dict[str, Any], label: str)
scripts/check-query-regression.py:64
↓ 8 callersFunctionrequire_stable_id
(label: &str, value: &str)
crates/nose-semantics/src/packs/validation/helpers.rs:81
↓ 8 callersFunctionresolve_importer
(provider: Il, importer: Il, interner: &Interner)
crates/nose-frontend/src/module_imports/tests/support.rs:115
↓ 8 callersFunctionroot
(il: &Il)
crates/nose-cli/src/falsify/tests/arrays.rs:21
↓ 8 callersFunctionrows
( members: &[Vec<usize>], grouped: Vec<Vec<(usize, f64)>>, paths: &[usize], )
crates/nose-detect/src/orchestration/accepted/prepare.rs:22
↓ 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 callersFunctionseeds
`k` independent permutation seeds.
crates/nose-detect/src/minhash.rs:16
↓ 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 callersFunctionset_param_domain
(il: &mut Il, root: NodeId, domain: DomainEvidence)
crates/nose-cli/src/falsify/tests.rs:13
↓ 8 callersMethodset_workspace
(&self, workspace: [u8; 32])
crates/nose-cli/src/cache/transaction.rs:123
↓ 8 callersFunctionsh
(args, cwd=None, timeout=None)
eval/divergence_fire/replay.py:102
↓ 8 callersFunctionsha256_file
(path: Path)
scripts/binary_identity.py:28
↓ 8 callersFunctionsnapshot
(sources: &[(&str, &str)])
crates/nose-detect/src/regions/tests.rs:34
↓ 8 callersFunctionsnapshot
(family: &crate::RefactorFamily)
crates/nose-detect/src/regions/evolution/tests.rs:6
↓ 8 callersFunctionsource_fact_value_at_node
( il: &Il, node: NodeId, project: impl Fn(SourceFactKind) -> Option<T>, )
crates/nose-semantics/src/evidence.rs:149
↓ 8 callersFunctionsource_span_groups
Equal source spans in one file cannot produce an ordinary edge (nesting) or a connected descendant edge (strict containment is required). Keep all cro
crates/nose-detect/src/candidates.rs:102
↓ 8 callersFunctionsummarize
(records: list[dict[str, Any]])
bench/labels/missed_worthy_stage_audit.py:101
↓ 8 callersFunctionsynthesize_wrapper
Lower `contract` into a fresh single-`Func` [`Il`] and return that IL plus the func id. Layout of the synthesized function: `Func[ Param(input₀) … Pa
crates/nose-detect/src/fragment/oracle.rs:134
← previousnext →401–500 of 13,380, ranked by callers