code wiki / _hdl_build / _dgseed900.nx
_dgseed900.nx
buildroot/runtime/_hdl_build/_dgseed900.nx
about
_dgseed900.nx -- the SEEDED miscompile pattern for the diff-harness catch
proof (R1-T1-003): 4-deep nested ifs (LM-002's forbidden shape). All four
conditions are TRUE by construction, so a correct build runs the innermost
statement: v becomes 5+2=7, odd -> sys_exit(1). Hand-computed expected
exit = 1. Any lane disagreement OR wrong exit = the harness's quarry.
license_tier: ORIGINAL
dependencies 1 imports · 0 importers
imports: nx_syscalls.nx
imported by: nobody (leaf or entry point)
call flow from main pre-order; caps 40 nodes / depth 6 declared; ↻ = already shown
structs
| none |
consts
| none |
functions
| 9 | func main() -> i64 calls 1: sys_exit |