code wiki / _hdl_build / nx_pattern_emit6_demo.nx

nx_pattern_emit6_demo.nx

buildroot/runtime/_hdl_build/nx_pattern_emit6_demo.nx

992 B25 linesdepth 4pulls 5 transitivereach 0 importersview sourcekind sketch/demotopic pattern
docsdependenciesstructsconstsfunctions

about

nx_pattern_emit6_demo.nx -- the TEAM authoring the f64 natural log (no Claude core logic). Spec data = _pm_log_spec.nx (oracle-generated by _f64_log_oracle_gen.py, mpmath@60dps). Emits _pe_f64log.nx (func nx_f64_log) + _pe_f64log_test.nx (invariant KATs).

dependencies 3 imports · 0 importers

nx_pattern_emit6.nx _pm_log_spec.nx nx_syscalls.nx nx_pattern_emit6_demo.nx

imports: nx_pattern_emit6.nx_pm_log_spec.nxnx_syscalls.nx

imported by: nobody (leaf or entry point)

call flow from main pre-order; caps 40 nodes / depth 6 declared; ↻ = already shown

main sys_mmap pm_log_spec_fill pe6_author_logf64 sys_openat_wr pe_w sys_write pe_wn sys_mmap ↻ sys_write ↻ sys_close p6_w sys_write ↻ sys_exit

structs

none

consts

none

functions

8func p6_w(s: *u8) -> i64 { var n: i64=0; while s[n]!=(0 as u8){n=n+1} sys_write(1,s,n); return 0 }
called by 1: main calls 1: sys_write
10func main() -> i64