prometeu-studio/docs/pbs/pull-requests/PR-028-pbs-gate-u-sdk-interface-module-fixtures.md

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