code wiki / _hdl_build / nx_record_tsv_gate.nx
nx_record_tsv_gate.nx
buildroot/runtime/_hdl_build/nx_record_tsv_gate.nx
about
nx_record_tsv_gate.nx -- referee for the TSV <-> NXR1 compatibility bridge (seq1326 rung 2).
T1 IS THE TOOTH THAT MAKES ADOPTION SAFE: a real tab-delimited line survives tsv -> NXR1 -> tsv
BYTE-IDENTICAL. Without that, migrating a plane's physical format silently rewrites its data and every
legacy reader is a liar. With it, a plane can be stored as NXR1 today and its existing decoders keep
reading the exact same bytes (rule 19) until each is migrated deliberately.
T5 IS THE TOOTH THAT KEEPS THE BRIDGE HONEST: a record holding a value TSV cannot represent must be
REFUSED at render time, not silently emitted as extra columns. T6 is its non-vacuity partner -- the same
record with the offending byte removed MUST render fine, proving T5 refuses because of the TAB and not
because rendering is simply broken.
license_tier: ORIGINAL expect_exit: 0
dependencies 2 imports · 0 importers
imports: nx_gate.nxnx_record_tsv.nx
imported by: nobody (leaf or entry point)
call flow from main pre-order; caps 40 nodes / depth 6 declared; ↻ = already shown
structs
| none |
consts
| 17 | const RG_TEETH: i64 = 8 |
| 18 | const RG_BUF: i64 = 4096 |
| 19 | const RG_A: i64 = 97 |
| 20 | const RG_B: i64 = 98 |
| 21 | const RG_C: i64 = 99 |
| 22 | const RG_X: i64 = 120 |
| 23 | const RG_Y: i64 = 121 |
| 24 | const RG_Z: i64 = 122 |
| 25 | const RG_D4: i64 = 52 |
| 26 | const RG_D2: i64 = 50 |
| 27 | const RG_TAB9: i64 = 9 |
| 28 | const RG_VAL42: i64 = 42 |
| 29 | const RG_DEF: i64 = 0 - 7 |
| 30 | const RG_TINYCAP: i64 = 2 |
functions
| 32 | func rg_row(name: *u8, ok: i64) -> i64 |
| 37 | func rg_same(a: *u8, b: *u8, n: i64) -> i64 called by 1: main |
| 44 | func main() -> i64 |