@polymorphism-tech/morph-spec 10.1.1 → 10.2.0

package/framework/phases.json

@@ -8,7 +8,7 @@
       "displayName": "Plan",
       "goals": [
         "Understand the business problem and scan the stack (brownfield) or assume the default (greenfield)",
-        "Write plan.md — scenarios with proof, decisions, reuse and slices",
+        "Write plan.md — scenarios with proof, decisions and reuse",
         "Run plan-check to produce checks.json and reach the plan gate"
       ],
       "requiredOutputs": [
@@ -52,9 +52,9 @@
       "folder": "3-implement",
       "displayName": "Implementation",
       "goals": [
-        "Execute the slices of plan.md, in parallel waves when plan-check allows",
-        "Close a slice only on verify green and its scenarios proven",
-        "One report per slice (3-implement/reports/F{n}.md, with **Arquivos:** and **Standards:**) — the implementation record"
+        "Implement the whole plan in this session, in sequence",
+        "Mark a scenario `feito` only with its evidence; close the phase on a green, unfiltered verify",
+        "One row per scenario in 3-implement/report.md — the implementation record"
       ],
       "requiredOutputs": [],
       "optionalOutputs": [

package/framework/schemas/config.schema.json

@@ -59,6 +59,11 @@
                 "minimum": 0,
                 "description": "Recorded baseline, kept only for `node-test` and `evals` (ignored, and removed by --record-baseline, on the other runners). Written ONLY by `morph-spec verify --record-baseline`, from a green run — never typed by hand."
               },
+              "parallel": {
+                "type": "boolean",
+                "default": false,
+                "description": "Run this node at the same time as the other nodes with parallel: true. Declare it only on suites that share no database, port or build output: nothing in the harness can check that. Ignored on an e2e: true node and in a round chasing a red suite."
+              },
               "timeoutMs": {
                 "type": "integer",
                 "minimum": 1,
@@ -122,8 +127,14 @@
     "e2e": {
       "type": "object",
       "additionalProperties": true,
-      "description": "The verification stack of `e2e up` and of the verify e2e node. Only hostServices and resetCommand are described here; the other keys (auth, command, portEnvNames, ...) stay open.",
+      "description": "The verification stack of `e2e up` and of the verify e2e node. Only specTimeoutMs, hostServices and resetCommand are described here; the other keys (auth, command, portEnvNames, ...) stay open.",
       "properties": {
+        "specTimeoutMs": {
+          "type": "number",
+          "exclusiveMinimum": 0,
+          "default": 300000,
+          "description": "Limit of each Playwright spec run of the verify e2e node, in ms."
+        },
         "resetCommand": {
           "type": "string",
           "minLength": 1,
@@ -216,6 +227,14 @@
         }
       }
     },
+    "finish": {
+      "type": "object",
+      "description": "How a finished feature reaches the default branch.",
+      "properties": {
+        "mode": { "type": "string", "enum": ["pr", "merge"], "default": "pr" }
+      },
+      "additionalProperties": false
+    },
     "heavy": {
       "type": "object",
       "additionalProperties": false,

package/framework/schemas/feature.schema.json

@@ -131,6 +131,7 @@
           },
           "additionalProperties": false
         },
+        "flaky": { "type": "array", "items": { "type": "string" }, "description": "Nodes or e2e specs that were red and turned green with no code change on the way to this stamp. Absent when none. Evidence for the verifier, never a gate input." },
         "e2eReason": { "type": ["string", "null"], "description": "The LITERAL reason the e2e node skipped (e2e-check.js's own wording), or null when it did not skip. risk-detector.js's classifyE2eSkip() reads it: 'project does not containerize' / 'does not touch runtime' are legitimate dispensations and pass; 'docker is not available' / 'requested' (--skip-e2e) / anything unclassifiable — null included — are an absence of proof and pause Gate 3. A skip recorded WITHOUT a reason is refused on purpose: a nameless dispensation is a silent no-op." },
         "sha": { "type": ["string", "null"], "description": "HEAD commit SHA at verify time (git rev-parse HEAD); null when not in a git repo or no commits yet." },
         "ts": { "type": "string", "format": "date-time", "description": "Server-side timestamp, same instant as the corresponding verifications entry's updatedAt." },

package/framework/skills/core/create-umbraco-lp/SKILL.md

@@ -4,7 +4,7 @@ description: Guia a criação de uma landing page nova ponta-a-ponta a partir do
 version: core
 when_to_use: Use quando for iniciar um novo projeto de LP com o template Umbraco genérico
 user-invocable: true
-cliVersion: "10.1.1"
+cliVersion: "10.2.0"
 stacks:
   - umbraco
 ---

package/framework/skills/core/migrate-lp-to-umbraco/SKILL.md

@@ -4,7 +4,7 @@ description: Migra uma landing page existente (React/Vite, Next.js estático ou
 version: core
 when_to_use: Use quando o usuário pedir "use /migrate-lp-to-umbraco {projeto}" ou descrever a necessidade de migrar uma LP para Umbraco
 user-invocable: true
-cliVersion: "10.1.1"
+cliVersion: "10.2.0"
 stacks:
   - umbraco
 ---

package/framework/skills/core/morph-apply/SKILL.md

@@ -4,7 +4,7 @@ description: Implementa o plano aprovado de uma feature morph-spec inteiro nesta
 version: core
 when_to_use: Use com o gate do plano aprovado ("/morph-apply {feature}", "implementar feature"), em "/morph-review {feature}" (entra no §5), em "/morph-hotfix {feature}" ou incidente de produção (references/hotfix.md), ou quando `morph-spec next` mandar implement, verify, fix, review ou finish
 user-invocable: true
-cliVersion: "10.1.1"
+cliVersion: "10.2.0"
 ---
 
 # morph-apply
@@ -24,7 +24,7 @@ O plano inteiro, nesta sessão, em sequência. Sem sub-agent para implementar: o
 - As regras de cada domínio (.NET, EF, MAF, Next.js, infra) chegam sozinhas: a rule do stack carrega quando você toca o arquivo. O texto inteiro de um standard: `morph-spec standards --find` → `--show <id>#<âncora>`.
 - Antes de criar um tipo, confira a tabela `## Reuso` e `morph-spec graph explain <nome>` (sem grafo, `grep -rn`).
 - Rode build e teste quando quiser; teste pesado fora do `verify` por `morph-spec heavy run -- <cmd>`. Exit 3 = fila cheia: uma chamada nova no máximo (`references/machine.md`).
-- Ao fechar um `Cn`, atualize a linha dele no `report.md` (`feito` + a evidência: teste, `arquivo:linha`) e commite (`wip(<f>): C2 …`). Decisão ou fato novo → uma linha em `## Notas`.
+- Ao fechar um `Cn`, atualize a linha dele no `report.md` (`feito` + a evidência: teste, `arquivo:linha`); commite por lote coerente (`wip(<f>): C2-C3 …`), não por `Cn`. Decisão ou fato novo → uma linha em `## Notas`.
 - Mídia gerada por IA: `references/media.md`. Erro difícil: `references/debugging.md`.
 
 `Cn` que depende de uma decisão que não é sua: status `bloqueado` e a pergunta em `## Notas`; o `next` devolve `decide` → `AskUserQuestion`.
@@ -40,9 +40,9 @@ O plano inteiro, nesta sessão, em sequência. Sem sub-agent para implementar: o
 
 ## 3. Verify, sem filtro
 
-Todo `Cn` `feito`: `morph-spec context refresh` (regera o inventário em `.morph/context/README.md`; `design-system.md` você atualiza só se mudou token), commite tudo e rode `morph-spec verify {feature} --json` sem filtro: a suíte inteira é a prova que o Gate 3 e o CI leem; com `--filter`, o verde mede só um nó. Passou de 10 min: `run_in_background` e espere a notificação **no mesmo turno**. Nó `node-test`/`evals` sem `expectedCount`, ou teste apagado de propósito: `--record-baseline` nesta mesma rodada.
+Todo `Cn` `feito`: commite tudo e rode `morph-spec verify {feature} --json` sem filtro: a suíte inteira é a prova que o Gate 3 e o CI leem; com `--filter`, o verde mede só um nó. Sempre em `run_in_background`, esperando a notificação **no mesmo turno**, sem ler o log em laço. Nó `node-test`/`evals` sem `expectedCount`, ou teste apagado de propósito: `--record-baseline` nesta mesma rodada.
 
-Vermelho → corrija com `verify.feedback` e rode de novo. `next` conta: `fix` enquanto há tentativa, `escalate` na 3ª vermelha seguida → `AskUserQuestion` ("Verify de {feature} vermelho após 3 tentativas — aceitar com ressalva, continuar tentando, ou parar?").
+Vermelho → corrija com `verify.feedback` e rode de novo: com código novo, as suítes vermelhas rodam primeiro e o resto só se passarem; sem mudança de código, só o que ficou vermelho roda. Mudou algo fora da árvore (`.env`, banco): `--fresh`. `next` conta: `fix` enquanto há tentativa, `escalate` na 3ª vermelha seguida → `AskUserQuestion` ("Verify de {feature} vermelho após 3 tentativas — aceitar com ressalva, continuar tentando, ou parar?").
 
 ## 4. Ramo por tipo
 
@@ -55,7 +55,7 @@ Verify verde: siga `references/review.md` — foto `--before-eval`, verificador
 
 ## 6. Fechar
 
-Commite o que faltar (relatórios do review) — o `finish` exige árvore limpa. Modo por `AskUserQuestion` (header "Integração"): `morph-spec finish {feature} --pr|--merge`. `--pr` não integra: a feature fica `aguardando-merge` até o merge. O `finish` arquiva o `feature.json`, o `plan.md` e o recap; o report e a review ficam no histórico do git. Encerrado, aponte o recap ao usuário (`.morph/archive/{feature}/recap.html`, abra no navegador; `morph-spec recap {feature} --piper` narra com o Piper local).
+`morph-spec context refresh` (regera o inventário em `.morph/context/README.md`; `design-system.md` você atualiza só se mudou token) e commite o que faltar (relatórios do review): o `finish` exige árvore limpa. Modo: `finish.mode` do config do projeto, padrão `pr`, sem perguntar: `morph-spec finish {feature} --pr|--merge`. `--pr` não integra: a feature fica `aguardando-merge` até o merge. O `finish` arquiva o `feature.json`, o `plan.md` e o recap; o report e a review ficam no histórico do git. Encerrado, aponte o recap ao usuário (`.morph/archive/{feature}/recap.html`, abra no navegador; `morph-spec recap {feature} --piper` narra com o Piper local).
 
 ## Arquivo de teste
 

package/framework/skills/core/morph-apply/references/hotfix.md

@@ -28,7 +28,7 @@ A mudança mínima que tira a falha do ar — refatoração e hardening fora do
 
 ## 5. Gate 3 — sempre humano
 
-Escreva você `4-review/verifier.md`: `**Verdict:** SHIP|FIX`, `**Reviewed-SHA:** {git rev-parse HEAD}`, `## Checks` (`| Cn | PROVADO|NÃO PROVADO|FALHA | evidência |`, evidência = saída do verify), `## Bloqueadores` (`Nenhum.` vale). `morph-spec gate-check {feature} review` pausa sempre. `AskUserQuestion`, header "Gate 3":
+Escreva você `4-review/verifier.md`: `**Verdict:** SHIP|FIX`, `**Reviewed-SHA:** {git rev-parse HEAD}`, `## Checks` (`| Cn | PROVADO|NÃO PROVADO|FALHA | evidência |`, evidência = saída do verify), `## Bloqueadores` (`Nenhum.` vale). `morph-spec gate-check {feature} review` pausa sempre. Hotfix não despacha a revisão de segurança: se o diff toca caminho sensível (auth, segredo, pagamento, migration), diga isso ao humano no gate, porque a atenção é dele. `AskUserQuestion`, header "Gate 3":
 
 ```
 question: "Gate 3 — Hotfix de {feature} pronto para ship?"

package/framework/skills/core/morph-apply/references/review.md

@@ -12,21 +12,21 @@ Por que fresco: o que você sabe da implementação é o ponto cego que eles exi
 
 Commite e rode `morph-spec verify {feature} --ci --json` em `run_in_background` (sem CI, roda local e diz por quê). Sem `--filter`, sempre: verde filtrado é verde sobre código não testado. `reason: "stamp-reused"` = nada andou desde o último verde: vale. Saída `CI rodando` → despache (passo 3) sem esperar o fim; `verify local` → espere, a máquina é uma só.
 
-Nó `e2e` `pass` → `morph-spec e2e status {feature} --json` → `baseUrl` vai ao verificador. `fail` → correção (CI: `gh run view <id> --log-failed`). `skip` → o `gate-check` decide se dispensa (`classifyE2eSkip`, em `risk-detector.js`: docker indisponível pausa sozinho, sem `gate-decision` à mão).
+`flaky` no resultado do verify → a lista vai ao verificador. Nó `e2e` `pass` → `morph-spec e2e status {feature} --json` → `baseUrl` vai ao verificador. `fail` → correção (CI: `gh run view <id> --log-failed`). `skip` → o `gate-check` decide se dispensa (`classifyE2eSkip`, em `risk-detector.js`: docker indisponível pausa sozinho, sem `gate-decision` à mão).
 
 ## 3. Dispatch — os três na mesma resposta
 
-`morph-spec report-check {feature} --before-eval --json` tira a foto da árvore e diz `reviewModels.verifier.model` (opus com prompt/modelo ou mídia) e `reviewModels.security.required`. Anote `base` (merge-base com a default) e `sha` (`git rev-parse HEAD`). O revisor abre pela árvore do que mudou (`morph-spec graph diff --base {base} --json`, que ele mesmo roda). Blast radius para o revisor: por símbolo público do diff, `morph-spec graph affected <símbolo> --prod --json`; sem grafo (`no-graph`/`not-found`/`ambiguous`), diga isso a ele — ele cai para `git grep`.
+`morph-spec report-check {feature} --before-eval --json` tira a foto da árvore e diz `reviewModels.verifier.model` (opus com prompt/modelo ou mídia), `reviewModels.security.required` e, em `gate3`, `base`, `sha`, `flaky` e `e2eChecks`. `e2eChecks` não vazio sem `baseUrl`: suba a stack com `morph-spec e2e up {feature}` antes do dispatch; `Cn` sem stack é pendência sua, não rodada de FIX. O revisor calcula o próprio blast radius (`morph-spec graph diff --base {base} --json`, `graph affected`; sem grafo, `git grep`).
 
 Despache **sem nome** no dispatch (com nome, o `agent_type` que o hook `test-budget` lê vira o nome e o guard não reconhece o papel). `chore`: só o revisor (∥ segurança).
 
 ```
 Agent (subagent_type: "morph-verifier", model: {reviewModels.verifier.model}):
-  feature; o conteúdo de 2-plan/checks.json; baseUrl (ou "stack fora do ar: <motivo>");
+  feature; o conteúdo de 2-plan/checks.json; baseUrl; gate3.flaky, se houver;
   reset entre fluxos: `morph-spec e2e reset {feature}`; 1-design/mockups.md se existir;
   grave .morph/features/{feature}/4-review/verifier.md
 Agent (subagent_type: "morph-reviewer"):
-  feature, base, sha, blast radius (ou a ausência);
+  feature, base, sha;
   grave .morph/features/{feature}/4-review/reviewer.md
 Agent (subagent_type: "morph-security"):          ← só com security.required
   feature, base, sha, reviewModels.security.reasons;
@@ -45,7 +45,7 @@ Não rode build nem teste enquanto um agente está `running`. Com todos de volta
 
 O avaliador também erra: **reproduza cada bloqueador antes de editar**. Não se reproduz → é nota sua no `report.md`, e o próximo dispatch de confirmação recebe a contra-evidência. Confirmado → corrija, commite, `verify {feature}` local, foto `--before-eval` nova.
 
-Confirmação = **dispatch novo** de cada papel exigido, com o `sha` novo e o escopo da rodada: quem abriu bloqueadores confirma só esses (verificador: "confirme só C2, C5"); os outros julgam só o delta `{sha anterior}..{sha novo}`. `security.required` virou `true` agora → despache a segurança. Ninguém reavalia a feature inteira. O relatório é append-only e vale o último `**Verdict:**`; o `approve` recusa quando o código andou depois de qualquer `**Reviewed-SHA:**`.
+Confirmação = **dispatch novo** só dos papéis em `gate3.redispatch`, com o `sha` novo e o escopo da rodada: quem abriu bloqueadores confirma só esses (verificador: "confirme só C2, C5"); os outros julgam só o delta `{sha anterior}..{sha novo}`. Papel com SHIP limpo não volta se o delta ficar nos arquivos citados pelos bloqueadores ou em teste; a segurança, se o delta não tocar caminho sensível. Ninguém reavalia a feature inteira. O relatório é append-only e vale o último `**Verdict:**`; o `approve` recusa quando o código andou depois de um `**Reviewed-SHA:**`, salvo esse caso, com quem abriu bloqueador confirmando o `HEAD`.
 
 ## 6. Gate 3
 

package/framework/skills/core/morph-plan/SKILL.md

@@ -4,7 +4,7 @@ description: Leva um pedido ou o link de uma issue ao plano aprovado — roteia
 version: core
 when_to_use: Use quando uma feature, bug ou chore começar ("/morph-plan {feature}", "/morph-plan <link da issue>", "vamos planejar X"), ou ao retomar uma feature cujo gate plan ainda não foi aprovado
 user-invocable: true
-cliVersion: "10.1.1"
+cliVersion: "10.2.0"
 ---
 
 # morph-plan
@@ -44,7 +44,7 @@ Entra na árvore só o que muda escopo, comportamento ou arquitetura e a varredu
 
 ## 4. Reuso
 
-Por conceito central (entidade, DTO, componente, hook, helper): `morph-spec graph explain <nome> --json` e `graph affected <nome> --uses-only --json` (`--uses-only`: o grep conta herança como uso). Sem grafo, `grep -rn` e anote que a contagem veio do grep. O veredito vai na tabela `## Reuso`.
+Por conceito central que o plano pretende criar (entidade, DTO, componente, hook, helper): `morph-spec graph explain <nome> --json` e `graph affected <nome> --uses-only --json` (`--uses-only`: o grep conta herança como uso). Sem grafo, `grep -rn` e anote que a contagem veio do grep. O veredito vai na tabela `## Reuso`.
 
 ## 5. plan.md
 
@@ -71,7 +71,7 @@ Plano bom cabe em duas páginas. `morph-spec plan-check {feature}` até zero err
 
 Cria ou altera UI → `morph-spec advance {feature} --design` (sempre por ele, nunca criando `1-design/` à mão: o `--design` semeia o `mockups.md`) e `Skill(morph-uiux)` depois do gate; senão `advance {feature}` leva a implement. Decidido uma vez, aqui.
 
-Antes do gate, em `feature` e `bug`: a crítica em contexto fresco de `references/critique.md` (o `gate-check` cobra o `2-plan/critica.md` do plano atual).
+Antes do gate, em `feature` e `bug`: a crítica em contexto fresco de `references/critique.md` (o `gate-check` cobra o `2-plan/critica.md` do plano atual). Plano pequeno dispensa, e quem decide é o código: rode o `gate-check` primeiro; sem sinal `plan-critique`, não despache. Pequeno = até 3 cenários, todos `prova: teste` ou `leitura`, sem `degrau` e sem mídia gerada.
 
 `morph-spec gate-check {feature} plan [--json]`. Entrevista que zerou a árvore já é a aprovação do usuário: não repause, salvo a pausa de `signal: "rung"`, que vence e pergunta nomeando cada `Cn` e o seu degrau. Encerrada antes, com nós em `## Fora de escopo`: `morph-spec gate-decision {feature} plan --pause true --reason "entrevista encerrada com nós abertos" --signals '{"discoveryMode":"interview"}'`, e a pergunta do gate lista esses nós.
 
@@ -79,7 +79,7 @@ Antes do gate, em `feature` e `bug`: a crítica em contexto fresco de `reference
 - `resolver === "human"` → abra `2-plan/plan.html` no navegador do usuário (`start`/`open`/`xdg-open`; o `plan-check` o gera), o entendimento (problema, fora de escopo, cenários, riscos) e `AskUserQuestion`, header "Gate plano": `"Gate do plano — Plano de {feature} aprovado?"` com `"aprovado, prosseguir" | "preciso ajustar" | "cancelar feature"`; a pergunta lista `## Padrões assumidos` para veto por número; só a decisão sensível que você tomou sozinho vira pergunta antes, na forma de `references/interview.md` (`## Forma da pergunta`). Headless: `morph-spec approve {feature} plan --approver <quem>`.
 - `pause === false` → uma linha e `morph-spec advance {feature}` (ou `--design`).
 
-Aprovado: "Plano aprovado. Rode `/morph-apply {feature}`.", seguido de `## Padrões assumidos` numerado e "veta N antes do /morph-apply". Veto → `## Errata` com "Padrão N vetado: <valor novo>"; a implementação segue a errata. Não comece a implementar (exceção: `chore`). Rodou `stack-set` nesta sessão: "…numa sessão nova", porque as rules de domínio só carregam no início de uma sessão.
+Aprovado: "Plano aprovado.", com `## Padrões assumidos` numerado, e siga direto com `Skill(morph-apply)`, sem esperar resposta. Veto, a qualquer momento: `## Errata` com "Padrão N vetado: <valor novo>"; a implementação segue a errata. Rodou `stack-set` nesta sessão: pare em "Plano aprovado. Rode `/morph-apply {feature}` numa sessão nova", porque as rules de domínio só carregam no início de uma sessão.
 
 ## 7. Deltas por tipo
 

package/framework/skills/core/morph-uiux/SKILL.md

@@ -4,7 +4,7 @@ description: Conduz a fase de UI/UX de uma feature com plano aprovado — render
 version: core
 when_to_use: Use quando o ramo de design for tomado (morph-spec advance {feature} --design), antes de /morph-apply
 user-invocable: true
-cliVersion: "10.1.1"
+cliVersion: "10.2.0"
 ---
 
 # morph-uiux
@@ -22,7 +22,7 @@ A régua de sistema e de estética chega sozinha: a rule `ui-design` carrega qua
 
 ## 2. Opções — o usuário escolhe vendo, não lendo
 
-Para cada tela nova ou alterada, `1-design/opcoes/{tela}.html`: **uma página com 2 ou 3 direções distintas**, alternáveis por abas, cada uma com:
+Ajuste em tela existente pula esta seção: uma passagem do protótipo (§3) basta. Para cada tela nova, `1-design/opcoes/{tela}.html`: **uma página com 2 ou 3 direções distintas**, alternáveis por abas, cada uma com:
 
 - o conceito em uma frase e o que a torna memorável, no topo da aba;
 - desktop (1280) e celular (390) lado a lado em moldura de aparelho, com conteúdo realista (nunca lorem ipsum nem métrica inventada);

package/framework/templates/examples/design-system-examples.md

@@ -50,9 +50,6 @@
    - *--loading   : Estado de loading
    - *--error     : Estado de erro
 
-   Validacao:
-   morph-spec validate-css src/MyApp.Web
-
    =========================================================================== */
 
 

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@polymorphism-tech/morph-spec",
-  "version": "10.1.1",
+  "version": "10.2.0",
   "description": "MORPH-SPEC: NLH (Natural Language Harness) for spec-driven development with Claude Code",
   "keywords": [
     "claude-code",

package/src/commands/project/doctor.js

@@ -80,7 +80,6 @@ const REQUIRED_COMMAND_FILES = [
   'src/commands/project/status.js',
   'src/commands/project/worktree.js',
   'src/commands/state/approve.js',
-  'src/commands/validation/validate-feature.js',
   'src/commands/scaffold/scaffold.js',
   'src/commands/mcp/mcp-setup.js',
   'src/commands/context/context-refresh.js',

package/src/commands/state/approve.js

@@ -1,9 +1,7 @@
 import { Command } from 'commander';
 import chalk from 'chalk';
 import { execFileSync } from 'child_process';
-import { existsSync } from 'fs';
-import { join } from 'path';
-import { getFeature, setApprovalGate, getApprovalGate, getApprovalHistory, derivePhase } from '../../core/state/state-manager.js';
+import { getFeature, setApprovalGate, getApprovalGate } from '../../core/state/state-manager.js';
 import { unmetPrereqs } from '../../core/state/gate-order.js';
 import { reviewReports, reviewFileName, REVIEW_ROLES, VERDICT_TOKEN, REVIEWED_SHA_TOKEN } from '../../lib/review-reports.js';
 import { shouldPauseGate } from '../../lib/risk-detector.js';
@@ -12,6 +10,7 @@ import { autoApprovalRefusal, printRefusal } from './auto-approval.js';
 import { readTrustFromConfig } from './gate-decision.js';
 import { assertOwnerTree, ownerTreeRefusalLines } from '../../lib/worktree/feature-truth.js';
 import { treeMovedSince } from '../../lib/git/evidence-staleness.js';
+import { reviewConfirmation } from '../../lib/review-confirmation.js';
 import { seedDotnetBuildIgnores } from '../../lib/stack/dotnet-build-ignores.js';
 import { reportDotnetIgnores } from './advance.js';
 
@@ -31,6 +30,11 @@ function reviewStaleness(reports) {
     return { status: 'skip' };
   }
 
+  const confirmation = reviewConfirmation(cwd, reports, head);
+  const excused = new Set(
+    confirmation.confirmed ? confirmation.moved.filter((m) => m.skippable).map((m) => m.role) : [],
+  );
+
   let unstamped = null;
   for (const [role, report] of Object.entries(reports)) {
     if (report.status === 'missing') continue;
@@ -48,7 +52,7 @@ function reviewStaleness(reports) {
       unstamped ??= { status: 'unstamped', file, head };
       continue;
     }
-    if (!treeMovedSince(cwd, reviewed, head)) continue;
+    if (excused.has(role) || !treeMovedSince(cwd, reviewed, head)) continue;
     let ahead = 0;
     try {
       ahead = Number(execFileSync('git', ['rev-list', '--count', `${reviewed}..${head}`], { cwd, stdio: 'pipe' }).toString().trim()) || 0;
@@ -218,7 +222,7 @@ export async function approveCommand(featureName, gateName, options = {}) {
             for (const role of unusable) {
               const { status } = reports[role];
               const what = status === 'missing' ? 'não existe'
-                : status === 'partial' ? 'está PARCIAL — retome o mesmo agente por SendMessage'
+                : status === 'partial' ? 'está PARCIAL — despache o mesmo papel de novo dizendo o que já está no relatório'
                   : `não tem \`${VERDICT_TOKEN} SHIP|FIX\``;
               console.error(chalk.gray(`   ${reviewFileName(role)} ${what}.`));
             }
@@ -280,110 +284,6 @@ program
   .description('Approve a phase gate to allow workflow progression')
   .action(approveCommand);
 
-export async function approvalStatusCommand(featureName, options = {}) {
-  try {
-    const feature = getFeature(featureName);
-    if (!feature) {
-      console.error(chalk.red(`\n❌ Feature not found: ${featureName}\n`));
-      process.exit(1);
-    }
-
-    // Phase derived from the filesystem + approved gates, never "unknown".
-    const featurePath = join(process.cwd(), '.morph', 'features', featureName);
-    const phase = feature.phase || derivePhase(featurePath);
-
-    // The uiux branch is optional: a feature that never took it has no
-    // 1-design/ folder and no uiux approval — that is "n/a", not "rejected".
-    const uiuxGate = getApprovalGate(featureName, 'uiux');
-    const uiuxTaken = uiuxGate?.approved === true || existsSync(join(featurePath, '1-design'));
-
-    if (options.json) {
-      const status = {
-        feature: featureName,
-        phase,
-        status: feature.status,
-        uiuxTaken,
-        gates: {}
-      };
-
-      for (const gateName of VALID_GATES) {
-        status.gates[gateName] = getApprovalGate(featureName, gateName) || { approved: false };
-      }
-
-      console.log(JSON.stringify(status, null, 2));
-      return;
-    }
-
-    console.log(chalk.bold(`\n📋 Approval Status for: ${featureName}`));
-    console.log('━'.repeat(60));
-
-    console.log(chalk.cyan(`\nCurrent Phase: ${phase}`));
-    console.log(chalk.gray(`Feature Status: ${feature.status || 'unknown'}\n`));
-
-    console.log(chalk.bold('Approval Gates:'));
-
-    for (const gateName of VALID_GATES) {
-      const gateStatus = getApprovalGate(featureName, gateName);
-
-      if (!gateStatus) {
-        console.log(`  ${chalk.gray('○')} ${gateName}: ${chalk.gray('Not yet evaluated')}`);
-        continue;
-      }
-
-      if (gateName === 'uiux' && !uiuxTaken) {
-        console.log(`  ${chalk.gray('—')} ${gateName}: ${chalk.gray('n/a (ramo de design não tomado)')}`);
-        continue;
-      }
-
-      if (gateStatus.approved) {
-        console.log(`  ${chalk.green('✓')} ${gateName}: ${chalk.green('Approved')}`);
-        if (gateStatus.timestamp) {
-          console.log(chalk.gray(`      Approved at: ${gateStatus.timestamp}`));
-        }
-        if (gateStatus.approvedBy) {
-          console.log(chalk.gray(`      Approved by: ${gateStatus.approvedBy}`));
-        }
-      } else {
-        // Distinguish "never evaluated" (initialized approved:false, no
-        // timestamp) from an explicit rejection/revocation (has timestamp).
-        const neverEvaluated = !gateStatus.timestamp && !gateStatus.rejectedAt && !gateStatus.revokedAt;
-        if (neverEvaluated) {
-          console.log(`  ${chalk.gray('○')} ${gateName}: ${chalk.gray('Pending (not yet evaluated)')}`);
-          continue;
-        }
-        console.log(`  ${chalk.red('✗')} ${gateName}: ${chalk.red('Rejected / Revoked')}`);
-        if (gateStatus.reason) {
-          console.log(chalk.gray(`      Reason: ${gateStatus.reason}`));
-        }
-        if (gateStatus.timestamp) {
-          console.log(chalk.gray(`      Rejected at: ${gateStatus.timestamp}`));
-        }
-      }
-    }
-
-    const history = getApprovalHistory(featureName);
-    if (history && history.length > 0) {
-      console.log(chalk.bold('\nApproval History:'));
-      history.slice(-5).forEach(entry => {
-        const status = entry.approved ? chalk.green('✓ Approved') : chalk.red('✗ Rejected');
-        console.log(`  ${status} ${entry.gate} - ${entry.timestamp}`);
-      });
-    }
-
-    console.log('\n' + '━'.repeat(60) + '\n');
-
-  } catch (error) {
-    console.error(chalk.red(`\n❌ Error showing approval status: ${error.message}\n`));
-    process.exit(1);
-  }
-}
-
-program
-  .command('approval-status <feature>')
-  .alias('status')
-  .description('Show approval status for all gates')
-  .action(approvalStatusCommand);
-
 if (import.meta.url === `file://${process.argv[1]}`) {
   if (process.argv.length > 2) {
     program.parse(process.argv);

package/src/commands/state/report-check.js

@@ -1,4 +1,5 @@
 import chalk from 'chalk';
+import { execFileSync } from 'child_process';
 import { existsSync, readFileSync } from 'fs';
 import { join } from 'path';
 import { implementProgress, parseReport, reportPath } from '../../../framework/hooks/shared/report-progress.js';
@@ -14,6 +15,8 @@ import { isTestPath } from '../../lib/graph/sanitize.js';
 import { getAbsoluteOutputPath } from '../../core/paths/output-schema.js';
 import { collectReviewRequirement } from './gate-check.js';
 import { featureGeneratesMedia } from '../../lib/plan/media.js';
+import { resolveBaseRef } from '../../lib/git/branch-classifier.js';
+import { reviewConfirmation } from '../../lib/review-confirmation.js';
 
 /** Each review report: complete when it carries a readable verdict and is not partial. */
 export function inspectReviewReports(cwd, feature) {
@@ -75,10 +78,44 @@ function treeFor(cwd, feature, beforeEval) {
   const tree = treeState(cwd, { snapshot });
   if (!beforeEval) return { tree };
   const reviewModels = reviewDispatch(cwd, feature);
+  const gate3 = gate3Briefing(cwd, feature);
   const next = snapshotTree(cwd);
-  if (!next) return { tree, beforeEval: null, reviewModels };
+  if (!next) return { tree, beforeEval: null, reviewModels, gate3 };
   atomicWriteJson(path, next);
-  return { tree, beforeEval: { at: next.at, files: Object.keys(next.files).length }, reviewModels };
+  return { tree, beforeEval: { at: next.at, files: Object.keys(next.files).length }, reviewModels, gate3 };
+}
+
+function gitLine(cwd, args) {
+  try {
+    return execFileSync('git', args, { cwd, stdio: 'pipe' }).toString().trim() || null;
+  } catch {
+    return null;
+  }
+}
+
+function readVerification(cwd, feature) {
+  try {
+    return JSON.parse(readFileSync(join(cwd, '.morph', 'features', feature, 'feature.json'), 'utf8')).verification ?? null;
+  } catch {
+    return null;
+  }
+}
+
+// What every dispatch needs, in one read. `redispatch: null` = no report yet, every required role goes.
+function gate3Briefing(cwd, feature) {
+  const sha = gitLine(cwd, ['rev-parse', 'HEAD']);
+  const defaultRef = resolveBaseRef(detectDefaultBranch(cwd), cwd);
+  const reports = reviewReports(cwd, feature);
+  const anyReport = Object.values(reports).some((report) => report.status !== 'missing');
+  const moved = anyReport && sha ? reviewConfirmation(cwd, reports, sha).moved : [];
+  const { checks } = readPlanChecks(cwd, feature);
+  return {
+    base: defaultRef ? gitLine(cwd, ['merge-base', defaultRef, 'HEAD']) : null,
+    sha,
+    flaky: readVerification(cwd, feature)?.flaky ?? [],
+    e2eChecks: (checks?.checks ?? []).filter((check) => check.proof === 'e2e').map((check) => check.id),
+    redispatch: anyReport ? moved.filter((role) => !role.skippable).map((role) => role.role) : null,
+  };
 }
 
 export function reportCheckCommand(feature, options = {}) {
@@ -128,6 +165,11 @@ function printHuman(obj) {
     const m = obj.reviewModels;
     console.log(chalk.gray(`  dispatch: verifier ${m.verifier.model}, reviewer ${m.reviewer.model}${m.security.required ? `, security ${m.security.model}` : ''}`));
   }
+  if (obj.gate3) {
+    const g = obj.gate3;
+    console.log(chalk.gray(`  gate 3: base ${g.base?.slice(0, 8) ?? '-'}, sha ${g.sha?.slice(0, 8) ?? '-'}`
+      + `${g.redispatch ? `, voltam: ${g.redispatch.join(', ') || 'nenhum'}` : ''}${g.flaky.length ? `, instáveis: ${g.flaky.join(', ')}` : ''}`));
+  }
   printTree(obj.tree);
   console.log('');
 }

package/src/commands/validation/verify.js

@@ -109,12 +109,14 @@ const PARTIAL_RUN_FLAGS = [['filter', 'filtered'], ['skipTests', 'skip-tests'],
 const CI_EXCLUSIVE_FLAGS = [
   ['filter', '--filter'], ['skipTests', '--skip-tests'], ['skipBuild', '--skip-build'], ['skipE2e', '--skip-e2e'],
   ['freshE2e', '--fresh-e2e'], ['linux', '--linux'], ['recordBaseline', '--record-baseline'], ['refreshCache', '--refresh-cache'],
-  ['noPersist', '--no-persist'],
+  ['noPersist', '--no-persist'], ['fresh', '--fresh'],
 ];
 
-async function runLocalVerify(featureName, options) {
+async function runLocalVerify(featureName, options, fingerprint) {
   try {
     return await runVerify(process.cwd(), featureName, {
+      fingerprint,
+      fresh: options.fresh,
       timeout: options.timeout,
       skipTests: options.skipTests,
       skipBuild: options.skipBuild,
@@ -214,11 +216,12 @@ export async function verifyCommand(featureName, options = {}) {
   // Taken before the run: it is the tree the run is about to read.
   const fingerprint = treeFingerprint(process.cwd());
 
-  const result = ci ? ci.result : await runLocalVerify(featureName, options);
+  const result = ci ? ci.result : await runLocalVerify(featureName, options, fingerprint);
 
   const cleanup = ci ? { status: 'skipped', reason: 'ci' } : afterHeavyRun({
     projectPath: process.cwd(),
     config: readHeavyConfig(process.cwd()),
+    onlyUnderPressure: true,
   });
 
   const historyKey = 'verifications.feature';
@@ -254,6 +257,7 @@ export async function verifyCommand(featureName, options = {}) {
       e2eReason: result.nodes.e2e.status === 'skip' ? (result.nodes.e2e.reason ?? null) : null,
       sha: ci ? ci.run.headSha : getHeadSha(process.cwd()),
       ts: now,
+      ...(result.flaky?.length ? { flaky: result.flaky } : {}),
       ...(ci ? { source: 'ci', ciRun: ci.run.url } : {}),
     };
     await updateFeature(featureName, 'verification', stamp);

package/src/core/state/state-manager.js

@@ -521,27 +521,3 @@ export function getApprovalGate(featureName, gate) {
   return feature.approvalGates[gate] || null;
 }
 
-export function getApprovalHistory(featureName) {
-  const state = loadState();
-  const feature = state.features[featureName];
-
-  if (!feature || !feature.approvalGates) {
-    return [];
-  }
-
-  const history = [];
-
-  Object.entries(feature.approvalGates).forEach(([gate, data]) => {
-    if (data.timestamp) {
-      history.push({
-        gate,
-        approved: data.approved,
-        timestamp: data.timestamp,
-        approvedBy: data.approvedBy || data.rejectedBy,
-        reason: data.reason
-      });
-    }
-  });
-
-  return history.sort((a, b) => new Date(a.timestamp) - new Date(b.timestamp));
-}

package/src/lib/heavy/cleanup.js

@@ -1,4 +1,5 @@
 import { readdirSync } from 'node:fs';
+import { freemem } from 'node:os';
 import { getBuildSteps } from '../../../framework/hooks/shared/build-check.js';
 import { listProcesses, defaultProcExec } from '../procs/list.js';
 import { readProjectConfig } from '../../../framework/hooks/shared/heavy-config.js';
@@ -8,6 +9,7 @@ const DOTNET_ACTIVE = /\bdotnet(?:\.exe)?["']?\s+(?:build|test|publish|pack|msbu
 const IDLE_WORKER = /\/nodemode:\d|vbcscompiler|razorserver/i;
 const SHUTDOWN_TIMEOUT_MS = 30_000;
 const TAIL_CHARS = 400;
+const GB = 1024 ** 3;
 
 function hasDotnet(projectPath) {
   const config = readProjectConfig(projectPath);
@@ -32,14 +34,18 @@ export function dotnetBusy(procs) {
   });
 }
 
-export function afterHeavyRun({ projectPath, config, env = process.env, deps = {} }) {
+export function afterHeavyRun({ projectPath, config, env = process.env, onlyUnderPressure = false, deps = {} }) {
   const {
-    exec = defaultProcExec, list = listProcesses, dotnet = hasDotnet, exclusive = runExclusive,
+    exec = defaultProcExec, list = listProcesses, dotnet = hasDotnet, exclusive = runExclusive, freeMem = freemem,
   } = deps;
 
   if (!config.enabled) return { status: 'skipped', reason: 'semáforo desligado: sem ele nada prova que outra sessão não está compilando' };
   if (!config.shutdownBuildServer) return { status: 'skipped', reason: 'desligado em heavy.shutdownBuildServer' };
   if (!dotnet(projectPath)) return { status: 'skipped', reason: 'projeto sem .NET' };
+  // A warm compiler is what makes the next round short; twice the floor keeps the next queue open.
+  if (onlyUnderPressure && freeMem() / GB >= config.minFreeMemGb * 2) {
+    return { status: 'skipped', reason: 'RAM livre de sobra: o compilador fica quente para a próxima rodada' };
+  }
 
   const guarded = exclusive({
     dir: heavyDir(env), label: 'build-server-shutdown', maxHoldMs: config.maxHoldMinutes * 60_000, env,