code wiki / _hdl_build / nx_fwdconst_probe.nx

nx_fwdconst_probe.nx

buildroot/runtime/_hdl_build/nx_fwdconst_probe.nx

2214 B51 linesdepth 2pulls 2 transitivereach 0 importersview sourcekind probe

docs dependencies structs consts functions

about

nx_fwdconst_probe.nx -- FAIL-OPEN PROBE for seq360: a module const READ BY A FUNCTION DECLARED ABOVE IT silently resolved to 0 in shipped binaries (VC_EO_PART / VC_EO_T8 were dead since 07-12, AT_FDCWD before that). The reader compiles clean and computes with 0 -- no diagnostic, no crash, just a wrong answer that looks like a deliberate default. That is the fail-OPEN signature. A const that reads as 0 is indistinguishable from a const that IS 0, which is exactly why this class survives so long: every consequence looks like intended behaviour. Known answers below are deliberately non-zero and distinctive so a 0 read can never be mistaken for a pass.

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

35	const FC_ALPHA: i64 = 12345
36	const FC_BRAVO: i64 = 6789

functions

11	func fc_puts(s: *u8) -> i64 called by 1: main calls 1: sys_write
17	func fc_putn(v: i64) -> i64 called by 1: main calls 2: sys_mmap sys_write
31	func fc_read_a() -> i64 { return FC_ALPHA } called by 1: main
32	func fc_read_b() -> i64 { return FC_BRAVO } called by 1: main
33	func fc_sum() -> i64 { return FC_ALPHA + FC_BRAVO } called by 1: main
38	func main() -> i64 calls 6: fc_puts fc_putn fc_read_a fc_read_b fc_sum sys_exit