code wiki / _hdl_build / nx_probe_ptrint_live.nx
nx_probe_ptrint_live.nx
buildroot/runtime/_hdl_build/nx_probe_ptrint_live.nx
about
nx_probe_ptrint_live.nx -- LIVE WITNESS for the ENFORCED param-type direction (2026-08-05):
a value typed *u8 passed into an i64 parameter must BUILD-FAIL with `argument type mismatch`.
REPRO: change pi_int(n) below to pi_int(b) and /api/build this target -> refusal expected.
Kept VALID in-tree (compiler-root probe convention); the witness is the edit+build cycle.
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 pi_int(k: i64) -> i64 { return k + 1 } called by 1: main |
| 8 | func main(argc: i64, argv: *i64) -> i64 |