nx_number_envelope_gate.nx
buildroot/runtime/nx_number_envelope_gate.nx
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
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
structs
| none |
consts
| 11 | const ENV_N: i64 = 365 // observations behind the fixture figure |
| 12 | const ENV_V: i64 = 419 // the figure, permil |
| 13 | const ENV_LO: i64 = 388 // interval floor, permil |
| 14 | const ENV_HI: i64 = 450 // interval ceiling, permil |
| 15 | const ENV_NULL: i64 = 21 // what the same ruler read on the null subject, permil |
| 16 | const ENV_NEG_N: i64 = 0 - 3 |
functions
| 18 | func main(argc: i64, argv: *i64) -> i64 |