code wiki / eng
topic: eng
12 modules sharing the eng name family (derived from the tree's prefix discipline).
| module | description | lines | funcs |
|---|---|---|---|
| nx_eng_asm_scan.nx | the ENGINEER reads the bug straight from the MACHINE CODE. Not a | 228 | 12 |
| nx_eng_asm_scan_min_test.nx | minimal: the ENGINEER scans real assembly and finds the live-across-call register. | 39 | 4 |
| nx_eng_badsrc.nx | a source that FAILS to compile (reserved keyword as a name). | 8 | 1 |
| nx_eng_clean.nx | a clean exit(0), the control for the Engineer crash detector. | 6 | 1 |
| nx_eng_crasher.nx | a deliberate SIGSEGV (null write) for the Engineer to catch. | 8 | 1 |
| nx_eng_diff_miscompile.nx | the ENGINEER's DIFFERENTIAL miscompile detector. The | 104 | 5 |
| nx_eng_diff_miscompile_test.nx | prove the ENGINEER's differential logic-miscompile | 67 | 5 |
| nx_eng_repro_extend_gate.nx | applies extend-not-copy (base + a raised bar). license_tier: ORIGINAL | 11 | 3 |
| nx_eng_repro_findfirst_gate.nx | applies find-existing-first. license_tier: ORIGINAL | 9 | 2 |
| nx_eng_repro_liarkill_gate.nx | applies gate-with-liar-kill. license_tier: ORIGINAL | 13 | 1 |
| nx_eng_repro_measure_gate.nx | applies measured-exceed (margin, liar-killed). license_tier: ORIGINAL | 40 | 1 |
| nx_eng_repro_neverbrick_gate.nx | applies never-brick(#26): the safety bar dominates. license_tier: ORIGINAL | 10 | 2 |