46 lines
1.6 KiB
Markdown
46 lines
1.6 KiB
Markdown
# PR-041 - Backend Gate I Runtime Compatibility Fixtures
|
|
|
|
## Briefing
|
|
|
|
Fechar a evidencia de integracao executavel com fixtures Gate I cobrindo os cenarios normativos da agenda 18.3, sem depender de packer.
|
|
|
|
## Target
|
|
|
|
- Criar suite de integracao para `LowerToIRVM -> OptimizeIRVM -> EmitBytecode`.
|
|
- Cobrir cenarios positivos e negativos de loader/verifier esperados.
|
|
- Publicar status S-I (`pass` ou `deferred`) com evidencia reproduzivel.
|
|
|
|
## Method
|
|
|
|
- Construir fixtures que validam o artefato emitido e suas falhas esperadas.
|
|
- Alinhar cenarios com erros observados no runtime em:
|
|
- `../runtime/crates/console/prometeu-vm/src/virtual_machine/loader.rs`,
|
|
- `../runtime/crates/console/prometeu-vm/src/verifier.rs`,
|
|
- `../runtime/crates/console/prometeu-vm/src/vm_init_error.rs`.
|
|
- Padronizar assertions nas familias `MARSHAL_FORMAT_*`, `MARSHAL_LINKAGE_*`, `MARSHAL_VERIFY_PRECHECK_*`.
|
|
|
|
## Acceptance Criteria
|
|
|
|
1. Fixture cobre os 8 cenarios minimos definidos em 18.3.
|
|
2. Resultados sao deterministicos entre execucoes.
|
|
3. Pelo menos um caminho positivo produz artefato inicializavel no runtime alvo.
|
|
4. Suite independe de packer.
|
|
|
|
## Tests
|
|
|
|
1. `SYSC` presente e vazio.
|
|
2. `HOSTCALL` valido com patch esperado.
|
|
3. `HOSTCALL` fora de faixa.
|
|
4. `SYSC` declarado e nao usado.
|
|
5. `SYSCALL` bruto em pre-load.
|
|
6. Mismatch ABI de host.
|
|
7. Capability insuficiente.
|
|
8. Caminho `INTRINSIC` valido.
|
|
|
|
## Affected Documents
|
|
|
|
- `docs/general/specs/19. Verification and Safety Checks Specification.md`
|
|
- `docs/general/specs/13. Conformance Test Specification.md`
|
|
- `docs/general/specs/15. Bytecode and PBX Mapping Specification.md`
|
|
|