27 lines
964 B
Markdown
27 lines
964 B
Markdown
# Agenda 011 - VM-Owned Stateful Core (Fechada)
|
|
|
|
## Status
|
|
|
|
Fechada pela decisao:
|
|
|
|
- `../decisions/006-vm-owned-stateful-core-contract.md`
|
|
|
|
## O Que Foi Fechado
|
|
|
|
1. Modelo canonico com `HeapRef<TBuiltinState>` e regra anti-stale por generation.
|
|
2. Lifecycle minimo (`create/read-update/destroy`) para servicos stateful.
|
|
3. Manutencao do caminho `INTRINSIC <id_final>` sem tabela adicional.
|
|
4. Metadata obrigatoria por operacao (`arg_slots`, `ret_slots`, efeito, determinismo, custo).
|
|
5. Fronteira de fault (`status` operacional, `Trap` estrutural, `Panic` interno).
|
|
6. Direcao de verifier/disasm/compatibilidade binaria para intrinsic stateful.
|
|
|
|
## Efeito Pratico
|
|
|
|
- Agenda `012` passa a consumir essa base para fechar random.
|
|
- Implementacoes VM-owned stateful devem seguir a decisao `006` como contrato.
|
|
|
|
## Follow-up
|
|
|
|
- consolidar implementacao de identity/registry de intrinsic no frontend/backend/runtime;
|
|
- fechar random em `012-vm-owned-random-service.md`.
|