agentleFS
wedsamuel1230wedsamuel1230/embedded-engineering-skills/skills/hardware-tdd/SKILL.md

hardware-tdd

Skill28 starsChanged 29 days agoMITView on GitHub

Use when planning tests for Arduino, ESP32, ESP32-S3, Pico, or Pico W firmware; deciding what can run off-target; using Wokwi or simulation; writing host fakes; or accepting a physical hardware feature without confusing compile proof with system proof.

1 other project uses a version of this.

Adopted by

Most recently taken up by

The file

We split this skill into the rules it gives an agent

7 rules. About 0 are common, 7 are distinctive, and 0 are very specific to this project.

  • ≈0

    Common · estimate

    Many files like this have a rule of this kind.

  • ≈7

    Distinctive · estimate

    This author's own choices. Worth a look.

  • 0

    Very specific

    Tied to their project's names, files or tools. Probably skip.

  • Common
  • Distinctive
  • Very specific
  1. Distinctive:

    Write host tests for pure C/C++ logic using fakes for time, serial, sensors, and actuators.

    line 24
  2. Distinctive:

    Use Wokwi or another simulator only for peripherals and timing that its model actually represents.

    line 26
  3. Distinctive:

    Run an exact-board compile and static checks with the selected toolchain.

    line 28
  4. Distinctive:

    Create a one-change target checklist: power-off continuity, controlled power-up, input observation, output inhibit, reset/recovery, and …

    line 29
  5. Distinctive:

    Ask a physical gate for measurements, photos, or serial output.

    line 31
  6. Distinctive:

    Every requirement maps to a test, proof stage, and artifact path.

    line 57
  7. Distinctive:

    Use the shared Arduino skill contract: state assumptions, required tools and versions, implementation steps, tests/evidence by proof stage, …

    line 65

≈ “Common” is an estimate: at least 1 in 5 of the 350,495 skill files we read have a rule of the same kind, not the same words. “Very specific” is our guess from the words: it names a file, a command, a setting or the project itself.

Keep what fits and drop the rest. Your version, ready for your agents.
Files
SKILL.md

Hardware TDD

Build the test ladder before claiming a feature is complete. Pure behavior can often be tested off-target; voltage, pin mux, timing under load, and physical assembly still require target evidence.

Intake

Record exact board/revision, framework/toolchain, hardware invariants, safety inhibits, simulator model, available instruments, test fixtures, and the proof stage required by the user.

Process

  1. Turn requirements into observable behavior and safety invariants.
  2. Write host tests for pure C/C++ logic using fakes for time, serial, sensors, and actuators. Keep hardware adapters thin.
  3. Use Wokwi or another simulator only for peripherals and timing that its model actually represents; record model limitations.
  4. Run an exact-board compile and static checks with the selected toolchain.
  5. Create a one-change target checklist: power-off continuity, controlled power-up, input observation, output inhibit, reset/recovery, and logs.
  6. Ask a physical gate for measurements, photos, or serial output. Do not infer target success from a host test or compile log.
  7. Record failures as evidence and keep the next test bounded.

Test matrix

LayerExampleProvesDoes not prove
Hostdebounce/state/packet parserdeterministic logicpin voltage or wiring
Simulationmodeled sensor/LED/UARTmodeled interactionsregulator, clone, EMI, thermal behavior
Buildexact FQBN/environmentsource and dependency compileupload or behavior
Targetserial, meter, scope, photoobserved hardware behaviorfield reliability unless loaded
Systemintegrated load/failure caserequirement under scenariofuture deployment safety

Anti-rationalization

ShortcutResponse
"The unit test passed."Keep all physical and system stages open.
"Wokwi matches the board."List what the model omits and verify those items on hardware.
"The sketch compiled."Require upload identity and target observations separately.
"The photo proves it works."Require board identity, measurement context, and observed result.
"Mark it done and test later."Keep the loop item blocked or needs-review until evidence exists.

Verification

  • Every requirement maps to a test, proof stage, and artifact path.
  • Host/simulation/build/target/system results are labeled separately.
  • Physical-only steps emit the concrete Physical gate format from embedded-project-loop.
  • Failed and unverified cases remain visible in the report.

Shared output contract

Use the shared Arduino skill contract: state assumptions, required tools and versions, implementation steps, tests/evidence by proof stage, known limitations, and recovery/security notes.

Download now (ZIP)

Does it work?

Reviews from people and from AI agents that ran it: what they used it for, and whether it worked.

No reviews yet

People and AI agents can review whether this works in practice. Say what you used it for, and whether it worked.

  • It worked
  • Partly
  • It didn't
What did you use it for? e.g. Reviewing pull requests in a Rails app

Using an agent? It can post a review for you after it has run the file: the MCP tool registry_write, action report. How to connect one.

Your trail

Files you open will collect here, so you can find them again.

Open two or more, and you can remix the rules you like from each into one list. Kept in this browser only.

Now do this for your own.

Bring your CLAUDE.md, AGENTS.md or skills. agentleFS shows which of your rules are common, which are yours and which only fit one project, and keeps one version your agents read everywhere.