code wiki / (root) / nx_uxf_negotiate_gate.nx

nx_uxf_negotiate_gate.nx

buildroot/runtime/nx_uxf_negotiate_gate.nx

4475 B74 linesdepth 3pulls 4 transitivereach 0 importersview sourcekind gate/prooftopic uxf
docsdependenciesstructsconstsfunctions

about

nx_uxf_negotiate_gate.nx -- the D001 MIGRATION of nx_uxf_negotiate_test onto nx_gate_verdict (2026-09-06). The headline case is the operator's own: MKV carrying H.264 and AAC, served to Chrome, must resolve to REMUX and not TRANSCODE -- Chrome cannot read the MKV container but decodes both codecs fine, so the correct answer is a LOSSLESS REWRAP. Getting this wrong in the safe-looking direction (transcode everything) is silent quality loss, which is why the plan is asserted per case rather than in aggregate. ALL FIVE ORIGINAL TEETH PRESERVED IN ORDER AND PREDICATE, PLUS TWO THE ORIGINAL LACKED. The original PRINTED whether the capability rows loaded but never asserted it, so a failure to read the TSV would have been judged only indirectly by the outcomes. T0a and T0b now assert the fixture REACHED ITS CONDITION before any outcome is claimed, which is the estate's standing rule for exactly this shape. license_tier: ORIGINAL No hw writes (Rule 26).

dependencies 3 imports · 0 importers

nx_gate_verdict.nx nx_syscalls.nx nx_uxf_negotiate.nx nx_uxf_negotiate_gate.nx

imports: nx_gate_verdict.nxnx_syscalls.nxnx_uxf_negotiate.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 ↻ gv_head gv_puts sys_write ↻ sys_mmap ↻ sys_read_file sys_openat_rd sys_lseek sys_mmap ↻ sys_read sys_munmap sys_close gv_puts ↻ gv_verdict gv_note_bare_rate gv_bare_rate gv_at gv_obj_has_n gv_at ↻ gv_puts ↻ gv_num sys_mmap ↻ sys_write ↻ sys_munmap ↻

structs

none

consts

17const UN_CAPBUF: i64 = 256
18const UN_LENP: i64 = 8
19const UN_CAPS_OK: i64 = 1

functions

21func main(argc: i64, argv: *i64) -> i64