code wiki / _hdl_build / nx_g_pn_lite_lib.nx
nx_g_pn_lite_lib.nx
buildroot/runtime/_hdl_build/nx_g_pn_lite_lib.nx
about
nx_g_pn_lite_lib.nx -- single-responsibility g_pn LITE variant (no negative-number branch).
NX-ITOA-NEGATIVE-FREE-BY-DESIGN -- read by nx_itoaclone, which otherwise flags every emitter lacking a
sign branch. The omission HERE is the entire point of the file: nx_g_pn_lib is the superset WITH the
branch, this is the deliberate subset, and a superset self-check already refuses one for the other.
★★WHETHER A MISSING NEGATIVE BRANCH IS A DEFECT OR THE DESIGN IS A CONTRACT QUESTION, AND NO SCANNER
CAN ANSWER IT -- so the intent is DECLARED here in the source where it is checkable, exactly as
organ_kind.conf declares an organ's kind rather than letting a name-suffix classifier guess.
⚠DO NOT "fix" this by adding a sign branch: that collapses the subset/superset pair this file exists
to express, and the census would lose the distinction it is now able to report.
This is the SUBSET body that nx_g_pn_lib's superset self-check refuses; files carrying it delegate HERE
(behavior-identical for their non-negative usage - the ONLY difference is negatives, which gate counts never are).
license_tier: ORIGINAL
dependencies 1 imports · 6 importers
imports: nx_syscalls.nx
imported by: nx_codec_license_gate.nxnx_quic_handshake_sm_test.nxnx_quic_hs_test.nxnx_quic_keys_test.nxnx_quic_tls_schedule_test.nxnx_quic_transport_params_test.nx
structs
| none |
consts
| none |
functions
| 14 | func g_pn(v: i64) -> i64 |