ABI Verifier Loader and Stress Regeneration

docs/runtime/pull-requests/PR005-abi-verifier-loader-and-stress-regeneration.md

@@ -1,43 +0,0 @@
-# PR005 - ABI Verifier Loader and Stress Regeneration
-
-## Briefing
-
-As PRs verticais (`gfx`, `audio`, `asset`) alteram `ret_slots` e shape de chamadas.
-
-Precisamos sincronizar ABI/tooling para evitar divergencia entre spec, loader, verifier e artefatos.
-
-## Alvo
-
-Atualizar pipeline de bytecode/runtime e regenerar stress artifacts.
-
-Arquivos principais (esperados):
-
-- `crates/console/prometeu-hal/src/syscalls/*`
-- `crates/console/prometeu-vm/src/virtual_machine/loader.rs`
-- `crates/console/prometeu-vm/src/virtual_machine.rs` (validacoes de ABI)
-- `crates/tools/pbxgen-stress/*`
-- fixtures/snapshots relacionados a stress test
-
-## Escopo Funcional
-
-- garantir validacao consistente de `arg_slots`/`ret_slots`;
-- atualizar declarações de syscall geradas pelo stress cart;
-- regenerar bytecode de stress alinhado ao novo contrato;
-- manter somente o stress test como referencia obrigatoria de compatibilidade.
-
-## Fora de Escopo
-
-- novas features de VM;
-- compatibilidade retroativa com assinaturas antigas.
-
-## Critérios de Aceite
-
-- loader/verifier aceitam os novos contratos e rejeitam shape antigo quando esperado;
-- stress cart regenerado com assinaturas novas;
-- stress test executa sem mismatch de syscall metadata.
-
-## Tests
-
-- `cargo test -p prometeu-vm`
-- `cargo test -p prometeu-system`
-- execucao dos testes de stress/cart conforme fluxo atual do repositorio.