spec-first-copilot 0.6.0-beta.9 → 0.7.0

package/templates/.github/skills/sf-extract/SKILL.md

@@ -1,249 +1,225 @@
-# /sf-extract $ARGUMENTS
-
-Skill atômica de extração. Lê insumos brutos de `workspace/Input/$ARGUMENTS/` e gera PRD + categoriza chunks tech pro `/sf-design`.
-`$ARGUMENTS` = nome do scope (ex: `app_barbearia`, `feat_cadastro_cliente`, `bootstrap`).
-
-## Multi-agent
-
-| Agente | Modelo | Papel |
-|--------|--------|-------|
-| **Reader** (1 por arquivo) | Sonnet | Lê e cataloga 1 arquivo. Não interpreta, apenas cataloga |
-| **Analyzer** | Opus | Cruza fontes, categoriza chunks (produto/tech/both), consulta docs/, detecta gaps/contradições, gera PRD |
-
-## Pré-condições
-
-| # | Validação | Se falhar |
-|---|-----------|-----------|
-| 1 | `$ARGUMENTS` informado | Parar → "Informe o nome. Ex: /sf-extract feat_cadastro_cliente" |
-| 2 | `workspace/Input/$ARGUMENTS/` existe com arquivos | Parar → "Pasta vazia. Rode /sf-load $ARGUMENTS ou coloque insumos manualmente" |
-| 3 | `workspace/Output/$ARGUMENTS/.context.md` existe | Parar → "Execute /sf-start $ARGUMENTS primeiro" |
-| 4 | Status é `not_started` ou `extract_done` | Se posterior → "Extração já aprovada. Use /sf-design se quer seguir, ou edite .context.md" |
-
-## Passos
-
-### 1. Carregar contexto
-
-- `.context.md` → `first_run`, `areas_tocadas`, status
-- `discovery.md` (se existir) → análise profunda prévia dos insumos
-- **`docs/` se existir** — usar como baseline pra responder checklist sem perguntar ao user
-- Templates:
-  - `.github/templates/sf-feature/PRD.template.md` (destino principal)
-  - `.github/templates/sf-feature/sf-extract-log.template.md` (append-only)
-  - `.github/templates/sf-feature/backlog-extraido.template.md` (condicional, ver passo 6)
-
-> Se `discovery.md` existir: usar mapa do sistema e perguntas respondidas como contexto
-> enriquecido. Resultado: menos ambiguidades, melhor estruturação.
-
-### 2. Inventariar insumos
-
-Para cada arquivo em `workspace/Input/$ARGUMENTS/` (ignorar `.gitkeep`):
-- Calcular hash SHA-256 (primeiros 8 chars)
-- Se `.extract-log.md` existe → classificar: NOVO / MODIFICADO / INALTERADO
-- Se não existe → todos são NOVOS
-
-### 3. Processar (Reader por arquivo)
-
-Para cada arquivo NOVO ou MODIFICADO:
-
-| Formato | O que extrair |
-|---------|---------------|
-| .md, .txt | Requisitos, regras, contexto, restrições |
-| .sql | Entidades, campos, tipos, constraints, índices |
-| .html | Telas, campos, ações, validações, rotas, permissões |
-| .xml, .json | Fluxos, decisões, configurações |
-| .csv | Dados tabulares, mapeamentos |
-| .png, .jpg, .pdf | Análise visual (wireframes, mockups) |
-| Não identificado | Registrar como NÃO IDENTIFICADO, gerar ambiguidade |
-
-Cada chunk deve ser categorizado:
-- **produto** — jornadas, RNs, UX, atores, telas, validações de negócio
-- **tech** — stack, arquitetura, infra, segurança, schema SQL, convenções API
-- **both** — informação que alimenta PRD e SDD simultaneamente (ex: tabela que vira entidade no PRD §3 e entidade técnica no SDD §6)
-
-### 4. Consolidar (Analyzer)
-
-#### 4.1 — Detectar se PRD é empty
-
-Critério: após ler TODOS os insumos, o Analyzer consegue identificar **pelo menos 1** de:
-- Regra de negócio (RN)
-- Jornada de usuário
-- Tela / componente UI
-- Ator com permissões
-
-**Sim → `empty: false`**, preencher PRD normalmente.
-**Não → `empty: true`**, PRD fica com Meta + nota de rodapé. Todo conteúdo vai pro extract-log como tech chunks.
-
-#### 4.2 — Consultar docs/ antes de marcar ambiguidade
-
-Para cada gap detectado (campo do template sem info nos insumos):
-
-1. Verificar se `docs/` existe
-2. Se existe, procurar resposta nos 5 arquivos (architecture, domain, conventions, apiContracts, decisions)
-3. Se encontrada: marcar como **"resolvido em `docs/{arquivo} §{seção}`"** em §14 — NÃO vira pergunta
-4. Se ausente / não coberta / contradita pelo insumo: vira ambiguidade BLOQUEANTE em §14
-
-#### 4.3 — Checklist de temas críticos FIXO
-
-Rodar SEMPRE (independente de first_run ou feature), após consulta a `docs/`.
-Temas não cobertos nem por insumos nem por `docs/` viram ambiguidades:
-
-| # | Tema | Se ausente |
-|---|------|------------|
-| 1 | **Autenticação** — mecanismo (JWT, OAuth, session) + quais operações exigem | "Mecanismo/escopo de autenticação não definido" |
-| 2 | **Autorização / Roles** — perfis, matriz de permissões, granularidade | "Perfis e regras de autorização não definidos" |
-| 3 | **Separação de serviços** — mono/micro, API vs Worker vs Web | "Arquitetura de serviços não definida" |
-| 4 | **Ambientes & deploy** — dev/staging/prod, CI/CD, containers | "Estratégia de ambientes e deploy não definida" |
-| 5 | **Dados sensíveis / LGPD** — PII, criptografia, retenção, base legal | "Tratamento de dados sensíveis não mencionado" |
-| 6 | **Validações de entrada** — regras, limites, formatos, mensagens de erro | "Validações não detalhadas" |
-| 7 | **Tratamento de erros** — cenários de falha, UX de erro, códigos | "Cenários de erro não definidos" |
-| 8 | **Impacto em dados existentes** — migração, backfill, compatibilidade | "Impacto em dados existentes não avaliado" |
-
-> Analyzer NÃO inventa respostas. Se não está em insumo NEM em `docs/`, PERGUNTA.
-> Em scopes puro-técnicos (PRD empty), temas 1-5 são prioridade; 6-8 ficam N/A comum.
-
-#### 4.4 — Regras de consolidação
-
-- Detectar contradições entre fontes → ambiguidade citando as duas
-- Nunca inferir regra de negócio — se não explícito, é ambiguidade
-- IDs estáveis: RN-001 nunca renumera, novos continuam sequência
-- Rastreabilidade: cada info aponta pro arquivo fonte no §15
-
-### 5. Gerar PRD.md
-
-Usar template `.github/templates/sf-feature/PRD.template.md`:
-
-- Meta: preencher `empty` com resultado do 4.1
-- Se `empty: true`: só preencher Meta + adicionar nota rodapé "scope puro-técnico"
-- Se `empty: false`: preencher 15 seções normalmente
-- §14 Ambiguidades: itens com "resolvido em docs/..." + itens bloqueantes (que exigem resposta do user)
-- §15 Rastreabilidade: tabela insumo → seções alimentadas
-
-### 6. Backlog extraído (condicional)
-
-Gerar `backlog_extraido.md` **APENAS** se:
-- `first_run = true` (detectado do `.context.md`) E
-- Insumos mencionam features/funcionalidades que extrapolam o escopo atual
-
-Usar template `.github/templates/sf-feature/backlog-extraido.template.md`:
-- Funcionalidades fora-de-escopo organizadas em roadmap faseado
-- Cada item sugere `/sf-start <nome>` futuro
-- Máximo 4-5 fases, priorizando cadastros/fundação na fase 1
-
-Se `first_run = false` (feature): não gerar. Backlog é artefato de bootstrap.
-
-### 7. Gerar/atualizar `.extract-log.md`
-
-```markdown
-# Extract Log — $ARGUMENTS
-
-## Extração N — {{ISO_DATETIME}}
-
-| Arquivo | Hash | Classificação | Status | Seções PRD | Categoria chunks |
-|---------|------|---------------|--------|-----------|------------------|
-| ... | ... | NOVO | extraído | §3, §5, §7 | produto, both |
-| ... | ... | NOVO | extraído | — | tech (stack, infra) |
-
-### Tech chunks (pro /sf-design consumir)
-
-| Arquivo | Linhas/seção | Categoria | Conteúdo resumido |
-|---------|--------------|-----------|-------------------|
-| stack.md | toda | tech: stack | .NET 8 + React + PostgreSQL |
-| schema.sql | CREATE TABLE users | tech: db | Entidades iniciais |
-| infra.md | §3 | tech: infra | Docker + GitHub Actions |
-```
-
-Chunks categorizados como `tech` ou `both` alimentam o `/sf-design` sem re-ler os insumos.
-
-### 8. Atualizar `.context.md`
-
-```yaml
-status: "extract_done"
-prd_empty: "{true|false}"   # resultado do 4.1
-ultima_skill: "/sf-extract"
-atualizado_em: "{{ISO_DATETIME}}"
-```
-
-### 9. Publicar PRD no backend (OBRIGATÓRIO quando config existe)
-
-**Este passo NÃO é opcional**. Tomar decisão baseada em arquivo, não em intenção:
-
-| Detecção | Ação |
-|----------|------|
-| `sfw.config.yml` NÃO existe | Pular silenciosamente (projeto 100% local). Registrar no output da skill: "publish: skipped (no sfw.config.yml)" |
-| `sfw.config.yml` existe | **Chamar `/sf-publish $ARGUMENTS PRD`** — sem "se", sem "talvez". Execute. |
-
-`/sf-publish` internamente respeita `mode` de cada target (`auto`/`manual`/`off`) e lida com `empty: true` (publica com nota).
-
-Ver `.github/skills/sf-publish/SKILL.md`.
-
-### 10. Saída obrigatória
-
-Antes de terminar, a skill DEVE reportar:
-
-```
-/sf-extract $ARGUMENTS — completo
-
-Artefatos locais:
-  - workspace/Output/$ARGUMENTS/PRD.md (empty: {true|false})
-  - workspace/Output/$ARGUMENTS/.extract-log.md
-  - workspace/Output/$ARGUMENTS/backlog_extraido.md (se aplicável)
-
-Publish:
-  - {target-name}: {CREATED|UPDATED|SKIPPED|CONFLICT|ERROR} — ver .ai/sf-publish-log.md
-  OU
-  - SKIPPED (no sfw.config.yml) — projeto 100% local
-
-Próximo passo:
-  /sf-design $ARGUMENTS   ← após revisar PRD e responder ambiguidades §14
-```
-
-Se `/sf-publish` retornou ERROR, a skill NÃO falha — apenas reporta no output pro user decidir. Artefato local está salvo.
-
-## Como responder ambiguidades (PRD §14)
-
-Quando `/sf-design` bloquear por ambiguidades pendentes, o usuário deve respondê-las
-**editando o próprio PRD** (caminho oficial). Fluxo:
-
-1. Abrir `workspace/Output/$ARGUMENTS/PRD.md`
-2. Ir até **§14 Ambiguidades**
-3. Para cada linha sem resposta: preencher a coluna **`Resposta`** com texto objetivo
-4. Salvar o arquivo
-5. Rodar `/sf-design $ARGUMENTS` novamente — o gate vai passar
-
-Exemplo:
-
-```markdown
-| ID | Pergunta | Origem | Resposta | Resolvido em docs/ |
-|----|----------|--------|----------|--------------------|
-| AMB-001 | Qual o formato esperado de CPF? | schema.sql §3 | Sem máscara, 11 chars | — |
-| AMB-002 | Quais perfis acessam /admin? | requisitos.md | Apenas role=ADMIN | — |
-```
-
-**Regras:**
-- Resposta vazia ou `—` → ainda bloqueia o `/sf-design`
-- Marcação `resolvido em docs/{arquivo} §{seção}` é gerada pelo Analyzer (4.2) — não preencher manualmente
-- Resposta uma vez aceita pelo `/sf-design` é registrada permanentemente; não precisa repetir em re-extração
-
-**Quando o caminho A não basta** (mudança estrutural — nova entidade, mudança de escopo,
-contradição que exige novos insumos): adicionar arquivo de ajuste em
-`workspace/Input/$ARGUMENTS/ajustes_v1.md` e rodar `/sf-extract` de novo. O hash detecta
-NOVO → merge aditivo regenera PRD.
-
-## Re-extração
-
-- Merge ADITIVO com PRD existente (nunca remove info de inalterados)
-- Seções afetadas marcadas com `<!-- ATUALIZADO: re-extração ISO_DATE -->`
-- Novos IDs continuam sequência (RN-001, RN-002, ...)
-- Tech chunks no extract-log também são append-only
-- Se PRD era `empty: true` e re-extração encontra produto → flip pra `empty: false` + preencher seções
-
-## Erros
-
-| Erro | Ação |
-|------|------|
-| Pasta vazia | Parar, listar formatos aceitos |
-| `.context.md` não existe | Parar, sugerir `/sf-start $ARGUMENTS` |
-| Nenhum arquivo novo/modificado | Informar "Nenhuma alteração detectada" |
-| Arquivo não identificado | Registrar no log, gerar ambiguidade |
-| Contradição entre arquivos | Gerar ambiguidade citando os dois |
-| `docs/` consultado e contradiz insumo | Gerar ambiguidade especial: "insumo X diverge de docs/Y §Z — qual prevalece?" |
+
+# /sf-extract $ARGUMENTS
+
+Skill atômica de extração. Lê insumos brutos de `workspace/Input/$ARGUMENTS/` e gera **PRD e/ou TRD** conforme o conteúdo dos insumos.
+`$ARGUMENTS` = nome do scope (ex: `app_barbearia`, `feat_cadastro_cliente`).
+
+## Multi-agent
+
+| Agente | Modelo | Papel |
+|--------|--------|-------|
+| **Reader** (1 por arquivo) | Sonnet | Lê e cataloga 1 arquivo. Não interpreta, apenas cataloga |
+| **Produto-Analyzer** | Opus | Consolida conteúdo de produto → gera PRD (se aplicável) |
+| **Tech-Analyzer** | Opus | Consolida conteúdo técnico → gera TRD (se aplicável) |
+
+## Pré-condições
+
+| # | Validação | Se falhar |
+|---|-----------|-----------|
+| 1 | `$ARGUMENTS` informado | Parar → "Informe o nome. Ex: /sf-extract feat_cadastro_cliente" |
+| 2 | `workspace/Input/$ARGUMENTS/` existe com arquivos | Parar → "Pasta vazia. Rode /sf-load $ARGUMENTS ou coloque insumos manualmente" |
+| 3 | `workspace/Output/$ARGUMENTS/.context.md` existe | Parar → "Execute /sf-start $ARGUMENTS primeiro" |
+| 4 | Status é `discovery_done` ou `extract_done` | Se anterior → "Rode /sf-discovery primeiro". Se posterior → "Extração já aprovada. Edite .context.md pra re-extrair" |
+
+## Passos
+
+### 1. Carregar contexto
+
+- `.context.md` → `first_run`, status
+- `discovery.md` (obrigatório em v4) → análise profunda prévia dos insumos
+- **`docs/` se existir** — usar como baseline pra responder checklist sem perguntar
+- Templates:
+  - `.github/templates/feature/PRD.template.md`
+  - `.github/templates/feature/TRD.template.md`
+  - `.github/templates/feature/extract-log.template.md` (append-only)
+
+### 2. Inventariar insumos
+
+Para cada arquivo em `workspace/Input/$ARGUMENTS/` (ignorar `.gitkeep`):
+- Calcular hash SHA-256 (primeiros 8 chars)
+- Se `.extract-log.md` existe → classificar: NOVO / MODIFICADO / INALTERADO
+- Se não existe → todos são NOVOS
+
+### 3. Processar (Reader por arquivo, em paralelo)
+
+Para cada arquivo NOVO ou MODIFICADO, Reader cataloga sem interpretar:
+
+| Formato | O que extrair (cru) |
+|---------|---------------------|
+| .md, .txt | Parágrafos, listas, tabelas, qualquer menção a domínio/técnica |
+| .sql | CREATE TABLE, constraints, índices, comentários, referências |
+| .html | Campos, rotas, ações, permissões, estados (data-*) |
+| .xml (drawio) | Fluxos, decisões, atores, sequências |
+| .csv | Dados tabulares, mapeamentos |
+| .png, .jpg, .pdf | Análise visual (wireframes, mockups) |
+| Não identificado | Registrar NÃO IDENTIFICADO, gerar ambiguidade |
+
+Reader devolve estrutura com **tudo que viu**, sem categorizar produto/tech.
+
+### 4. Consolidar — decisão de quais docs gerar
+
+Após todos os Readers, o skill decide:
+
+- **Há conteúdo de produto?** (jornadas, atores, RNs, UX, telas)
+  - SIM → Produto-Analyzer gera PRD
+  - NÃO → PRD não é criado; `prd_existe = false` no `.context.md`
+- **Há conteúdo técnico?** (stack, schema, endpoints, infra, segurança)
+  - SIM → Tech-Analyzer gera TRD
+  - NÃO → TRD não é criado; `trd_existe = false` no `.context.md`
+
+**Ambos falsos** = extração falhou: erro "insumos sem conteúdo utilizável" + listar ambiguidade pedindo esclarecimento.
+
+**Cenários típicos**:
+- first-run de projeto novo com brief de produto + decisões técnicas → PRD + TRD (caso comum)
+- bootstrap de infra (só docs técnicas) → só TRD
+- feature de UX pura em projeto maduro (sem impacto técnico) → só PRD (raro)
+
+### 5. Produto-Analyzer (se aplicável)
+
+Gera PRD.md seguindo `templates/feature/PRD.template.md`:
+
+- 13 seções fixas
+- RNs com IDs estáveis (RN-001...)
+- §11 Fora de Escopo: sugerir `/sf-start <nome>` pros itens (em vez de "backlog_extraido")
+- §12 Ambiguidades: perguntas bloqueantes (o PM vai responder)
+- §13 Rastreabilidade: de qual insumo veio cada seção
+
+Antes de marcar ambiguidade, consultar `docs/domain.md` e `docs/conventions.md` —
+se resposta já está lá, marcar "resolvido em docs/X §Y" em vez de perguntar.
+
+### 6. Tech-Analyzer (se aplicável)
+
+Gera TRD.md seguindo `templates/feature/TRD.template.md`:
+
+- 11 seções fixas organizadas por área (§Sistema + §Área-X + transversais)
+- GATEs SIM/NÃO por §Área: só preenche áreas que a feature toca
+- §1 §Sistema é GATE=SIM sempre em first-run (baseline completo)
+- ADRs em §9 (imutáveis após aceitas; sincronizadas em docs/decisions.md via /sf-merge-docs)
+- §10 Ambiguidades técnicas: perguntas bloqueantes (o dev vai responder)
+
+Antes de marcar ambiguidade, consultar `docs/architecture.md`, `docs/conventions.md`,
+`docs/apiContracts.md`, `docs/decisions.md` — se resposta já está lá, marcar
+"resolvido em docs/X §Y".
+
+### 7. Checklist de temas críticos (FIXO)
+
+Rodar sempre, após consulta a `docs/`. Temas não cobertos nem por insumos nem
+por `docs/` viram ambiguidades — em PRD se é de produto, em TRD se é técnico:
+
+| # | Tema | Doc destino se vazio | Texto da ambiguidade |
+|---|------|---------------------|----------------------|
+| 1 | Autenticação — mecanismo (JWT/OAuth/session) + operações protegidas | TRD §7.1 | "Mecanismo/escopo de auth não definido" |
+| 2 | Autorização / Papéis — perfis, matriz, granularidade | TRD §7.2 | "Papéis e permissões não definidos" |
+| 3 | Separação de serviços — mono/micro, API vs Worker vs Web | TRD §1.2 | "Arquitetura de serviços não definida" |
+| 4 | Ambientes & deploy — dev/staging/prod, CI/CD | TRD §1.3-§1.4 e §5 | "Estratégia de ambientes não definida" |
+| 5 | Dados sensíveis / LGPD | TRD §7.3 | "Tratamento de PII não mencionado" |
+| 6 | Validações de entrada (schema) | TRD §2.3 | "Validações de schema não detalhadas" |
+| 7 | Cenários de erro de produto | PRD §8 | "Cenários de erro não definidos" |
+| 8 | Impacto em dados existentes (migração) | TRD §4.3 | "Impacto em dados existentes não avaliado" |
+| 9 | Métricas de sucesso (produto) | PRD §9 | "Como medir sucesso desta feature?" |
+
+> Analyzer NÃO inventa respostas. Se não está em insumo NEM em `docs/`, PERGUNTA.
+> Em scope só-PRD ou só-TRD, temas fora do domínio correspondente são ignorados.
+
+### 8. Gerar/atualizar `.extract-log.md`
+
+```markdown
+## Extração N — {{ISO_DATETIME}}
+
+| Arquivo | Hash | Classificação | Status | Destino |
+|---------|------|---------------|--------|---------|
+| requisitos.md | a3f29c1d | NOVO | extraído | PRD §1, §3, §5 + TRD §2.1 |
+```
+
+Campo "Destino" mostra em qual doc (PRD/TRD) e em quais seções a info foi.
+
+### 9. Atualizar `.context.md`
+
+```yaml
+status: "extract_done"
+prd_existe: {{true|false}}   # resultado do passo 4
+trd_existe: {{true|false}}   # resultado do passo 4
+prd_aprovado: false           # user vai aprovar manualmente
+trd_aprovado: false           # idem
+ultima_skill: "/sf-extract"
+atualizado_em: "{{ISO_DATETIME}}"
+```
+
+### 10. Publicar no backend (se `sfw.config.yml` existe)
+
+Chamar `/sf-publish $ARGUMENTS PRD` (se `prd_existe=true`) e
+`/sf-publish $ARGUMENTS TRD` (se `trd_existe=true`). Respeita `mode` de cada target.
+Ver `.github/skills/sf-publish/SKILL.md`.
+
+### 11. Saída obrigatória
+
+```
+/sf-extract $ARGUMENTS — completo
+
+Artefatos locais:
+  - workspace/Output/$ARGUMENTS/PRD.md (gerado: {{true|false}})
+  - workspace/Output/$ARGUMENTS/TRD.md (gerado: {{true|false}})
+  - workspace/Output/$ARGUMENTS/.extract-log.md
+
+Publish:
+  - {target-name}: PRD: {{status}} | TRD: {{status}}
+  OU
+  - SKIPPED (no sfw.config.yml) — projeto 100% local
+
+Próximos passos:
+  1. [PM] Revise workspace/Output/$ARGUMENTS/PRD.md e aprove:
+     - Abra o arquivo, preencha §12 Ambiguidades (coluna "Resposta")
+     - Marque prd_aprovado=true em .context.md quando aprovar
+     (se PRD não foi gerado, pule)
+
+  2. [dev] Revise workspace/Output/$ARGUMENTS/TRD.md e aprove:
+     - Abra o arquivo, preencha §10 Ambiguidades técnicas
+     - Marque trd_aprovado=true em .context.md quando aprovar
+     (se TRD não foi gerado, pule)
+
+  3. Após aprovações relevantes: /sf-design $ARGUMENTS
+```
+
+Se `/sf-publish` retornou ERROR, a skill NÃO falha — apenas reporta. Artefato local salvo.
+
+## Como responder ambiguidades (PRD §12 e TRD §10)
+
+Mesma mecânica pros 2 docs. Quando `/sf-design` bloquear por ambiguidades pendentes:
+
+1. Abrir `workspace/Output/$ARGUMENTS/PRD.md` (ou TRD.md)
+2. Ir até §Ambiguidades (§12 no PRD, §10 no TRD)
+3. Para cada linha sem resposta: preencher a coluna **`Resposta`** com texto objetivo
+4. Salvar
+5. Rodar `/sf-design $ARGUMENTS` novamente — gate vai passar
+
+**Regras:**
+- Resposta vazia ou `—` → ainda bloqueia
+- Marcação `resolvido em docs/{arquivo} §{seção}` é gerada pelo Analyzer — não preencher manualmente
+- Respostas são permanentes; não precisa repetir em re-extração
+
+**Quando esse caminho não basta** (mudança estrutural grande — nova entidade, mudança
+de escopo, contradição que exige novos insumos): adicionar arquivo de ajuste em
+`workspace/Input/$ARGUMENTS/ajustes_v1.md` e rodar `/sf-extract` de novo. O hash detecta
+NOVO → merge aditivo regenera PRD/TRD.
+
+## Re-extração
+
+- Merge ADITIVO com PRD/TRD existentes (nunca remove info de arquivos inalterados)
+- Seções afetadas marcadas com `<!-- ATUALIZADO: re-extração ISO_DATE -->`
+- Novos IDs (RN-NNN no PRD, ADR-NNN no TRD) continuam sequência
+- Se PRD era inexistente e re-extração encontra produto → cria PRD agora
+  (`prd_existe` vira true; `prd_aprovado` volta pra false pra nova revisão)
+- Idem pro TRD
+
+## Erros
+
+| Erro | Ação |
+|------|------|
+| Pasta vazia | Parar, listar formatos aceitos |
+| `.context.md` não existe | Parar, sugerir `/sf-start $ARGUMENTS` |
+| Status anterior a `discovery_done` | Parar → "/sf-discovery antes de /sf-extract" |
+| Nenhum arquivo novo/modificado | Informar "Nenhuma alteração detectada" |
+| Arquivo não identificado | Registrar no log, gerar ambiguidade |
+| Contradição entre arquivos | Gerar ambiguidade citando os dois |
+| `docs/` contradiz insumo | Ambiguidade especial: "insumo X diverge de docs/Y §Z — qual prevalece?" |
+| Insumos não geram PRD NEM TRD | Erro "insumos sem conteúdo utilizável" + pedir esclarecimento |