01
The PCB Hardening Problem
Asking general-purpose AI agents to write a schematic or route copper is easy, but they design blindly. They produce plausible-looking circuits that ignore thermal limits, hallucinate connections, or miss critical safety interlocks.
To make AI-designed hardware safe and repeatable, Lyon Industries is building a deterministic validation pipeline. The goal is to compile plain-language intent directly into verified, manufacturable PCBs. If we can enforce engineering rigor automatically, hardware development becomes as fast, cheap, and agile as software.
The compiler does not replace professional design review. Instead, it converts manual checks into automated gates, verifying every component, part number, and operating envelope against primary source documents before any fabrication files are exported.
02
The Validation Harness
Our pipeline wraps AI agents in a strict engineering environment. It defines requirements, verifies component provenance, and runs layout checks inside a pinned KiCad 10.0.3 runtime.
Before drawing a single line of copper, the compiler verifies that every claim is backed by a registered manufacturer PDF. If a requirement is open or a calculation fails, the pipeline halts. The system acts as a strict check on agent autonomy, enforcing DRC, ERC, and release compliance at every compile step.
01
Requirements
Nine project requirements and two decisions are hashed into a candidate baseline. Seven requirements are still open, including the load, field supply, channel count, environment, and fault behaviour.
9 requirements / 7 open
02
Source and evidence records
Source, claim, component, circuit-block, artifact, and review records retain part identity, usage rights, document locations, hashes, operating conditions, and review state.
17 schemas / 105 tests
03
Agent skill
One portable skill gives both agents the same requirements, source-capture, PDF-indexing, validation, release, and isolated KiCad commands.
Codex / Claude Code
04
Native EDA
KiCad 10.0.3 source and library revisions are pinned. A native passive fixture exists, but the source-built runtime has not completed qualification.
Runtime not qualified
05
Manufacturing release
The release model checks artifact roles, hashes, tampering, requirement baselines, and approval state. No irrigation fabrication package exists.
No product files
Release rule
A schema check covers the engineering records. DRC covers the PCB rules. Neither one resolves an unknown load or proves that a physical board works.
03
The Bürkert Footnote Surprise
Our first roadblock came from a silent failure in AI reasoning, demonstrating why automated validation is necessary.
For a low-pressure gravity system, the agent selected the Bürkert Type 6213 (article 221630) solenoid valve. The shop page listed a pressure range starting at 0 bar and a flow coefficient of 8.3 m³/h, which looked perfect. But deep on page 18 of the datasheet, note 2 revealed that the valve requires a 0.5 bar differential pressure to open fully. Under gravity pressure (0.1 bar), it would choke the flow. The AI saw the shop values but missed the qualifier, a mistake that would have shipped non-functional hardware to a physical installation.
| Evidence | Observed value | Engineering consequence |
|---|---|---|
| Product record | 0–10 bar / Kv 8.3 / article 221630 | Candidate identity only |
| Datasheet note | 0.5 bar for full-section opening | Controls use of the published coefficient |
| Lyon calculation | 43.7 L/min at an assumed 0.10 bar | Rejected outside the stated applicability envelope |
This is a component rejection, not a measured valve test. Product availability, field pressure, pipe loss, filtration, and delivered flow remain separate questions.
04
The Irrigation Test Vehicle
We are testing this compiler on a low-cost, offline irrigation controller. The goal is to prove the pipeline can design a simple, repairable board that survives real-world field conditions.
The reference requirements are based on a shared-tank distribution archetype in Tamale, Ghana, where women farmers manually water dry-season plots. An offline controller could automate water scheduling and allocation. However, field studies in Zimbabwe show that 84% of relief drip kits fail within three years due to a lack of local support. The PCB is justified only if it reduces lifecycle and repair costs compared to a passive siphon or manual valve.
Before releasing any board files, we are building a physical test bench in Stavanger to characterize our provisional SMC VXEZ23 solenoid load. We must measure the startup current, holding power, and inductive turn-off energy. The compiler's software checks are passing, but the ultimate proof must be physical bring-up.
Bench proposal
Characterise one exact 12 V load before designing its power stage
The provisional SMC VXEZ23 load draws a stated 0.88 A for 200 ms before its internal power-saving circuit settles to 3 W. The proposed bench measures that waveform, turn-off energy, pressure, flow, leakage, temperature, brownout response, and closure time across a controlled 0–0.5 bar fixture. It does not select the field valve.
05
Checks completed on 12 July 2026
The table records the latest local verification on 12 July 2026. Counts are useful only with their boundary: these tests exercise the engineering records and automation, not an irrigation circuit or manufactured board.
| Layer | Evidence | State |
|---|---|---|
| Schema validation | 17 Draft 2020-12 schemas | Pass |
| Live engineering graph | 14 records | Pass |
| Automated and mutation tests | 105 tests | Pass |
| Requirements baseline | Candidate 2 / seven blockers | Open |
| Pinned KiCad runtime | 10.0.3 source build | Not qualified |
| Irrigation schematic and PCB | No native product design | Not started |
Adversarial review found that supporting artifacts and reviewer decisions need stronger hash binding. Those checks are still being added. Version 0.2 evidence records cannot yet approve a component or fabrication release.
06
Work remaining before schematic capture
The next work is measurement and component review. The schematic follows only after the load and supply limits are known.
01
Freeze the first physical scope
Use one 12 V valve channel and a controlled low-pressure water fixture as the bench proof, or wait for a measured field installation. The bench-first path is the current recommendation.
Decision
02
Bind the decisive source evidence
Capture exact manufacturer bytes where rights allow, bind PDF and web locators, and attach reviews to immutable record and artifact hashes.
Source review
03
Qualify the EDA runtime
Complete the pinned KiCad build, then run the native fixture through ERC, DRC, schematic parity, Gerber, drill, BOM, placement, and drawing exports.
KiCad
04
Measure the representative load
Record startup current, holding current, turn-off energy, pressure, flow, leakage, temperature, brownout response, and closure time before choosing the PCB switch and clamp.
Measurement
05
Design and release the board
Create the native schematic and PCB, prove the project-specific checks with deliberate faults, and reconcile every manufacturing artifact to one reviewed source revision.
Schematic + PCB
06
Manufacture only after approval
A quote and upload rehearsal may be automated. Sending design data, paying a supplier, and ordering boards remain explicit owner decisions. Field claims wait for physical evidence.
Order approval
Publication status
Requirements and release tooling are under test. Schematic capture has not started. There is no manufacturing release or field result.
07
Primary sources
- IFPRI: Irrigation as a service
Field archetype for shared solar pumping and tank-side water access; not a Lyon Industries site or partnership.
- ICRISAT: lessons learned from drip irrigation in Zimbabwe
Field survey of 70,000 distributed drip kits showing high failure rates due to inadequate technical support and local repairability.
- SMC - VXE energy-saving two-port solenoid valve catalogue
Electrical and hydraulic basis for the provisional bench load.
- Bürkert: Type 6213 EU datasheet, version AI
Ordering table and the differential-pressure qualifier that invalidates the low-head use of the published flow coefficient.
- KiCad 10 command-line interface
Native ERC, DRC, Gerber, drill, BOM, placement, and drawing operations targeted by the pinned toolchain.