> "a thin layer on top of C++" ставит под сомнение предыдущую цитату

Ну, там есть кусок[1], который вставляет такой код (один инклуд и прототипы функций), попутно переименовывая файл в .cpp.

#include "WProgram.h"
void setup();
void loop();

> Ну раз дело дошло до канонов, тогда есть такой
> Остаётся показать, что программа на языке Wiring соответствует well-formed C++ program.
> Тогда утверждение "пишет на обычном C++" будет верным.

Это не те дроиды, что вы ищете. Я даже не смогу назвать компилятор C++ без расширений, делающих программу ill-formed[2], как __attribute__(()), например. Плюсовые программы в Wiring и Arduino способны быть ill-formed хотя бы из-за GCC.

Предупреждаю - если кто-нибудь скажет, что оба случая (инклуд и гццизм) создают новый язык, достойный отдельного названия, то я немедленно объявлю о создании семейства языков JebanyOpennetowskyDemagogue. JebanyOpennetowskyDemagogue1 будет Qt C++ из-за его Meta-Object Compiler, JebanyOpennetowskyDemagogue2 будет Cи-с-гццизмами, JebanyOpennetowskyDemagogue2A будет Си-с-авээр-гццизмами, JebanyOpennetowskyDemagogue3 будет Си-с-мсвцизмами, JebanyOpennetowskyDemagogue4 будет Си-с-шлангизмами...

[1] https://github.com/WiringProject/Wiring/blob/master/IDE/proc...
[2] 4.1/8: "A conforming implementation may have extensions", "such extensions that are ill-formed according to this document"