nichlink-debug-method
简体中文 | English
nichlink-debug-method is the observation evidence surface. Static analysis
itself — MIR text/JSONL parsing, source lexing, and evidence merging (live
edges win over MIR candidates) — lives in the kernel (nichlink-core mir
and source modules). This crate binds it to the toolchain and the process:
collector: the inventory linker-section collection for declarations that opt in with the generated parent macro, for examplecrate::workspace_object!(collector: debug, ...). The kernel stays free of inventory and linker-section dependencies.mir::UnifiedCallGraph: merges static MIR candidates with one liveCallTracerun.adapters:tracingspan creation and the petgraph-backedCallGraphtopology view (DOT export).
A host that needs collection adds this crate and reads entries with
nichlink_debug_method::registrations!(nichlink::RegistrationInfo).