MCPcopy Create free account

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

Functions12,346 in github.com/corca-ai/nose

⨍ Functions 12,346◇ Types & classes 1,166
↓ 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:540
↓ 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:318
↓ 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_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_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 callersFunctionbehavior
(value: Value)
crates/nose-cli/src/verify_soundness.rs:263
↓ 3 callersFunctionbehavior_is_symbolic
(rec: &VerifyRec)
crates/nose-cli/src/verify_soundness.rs:41
↓ 3 callersFunctionbest_label_match
( members: list[dict[str, Any]], labels: list[dict[str, Any]] )
bench/labels/label_refresh.py:169
↓ 3 callersFunctionbin
(op: Op, a: &Value, b: &Value)
crates/nose-normalize/src/interp/ops.rs:254
↓ 3 callersFunctionbinary_code_identity
(provenance: dict[str, Any], side: str)
scripts/check-query-regression.py:66
↓ 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 callersFunctionbuild_artifact
()
bench/labels/residual_ranking_closeout.py:184
↓ 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:396
↓ 3 callersFunctionbuild_component
( artifact_path: Path, artifact: dict[str, Any], decisions_path: Path, split: str, output:
bench/labels/label_refresh.py:1893
↓ 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 callersFunctionbuild_runway_decisions
( merge: dict[str, Any], arbitration_path: Path, arbitration: dict[str, Any] )
bench/labels/label_refresh.py:1024
↓ 3 callersFunctionbuilder_append_method_contract
( lang: Lang, method: &str, arg_count: usize, )
crates/nose-semantics/src/effects.rs:432
↓ 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:99
↓ 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:187
↓ 3 callersFunctioncandidate_eligible
(result: dict[str, Any], baseline: dict[str, Any])
bench/labels/residual_ranking.py:524
↓ 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
(value: Any)
eval/divergence_fire/precision_protocol.py:122
↓ 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_sha
(value: Any)
bench/labels/proof_actionability_no_go.py:49
↓ 3 callersFunctioncanonical_sha256
(value: object)
bench/labels/residual_ranking_topup.py:70
↓ 3 callersFunctioncanonical_sha256
(value: object)
bench/labels/residual_ranking.py:190
↓ 3 callersFunctioncanonical_sha256
(value: object)
bench/labels/labelset.py:82
↓ 3 callersFunctioncap_detail
(value: &str)
crates/nose-cli/src/divergence/variant.rs:425
↓ 3 callersFunctioncapability_from_boundary
(boundary: str)
scripts/cross-language-boundary-census.py:482
↓ 3 callersFunctioncensus_outcome
( reason: &'static str, exact_safe: bool, product_admission: &'static str, claimable: bool,
crates/nose-cli/src/verify_collect/census.rs:57
↓ 3 callersFunctionchecked_file
(path: Path)
eval/divergence_fire/precision_protocol.py:255
↓ 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 callersFunctionclassify_mechanical
( *, label: dict[str, Any], generated: bool, declaration: bool, proof: bool )
bench/labels/default_head_taxonomy.py:588
↓ 3 callersMethodcollect_inline_candidates
File-level inline candidates for [`ValueFingerprintContext`]: every function/method body passing the generalized purity *shape* walk, with its free-na
crates/nose-normalize/src/value_graph/inline.rs:69
↓ 3 callersFunctioncollect_module_mutations
( il: &Il, interner: &Interner, candidates: &FxHashSet<Symbol>, is_top_level: &[bool], )
crates/nose-normalize/src/module_facts.rs:141
↓ 3 callersFunctioncollect_module_mutations_in_scope_with_direct_definitions
( il: &Il, interner: &Interner, candidates: &FxHashSet<Symbol>, is_top_level: &[bool], loc
crates/nose-normalize/src/module_facts.rs:169
↓ 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:125
↓ 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 callersFunctionconcrete_hosted
(rec: &VerifyRec)
crates/nose-cli/src/verify_soundness.rs:247
↓ 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_witness_score
(witness: ConnectedWitness)
crates/nose-detect/src/detectors.rs:274
↓ 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 callersFunctioncontent_matches
(path: Path, content: bytes)
bench/labels/default_head_heldout_reveal.py:730
↓ 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
↓ 3 callersFunctioncount
( il: &Il, node: NodeId, is_root: bool, def_vars: &FxHashSet<u32>, def_count: &mut FxHashM
crates/nose-normalize/src/dataflow.rs:99
↓ 3 callersFunctioncounts
(rows)
eval/divergence_fire/variant_evidence_eval.py:68
↓ 3 callersMethodcreate
(root: &Path, base: &str)
crates/nose-cli/src/divergence/git.rs:57
↓ 3 callersFunctioncss_ignorable_extension_kind
(kind: &str)
crates/nose-frontend/src/css.rs:401
↓ 3 callersFunctioncurrent_v2_strict
(sample)
eval/divergence_fire/semantic_witness_eval.py:55
↓ 3 callersMethoddeclared_path
(&self)
crates/nose-semantics/src/packs/lock.rs:56
↓ 3 callersFunctiondefault_product_oracle_fragment_candidates
Every exact-fragment candidate recognized under the default product's file/block policy. This offline-only audit surface retains roots rejected by th
crates/nose-detect/src/units/product.rs:121
↓ 3 callersFunctiondefinition_shadows_occurrence
( il: &nose_il::Il, definition: NodeId, occurrence: NodeId, )
crates/nose-cli/src/verify_admission/runtime_boundary/async_runtime.rs:351
↓ 3 callersMethoddemand_effect_profile
(self)
crates/nose-semantics/src/demand.rs:120
↓ 3 callersFunctiondependency_has_imported_binding_anchor
( il: &Il, interner: &Interner, record: &EvidenceRecord, span: Span, kind: NodeKind, m
crates/nose-semantics/src/library_api/dependency_facts.rs:205
↓ 3 callersFunctionderef_store_target
Lower a `left`/`right` assignment-expression node into an `Assign`. JS/TS and Rust grammars use the same field names for simple assignment; compound a
crates/nose-frontend/src/lower/expr_helpers.rs:176
← previousnext →1,201–1,300 of 12,346, ranked by callers