bend2-lab

Imported from nuxyel/bend2-lab (AGENTS.md). Install upstream with npx skills add nuxyel/bend2-lab. Copyright stays with the author.

AGENTS.md

Regras para agentes de IA (Claude Code, Codex e afins) trabalhando neste repositório. Leia também as seções 6, 7 e 8 do README.

Antes de escrever Bend

• Rode ./bin/bend guide (e ./bin/bend guide shaders antes de qualquer coisa paralela).
• Consulte a base com ./bin/bend base <Nome> em vez de adivinhar nomes.
• Todo projeto vive em projetos/<nome>/ com main.bend, LAWS.bend, PROOF.bend e README.md.

As leis são do humano

• Nunca edite LAWS.bend. Nem para corrigir, enfraquecer ou "simplificar" uma lei. Se uma lei parecer errada ou impossível, pare e explique por quê.
• Não contorne uma lei por fora: não mude assinaturas, tipos ou o significado das funções de main.bend só para tornar a lei trivial.
• Não use @unsafe em nada que uma lei cubra. Se precisar, justifique e registre em UNSAFE_OK.

O gate

• A tarefa só termina quando ./scripts/check.sh projetos/<nome> imprime OK.
• ?nome e ?TODO servem para inspecionar metas durante o trabalho, mas não podem ficar no final.
• Depois de mexer no código, rode também ./scripts/sabotagem.sh se ele tocar no passagens-core.

Paralelismo

• Use a b = f(x) g(y) só quando as duas metades tiverem custo parecido: o escalonador entrega cada tarefa a um núcleo uma única vez e não redistribui.
• Use ! (GPU) apenas em trabalho numérico uniforme e meça com ./scripts/bench.py antes de afirmar ganho.

Registro

• No commit ou PR: o que mudou, quais leis foram provadas, quantas tentativas levou e o que o checker reclamou pelo caminho.
• Em experimentos do protocolo "leis × IA" (README 12.2), não apague tentativas falhas: elas são dado.