Máquina de Estados da Jornada do LAC

Grafo de estados, eventos, guardas, ações e predicados. A jornada é orientada pelo problema resolvido, avalia a suficiência da compreensão antes de transições relevantes, pode bloquear o avanço, acionar aprendizagem e reavaliar o conhecimento antes de prosseguir, e somente alcança o estado ENCERRADA após o fechamento institucional.

Problema resolvido: tornar legível, estável e analisável a máquina de estados da jornada, incluindo a condição transversal de suficiência da compreensão, o bloqueio por conhecimento insuficiente, a reativação da aprendizagem, a reavaliação antes do avanço e o fechamento institucional até o estado ENCERRADA.
Regra de transição cognitiva: estado atual + evento + guardas satisfeitas + compreensao_suficiente = true → próximo estado. Se compreensao_suficiente = false, o avanço é bloqueado, a lacuna é registrada, o Método de Aprendizagem é acionado e a suficiência é reavaliada antes da retomada. Após a confirmação do problema resolvido, o encerramento exige critério de conclusão, evidência, vínculo com a Demanda de Evolução de origem e, quando a evolução for transversal, verificação explícita de coerência.
Regra de encerramento institucional: problema_resolvido_confirmado ∧ compreensao_suficiente ∧ criterio_conclusao_atendido ∧ evidencia_conclusao_registrada ∧ demanda_origem_vinculada ∧ (¬evolucao_transversal ∨ coerencia_verificada) → ENCERRADA. O encerramento preserva a Jornada como histórico institucional. Nova evidência posterior não reabre silenciosamente a Jornada encerrada: ela origina uma nova Demanda de Evolução.
Grafo interativo — arraste os nós e clique em estados ou transições.
Definição do problema resolvido
Recorte, escopo e planejamento
Execução e entrega
Verificação
Problema resolvido confirmado
ENCERRADA / histórico institucional
Não resolvida ou cancelada
Estado administrativo
Aprendizagem e reavaliação

Modelo predominante de Moore, estendido com eventos, guardas, ações, evidências e predicados. A suficiência da compreensão atua como guarda transversal: quando falsa, a transição é bloqueada, a aprendizagem é acionada e o estado só pode avançar após reavaliação. O estado ENCERRADA é alcançado somente após fechamento institucional e preservação do histórico.

Glossário da máquina de estados

Máquina de Moore
Modelo em que a saída é determinada pelo estado atual. No grafo, cada estado possui uma saída documental, uma evidência mínima e um predicado de permanência.
Máquina de Mealy
Modelo em que a saída depende do estado atual e do evento recebido. No LAC, esse comportamento aparece principalmente nas ações executadas durante as transições.
Máquina de estados estendida
Amplia a máquina clássica com guardas, variáveis, predicados, ações, papéis e evidências. É a classificação mais completa para a jornada do LAC.
Estado
Condição relativamente estável da jornada, como escopo definido, em execução ou problema resolvido confirmado.
Transição
Mudança permitida de um estado para outro, ativada por um evento e condicionada por uma guarda.
Evento
Ocorrência que solicita uma mudança de estado, como iniciar verificação, aprovar ou suspender.
Guarda
Condição lógica que precisa ser verdadeira para que a transição seja autorizada.
Predicado
Expressão lógica que descreve uma condição verificável. Nos estados, indica quando a jornada pode permanecer naquele estado; nas transições, ajuda a decidir se a mudança pode ocorrer.
Ação
Operação executada durante uma transição, como registrar, versionar, validar, corrigir ou confirmar.
Saída de Moore
Resultado associado ao estado, independente do evento que conduziu até ele.
Evidência
Registro verificável que demonstra que o estado ou critério foi alcançado.
Estado final
Estado terminal ou de fechamento do ciclo. No LAC, Problema resolvido confirmado representa a confirmação técnica/funcional do resultado; ENCERRADA representa o fechamento institucional da Jornada.
ENCERRADA
Estado final institucional alcançado após critério de conclusão, evidência, vínculo com a Demanda de Evolução e, quando aplicável, verificação de coerência.
Histórico institucional
Preservação da Jornada encerrada, suas evidências, decisões, pendências residuais e vínculos, sem reabertura silenciosa do mesmo ciclo.
Suficiência da compreensão
Condição em que o conhecimento disponível é adequado ao propósito da próxima decisão ou atividade, sem exigir conhecimento completo do sistema.
Bloqueio cognitivo
Situação em que a jornada não pode avançar porque a compreensão disponível é insuficiente para sustentar a próxima transição.
Método de Aprendizagem
Método acionado ou reativado para atualizar a compreensão quando uma guarda de suficiência falha.
Reavaliação
Nova verificação da suficiência após aprendizagem adicional ou surgimento de nova evidência.

Como usar e analisar o grafo

Uso básico

  1. Arraste um nó para reorganizar a visualização. A nova posição ficará fixada.
  2. Clique em um estado para consultar predicado, saída, evidência e papel responsável.
  3. Clique no rótulo de uma seta para consultar evento, guarda, ação e regra lógica.
  4. Use o filtro para destacar uma fase da jornada.
  5. Use Reorganizar para abandonar as posições manuais e retornar ao arranjo orientado.

Análise recomendada

  1. Finalidade: confirme se o estado Problema resolvido definido descreve claramente a saída desejada antes do planejamento.
  2. Completude: verifique se cada estado possui predicado, saída, evidência e papel responsável.
  3. Coerência: confira se todo evento conduz a um próximo estado compatível e se a ação produz a evidência necessária.
  4. Guardas: avalie se nenhuma transição importante pode ocorrer sem condições explícitas.
  5. Suficiência: verifique se transições dependentes de compreensão usam a guarda compreensao_suficiente; quando falsa, o fluxo deve bloquear, aprender e reavaliar.
  6. Retornos: examine os ciclos de revisão, suspensão e retomada para evitar estados sem saída ou laços sem critério de término.
  7. Encerramento: diferencie entrega produzida, problema resolvido confirmado e estado ENCERRADA. A confirmação do problema resolvido não encerra institucionalmente a Jornada.
  8. Fechamento institucional: confirme critério de conclusão, evidência de conclusão, Demanda de Evolução de origem e, se transversal, verificação de coerência antes de permitir ENCERRADA.
  9. Histórico: uma nova evidência após ENCERRADA deve preservar o histórico e gerar nova Demanda de Evolução, em vez de reabrir silenciosamente o ciclo anterior.
  10. Governança: confirme quem pode executar, aprovar, suspender, cancelar e validar cada transição.
  11. Problema resolvido: compare a situação final com os critérios definidos no início e registre a evidência de confirmação.