No libraries — read from pin names and pinMode alone.
Pin contract
An immutable contract owned by the project. It survives level changes; on a target board only the physical pins are remapped.
Logical name
Pin
Direction
Signal
Declared as
led
D9
out
pwm
#define
This page passes no verification gate. Logic (simulator), electrical (ERC · DRC) and physical (your confirmation) verification each run separately inside a project.
Next step
Same sketch, from simulation to PCB
The code stays as it is. Run it on avr8js in the Playground; import it into a project and the 8-pass electrical verification, KiCad board generation and Gerber export follow.