Functions — github.com/corca-ai/nose

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

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

⨍ Functions 12,346◇ Types & classes 1,166

↓ 4 callersFunctionrust_sequence_hof_adapter_evidence

( id: u32, call_span: Span, contract_id: LibraryApiContractId, callee: LibraryApiCalleeContrac

crates/nose-normalize/src/value_graph/tests/support/library_api.rs:135

↓ 4 callersFunctionsafe_repo_relative_path

(path_text: str, repo: str)

bench/labels/default_head_taxonomy.py:177

↓ 4 callersFunctionscorecard_repo_pin

(scorecard: dict[str, Any])

scripts/check-soundness-scorecard.py:1417

↓ 4 callersFunctionseq_names

(src: &str)

crates/nose-frontend/src/java/tests.rs:343

↓ 4 callersMethodseq_surface

(&self, node: NodeId)

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

↓ 4 callersFunctionseq_surface_contract

(lang: Lang, tag: Option<&str>)

crates/nose-semantics/src/sequence_surface.rs:132

↓ 4 callersFunctionsequence_hof_call_il

(method: &str, arg_count: usize)

crates/nose-semantics/src/tests/library_api_evidence/admission_resolvers/sequence_hof.rs:8

↓ 4 callersFunctionsha256

(path: Path)

bench/labels/default_head_closeout.py:103

↓ 4 callersFunctionsha256_bytes

(value: bytes)

eval/divergence_fire/precision_protocol.py:128

↓ 4 callersFunctionsha256_bytes

(value: bytes)

bench/labels/generated_provenance_behavior.py:43

↓ 4 callersFunctionsha256_file

(path: Path)

eval/divergence_fire/precision_protocol.py:132

↓ 4 callersFunctionsha256_file

(path: Path)

scripts/check-soundness-scorecard.py:85

↓ 4 callersFunctionsha256_file

(path: Path)

bench/labels/residual_ranking.py:182

↓ 4 callersFunctionsnake_to_pascal

(name: str)

bench/type4/type4gen/model.py:211

↓ 4 callersFunctionsource_binding_at_node

(il: &Il, node: NodeId)

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

↓ 4 callersFunctionsource_call_at_node

(il: &Il, node: NodeId)

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

↓ 4 callersFunctionsource_digest

Path-independent identity of one discovered source snapshot.

crates/nose-cli/src/cache/portable_il.rs:32

↓ 4 callersFunctionsource_record

(surface: Surface, variant: Variant, path: Path)

bench/type4/generate.py:4689

↓ 4 callersMethodsource_salted_hash

(&mut self, expr: NodeId, tag: u64)

crates/nose-normalize/src/value_graph/state.rs:406

↓ 4 callersMethodsource_salted_opaque

(&mut self, expr: NodeId, tag: u64)

crates/nose-normalize/src/value_graph/state.rs:416

↓ 4 callersFunctionspan_lines

(l: &Loc)

crates/nose-detect/src/report/paths.rs:14

↓ 4 callersFunctionstable_id

(*parts: str)

bench/type4/generate.py:4677

↓ 4 callersFunctionstatic_string_key

(lo: &Lowering, node: TsNode)

crates/nose-frontend/src/js_ts/syntax.rs:5

↓ 4 callersFunctionstatus

(root: &Path, max_bytes: u64)

crates/nose-cli/src/cache/admin.rs:53

↓ 4 callersFunctionstrict_base_project

(tag: &str)

crates/nose-cli/tests/cli/query_base/suppression_edges.rs:3

↓ 4 callersFunctionstrict_exact_collection_factory_call_safe

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

crates/nose-detect/src/strict_exact/collections.rs:536

↓ 4 callersFunctionstrict_exact_map_receiver_or_factory_safe

( il: &Il, interner: &Interner, facts: &StrictFacts, receiver: NodeId, allow_rust_std_fact

crates/nose-detect/src/strict_exact/collections.rs:130

↓ 4 callersFunctionstrict_exact_proven_map_receiver_safe

( il: &Il, interner: &Interner, facts: &StrictFacts, receiver: NodeId, )

crates/nose-detect/src/strict_exact/collections.rs:376

↓ 4 callersFunctionstrict_exact_safe_var

(il: &Il, facts: &StrictFacts, node: NodeId)

crates/nose-detect/src/strict_exact/primitives.rs:14

↓ 4 callersFunctionsubtree_hashes

Structural hash of every node, indexed by `NodeId`. Identifier *names* are hashed by their string content (via the interner) so the result is reproduc

crates/nose-normalize/src/commutative.rs:14

↓ 4 callersMethodsubtree_len

(self)

crates/nose-detect/src/connected.rs:79

↓ 4 callersFunctionsummarize

(rows: list[dict[str, Any]])

scripts/cache-query-regression.py:627

↓ 4 callersMethodsummary

(self)

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

↓ 4 callersFunctionsurface_capability

(capabilities: dict, surface: Surface, axis: str)

bench/type4/type4gen/model.py:237

↓ 4 callersFunctionswift_bracket_array_parameter_proven

Whether a parameter has a unique, dependency-live language-core proof that it is attribute/modifier-free and uses Swift bracket-array syntax (`[T]`).

crates/nose-semantics/src/evidence/domain/swift.rs:5

↓ 4 callersMethodswift_collection_factories

(self)

crates/nose-semantics/src/stdlib_semantics.rs:98

↓ 4 callersFunctionswift_consume_typed_throws_tail

(text: str)

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

↓ 4 callersFunctionswift_sequence_hof_call_il

( method: &str, shape: SwiftCallbackShape, )

crates/nose-semantics/src/tests/library_api_evidence/admission_resolvers/sequence_hof/swift.rs:31

↓ 4 callersFunctionsynthesize_wrapper_with_module_strings

Soundness Lab replay variant that can reproduce the pre-Swift tranche from the same binary. Product callers always use [`synthesize_wrapper`], which k

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

↓ 4 callersFunctiontemp_store

(label: &str)

crates/nose-cli/src/cache/transaction.rs:482

↓ 4 callersMethodterminal_reduction_arg_admitted

(&self, arg: NodeId)

crates/nose-normalize/src/value_graph/collections/cardinality.rs:60

↓ 4 callersFunctionunique_asserted_record_evidence_at

( il: &Il, span: Span, anchor_matches: impl Fn(EvidenceAnchor) -> bool, project: impl Fn(&Evid

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

↓ 4 callersFunctionunit_defines_hash_visible_at

( il: &Il, interner: &Interner, name_hash: u64, occurrence_span: Span, )

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

↓ 4 callersFunctionunshadowed_symbol_evidence_id

( il: &mut Il, node: NodeId, expected: &str, )

crates/nose-normalize/src/library_api_evidence/recording.rs:257

↓ 4 callersFunctionupsert

( il: &mut Il, anchor: EvidenceAnchor, kind: EvidenceKind, _rule: &'static str, provenance

crates/nose-normalize/src/call_target_evidence.rs:454

↓ 4 callersFunctionvalidate_blind_payload

(payload: dict[str, Any], *, live_sources: bool = False)

bench/labels/residual_ranking_panel.py:153

↓ 4 callersFunctionvalidate_corpus_digest

(actual: Any, expected: Any)

bench/labels/default_head_measurement_replay.py:151

↓ 4 callersFunctionvalidate_document

(document: dict[str, Any])

eval/divergence_fire/precision_protocol.py:1026

↓ 4 callersFunctionvalidate_snapshot

(snapshot: dict[str, Any], corpus: dict[str, Any] | None = None)

scripts/soundness-lab-gate.py:186

↓ 4 callersFunctionvalue_dag

Export the value DAG of the unit rooted at `root`, built exactly the way the fingerprint is (including the shared per-file inline/global `context` whe

crates/nose-normalize/src/value_graph/value_dag.rs:522

↓ 4 callersFunctionvalue_fingerprint_context_for_roots

( il: &Il, interner: &Interner, root_count: usize, )

crates/nose-detect/src/units.rs:84

↓ 4 callersMethodvalued_subtree_hash

(&mut self, expr: NodeId)

crates/nose-normalize/src/value_graph/state.rs:385

↓ 4 callersMethodvar_cid

(&self, id: NodeId)

crates/nose-il/src/il.rs:162

↓ 4 callersMethodvar_name

(&self, id: NodeId)

crates/nose-il/src/il.rs:154

↓ 4 callersMethodvty

(&self, v: ValueId)

crates/nose-normalize/src/value_graph/state.rs:9

↓ 4 callersMethodwhole

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

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

↓ 4 callersMethodwith_evidence_index

(&self, read: impl FnOnce(&EvidenceIndex) -> T)

crates/nose-il/src/il.rs:397

↓ 4 callersFunctionworkspace_path

(relative: &str)

crates/nose-frontend/src/semantic_pack_evidence_tests.rs:10

↓ 4 callersFunctionwrite_complete

(path: &Path, bytes: &[u8])

crates/nose-cli/src/cache/store.rs:309

↓ 4 callersFunctionwrite_ignore

(dir: &Path, body: &str)

crates/nose-cli/tests/cli/query_base/suppression_edges.rs:21

↓ 4 callersFunctionwrite_source

(out_dir: Path, rel_path: Path, source: str)

bench/type4/generate.py:4701

↓ 4 callersMethodwrites_portable_il

(&self)

crates/nose-cli/src/cache/store.rs:137

↓ 3 callersFunction_fail

(source: str, path: str, message: str)

bench/labels/query_schema.py:37

↓ 3 callersFunction_median

(values: list[float])

scripts/query_regression_control.py:34

↓ 3 callersFunction_validate_family

(family: object, *, source: str, index: int)

bench/labels/query_schema.py:67

↓ 3 callersMethodac_chain_commutes

Whether an associative-commutative chain's operands may be COMMUTED (reordered). Associativity — regrouping a flat chain — is sound for every type and

crates/nose-normalize/src/value_graph/state.rs:76

↓ 3 callersFunctionadd

(record: dict[str, Any], phase: str)

bench/labels/missed_worthy_frontier.py:239

↓ 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:60

↓ 3 callersFunctionadd_self_field

( builder: &mut IlBuilder, interner: &Interner, field_name: Symbol, offset: u32, )

crates/nose-normalize/src/interp/tests/state.rs:257

↓ 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:524

↓ 3 callersMethodadmitted

(self)

crates/nose-detect/src/units/gates.rs:43

↓ 3 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/append.rs:54

↓ 3 callersFunctionadmitted_builtin_semantics_at_call

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

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

↓ 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_none_sentinel_at_node

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

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

↓ 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:447

↓ 3 callersFunctionall_corpus_rows

()

bench/labels/default_head_measurement_replay.py:131

↓ 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:254

↓ 3 callersFunctionapply

(builder: &mut Builder<'_>, value: ValueId)

crates/nose-normalize/src/value_graph/rules/clamp.rs:12

↓ 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:357

↓ 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

← previous next →1,101–1,200 of 12,346, ranked by callers