Lucas-Belucci-Bellini

radar-command-acknowledgment-timeout

"Apply deterministic engineering checks to specify command acknowledgement and timeout behavior between GUI, STM32, and FPGA without indefinite waits."

Lucas-Belucci-Bellini 1 Updated 2w ago
GitHub

Install

npx skillscat add lucas-belucci-bellini/all-skills-for-the-claude-code/radar-command-acknowledgment-timeout

Install via the SkillsCat registry.

SKILL.md

Radar Command Acknowledgment Timeout

Purpose

Specify command acknowledgement and timeout behavior between GUI, STM32, and FPGA without indefinite waits. This workflow turns the concern into a traceable engineering contract for the AERIS-10 project, while keeping simulations, software behavior, and physical measurements clearly distinguished.

Required inputs

Inspect GUI transport, MCU command dispatcher, and FPGA response state. Gather the authoritative interface/schema, the selected board or bitstream revision, existing tests, and the expected result. Prefer synthetic input vectors, simulator outputs, host mocks, and de-energized design inspection.

Workflow

  1. Trace GUI transport, MCU command dispatcher, and FPGA response state and record source paths, board/design revision, input/output ownership, and the existing validation entry points.
  2. Define pass/fail invariants for specify command acknowledgement and timeout behavior between gui, stm32, and fpga without indefinite waits.; explicitly document units, widths, timing assumptions, safe defaults, and unsupported states where relevant.
  3. Exercise No acknowledgement, late acknowledgement, duplicate command, reset, and unsupported opcode with deterministic simulation or mocked hardware. Include normal, boundary, malformed, reset/cancellation, and failure cases without relying on uncontrolled physical targets.
  4. Produce A command timeout contract with replayable message traces. Run the narrow test and relevant regression suite, capture actual outputs, and separate verified findings from assumptions requiring qualified hardware review.

Validation checklist

  • The requirement is represented as an explicit, repeatable assertion or review criterion.
  • Boundary values and at least one injected failure are included.
  • Units, revision, data origin, and interface timing are stated where they change interpretation.
  • Test results cite the exact command/tool run and repository revision.
  • Simulation/mock evidence is not misrepresented as hardware measurement or certification.
  • RF, power, motion, or external-interface tests stop when the approved safety envelope is unknown or violated.

Required output

Deliver A command timeout contract with replayable message traces. Attach the paths reviewed, fixture or simulation identifiers, test commands and observed results, unresolved safety/compliance questions, and a clear distinction between code-level evidence and physical verification still required.

Boundaries and failure handling

Use synthetic inputs, host tests, simulation, or de-energized inspection wherever possible. Physical RF or powered hardware work requires qualified supervision, an approved lab procedure, regional compliance review, and functioning safety/thermal interlocks. Do not bypass an interlock, increase transmitter power or range as an objective, or turn signal-processing workflows into instructions for targeting people. If the design revision, emissions permission, termination, cooling, or measurement setup is uncertain, stop and document the blocker.

Trigger examples

  • Positive: A maintainer needs to specify command acknowledgement and timeout behavior between GUI, STM32, and FPGA without indefinite waits..
  • Negative: Retrying hardware commands indefinitely or repeating non-idempotent changes without a safety check.