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

1479 B22 linesdepth 2pulls 2 transitivereach 6 importersview sourcekind librarytopic g
docsdependenciesstructsconstsfunctions

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

nx_syscalls.nx nx_g_pn_lite_lib.nx nx_codec_license_gate.nx nx_quic_handshake_sm_test.nx nx_quic_hs_test.nx nx_quic_keys_test.nx nx_quic_tls_schedule_test.nx nx_quic_transport_params_test.nx

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

14func g_pn(v: i64) -> i64