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
↓ 3 callersMethodadd_association_safe
Whether a `+` chain may be re-associated. In JS/TS/Java, grouping itself is observable under mixed string coercion (`"a"+2+3` vs `"a"+(2+3)`), so asso
crates/nose-normalize/src/value_graph/state.rs:59
↓ 3 callersFunctionadmit_test_self_field_write
( il: &mut Il, interner: &Interner, receiver: NodeId, field: NodeId, assign: NodeId, f
crates/nose-normalize/src/interp/tests.rs:523
↓ 3 callersFunctionadmitted_free_function_hof_at_call
( il: &Il, interner: &Interner, call: NodeId, )
crates/nose-semantics/src/library_api/resolvers/free_names.rs:13
↓ 3 callersFunctionadmitted_free_name_map_factory_at_call_span
( il: &Il, interner: &Interner, occurrence: LibraryApiSpanCall, mut matches_name: impl FnMut(&
crates/nose-semantics/src/library_api/resolvers.rs:373
↓ 3 callersFunctionadmitted_hof_api_at_node_with_interner
( il: &Il, interner: Option<&Interner>, node: NodeId, kind: HoFKind, )
crates/nose-semantics/src/evidence.rs:371
↓ 3 callersFunctionadmitted_java_collection_constructor_at_call
( il: &Il, interner: &Interner, call: NodeId, )
crates/nose-semantics/src/library_api/resolvers.rs:331
↓ 3 callersFunctionadmitted_java_map_factory_at_call_span
( il: &Il, interner: &Interner, occurrence: LibraryApiSpanCall, method_hash: u64, )
crates/nose-semantics/src/library_api/resolvers.rs:409
↓ 3 callersFunctionadmitted_map_get_at_call_span
( il: &Il, interner: &Interner, occurrence: LibraryApiSpanCall, method_hash: u64, )
crates/nose-semantics/src/library_api/resolvers.rs:97
↓ 3 callersFunctionadmitted_object_key_view_at_call_span
( il: &Il, interner: &Interner, occurrence: LibraryApiSpanCall, receiver: &str, method_has
crates/nose-semantics/src/library_api/resolvers.rs:153
↓ 3 callersFunctionadmitted_promise_aggregate_at_call
( il: &Il, interner: &Interner, call: NodeId, )
crates/nose-semantics/src/library_api/resolvers/promise.rs:37
↓ 3 callersFunctionadmitted_promise_then_at_call
( il: &Il, interner: &Interner, call: NodeId, )
crates/nose-semantics/src/library_api/resolvers/promise.rs:3
↓ 3 callersFunctionadmitted_property_builtin_at_field
( il: &Il, interner: &Interner, field: NodeId, )
crates/nose-semantics/src/library_api/resolvers.rs:75
↓ 3 callersFunctionadmitted_receiver_method_contract_call
( il: &Il, interner: &Interner, call: NodeId, contract_for: fn(Lang, &str, usize) -> Option<C>
crates/nose-semantics/src/library_api/resolvers/admission.rs:4
↓ 3 callersFunctionadmitted_rust_option_some_constructor_at_call
( il: &Il, interner: &Interner, call: NodeId, )
crates/nose-semantics/src/library_api/resolvers.rs:493
↓ 3 callersFunctionadmitted_rust_vec_new_factory_at_call
( il: &Il, interner: &Interner, call: NodeId, )
crates/nose-semantics/src/library_api/resolvers.rs:553
↓ 3 callersFunctionall_copies_shared
Shared-line and parameter counts aligned across **all** copies (not the pairwise representative `shared_lines`, which over-counts a family whose 3rd+
crates/nose-cli/src/query_model.rs:426
↓ 3 callersFunctionappend_call_args
`(receiver, value)` of an `append`/`push` builtin call with exactly two children.
crates/nose-detect/src/fragment/loop_effect.rs:416
↓ 3 callersFunctionappend_il
()
crates/nose-normalize/src/effect_evidence.rs:296
↓ 3 callersFunctionappend_snapshot
(il: &mut Il, snapshot: &SubtreeSnapshot)
crates/nose-frontend/src/module_imports/snapshot.rs:183
↓ 3 callersFunctionapply
(builder: &mut Builder<'_>, value: ValueId)
crates/nose-normalize/src/value_graph/rules/clamp.rs:11
↓ 3 callersMethodapply
Apply a `Lambda` node to positional `args`, returning its body's value. The lambda's single tuple parameter destructures a pair element (zip/enumerate
crates/nose-normalize/src/interp/hof.rs:95
↓ 3 callersFunctionarg_map
(fn: ast.FunctionDef)
bench/type4/python_loop_demorgan_proof_facts.py:523
↓ 3 callersMethodas_self_call
Is `node` a proven direct call to the enclosing function? If so, its argument nodes.
crates/nose-normalize/src/recursion.rs:163
↓ 3 callersMethodassert_admitted
(self, il: &Il, interner: &Interner, call: NodeId, callee: NodeId)
crates/nose-semantics/src/tests/library_api_evidence/admission_resolvers/support_provenance.rs:47
↓ 3 callersFunctionassert_base_sarif_policy
( result: &serde_json::Value, rule_id: &str, level: &str, tier: &str, taxonomy_hint: &str,
crates/nose-cli/tests/cli/query_base/tier_policy.rs:298
↓ 3 callersFunctionassert_excluded_runtime_unit
(report: &serde_json::Value, language: &str, evidence: &str)
crates/nose-cli/tests/cli/commands/recall_loss_report/oracle_exclusions.rs:509
↓ 3 callersFunctionassert_exclusion_obligation
( report: &serde_json::Value, family: &str, subreason: &str, minimum: u64, )
crates/nose-cli/tests/cli/commands/recall_loss_report/oracle_exclusions.rs:470
↓ 3 callersFunctionassert_message_contains
(message: &str, needles: &[&str])
crates/nose-cli/tests/cli/support_tests.rs:14
↓ 3 callersFunctionassert_new_copy_json_contract
(json: &serde_json::Value, expected_current_files: &[&str])
crates/nose-cli/tests/cli/query_base/new_copy.rs:16
↓ 3 callersFunctionassert_promise_static_global_result_domain
( method: &str, pack_id: &'static str, admitted_receiver: impl Fn(&Il, &Interner, NodeId) -> Optio
crates/nose-normalize/src/library_api_evidence/tests/promise_result_domains.rs:71
↓ 3 callersFunctionassert_query_json_reports_semantic_packs
(json: &serde_json::Value)
crates/nose-cli/tests/cli/support.rs:500
↓ 3 callersMethodassert_rejected
( self, il: &Il, interner: &Interner, call: NodeId, callee: NodeId,
crates/nose-semantics/src/tests/library_api_evidence/admission_resolvers/support_provenance.rs:26
↓ 3 callersFunctionassert_ruby_named_ne
(src: &str, left: &str, right: &str, message: &str)
crates/nose-cli/tests/equivalence/ruby_enumerable_quantifier.rs:12
↓ 3 callersFunctionassert_sequence_hof_requires_pack_and_ordered_receiver
( lang: Lang, method: &'static str, expected: MethodSemanticContract, make_call: impl Fn() ->
crates/nose-semantics/src/tests/library_api_evidence/admission_resolvers/sequence_hof.rs:92
↓ 3 callersFunctionassert_success
(args: &[String], out: &Output)
crates/nose-cli/tests/cli/support.rs:278
↓ 3 callersFunctionassert_swift_named_ne
(src: &str, left: &str, right: &str, message: &str)
crates/nose-cli/tests/equivalence/swift_all_satisfy.rs:12
↓ 3 callersFunctionasserted
(records: Vec<&EvidenceRecord>)
crates/nose-normalize/src/library_api_evidence/tests.rs:106
↓ 3 callersFunctionasserted_language_core_record
Return whether `record` is an asserted, dependency-live builtin language-core fact for `il`'s language.
crates/nose-semantics/src/evidence.rs:54
↓ 3 callersFunctionasserted_library_api_node_record_with_provenance
( id: u32, il: &Il, node: NodeId, contract_id: LibraryApiContractId, callee: LibraryApiCal
crates/nose-semantics/src/tests/library_api_evidence/admission_resolvers/support_core.rs:25
↓ 3 callersFunctionassignment_name_in_scope
( il: &Il, stmt: NodeId, local_scope: &[bool], )
crates/nose-normalize/src/module_facts.rs:72
↓ 3 callersFunctionassignment_parts
(il: &Il, stmt: NodeId)
crates/nose-semantics/src/symbol_identity.rs:475
↓ 3 callersMethodassignment_parts
(&self, id: NodeId)
crates/nose-il/src/il.rs:182
↓ 3 callersFunctionaudit_lane
(record: dict[str, Any])
bench/labels/missed_worthy_frontier.py:178
↓ 3 callersFunctionaudit_state
(extracted_counts: list[int], candidate: bool, accepted: bool)
bench/labels/missed_worthy_stage_audit.py:91
↓ 3 callersFunctionbinary_identity
(path: Path)
scripts/binary_identity.py:78
↓ 3 callersFunctionbinary_ops
(src: &str)
crates/nose-frontend/src/ruby/tests.rs:37
↓ 3 callersFunctionbinding_domain_record
(il: &'a Il, name: &str)
crates/nose-normalize/src/binding_evidence/tests.rs:49
↓ 3 callersFunctionbinding_import_fact
(module: &str, exported: &str)
crates/nose-semantics/src/tests/semantic_evidence/import_symbols.rs:49
↓ 3 callersFunctionbinding_name
(lo: &Lowering, node: TsNode)
crates/nose-frontend/src/swift/helpers.rs:13
↓ 3 callersFunctionbinding_receiver_fixture
(interner: &Interner, module_receiver: bool)
crates/nose-semantics/src/tests/semantic_evidence/receiver_domains.rs:187
↓ 3 callersFunctionbinop_ops
(src: &str)
crates/nose-frontend/src/c_test_update.rs:7
↓ 3 callersFunctionbinop_ops
(il: &Il)
crates/nose-frontend/src/rust/tests.rs:113
↓ 3 callersMethodbit
(self)
crates/nose-il/src/unit_domains.rs:88
↓ 3 callersMethodbit
(self)
crates/nose-il/src/unit_evidence.rs:278
↓ 3 callersFunctionbody_depends_on_iter
Whether the loop `body` is composed entirely of recognized iteration-dependent effect shapes, with at least one real effect. `None` means a statement
crates/nose-detect/src/fragment/loop_effect.rs:70
↓ 3 callersFunctionbool_predicate_source
(b: &mut IlBuilder, lang: Lang)
crates/nose-normalize/src/value_graph/tests/source_evidence/hof_demand.rs:96
↓ 3 callersFunctionboolean_shape_from_expr
( fn: ast.FunctionDef, kind: str, expr: ast.AST, allowed_names: set[str], diagnostics: lis
bench/type4/python_loop_demorgan_proof_facts.py:933
↓ 3 callersMethodbuild
(entries: &[baseline::BaselineEntry])
crates/nose-cli/src/baseline_comparison.rs:81
↓ 3 callersMethodbuild_assoc
Flatten an assoc chain to a canonical left-leaning shape, sorting operands by hash ONLY for the genuinely-commutative ops. NOT sorted here: • `+` — ma
crates/nose-normalize/src/algebra.rs:321
↓ 3 callersFunctionbuild_family_index
(families: list[dict])
bench/type4/eval_manifest.py:26
↓ 3 callersFunctionbuild_manifest
(project_root: Path, repos_root: Path, labels_path: Path)
bench/corpus_prune/core.py:401
↓ 3 callersFunctionbuild_readiness_summary
(report: dict[str, Any])
bench/type4/proof_carrying_frontier.py:2030
↓ 3 callersFunctionbuilder_append_method_contract
( lang: Lang, method: &str, arg_count: usize, )
crates/nose-semantics/src/effects.rs:423
↓ 3 callersMethodbuilder_candidates
Local list-builder candidates of a loop body: a var `r` (1) bound to an empty list before the loop, (2) the target of exactly one single-item `append`
crates/nose-normalize/src/value_graph/builders.rs:186
↓ 3 callersFunctionbuiltin_compat_semantic_pack
()
crates/nose-semantics/src/packs/compiled.rs:97
↓ 3 callersFunctionc_identifier_tokens
(text: &str)
crates/nose-frontend/src/c/items.rs:196
↓ 3 callersMethodc_integer_byte_pack_contract
C unsigned byte/word packing contracts are currently first-party only for the C lowering, where explicit byte-buffer and unsigned-cast facts are recov
crates/nose-semantics/src/operators.rs:579
↓ 3 callersFunctionc_style_for
( lo: &mut Lowering, node: TsNode, init_field: &str, update_field: &str, lower_init: impl
crates/nose-frontend/src/lower/control_flow.rs:248
↓ 3 callersFunctioncall_span_with_callee_named
(il: &Il, interner: &Interner, name: &str)
crates/nose-frontend/src/lower/tests.rs:218
↓ 3 callersFunctioncall_span_with_field_callee_named
(il: &Il, interner: &Interner, name: &str)
crates/nose-frontend/src/lower/tests.rs:222
↓ 3 callersFunctioncallback_single_output
(il: &Il, root: NodeId)
crates/nose-semantics/src/library_api/admission/callbacks.rs:331
↓ 3 callersFunctioncallee_identity_call_evidence
( il: &nose_il::Il, interner: &Interner, call: NodeId, )
crates/nose-cli/src/verify_admission/callee_identity.rs:27
↓ 3 callersFunctioncan_enclose_fragment
(u: &UnitFeat)
crates/nose-detect/src/locations.rs:29
↓ 3 callersFunctioncandidate_content
(candidate: dict[str, Any])
bench/labels/label_refresh.py:120
↓ 3 callersFunctioncandidate_options
()
crates/nose-cli/tests/connected_witness.rs:29
↓ 3 callersFunctioncandidate_sha256
(record: dict[str, Any])
bench/labels/missed_worthy_frontier.py:174
↓ 3 callersFunctioncanonical_json
(value: object)
bench/labels/accepted_pair_coverage.py:38
↓ 3 callersMethodcanonical_membership_collection_value
( &mut self, value: ValueId, )
crates/nose-normalize/src/value_graph/collections/defaults.rs:316
↓ 3 callersFunctioncanonical_sha256
(value: object)
bench/labels/label_refresh.py:42
↓ 3 callersFunctioncapability_from_boundary
(boundary: str)
scripts/cross-language-boundary-census.py:482
↓ 3 callersFunctioncid_param_receiver_fixture
()
crates/nose-semantics/src/tests/semantic_evidence/receiver_domains.rs:141
↓ 3 callersFunctionclamp_expr
(b: &mut IlBuilder, shape: ClampShape, x: NodeId, lo: NodeId, hi: NodeId)
crates/nose-normalize/src/value_graph/tests/clamp.rs:199
↓ 3 callersFunctioncollect_module_mutations
( il: &Il, interner: &Interner, candidates: &FxHashSet<Symbol>, is_top_level: &[bool], )
crates/nose-normalize/src/module_facts.rs:104
↓ 3 callersFunctioncollect_return_exprs_on_all_paths
(il: &Il, node: NodeId, out: &mut Vec<NodeId>)
crates/nose-normalize/src/call_target_evidence.rs:342
↓ 3 callersMethodcollection_factory_seq
Shared skeleton of the collection-factory recognizers: a collection sequence literal call `Call(0, [callee, Seq(collection)])` whose `callee` passes `
crates/nose-normalize/src/value_graph/stdlib/collections.rs:31
↓ 3 callersFunctioncombine
(a: u64, b: u64)
crates/nose-normalize/src/html.rs:34
↓ 3 callersFunctioncommand_line
()
eval/divergence_fire/replay.py:121
↓ 3 callersMethodcommonness
Commonness of the content shared by `a` and `b`: mean document-frequency fraction of the shared grams, in 0..=1. High ⇒ the overlap is ubiquitous boil
crates/nose-markdown/src/verify.rs:164
↓ 3 callersFunctioncompact_js_expr
(text: &str)
crates/nose-frontend/src/js_ts/syntax.rs:19
↓ 3 callersFunctioncompiled_builtin_packs
()
crates/nose-semantics/src/packs/compiled.rs:123
↓ 3 callersFunctioncompound_assignment
`a OP= b` → `a = a OP b` for grammars with `left`/`operator`/`right` fields (Python/JS/Rust). The lhs is lowered twice (two faithful subtrees). The
crates/nose-frontend/src/lower/expr_helpers.rs:131
↓ 3 callersFunctioncompute_policy_eval
(samples, verdicts)
eval/divergence_fire/replay.py:748
↓ 3 callersFunctionconfirmation_result
(summary: dict[str, Any])
bench/labels/missed_worthy_heldout_confirmation.py:55
↓ 3 callersFunctionconfirmation_result_v2
Check the pre-registered post-#817 mechanical stage expectation.
bench/labels/missed_worthy_heldout_confirmation.py:72
↓ 3 callersFunctionconnected_seed_indices
The raw audit interface evaluates every seed. Product queries instead price the expensive pair-local proof only for the strongest ordinary near misses
crates/nose-detect/src/orchestration/connected_pricing.rs:130
↓ 3 callersFunctionconstruct_call
(il: &nose_il::Il, call: NodeId)
crates/nose-cli/src/verify_admission/runtime_boundary.rs:509
↓ 3 callersFunctionconstructor_path_node
The constructor path of a tuple-struct / struct pattern (`Some`, `Ok`, `mod::Point`) — the discriminant a variant test keys on, with the inner binding
crates/nose-frontend/src/rust/matches.rs:194
↓ 3 callersFunctioncontains_js_identifier
Return true when `text` contains `ident` bounded by JavaScript identifier characters supported by nose's current lightweight source scans.
crates/nose-il/src/ident.rs:14
↓ 3 callersFunctioncoordinate_import_binding_assignment
( file: FileId, lang: Lang, )
crates/nose-frontend/src/module_imports/tests/support.rs:133
↓ 3 callersFunctioncorpus
(files: &[(&str, &str, Lang)])
crates/nose-cli/tests/connected_witness.rs:10
← previousnext →901–1,000 of 9,967, ranked by callers