Examples

Night light

The darker the light sensor reads, the brighter the LED — the brightness is an analogWrite duty cycle.

Arduino Uno R30 libraries17 linesOverall confidence 100%

SourceRead onlyuno_ldr_nightlight.ino

// Night light: an LDR dims an LED — the darker it gets, the brighter the lamp #define LDR_PIN A0 #define LED_PIN 9 void setup() { Serial.begin(9600); pinMode(LED_PIN, OUTPUT); } void loop() { int light = analogRead(LDR_PIN); int brightness = constrain(map(light, 0, 1023, 255, 0), 0, 255); analogWrite(LED_PIN, brightness); Serial.print("light "); Serial.print(light); Serial.print(" -> pwm "); Serial.println(brightness); delay(100); }

What the parser saw

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

Parts

ledidentifier LED_PIN

60%

ldridentifier LDR_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
LDR_PIN	A0	in	analog	#define
LED_PIN	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.

Run in Playground Import into a project