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
↓ 2 callersFunctionobservation
(all_shape: IteratorShape, loop_shape: IteratorShape)
bench/type4/python_loop_demorgan_proof_facts.py:675
↓ 2 callersFunctionobserved_literal_classes
(tokens: &[WitnessToken])
crates/nose-detect/src/abstraction.rs:249
↓ 2 callersMethodoccurrence
(self, il: &Il, call: NodeId, callee: NodeId)
crates/nose-semantics/src/tests/library_api_evidence/admission_resolvers/support_provenance.rs:17
↓ 2 callersMethodof
(domain: UnitDomain)
crates/nose-il/src/unit_domains.rs:11
↓ 2 callersMethodone_sided
(&mut self, node: u32, on_a: bool)
crates/nose-detect/src/witness/anti_unify.rs:61
↓ 2 callersMethodopaque_call
A non-builtin `callee(args…)`. Modeled only when call-target evidence resolves the occurrence to an in-file function root. The arguments are evaluated
crates/nose-normalize/src/interp/calls.rs:181
↓ 2 callersFunctionops
(src: &str)
crates/nose-frontend/src/go/tests.rs:3
↓ 2 callersFunctionoptional_command_output
(args: list[str])
scripts/runtime-triage-harness.py:62
↓ 2 callersFunctionoptional_command_output
(args: list[str])
scripts/query-regression-harness.py:44
↓ 2 callersFunctionoptional_result_domain_string
( kind: &str, id: &str, object: &'a serde_json::Map<String, serde_json::Value>, key: &str, )
crates/nose-semantics/src/packs/result_domain_semantics.rs:100
↓ 2 callersFunctionordered_pair
(i: usize, j: usize)
crates/nose-detect/src/candidates.rs:389
↓ 2 callersMethodordered_updates
Emit `pᵢ := argᵢ` as parallel bindings: each argument reads the *old* parameter values. Identity bindings (`pᵢ := pᵢ`) are dropped; the rest are order
crates/nose-normalize/src/recursion.rs:376
↓ 2 callersFunctionorigin_extract_hint
(f: &nose_detect::RefactorFamily)
crates/nose-cli/src/query_opportunities/origin_hints.rs:66
↓ 2 callersFunctionouter
(n: &nose_il::Il, node: NodeId)
crates/nose-cli/tests/equivalence/markup_surfaces.rs:84
↓ 2 callersFunctionoutput_drift_repos
(summary: dict[str, Any])
scripts/check-query-regression.py:304
↓ 2 callersFunctionoverlap_count
(family: dict, label: dict)
bench/labels/near_default_surface_experiment.py:90
↓ 2 callersFunctionoverlaps
(a: dict[str, Any], b: dict[str, Any])
bench/labels/eval_by_language.py:56
↓ 2 callersMethodown_property_condition
(&self, cond: ValueId)
crates/nose-normalize/src/value_graph/collections/defaults.rs:219
↓ 2 callersFunctionown_property_guard_for_node
Prove that a lowered `Seq("own_property_guard")` denotes a first-party JS-like own-property test such as `Object.hasOwn(obj, key)`. The surface tag is
crates/nose-semantics/src/guard_evidence.rs:207
↓ 2 callersFunctionpack_facing_value_law
(law: ValueLaw)
crates/nose-semantics/src/evidence/value_laws.rs:201
↓ 2 callersFunctionpacket_items
(packet_doc: dict[str, Any])
bench/type4/adversarial/scripts/_type4_adversarial.py:53
↓ 2 callersFunctionpacket_score
(packet: dict[str, Any])
bench/type4/adversarial/scripts/_type4_adversarial.py:375
↓ 2 callersFunctionpackets_markdown
(packet_doc: dict)
bench/type4/frontier_platform.py:2239
↓ 2 callersMethodpair_stats_at
Relation ingredients for two fingerprints from this model's input slice. Candidate verification touches many pairs in large documentation repos; compu
crates/nose-markdown/src/verify.rs:103
↓ 2 callersFunctionpanic_message
(panic: Box<dyn std::any::Any + Send>)
crates/nose-cli/tests/cli/support_tests.rs:4
↓ 2 callersMethodparam_domain_scope
(&self, root: NodeId)
crates/nose-normalize/src/value_graph/state.rs:439
↓ 2 callersMethodparam_domain_value
(&mut self, value: ValueId)
crates/nose-normalize/src/value_graph/state.rs:513
↓ 2 callersFunctionparam_name
(lo: &Lowering, p: TsNode)
crates/nose-frontend/src/ruby/statements.rs:203
↓ 2 callersFunctionparent_of
(parents: &[Option<NodeId>], node: NodeId)
crates/nose-detect/src/units/tree.rs:13
↓ 2 callersMethodparent_scope
The next enclosing `Func`/`Lambda` scope outside `scope`. Source scopes are lexical (nested or disjoint), so a per-file interval stack builds this in
crates/nose-il/src/il/scope_index.rs:38
↓ 2 callersFunctionparse_args
(argv: list[str])
scripts/corpus-priority-census.py:1001
↓ 2 callersFunctionparse_budget_json
(text: str, source: str)
scripts/check-file-lengths.py:28
↓ 2 callersFunctionparse_file_header_path
(line: &str, marker: &str, prefix: &str)
crates/nose-cli/src/divergence/git.rs:367
↓ 2 callersFunctionparse_params
(masked: str, start: int, end: int)
scripts/promise-executor-slice-audit.py:128
↓ 2 callersFunctionparse_positive_usize
(s: &str, label: &str)
crates/nose-cli/src/query_options.rs:77
↓ 2 callersFunctionparse_query_args
(raw: str)
scripts/runtime-triage-harness.py:105
↓ 2 callersFunctionparse_query_args
(raw: str)
scripts/query-regression-harness.py:87
↓ 2 callersFunctionparse_rust_use_item
(item: str)
scripts/scheduling-lifecycle-boundary-audit.py:2472
↓ 2 callersFunctionparse_rust_use_item
(item: &str)
crates/nose-frontend/src/rust/items.rs:271
↓ 2 callersFunctionparse_scalar
(raw: str)
scripts/check-formal-obligations.py:204
↓ 2 callersFunctionparse_side_ranges
(diff: &str, side: DiffRangeSide)
crates/nose-cli/src/divergence/git.rs:225
↓ 2 callersFunctionparse_timing
(stderr: bytes)
scripts/runtime-triage-harness.py:150
↓ 2 callersMethodpassed
(&self)
crates/nose-semantics/src/packs/conformance.rs:63
↓ 2 callersFunctionpatch_span
()
crates/nose-normalize/src/library_api_evidence/tests/ruby_enumerable_quantifier.rs:186
↓ 2 callersMethodpath_cond_from
The conjunction of path conditions from `base` (an earlier `path.len()`) to the top — the path suffix relative to a marked entry point, used by inline
crates/nose-normalize/src/value_graph/control/returns.rs:273
↓ 2 callersMethodpath_spec
(self)
crates/nose-semantics/src/module_semantics.rs:44
↓ 2 callersFunctionper_node_hashes
Per-node structural hashes under a chosen `(kind, payload)` tagger. The arena is post-order (children precede parents), so one forward pass interns ea
crates/nose-normalize/src/commutative.rs:34
↓ 2 callersFunctionplace_evidence_for_node
(il: &Il, node: NodeId)
crates/nose-semantics/src/effects.rs:289
↓ 2 callersMethodplus_coerces_strings
Whether `+` can coerce a mixed string/non-string operand pair (so grouping and order are observable and the value-graph must not freely associate/comm
crates/nose-semantics/src/operators.rs:133
↓ 2 callersFunctionpolicy_row
(name, rows, predicate)
eval/divergence_fire/replay.py:545
↓ 2 callersFunctionpolicy_row_by_name
(finding_level, policy)
eval/divergence_fire/replay.py:687
↓ 2 callersFunctionpost_lower_binding_symbol_evidence_id
( il: &Il, interner: &Interner, node: NodeId, expected: SymbolEvidenceKind, )
crates/nose-frontend/src/lower/post_lower_evidence.rs:125
↓ 2 callersFunctionpost_lower_integer_param_domain_evidence_id
(il: &Il, span: Span)
crates/nose-frontend/src/lower/post_lower_evidence.rs:505
↓ 2 callersFunctionpost_lower_library_api_node_evidence_with_pack_id
( il: &mut Il, node: NodeId, id: LibraryApiContractId, callee: LibraryApiCalleeContract, a
crates/nose-frontend/src/lower/post_lower_evidence.rs:286
↓ 2 callersFunctionpost_lower_qualified_global_symbol_evidence_id
( il: &Il, node: NodeId, path: &str, )
crates/nose-frontend/src/lower/post_lower_evidence.rs:38
↓ 2 callersFunctionpost_lower_same_binding_payload
(param: Payload, source: Payload)
crates/nose-frontend/src/lower/library_api_post_lower/python_iterator_builtins.rs:275
↓ 2 callersFunctionpost_lower_source_call_evidence_id
( il: &Il, node: NodeId, call: SourceCallKind, )
crates/nose-frontend/src/lower/post_lower_evidence.rs:552
↓ 2 callersFunctionpost_lower_static_global_call_parts
( il: &Il, interner: &'a Interner, call: NodeId, )
crates/nose-frontend/src/lower/post_lower_evidence.rs:55
↓ 2 callersFunctionpresence_rank_key
Presence-first ordering. Breadth (repo + corpus primary-language) dominates; raw occurrence is the last tiebreak so it can never reorder axes that
bench/type4/frontier_platform.py:475
↓ 2 callersFunctionprice_candidates
( corpus: dict, repos_root: Path, *, corpus_path: Path = DEFAULT_CORPUS, nose: Path | None
bench/semantic_pack/pricing.py:1049
↓ 2 callersFunctionprint_counter
(title: str, counter: Counter[str], limit: int)
bench/type4/frontier.py:32
↓ 2 callersFunctionprint_member_proposal
Synthesize an *extraction proposal* aligned across **all** the family's copies (#360): the lines invariant across *every* copy become the body of the
crates/nose-cli/src/query_family_text.rs:30
↓ 2 callersFunctionprint_query_prelude
()
crates/nose-cli/src/query_views.rs:17
↓ 2 callersFunctionprocess_record
( command: list[str | Path], result: subprocess.CompletedProcess[bytes] | None, error: str | None,
bench/labels/recall_ceiling_probe.py:158
↓ 2 callersFunctionpromise_call_expr
( builder: &mut IlBuilder, interner: &Interner, base_line: u32, )
crates/nose-normalize/src/call_target_evidence/tests/support.rs:83
↓ 2 callersFunctionpromise_construct_call
(il: &nose_il::Il, call: NodeId, callee_path: &str)
crates/nose-cli/src/verify_admission/runtime_boundary.rs:505
↓ 2 callersFunctionpromise_factory_state
( builder: &mut Builder<'_>, expr: NodeId, env: &FxHashMap<u32, ValueId>, )
crates/nose-normalize/src/value_graph/rules/promise_then.rs:251
↓ 2 callersFunctionpromise_input_is_non_thenable_safe
(builder: &Builder<'_>, arg: NodeId, value: ValueId)
crates/nose-normalize/src/value_graph/rules/promise_then.rs:377
↓ 2 callersFunctionpromise_like_domain_at_call
(il: &Il, call: NodeId)
crates/nose-normalize/src/call_target_evidence/tests/support.rs:126
↓ 2 callersFunctionpromise_receiver_has_promise_like_domain
( il: &nose_il::Il, interner: &Interner, callee: NodeId, )
crates/nose-cli/src/verify_admission/runtime_boundary.rs:331
↓ 2 callersFunctionpromise_receiver_state
( builder: &mut Builder<'_>, recv: NodeId, env: &FxHashMap<u32, ValueId>, )
crates/nose-normalize/src/value_graph/rules/promise_then.rs:198
↓ 2 callersFunctionpromise_resolve_call_matching
( il: &Il, interner: &Interner, matches_call: impl Fn(NodeId) -> bool, )
crates/nose-detect/src/units/tests/strict_exact_factories/js_like_factories.rs:255
↓ 2 callersFunctionpromise_then_returning_factory_il
( method: &str, )
crates/nose-normalize/src/value_graph/tests/support/promise.rs:188
↓ 2 callersFunctionproof_fact_action_ids
(packet: dict[str, Any])
bench/type4/proof_carrying_frontier.py:1905
↓ 2 callersFunctionproposal_action_label
(f: &nose_detect::RefactorFamily)
crates/nose-cli/src/query_opportunities/origin_hints.rs:103
↓ 2 callersMethodprose_words
Word count of the normalized prose (used by length floors).
crates/nose-markdown/src/unit.rs:49
↓ 2 callersFunctionprotocol_api_satisfies_receiver
(receiver: MethodReceiverContract)
crates/nose-semantics/src/library_api/receiver_dependencies/api_records/protocol_receivers.rs:31
↓ 2 callersMethodproven_go_literal_zero_map_value
( &self, value: ValueId, )
crates/nose-normalize/src/value_graph/stdlib/map_factories.rs:274
↓ 2 callersMethodproven_local_binding_initializer_value
( &mut self, expr: NodeId, env: &FxHashMap<u32, ValueId>, accepts_domain: impl
crates/nose-normalize/src/value_graph/stdlib/bindings.rs:23
↓ 2 callersMethodproven_map_get_value
( &mut self, value: ValueId, )
crates/nose-normalize/src/value_graph/stdlib/map_access.rs:4
↓ 2 callersFunctionproven_receiver_method_api_contract_for_call_with_cache
( il: &mut Il, interner: &Interner, call: NodeId, cache: &mut LibraryApiDependencyCache, m
crates/nose-semantics/src/library_api/receiver_dependencies.rs:92
↓ 2 callersFunctionprovider_and_importer
( provider_src: &str, importer_src: &str, lang: Lang, provider_path: &str, importer_path:
crates/nose-frontend/src/module_imports/tests/js_ts_snapshots.rs:230
↓ 2 callersFunctionprovider_miss_inner
( files: &[Il], interner: &Interner, contexts: &[FileImportContext], exports: Option<&LiteralE
crates/nose-frontend/src/module_imports/diagnostics/provider.rs:38
↓ 2 callersFunctionprune_reason
(path: Path, repos_root: Path)
bench/corpus_prune/core.py:267
↓ 2 callersMethodpure_callable_body
The body of a function that qualifies for generalized value-only inlining: any statement tree free of the constructs the inline evaluator can never re
crates/nose-normalize/src/value_graph/inline.rs:108
↓ 2 callersMethodpure_callable_walk
( &self, root: NodeId, node: NodeId, required: &mut Vec<Symbol>, budge
crates/nose-normalize/src/value_graph/inline.rs:131
↓ 2 callersFunctionpush_bound_order_evidence_mode
( il: &mut Il, mode: BoundOrderEvidenceMode, cond: NodeId, lower: NodeId, upper: NodeId,
crates/nose-normalize/src/value_graph/tests/clamp.rs:130
↓ 2 callersFunctionpush_bracket_array_source_proof
(il: &mut Il, id: u32, source: NodeId)
crates/nose-semantics/src/tests/library_api_evidence/admission_resolvers/sequence_hof/swift_compact_map.rs:114
↓ 2 callersFunctionpush_cid_receiver_domain
(il: &mut Il, id: u32, domain: DomainEvidence, status: EvidenceStatus)
crates/nose-semantics/src/tests/semantic_evidence/receiver_domains.rs:168
↓ 2 callersMethodpush_effect
Push an effect sink, tagged with the current path condition — so a *conditional effect (`if c { append(x) }`) carries `c`, the way a guarded return do
crates/nose-normalize/src/value_graph/sinks.rs:10
↓ 2 callersFunctionpush_evidence_with_provenance
( il: &mut Il, anchor: EvidenceAnchor, kind: EvidenceKind, provenance: EvidenceProvenance,
crates/nose-frontend/src/module_imports/snapshot.rs:384
↓ 2 callersFunctionpush_free_function_builtin_library_api_evidence
( il: &mut Il, interner: &Interner, call: NodeId, )
crates/nose-normalize/src/idioms/tests/support.rs:195
↓ 2 callersFunctionpush_free_function_hof_library_api_evidence
( il: &mut Il, interner: &Interner, call: NodeId, )
crates/nose-normalize/src/idioms/tests/support.rs:240
↓ 2 callersFunctionpush_future_result_callback_missing_evidence
(labels: &mut Vec<&'static str>)
crates/nose-cli/src/verify_admission/runtime_boundary/async_runtime/java.rs:512
↓ 2 callersFunctionpush_imported_binding_symbol
( il: &mut Il, local: &str, module: &str, exported: &str, )
crates/nose-normalize/src/library_api_evidence/tests/call_result_domains.rs:108
↓ 2 callersFunctionpush_imported_namespace_dependency
( il: &mut Il, receiver: NodeId, module: &str, dependency_id: u32, lang: Lang, )
crates/nose-semantics/src/tests/library_api_evidence/admission_resolvers/string_affix.rs:62
↓ 2 callersFunctionpush_java_map_import_dependencies
(il: &mut Il, receiver: NodeId)
crates/nose-semantics/src/tests/library_api_evidence/admission_resolvers/support_factories.rs:242
↓ 2 callersFunctionpush_java_map_lookup_evidence
( il: &mut Il, import_span: Span, receiver_span: Span, call_span: Span, binding_span: Span
crates/nose-normalize/src/value_graph/tests/factories.rs:257
↓ 2 callersFunctionpush_java_math_arg_dependencies
(il: &mut Il, call: NodeId, first_id: u32)
crates/nose-semantics/src/tests/library_api_evidence/admission_resolvers/scalar_integer.rs:86
↓ 2 callersFunctionpush_java_stdlib_api_evidence
( il: &mut Il, id: u32, span: Span, contract_id: LibraryApiContractId, callee: LibraryApiC
crates/nose-detect/src/units/tests/strict_exact_factories.rs:337
← previousnext →2,101–2,200 of 9,967, ranked by callers