30 lines
1.1 KiB
Markdown
30 lines
1.1 KiB
Markdown
# PR-O4.4 - IRVM Program Single Source of Truth
|
|
|
|
## Briefing
|
|
|
|
Remover possibilidade de inconsistência entre `IRVMModule` e `EmissionPlan` tornando o pipeline de emissão derivado de uma única fonte autoritativa.
|
|
|
|
## Target
|
|
|
|
- `IRVMProgram`.
|
|
- `OptimizeIRVMService`.
|
|
- `EmitBytecodePipelineStage` e derivação de plano de emissão.
|
|
|
|
## Method
|
|
|
|
- Redefinir `IRVMProgram` para carregar apenas IR autoritativo (ou tornar `EmissionPlan` derivado e validado).
|
|
- Se `EmissionPlan` permanecer, adicionar invariantes obrigatórias de sincronização e builder único.
|
|
- Garantir que passes de otimização atualizem exatamente a fonte autoritativa usada por emissão.
|
|
|
|
## Acceptance Criteria
|
|
|
|
- Não existe estado observável onde módulo e plano de emissão divergem.
|
|
- `EmitBytecode` consome dados derivados da mesma representação validada pelo optimizer.
|
|
- Violação de coerência falha com erro determinístico antes de serialização.
|
|
|
|
## Tests
|
|
|
|
- Testes de coerência módulo/plano após passes.
|
|
- Testes negativos para plano stale/inconsistente.
|
|
- Regressão do pipeline completo sem alteração semântica.
|