Tabelas de referência

Toda tabela do guia que repete algo que os produtos guardam é gerada a partir deles a cada construção, de modo que nenhuma pode descrever um modo, uma chave ou uma regra que os produtos não tenham. A maioria fica no capítulo que as explica; esta página reúne as que um leitor consulta em vez de ler, e diz onde estão as outras.

Os modos

Um job é um modo com os seus operandos (capítulo 3). Todo modo, o que ele faz, a concessão de que precisa na sua chave e o perfil em que roda, a menos que você nomeie um:

Modo	O que faz	Permissão necessária	Perfil padrão
guardrail	Pergunte se uma ação pode ser disparada sem um contexto de segurança e reporte um reparo quando puder	guardrail	fast
batch	Execute uma tabela versionada de propriedades, um registro por linha, com um certificado por linha e um gate de patch nas que travarem	batch	fast
enumerate_properties	Emitir os pares de ação e contexto candidatos que o circuito admite, como proposta para uma tabela confirmada	guardrail	não recebe
derive_pins	Para cada linha de uma tabela confirmada, calcular a condição mais fraca sob a qual a obrigação vale	batch	fast
derive_expectations	Responder às perguntas de uma varredura e gravar uma expectativa por linha, cada uma indicando de onde veio sua resposta	batch	fast
graph	Verifique um grafo de agentes exportado antes de implantá-lo: toda ferramenta alcançada sem sua verificação, toda escrita sem sua confirmação, toda regra de ordem, toda ferramenta privilegiada sob contaminação e toda regra de saga decididas, cada uma violada devolvida com um caminho pelo grafo como testemunha	graph_check	fast
replay_certificate	Confirmar um certificado de forma independente: analisar suas equações-folha, executar suas operações e verificar se o passo final omitido fecha	guardrail	não recebe
forest	Verifique uma random forest em relação a uma tabela de propriedades de robustez, monotonicidade, equidade e alcançabilidade: um contraexemplo verificado no modelo para cada uma violada, uma refutação para cada uma que se mantém	forest	forest
forest_enumeration	Buscar contraexemplos em uma random forest em torno de registros reais: todo conjunto de no máximo k movimentos nomeados, em torno de cada registro pesquisado, decidido exaustivamente, com cada achado mínimo verificado no modelo e retornado como proposta	forest	forest
hunt	Procure nas regras de uma equipe todos os caminhos até uma ação proibida e reporte cada um como um achado com severidade, reprodução e uma correção verificada	hunt	fast

Os campos de cada modo: o que vai em inputs e operands de um job, e o que cada um significa.

guardrail

Campo	Tipo	Obrigatório	Significado
inputs.policy	um arquivo	uma das alternativas
inputs.rulebook_ir	um arquivo	uma das alternativas
operands.action	string	sim	a ação da ferramenta à qual a obrigação se refere
operands.context	string	sim	o contexto de segurança sem o qual a ação não deve ser disparada; pode conter um rail no formato name@phase, em que phase é input, output ou dialog
operands.pins	pin_list	não	fixações de condicionamento adicionais, cada uma com um nome e um 0 ou 1
operands.enumerate	bool	não	relatar todo contexto que derrota a obrigação e uma prova de que não há outro
operands.whole_policy	bool	não	compilar a política inteira em vez do cone ativo sob os pins
operands.prohibitions	bool	não	ler as proibições da política além das suas obrigações: propor candidatos proibidos, respeitar a direction de cada linha e inverter a polaridade-alvo de uma pergunta única
operands.session_steps	int	não	comprimento da cadeia em que verificar; se ausente, verifica um único turno
operands.frat_proof	bool	não	registrar uma prova FRAT de uma refutação da Fase 0, verificada pelo frat-rs e retornada como artefatos proof que o proof_log do certificado nomeia
profile	string	não	o perfil; fast quando não informado
config	object	não	chaves que substituem as do perfil, uma a uma

Em Python: client.verify_guardrail, ou client.generate_and_verify para o seu modelo redigir a política (capítulo 13); os dois devolvem um GuardrailResult.

batch

Campo	Tipo	Obrigatório	Significado
inputs.properties	um arquivo	sim
inputs.policy	um arquivo	uma das alternativas
inputs.rulebook_ir	um arquivo	uma das alternativas
inputs.rails_config	um arquivo	não
inputs.concepts	um arquivo	não
inputs.expectations	um arquivo	não
inputs.declared	um arquivo	não
operands.whole_policy	bool	não	compila a política inteira em vez do cone ativo sob os pinos de cada linha
operands.prohibitions	bool	não	ler as proibições da política além das suas obrigações: propor candidatos proibidos, respeitar a direction de cada linha e inverter a polaridade-alvo de uma pergunta única
operands.intent_axis	bool	não	propor e decidir cada ação contra as intenções no seu cone, como linhas user:<intent>; uma linha de intenção obrigatória depende do classificador e é recusada quando a intenção não está calibrada
operands.exactness	bool	não	indicar em cada linha se todas as rotas até à ação foram lidas com exatidão, e nomear as que não foram
operands.sequence	bool	não	perguntar cada linha sem profundidade própria em session_steps, na forma cumulativa: a obrigação mantida falsa em cada passo da cadeia
operands.session_steps	int	não	comprimento da cadeia em que ler a política; se ausente, lê um único turno
operands.transfer	bool	não	propor, para revisão, os controlos necessários para uma ação irmã e não para esta, num bloco leads que nunca é um veredito
operands.allow_oracle_refutations	bool	não	aceitar uma refutação que o motor não derivou e registrar em cada recibo que ela foi aceita
operands.frat_proof	bool	não	registrar uma prova FRAT de uma refutação da Fase 0, verificada pelo frat-rs e retornada como artefatos proof que o proof_log do certificado nomeia
profile	string	não	o perfil; fast quando não informado
config	object	não	chaves que substituem as do perfil, uma a uma

Em Python: client.verify_batch, que devolve um BatchResult: um registro por linha, e passed, failed, void, hard_failures e all_passed contados a partir deles.

enumerate_properties

Campo	Tipo	Obrigatório	Significado
inputs.policy	um arquivo	uma das alternativas
inputs.rulebook_ir	um arquivo	uma das alternativas
operands.prohibitions	bool	não	ler as proibições da política além das suas obrigações: propor candidatos proibidos, respeitar a direction de cada linha e inverter a polaridade-alvo de uma pergunta única
operands.intent_axis	bool	não	propor e decidir cada ação contra as intenções no seu cone, como linhas user:<intent>; uma linha de intenção obrigatória depende do classificador e é recusada quando a intenção não está calibrada
operands.exactness	bool	não	indicar em cada linha se todas as rotas até à ação foram lidas com exatidão, e nomear as que não foram
operands.sequence	bool	não	perguntar cada linha sem profundidade própria em session_steps, na forma cumulativa: a obrigação mantida falsa em cada passo da cadeia
operands.session_steps	int	não	comprimento da cadeia em que ler a política; se ausente, lê um único turno

Em Python: client.enumerate_properties, que devolve um EnumeratePropertiesResult: linhas candidatas sem id, expect nem gate, para você revisar e completar.

derive_pins

Campo	Tipo	Obrigatório	Significado
inputs.properties	um arquivo	sim
inputs.policy	um arquivo	uma das alternativas
inputs.rulebook_ir	um arquivo	uma das alternativas
profile	string	não	o perfil; fast quando não informado
config	object	não	chaves que substituem as do perfil, uma a uma

Em Python: client.derive_pins, que devolve um DerivePinsResult: as obrigações e os seus conjuntos de pins (capítulo 12).

derive_expectations

Campo	Tipo	Obrigatório	Significado
inputs.sweep_rows	um arquivo	sim
inputs.rulebook_ir	um arquivo	sim
inputs.corpus	um arquivo	não
inputs.observed	um arquivo	não
inputs.previous	um arquivo	não
inputs.model	um arquivo	não
operands.rung	string	não	o nível de vocabulário em que o roteador ao lado desta derivação foi gerado, de L0 a L4, registrado na tabela para que o par possa ser verificado
operands.axes	string_list	não	qual entre does, to e needs separa duas intenções. Três é a relação que este design usa; indicar uma é como se produz, para comparação, uma tabela derivada sob a relação mais antiga
profile	string	não	o perfil; fast quando não informado
config	object	não	chaves que substituem as do perfil, uma a uma

Em Python: client.derive_expectations, que devolve um DeriveExpectationsResult: a tabela derivada. rung é L0, L1, L2, L3 ou L4, o degrau do vocabulário com que o roteador ao lado da tabela foi gerado; a tabela o registra, para que os dois possam ser conferidos como um par.

graph

Campo	Tipo	Obrigatório	Significado
inputs.export	um arquivo	sim
inputs.catalogue	um arquivo	sim
inputs.rulebook	um arquivo	não
operands.session_steps	int	não	os turnos ao longo dos quais toda obrigação é decidida novamente; o padrão do binário é 1
profile	string	não	o perfil; fast quando não informado
config	object	não	chaves que substituem as do perfil, uma a uma

replay_certificate

Campo	Tipo	Obrigatório	Significado
inputs.certificate	um arquivo	sim
inputs.cnf	um arquivo	não

Em Python: client.replay_certificate, que devolve um ReplayResult (capítulo 7).

forest

Campo	Tipo	Obrigatório	Significado
inputs.model	um arquivo	sim
inputs.properties	um arquivo	sim
inputs.anchors	um arquivo	não
profile	string	não	o perfil; forest quando não informado
config	object	não	chaves que substituem as do perfil, uma a uma

Em Python: client.verify_forest, que devolve um ForestResult: um registro por propriedade (capítulo 14).

forest_enumeration

Campo	Tipo	Obrigatório	Significado
inputs.model	um arquivo	sim
inputs.search	um arquivo	sim
inputs.anchors	um arquivo	sim
profile	string	não	o perfil; forest quando não informado
config	object	não	chaves que substituem as do perfil, uma a uma

Em Python: client.enumerate_counterexamples, que devolve um CounterexampleResult: propostas, só vereditos, sem expect nem gate.

hunt

Campo	Tipo	Obrigatório	Significado
inputs.policy	um arquivo	uma das alternativas
inputs.rulebook_ir	um arquivo	uma das alternativas
inputs.model	um arquivo	não
inputs.rails_config	um arquivo	não
inputs.dependencies	um arquivo	não
inputs.properties	um arquivo	não
inputs.intents	um arquivo	não
inputs.vocabulary	um arquivo	não
inputs.domains	um arquivo	não
inputs.clarification	um arquivo	não
inputs.expectations	um arquivo	não
inputs.route_baseline	um arquivo	não
inputs.probes	um arquivo	não
inputs.corpus	um arquivo	não
inputs.ratchet_baseline	um arquivo	não
inputs.dialogues	um arquivo	não
inputs.dialogue_baseline	um arquivo	não
inputs.graph	um arquivo	não
inputs.catalogue	um arquivo	não
inputs.baseline	um arquivo	não
inputs.quality_profile	um arquivo	não
operands.session_steps	int	não	a profundidade de conversa na qual toda obrigação que vale em um turno é decidida novamente; o padrão do binário é 3
operands.gate	bool	não	deixa o portão de qualidade decidir o resultado da execução: um portão reprovado sai com código 7, que o job informa como o resultado do portão
operands.count_ways	bool	não	contar todos os contextos de quebra de cada achado de política em aberto: suas formas de passagem. Requer o direito do plano hunt_details
operands.no_solve	bool	não	não decidir nenhuma obrigação e informar isso, executando todas as etapas que não precisam de solver: os achados do roteador são contados e não consomem solve-seconds. Definido pelo serviço em um hunt enviado depois que o mês da chave foi esgotado
profile	string	não	o perfil; fast quando não informado
config	object	não	chaves que substituem as do perfil, uma a uma

Onde estão as outras tabelas

• As 68 operações da API HTTP, por produto: capítulo 18.
• Os nomes públicos do pacote: capítulo 17.
• Os perfis, e todas as chaves de configuração: capítulo 10.
• Os vereditos, as fases e os diagnósticos: capítulo 6.
• Os eventos que um job transmite: capítulo 9.
• Os códigos de erro e as recusas: capítulo 15.
• Os planos e o que cada um inclui: capítulo 40.
• As 49 regras do caçador de bugs, cada uma com a sua página: as páginas de regras.
• As regras das verificações de código, com o que cada uma encontra e o que a resolve: capítulo 50.
• As palavras de agent.yaml, as palavras de uma ferramenta e o comando stalwart: capítulo 30.