@polymorphism-tech/morph-spec 10.1.1 → 10.5.2

package/framework/hooks/claude-code/core/validate-completion.js

@@ -20,10 +20,6 @@ function auditReport(featurePath) {
     : [];
 }
 
-const COMPACT_TRIGGER_PHASES = new Set(['implement']);
-
-const HEAVY_SOURCE_PHASES = new Set(['plan', 'uiux']);
-
 export async function run(payload) {
   try {
     if (process.env.MORPH_STOP_HOOK_ACTIVE === '1') return null;
@@ -42,37 +38,6 @@ export async function run(payload) {
 
     const currentPhase = feature.phase || derivePhaseForFeature(name, cwd);
 
-    const watchPath = join(memDir, 'phase-watch.json');
-    let phaseWatch  = {};
-    try {
-      if (existsSync(watchPath)) phaseWatch = JSON.parse(readFileSync(watchPath, 'utf-8'));
-    } catch { /* corrupt file — start fresh */ }
-
-    const lastPhase = phaseWatch[name];
-
-    // Always stored, so the alert fires once per transition.
-    try {
-      phaseWatch[name] = currentPhase;
-      writeFileSync(watchPath, JSON.stringify(phaseWatch, null, 2), 'utf-8');
-    } catch {}
-
-    const isPhaseTransition = lastPhase && lastPhase !== currentPhase;
-    const enteringImplement = COMPACT_TRIGGER_PHASES.has(currentPhase);
-    const comingFromHeavyPhase = HEAVY_SOURCE_PHASES.has(lastPhase);
-
-    if (isPhaseTransition && enteringImplement && comingFromHeavyPhase) {
-      warnings.push(
-        `⚡ Phase advanced: ${lastPhase} → implement`,
-        ``,
-        `💡 Recommended before starting implementation:`,
-        `   Run /compact to free up context — plan.md and the design`,
-        `   loaded during planning take significant space. A compact now gives`,
-        `   Claude a clean slate focused on writing code.`,
-        ``,
-        `   After /compact, resume with: /morph-apply ${name}`,
-      );
-    }
-
     // Hash-gated: the audit re-runs every Stop, so only a changed warning set is injected; resolving clears the hash.
     try {
       const featurePath = join(cwd, '.morph', 'features', name);

package/framework/hooks/shared/e2e-check.js

@@ -187,23 +187,40 @@ export function decideIsolation({ findings = [], insideWorktree = false } = {})
 }
 
 // HEAD alone would let a stack built before an uncommitted edit read as fresh: status and diff
-// make any edit move the stamp. `null` outside a git repo.
+// make any edit move the stamp. `.morph/` stays out, config.json aside: the verify's own commits
+// must not rebuild a stack whose source did not change. `null` outside a git repo.
 export function computeSourceStamp(cwd, exec = defaultExec) {
   const head = exec('git', ['rev-parse', 'HEAD'], { cwd });
   if (head.code !== 0) return null;
 
-  const status = exec('git', ['status', '--porcelain'], { cwd });
-  const diff = exec('git', ['diff', 'HEAD'], { cwd });
+  const tree = exec('git', ['ls-tree', 'HEAD'], { cwd });
+  const status = exec('git', ['status', '--porcelain', ...OUTSIDE_MORPH], { cwd });
+  const diff = exec('git', ['diff', 'HEAD', ...OUTSIDE_MORPH], { cwd });
+  const entries = tree.code === 0
+    ? tree.output.split('\n').filter((line) => line.split('\t')[1] !== '.morph').join('\n')
+    : head.output.trim();
 
   return createHash('sha1')
-    .update(head.output.trim())
+    .update(entries)
     .update('\0')
     .update(status.code === 0 ? status.output : '')
     .update('\0')
     .update(diff.code === 0 ? diff.output : '')
+    .update('\0')
+    .update(readConfigText(cwd))
     .digest('hex');
 }
 
+const OUTSIDE_MORPH = ['--', '.', ':(exclude).morph'];
+
+function readConfigText(cwd) {
+  try {
+    return readFileSync(join(cwd, '.morph', 'config', 'config.json'), 'utf8');
+  } catch {
+    return '';
+  }
+}
+
 export function stampPath(gitCommonDir, projectName) {
   return join(gitCommonDir, 'morph-spec', `e2e-stamp-${projectName}.json`);
 }
@@ -775,6 +792,11 @@ export function bringUpE2e(
   return result({ status: 'pass', stage: null, reason: stack.reason, hostServices: host, auth });
 }
 
+function specTimeoutFor(config) {
+  const configured = config?.e2e?.specTimeoutMs;
+  return Number.isFinite(configured) && configured > 0 ? configured : DEFAULT_SPEC_TIMEOUT;
+}
+
 /** @returns {{ status: 'pass'|'fail'|'skip', command: string|null, output: string, reason: string|null, warnings: string[] }} */
 export function runE2eCheck(cwd, options = {}) {
   const {
@@ -787,7 +809,7 @@ export function runE2eCheck(cwd, options = {}) {
     forceFresh = false,
     insideWorktree = isSecondaryWorktree(cwd),
     healthTimeout = DEFAULT_HEALTH_TIMEOUT,
-    specTimeout = DEFAULT_SPEC_TIMEOUT,
+    specTimeout = specTimeoutFor(config),
     beforeHeavy = null,
     countSpecs = null,
     _exec: exec = defaultExec,
@@ -858,6 +880,12 @@ export function runE2eCheck(cwd, options = {}) {
   }
 }
 
+// Playwright's list reporter names a failure as `  1) [chromium] › e2e/a.spec.ts:3:5 › title`.
+function failedSpecNames(output) {
+  const names = [...String(output).matchAll(/^\s+\d+\)\s+(.+›.+)$/gm)].map((match) => match[1].trim());
+  return [...new Set(names)];
+}
+
 // The suite gets the stack's env (with PLAYWRIGHT_BASE_URL): without it the config hits a hardcoded
 // localhost:3000 while the app sits on the feature's port, an ECONNREFUSED that looks like a broken app.
 function runSpecs(cwd, { config, composeFile, up, auth, specTimeout, composeEnv, countSpecs }, exec) {
@@ -885,18 +913,27 @@ function runSpecs(cwd, { config, composeFile, up, auth, specTimeout, composeEnv,
   // Counted from the FULL output, before the tail cut; unparseable is null, never 0.
   const count = typeof countSpecs === 'function' ? (countSpecs(run.output) ?? null) : null;
 
-  if (run.code !== 0) {
+  // One rerun of the failed specs only: a flake must not cost a whole verify. `--last-failed`
+  // needs Playwright 1.44+; an older one exits non-zero, and the node stays red.
+  const retry = run.code !== 0 && spec.args.includes('playwright')
+    ? exec(spec.command, [...spec.args, '--last-failed'], { cwd: spec.cwd, timeout: specTimeout, env: composeEnv })
+    : null;
+
+  if (run.code !== 0 && retry?.code !== 0) {
     return {
       status: 'fail',
       command: commandLine,
-      output: tailLines(run.output, OUTPUT_TAIL_LINES),
+      output: tailLines(retry?.output ?? run.output, OUTPUT_TAIL_LINES),
       reason: 'e2e specs failed against the running stack',
       count,
     };
   }
 
+  const flakySpecs = retry ? failedSpecNames(run.output) : [];
+
   return {
     status: 'pass',
+    flakySpecs,
     command: commandLine,
     output: '',
     reason: notes.length ? notes.join('; ') : null,

package/framework/hooks/shared/heavy-command.js

@@ -57,6 +57,14 @@ function firstArg(args, valueFlags = new Set()) {
   return undefined;
 }
 
+const POWERSHELL_HOSTS = new Set(['powershell', 'pwsh']);
+const TEST_SCRIPT_SUFFIX = 'test-script';
+
+function runsTestScript(args) {
+  const script = args.find((a) => /\.ps1$/i.test(a));
+  return Boolean(script) && /test/i.test(script.replace(/^.*[\\/]/, ''));
+}
+
 function kindOfTokens(tokens) {
   const [head, ...args] = tokens;
   if (!head || args.some((a) => INFO_FLAGS.has(a))) return null;
@@ -64,6 +72,7 @@ function kindOfTokens(tokens) {
   const sub = firstArg(args, exe === 'docker' || exe === 'docker-compose' ? DOCKER_VALUE_FLAGS
     : PACKAGE_MANAGERS.has(exe) ? PM_DIR_FLAGS : undefined);
 
+  if (POWERSHELL_HOSTS.has(exe)) return runsTestScript(args) ? `${exe} ${TEST_SCRIPT_SUFFIX}` : null;
   if (exe === 'dotnet') return DOTNET_HEAVY.has(sub) ? `dotnet ${sub}` : null;
   if (exe === 'msbuild') return 'msbuild';
   if (exe === 'vitest' || exe === 'jest') return exe;
@@ -115,7 +124,7 @@ export const REVIEW_AGENT_TYPES = new Set(['morph-verifier', 'morph-reviewer', '
 export const QUEUE_FULL_EXIT = 3;
 
 const LIST_FLAGS = new Set(['--list', '--listTests', '--list-tests']);
-const TEST_LABEL = /^(dotnet (test|vstest)|(npx )?(vitest|jest|playwright test)|(npm|pnpm|yarn|bun) (test|run test(:\S+)?))$/;
+const TEST_LABEL = /^(dotnet (test|vstest)|(npx )?(vitest|jest|playwright test)|(npm|pnpm|yarn|bun) (test|run test(:\S+)?)|(powershell|pwsh) test-script)$/;
 const NODE_RUNNERS = new Set(['vitest', 'jest']);
 
 function morphArgs(tokens) {
@@ -158,6 +167,8 @@ const TEST_PATH = /[\\/]|\.(spec|test)\b|\.[cm]?[jt]sx?$/;
 const PATH_VALUE_FLAGS = new Set(['-c', '--config', '--project', '--root', '--workspace', '--outputFile', '--reporter', ...PM_DIR_FLAGS]);
 
 function isFilteredRun(kind, tokens) {
+  // A script's arguments are its own contract: no flag here proves it narrowed the run.
+  if (kind.endsWith(TEST_SCRIPT_SUFFIX)) return false;
   const runnerAt = executable(tokens[0]) === 'node'
     ? tokens.findIndex((t, i) => i > 0 && executable(t).replace(/\.[cm]?js$/, '') === kind)
     : 0;

package/framework/hooks/shared/heavy-config.js

@@ -10,6 +10,11 @@ export const HEAVY_DEFAULTS = Object.freeze({
   minFreeMemGbByKind: Object.freeze({ unit: 1.5, build: 4, e2e: 4 }),
   waitTimeoutSec: 600,
   maxHoldMinutes: 90,
+  reclaimIdleMinutes: 20,
+  reclaimContainers: Object.freeze(['morph-pgtest']),
+  detachedWaitMinutes: 60,
+  criticalFreeMemGb: 1,
+  yieldToUser: true,
   shutdownBuildServer: true,
   disableNodeReuse: false,
   gateBash: true,
@@ -27,6 +32,11 @@ const VALID = {
   minFreeMemGbByKind: isPlainObject,
   waitTimeoutSec: (v) => typeof v === 'number' && Number.isFinite(v) && v >= 0,
   maxHoldMinutes: (v) => typeof v === 'number' && Number.isFinite(v) && v > 0,
+  reclaimIdleMinutes: (v) => typeof v === 'number' && Number.isFinite(v) && v >= 0,
+  yieldToUser: isBool,
+  reclaimContainers: (v) => Array.isArray(v) && v.every((p) => typeof p === 'string' && /^[\w.-]+$/.test(p)),
+  detachedWaitMinutes: (v) => typeof v === 'number' && Number.isFinite(v) && v >= 0,
+  criticalFreeMemGb: isGb,
   shutdownBuildServer: isBool,
   disableNodeReuse: isBool,
   gateBash: isBool,
@@ -66,6 +76,8 @@ export function resolveHeavyConfig(config, env = process.env) {
   if (/^(off|0|false)$/i.test(env.MORPH_HEAVY ?? '')) out.enabled = false;
   const envSlots = Number(env.MORPH_HEAVY_SLOTS);
   if (env.MORPH_HEAVY_SLOTS !== undefined && VALID.slots(envSlots)) out.slots = envSlots;
+  const envWait = Number(env.MORPH_HEAVY_WAIT_SEC);
+  if (env.MORPH_HEAVY_WAIT_SEC && VALID.waitTimeoutSec(envWait)) out.waitTimeoutSec = envWait;
 
   return { ...out, warnings };
 }

package/framework/hooks/shared/host-services.js

@@ -134,7 +134,7 @@ function probeHealth(url, timeoutMs = 1_500) {
 
 // Only the recorded identity may be killed: a recycled PID belongs to someone else.
 function killRecord(record, readCreatedAt) {
-  if (!running(record.pid)) {
+  if (!processRunning(record.pid)) {
     return { killed: false, warning: `hostService "${record.name}": PID ${record.pid} was no longer running; record dropped` };
   }
   const current = readCreatedAt(record.pid);
@@ -157,11 +157,14 @@ function waitUntil(predicate) {
 }
 
 // The process that spawned the shell blocks in a sync loop and never reaps it: a zombie is not alive.
-function running(pid) {
+export function processRunning(pid) {
   if (!pidAlive(pid)) return false;
   if (process.platform === 'win32') return true;
   const r = spawnSync('ps', ['-o', 'stat=', '-p', String(pid)], { encoding: 'utf8' });
-  return r.status !== 0 || !String(r.stdout).trim().startsWith('Z');
+  if (r.error) return true;
+  // ps exits non-zero when the process vanished between pidAlive and here.
+  const stat = String(r.stdout).trim();
+  return stat !== '' && !stat.startsWith('Z');
 }
 
 function groupAlive(pgid) {
@@ -325,13 +328,13 @@ function launch(svc, ctx, deadline, exec) {
 
   if (!svc.health) {
     sleep(Math.min(NO_HEALTH_GRACE_MS, Math.max(remaining(), 0)));
-    if (!running(child.pid)) return { ...fail('exited right after start', readLogTail(log)), record };
+    if (!processRunning(child.pid)) return { ...fail('exited right after start', readLogTail(log)), record };
     return { ok: true, record };
   }
 
   while (true) {
     if (probeHealth(svc.health)) return { ok: true, record };
-    if (!running(child.pid)) return { ...fail('exited before its health check went green', readLogTail(log)), record };
+    if (!processRunning(child.pid)) return { ...fail('exited before its health check went green', readLogTail(log)), record };
     if (remaining() <= 0) {
       return { ...fail(`health ${svc.health} not green within ${svc.timeoutMs} ms`, readLogTail(log)), record };
     }
@@ -340,7 +343,7 @@ function launch(svc, ctx, deadline, exec) {
 }
 
 function isReusable(record, svc, ctx) {
-  if (!record || !running(record.pid)) return false;
+  if (!record || !processRunning(record.pid)) return false;
   if (ctx.readCreatedAt(record.pid) !== record.createdAt) return false;
   return svc.health ? probeHealth(svc.health) : true;
 }

package/framework/hooks/shared/next-step.js

@@ -30,10 +30,10 @@ const HOW = {
     'Registre a resposta em ## Notas, volte o Cn para `pendente` e siga implementando; resposta que muda escopo vai por `unapprove`.',
   ],
   verify: (f) => [
-    `\`morph-spec verify ${f} --json\` sem filtro; passou de 10 min, run_in_background.`,
+    `\`morph-spec verify ${f} --affected --json --detach\`, em run_in_background: só os testes que o diff alcança; repetir o comando retoma a rodada.`,
   ],
   fix: (f) => [
-    `Leia o \`feedback\` do último verify, corrija a causa e rode \`morph-spec verify ${f} --json\` de novo, sem filtro.`,
+    `Leia o \`feedback\` do último verify de ${f}, corrija a causa e rode o comando acima de novo, com \`--json\`.`,
   ],
   escalate: () => [
     'AskUserQuestion com o texto do reason (aceitar/continuar/parar) e siga a resposta; não rode outro verify antes dela.',
@@ -42,7 +42,7 @@ const HOW = {
     'Siga .claude/skills/morph-apply/references/review.md.',
   ],
   finish: (f) => [
-    `AskUserQuestion header "Integração" (PR ou merge); depois \`morph-spec finish ${f} --pr\` ou \`--merge\`.`,
+    `\`morph-spec context refresh\`, commit, e \`morph-spec finish ${f} --pr\` (\`--merge\` com \`finish.mode: "merge"\` no config), sem perguntar.`,
   ],
   status: (f) => [
     `Rode \`morph-spec status ${f}\` e confira a fase em .morph/features/${f}/feature.json.`,
@@ -87,19 +87,22 @@ function decide(s) {
       if (pending.length) {
         return step('implement', skill('morph-apply'), 'implemente nesta sessão e marque cada Cn feito no report.md', { checks: pending });
       }
-      const v = s.verification;
-      if (!v?.status || s.verificationStale === true) {
-        return step('verify', `morph-spec verify ${f}`, v?.status ? 'a árvore andou desde o último verify' : 'todo Cn feito, sem verify');
+      const fullFresh = s.verification?.status && s.verificationStale !== true;
+      const affectedFresh = s.affected?.status && s.affectedStale !== true;
+      const v = fullFresh ? s.verification : affectedFresh ? s.affected : null;
+      if (!v) {
+        const ran = s.verification?.status || s.affected?.status;
+        return step('verify', `morph-spec verify ${f} --affected`, ran ? 'a árvore andou desde o último verify' : 'todo Cn feito, sem verify');
       }
       if (v.status === 'fail') {
-        const streak = s.failStreak ?? 0;
+        const streak = (fullFresh ? s.failStreak : s.affected.failStreak) ?? 0;
         if (streak > 0 && streak % FIX_ATTEMPTS === 0) {
           return step('escalate', 'AskUserQuestion (aceitar/continuar/parar)',
             `${streak} verifies vermelhos seguidos, nunca uma tentativa a mais por conta própria. `
             + `aceitar → ${skill('morph-review')} (o verify vermelho pausa o gate: o humano assina lá); `
             + 'continuar → corrija e rode o verify de novo; parar → encerre aqui. Segue `escalate` até a árvore andar');
         }
-        return step('fix', `morph-spec verify ${f}`,
+        return step('fix', `morph-spec verify ${f}${fullFresh ? '' : ' --affected'}`,
           `corrija pelo feedback do verify e rode de novo (${FIX_ATTEMPTS - (streak % FIX_ATTEMPTS)} tentativa(s) antes de perguntar)`);
       }
       return step('review', skill('morph-review'), 'verify verde: Gate 3');
@@ -142,5 +145,6 @@ export function collectNextSignals(featureName, cwd) {
     gates: feature.approvals || feature.approvalGates || {},
     verification: feature.verification ?? null,
     failStreak: feature.verifications?.feature?.failStreak ?? 0,
+    affected: feature.verifications?.affected ?? null,
   };
 }

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/rules/plan-grammar.md

@@ -13,6 +13,9 @@ paths:
 
 - **Teste é por risco, não por código novo.** `prova: teste` exige `risco:` (`regra` | `dinheiro` | `contrato` | `concorrência` | `dado` | `regressão`): ramo de regra de negócio, valor, contrato externo, corrida, integridade de dado ou o bug real. Sem risco (CRUD, DTO, mapping, wiring, constante, texto, layout) a prova é `leitura` — o verificador fecha por `arquivo:linha` — ou `e2e` quando o fluxo é o que importa.
 - **Degrau de retrabalho** (opcional, junto de `prova:`): `degrau:` `refazer` | `desfazer` | `migrar` | `irreversível`; sem a linha, `refazer`. `migrar` é toda migration, aditiva ou não (drop, rename, backfill, coluna nova); `irreversível` apaga dado que alguém lê ou quebra contrato externo. Os dois pausam o gate do plano para o usuário, e o Gate 3 pausa quando a feature toca `migrations/` sem nenhum dos dois, ou um arquivo de contrato (`openapi.yaml`, `swagger.json`, `.proto`) sem `irreversível`; o revisor do Gate 3 caça o resto (webhook, dado apagado fora de migration, envio a terceiro).
+- **Quem tem `risco:` prova-se executando.** `risco:` com `prova: leitura` é erro.
+- **`e2e` dispara a ação do dono até o efeito** (salvar, ativar, enviar): conferir que o controle aparece não prova. Dois estados (rascunho e ativo) são dois passos no mesmo `Cn`.
+- **Número que soma ou confere com outro** roda sobre dado com a forma do de produção; fixture feita à mão só tem as formas que você já imaginou.
 - **Observável**: que asserção, ou que passo no navegador, prova? Sem resposta, reescreva ou descarte.
 - **Artefato não é comportamento.** Cenário que cita `grep`, "contém a string", "o binário", "nenhum arquivo", "arquivo/pasta/diretório em" ou glob `**/` descreve o repositório. Tente o efeito em runtime; se o artefato É o entregável, justifique em `> Por que artefato:` logo abaixo (nunca na mesma linha, nunca `> [!note]`, que o parser não lê).
 - **Saída de LLM** prova-se por `eval` de runtime, nunca pelo texto do prompt: evidência em `3-implement/evidencias/{Cn}.md`; com nó `runner: "evals"` (standard `ai-agents-evals-with-cache`) o cenário mora no dataset.
@@ -50,4 +53,4 @@ Só quando a feature tem algo que muda de estado (pedido, aprovação, assinatur
 
 ## O que o plan-check recusa
 
-Veredito de reuso fora do enum, id `C`/`ADR` duplicado, `## Errata` fora do fim, `## Cenários` vazio, `teste` sem `risco:`, bug sem cenário de regressão, `## Padrões assumidos` ausente ou fora de `1..N`, `## Estados` com linha que não é `origem → destino: gatilho`. Avisa: padrão que toca credencial, permissão, pagamento ou apagar dado, chave desconhecida (inclusive o `## Fatias` de planos antigos), ADR sem **Alcance**.
+Veredito de reuso fora do enum, id `C`/`ADR` duplicado, `## Errata` fora do fim, `## Cenários` vazio, `teste` sem `risco:`, `risco:` com `leitura`, bug sem cenário de regressão, `## Padrões assumidos` ausente ou fora de `1..N`, `## Estados` com linha que não é `origem → destino: gatilho`. Avisa: padrão que toca credencial, permissão, pagamento ou apagar dado, chave desconhecida (inclusive o `## Fatias` de planos antigos), ADR sem **Alcance**.

package/framework/schemas/config.schema.json

@@ -54,11 +54,26 @@
                 "enum": ["dotnet", "vitest", "jest", "node-test", "playwright", "none", "evals"],
                 "description": "Chooses the test-count extractor and whether a prebuild applies. Inferred from `command` when omitted; `none` means the count is UNKNOWN, never zero. `evals` is the ONLY value that is never inferred - it is a declaration that this suite reads a committed response cache, and it REQUIRES the `evals` block below."
               },
+              "affected": {
+                "type": "object",
+                "required": ["flag"],
+                "additionalProperties": false,
+                "description": "Rarely needed: `verify --affected` reads an inline filter, a `$Filter` parameter of the script or a script that forwards its arguments by itself. Declare this only for a command none of those reach, which otherwise runs whole. Wins over the detection.",
+                "properties": {
+                  "flag": { "type": "string", "minLength": 1, "description": "The argument of the command that takes a test filter, e.g. -Filter for a wrapper script." },
+                  "baseFilter": { "type": "string", "description": "Filter the command applies by default, kept alongside the selection, e.g. Category!=Eval." }
+                }
+              },
               "expectedCount": {
                 "type": "integer",
                 "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 +137,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 +237,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,
@@ -249,6 +278,35 @@
             "e2e": { "type": "number", "minimum": 0 }
           }
         },
+        "reclaimIdleMinutes": {
+          "type": "number",
+          "minimum": 0,
+          "default": 20,
+          "description": "Below the RAM floor, before waiting, `verify`, `e2e up` and `heavy run` bring down the e2e stacks of this repo nobody is using: an archived feature's (with volumes) and an active feature's idle for this many minutes, with no heavy slot (volumes kept). 0 turns it off."
+        },
+        "reclaimContainers": {
+          "type": "array",
+          "items": { "type": "string", "pattern": "^[\\w.-]+$" },
+          "default": ["morph-pgtest"],
+          "description": "Name prefixes of disposable test containers that reclaim removes when no heavy slot may be testing. A killed test run leaves these behind."
+        },
+        "detachedWaitMinutes": {
+          "type": "number",
+          "minimum": 0,
+          "default": 60,
+          "description": "How long a `verify --detach` waits in the queue. It runs out of any shell's timeout, so with several sessions open it waits for its turn instead of exiting 3."
+        },
+        "yieldToUser": {
+          "type": "boolean",
+          "default": true,
+          "description": "Heavy runs leave room for what the person is using: each run keeps to its share of the cores (cores / slots) through DOTNET_PROCESSOR_COUNT and vitest --maxWorkers. Priority is left alone on purpose: below normal, a process starves on a busy machine and fails by its own timeouts."
+        },
+        "criticalFreeMemGb": {
+          "type": "number",
+          "minimum": 0,
+          "default": 1,
+          "description": "While a `verify --detach` runs, free RAM below this for a minute reclaims idle stacks and then stops that run with exit 3, no stamp. The floors judge the start of a node; this judges the middle. 0 turns it off."
+        },
         "waitTimeoutSec": {
           "type": "number",
           "minimum": 0,

package/framework/schemas/feature.schema.json

@@ -105,6 +105,20 @@
             "updatedAt": { "type": "string", "format": "date-time" }
           },
           "additionalProperties": false
+        },
+        "affected": {
+          "type": "object",
+          "description": "Last `verify --affected`. Opens the Gate 3 dispatch and never stands in for the complete run the review gate reads.",
+          "required": ["status", "nodes", "attempts", "updatedAt"],
+          "properties": {
+            "status": { "type": "string", "enum": ["pass", "fail"] },
+            "nodes": { "type": "object" },
+            "attempts": { "type": "integer", "minimum": 1 },
+            "failStreak": { "type": "integer", "minimum": 0 },
+            "updatedAt": { "type": "string", "format": "date-time" },
+            "sha": { "type": ["string", "null"] }
+          },
+          "additionalProperties": false
         }
       },
       "additionalProperties": false
@@ -131,6 +145,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.5.2"
 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.5.2"
 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.5.2"
 ---
 
 # morph-apply
@@ -24,7 +24,8 @@ 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`.
+- **Execute antes de marcar `feito`.** `teste`: rode e veja falhar sem a mudança. Soma ou conferência de número: ao menos uma vez sobre dado com a forma do de produção. `e2e` fica para a passada do §3.
+- Ao fechar um `Cn`, atualize a linha dele no `report.md` (`feito` + a evidência: o que você executou e viu, 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 +41,11 @@ 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.
+**Passada de bancada:** com `Cn` `prova: e2e`, antes do verify e uma vez só (cada edição recompila a stack): `morph-spec e2e up {feature}` e dispare cada fluxo pela ferramenta da sessão (Playwright MCP, ou o spec do fluxo) até o efeito, não até o controle aparecer. É o que tira do Gate 3 o que uma execução acha. Não subiu ou exit 3: uma linha em `## Notas` e siga para o verify, sem parar a sessão.
 
-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?").
+Todo `Cn` `feito`: commite tudo e rode `morph-spec verify {feature} --affected --json --detach`: build, validadores e só os testes que o diff alcança. Migration, contrato, arquivo que alcança o projeto inteiro ou código compartilhado sobem sozinhos para a rodada completa. A completa, sem filtro, roda uma vez, depois dos relatórios do Gate 3 (`references/review.md` §6): é a prova que o Gate 3 e o CI leem, e `--affected` nunca a substitui. Sempre em `run_in_background`, esperando a notificação **no mesmo turno**, sem ler o log em laço. O `--detach` roda fora da sessão: encerrada a espera sem resultado, rode o mesmo comando, que retoma a rodada em vez de repetir. Nó `node-test`/`evals` sem `expectedCount`, ou teste apagado de propósito: `--record-baseline` na rodada completa, que é sem filtro.
+
+Vermelho → corrija com `verify.feedback` e rode a mesma rodada de novo. Na completa, 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 +58,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/machine.md

@@ -14,8 +14,9 @@ Para manter a máquina utilizável enquanto você compila e testa. Aplique quand
 | Sintoma | Comando | Como ler e o que fazer |
 |---|---|---|
 | Máquina ou editor lento, pouca RAM | `morph-spec doctor --procs` (só lê) | Cada linha diz órfão ou protegido, com a razão. Sem órfão, a pressão vem de fora (vmmem do WSL, IDE): diga isso e passe a sugestão de `.wslconfig` que o relatório traz. Com órfão, mostre a lista e ofereça `--prune`. |
-| Comando voltou `⏳ … não rodou` ou exit 3 | `morph-spec heavy status` | Mostra quem segura cada vaga, há quanto tempo, e a RAM livre. A vaga solta sozinha (processo morto ou timeout). Vaga presa por sessão viva: diga ao usuário quem a segura. Se a causa for RAM e nenhuma vaga estiver presa, rode `doctor --procs`. |
-| Várias features abertas, uma por worktree, testando ao mesmo tempo | nada: a fila resolve | São 2 vagas por padrão; o que não couber espera. Se a espera virar recusa toda hora, `heavy.slots` sobe quando houver RAM. |
+| Comando voltou `⏳ … não rodou` ou exit 3 | `morph-spec heavy status` | Mostra quem segura cada vaga, há quanto tempo, e a RAM livre. A vaga solta sozinha (processo morto ou timeout). Vaga presa por sessão viva: diga ao usuário quem a segura. Se a causa for RAM e nenhuma vaga estiver presa, rode `doctor --procs`: as stacks paradas a fila já derrubou sozinha. |
+| O Claude Code encerrou um comando de fundo por pouca memória | o mesmo `morph-spec verify … --detach` | O `--detach` não morre com a sessão: repetir retoma a rodada. Outro comando pesado não se repete por conta própria: avise o usuário. |
+| Várias sessões abertas, testando ao mesmo tempo | nada: a fila resolve | São 2 vagas e uma suíte de `verify` por vez. O `verify --detach` espera a vez (até `heavy.detachedWaitMinutes`), então espera longa é fila, não problema: não cancele nem peça ao usuário. Abaixo do piso, a fila derruba sozinha as stacks ociosas; `heavy reclaim` faz o mesmo à mão. |
 | Worktree sobrando ou fora do contêiner | `morph-spec doctor --worktrees` | Lista cada árvore com a razão; remova só por `worktree remove`. |
 | A worktree precisa de arquivo fora do git (`.env`, segredos) | `.worktreeinclude` na raiz do repo | Um padrão por linha, sintaxe do gitignore. Copia só o que casa **e** é ignorado; nunca `node_modules`, build ou `.git`. O `setup` e o `provision` aplicam. |
 | Editor pesado por causa das worktrees | `worktree.root` em `.morph/config/config.json` | Põe as worktrees fora da árvore aberta (caminho absoluto fora do projeto). `init` e `update` já gravam as exclusões no `.vscode/settings.json`. |