Praxis

Praxis és el pla de control de la Companyia per a programari autònom. Defineix què pot ser cada intel·ligència, la instancia, li dona una identitat, un entorn i una autoritat, li assigna feina, en supervisa l'execució i en conserva l'estat.

Una classe d'agent es declara una sola vegada, en un mòdul de NixOS, i es compila en una política que el nucli fa complir. El que un agent pot fer no és una petició que el model pot desobeir. És un fet de la màquina, cert per a cada instància.

A les 02:30 un temporitzador desperta un agent. Llegeix la cua de treball i delega en tres especialistes que treballen alhora, cadascun a la seva gàbia. Al matí hi ha tres branques i un registre complet de la nit. L'operador ha escrit dues ordres.