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
↓ 8 callersFunctiontime_stage
Time a named CLI-side stage under `NOSE_TIME` (the in-pipeline detector stages report themselves; this covers post-detection CLI work — lowering, the
crates/nose-cli/src/timing.rs:4
↓ 8 callersFunctiontop_level_statements_for
(il: &Il)
crates/nose-normalize/src/module_facts.rs:92
↓ 8 callersFunctionunique_asserted_evidence_at
( il: &Il, span: Span, anchor_matches: impl Fn(EvidenceAnchor) -> bool, project: impl Fn(Evide
crates/nose-semantics/src/evidence.rs:78
↓ 8 callersMethodwith_threshold
Enable the threshold early-exit (set to the run's acceptance threshold).
crates/nose-detect/src/detectors.rs:193
↓ 8 callersMethodwrite
(&mut self, bytes: &[u8])
crates/nose-cli/src/cache/digest.rs:32
↓ 7 callersFunctionadmitted_java_map_factory_at_call
( il: &Il, interner: &Interner, call: NodeId, )
crates/nose-semantics/src/library_api/resolvers.rs:399
↓ 7 callersFunctionadmitted_library_call
( il: &Il, interner: &Interner, call: NodeId, callee: NodeId, receiver: Option<NodeId>,
crates/nose-semantics/src/library_api/resolvers/admission.rs:87
↓ 7 callersFunctionbinding_write_target
(il: &Il, node: NodeId)
crates/nose-semantics/src/effects.rs:444
↓ 7 callersFunctionbuild
( docs: &[(String, String)], min_words: usize, )
crates/nose-markdown/src/eval.rs:85
↓ 7 callersFunctionbytes
(files: &[FileInfo])
crates/nose-cli/src/cache/admin.rs:270
↓ 7 callersFunctioncallee_field_method
( il: &nose_il::Il, interner: &'a Interner, node: NodeId, )
crates/nose-cli/src/verify_admission/runtime_boundary.rs:531
↓ 7 callersFunctioncallee_path
(il: &nose_il::Il, interner: &Interner, node: NodeId)
crates/nose-cli/src/verify_admission/runtime_boundary.rs:513
↓ 7 callersFunctioncandidates
( f: &FamilyObservation, mapping: &BTreeMap<ContentDigest, Mapping>, index: &BTreeMap<ContentDiges
crates/nose-detect/src/regions/evolution/compare.rs:152
↓ 7 callersFunctioncanonical_sha256
(value: object)
bench/labels/label_refresh.py:94
↓ 7 callersFunctionchanged
(report: &serde_json::Value)
crates/nose-cli/tests/cli/query_base/region_matches.rs:38
↓ 7 callersFunctioncollapsed_accepted_edges
( group: &Group, collapsed_sites: &[Loc], group_edges: &[AcceptedEdge], )
crates/nose-detect/src/report/ranking.rs:123
↓ 7 callersFunctioncollect
(f: &RefactorFamily, diffs: bool)
crates/nose-cli/src/query_source_evidence.rs:68
↓ 7 callersFunctioncorpus_value_fp
(corpus: &Corpus, path_suffix: &str, name: &str)
crates/nose-cli/tests/equivalence.rs:350
↓ 7 callersMethoddigest
(&self)
crates/nose-il/src/source.rs:105
↓ 7 callersFunctiondirect_return_contract
(il: &Il, root: NodeId)
crates/nose-detect/src/fragment/oracle/tests.rs:32
↓ 7 callersMethodelapsed
(start: Option<Instant>)
crates/nose-detect/src/units/timing.rs:25
↓ 7 callersMethodemit
The only node constructor: keeps `hashes` aligned with the arena.
crates/nose-normalize/src/algebra.rs:171
↓ 7 callersFunctionexpect_python_protocol_boundary
(src: &[u8], tag: &str, protocol: SourceProtocolKind)
crates/nose-frontend/src/python/tests.rs:17
↓ 7 callersFunctionf
(xss)
bench/type4/coverage_probes/flat_map/ruby/pos/b.rb:1
↓ 7 callersFunctionfamily_hint
Observation and an inspection direction; never an edit instruction.
crates/nose-cli/src/query_opportunities.rs:308
↓ 7 callersFunctionfamily_key
Stable cross-run identity of a family.
crates/nose-cli/src/baseline.rs:22
↓ 7 callersFunctionfield_callee
( lo: &mut Lowering, interner: &Interner, base: NodeId, member: &str, sp: Span, )
crates/nose-frontend/src/lower/tests.rs:176
↓ 7 callersFunctionfile_defines_name_visible_at
( il: &Il, interner: &Interner, name: &str, occurrence_span: Span, )
crates/nose-semantics/src/symbol_identity.rs:515
↓ 7 callersFunctionfind_ci
Case-insensitive ASCII substring search starting at `from`.
crates/nose-frontend/src/embedded.rs:390
↓ 7 callersMethodfinish
(&self)
crates/nose-cli/src/cache/digest.rs:23
↓ 7 callersFunctionfinish_python
(b: IlBuilder, root: NodeId, units: Vec<Unit>)
crates/nose-normalize/src/interp/tests/calls_symbolic.rs:3
↓ 7 callersFunctionfirst_direct_return
Find the first `Return` node with one computed (non-var/lit) child — a direct-return fragment root.
crates/nose-detect/src/fragment/oracle/tests.rs:17
↓ 7 callersFunctionfirst_statements_child
(node: TsNode<'a>)
crates/nose-frontend/src/swift/helpers.rs:43
↓ 7 callersFunctionfree_function_builtin_protocol_record
( id: u32, span: Span, contract: LibraryFreeFunctionBuiltinContract, arity: u16, status: E
crates/nose-semantics/src/tests/library_api_evidence/records.rs:118
↓ 7 callersFunctiongit_bytes
( *args: str | bytes, cwd: Path = ROOT, check: bool = True )
eval/divergence_fire/precision_protocol.py:140
↓ 7 callersMethodgo
Generic rebuild of any node. Records the unit-root remap.
crates/nose-normalize/src/desugar.rs:53
↓ 7 callersMethodhas_evidence
(self, flag: UnitEvidenceFlag)
crates/nose-il/src/unit.rs:104
↓ 7 callersFunctionignore_set
(tag: &str, body: &str)
crates/nose-cli/src/ignores/match_tests.rs:59
↓ 7 callersFunctionimport_namespace
A strict semantic proof fact for a static namespace import: local namespace → module coordinate.
crates/nose-frontend/src/lower/imports.rs:118
↓ 7 callersMethodis_integer_domain_value
(&self, value: ValueId)
crates/nose-normalize/src/value_graph/stdlib/integers.rs:113
↓ 7 callersMethodis_param_value
Whether `value` is a parameter (an `Input`) carrying the given proof-gate domain. `is_array` adds the `ArrayParam` op on top.
crates/nose-normalize/src/value_graph/state.rs:533
↓ 7 callersFunctionis_test_loc
Is this site test code, by the usual path / unit-name conventions? The markers are well-known ecosystem conventions (pytest `test_*`, RSpec `spec/`, G
crates/nose-detect/src/report/paths.rs:37
↓ 7 callersFunctionkey
(a: &Ref, b: &Ref)
crates/nose-markdown/src/eval.rs:152
↓ 7 callersFunctionlibrary_api_contract_id_from_hash
(hash: u64)
crates/nose-semantics/src/library_api/registry.rs:67
↓ 7 callersFunctionlibrary_api_test_evidence_with_dependencies
( id: u32, span: Span, contract: LibraryApiTestContract, status: EvidenceStatus, dependenc
crates/nose-semantics/src/test_support.rs:157
↓ 7 callersFunctionlibrary_js_array_is_array_contract
( lang: Lang, receiver: &str, method: &str, arg_count: usize, )
crates/nose-semantics/src/library_api/rows/methods.rs:170
↓ 7 callersFunctionlibrary_promise_then_contract
( lang: Lang, method: &str, arg_count: usize, )
crates/nose-semantics/src/library_api/rows/methods/promise.rs:3
↓ 7 callersFunctionlibrary_rust_option_none_sentinel_contract
( lang: Lang, name: &str, )
crates/nose-semantics/src/method_families.rs:156
↓ 7 callersFunctionlibrary_rust_result_err_constructor_contract
( lang: Lang, name: &str, arg_count: usize, )
crates/nose-semantics/src/method_families.rs:194
↓ 7 callersFunctionlibrary_rust_vec_macro_factory_contract
( lang: Lang, name: &str, )
crates/nose-semantics/src/library_api/rows.rs:486
↓ 7 callersFunctionload
(path: Path)
bench/labels/default_head_measurement_replay.py:90
↓ 7 callersFunctionload_query
Load the `[query]` config: from `explicit` if given, else the first of `nose.toml` / `.nose.toml` found in the current directory. Returns the default
crates/nose-cli/src/config.rs:60
↓ 7 callersFunctionlower_expr_with_iota
( lo: &mut Lowering, node: TsNode, iota_value: Option<usize>, )
crates/nose-frontend/src/go/expressions.rs:6
↓ 7 callersFunctionlower_source_regions
Lower every analyzable region of a file into separate [`Il`]s. For most languages this is one `Il` (delegating to [`lower_source`]); for `<script>`/`<
crates/nose-frontend/src/corpus.rs:28
↓ 7 callersFunctionlower_stmt
(lo: &mut Lowering, node: TsNode)
crates/nose-frontend/src/ruby/statements.rs:127
↓ 7 callersFunctionlower_stmt
(lo: &mut Lowering, node: TsNode)
crates/nose-frontend/src/java/control.rs:6
↓ 7 callersMethodmatch_family
(&self, family: &RefactorFamily)
crates/nose-cli/src/ignores.rs:171
↓ 7 callersMethodmk_const
Construct a `Const` node of the given kind and full-width payload.
crates/nose-normalize/src/value_graph/canonicalize/constants.rs:30
↓ 7 callersMethodnamed_children
Collect a CST node's named children into a `Vec` (decouples from the tree cursor so the borrow checker stays happy during recursion). Comments are ski
crates/nose-frontend/src/lower/builder.rs:202
↓ 7 callersFunctionnode_exact_name
(il: &nose_il::Il, interner: &'a Interner, node: NodeId)
crates/nose-cli/src/verify_admission.rs:220
↓ 7 callersFunctionnode_text
(node: ast.AST)
bench/type4/python_loop_demorgan_proof_facts.py:361
↓ 7 callersFunctionnodes
(src: &str)
crates/nose-frontend/src/ruby/tests.rs:3
↓ 7 callersFunctionnormalize_text
Normalize a chunk of Markdown into the prose token stream the substrate operates on. When `strip_md` is false, only width-fold + lowercase + whitespac
crates/nose-markdown/src/norm.rs:62
↓ 7 callersFunctionpairs
Emit the union of bucket pairs without materializing repeated channel pairs.
crates/nose-detect/src/lsh.rs:39
↓ 7 callersFunctionpath_record
(path: Path)
bench/labels/residual_ranking_panel.py:71
↓ 7 callersFunctionpost_lower_unshadowed_symbol_evidence_id
( il: &mut Il, node: NodeId, expected: &str, )
crates/nose-frontend/src/lower/post_lower_evidence/symbols.rs:17
↓ 7 callersFunctionpromise_static_call
( b: &mut IlBuilder, interner: &Interner, method: &str, value: i64, base_line: u32, )
crates/nose-normalize/src/value_graph/tests/support/promise.rs:290
↓ 7 callersFunctionpush_future_settled_value_missing_evidence
(labels: &mut Vec<&'static str>)
crates/nose-cli/src/verify_admission/runtime_boundary/async_runtime.rs:393
↓ 7 callersFunctionquery_fragment_fixtures
Write `fixtures` into a unique temp dir and run a semantic JSON query, returning the project dir, the raw query output, and the parsed families.
crates/nose-cli/tests/cli/exact_fragments/support.rs:7
↓ 7 callersFunctionquery_row_limit
Resolve how many rows a query view shows. `top=N` shows N; `top=0` means *all (matching `analysis --top 0`, and the `top: Some(0)` the dataset build a
crates/nose-cli/src/query_model.rs:484
↓ 7 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:113
↓ 7 callersFunctionreceiver_satisfies_domain
( il: &Il, interner: &Interner, receiver: NodeId, requirement: DomainRequirement, )
crates/nose-semantics/src/evidence/domain.rs:187
↓ 7 callersFunctionremove_library_api_evidence_by_rule
(il: &mut Il, rule: &str)
crates/nose-frontend/src/module_imports/tests/support.rs:125
↓ 7 callersFunctionreport_array
( report: &'a serde_json::Value, path: &[&str], description: &str, )
crates/nose-cli/tests/cli/commands/recall_loss_report/oracle_exclusions.rs:413
↓ 7 callersFunctionrequire
(condition: bool, message: str)
scripts/check-ci-examples.py:24
↓ 7 callersFunctionrequire
(condition: bool, message: str)
bench/labels/generated_provenance_behavior.py:38
↓ 7 callersFunctionrequire_equal
(actual: object, expected: object, label: str)
bench/labels/default_head_heldout_arbitration.py:43
↓ 7 callersFunctionrequire_equal
(actual: object, expected: object, label: str)
bench/labels/residual_ranking_panel.py:75
↓ 7 callersFunctionrequire_non_empty
( values: &[T], lock_path: &Path, message: impl Into<String>, )
crates/nose-semantics/src/packs/lock/paths.rs:224
↓ 7 callersFunctionrequire_object
(parent: dict[str, Any], key: str, label: str)
scripts/check-query-regression.py:51
↓ 7 callersFunctionrequire_sha
(value: Any, label: str)
bench/labels/default_head_measurement_replay.py:72
↓ 7 callersFunctionresolve_imported_immutable_bindings
(files: &mut [Il], interner: &Interner)
crates/nose-frontend/src/module_imports.rs:182
↓ 7 callersMethodrewrite
(&mut self, old_id: NodeId)
crates/nose-normalize/src/algebra.rs:189
↓ 7 callersMethodsemantic_digest
(&self)
crates/nose-semantics/src/packs/v1.rs:342
↓ 7 callersMethodsentinel_const
(&mut self, tag: u64)
crates/nose-normalize/src/value_graph/canonicalize/constants.rs:33
↓ 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 callersFunctionsha256
(path: Path)
bench/labels/default_head_measurement_replay.py:86
↓ 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 callersFunctiontwo_arg_binop
(op: Op, order: (u32, u32), lang: Lang)
crates/nose-cli/src/falsify/tests.rs:44
↓ 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 callersFunctionvalidate_audit_artifact
( core: dict[str, Any], audit: dict[str, Any], *, live_sources: bool = False )
bench/labels/default_head_taxonomy.py:1654
↓ 7 callersMethodvalue_law_satisfied
(&self, law: ValueLaw, values: &[ValueId])
crates/nose-normalize/src/value_graph/state.rs:16
↓ 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:145
↓ 6 callersFunctionaccepted_pair
(sites: Vec<Loc>)
crates/nose-cli/src/main_tests/query_family/accepted_coverage.rs:4
↓ 6 callersFunctionactual_receipt
()
crates/nose-cli/tests/equivalence/domain_runtime_calibration.rs:244
← previousnext →501–600 of 13,380, ranked by callers