56 lines
1.7 KiB
Markdown
56 lines
1.7 KiB
Markdown
# PR-028 - PBS Gate U Conformance Fixtures for SDK Interface Modules
|
|
|
|
## Briefing
|
|
|
|
A trilha de interface-module e SDK minimo precisa de evidencia Gate U para sustentar claim de conformidade e evitar regressao silenciosa.
|
|
|
|
## Motivation
|
|
|
|
Sem fixtures dedicadas:
|
|
|
|
- nao ha prova objetiva do comportamento reservado,
|
|
- nao ha protecao contra regressao de parser/semantica/linking/lowering,
|
|
- e claims de conformidade ficam fracos.
|
|
|
|
## Target
|
|
|
|
- Suite de conformance no frontend PBS para o slice de SDK/interface-module.
|
|
|
|
## Scope
|
|
|
|
- Fixtures positivas e negativas para:
|
|
- classificacao de origem de fonte,
|
|
- resolucao de imports reservados,
|
|
- parser/AST em interface mode,
|
|
- semantica/linking de host/builtin shells,
|
|
- extracao de metadata e admissao/rejeicao de lowering frontend.
|
|
|
|
## Method
|
|
|
|
- Criar corpus Gate U minimalista e estavel, com asserts de diagnostico por codigo/fase/templateId.
|
|
- Reusar exemplos `@core:color` e `@sdk:gfx` como base.
|
|
- Cobrir casos de erro ownership (`manifest/import`, `linking`, `static semantics`, `load-facing` quando aplicavel).
|
|
|
|
## Acceptance Criteria
|
|
|
|
- Cada obrigacao introduzida nas PRs 022-027 possui ao menos 1 fixture positiva e 1 negativa quando aplicavel.
|
|
- Diagnosticos sao validados por campos maquina-estaveis e nao por texto renderizado.
|
|
- Suite do frontend PBS executa integralmente sem flakes.
|
|
|
|
## Tests
|
|
|
|
- Nova suite Gate U em `prometeu-frontend-pbs` com fixtures de sdk/interface-mode.
|
|
- Execucao automatizada no `check` do modulo.
|
|
|
|
## Non-Goals
|
|
|
|
- Cobertura total de todo stdlib real.
|
|
- Benchmarks de performance do loader.
|
|
|
|
## Affected Documents
|
|
|
|
- `docs/general/specs/13. Conformance Test Specification.md`
|
|
- `docs/pbs/specs/12. Diagnostics Specification.md`
|
|
- `docs/pbs/specs/13. Lowering IRBackend Specification.md`
|
|
|