Examples

Motion lamp

A PIR sensor lights the lamp and holds it on for three seconds after the last movement.

Arduino Uno R30 libraries24 linesOverall confidence 100%

SourceRead onlyuno_pir_lamp.ino

// Motion lamp: a PIR sensor lights the lamp and holds it on for three seconds after the last movement #define PIR_PIN 2 #define LED_PIN 13 unsigned long litUntil = 0; bool wasLit = false; void setup() { Serial.begin(9600); pinMode(PIR_PIN, INPUT); pinMode(LED_PIN, OUTPUT); } void loop() { if (digitalRead(PIR_PIN) == HIGH) litUntil = millis() + 3000; bool lit = millis() < litUntil; digitalWrite(LED_PIN, lit ? HIGH : LOW); if (lit != wasLit) { Serial.println(lit ? "lamp on" : "lamp off"); wasLit = lit; } delay(50); }

What the parser saw

Extracted from #include · #define · pinMode · constructor arguments. The output of a deterministic parser, not an AI.

Parts

hc_sr501identifier PIR_PIN

60%

ledidentifier LED_PIN

60%

Buses

—

Libraries

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
PIR_PIN	D2	in	digital	#define
LED_PIN	D13	out	digital	#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.

Run in Playground Import into a project