code wiki / (root) / nx_number_envelope_gate.nx

nx_number_envelope_gate.nx

buildroot/runtime/nx_number_envelope_gate.nx

4204 B39 linesdepth 3pulls 3 transitivereach 0 importersview sourcekind gate/proof
docsdependenciesstructsconstsfunctions

about

nx_number_envelope_gate.nx -- CE6 (codeeffectiveness ce_number_envelope): the envelope primitive in the gate base class publishes a figure ONLY with n, an interval containing it and a null control, and refuses every other shape BY NAME with its own code. In-process: the subject is nx_gate_verdict.nx itself, so this gate is RED the moment the primitive stops discriminating (a primitive that publishes everything passes every well-formed tooth and fails the bite). The fixture figures are the estate's own scorer numbers (419 permil on all 365 judged queries) so the demo lines read like a real emit, and every expected code was decided before the run. exit: 0 GREEN . 1 RED . 3 SKIP license_tier: ORIGINAL No hw writes.

dependencies 2 imports · 0 importers

nx_syscalls.nx nx_gate_verdict.nx nx_number_envelope_gate.nx

imports: nx_syscalls.nxnx_gate_verdict.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 ↻ gv_check_eq gv_check gv_puts ↻ gv_puts ↻ gv_num sys_mmap ↻ sys_write ↻ sys_munmap ce_number_envelope ce_env_refuse gv_puts ↻ gv_num ↻ gv_puts ↻ gv_num ↻ gv_check ↻ gv_bite gv_puts ↻ gv_values_head gv_puts ↻ gv_kv

structs

none

consts

11const ENV_N: i64 = 365 // observations behind the fixture figure
12const ENV_V: i64 = 419 // the figure, permil
13const ENV_LO: i64 = 388 // interval floor, permil
14const ENV_HI: i64 = 450 // interval ceiling, permil
15const ENV_NULL: i64 = 21 // what the same ruler read on the null subject, permil
16const ENV_NEG_N: i64 = 0 - 3

functions

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