code wiki / (root) / nx_identity_space_gate.nx

nx_identity_space_gate.nx

buildroot/runtime/nx_identity_space_gate.nx

10851 B188 linesdepth 8pulls 14 transitivereach 0 importersview sourcekind gate/prooftopic identity
docsdependenciesstructsconstsfunctions

about

nx_identity_space_gate.nx -- THE REFEREE FOR THE CORRELATED IDENTITY DRAW (graphics GR24, clauses 1-3). GR24's done-rule, quoted from graphics.plan so the bar cannot drift: "semantic master parameters ... fan out into correlated low-level axes through a FULL COVARIANCE draw rather than independent per-channel sampling ... with each axis drawing from its own split stream so adding a parameter never reshuffles existing genomes; every character reproducible and auditable from its genome, proven by bit-identical regeneration from the seed and by the referee panel showing identity spread across a population without any member falling below the admitted tier floor" This gate proves the FULL COVARIANCE DRAW, the SPLIT STREAMS and the BIT-IDENTICAL REGENERATION. The referee-panel clause is NOT claimed: that panel's only voting lens is currently self-refusing, which is a blocker on the panel and not on this draw, and asserting it here would be borrowing another rung's evidence. THE TWO LOAD-BEARING TEETH: * SPLIT STREAMS -- drawing 3 axes and 5 axes from the SAME seed must give IDENTICAL values for axes 0..2. Under a single shared stream they would differ, and every genome in the back catalogue would silently change the day someone appended a parameter. Nothing else in this gate can catch that. * CORRELATED vs INDEPENDENT -- the empirical off-diagonal of a correlated population must land near its target while the same machinery with a DIAGONAL factor lands near zero. A covariance check that only looked at the diagonal would pass the exact defect this rung exists to replace. license_tier: ORIGINAL No hw writes (Rule 26).

dependencies 3 imports · 0 importers

nx_syscalls.nx nx_gate_verdict.nx nx_identity_space_lib.nx nx_identity_space_gate.nx

imports: nx_syscalls.nxnx_gate_verdict.nxnx_identity_space_lib.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 ↻ isg_mat2 nx_mat_new nx_mat_set fq_from_int nx_mat_new ↻ gv_check_eq gv_check gv_puts ↻ gv_puts ↻ gv_num sys_mmap ↻ sys_write ↻ sys_munmap la_cholesky_q30 nx_mat_set ↻ la_is_symmetric nx_mat_get nx_mat_get ↻ fq_mul fq_sqrt

structs

none

consts

26const ISG_POP: i64 = 2000 // population for the covariance estimate; the band below is derived from it
27const ISG_SEED: i64 = 20260903

functions

29func isg_vec(n: i64) -> *i64 { return sys_mmap(n * 8) as *i64 }
called by 1: main calls 1: sys_mmap
31func isg_mat2(a: i64, b: i64, c: i64, d: i64) -> *Mat
40func main() -> i64