07 — Máquinas de estado

← Índice · Prefixo de citação: UFE-07

✅ Consolidado como proposta de modelagem. ⚠️ Nenhuma destas máquinas foi validada contra operação real — são o desenho que decorre do vocabulário, e o lugar mais provável de descobrir, no piloto, que falta um estado.

RS-04 e D-07 exigem ciclos de vida separados. São cinco máquinas independentes, e o erro clássico é fundir duas delas num único campo status.

1. Item de escala

Estado	Significa
Planejado	Existe no rascunho da escala
Publicado	`UC-03` executado — a designação é oponível ao policial
Alterado	`UC-05` — modificado após publicação, com histórico preservado
Confirmado	O policial se apresentou (`UC-06`)
Cumprido	A jornada correspondente foi encerrada
Ausente	Não houve apresentação

🔶 Estado ausente na máquina: cancelado. Uma escala publicada que deixa de valer (operação cancelada, unidade desativada) não tem transição. Alterado não cobre — alterar não é anular. Ver Q-04.

2. Jornada do policial

Marcos correspondentes:

Transição	Caso de uso
`AguardandoApresentacao → Apresentado`	`UC-06`
`Apresentado → EmPreparacao`	`UC-09`–`UC-13`
`EmPreparacao → EmServico`	`UC-14`
`EmServico ↔ EmPausa`	`UC-28` / `UC-30`
`EmServico → EmDesmobilizacao`	`UC-32`
`EmDesmobilizacao → Encerrada`	`UC-40`
`Encerrada → Liberado`	`UC-41`

⚠️ AguardandoApresentacao não tem saída para ausência. Pela máquina do item de escala existe o estado Ausente; aqui não. Se a jornada só nasce na apresentação, o estado inicial é desnecessário; se ela nasce com a publicação da escala, falta a transição para "não compareceu". As duas máquinas precisam concordar sobre isso — Q-04.

3. Disponibilidade operacional

Estados da equipe/recurso perante o CAD — a máquina que o despachante enxerga. É o que RS-03 separa da jornada: um policial EmServico pode corresponder a uma equipe Em preparação.

Estado	Significado
Indisponível	Não pode receber missão
Em preparação	Jornada iniciada, mas recursos ainda não estão prontos
Disponível	Pode receber despacho
Designada	Recebeu uma ocorrência
Em deslocamento	Segue para o local
No local	Está presente na ocorrência
Em transporte	Conduz pessoa ou material
Em pausa	Temporariamente indisponível
Em retorno	Retorna à área ou unidade
Em desmobilização	Prepara o encerramento

Compare com T-071–T-080 (estados do atendimento, no glossário). Há sobreposição de nomes — "em deslocamento", "no local" — para conceitos diferentes: ali é a ocorrência, aqui é a equipe. Nomes iguais em máquinas diferentes é convite a bug. Ver Q-01.

4. Cautela de recurso

Estado	Caso de uso	Nota
Disponivel	—	Recurso no acervo, sem vínculo
Reservado	UFE-05	Ainda não é cautela
Entregue	`UC-10`–`UC-12`	Responsabilidade transferida
EmUso	—	Durante a jornada
EmConferencia	`UC-35`, `UC-37`	Devolução física ocorreu; a cautela não fechou
Devolvido	`UC-36`, `UC-38`	Conferência fechou sem divergência
ComDivergencia	`UC-39`	Falta, dano ou diferença (`T-141`)
Regularizado	—	Divergência apurada e resolvida

EmConferencia é o estado que faz RS-09 funcionar. Sem ele, "devolveu" e "está regular" viram a mesma coisa, e a divergência não tem onde morar.

⚠️ Faltam transições de exceção reais: recurso que não volta (perdido, apreendido em investigação, destruído), e recurso que vai de EmConferencia direto para manutenção sem passar por Disponivel. ComDivergencia → Regularizado presume que toda divergência se resolve.

5. Reserva operacional

Estados listados em UFE-05, representados aqui como máquina:

ConvertidaEmCautela é o ponto de junção com a máquina 4: a reserva termina onde a cautela (Entregue) começa.

Onde as cinco máquinas se cruzam

Item de escala  ──Confirmado──┐
                              ├──> Jornada (EmServico)
Reserva ──ConvertidaEmCautela─┘         │
                                        ├──> Disponibilidade (Disponivel)
Cautela (Entregue/EmUso) ───────────────┘         │
                                                  └──> Despacho / Ocorrência

Quatro pontos de acoplamento, e cada um é uma regra de negócio explícita:

Item de escala → Jornada: a apresentação confirma o item e abre a jornada.
Reserva → Cautela: a entrega converte uma na outra.
Cautela + Jornada → Disponibilidade: só há prontidão com jornada iniciada e recursos essenciais cautelados (UC-14 pré-condições).
Disponibilidade → Despacho: só equipe Disponivel recebe despacho.

Nenhum desses acoplamentos é herança nem composição — são invariantes verificadas na transição. Modelar como campo derivado (uma máquina calculando o estado da outra) faz o item 3 quebrar assim que uma equipe fica indisponível por razão que não é nem jornada nem cautela.

← 06 — Casos de uso · Índice · Próximo: 08 — Regras semânticas →

07 — Máquinas de estado ​

1. Item de escala ​

2. Jornada do policial ​

3. Disponibilidade operacional ​

4. Cautela de recurso ​

5. Reserva operacional ​

Onde as cinco máquinas se cruzam ​