Obter JSON fiável a partir de um LLM local requer descodificação condicionada com conhecimento do esquema, além de validação semântica; só as instruções não conseguem garantir campos analisáveis ou corretos.
Um agente doméstico pode precisar de uma chamada de ferramenta com um ID de dispositivo exato, um enum, um número e um objeto de argumentos aninhado. Uma aspa em falta quebra a análise, enquanto um JSON perfeitamente válido pode ainda selecionar o dispositivo errado. A fiabilidade tem, por isso, duas camadas: o descodificador deve impor a sintaxe permitida, e a aplicação deve validar se os valores concluídos satisfazem a operação real.
Um esquema define mais do que chavetas
O modo JSON pode restringir a saída a JSON válido, mas um JSON Schema também descreve chaves obrigatórias, tipos, enums, aninhamento, limites e se são permitidas propriedades adicionais. Nomes e descrições de campos claros ajudam o modelo a escolher o conteúdo antes de serem aplicadas restrições estruturais.
Um grande benchmark de JSON Schema avalia descodificadores condicionados em dez mil esquemas do mundo real e separa conformidade, cobertura, eficiência e qualidade da saída. Essa separação mostra por que razão uma única percentagem de “JSON válido” não consegue descrever a fiabilidade prática. Esta distinção continua visível durante os testes domésticos posteriores.
O modelo de chat e o formato de chamada de ferramentas devem corresponder ao runtime. Uma palavra-chave de esquema não suportada ou uma incompatibilidade do tokenizador pode enfraquecer a imposição, enquanto esquemas profundamente recursivos ou ambíguos podem aumentar a latência e os erros de conteúdo, mesmo quando a sintaxe continua válida.
A descodificação condicionada por gramática bloqueia tokens seguintes inválidos
Em cada passo de geração, um motor de gramática acompanha o estado válido do analisador e mascara os tokens que violariam o esquema. O modelo escolhe apenas entre continuações permitidas, impedindo delimitadores em falta, chaves impossíveis ou texto livre fora da estrutura solicitada.
A descodificação condicionada por gramática acelera a execução de gramáticas independentes do contexto com tokens pré-verificados, estado persistente do analisador e integração com o motor de inferência. O trabalho demonstra que podem ser aplicadas restrições estruturais fortes com pouca sobrecarga no serviço local. O resultado intermédio deve continuar a ser inspecionável antes de a automação prosseguir.
As restrições garantem a pertença à linguagem descrita pela gramática, mas não que o valor selecionado seja verdadeiro. Se “desbloquear” e “bloquear” forem ambos valores de enum válidos, a gramática não consegue determinar qual reflete a intenção do utilizador.
A validação e a reparação protegem o significado após a análise
Após a análise, os validadores determinísticos devem verificar identificadores, unidades, limites, regras entre campos, permissões e referências ao estado atual. Uma passagem de reparação limitada pode receber os erros de validação e gerar novamente apenas o objeto inválido, em vez de permitir que dados malformados avancem no fluxo.
A abordagem de reparação de saídas estruturadas utiliza um modelo leve de pós-processamento e avalia tanto a exatidão do esquema como a fidelidade do conteúdo. Ilustra uma alternativa ou complemento quando o modelo local principal não dispõe de suporte nativo completo para restrições. Essa fronteira deve ser medida separadamente em condições de funcionamento realistas.
A fronteira de falha semanticamente perigosa é uma saída sintaticamente válida. As chamadas de ferramentas de alto risco precisam de resolução do alvo e aprovação fora do modelo, e as reparações repetidas devem parar após um orçamento reduzido, em vez de alterarem silenciosamente a intenção até a validação passar.
Crie uma matriz de testes de fiabilidade do esquema
Crie esquemas que cubram campos obrigatórios, enums, matrizes aninhadas, valores anuláveis, limites numéricos, Unicode, texto escapado e chaves adicionais proibidas. Execute instruções representativas e adversariais à temperatura, comprimento de contexto, quantização do modelo e simultaneidade pretendidos. A consequência prática torna-se evidente quando várias fontes competem por um contexto limitado.
Relacione os resultados com a mudança para chamadas de ferramentas estruturadas em chamadas de ferramentas estruturadas. Conte separadamente o sucesso da análise, a conformidade com o esquema, a validade semântica, as tentativas de reparação, a latência e as seleções de alvos inseguras; não as combine numa única taxa de sucesso. Esta dependência deve permanecer explícita na interface final.
Implemente apenas funcionalidades de esquema que o runtime realmente suporte e rejeite objetos que falhem verificações determinísticas. Se a sintaxe atingir cem por cento enquanto persistirem erros semânticos, melhore as definições dos campos e a validação externa, em vez de afirmar que o pipeline JSON é fiável.
Centro de Tecnologia e IA
Mais para Ler

Que fatores determinam a precisão das citações RAG numa base de conhecimento doméstica?
Saiba por que motivo uma fonte relevante pode ainda assim ser uma citação incorreta, que fases do pipeline controlam o suporte e a cobertura,...

Linhagem de dados de IA local: porque cada resposta precisa de um percurso de origem rastreável
Saiba como os caminhos de origem tornam as respostas locais de IA auditáveis, por que motivo as citações, por si só, são incompletas e...

Indexação por hash de conteúdo: como as impressões digitais dos ficheiros evitam trabalho redundante de IA
Saiba como as impressões digitais de ficheiros e blocos orientam a indexação incremental, por que razão os metadados são insuficientes e em que casos...

