code wiki / (root) / nx_ice_stabiliser_gate.nx

nx_ice_stabiliser_gate.nx

buildroot/runtime/nx_ice_stabiliser_gate.nx

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

about

nx_ice_stabiliser_gate.nx -- gate for the hydrocolloid term. T0 ★LBG is INERT without milk protein and works with it (310 permil) T1 the protein-conditional flag separates LBG from xanthan T2 ⚠GUAR -- the gum the reference product uses -- has NO measured protein-conditional data in either direction T3 gelatin's illegible cell reads UNKNOWN, never a substituted guess T4 the CONTROL ITSELF MOVES with protein (4.02 -> 4.59), so retardation must be taken against the matching control T5 saturation at 0.3% w/w: dose past it is wasted, and measured as such T6 recommended stabiliser FALLS as fat rises (35 -> 25 -> 15 per 10k) T7 carrageenan minimum is dosed off PROTEIN: 13 per 100k at 41 permil T8 carrageenan window is bounded BOTH sides: under-dose and gelling T9 incompatibility xanthan > guar > LBG; guar demands a secondary T10 ★★THE TRAP: Flores means show a 258 permil apparent gain and the study found NO significant difference -- both are returned T11 ★the refusals: model result does not transfer; gum swap unsupported T12 mechanism is ice adsorption, not viscosity; storage, not freezing T13 unknown gums and impossible doses REFUSE license_tier: ORIGINAL expect_exit: 0

dependencies 2 imports · 0 importers

nx_syscalls.nx nx_ice_stabiliser.nx nx_ice_stabiliser_gate.nx

imports: nx_syscalls.nxnx_ice_stabiliser.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 stab_retardation_permil stab_rate_q2 stab_rate_with_protein_q2 stab_rate_no_protein_q2 stab_rate_is_measured stab_rate_q2 ↻ stab_lbg_inert_without_pro stab_retardation_permil ↻ t1 stab_is_protein_conditiona stab_rate_is_measured ↻ stab_retardation_permil ↻ stab_retardation_permil ↻ t2 stab_rate_is_measured ↻ stab_rate_no_protein_q2 ↻ stab_retardation_permil ↻ t3 stab_rate_no_protein_q2 ↻ stab_rate_with_protein_q2 ↻ stab_rate_is_measured ↻ t4 stab_rate_q2 ↻ t5 stab_effective_dose_q4 stab_wasted_dose_q4 t6 stab_recommended_total_q4 t7 stab_casein_permil stab_min_carrageenan_q5 stab_casein_permil ↻ t8

structs

none

consts

37const GT_BJ_PROTEIN_PERMIL: i64 = 41

functions

25func 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
26func gn(v: i64) -> i64
called by 1: main calls 2: sys_mmapsys_write
31func gck(pass: i64, name: *u8, fails: *i64) -> i64
called by 1: main calls 1: gw
39func t0() -> i64
48func t1() -> i64
58func t2() -> i64
66func t3() -> i64
78func t4() -> i64
called by 1: main calls 1: stab_rate_q2
85func t5() -> i64
96func t6() -> i64
called by 1: main calls 1: stab_recommended_total_q4
106func t7() -> i64
112func t8() -> i64
called by 1: main calls 1: stab_carrageenan_dose_ok_q4
122func t9() -> i64
133func t10() -> i64
144func t11() -> i64
151func t12() -> i64
159func t13() -> i64
168func main() -> i64
calls 19: sys_mmapgwgckt0t1t2+13