Skip to content

Test bounded real-time simulation - #20

Merged
lbussy merged 3 commits into
mainfrom
codex/issue-400-real-time-simulator-test
Aug 12, 2026
Merged

lbussy merged 3 commits into
mainfrom
codex/issue-400-real-time-simulator-test

Conversation

@lbussy

@lbussy lbussy commented Aug 12, 2026

Copy link
Copy Markdown
Collaborator

Related to WsprryPi/WsprryPi#400.

Summary

  • add a dedicated real-time simulated-backend contract test
  • distinguish real-time waiting from accelerated virtual time with a broad lower bound
  • verify deterministic logical trace ordering and same-instance state reset
  • verify an in-progress real-time wait can be interrupted promptly
  • expose the test through a focused Make target

Bounds

  • successful execution: two 40 ms waits, at least 60 ms and under 4 seconds
  • cancellation: interrupt one 2-second wait after 30 ms and require return under 1.5 seconds
  • parent CI adds a hard 5-second process timeout

These are behavioral guardrails, not scheduler precision or jitter assertions.

Validation

  • focused test passed repeatedly on Debian ARM64
  • existing simulated-backend test passed
  • transmission-controller contract test passed
  • focused execution passed under strace
  • parent hardware-access audit reported no prohibited transmitter access
  • git diff --check

No hardware, GPIO, I2C, MMIO, mailbox, DMA, device-node, service, installation, sudo, or RF operation was used.

@lbussy
lbussy marked this pull request as ready for review August 12, 2026 23:14
@lbussy
lbussy merged commit d079d12 into main Aug 12, 2026
1 check passed
@lbussy
lbussy deleted the codex/issue-400-real-time-simulator-test branch August 12, 2026 23:58
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant