Examples

Parking sensor

An ultrasonic range finder beeps at shorter intervals as something gets closer, and lights an LED inside 30 cm.

Arduino Uno R30 libraries38 linesOverall confidence 100%

SourceRead onlyuno_parking_sensor.ino

// Parking sensor: an ultrasonic range finder beeps faster the closer something gets #define TRIG_PIN 9 #define ECHO_PIN 10 #define BUZZER_PIN 8 #define LED_PIN 13 long readDistanceCm() { digitalWrite(TRIG_PIN, LOW); delayMicroseconds(2); digitalWrite(TRIG_PIN, HIGH); delayMicroseconds(10); digitalWrite(TRIG_PIN, LOW); long us = pulseIn(ECHO_PIN, HIGH, 30000); return us / 58; // 340 m/s, there and back } void setup() { Serial.begin(9600); pinMode(TRIG_PIN, OUTPUT); pinMode(ECHO_PIN, INPUT); pinMode(BUZZER_PIN, OUTPUT); pinMode(LED_PIN, OUTPUT); } void loop() { long cm = readDistanceCm(); Serial.print(cm); Serial.println(" cm"); if (cm > 0 && cm < 30) { digitalWrite(LED_PIN, HIGH); tone(BUZZER_PIN, 1200, 60); delay(cm * 8 + 40); // closer means a shorter gap between beeps } else { digitalWrite(LED_PIN, LOW); noTone(BUZZER_PIN); delay(300); } }

What the parser saw

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

Parts

buzzertone(BUZZER_PIN,

80%

hc_sr04identifier TRIG_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
BUZZER_PIN	D8	out	pwm	#define
TRIG_PIN	D9	out	digital	#define
ECHO_PIN	D10	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