MCPcopy Create free account

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

Functions13,380 in github.com/corca-ai/nose

⨍ Functions 13,380◇ Types & classes 1,334
↓ 6 callersMethodadmits
(&self, left: usize, right: usize)
crates/nose-detect/src/orchestration/accepted.rs:409
↓ 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 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:97
↓ 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_fingerprint_cases_stay_split
( interner: &Interner, reference: &[u64], cases: impl IntoIterator<Item = FingerprintCase<'a>>, )
crates/nose-cli/tests/equivalence.rs:315
↓ 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 callersFunctionblind_id
(seed: bytes, candidate_key: str)
bench/labels/default_head_heldout_reveal.py:188
↓ 6 callersFunctionblock_children_exact_len
(il: &Il, node: NodeId, len: usize)
crates/nose-detect/src/fragment/conditional_guard.rs:434
↓ 6 callersMethodbuild
( packs: &SemanticPackSet, evidence: &SemanticPackEvidenceIndex, corpus: &nose_il::Cor
crates/nose-semantics/src/packs/near_registry.rs:85
↓ 6 callersFunctionbuild_groups
Build the report's `groups` from the clustered components. Group score = mean of the accepted-pair scores within the group. Accumulate it in ONE pass
crates/nose-detect/src/candidates.rs:170
↓ 6 callersFunctionbuild_parent_index
(il: &Il)
crates/nose-detect/src/units/tree.rs:17
↓ 6 callersFunctionbuild_report
(units: &[CensusUnit])
crates/nose-cli/src/verify_census.rs:345
↓ 6 callersMethodbuild_unit_with_context
( &mut self, root: NodeId, context: Option<&'a ValueFingerprintContext>, )
crates/nose-normalize/src/value_graph/control/entry.rs:11
↓ 6 callersFunctioncall_target_evidence
( id: u32, lang: Lang, call_span: Span, target: CallTargetEvidenceKind, dependencies: Vec<
crates/nose-detect/src/strict_exact/tests/support.rs:111
↓ 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 callersFunctioncanonical_bytes
(value: Any)
scripts/check-soundness-scorecard.py:73
↓ 6 callersFunctioncanonical_sha256
(value: object)
bench/labels/missed_worthy_frontier.py:102
↓ 6 callersMethodcas
(&self)
crates/nose-cli/src/cache/transaction.rs:114
↓ 6 callersFunctionclassify_verify_soundness
(recs: &[VerifyRec])
crates/nose-cli/src/verify_soundness.rs:60
↓ 6 callersFunctioncollection_input_projections
( il: &Il, interner: &nose_il::Interner, root: NodeId, projections: &[OracleInputProjection],
crates/nose-cli/src/falsify/collections.rs:5
↓ 6 callersMethodcommit
(&self)
crates/nose-cli/src/cache/transaction.rs:204
↓ 6 callersFunctionconsume_swift_keyword
(text: &'a str, keyword: &str)
crates/nose-frontend/src/swift/helpers.rs:147
↓ 6 callersMethodcontract_record
( self, id: u32, span: Span, contract: C, status: EvidenceStatus,
crates/nose-semantics/src/tests/library_api_evidence/records.rs:42
↓ 6 callersFunctioncreate_project_lock
( output_path: &Path, manifest_paths: &[PathBuf], options: SemanticPackLockOptions, )
crates/nose-semantics/src/packs/lock/validation.rs:12
↓ 6 callersFunctiondependency_ids_are_present
( record: &EvidenceRecord, dependencies: &[EvidenceId], )
crates/nose-semantics/src/library_api/dependency_facts.rs:3
↓ 6 callersFunctiondetect
Find maximal duplicated runs across all streams and cluster them into groups. A single forward pass keyed by k-gram hash: the first time a k-gram is s
crates/nose-detect/src/contiguous.rs:295
↓ 6 callersFunctiondetection_options
Detection options for the resolved query channels — shared by `analysis` and `divergence`.
crates/nose-cli/src/detect_pipeline.rs:86
↓ 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 callersMethoddomain_evidence_of_expr
(&self, expr: NodeId)
crates/nose-normalize/src/value_graph/state.rs:491
↓ 6 callersFunctionedge_project
(tag: &str)
crates/nose-cli/tests/cli/query_base/edge_cases.rs:9
↓ 6 callersFunctionencode_envelope
(key: ArtifactKey, payload: &[u8])
crates/nose-cli/src/cache/store.rs:317
↓ 6 callersFunctionentry
(base: &Path, pattern: &str)
crates/nose-cli/src/ignores/path_tests.rs:4
↓ 6 callersFunctionentry_exists
(path: Path)
bench/labels/default_head_heldout_reveal.py:122
↓ 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 [`IlContents::evidence`] for records whose anchor sits exactly at `span`, in evidence order — the mutating sibling of [`Il::evidence_anch
crates/nose-il/src/il.rs:416
↓ 6 callersMethodevidence_record_mut
Edit one record without rebuilding lookups when its id and anchor stay unchanged. Prefer this for status, provenance, and dependency updates.
crates/nose-il/src/il.rs:178
↓ 6 callersFunctionexact_claim_eligible
Can this unit ever participate in the exact `semantic` channel's merge claim? The product asserts behavioral equality only for strict-exact-safe unit
crates/nose-detect/src/exact_policy.rs:21
↓ 6 callersFunctionexact_claim_eligible_parts
The exact-claim gate when the caller already has the two relevant facts.
crates/nose-detect/src/exact_policy.rs:26
↓ 6 callersFunctionexact_java_this_var
Exact self receiver proof for first-party self-field fragments.
crates/nose-semantics/src/effects.rs:321
↓ 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:398
↓ 6 callersMethodexec
Execute a statement (or block), threading control flow.
crates/nose-normalize/src/interp/exec.rs:5
↓ 6 callersFunctionfamily_locations
(family: &serde_json::Value)
crates/nose-cli/tests/cli/exact_fragments/support.rs:41
↓ 6 callersFunctionfeatures
(source: &[(&str, &str)], opts: &DetectOptions)
crates/nose-detect/src/incremental/tests.rs:6
↓ 6 callersFunctionfield_receiver
(il: &Il, callee: NodeId)
crates/nose-detect/src/strict_exact/calls.rs:180
↓ 6 callersFunctionfile_sha256
(path: Path)
bench/labels/default_head_taxonomy.py:143
↓ 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:155
↓ 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 callersFunctionfragment_behavior
Run the fragment described by `contract` on `args` (bound to its inputs in order) and return its observable [`Behavior`], or `None` if the wrapper can
crates/nose-detect/src/fragment/oracle.rs:118
↓ 6 callersMethodgroups
Groups of size ≥ 2, each a list of member indices.
crates/nose-detect/src/cluster.rs:62
↓ 6 callersFunctionimported_occurrence_symbol_dependencies_valid
Validate that an occurrence-level imported symbol record is backed by a still-visible import binding and not reopened through a rebound or shadowed lo
crates/nose-semantics/src/library_api/imported_occurrences.rs:20
↓ 6 callersMethodint_const_eq
(&self, value: ValueId, expected: i64)
crates/nose-normalize/src/value_graph/canonicalize/constants.rs:4
↓ 6 callersMethodinto_edges
(self)
crates/nose-detect/src/report/edges.rs:300
↓ 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 callersMethodkind
(self)
crates/nose-detect/src/connected.rs:71
↓ 6 callersFunctionlarge_test_file
(il: &Il)
crates/nose-detect/src/units/gates.rs:101
↓ 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:85
↓ 6 callersFunctionlibrary_api_receiver_dependencies_for_call
( il: &Il, interner: &Interner, call: NodeId, callee: LibraryApiCalleeContract, )
crates/nose-semantics/src/library_api/receiver_dependencies.rs:31
↓ 6 callersFunctionlibrary_java_map_entry_contract
( lang: Lang, receiver: &str, method: &str, )
crates/nose-semantics/src/library_api/rows.rs:393
↓ 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:506
↓ 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
(path: Path)
scripts/check-release-evidence-0.20.0.py:90
↓ 6 callersFunctionload
(path: Path)
scripts/soundness-lab-gate.py:43
↓ 6 callersFunctionload
(path: &Path)
crates/nose-cli/src/ignores.rs:135
↓ 6 callersFunctionload_and_validate_decisions
(path: Path, artifact_path: Path)
bench/labels/missed_worthy_frontier.py:1141
↓ 6 callersFunctionload_schema_artifact
(path: Path, schema: str, label: str)
bench/labels/label_refresh.py:868
↓ 6 callersFunctionlower_block
(lo: &mut Lowering, node: TsNode, in_class: bool)
crates/nose-frontend/src/python/statements.rs:180
↓ 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:24
↓ 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:369
↓ 6 callersFunctionnodes_contain_duplicate_static_literal_keys
( il: &Il, nodes: impl IntoIterator<Item = NodeId>, )
crates/nose-semantics/src/constructor_contracts.rs:467
↓ 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:392
↓ 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:475
↓ 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 callersMethodpossibly_float
Whether `v` COULD be a float — `proven_float`, OR a bare parameter in a dynamically-typed language (Python/JS/Ruby), where an untyped param carries no
crates/nose-normalize/src/value_graph/state.rs:163
↓ 6 callersFunctionprepare_exact_project
(tag: &str)
crates/nose-cli/tests/cli/commands/config_packs/external_exact.rs:21
↓ 6 callersFunctionproject
(tag: &str)
crates/nose-cli/tests/cli/watch.rs:89
↓ 6 callersFunctionproject
()
crates/nose-cli/tests/exploration_ux/cortex.rs:33
↓ 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_task_spawn_missing_evidence
(labels: &mut Vec<&'static str>)
crates/nose-cli/src/verify_admission/runtime_boundary/async_runtime.rs:345
← previousnext →601–700 of 13,380, ranked by callers