code wiki / _hdl_build / nx_deltaclass_gate.nx

nx_deltaclass_gate.nx

buildroot/runtime/_hdl_build/nx_deltaclass_gate.nx

6485 B155 linesdepth 3pulls 4 transitivereach 0 importersview sourcekind gate/proof
docsdependenciesstructsconstsfunctions

about

nx_deltaclass_gate.nx -- teeth for the scope-vs-execution decomposition. The fixtures are NOT synthetic: E_* are the REAL ecomat ledger endpoints two weeks apart (2026-07-18 sum_cur=34 sum_bar=68 domains=15 -> 2026-08-01 sum_cur=51 sum_bar=122 domains=26, published headline 500 -> 418 permil). Grading the instrument against the very numbers it must explain is the point: a decomposition that cannot reproduce the published delta explains nothing. expect_exit: 0 license_tier: ORIGINAL No hw writes (Rule 26).

dependencies 2 imports · 0 importers

nx_gate_verdict.nx nx_deltaclass_lib.nx nx_deltaclass_gate.nx

imports: nx_gate_verdict.nxnx_deltaclass_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 gv_head gv_puts sys_write dc_permil dc_unmeasured gv_check gv_puts ↻ dc_exec_effect dc_permil ↻ dc_unmeasured ↻ dc_scope_effect dc_permil ↻ dc_unmeasured ↻ dc_total dc_permil ↻ dc_unmeasured ↻ dc_residual dc_total ↻ dc_exec_effect ↻ dc_scope_effect ↻ dc_unmeasured ↻ dc_scope_class dc_exec_class dc_diverging dc_verdict dc_unmeasured ↻ dc_diverging ↻ dc_exec_effect ↻ dc_scope_effect ↻ dc_abs dc_eta dc_unmeasured ↻ dc_diverging ↻ dc_gap dc_unmeasured ↻ dc_abs ↻ gv_bite

structs

none

consts

12const E_CUR0: i64 = 34
13const E_BAR0: i64 = 68
14const E_DOM0: i64 = 15
15const E_CUR1: i64 = 51
16const E_BAR1: i64 = 122
17const E_DOM1: i64 = 26
18const E_P0: i64 = 500
19const E_P1: i64 = 418
20const E_EXEC: i64 = 250
21const C_CUR0: i64 = 10
22const C_CUR1: i64 = 20
23const C_BAR: i64 = 100
24const C_ETA: i64 = 8

functions

26func main(argc: i64, argv: *i64) -> i64
calls 17: gv_ctrgv_headdc_permilgv_checkdc_exec_effectdc_scope_effect+11