# PR-O2.3 - OptimizeIRVM Pass Manager and Equivalence Harness

## Briefing

Evoluir `OptimizeIRVM` de no-op para estrutura de pass manager deterministica, mantendo preservacao semantica e compatibilidade de perfil.

## Target

- `OptimizeIRVMService`.
- Infraestrutura de registro/execucao de passes.
- Suite de equivalencia entre pipeline otimizado vs baseline.

## Method

- Criar contrato de pass (`name`, `enabled`, `apply`, validacao pos-pass).
- Manter no-op como pass default, mas com trilha para adicao incremental de passes reais.
- Adicionar harness de regressao comparando invariantes de saida e comportamento esperado.

## Acceptance Criteria

- Pipeline suporta multiplos passes com ordem deterministica.
- Cada pass roda sob validacao estrutural pre e pos.
- Saida otimizada preserva contratos de slots/calls/profile.
- Existe suite de equivalencia minima para impedir regressao semantica.

## Tests

- Testes de pass manager (ordem, habilitacao, falha curta).
- Testes de equivalencia entre `OptimizeIRVM` ativo vs no-op.
- Regressao de perfil invalido e determinismo de output.