Un NockApp este o mașină cu stare solidă. Starea = un substantiv Nock (arbore binar de numere întregi fără semn). Fără starea ascunsă a șoferului. Fără dependențe de sistemul de operare. Fără baze de date, ORM-uri sau biblioteci de serializare. starea veche + eveniment → stare nouă + efecte Funcții pure. Persistență deterministă. Nucleul calculează, runtime-ul gestionează I/O. Dezvoltatorii nici măcar nu vor ști cât de plăcut este până nu vor construi prima lor NockApp.