Nishi Family › Compare › Debugging and Diagnosis (Doctor)
Debugging and Diagnosis (Doctor) — mechanically measured, liar-killed, sovereign.
Nishi vs rr and GDB and Delve and C-Vise
| Capability | Nishi | rr | GDB | Delve | C-Vise | Notes |
|---|---|---|---|---|---|---|
| Per-function miscompile bisection (names the breaker) | Yes | No | No | No | Part | Function-splice frankenbuilds isolate the guilty codegen; C-Vise reduces INPUTS, ours bisects FUNCTIONS -- complementary halves |
| Compile-fail diagnosis in one step | Yes | No | No | No | No | Re-runs the compiler with stderr VISIBLE and prints the real error (the empty-.s trap is usually a muted source error); the wrapper now self-diagnoses too |
| Codegen-shape fuzz generation | Yes | No | No | No | Part | Shape-axis generator found a real nx_cc bug (about 1500 early-exit blocks = empty .s, 2026-07-05) |
| Permanent regression witnesses (probe organs) | Yes | No | No | No | No | Every pinned bug becomes a tiny organ that re-runs forever; nx_probe_ctor re-verified the enum-ctor SIGSEGV FIXED 2026-07-09; nx_probe_float still honestly RED |
| Living trap register (T# taxonomy) | Yes | No | No | No | No | Every debugging war ends in a T#-tagged register entry with the diagnosis path -- the raw material of the make-it-unrepresentable ladder |
| Autonomous health witness | Yes | No | No | No | No | Generate-build-verify witness runs autonomously (exec engine 3/3, 2026-07-06); a compiler regression is an ALARM, not a surprise |
| Breakpoint debugger (step, inspect, frames) | No | Yes | Best | Yes | No | GDB is the bar; we have NO interactive debugger at all -- printf-and-bisect is the story |
| Record-replay time-travel debugging | No | Best | Part | No | No | rr 5.9.0 is the bar (reverse execution over recorded traces); nothing sovereign records execution |
| Watchpoints and memory breakpoints | No | Yes | Best | Part | No | GDB hardware watchpoints are the bar; our memory bugs are hunted by canary prints |
| DWARF / source-line debug info | No | Yes | Yes | Yes | No | THE root blocker: emitted ELFs carry no line mapping, so even the field's debuggers cannot help on our binaries |
| Test-case reduction at scale | No | No | No | No | Best | C-Vise is the bar; our reductions are hand-swept thresholds (shapeprobe N-sweeps) |
| Core-dump / crash analysis | No | Part | Best | Part | No | GDB post-mortem is the bar; our crashes are exit-code + last-print forensics |
| Remote / attach debugging | No | Part | Best | Yes | No | gdbserver is the bar; our remote diagnosis is log tails over the mgmt API |
| IDE debug protocol (DAP) | No | No | Part | Best | No | Delve powers VS Code Go debugging; ties to the lang census LSP gap |
| LLM-assisted debugging and repair | No | No | No | No | No | The cross-roster convergence gap (lang mom 145, janitor mom 111); nobody in THIS field ships it either yet |
| Diagnosis wired into the self-healing loop | Best | No | No | No | No | Fuzz (shapeprobe) to detect (equiv oracle) to bisect (splice) to immunize (probe organ) to bless (never-brick install) -- ONE in-substrate circuit; the field's tools are islands a human ferries between |
| Every fixed bug becomes a permanent witness | Best | No | No | No | No | Immunization by construction: the probe that pinned the bug re-runs on every sweep forever -- fixed classes cannot silently regress; the field closes tickets |
Generated by nx_swcompare_matrix (sovereign NishiLang organ) from knowledge/compare/doctor.matrix — every Nishi cell verified against real organ source on disk. Zero JS, zero trackers.