code wiki / _hdl_build / nx_probe_castmut2_live.nx
nx_probe_castmut2_live.nx
buildroot/runtime/_hdl_build/nx_probe_castmut2_live.nx
about
nx_probe_castmut2_live.nx -- DISCRIMINATOR (2026-08-05): is the cast-mutation PER-VALUE or check-wide?
Here the prior cast targets a DIFFERENT local (c), then the proven-refusing shape pi_int3(b) follows.
If this REFUSES: mutation is per-value (only the cast local flips) => fix = cast must produce a NEW
Value (or the check must read declared types). If it BUILDS: something broader disables the check.
license_tier: ORIGINAL expect_exit: 0
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
| 7 | func pk_int3(k: i64) -> i64 { return k } called by 1: main |
| 8 | func pi_int3(k: i64) -> i64 { return k + 1 } called by 1: main |
| 9 | func main(argc: i64, argv: *i64) -> i64 |