From 14acd474212db0cce51453e082c186c1734d4e8d Mon Sep 17 00:00:00 2001 From: bQUARKz Date: Mon, 9 Mar 2026 06:50:11 +0000 Subject: [PATCH] added PRs --- ...nformance-regression-suite-fault-status.md | 42 +++++++++++++++++++ 1 file changed, 42 insertions(+) create mode 100644 docs/runtime/pull-requests/PR006-conformance-regression-suite-fault-status.md diff --git a/docs/runtime/pull-requests/PR006-conformance-regression-suite-fault-status.md b/docs/runtime/pull-requests/PR006-conformance-regression-suite-fault-status.md new file mode 100644 index 00000000..88473a84 --- /dev/null +++ b/docs/runtime/pull-requests/PR006-conformance-regression-suite-fault-status.md @@ -0,0 +1,42 @@ +# PR006 - Conformance Regression Suite Fault Status + +## Briefing + +Depois de migrar `gfx`, `audio` e `asset` para status-first, precisamos blindar regressao. + +Esta PR fecha cobertura de conformidade para fronteira `status`/`Trap`/`Panic`. + +## Alvo + +Adicionar/ajustar suite de testes para garantir que o contrato decidido continue estavel. + +Arquivos principais (esperados): + +- testes de `crates/console/prometeu-system/src/virtual_machine_runtime/` +- testes de `crates/console/prometeu-vm/src/virtual_machine.rs` +- testes de `crates/console/prometeu-hal/src/syscalls/tests.rs` + +## Escopo Funcional + +- testes negativos: erro operacional nao pode virar `Panic`; +- testes de shape ABI: aridade/tipo/capability continuam `Trap`; +- testes para proibicao de no-op silencioso nos dominios atualizados; +- smoke de interoperacao entre registry, loader e dispatch apos migracao. + +## Fora de Escopo + +- cobertura exaustiva de performance; +- novos dominios alem de `gfx`, `audio`, `asset`. + +## Critérios de Aceite + +- matriz minima de cenarios `status`/`Trap`/`Panic` coberta por dominio; +- regressao de panic operacional bloqueada por teste; +- execucao dos pacotes de teste alvo sem falha. + +## Tests + +- `cargo test -p prometeu-hal` +- `cargo test -p prometeu-vm` +- `cargo test -p prometeu-system` +- `cargo test -p prometeu-drivers`