code wiki / (root) / nx_icecream_bench_gate.nx

nx_icecream_bench_gate.nx

buildroot/runtime/nx_icecream_bench_gate.nx

11333 B255 linesdepth 3pulls 4 transitivereach 0 importersview sourcekind gate/proof

docs dependencies structs consts functions

about

nx_icecream_bench_gate.nx -- gate for the frozen-dessert RULER. T0 Ben & Jerry's Vanilla density off the verified label = 0.906 g/mL T1 composition off the panel: 146 permil fat, 399 permil total solids T2 total milk solids 259 permil (MSNF inferred from protein) T3 unaerated mix density 1.090 g/mL (Guelph specific-volume model) T4 derived overrun 203 permil = 20.3% T5 AIR FRACTION IS NOT OVERRUN: 168 vs 203 permil, and they never agree T6 the two legal floors: weight 539, solids 480 at this TS => WEIGHT binds T7 the floors cross at 356 permil total solids -- computed, not typed T8 above the crossover the shipped one-floor law is right BY LUCK: err 0 T9 ★below it the shipped law OVER-PERMITS by 200 permil of air T10 the reference passes all FOUR clauses of 21 CFR 135.110 T11 ★ISOLATING NEGATIVE CONTROL: a mix that passes milkfat, milk solids AND the 4.5 lb/gal weight floor and is still NOT ice cream -- failure bitmask is exactly 8, so the fourth clause is load-bearing, not dead T12 assumption-free: the reference is 117 permil denser than Haagen-Dazs T13 meltdown: a mono/di + PS80 system holds shape 2.2x longer than yolk T14 provenance flags all report honestly (derived / inferred / unmeasured) T15 refusals: impossible composition and impossible overrun both REFUSE license_tier: ORIGINAL expect_exit: 0

dependencies 3 imports · 0 importers

imports: nx_syscalls.nxnx_icecream_bench.nxnx_icecream.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

39	const GT_LOW_FAT_PERMIL: i64 = 100
40	const GT_LOW_TS_PERMIL: i64 = 320

functions

27	func 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: gck main calls 1: sys_write
28	func gn(v: i64) -> i64 called by 1: main calls 2: sys_mmap sys_write
33	func gck(pass: i64, name: u8, fails: i64) -> i64 called by 1: main calls 1: gw
43	func gt_solids_only_failure() -> *BenchProduct called by 1: t11 calls 1: bench_product_new
53	func t0() -> i64 called by 1: main calls 2: bench_ref_benjerry bench_density_q3
59	func t1() -> i64 called by 1: main calls 4: bench_ref_benjerry bench_fat_permil bench_total_solids_permil bench_water_permil
67	func t2() -> i64 called by 1: main calls 3: bench_ref_benjerry bench_msnf_permil bench_total_milk_solids_permil
74	func t3() -> i64 called by 1: main calls 2: bench_ref_benjerry bench_mix_density_of
80	func t4() -> i64 called by 1: main calls 2: bench_ref_benjerry bench_overrun_of
88	func t5() -> i64 called by 1: main calls 4: bench_ref_benjerry bench_overrun_of bench_air_permil_from_overrun bench_air_equals_overrun
99	func t6() -> i64 called by 1: main calls 4: bench_min_density_weight_q3 bench_min_density_solids_q3 bench_binding_floor bench_min_density_q3
107	func t7() -> i64 called by 1: main calls 2: bench_floor_crossover_permil bench_binding_floor
114	func t8() -> i64 called by 1: main calls 6: bench_ref_benjerry bench_mix_density_of bench_total_solids_permil bench_max_overrun_permil bench_shipped_law_error_permil bench_shipped_law_over_permits
127	func t9() -> i64 called by 1: main calls 6: bench_mix_density_q3 bench_binding_floor bench_max_overrun_permil bench_max_overrun_weight_only_permil bench_shipped_law_error_permil bench_shipped_law_over_permits
138	func t10() -> i64 called by 1: main calls 6: bench_ref_benjerry bench_density_q3 bench_weight_lb_per_gal_q2 bench_solids_lb_per_gal_q2 bench_fda_failures bench_is_ice_cream
152	func t11() -> i64 called by 1: main calls 9: gt_solids_only_failure bench_density_q3 bench_total_solids_permil bench_fat_permil bench_total_milk_solids_permil bench_weight_lb_per_gal_q2+3
165	func t12() -> i64 called by 1: main calls 4: bench_ref_benjerry bench_hd_density_q3 bench_denser_than_hd_permil bench_hd_composition_is_known
173	func t13() -> i64 called by 1: main calls 2: bench_meltdown_advantage_q3 bench_first_drip_min
183	func t14() -> i64 called by 1: main calls 7: bench_overrun_is_derived bench_meltdown_claim_is_inferred bench_reference_was_physically_measured bench_reference_uses_lbg bench_reference_uses_added_emulsifier bench_ref_benjerry+1
194	func t15() -> i64 called by 1: main calls 4: bench_mix_density_q3 bench_overrun_permil bench_min_density_solids_q3 bench_destab_permil
212	func t16() -> i64 called by 1: main calls 8: ic_min_density_weight_q3 bench_min_density_weight_q3 ic_min_density_solids_q3 bench_min_density_solids_q3 ic_max_legal_overrun_pct2 bench_max_overrun_permil+2
227	func main() -> i64 calls 22: sys_mmap gw gck t0 t1 t2+16