F1SYH‑TX1 — lot 43

Module radio_state

Centraliser toutes les transitions RX, PRE_TX, TX, POST_TX et FAULT.

5 étatsmachine

timersnon bloquants

guardssécurité

eventsjournal

Intentions→Guards→Transition→Actions→Journal

Point critique : Dupliquer la logique RX/TX dans l’IHM ou CAT crée des incohérences dangereuses.

Détails

API :
radio_request_frequency(hz)
radio_request_mode(mode)
radio_request_ptt(bool)
radio_tick(now_ms)
radio_get_snapshot()

Le module seul commande :
- mute audio
- relais bande
- relais RX/TX
- bias PA
- READY/FAULT

Toute autre couche envoie seulement une intention.

API

État immuable en lecture.

Commandes validées.

Actions

Ordre déterministe.

Timers internes.

Journal

Chaque transition horodatée.

Cause de refus stockée.

Spécifications

États	RX/PRE_TX/TX/POST_TX/FAULT
Tick	1 ms à 10 ms
Entrées	intentions+capteurs
Sorties	GPIO validés
Snapshot	lecture seule

Repères

Une seule source de vérité

Le PTT CAT et local suivent la même voie

Procédure

Définir enum états.

Définir snapshot.

Écrire guards.

Écrire actions.

Ajouter timers.

Tester transitions.

Tester défauts.

Documenter les refus.

Validation : les résultats sont contrôlés et consignés avant l’étape suivante.