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
↓ 8 callersFunctionmetric_eligible
(family: dict[str, Any], metric: str)
bench/labels/labelset.py:800
↓ 8 callersFunctionnegate
(expr: str, language: str)
bench/type4/type4gen/aggregate.py:56
↓ 8 callersFunctionnose_query_in
(dir: &Path, extra: &[&str])
crates/nose-cli/tests/cli/query_base.rs:71
↓ 8 callersFunctionop_code
(p: Payload)
crates/nose-normalize/src/value_graph/ops.rs:29
↓ 8 callersFunctionop_from_code
(opc: u32)
crates/nose-normalize/src/value_graph/ops.rs:184
↓ 8 callersMethodparts_record_with_arity
( self, id: u32, span: Span, contract_id: LibraryApiContractId, callee
crates/nose-semantics/src/tests/library_api_evidence/records.rs:85
↓ 8 callersMethodpolicy_decision
(&self)
crates/nose-cli/src/divergence.rs:216
↓ 8 callersMethodprocess_stmt
( &mut self, stmt: NodeId, env: &mut FxHashMap<u32, ValueId>, )
crates/nose-normalize/src/value_graph/control/statements.rs:4
↓ 8 callersMethodproven_map_value
(&mut self, value: ValueId)
crates/nose-normalize/src/value_graph/stdlib/map_factories.rs:350
↓ 8 callersFunctionpush_receiver_method_library_api_evidence
( il: &mut Il, interner: &Interner, call: NodeId, )
crates/nose-normalize/src/idioms/tests/support.rs:150
↓ 8 callersFunctionquery_families
(stdout: str, *, source: str = "nose query")
bench/labels/query_schema.py:131
↓ 8 callersFunctionreceiver_method_api_contract
( pack_id: &'static str, id: LibraryApiContractId, callee: LibraryApiCalleeContract, rule: &'s
crates/nose-semantics/src/library_api/rows/methods/receiver.rs:215
↓ 8 callersFunctionrender_predicate
(predicate: str, var: str)
bench/type4/type4gen/aggregate.py:18
↓ 8 callersMethodreorder_safe
Effect-free ⇒ safe to reorder past a sibling operand. A subtree with a call/HOF/lambda/opaque node can carry an observable effect whose order the inte
crates/nose-normalize/src/value_graph/canonicalize/ordering.rs:43
↓ 8 callersFunctionrequire_stable_id
(label: &str, value: &str)
crates/nose-semantics/src/packs/validation/helpers.rs:81
↓ 8 callersFunctionresolve_importer
(provider: Il, importer: Il, interner: &Interner)
crates/nose-frontend/src/module_imports/tests/support.rs:115
↓ 8 callersFunctionruby_single_array_argument_children
( il: &'a Il, interner: &Interner, args: &'a [NodeId], )
crates/nose-semantics/src/ruby_redefinitions/dynamic_method_changes.rs:308
↓ 8 callersFunctionsemantic_pack_manifest
(id: &str)
crates/nose-cli/tests/cli/commands/config_packs.rs:33
↓ 8 callersFunctionsequence_surface_kind_for_tag
(lang: Lang, tag: Option<&str>)
crates/nose-semantics/src/sequence_surface.rs:30
↓ 8 callersFunctionset_param_domain
(il: &mut Il, root: NodeId, domain: DomainEvidence)
crates/nose-cli/src/falsify/tests.rs:11
↓ 8 callersMethodset_workspace
(&self, workspace: [u8; 32])
crates/nose-cli/src/cache/transaction.rs:123
↓ 8 callersFunctionsh
(args, cwd=None, timeout=None)
eval/divergence_fire/replay.py:102
↓ 8 callersFunctionsha256
(path: Path)
scripts/soundness-lab-gate.py:59
↓ 8 callersFunctionsha256_file
(path: Path)
scripts/binary_identity.py:28
↓ 8 callersFunctionsource_fact_value_at_node
( il: &Il, node: NodeId, project: impl Fn(SourceFactKind) -> Option<T>, )
crates/nose-semantics/src/evidence.rs:149
↓ 8 callersFunctionsummarize
(records: list[dict[str, Any]])
bench/labels/missed_worthy_stage_audit.py:101
↓ 8 callersFunctionsynthesize_wrapper
Lower `contract` into a fresh single-`Func` [`Il`] and return that IL plus the func id. Layout of the synthesized function: `Func[ Param(input₀) … Pa
crates/nose-detect/src/fragment/oracle.rs:122
↓ 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 callersMethodvalidate
Structural verifier for the arena — the IL analogue of a compiler's IR validator (LLVM's `verify`, rustc's MIR validator). Every frontend and normaliz
crates/nose-il/src/il.rs:437
↓ 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 callersFunctionanchor_min_weight
The effective anchor weight floor: `ANCHOR_MIN_WEIGHT` unless the research knob `NOSE_ANCHOR_MIN_WEIGHT` overrides it (#248 — the §BJ 8–20 band sweep)
crates/nose-normalize/src/value_graph/api.rs:100
↓ 7 callersFunctionbinary_identity
(path: Path)
scripts/binary_identity.py:78
↓ 7 callersFunctionbinding_write_target
(il: &Il, node: NodeId)
crates/nose-semantics/src/effects.rs:444
↓ 7 callersFunctionbytes
(files: &[FileInfo])
crates/nose-cli/src/cache/admin.rs:258
↓ 7 callersFunctioncallee_path
(il: &nose_il::Il, interner: &Interner, node: NodeId)
crates/nose-cli/src/verify_admission/runtime_boundary.rs:513
↓ 7 callersFunctioncanonical_sha256
(value: object)
bench/labels/label_refresh.py:94
↓ 7 callersFunctioncorpus_value_fp
(corpus: &Corpus, path_suffix: &str, name: &str)
crates/nose-cli/tests/equivalence.rs:271
↓ 7 callersFunctiondeclarative_fingerprint
Normalize one lowered file, returning a fresh canonical [`Il`] (the input is left untouched). Unit roots are remapped onto the new arena. Declarative
crates/nose-normalize/src/lib.rs:255
↓ 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 callersFunctionenv_or
(key: &str, default: T)
crates/nose-detect/src/detectors.rs:343
↓ 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_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:387
↓ 7 callersMethodfinish
(&self)
crates/nose-cli/src/cache/digest.rs:62
↓ 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 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:538
↓ 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:150
↓ 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:505
↓ 7 callersMethodline_count
Inclusive line count, saturating for malformed ranges.
crates/nose-detect/src/model.rs:105
↓ 7 callersFunctionload
(path: Path)
bench/labels/default_head_measurement_replay.py:90
↓ 7 callersFunctionlower_expr_with_iota
( lo: &mut Lowering, node: TsNode, iota_value: Option<usize>, )
crates/nose-frontend/src/go/expressions.rs:6
↓ 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 callersFunctionmk
(path: &str, tags: Vec<u64>)
crates/nose-detect/src/contiguous.rs:428
↓ 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 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 callersFunctionpath_record
(path: Path)
bench/labels/residual_ranking_panel.py:60
↓ 7 callersFunctionpost_lower_unshadowed_symbol_evidence_id
( il: &mut Il, node: NodeId, expected: &str, )
crates/nose-frontend/src/lower/post_lower_evidence.rs:19
↓ 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:388
↓ 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
(mode: &str, locked: bool)
crates/nose-cli/tests/cli/commands/config_packs/reference_vavr.rs:7
↓ 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 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:64
↓ 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:49
↓ 7 callersFunctionrequire_provenance
(report: dict[str, Any], label: str)
scripts/check-query-regression.py:62
↓ 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
← previousnext →401–500 of 12,346, ranked by callers