code wiki / pe
topic: pe
183 modules sharing the pe name family (derived from the tree's prefix discipline).
Portable Executable emission: NishiLang organs that write Windows .exe binaries byte-by-byte — including the process containers that supervise the GPU engine on the workstation. Never-brick discipline applies here at the file-format level: an over-long baked value fails the build loudly before a single byte is written, because a PE with a corrupted import table loads and then jumps into garbage.
narrated overview -- maintained by the narration lane, module links verified against this wiki.
| module | description | lines | funcs |
|---|---|---|---|
| _pe_abround.nx | baked transition walk, no Claude logic | 25 | 2 |
| _pe_abround_test.nx | KATs computed from the table at emit time | 20 | 1 |
| _pe_alspec1.nx | [type][len][body][trail] wire walk, no Claude logic | 27 | 3 |
| _pe_alspec1_test.nx | KATs computed from the spec at emit time | 25 | 1 |
| _pe_blackjack_round.nx | baked transition walk, no Claude logic | 43 | 2 |
| _pe_blackjack_round_test.nx | KATs computed from the table at emit time | 20 | 1 |
| _pe_blockr.nx | table-driven fragment renderer, no Claude logic | 58 | 3 |
| _pe_blockr_test.nx | byte-exact KATs derived from the table | 30 | 2 |
| _pe_canary.nx | baked transition walk, no Claude logic | 24 | 2 |
| _pe_canary_test.nx | KATs computed from the table at emit time | 20 | 1 |
| _pe_chwalk.nx | field-table walk, no Claude logic | 27 | 1 |
| _pe_chwalk2.nx | field-table walk, no Claude logic | 27 | 1 |
| _pe_chwalk2_test.nx | KATs computed from the table at emit time | 69 | 1 |
| _pe_chwalk_test.nx | KATs computed from the table at emit time | 69 | 1 |
| _pe_coach_msg.nx | field-table walk, no Claude logic | 20 | 1 |
| _pe_coach_msg_test.nx | KATs computed from the table at emit time | 25 | 1 |
| _pe_codec_grade.nx | baked band ladder, no Claude logic | 11 | 1 |
| _pe_codec_grade_test.nx | KATs computed from the table at emit time | 11 | 1 |
| _pe_crawl.nx | min-gap pacing + clamped exponential backoff | 9 | 2 |
| _pe_crawl_test.nx | boundary KATs derived from the spec | 14 | 1 |
| _pe_datesim.nx | baked transition walk, no Claude logic | 28 | 2 |
| _pe_datesim_test.nx | KATs computed from the table at emit time | 20 | 1 |
| _pe_dchan.nx | field-table walk, no Claude logic | 22 | 1 |
| _pe_dchan_arq.nx | baked transition walk, no Claude logic | 49 | 2 |
| _pe_dchan_arq_test.nx | KATs computed from the table at emit time | 20 | 1 |
| _pe_dchan_reorder.nx | X-ROOM-DC-003 rung-3 RELIABILITY DATA PLANE (the ACTION layer the spec | 109 | 4 |
| _pe_dchan_route.nx | X-ROOM-DC-002 rung-2 INTEGRATION: client-side private routing + ordering | 57 | 5 |
| _pe_dchan_test.nx | KATs computed from the table at emit time | 45 | 1 |
| _pe_discovery.nx | baked transition walk, no Claude logic | 26 | 2 |
| _pe_discovery_test.nx | KATs computed from the table at emit time | 20 | 1 |
| _pe_draft.nx | transitions-table state machine, no Claude logic | 10 | 1 |
| _pe_draft_test.nx | KATs derived from the table itself | 14 | 1 |
| _pe_dungenc.nx | baked transition walk, no Claude logic | 26 | 2 |
| _pe_dungenc_test.nx | KATs computed from the table at emit time | 20 | 1 |
| _pe_f64atan.nx | no Claude core logic. | 117 | 4 |
| _pe_f64atan_test.nx | invariant KATs. | 24 | 1 |
| _pe_f64erf.nx | no Claude core logic. | 72 | 2 |
| _pe_f64erf_full.nx | FULL-DOMAIN f64 erf: closes erf's OWN LOUD-NAN hole (1.75..6) by | 33 | 1 |
| _pe_f64erf_test.nx | GENERATED invariant KATs for the Builder-authored erf (ERF_TAYLOR). | 22 | 1 |
| _pe_f64erfc.nx | no Claude core logic. | 28 | 1 |
| _pe_f64erfc_test.nx | GENERATED invariant KATs for the Builder-authored erfc (ERFC_CF). | 17 | 1 |
| _pe_f64gamma.nx | no Claude core logic. | 74 | 3 |
| _pe_f64gamma_refl.nx | f64 GAMMA REFLECTION kernel for 0 < x < 0.5 (closes the | 27 | 1 |
| _pe_f64gamma_test.nx | GENERATED invariant KATs for the Builder-authored gamma (GAMMA_STIRLING). | 16 | 2 |
| _pe_f64igammaq.nx | integer-order regularized upper incomplete gamma (DLMF 8.4.7, | 39 | 2 |
| _pe_f64log.nx | no Claude core logic. | 46 | 1 |
| _pe_f64log_test.nx | KATs from algorithm invariants. | 18 | 1 |
| _pe_f64pow.nx | no Claude core logic. | 170 | 4 |
| _pe_f64pow_test.nx | invariant KATs. | 24 | 1 |
| _pe_f64sincos.nx | no Claude core logic. | 74 | 5 |
| _pe_f64sincos_test.nx | invariant KATs. | 19 | 1 |
| _pe_f64sinhcosh.nx | no Claude core logic. | 166 | 6 |
| _pe_f64sinhcosh_test.nx | invariant KATs. | 25 | 1 |
| _pe_f64tan.nx | no Claude core logic. | 156 | 5 |
| _pe_f64tan_test.nx | invariant KATs. | 24 | 1 |
| _pe_fightfsm.nx | baked transition walk, no Claude logic | 29 | 2 |
| _pe_fightfsm_test.nx | KATs computed from the table at emit time | 20 | 1 |
| _pe_gamelife.nx | baked transition walk, no Claude logic | 27 | 2 |
| _pe_gamelife_test.nx | KATs computed from the table at emit time | 20 | 1 |
| _pe_gjob.nx | baked transition walk, no Claude logic | 25 | 2 |
| _pe_gjob_test.nx | KATs computed from the table at emit time | 20 | 1 |
| _pe_heat.nx | integer PI, gains pre-flighted vs the plant sim | 8 | 1 |
| _pe_heat_test.nx | plant-sim replay KAT, endpoint baked at emit time | 22 | 1 |
| _pe_httpsm.nx | baked transition walk, no Claude logic | 23 | 2 |
| _pe_httpsm_test.nx | KATs computed from the table at emit time | 16 | 1 |
| _pe_jpegseg.nx | prefix-marker wire walk, no Claude logic | 66 | 2 |
| _pe_jpegseg_test.nx | KATs computed from the spec at emit time | 37 | 1 |
| _pe_jpgmark.nx | prefix-marker wire walk, no Claude logic | 50 | 2 |
| _pe_jpgmark_test.nx | KATs computed from the spec at emit time | 37 | 1 |
| _pe_jpgmk.nx | prefix-marker wire walk, no Claude logic | 66 | 2 |
| _pe_jpgmk_test.nx | KATs computed from the spec at emit time | 37 | 1 |
| _pe_jpgtlv.nx | [type][len][body] wire walk, no Claude logic | 27 | 3 |
| _pe_jpgtlv_test.nx | KATs computed from the spec at emit time | 23 | 1 |
| _pe_kw_crc.nx | field-table walk, no Claude logic | 36 | 1 |
| _pe_kw_crc_test.nx | KATs computed from the table at emit time | 23 | 1 |
| _pe_lane_jpgmk.nx | no Claude logic | 46 | 2 |
| _pe_lane_jpgtlv.nx | no Claude logic | 46 | 2 |
| _pe_lane_png.nx | no Claude logic | 62 | 3 |
| _pe_lane_riff.nx | no Claude logic | 40 | 2 |
| _pe_lane_riff2.nx | no Claude logic | 62 | 3 |
| _pe_lane_tlv.nx | no Claude logic | 44 | 2 |
| _pe_legaldoc.nx | baked transition walk, no Claude logic | 25 | 2 |
| _pe_legaldoc_test.nx | KATs computed from the table at emit time | 15 | 1 |
| _pe_lpc2.nx | lossless predictor/residual coder, no Claude logic | 45 | 3 |
| _pe_lpc2_test.nx | KATs computed from the spec at emit time | 39 | 1 |
| _pe_mask.nx | nm-domain area/spacing/DRC, no Claude logic | 5 | 3 |
| _pe_mask_test.nx | design-rule boundary KATs | 15 | 1 |
| _pe_num.nx | ws-skip decimal parse, -1=refused, no Claude logic | 21 | 1 |
| _pe_num_test.nx | exact byte->value KATs | 14 | 1 |
| _pe_odmnap.nx | field-table walk, no Claude logic | 21 | 1 |
| _pe_odmnap_test.nx | KATs computed from the table at emit time | 33 | 1 |
| _pe_peerwire_fsm.nx | baked transition walk, no Claude logic | 55 | 2 |
| _pe_peerwire_fsm_test.nx | KATs computed from the table at emit time | 20 | 1 |
| _pe_png.nx | [type][len][body][trail] wire walk, no Claude logic | 27 | 3 |
| _pe_png_test.nx | KATs computed from the spec at emit time | 41 | 1 |
| _pe_pngchunk.nx | [type][len][body][trail] wire walk, no Claude logic | 27 | 3 |
| _pe_pngchunk_test.nx | KATs computed from the spec at emit time | 41 | 1 |
| _pe_pnghdr.nx | field-table walk, no Claude logic | 21 | 1 |
| _pe_pnghdr_test.nx | KATs computed from the table at emit time | 27 | 1 |
| _pe_pngtext.nx | field-table walk, no Claude logic | 19 | 1 |
| _pe_pngtext_gate.nx | 97 | 4 | |
| _pe_pngtext_test.nx | KATs computed from the table at emit time | 22 | 1 |
| _pe_poker_round.nx | baked transition walk, no Claude logic | 43 | 2 |
| _pe_poker_round_test.nx | KATs computed from the table at emit time | 20 | 1 |
| _pe_previewenv.nx | baked transition walk, no Claude logic | 23 | 2 |
| _pe_previewenv_test.nx | KATs computed from the table at emit time | 20 | 1 |
| _pe_pub.nx | transitions-table state machine, no Claude logic | 11 | 1 |
| _pe_pub_test.nx | KATs derived from the table itself | 15 | 1 |
| _pe_riff.nx | [type][len][body][trail] wire walk, no Claude logic | 28 | 4 |
| _pe_riff2.nx | [type][len][body] wire walk, no Claude logic | 28 | 4 |
| _pe_riff2_test.nx | KATs computed from the spec at emit time | 35 | 1 |
| _pe_riff_test.nx | KATs computed from the spec at emit time | 35 | 1 |
| _pe_riffhdr.nx | field-table walk, no Claude logic | 23 | 1 |
| _pe_riffhdr_test.nx | KATs computed from the table at emit time | 31 | 1 |
| _pe_roglrun.nx | baked transition walk, no Claude logic | 28 | 2 |
| _pe_roglrun_test.nx | KATs computed from the table at emit time | 20 | 1 |
| _pe_seohead.nx | table-driven fragment renderer, no Claude logic | 64 | 3 |
| _pe_seohead_test.nx | byte-exact KATs derived from the table | 34 | 2 |
| _pe_stealth.nx | baked transition walk, no Claude logic | 29 | 2 |
| _pe_stealth_test.nx | KATs computed from the table at emit time | 20 | 1 |
| _pe_tenant.nx | baked transition walk, no Claude logic | 26 | 2 |
| _pe_tenant_test.nx | KATs computed from the table at emit time | 20 | 1 |
| _pe_tlshs.nx | baked transition walk, no Claude logic | 24 | 2 |
| _pe_tlshs_test.nx | KATs computed from the table at emit time | 17 | 1 |
| _pe_tlv.nx | [type][len][body] wire walk, no Claude logic | 27 | 3 |
| _pe_tlv2b.nx | [type][len][body][trail] wire walk, no Claude logic | 27 | 3 |
| _pe_tlv2b_test.nx | KATs computed from the spec at emit time | 25 | 1 |
| _pe_tlv_test.nx | KATs computed from the spec at emit time | 25 | 1 |
| _pe_twolie.nx | baked transition walk, no Claude logic | 31 | 2 |
| _pe_twolie_test.nx | KATs computed from the table at emit time | 20 | 1 |
| _pe_twrwave.nx | baked transition walk, no Claude logic | 24 | 2 |
| _pe_twrwave_test.nx | KATs computed from the table at emit time | 20 | 1 |
| _pe_vnscene.nx | baked transition walk, no Claude logic | 25 | 2 |
| _pe_vnscene_test.nx | KATs computed from the table at emit time | 16 | 1 |
| _pe_zerodowntime.nx | baked transition walk, no Claude logic | 24 | 2 |
| _pe_zerodowntime_test.nx | KATs computed from the table at emit time | 20 | 1 |
| nx_pe_compile_win.nx | W3 keystone: nxc2-compiled NishiLang -> NATIVE Windows PE. | 168 | 3 |
| nx_pe_compile_win_call.nx | W3b-2: nxc2-COMPILED code issues a kernel32 call ITSELF. | 214 | 3 |
| nx_pe_compile_win_dll.nx | compiler->DLL: wrap REAL nx_cc-compiled NishiLang in a PE DLL with named exports, incl. an | 169 | 6 |
| nx_pe_compile_win_fread.nx | W-NET-5a: native file reading (CreateFileA + ReadFile), the capability | 194 | 5 |
| nx_pe_compile_win_game.nx | GAME-GUI wrapper: wraps the compiled nishi_game payload (/tmp/nxgame.s, | 34 | 1 |
| nx_pe_compile_win_gui.nx | GUI-R0 keystone: emits nish_gui.nx as a native Windows PE with a | 375 | 10 |
| nx_pe_compile_win_halloc.nx | W3b-5a' : sys_mmap reaches a BENIGN allocator (HeapAlloc). | 214 | 3 |
| nx_pe_compile_win_httpd.nx | W-NET-1/2/3: a sovereign Nishi-native Windows HTTP server. | 292 | 5 |
| nx_pe_compile_win_index.nx | keystone-linker for a MEDIUM organ (the sovereign inverted INDEX) -> native Windows PE. | 267 | 3 |
| nx_pe_compile_win_io.nx | W3b-1: nxc2-compiled NishiLang -> native Windows PE | 251 | 4 |
| nx_pe_compile_win_iotcli.nx | W-NET-5b: native static-file HTTP server (sockets + file I/O in ONE | 392 | 8 |
| nx_pe_compile_win_mmap.nx | W3b-5a: an organ's REAL sys_mmap reaches VirtualAlloc. | 212 | 3 |
| nx_pe_compile_win_nishi.nx | W-NISH: the SOVEREIGN NISHI BROWSER (nish), native Windows PE. | 714 | 10 |
| nx_pe_compile_win_organ.nx | W3b-6: a realistic organ runs ENTIRELY native (mmap+write+exit). | 284 | 3 |
| nx_pe_compile_win_sw.nx | W3b-4: an organ's REAL sys_write reaches WriteFile, fd-routed. | 229 | 3 |
| nx_pe_compile_win_table.nx | W3b-5b: a MULTI-syscall organ runs native (redirect table). | 245 | 3 |
| nx_pe_compile_win_uiserve.nx | W-NET-5b: native static-file HTTP server (sockets + file I/O in ONE | 361 | 7 |
| nx_pe_compile_win_write.nx | W3b-3: a compiled organ's OWN sys_write reaches WriteFile. | 235 | 3 |
| nx_pe_compile_win_wsa.nx | W-NET-0: a Nishi organ initializes Winsock (2-DLL PE import table). | 221 | 3 |
| nx_pe_container_datachar.nx | generalized Job-Object container (OCI process.args/cwd via cmdline): | 203 | 3 |
| nx_pe_container_gen.nx | generalized Job-Object container (OCI process.args/cwd via cmdline): | 242 | 5 |
| nx_pe_container_httpd.nx | W4-b-1: a governed Nishi container with WIRED stdout. | 200 | 3 |
| nx_pe_container_sdserver.nx | W4-b-1: a governed Nishi container with WIRED stdout. | 200 | 3 |
| nx_pe_container_uiserve.nx | W4-b-1: a governed Nishi container with WIRED stdout. | 200 | 3 |
| nx_pe_container_win.nx | W4-a: a NISHI ORGAN runs as a Job-Object-governed, supervised container. | 205 | 3 |
| nx_pe_container_win_io.nx | W4-b-1: a governed Nishi container with WIRED stdout. | 200 | 3 |
| nx_pe_container_win_ping.nx | W4-a: a NISHI ORGAN runs as a Job-Object-governed, supervised container. | 218 | 3 |
| nx_pe_container_win_sup.nx | W4-a: a NISHI ORGAN runs as a Job-Object-governed, supervised container. | 218 | 3 |
| nx_pe_dll_com_device.nx | THE CONVERGENCE RUNG: emit a sovereign DLL exporting a D3D11CreateDevice-shaped factory | 187 | 6 |
| nx_pe_dll_com_gate.nx | de-risk the ENTIRE D3D11 shim surface: a sovereign DLL that returns a COM-STYLE OBJECT | 133 | 8 |
| nx_pe_dll_d3d11.nx | the REAL game entry point. Superset of nx_pe_dll_id3d11: same data-driven 43-slot ID3D11Device | 229 | 8 |
| nx_pe_dll_d3d11ctx.nx | ACCEPTANCE SLICE: a real multi-interface D3D11 render through the COM API. Data-driven | 205 | 9 |
| nx_pe_dll_d3d11draw.nx | REAL GEOMETRY DRAW through the D3D11 API. Superset of d3d11ctx: device(43)+context(108) | 208 | 9 |
| nx_pe_dll_d3d11shade.nx | PROGRAMMABLE SHADER Draw: a real fxc-compiled DXBC pixel shader, created via the real D3D11 | 238 | 10 |
| nx_pe_dll_d3d11tex.nx | TEXTURING through the real D3D11 API. 14 methods; adds the texture resource path: | 206 | 9 |
| nx_pe_dll_emit_gate.nx | WINDOWS-NATIVE CRUX: emit a sovereign PE *DLL with a named export* that a FOREIGN Windows | 148 | 8 |
| nx_pe_dll_id3d11.nx | DATA-DRIVEN generator for a DLL whose device conforms to Microsoft's REAL ID3D11Device vtable | 195 | 8 |
| nx_pe_hello_test.nx | substrate emits Hello World PE, writes to disk. | 47 | 1 |
| nx_pe_job_limit_test.nx | W2b: sovereign Windows Job Object ENFORCEMENT, native, no HCS. | 247 | 2 |
| nx_pe_job_run_test.nx | W2c: minimal sovereign Windows CONTAINER RUN, native, no HCS/VM. | 232 | 2 |
| nx_pe_job_self_test.nx | W2a: sovereign Windows Job Object, native, no HCS. | 278 | 2 |
| nx_pe_natbw.nx | GENERAL sovereign native-Windows PE emitter. | 416 | 6 |
| nx_pe_perf_probe.nx | measure, IN THE WINDOWS PE, where the transfer time goes. | 61 | 3 |
| nx_pe_spawn_test.nx | substrate emits PE that spawns a child process. | 40 | 1 |
| nx_pe_thunk_dump.nx | SOVEREIGN PE troubleshooting organ (replaces the python oracle). Reads a built | 63 | 5 |
| nx_pe_writer.nx | substrate-emitted Windows PE32+ bytes. | 952 | 10 |
| nx_pe_writer_test.nx | substrate emits a Windows PE, writes to disk. | 69 | 1 |