code wiki / (root) / nx_jobfollow_parse_gate.nx

nx_jobfollow_parse_gate.nx

buildroot/runtime/nx_jobfollow_parse_gate.nx

8357 B110 linesdepth 3pulls 4 transitivereach 0 importersview sourcekind gate/proof
docsdependenciesstructsconstsfunctions

about

nx_jobfollow_parse_gate.nx -- THE GATE FOR THE JOB-POINTER PARSE, 2026-09-04. SUBJECT: jf_job_id / jf_artifact_ready / jf_json_safe, in-process, pure. THE DEFECT THIS EXISTS TO MAKE IMPOSSIBLE COST ELEVEN DAYS AND WAS INVISIBLE TO EVERY OTHER TEST. The tools edge may answer any call with `JOB-STARTED id=<n>` instead of the organ's receipt. A client scanning for a bare `id=` reads the JOB id as the ORGAN's id and reports a receipt that never existed. MEASURED: nx_content_put_client printed `CP-BEGIN id=1788537161 chunk_raw= nchunks=` while the real receipt in the job artifact was `CP-BEGIN id=1788537161795845 ... chunk_raw=48402 nchunks=1`. Both ids are epoch-derived, so the wrong one is a plausible PREFIX of the right one -- which is exactly why it was printed as a fact rather than questioned. The organ had never completed a single transfer. THE LOAD-BEARING TOOTH IS THE NEGATIVE ONE. Any implementation returns the right answer on a real job pointer; the defect lives entirely in what happens to a receipt that merely CONTAINS an id. So the tooth that matters asserts jf_job_id REFUSES a bare `id=`, and a gate without it would go green on the very code that shipped broken. PURE BY CONSTRUCTION, WHICH IS WHY THE PARSE WAS SPLIT OUT AT ALL. nx_jobfollow_parse imports only nx_syscalls, so this gate opens no socket -- on the nx_https_post_lib_gate precedent, a gate that needs the network goes RED for someone else's outage and its RED then indicts this code. license_tier: ORIGINAL No hw writes (Rule 26). expect_exit: 0

dependencies 3 imports · 0 importers

nx_syscalls.nx nx_gate_verdict.nx nx_jobfollow_parse.nx nx_jobfollow_parse_gate.nx

imports: nx_syscalls.nxnx_gate_verdict.nxnx_jobfollow_parse.nx

imported by: nobody (leaf or entry point)

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

main gv_ctr sys_mmap nxa_die sys_write sys_exit nxa_lock_take nxa_lock_addr sys_write ↻ nxa_lock_give nxa_lock_addr ↻ nxa_report_overrun sys_write ↻ nxa_dump_printable sys_write ↻ nxa_dump_sizes sys_write ↻ sys_mmap ↻ jpg_lit gv_check_eq gv_check gv_puts sys_write ↻ gv_puts ↻ gv_num sys_mmap ↻ sys_write ↻ sys_munmap jf_job_id jf_find jf_slen jf_artifact_ready jf_has jf_find ↻ jf_json_safe jf_outcome_unknown jf_has ↻ jf_should_reissue jf_req_keyed jf_has ↻

structs

none

consts

27const JPG_BUF: i64 = 512

functions

31func jpg_lit(s: *u8, out: *u8) -> i64
called by 1: main
37func main() -> i64