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
↓ 7 callersFunctionseq_names
(il: &Il, interner: &Interner)
crates/nose-frontend/src/js_ts/tests/support.rs:51
↓ 7 callersFunctionseq_names
(il: &Il, interner: &Interner)
crates/nose-frontend/src/swift/tests.rs:23
↓ 7 callersFunctionsource_protocol_at_node
(il: &Il, node: NodeId)
crates/nose-semantics/src/evidence.rs:332
↓ 7 callersFunctionstrict_exact_membership_collection_safe
( il: &Il, interner: &Interner, facts: &StrictFacts, node: NodeId, )
crates/nose-detect/src/strict_exact/collections.rs:510
↓ 7 callersFunctionswift_identifier_matches
Compare a lowered Swift identifier after removing the language's backtick escape syntax. Escaping changes how a keyword is parsed, not the identifier
crates/nose-semantics/src/stdlib_semantics.rs:44
↓ 7 callersFunctiontop_level_statements_for
(il: &Il)
crates/nose-normalize/src/module_facts.rs:55
↓ 7 callersFunctionunshadowed_global_source_dependency
( id: u32, span: Span, name: &str, status: EvidenceStatus, )
crates/nose-semantics/src/tests/js_symbol_guards.rs:7
↓ 7 callersFunctionupsert
( il: &mut Il, node: NodeId, kind: EvidenceKind, rule: &'static str, provenance: EffectEvi
crates/nose-normalize/src/effect_evidence.rs:223
↓ 7 callersMethodvalue_law_satisfied
(&self, law: ValueLaw, values: &[ValueId])
crates/nose-normalize/src/value_graph/state.rs:15
↓ 7 callersFunctionvar
(b: &mut IlBuilder, cid: u32)
crates/nose-normalize/src/value_graph/tests/clamp.rs:31
↓ 7 callersFunctionwarn_if_empty
Warn (to stderr) when discovery turned up nothing, so a mistyped path or an unsupported tree doesn't masquerade as "no duplication found". Returns tru
crates/nose-cli/src/path_utils.rs:15
↓ 7 callersFunctionwitnessed
(mut f: RefactorFamily, kind: &'static str)
crates/nose-detect/src/report/tests/support.rs:142
↓ 6 callersFunctionadmitted_builtin_semantics_at_call_with_interner
( il: &Il, interner: &Interner, node: NodeId, builtin: Builtin, )
crates/nose-semantics/src/evidence.rs:433
↓ 6 callersFunctionadmitted_free_name_map_factory_at_call
( il: &Il, interner: &Interner, call: NodeId, )
crates/nose-semantics/src/library_api/resolvers.rs:351
↓ 6 callersFunctionadmitted_js_like_map_constructor_at_call
( il: &Il, interner: &Interner, call: NodeId, )
crates/nose-semantics/src/library_api/resolvers.rs:449
↓ 6 callersFunctionadmitted_js_like_set_constructor_at_call
( il: &Il, interner: &Interner, call: NodeId, )
crates/nose-semantics/src/library_api/resolvers.rs:341
↓ 6 callersFunctionanchor_min_weight
The effective anchor weight floor: `ANCHOR_MIN_WEIGHT` unless the research knob `NOSE_ANCHOR_MIN_WEIGHT` overrides it (#248 — the §BJ 8–20 band sweep)
crates/nose-normalize/src/value_graph/api.rs:100
↓ 6 callersMethodas_str
(self)
crates/nose-semantics/src/packs/external.rs:166
↓ 6 callersFunctionassert_block_pair_family
( families: &[serde_json::Value], out: &str, left: &str, right: &str, negative: &str,
crates/nose-cli/tests/cli/exact_fragments/support.rs:90
↓ 6 callersFunctionassert_missing_evidence_contains
( labels: Option<Vec<&'static str>>, label: &'static str, surface: &str, )
crates/nose-cli/src/verify_admission/runtime_boundary/tests/async_runtime.rs:510
↓ 6 callersFunctionassert_paths_agree
The two paths must agree on the migrated kinds for `src`.
crates/nose-detect/src/fragment/recognize/tests.rs:42
↓ 6 callersFunctionblock_children_exact_len
(il: &Il, node: NodeId, len: usize)
crates/nose-detect/src/fragment/conditional_guard.rs:434
↓ 6 callersFunctionbuild_parent_index
(il: &Il)
crates/nose-detect/src/units/tree.rs:17
↓ 6 callersFunctioncall_target_evidence
( id: u32, lang: Lang, call_span: Span, target: CallTargetEvidenceKind, dependencies: Vec<
crates/nose-detect/src/strict_exact/tests/support.rs:130
↓ 6 callersFunctioncall_target_evidence_status_at_call
( il: &Il, interner: &Interner, call: NodeId, )
crates/nose-semantics/src/evidence/call_target.rs:59
↓ 6 callersFunctioncallback_fixture_node
( b: &mut IlBuilder, interner: &Interner, shape: CallbackFixtureShape, span_base: u32, )
crates/nose-semantics/src/tests/library_api_evidence/admission_resolvers/support_core.rs:126
↓ 6 callersFunctioncallee_field_method
( il: &nose_il::Il, interner: &'a Interner, node: NodeId, )
crates/nose-cli/src/verify_admission/runtime_boundary.rs:531
↓ 6 callersFunctioncanonical_sha256
(value: object)
bench/labels/missed_worthy_frontier.py:102
↓ 6 callersMethodcontract_record
( self, id: u32, span: Span, contract: C, status: EvidenceStatus,
crates/nose-semantics/src/tests/library_api_evidence/records.rs:42
↓ 6 callersFunctiondependency_ids_are_present
( record: &EvidenceRecord, dependencies: &[EvidenceId], )
crates/nose-semantics/src/library_api/dependency_facts.rs:3
↓ 6 callersFunctiondirect_function_call_target_span_at_call
The proven `DirectFunction` target span at `call`, when the call carries a unique admitted builtin language-core `CallTarget::DirectFunction` record.
crates/nose-semantics/src/evidence/call_target.rs:20
↓ 6 callersFunctiondomain_evidence_for_param
(il: &Il, param: NodeId)
crates/nose-semantics/src/evidence/domain.rs:27
↓ 6 callersMethoddomain_evidence_of_expr
(&self, expr: NodeId)
crates/nose-normalize/src/value_graph/state.rs:461
↓ 6 callersMethodeval_membership_collection
( &mut self, collection: NodeId, env: &FxHashMap<u32, ValueId>, )
crates/nose-normalize/src/value_graph/collections/defaults.rs:284
↓ 6 callersMethodevidence_indices_anchored_at
Indices into [`Il::evidence`] for records whose anchor sits exactly at `span`, in evidence order — the mutating sibling of [`Il::evidence_anchored_at`
crates/nose-il/src/il.rs:358
↓ 6 callersFunctionexact_java_this_var
Exact self receiver proof for first-party self-field fragments.
crates/nose-semantics/src/effects.rs:312
↓ 6 callersFunctionexact_loop_effect_fragment_root
(il: &Il, interner: &Interner, node: NodeId)
crates/nose-detect/src/units/fragments/loop_effect.rs:7
↓ 6 callersFunctionexact_self_field_write_assignment
(il: &Il, interner: &Interner, node: NodeId)
crates/nose-semantics/src/effects.rs:389
↓ 6 callersFunctionfamily_hint
A short, fact-grounded refactoring hint for a family — only from signals the report already establishes (a shared symbol name, cross-language spread,
crates/nose-cli/src/query_opportunities.rs:288
↓ 6 callersFunctionfamily_locations
(family: &serde_json::Value)
crates/nose-cli/tests/cli/exact_fragments/support.rs:41
↓ 6 callersFunctionfamily_with_locations
(locations: &[(String, &str)])
crates/nose-cli/src/ignores/match_tests.rs:27
↓ 6 callersFunctionfield_receiver
(il: &Il, callee: NodeId)
crates/nose-detect/src/strict_exact/calls.rs:180
↓ 6 callersFunctionfinalize_rebuild
Assemble the rewritten `Il` shared by every rebuild pass: carry each old unit forward to its remapped root (dropping units the pass deleted), copy the
crates/nose-normalize/src/lib.rs:150
↓ 6 callersFunctionfind_matching
(text: str, open_index: int, open_ch: str, close_ch: str)
scripts/promise-executor-slice-audit.py:71
↓ 6 callersFunctionfirst_expr_child
(node: TsNode<'a>)
crates/nose-frontend/src/swift/helpers.rs:38
↓ 6 callersFunctionfit
(X, y, iters=700, lr=0.3, l2=3e-3)
eval/hazard/harm_model.py:45
↓ 6 callersMethodint_const_eq
(&self, value: ValueId, expected: i64)
crates/nose-normalize/src/value_graph/canonicalize/constants.rs:4
↓ 6 callersMethodis_array_collection_or_set
(self)
crates/nose-il/src/node/domains.rs:90
↓ 6 callersFunctionis_array_contract
()
crates/nose-semantics/src/tests/library_api_evidence/resolution.rs:28
↓ 6 callersFunctionjs_provider_and_importer
( provider_src: &str, importer_src: &str, interner: &Interner, )
crates/nose-frontend/src/module_imports/tests/js_ts_snapshots.rs:200
↓ 6 callersFunctionleaf_il
()
crates/nose-il/src/tests.rs:3
↓ 6 callersFunctionlibrary_api_contract_id_from_hash
(hash: u64)
crates/nose-semantics/src/library_api/registry.rs:67
↓ 6 callersFunctionlibrary_api_free_name_shadow_safe
( lang: Lang, name: &str, policy: LibraryApiShadowPolicy, defines_name: impl Fn(&str) -> bool,
crates/nose-semantics/src/library_api/contracts.rs:84
↓ 6 callersFunctionlibrary_java_map_entry_contract
( lang: Lang, receiver: &str, method: &str, )
crates/nose-semantics/src/library_api/rows.rs:412
↓ 6 callersFunctionlibrary_js_boolean_coercion_contract
( lang: Lang, function: &str, arg_count: usize, )
crates/nose-semantics/src/library_api/rows/methods.rs:198
↓ 6 callersFunctionlibrary_object_key_view_contract
( lang: Lang, receiver: &str, method: &str, arg_count: usize, )
crates/nose-semantics/src/library_api/rows/methods.rs:51
↓ 6 callersFunctionlibrary_receiver_membership_contract
( lang: Lang, method: &str, arg_count: usize, )
crates/nose-semantics/src/library_api/rows/methods.rs:509
↓ 6 callersFunctionlibrary_rust_vec_new_factory_contract
( lang: Lang, name: &str, )
crates/nose-semantics/src/library_api/rows.rs:525
↓ 6 callersFunctionlibrary_static_collection_adapter_contract
( lang: Lang, receiver: &str, method: &str, arg_count: usize, )
crates/nose-semantics/src/library_api/rows/methods.rs:324
↓ 6 callersFunctionlibrary_static_index_membership_contract
( lang: Lang, method: &str, arg_count: usize, )
crates/nose-semantics/src/library_api/rows/methods.rs:244
↓ 6 callersFunctionload_and_validate_decisions
(path: Path, artifact_path: Path)
bench/labels/missed_worthy_frontier.py:1141
↓ 6 callersFunctionlower_block
(lo: &mut Lowering, node: TsNode, in_class: bool)
crates/nose-frontend/src/python/statements.rs:180
↓ 6 callersMethodmatch_family
(&self, family: &RefactorFamily)
crates/nose-cli/src/ignores.rs:170
↓ 6 callersMethodmatches_span
(self, span: Span)
crates/nose-il/src/node/evidence.rs:55
↓ 6 callersFunctionnext_evidence_id
(il: &Il)
crates/nose-normalize/src/idioms/tests/support.rs:69
↓ 6 callersFunctionnode_has_child_kind
(node: TsNode, kind: &str)
crates/nose-frontend/src/lower/expr_helpers.rs:23
↓ 6 callersFunctionnode_name
(il: &Il, interner: &'a Interner, node: NodeId)
crates/nose-normalize/src/library_api_evidence/recording.rs:309
↓ 6 callersFunctionnode_symbol_in_scope
(il: &Il, node: NodeId, local_scope: &[bool])
crates/nose-normalize/src/module_facts.rs:332
↓ 6 callersFunctionnodes_contain_duplicate_static_literal_keys
( il: &Il, nodes: impl IntoIterator<Item = NodeId>, )
crates/nose-semantics/src/constructor_contracts.rs:370
↓ 6 callersMethodnodes_spanning
Node ids whose span covers exactly these bytes (callers still compare full [`Span`]/kind/payload as needed), in arena order. Replaces whole-arena pass
crates/nose-il/src/il.rs:334
↓ 6 callersFunctionobligation_family
(boundary: str, capability: str, language: str, surface: str)
scripts/cross-language-boundary-census.py:502
↓ 6 callersFunctionopaque_argument_escape_args
(il: &Il, node: NodeId)
crates/nose-semantics/src/effects.rs:570
↓ 6 callersFunctionoptional_non_empty
(label: &str, value: Option<&str>)
crates/nose-semantics/src/packs/validation/helpers.rs:10
↓ 6 callersFunctionpaint
(code: &str, s: &str)
crates/nose-cli/src/style.rs:13
↓ 6 callersMethodparts_record
( self, id: u32, span: Span, contract_id: LibraryApiContractId, callee
crates/nose-semantics/src/tests/library_api_evidence/records.rs:73
↓ 6 callersMethodpath_cond
The conjunction of the current branch path (`c₁ ∧ c₂ ∧ …`), or `None` at top level.
crates/nose-normalize/src/value_graph/control/returns.rs:266
↓ 6 callersFunctionpromise_finally_call_il
( producer_method: &str, handler_kind: FinallyHandlerKind, )
crates/nose-normalize/src/value_graph/tests/support/promise_finally.rs:19
↓ 6 callersFunctionpush_node_effect
(il: &mut Il, id: u32, node: NodeId, effect: EffectEvidenceKind)
crates/nose-semantics/src/tests.rs:173
↓ 6 callersFunctionpush_promise_finally_evidence
( il: &mut Il, interner: &Interner, call: NodeId, id: u32, )
crates/nose-normalize/src/value_graph/tests/support/promise_finally.rs:93
↓ 6 callersFunctionpush_promise_reject_evidence
( il: &mut Il, call: NodeId, base_id: u32, )
crates/nose-normalize/src/value_graph/tests/support/promise.rs:475
↓ 6 callersFunctionpush_task_spawn_missing_evidence
(labels: &mut Vec<&'static str>)
crates/nose-cli/src/verify_admission/runtime_boundary/async_runtime.rs:345
↓ 6 callersFunctionqualified_global_symbol_contract
( lang: Lang, path: &str, )
crates/nose-semantics/src/map_statics.rs:275
↓ 6 callersFunctionraw_names
(src: &str)
crates/nose-frontend/src/ruby/tests.rs:55
↓ 6 callersFunctionraw_names
(src: &str)
crates/nose-frontend/src/java/tests.rs:337
↓ 6 callersFunctionread_lines
Read lines `start..=end` (1-based) of `file` as raw strings.
crates/nose-cli/src/source_lines.rs:464
↓ 6 callersMethodreason_code
A stable, user-facing kebab-case identifier for this fragment shape. Fragment reason codes name the exact proof shape, such as a direct return or con
crates/nose-detect/src/fragment.rs:66
↓ 6 callersFunctionreceiver_mutation_call_receiver
( il: &Il, interner: &Interner, node: NodeId, )
crates/nose-semantics/src/effects.rs:549
↓ 6 callersFunctionrecord_dictionary_default_subscript_proof_barrier
(lo: &mut Lowering, span: Span)
crates/nose-frontend/src/swift/dispatch_barriers.rs:146
↓ 6 callersFunctionrecord_guard_record
( id: u32, span: Span, subject: &str, null_check: JsRecordGuardNullCheck, dependencies: &[
crates/nose-semantics/src/tests/js_symbol_guards/record_shape.rs:75
↓ 6 callersMethodrecord_param_domain_resolution
( &mut self, span: Span, domain: ResolvedTypeDomain, )
crates/nose-frontend/src/lower/evidence.rs:18
↓ 6 callersMethodreferences_cached
( &self, v: ValueId, target: ValueId, cache: &mut ReductionCache, )
crates/nose-normalize/src/value_graph/canonicalize/references.rs:18
↓ 6 callersMethodrefs_elem
Does `v`'s value subgraph reference an `Elem` (a collection element)? Bounded DAG walk; used to confirm a guard is a per-element predicate of a loop.
crates/nose-normalize/src/value_graph/control/returns.rs:307
↓ 6 callersFunctionrepo_rel
(path: Path)
bench/type4/proof_carrying_frontier.py:195
↓ 6 callersFunctionrequire
(condition: bool, message: str)
scripts/check-divergent-history-artifacts.py:32
↓ 6 callersFunctionrequire_provenance
(report: dict[str, Any], label: str)
scripts/check-query-regression.py:56
↓ 6 callersFunctionruby_enumerable_hof_call_il
( method: &str, shape: RubyCallbackShape, )
crates/nose-semantics/src/tests/library_api_evidence/admission_resolvers/sequence_hof/ruby.rs:31
↓ 6 callersFunctionruby_eval_source_may_redefine_method
(il: &Il, node: NodeId)
crates/nose-semantics/src/ruby_redefinitions/dynamic_method_changes.rs:260
↓ 6 callersFunctionsnake_to_camel
(name: str)
bench/type4/type4gen/model.py:206
↓ 6 callersFunctionswift_source_mentions_identifier
(source: &str, expected: &str)
crates/nose-frontend/src/swift/dispatch_barriers.rs:17
↓ 6 callersFunctiontruthy
Concrete truthiness; `None` for a symbolic value. Control flow is never guessed from a `Sym` — every branching caller must bail (`Unsupported`) on `No
crates/nose-normalize/src/interp/ops.rs:13
← previousnext →401–500 of 9,967, ranked by callers