From d5f38d778dc1cf69802870cdad310f4c978f29bb Mon Sep 17 00:00:00 2001 From: bQUARKz Date: Tue, 10 Mar 2026 09:43:54 +0000 Subject: [PATCH] ABI Verifier Loader and Stress Regeneration --- ...verifier-loader-and-stress-regeneration.md | 43 ------------------- 1 file changed, 43 deletions(-) delete mode 100644 docs/runtime/pull-requests/PR005-abi-verifier-loader-and-stress-regeneration.md diff --git a/docs/runtime/pull-requests/PR005-abi-verifier-loader-and-stress-regeneration.md b/docs/runtime/pull-requests/PR005-abi-verifier-loader-and-stress-regeneration.md deleted file mode 100644 index 215dd814..00000000 --- a/docs/runtime/pull-requests/PR005-abi-verifier-loader-and-stress-regeneration.md +++ /dev/null @@ -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.