En esta página
15.90 14.4.15 Gramática de fases
15.90.1 Orden parcial genérico
StableSupport? -> Preparation?Preparation? -> InitiationInitiation -> Propulsion?|SupportedTransitPropulsion? -> SupportedTransit|FlightSupportedTransit|Flight -> AcquisitionImpact?AcquisitionImpact? -> LoadTransfer?LoadTransfer? -> Stabilization|Recovery|FailureTransitionRecovery -> Stabilization|FailureTransition|new Initiation
Fases opcionales: Las fases opcionales pueden omitirse cuando no son observables o no aplican; cada omisión queda implícita por el camino decodificado.
15.90.2 Ejemplos prohibidos
- Flight con soporte funcional confirmado y estable en todos los frames.
- StableSupportEstablished antes de TargetTouch para el mismo contacto objetivo.
- LoadTransferComplete antes de TargetLoadOnset para el mismo objetivo.
- FallOnset después de MatContact salvo error de sincronización marcado.
Duraciones: Cada clase puede tener distribución de duración condicionada por FPS, atleta, inclinación, tipo de movimiento y modo online/offline. No se fijan milisegundos universales.
Simultaneidad: Eventos dentro de su incertidumbre pueden compartir grupo simultáneo sin imponer orden falso.
Un decodificador no debe usar la gramática para borrar evidencia. Si touch y load parecen invertidos por sincronización, debe marcar conflicto o revisar offsets.