Crate nichlink_debug_method 

Optional runtime evidence model.

EvidenceKind is re-exported from core and is the single evidence type used by MIR, live traces, source scanners, graph adapters, and Studio. MIR and source candidates are informative only; Live is the sole confirmed execution evidence. Locals marked unobserved have no runtime value and must not be treated as observed data. 可选的运行期证据模型。

EvidenceKind 从 core 再导出，是 MIR、实时 trace、源码扫描、图适配器与 Studio 共用的唯一证据类型。MIR 与源码候选只是提示；只有 Live 是已确认的执行证据。 标记为 unobserved 的局部值没有运行期取值，不得当作已观测数据。

Re-exports

pub use mir::UnifiedCallGraph;

Modules

adapters

Adapters for mature tracing and graph backends. 成熟 tracing 与图后端的适配层。

collector

Debug-only linker-section backend for NichLink declarations. 仅调试期使用的 NichLink 声明链接段后端。

mir

Small rustc/MIR bridge for NichLink’s debug model. NichLink 调试模型使用的轻量 rustc/MIR 桥接层。

Macros

registrations

Iterate every declaration that opted into the debug collector in this binary; outside debug builds the result is empty rather than absent. 遍历本二进制中选择加入调试收集器的所有声明；非调试构建下结果为空而非缺失。

submit

Submit one 'static registration value to the debug collector; the value stays in the binary’s inventory section and is only read in debug builds. 向调试收集器提交一个 'static 注册值；该值留在二进制的 inventory 段中， 仅在调试构建中被读取。

Structs

CallEdge

One call edge that was observed while a CallTrace frame was active. CallTrace 中实际观察到的一条调用边。

CallRelation

One call edge normalized across runtime, MIR, and source evidence. 跨运行时、MIR、源码证据统一表示的一条调用边。

CallSite

One call edge that was observed while a CallTrace frame was active. CallTrace 中实际观察到的一条调用边。

CallTrace

The runtime evidence collector shared by frames, locals, and value edges. 运行期证据收集器，由调用帧、局部值与值边共用。

DataEdge

One value transformation observed by the trace. 追踪中观察到的一次值变换。

DataHop

One end of a data edge together with the local reached through it. 数据边的一端，以及经该边到达的局部值。

LocalId

The trace-local identity of one captured value. 一个已捕获局部值在其所属追踪内的身份。

LocalValue

A value captured or inferred for a single invocation. 单次调用中捕获或推断的值。

MirCall

One direct call sighting extracted from a MIR artifact. 从 MIR artifact 中提取到的一条直接调用观测。

MirGraph

Every candidate one MIR artifact offered, before any merge. 一份 MIR artifact 提供的全部候选，尚未归并。

MirLocal

One local binding sighting extracted from a MIR artifact. 从 MIR artifact 中提取到的一条局部绑定观测。

NodeId

Stable source identity shared by registration, diagnostics, and pruning. 注册、诊断和修剪共用的稳定源码身份。

SourceLocation

File and line captured at the declaration site. 在声明点捕获的文件和行号。

Enums

EvidenceKind

Provenance of a relationship across runtime, MIR, and source evidence. 运行时、MIR 与源码证据共用的关系来源。

LocalKind

The role of a value in one function invocation. 一个函数调用中局部值的角色。

Observation

Whether a local value came from a live trace or a static inference. 局部值来自实时追踪还是静态推断。

Type Aliases

CallEvidence

Unified evidence attached to one logical call relation. 一条逻辑调用关系携带的统一证据等级。