Gdzie znaleźć formalne specyfikacje metod setup() i loop() w Arduino?

Gdzie jest jakiś główny punkt czytania, ścisłe, formalne specyfikacje koncepcji softwarowej Arduino, bez filmów, pouczeń że porównania się pisze z podwójnym '==' i podobnymi dla początkujących.
Zmęczony jestem dokumentacją "user friendly".

Przykład: formalna specyfikacja na metodę setup() oraz loop().

Piotrus_999 napisał:

kody żródłowe bibliotek i startup.
To wszystko jest na githubie. Jak ktoś potrzebuje dokladnie zobaczyć jak to działa to po prostu zagląda do żródeł i już wie, Jak ktoś nie rozumie to opis niełopatologiczny tez będzie niezrozumiały.

Sugerujesz stwierdzeń "kategorycznych" pochodzących od projektanta mam się nie spodziewać ... zupełnie abstrakcyjnie "metoda setupXyx123() nie będzie wykonana więcej niż raz" albo "Zxy098() musi być odporna na wykonania więcej niż raz", albo "czas wykonania nie może być większy niż ... taktów/ms" ... czy skutkującym "aby się nazwać kompatybilnym ze standardem arduino musisz ...." ?

Niektórych rzeczy autorski kod nie niesie, z natury jest kompatybilny z wizją twórcy/ów, pytanie gdzie są granice ścisłego standardu .... rozumiem jest otwarte?

O dziwo, division sprzętowe jakoś wytworzyło specyfikacje ...