diff --git a/docs/pbs/pull-requests/PR-028-pbs-gate-u-sdk-interface-module-fixtures.md b/docs/pbs/pull-requests/PR-028-pbs-gate-u-sdk-interface-module-fixtures.md deleted file mode 100644 index e9bfccd6..00000000 --- a/docs/pbs/pull-requests/PR-028-pbs-gate-u-sdk-interface-module-fixtures.md +++ /dev/null @@ -1,55 +0,0 @@ -# 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` -