Cópia estática

Copiado de docs/decisions/adp-006.md em https://github.com/poppy-team/aipo-lang (MIT). Fixado na revisão ce47c4e070404fc41722ccd8e2b7b808b99062a8, blob 2d6b1851ddaeceaaa695ce6aa56350c89903fad0. O repositório de origem permanece canônico; esta cópia é atualizada por um pull request de sincronização, não em tempo real.

ADP-006 — Decisões Abertas de Wave 3 e Wave 4

• Status: Aprovado & Implementado
• Decisores: Poppy Team
• Fase: Waves 3 e 4 (P02 / P03)

---

Contexto

Consolidação de decisões semânticas abertas para concorrência assíncrona, combinadores de tarefas e a arquitetura de capacidades da Host ABI.

---

Decisões Tomadas

1. Sintaxe de Concorrência:

   • await restrito a blocos de espera dedicados await do ... end.
   • Proibição de await arbitrário em subexpressões aritméticas para evitar corridas invisíveis.

2. Scheduler Cooperativo:

   • Tempo virtual determinístico gerenciado pelo runtime.
   • Fibras cooperativas com alternância em safe points.

3. Árvore de Capacidades na Host ABI:

   • Permissões em formato de caminho hierárquico (ex: fs.read, fs.write, net.http).
   • Concessão negada por padrão (deny-by-default).