code wiki / (root) / nx_ice_scale_gate.nx

nx_ice_scale_gate.nx

buildroot/runtime/nx_ice_scale_gate.nx

8992 B192 linesdepth 3pulls 3 transitivereach 0 importersview sourcekind gate/prooftopic ice
docsdependenciesstructsconstsfunctions

about

nx_ice_scale_gate.nx -- gate for the personal-to-industrial ladder. T0 residence: 1200 s in a home barrel, 30 s in a continuous freezer T1 **the mechanism: undercooling RISES with scale, 13000 -> 21500 mC T2 crystal at draw 32.5 um continuous, 16.2 um cold-extruded; the BATCH figure is UNKNOWN rather than invented T3 **the ordering IS measured: scaling up improves crystal size T4 a home freezer is not a hardening tunnel: 720 min vs 25 min T5 throughput 6 / 37 / 600 litres per hour across the ladder T6 **freezing energy DERIVED at 224794 J/kg, 766 permil of it LATENT T7 34 Wh/kg electrical at a COP of 1.80 T8 **energy costs 0.55 cents per litre -- it is NOT the cost driver T9 ***labour per litre falls 100x across the ladder -- it IS the driver T10 the organ holds no verified price and says so T11 the cold chain, where the small producer actually wins T12 impossible classes, temperatures and fractions REFUSE license_tier: ORIGINAL expect_exit: 0

dependencies 2 imports · 0 importers

nx_syscalls.nx nx_ice_scale.nx nx_ice_scale_gate.nx

imports: nx_syscalls.nxnx_ice_scale.nx

imported by: nobody (leaf or entry point)

call flow from main pre-order; caps 40 nodes / depth 6 declared; ↻ = already shown

main sys_mmap gw sys_write gck gw ↻ t0 isc_residence_s t1 isc_undercooling_mc isc_barrel_wall_mc isc_draw_mc isc_residence_s ↻ t2 isc_crystal_at_draw_q1 t3 isc_batch_makes_larger_cry isc_scaling_improves_cryst isc_small_batch_is_finer t4 isc_has_true_hardening isc_hardening_minutes t5 isc_throughput_l_per_h isc_residence_s ↻ t6 isc_freeze_energy_j_per_kg isc_latent_share_permil isc_freeze_energy_j_per_kg ↻ t7 isc_freeze_energy_j_per_kg ↻ isc_electrical_wh_per_kg t8 isc_freeze_energy_j_per_kg ↻ isc_electrical_wh_per_kg ↻ isc_energy_cost_per_l_cent t9 isc_throughput_l_per_h ↻ isc_labour_per_l_cents_q2 isc_freeze_energy_j_per_kg ↻

structs

none

consts

35const GT_T_IN_MC: i64 = 4000
36const GT_T_FP_MC: i64 = 0 - 2500
37const GT_T_FINAL_MC: i64 = 0 - 18000
38const GT_WATER: i64 = 600
39const GT_FROZEN: i64 = 860
40const GT_MIX_DENS: i64 = 1090
41const GT_COP_Q2: i64 = 180
42const GT_TARIFF_C: i64 = 15
43const GT_WAGE_C_H: i64 = 2000

functions

22func gw(s: *u8) -> i64 { var n: i64=0; while s[n]!=(0 as u8){n=n+1} sys_write(1,s,n); return 0 }
called by 2: gckmain calls 1: sys_write
23func gn(v: i64) -> i64
called by 1: main calls 2: sys_mmapsys_write
28func gck(pass: i64, name: *u8, fails: *i64) -> i64
called by 1: main calls 1: gw
45func t0() -> i64
called by 1: main calls 1: isc_residence_s
54func t1() -> i64
63func t2() -> i64
called by 1: main calls 1: isc_crystal_at_draw_q1
72func t3() -> i64
82func t4() -> i64
90func t5() -> i64
called by 1: main calls 1: isc_throughput_l_per_h
98func t6() -> i64
108func t7() -> i64
115func t8() -> i64
126func t9() -> i64
142func t10() -> i64
149func t11() -> i64
157func t12() -> i64
169func main() -> i64
calls 18: sys_mmapgwgckt0t1t2+12