Formalização operacional da máquina de estados

Matriz de Transição de Estados da Jornada do LAC

Esta página transforma o grafo de predicados da máquina de estados em uma matriz formal, rastreável e reutilizável para governar transições, bloqueios, aprendizagem, reavaliação, encerramento e preservação histórica das Jornadas do LAC.

Regra geral: estado_atual ∧ evento ∧ guarda ∧ suficiência → ação ∧ próximo_estado. Quando a guarda de suficiência é falsa, a transição não ocorre: registra-se o bloqueio cognitivo, aciona-se o Método de Aprendizagem, reavalia-se a suficiência e só então a Jornada pode retomar seu fluxo. O estado ENCERRADA é reservado ao fechamento institucional da Jornada, após atendimento do critério de conclusão, evidência suficiente, vínculo com a Demanda de Evolução de origem e, quando aplicável, verificação de coerência transversal.

Modelo lógico

Como ler uma linha da matriz

Cada linha representa uma transição possível ou um desvio governado. A matriz não substitui o grafo; ela explicita sua lógica para gestão, teste, automação futura e auditoria.

Estado + evento

Identificam onde a Jornada está e qual ocorrência solicita mudança.

Guarda + suficiência

Definem as condições que precisam ser verdadeiras antes de autorizar a transição.

Ação + próximo estado

Registram o que deve acontecer e qual situação resulta da transição.

Controle cognitivo

Regra de suficiência e bloqueio

A suficiência da compreensão é uma guarda transversal e não uma nova fase fixa da Jornada.

ESTADO ATUAL
    ↓ evento solicita avanço
GUARDAS DA TRANSIÇÃO ATENDIDAS?
├── não → permanecer / corrigir condição
└── sim
     ↓
A PRÓXIMA DECISÃO DEPENDE DE COMPREENSÃO?
├── não → executar ação → próximo estado
└── sim
     ↓
COMPREENSÃO SUFICIENTE?
├── sim → registrar evidência → executar ação → próximo estado
└── não → BLOQUEIO COGNITIVO
           ↓
           registrar lacuna / pergunta
           ↓
           acionar Método de Aprendizagem
           ↓
           produzir novo conhecimento / evidência
           ↓
           reavaliar suficiência
           ├── suficiente → retomar fluxo
           └── insuficiente → manter bloqueio ↺

APÓS CONFIRMAÇÃO DO PROBLEMA RESOLVIDO
        ↓
CRITÉRIO DE CONCLUSÃO ATENDIDO?
        ↓ sim
EVIDÊNCIA DE CONCLUSÃO REGISTRADA?
        ↓ sim
DEMANDA DE EVOLUÇÃO DE ORIGEM VINCULADA?
        ↓ sim
EVOLUÇÃO TRANSVERSAL?
   ├── NÃO → ENCERRADA → histórico institucional
   └── SIM → coerência verificada?
              ├── SIM → ENCERRADA → histórico institucional
              └── NÃO → manter em fechamento / corrigir divergências ↺

Regra institucional

A conclusão de atividades não é suficiente para avançar de estado. Sempre que a próxima decisão depender de compreensão adequada, a transição exige evidência de suficiência. Se a compreensão for insuficiente, o avanço deve ser bloqueado. Da mesma forma, a conclusão técnica não produz automaticamente o estado ENCERRADA: o fechamento exige evidência de conclusão e, nas evoluções transversais, verificação explícita de coerência.

Estado final institucional

ENCERRADA não é apenas “atividade concluída”

O estado ENCERRADA representa o fechamento formal da Jornada no escopo atual e sua transferência lógica para o histórico institucional.

Pré-condições

Problema resolvido confirmado, compreensão suficiente, critério de conclusão atendido e Demanda de Evolução de origem vinculada.

Guarda transversal

Se a evolução afetar conceitos compartilhados por múltiplos artefatos, a coerência deve estar explicitamente verificada antes do fechamento.

Saída do estado

A Jornada deixa o conjunto de instâncias ativas e permanece preservada como histórico institucional, com evidências e pendências residuais.

Regra formal de encerramento

problema_resolvido_confirmado ∧ compreensao_suficiente ∧ criterio_conclusao_atendido ∧ evidencia_conclusao_registrada ∧ demanda_origem_vinculada ∧ (¬evolucao_transversal ∨ coerencia_verificada) → ENCERRADA

Matriz formal

Transições da Jornada

Use os filtros para localizar um estado, evento, grupo ou condição de suficiência.

Buscar

Grupo

Suficiência

Estado de origem

Próximo estado

Grupo	Estado atual	Evento	Guarda / predicado	Suficiência	Ação	Próximo estado	Evidência	Papel responsável

Integração operacional

Relação com outros artefatos

A matriz deve permanecer semanticamente alinhada com o grafo, a Jornada padrão e o painel de Jornadas, que acompanha instâncias ativas e preserva o histórico institucional.

Grafo de predicados

Representa visualmente estados, eventos, guardas, ações e ciclos de retorno.

Abrir grafo →

Jornada padrão

Define as fases, os controles e a regra institucional de transição entre estados.

Abrir Jornada padrão →

Painel de Jornadas — ativas e histórico

Registra operacionalmente estado, suficiência, bloqueio, aprendizagem, evidências, fechamento e histórico institucional.

Abrir painel →

Conjunto canônico de Jornadas

Esta matriz integra o conjunto estrutural formado por index_jornadas_lac.html, grafo_predicados_maquina_estados_jornada_lac.html, matriz_transicao_estados_jornada_lac.html e painel_jornadas_ativas_lac.html. O grafo e a matriz definem o modelo comportamental; o painel registra as instâncias reais durante a operação e preserva as encerradas como histórico institucional.

Síntese institucional

A matriz torna explícito que uma transição da Jornada não é determinada apenas pela conclusão de uma atividade. Ela depende de evento, guarda, evidência e, quando aplicável, compreensão suficiente para o propósito atual. A insuficiência não produz avanço: produz bloqueio rastreável, aprendizagem e reavaliação. O estado ENCERRADA somente é alcançado após o fechamento institucional, com evidência de conclusão, vínculo com a demanda de origem e verificação de coerência quando a evolução for transversal.