Functions — github.com/corca-ai/nose

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

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

⨍ Functions 9,967◇ Types & classes 849

↓ 3 callersMethodunshadowed_global_evidence_id

( &self, node: NodeId, name: &str, )

crates/nose-frontend/src/lower/symbol_evidence.rs:92

↓ 3 callersFunctionunsupported_boolean_shape

( fn: ast.FunctionDef, kind: str, diagnostics: list[str] )

bench/type4/python_loop_demorgan_proof_facts.py:961

↓ 3 callersFunctionunwrap_paren

(node: TsNode)

crates/nose-frontend/src/js_ts/control.rs:282

↓ 3 callersFunctionupsert_valid_imported_symbol_occurrence

( il: &mut Il, interner: &Interner, node: NodeId, symbol: SymbolEvidenceKind, binding_depe

crates/nose-normalize/src/call_target_evidence/imported.rs:376

↓ 3 callersFunctionvalidate

(payload: object, *, check_inputs: bool = True)

bench/labels/accepted_pair_coverage.py:540

↓ 3 callersFunctionvalidate_artifact

( payload: object, *, check_inputs: bool = True, check_sources: bool = False, )

bench/labels/missed_worthy_frontier.py:444

↓ 3 callersFunctionvalidate_manifest

( manifest: dict[str, Any], packet_doc: dict[str, Any], real_frontier: dict[str, Any], )

bench/type4/real_frontier_replay.py:156

↓ 3 callersFunctionvalidate_report

(report: dict)

bench/semantic_pack/pricing.py:1249

↓ 3 callersFunctionvalidate_report_contract

( report: dict[str, Any], label: str, *, require_corpus_provenance: bool = False )

scripts/check-query-regression.py:276

↓ 3 callersFunctionvalidate_stage_record

(record: object, expected: dict[str, Any])

bench/labels/missed_worthy_stage_audit.py:318

↓ 3 callersFunctionvalue_fingerprint_and_contracts

Both the value fingerprint AND the pointer-length contracts from a SINGLE build — the behavioral oracle needs both per unit, and building the value gr

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

↓ 3 callersFunctionvalue_graph_law_pack

()

crates/nose-semantics/src/packs/compiled.rs:113

↓ 3 callersFunctionvar_references_same_binding

(il: &Il, lhs: NodeId, reference: NodeId)

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

↓ 3 callersMethodwhole

All lines of `file`, reading and caching on first touch. `None` if unreadable.

crates/nose-cli/src/source_lines.rs:441

↓ 3 callersMethodwith_container

(self, container_kind: UnitContainerKind)

crates/nose-il/src/unit.rs:86

↓ 3 callersFunctionwitness

Local-alignment witness between two units. Returns the matched span in each unit, or `None` if there is no shared line block.

crates/nose-markdown/src/witness.rs:44

↓ 3 callersFunctionwrite_cfg

(tag: &str, body: &str)

crates/nose-cli/src/config.rs:92

↓ 2 callersMethod_bind_args

(self, node: ast.arguments)

scripts/python-hof-runtime-audit.py:294

↓ 2 callersFunction_families_on_line

(stdout: str, rel: str, line: int | None)

bench/type4/frontier_platform.py:602

↓ 2 callersFunction_inc

(sink: dict[str, int], key: str, n: int = 1)

bench/type4/query_regression/query_regression.py:423

↓ 2 callersFunction_int_field

(obj: dict, key: str)

bench/type4/query_regression/query_regression.py:431

↓ 2 callersFunction_is_fragment_location

Forward-compatible fragment test. Current query JSON emits `is_fragment`, but older/intermediate artifacts may only expose `fragment_kind` /

bench/type4/query_regression/query_regression.py:451

↓ 2 callersFunction_require

(item: dict[str, Any], field: str, label: str, errors: list[str])

bench/type4/adversarial/scripts/_type4_adversarial.py:254

↓ 2 callersFunction_validate_candidate_records

( candidates: object, source_files: object, *, check_sources: bool, )

bench/labels/missed_worthy_frontier.py:352

↓ 2 callersMethod_visit_function_prelude

(self, node: ast.FunctionDef | ast.AsyncFunctionDef)

scripts/python-hof-runtime-audit.py:366

↓ 2 callersFunctionabspath

(norm_path)

bench/type4/behavior_miss_mining.py:60

↓ 2 callersMethodabstraction_only

(self)

crates/nose-cli/src/query_options.rs:263

↓ 2 callersFunctionaccept_pair

Stage-2 acceptance for one candidate pair: returns the relation score if the pair clears the threshold, the match-substance floor, and (for size-dispa

crates/nose-markdown/src/detect.rs:134

↓ 2 callersFunctionaccepted_connected_pair

( units: &[UnitFeat], left: usize, right: usize, left_constraint: LineSpan, right_constrai

crates/nose-detect/src/orchestration/connected_pricing.rs:278

↓ 2 callersFunctionaccepted_members

(f: &RefactorFamily)

crates/nose-cli/src/baseline.rs:229

↓ 2 callersMethodaccepts

(self, arg_count: usize)

crates/nose-semantics/src/free_builtins.rs:36

↓ 2 callersMethodactionability_reason

Decidable, scope-blind actionability reason — a stable code naming WHY a family is not a clean default-surface refactor candidate, computed purely fro

crates/nose-detect/src/report/model.rs:232

↓ 2 callersFunctionadd_counter

(dst: Counter[str], src: dict[str, int] | Counter[str])

scripts/corpus-priority-census.py:546

↓ 2 callersFunctionadd_distinct_clone_family

(dir: &Path)

crates/nose-cli/tests/cli/support.rs:335

↓ 2 callersFunctionadd_import_binding_evidence

( il: &mut Il, span: Span, status: EvidenceStatus, )

crates/nose-frontend/src/module_imports/tests/support.rs:186

↓ 2 callersFunctionadmission_verdict

(ready_count: int)

bench/type4/proof_carrying_frontier.py:1608

↓ 2 callersFunctionadmit_test_builtin_calls

(il: &mut Il)

crates/nose-normalize/src/interp/tests.rs:95

↓ 2 callersFunctionadmit_test_self_field

( il: &mut Il, interner: &Interner, receiver: NodeId, field: NodeId, field_name: nose_il::

crates/nose-normalize/src/interp/tests.rs:492

↓ 2 callersFunctionadmitted_builder_append_method_call_args

`(receiver, value)` of a source method call whose append meaning is proven by same-span `LibraryApi(MethodCall(Builtin(Append)))` occurrence evidence.

crates/nose-semantics/src/effects.rs:478

↓ 2 callersFunctionadmitted_builtin_semantics_at_call

(il: &Il, node: NodeId, builtin: Builtin)

crates/nose-semantics/src/evidence.rs:425

↓ 2 callersFunctionadmitted_filter_source

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

crates/nose-semantics/src/library_api/admission/callbacks/swift_flat_map.rs:100

↓ 2 callersFunctionadmitted_java_collection_factory_at_call_span

( il: &Il, interner: &Interner, occurrence: LibraryApiSpanCall, method_hash: u64, )

crates/nose-semantics/src/library_api/resolvers.rs:309

↓ 2 callersFunctionadmitted_map_key_view_at_call_span

( il: &Il, interner: &Interner, occurrence: LibraryApiSpanCall, method_hash: u64, )

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

↓ 2 callersFunctionadmitted_map_key_view_wrapper_at_call

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

crates/nose-semantics/src/library_api/resolvers.rs:185

↓ 2 callersFunctionadmitted_promise_finally_at_call

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

crates/nose-semantics/src/library_api/resolvers/promise.rs:19

↓ 2 callersFunctionadmitted_receiver_method_call

( il: &Il, interner: &Interner, call: NodeId, contract_for: impl FnOnce(&str, usize) -> Option

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

↓ 2 callersFunctionadmitted_rust_option_none_sentinel_at_node

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

crates/nose-semantics/src/library_api/resolvers.rs:565

↓ 2 callersFunctionadmitted_rust_option_some_constructor_at_node

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

crates/nose-semantics/src/library_api/resolvers.rs:503

↓ 2 callersFunctionadmitted_rust_vec_macro_factory_at_call

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

crates/nose-semantics/src/library_api/resolvers.rs:279

↓ 2 callersFunctionadmitted_static_collection_adapter_at_call

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

crates/nose-semantics/src/library_api/resolvers.rs:471

↓ 2 callersFunctionadmitted_swift_collection_factory_at_call

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

crates/nose-semantics/src/library_api/resolvers.rs:205

↓ 2 callersFunctionadmitted_swift_map_factory_at_call

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

crates/nose-semantics/src/library_api/resolvers.rs:361

↓ 2 callersFunctionadmitted_terminal_count_reduction_at_call

(il: &Il, node: NodeId)

crates/nose-semantics/src/evidence.rs:408

↓ 2 callersFunctionadoption_blockers

( trust: &str, enabled_by_default: bool, exact_capable: bool, coverage_status: &str, inven

crates/nose-cli/src/semantic_pack/adoption_gates.rs:153

↓ 2 callersFunctionaggregate_metrics

( query_runs: dict[str, dict[str, Any]], candidates: list[dict[str, Any]], )

bench/labels/missed_worthy_frontier.py:296

↓ 2 callersFunctionall_copies_shared_cached

( f: &nose_detect::RefactorFamily, cache: &mut FileLineCache, )

crates/nose-cli/src/query_model.rs:431

↓ 2 callersFunctionall_known_patterns

()

scripts/scheduling-lifecycle-boundary-audit.py:736

↓ 2 callersFunctionanchor_partial_score

Surfacing score for a partial / sub-DAG clone, GRADED by the shared sub-DAG's weight: a minimal shared computation sits at the floor (just above the n

crates/nose-detect/src/detectors.rs:237

↓ 2 callersMethodanchors_from_reachable

(&self, min_weight: u32, reachable: &[bool])

crates/nose-normalize/src/value_graph/output.rs:41

↓ 2 callersFunctionannotation_suffix

(text: &str)

crates/nose-semantics/src/type_domain.rs:303

↓ 2 callersFunctionappend_call_args

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

crates/nose-detect/src/fragment/conditional_guard.rs:445

↓ 2 callersFunctionappend_effect_consumes_chained_temp

( il: &Il, interner: &Interner, node: NodeId, iter_cids: &FxHashSet<u32>, all_temp_cids: &

crates/nose-detect/src/units/fragments/loop_effect.rs:260

↓ 2 callersFunctionappend_effect_consumes_temp

( il: &Il, interner: &Interner, node: NodeId, iter_cids: &FxHashSet<u32>, temp_cids: &FxHa

crates/nose-detect/src/units/fragments/loop_effect.rs:245

↓ 2 callersFunctionappend_replacement_snapshot

( il: &mut Il, deps: Vec<SubtreeSnapshot>, rhs_snapshot: SubtreeSnapshot, )

crates/nose-frontend/src/module_imports.rs:162

↓ 2 callersFunctionappend_statement

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

crates/nose-detect/src/fragment/conditional_guard.rs:229

↓ 2 callersFunctionapply_checked_manifest

Apply exactly the checked manifest entries for repos present in a subset.

bench/corpus_prune/core.py:486

↓ 2 callersFunctionapply_handler

( builder: &mut Builder<'_>, handler: NodeId, value: ValueId, env: &FxHashMap<u32, ValueId>, )

crates/nose-normalize/src/value_graph/rules/promise_then.rs:153

↓ 2 callersFunctionapply_prune

( project_root: Path, repos_root: Path, labels_path: Path, manifest_path: Path )

bench/corpus_prune/core.py:644

↓ 2 callersFunctionarray_seq

(lo: &mut Lowering, interner: &Interner, sp: Span)

crates/nose-frontend/src/lower/tests.rs:167

↓ 2 callersFunctionartifact_refs

( manifest_path: Path, target_packets_path: Path, real_frontier_path: Path, )

bench/type4/real_frontier_replay.py:80

↓ 2 callersMethodas_manifest_str

(self)

crates/nose-semantics/src/packs.rs:300

↓ 2 callersFunctionassert_contract_excludes_kind

(src: &str, lang: Lang, kind: FragmentKind)

crates/nose-detect/src/fragment/recognize/tests.rs:86

↓ 2 callersFunctionassert_cross_file_swift_flat_map_closed

(tag: &str, declaration: &str, failure_message: &str)

crates/nose-frontend/src/corpus_tests.rs:451

↓ 2 callersFunctionassert_java_collection_factory_record_provenance

(record: &EvidenceRecord)

crates/nose-frontend/src/lower/tests/core_factories/java_factories.rs:22

↓ 2 callersFunctionassert_java_guava_factory_record_provenance

(record: &EvidenceRecord)

crates/nose-frontend/src/lower/tests/core_factories/guava_factories.rs:148

↓ 2 callersFunctionassert_java_map_factory_requires_pack_provenance

(admission: JavaMapFactoryAdmission)

crates/nose-semantics/src/tests/library_api_evidence/admission_resolvers/support_provenance.rs:273

↓ 2 callersFunctionassert_js_collection_constructor_requires_pack_provenance

( kind: JsCollectionConstructorKind, )

crates/nose-semantics/src/tests/library_api_evidence/admission_resolvers/support_provenance.rs:434

↓ 2 callersFunctionassert_js_like_promise_record_provenance

(record: &EvidenceRecord)

crates/nose-frontend/src/lower/tests/post_lower_properties.rs:437

↓ 2 callersFunctionassert_new_copy_sarif_contract

(sarif_json: &serde_json::Value)

crates/nose-cli/tests/cli/query_base/new_copy.rs:75

↓ 2 callersFunctionassert_python_iterator_materializer

( builder: &Builder<'_>, value: ValueId, wrapper_tag: Option<u64>, message: &str, )

crates/nose-normalize/src/value_graph/tests/source_evidence/python_iterator_builtins.rs:277

↓ 2 callersFunctionassert_root_shadow_stays_closed

(src: &str, surface: &str)

crates/nose-cli/src/verify_admission/runtime_boundary/tests/async_runtime/rust_block_on_root_shadow.rs:68

↓ 2 callersFunctionassert_ruby_any_api_evidence_closes_on_patch

( path: &'static str, failure_message: &'static str, build_patch: impl FnOnce(&mut IlBuilder, &Int

crates/nose-normalize/src/library_api_evidence/tests/ruby_enumerable_quantifier.rs:118

↓ 2 callersFunctionassert_rust_std_map_factory_requires_pack_provenance

( admission: RustStdMapFactoryAdmission, )

crates/nose-semantics/src/tests/library_api_evidence/admission_resolvers/support_provenance.rs:81

↓ 2 callersFunctionasserted_library_api_dependency_contract

( il: &Il, interner: Option<&Interner>, dependency: &EvidenceRecord, )

crates/nose-semantics/src/library_api/receiver_dependencies/api_records/receiver_proofs.rs:256

↓ 2 callersFunctionasserted_library_api_node_record

( id: u32, il: &Il, node: NodeId, contract_id: LibraryApiContractId, callee: LibraryApiCal

crates/nose-semantics/src/tests/library_api_evidence/admission_resolvers/support_core.rs:3

↓ 2 callersFunctionassignment_alias_hash

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

crates/nose-semantics/src/symbol_identity.rs:468

↓ 2 callersFunctionassignment_is_visible_at_reference

( il: &Il, assign: NodeId, reference: NodeId, )

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

↓ 2 callersMethodassignment_name

(&self, stmt: NodeId)

crates/nose-normalize/src/value_graph/context.rs:371

↓ 2 callersMethodasync_protocol_value

(&mut self, operand: ValueId)

crates/nose-normalize/src/value_graph/eval/core.rs:35

↓ 2 callersFunctionasync_receiver_dependency_ids

( il: &Il, interner: &Interner, receiver: NodeId, contract: AsyncReceiverContract, cache:

crates/nose-semantics/src/library_api/receiver_dependencies.rs:213

↓ 2 callersFunctionasync_sync_twin

An async↔sync twin pair: side A wraps the inner `Call` in `await` (`Opaque(VG_PROTOCOL_AWAIT,[call])`), side B uses the bare call; both return a `len`

crates/nose-detect/src/witness/tests.rs:71

↓ 2 callersFunctionauc

(pos, neg)

eval/hazard/tune.py:16

↓ 2 callersFunctionawait_oracle_exclusion_report

(project_name: &str)

crates/nose-cli/tests/cli/commands.rs:3

↓ 2 callersFunctionaxis_data_shape

(axis: str)

bench/type4/generate.py:4952

↓ 2 callersFunctionaxis_evidence

(axis: str, status: str, negative: bool, proposal_id: str | None = None)

bench/type4/generate.py:4976

↓ 2 callersFunctionaxis_variants

( surface: Surface, proposal_id: str, axis: str, negative: bool, )

bench/type4/generate.py:4806

↓ 2 callersFunctionbase_blocks

The distinct base prose bodies (one per `##` section of the committed base corpus; the intro `#` section is skipped).

crates/nose-markdown/src/synth.rs:41

↓ 2 callersFunctionbattery_1

A small single-argument battery — enough to separate the spike's fragments.

crates/nose-detect/src/fragment/oracle.rs:301

↓ 2 callersFunctionbest_label_match

( members: list[dict[str, Any]], labels: list[dict[str, Any]] )

bench/labels/label_refresh.py:102

↓ 2 callersFunctionbin

(op: Op, a: &Value, b: &Value)

crates/nose-normalize/src/interp/ops.rs:160

← previous next →1,401–1,500 of 9,967, ranked by callers