code wiki / (root) / nx_taste_transduce_test.nx

nx_taste_transduce_test.nx

buildroot/runtime/nx_taste_transduce_test.nx

2364 B56 linesdepth 3pulls 3 transitivereach 0 importersview sourcekind gate/prooftopic taste
docsdependenciesstructsconstsfunctions

about

nx_taste_transduce_test.nx -- smoke for nx_taste_transduce (T0). Proves real receptor transduction + the MEASURED EXCEED over a static/ linear taste score: - monotone dose-response, half-max at K (1-4) - SATURATION: 8x stimulus -> < 2x perception (5), and far below the linear prediction (6) -- the exceed a static score cannot make - high-dose saturation toward Imax (7) - THRESHOLD gating: sub-threshold registers 0 (8-9) - 1000x sensitivity range: bitter detected where sweet is not (10-11) - cooperative (h=2) half-max at K for bitter (12-13) Exit code = failed assertion number; 0 = all pass.

dependencies 2 imports · 0 importers

nx_syscalls.nx nx_taste_transduce.nx nx_taste_transduce_test.nx

imports: nx_syscalls.nxnx_taste_transduce.nx

imported by: nobody (leaf or entry point)

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

main nx_taste_receptor sys_mmap nx_taste_response_milli nx_taste_detectable

structs

none

consts

none

functions

17func main() -> i64