@orchestrator-claude/definitions 3.37.1 → 3.37.3

package/hooks/session-start.ts

@@ -554,22 +554,23 @@ function buildMemoryLine(memoryIndexPath: string): string {
 }
 
 /**
- * Build [CAPABILITY-MATRIX] + [MEMORY-CONTEXT] lines for injection.
- * Fail-open: each half degrades INDEPENDENTLY (TD-249) — a throw building
- * the matrix must not discard a working memory line, and a throw building
- * the memory line must not discard a working matrix line. Previously both
- * lived in one try block, so either failure returned '' and threw away
- * whatever the other half had already produced.
- * Exported for unit-testability (TD-249).
+ * RFC-040 C5: unregistered cwd — no vault/agents/memory-index to read, skip.
+ * (Single guard is correct here, NOT a repeat of the TD-249 bug: all five
+ * paths derive from the same PROJECT_ROOT, so they are null/non-null
+ * together — this is one precondition, not two independently-failing
+ * steps. CAPABILITY_CACHE_PATH joined them in S445; it is PROJECT_ROOT-
+ * derived too, unless ORCHESTRATOR_STATE_DIR overrides the state dir, in
+ * which case it is non-null whenever PROJECT_ROOT is.)
  */
-export function buildCapabilityMatrixContext(): string {
-  // RFC-040 C5: unregistered cwd — no vault/agents/memory-index to read, skip.
-  // (Single guard is correct here, NOT a repeat of the TD-249 bug: all five
-  // paths derive from the same PROJECT_ROOT, so they are null/non-null
-  // together — this is one precondition, not two independently-failing
-  // steps. CAPABILITY_CACHE_PATH joined them in S445; it is PROJECT_ROOT-
-  // derived too, unless ORCHESTRATOR_STATE_DIR overrides the state dir, in
-  // which case it is non-null whenever PROJECT_ROOT is.)
+interface VaultPaths {
+  vaultConfigPath: string;
+  agentsDir: string;
+  profilesPath: string;
+  memoryIndexPath: string;
+  capabilityCachePath: string;
+}
+
+function resolveVaultPaths(caller: string): VaultPaths | null {
   if (
     VAULT_CONFIG_PATH === null ||
     AGENTS_DIR === null ||
@@ -577,33 +578,84 @@ export function buildCapabilityMatrixContext(): string {
     MEMORY_INDEX_PATH === null ||
     CAPABILITY_CACHE_PATH === null
   ) {
-    log(
-      HOOK,
-      'buildCapabilityMatrixContext: PROJECT_ROOT unresolved (unregistered cwd) — skipping'
-    );
-    return '';
+    log(HOOK, `${caller}: PROJECT_ROOT unresolved (unregistered cwd) — skipping`);
+    return null;
   }
+  return {
+    vaultConfigPath: VAULT_CONFIG_PATH,
+    agentsDir: AGENTS_DIR,
+    profilesPath: PROFILES_PATH,
+    memoryIndexPath: MEMORY_INDEX_PATH,
+    capabilityCachePath: CAPABILITY_CACHE_PATH,
+  };
+}
 
-  let matrixLine = '';
+/**
+ * Build the [CAPABILITY-MATRIX] line for injection. Fail-open (TD-249):
+ * a throw here returns '' and never touches the memory line, which is
+ * built by buildMemoryContext() on its own try block.
+ * Exported for unit-testability (TD-315).
+ */
+export function buildMatrixContext(): string {
+  const paths = resolveVaultPaths('buildMatrixContext');
+  if (!paths) return '';
   try {
-    matrixLine = buildMatrixLine(
-      VAULT_CONFIG_PATH,
-      AGENTS_DIR,
-      PROFILES_PATH,
-      CAPABILITY_CACHE_PATH
+    return buildMatrixLine(
+      paths.vaultConfigPath,
+      paths.agentsDir,
+      paths.profilesPath,
+      paths.capabilityCachePath
     );
   } catch (err) {
     log(HOOK, `Capability matrix failed: ${err}`);
+    return '';
   }
+}
 
-  let memoryLine = '';
+/**
+ * Build the [MEMORY-CONTEXT] line for injection. Fail-open (TD-249):
+ * a throw here returns '' and never touches the matrix line.
+ *
+ * TD-315: emitted SEPARATELY from the matrix — and BEFORE [LAST-SESSION] —
+ * so the memory is not the first block to die when the harness truncates
+ * additionalContext. Measured S513/S514: total 17190/17013 chars; with the
+ * old order ([ORCHESTRATOR-DATA] · [LAST-SESSION] · [PENDENTE] · greeting ·
+ * [CAPABILITY-MATRIX] · [MEMORY-CONTEXT]) the memory started at offset
+ * 10974/10551 and a 10000-char cut took ALL 20 memories while the
+ * narrative survived whole. Placed right after the state line (offset
+ * 4101 in S514, ending 10563), the same cut keeps 91% of it, and any cut
+ * >= 10563 keeps it whole — with nothing lost when nothing is cut. Capping
+ * [LAST-SESSION] instead would NOT save the memory (it would still end past
+ * 13000) and would mutilate the PM's narrative every session, cut or not.
+ * Exported for unit-testability (TD-315).
+ */
+export function buildMemoryContext(): string {
+  const paths = resolveVaultPaths('buildMemoryContext');
+  if (!paths) return '';
   try {
-    memoryLine = buildMemoryLine(MEMORY_INDEX_PATH);
+    return buildMemoryLine(paths.memoryIndexPath);
   } catch (err) {
     log(HOOK, `Memory context failed: ${err}`);
+    return '';
   }
+}
 
-  return [matrixLine, memoryLine].filter(Boolean).join('\n');
+/**
+ * Build [CAPABILITY-MATRIX] + [MEMORY-CONTEXT] lines, matrix first.
+ * Fail-open: each half degrades INDEPENDENTLY (TD-249) — a throw building
+ * the matrix must not discard a working memory line, and a throw building
+ * the memory line must not discard a working matrix line. Previously both
+ * lived in one try block, so either failure returned '' and threw away
+ * whatever the other half had already produced.
+ *
+ * TD-315: no longer what main() injects — main() now places the two halves
+ * at different offsets (memory before the narrative, matrix after the
+ * greeting). Kept as the composed form for the TD-249 partial-failure
+ * contract and any external caller.
+ * Exported for unit-testability (TD-249).
+ */
+export function buildCapabilityMatrixContext(): string {
+  return [buildMatrixContext(), buildMemoryContext()].filter(Boolean).join('\n');
 }
 
 /**
@@ -681,7 +733,10 @@ async function main(): Promise<void> {
   const backlog = getBacklogSummary();
   const tierInfo = await checkTier();
   const tierSegment = formatTierSegment(tierInfo);
-  const capabilityContext = buildCapabilityMatrixContext();
+  // TD-315: two separate blocks at two different offsets — see
+  // buildMemoryContext's doc comment for the measured reason.
+  const memoryContext = buildMemoryContext();
+  const matrixContext = buildMatrixContext();
 
   // Sprint inbox check (RFC-027 S4 — only for sprint panes)
   const sprintInboxContext = checkSprintInbox();
@@ -773,11 +828,18 @@ async function main(): Promise<void> {
     // compaction destroys, so they ride both paths unchanged.
     // [LAST-SESSION]/[PENDENTE] stay boot-only: they orient someone arriving,
     // and mid-task they are noise that reads like a session opening.
+    //
+    // TD-315 ORDER CONTRACT: the state line stays at offset 0 (the greeting
+    // keys off the leading token); [MEMORY-CONTEXT] comes IMMEDIATELY after
+    // it, before [LAST-SESSION] and everything else, so that a truncation of
+    // additionalContext takes narrative and routing hints before it takes
+    // memory. Pinned by tests/hooks/session-start-memory-before-narrative.test.ts.
     const stateLine = `version=${backlog.version}${sessionSegment} | workflow=none${tierSegment}${sessionNumberSegment}${projectBindingSegment} | next=${backlog.next}`;
     outputContext(
       'SessionStart',
       [
         `${isRecovery ? '[ORCHESTRATOR-RECOVERY]' : '[ORCHESTRATOR-DATA]'} ${stateLine}`,
+        memoryContext,
         ...(isRecovery
           ? RECOVERY_DIRECTIVE
           : [
@@ -787,7 +849,7 @@ async function main(): Promise<void> {
               'Do NOT invoke /orchestrator skill for the greeting — use AskUserQuestion directly.',
               'Invoke /orchestrator skill only when the user chooses to start a workflow.',
             ]),
-        capabilityContext,
+        matrixContext,
         sprintInboxContext,
         projectSelectionPrompt,
       ]
@@ -809,10 +871,13 @@ async function main(): Promise<void> {
     `Injecting workflow ${isRecovery ? 'recovery' : 'context'} (wf=${workflow.id} phase=${workflow.currentPhase})`
   );
   const stateLine = `version=${backlog.version}${sessionSegment} | workflow=${workflow.id} | type=${workflow.type} | phase=${workflow.currentPhase} | status=${workflow.status}${actionHint}${tierSegment}${sessionNumberSegment}${projectBindingSegment}`;
+  // TD-315: same order contract as the no-workflow path — memory right after
+  // the state line, matrix after the instruction block.
   outputContext(
     'SessionStart',
     [
       `${isRecovery ? '[ORCHESTRATOR-RECOVERY]' : '[ORCHESTRATOR-DATA]'} ${stateLine}`,
+      memoryContext,
       ...(isRecovery
         ? RECOVERY_DIRECTIVE
         : [
@@ -820,7 +885,7 @@ async function main(): Promise<void> {
             'Do NOT invoke /orchestrator skill for the greeting — use AskUserQuestion directly.',
             'Invoke /orchestrator skill when the user chooses to continue the workflow.',
           ]),
-      capabilityContext,
+      matrixContext,
       projectSelectionPrompt,
     ]
       .filter(Boolean)

package/hooks/subagent-start.mjs

@@ -7664,6 +7664,10 @@ var MEMORY_TYPES = ["feedback", "project", "reference", "user"];
 function truncateSummary(summary, cap) {
   return summary.length > cap ? `${summary.slice(0, cap)}\u2026` : summary;
 }
+function hasRenderableSummary(entry) {
+  return typeof entry.summary === "string";
+}
+var MEMORY_SKIPPED_WARNING_PREFIX = "- [AVISO] ";
 function countByType(list) {
   const counts = {};
   for (const e of list) {
@@ -7672,31 +7676,35 @@ function countByType(list) {
   return counts;
 }
 function formatMemoryContext(selected, allEntries) {
-  if (selected.length === 0) return "";
-  const selectedCounts = countByType(selected);
+  const renderable = selected.filter(hasRenderableSummary);
+  const skipped = selected.filter((e) => !hasRenderableSummary(e));
+  const warning = skipped.length > 0 ? `${MEMORY_SKIPPED_WARNING_PREFIX}${String(skipped.length)} entrada(s) sem 'summary:' pulada(s) \u2014 conserte o \xEDndice: ${skipped.map((e) => e.file).join(", ")}` : "";
+  if (renderable.length === 0) return warning ? `[MEMORY-CONTEXT] 0 mem\xF3rias
+${warning}` : "";
+  const selectedCounts = countByType(renderable);
   const totalCounts = countByType(allEntries);
   const perTypeSummary = MEMORY_TYPES.map(
     (t) => `${t}: ${selectedCounts[t] ?? 0}/${totalCounts[t] ?? 0}`
   ).join(", ");
-  const headerBase = `[MEMORY-CONTEXT] ${selected.length} de ${allEntries.length} mem\xF3rias (${perTypeSummary}); crit\xE9rio: cota m\xEDnima de 2 por tipo n\xE3o-feedback + prioridade feedback\u2192rec\xEAncia no restante`;
-  const availableForLines = AGGREGATE_CHAR_BUDGET - headerBase.length - SUFFIX_RESERVE;
+  const headerBase = `[MEMORY-CONTEXT] ${renderable.length} de ${allEntries.length} mem\xF3rias (${perTypeSummary}); crit\xE9rio: cota m\xEDnima de 2 por tipo n\xE3o-feedback + prioridade feedback\u2192rec\xEAncia no restante`;
+  const availableForLines = AGGREGATE_CHAR_BUDGET - headerBase.length - SUFFIX_RESERVE - (warning ? warning.length + 1 : 0);
   const lines = [];
   let used = 0;
   let droppedByBudget = 0;
-  for (let i = 0; i < selected.length; i++) {
-    const entry = selected[i];
+  for (let i = 0; i < renderable.length; i++) {
+    const entry = renderable[i];
     const name = entry.file.replace(/\.md$/, "");
     const truncated = truncateSummary(entry.summary, PER_ENTRY_SUMMARY_CHAR_CAP);
     const line = `- [${entry.type}] ${name}: ${truncated}`;
     if (used + line.length + 1 > availableForLines) {
-      droppedByBudget = selected.length - i;
+      droppedByBudget = renderable.length - i;
       break;
     }
     lines.push(line);
     used += line.length + 1;
   }
   const header = droppedByBudget > 0 ? `${headerBase}; +${droppedByBudget} truncadas por or\xE7amento de caracteres` : headerBase;
-  return [header, ...lines].join("\n");
+  return [header, ...lines, warning].filter(Boolean).join("\n");
 }
 function isWellFormedMemoryEntry(value) {
   return typeof value === "object" && value !== null && typeof value.file === "string";

package/manifest.json

@@ -1,8 +1,8 @@
 {
   "schema": "orchestrator-definitions/v1",
   "namespace": "orchestrator",
-  "version": "3.37.1",
-  "generatedAt": "2026-09-03T21:04:09.839Z",
+  "version": "3.37.3",
+  "generatedAt": "2026-09-21T16:00:20.708Z",
   "definitions": {
     "agents": [
       {
@@ -49,7 +49,7 @@
         "slug": "ciclo-engineer",
         "file": "agents/ciclo-engineer.md",
         "version": "1.0.0",
-        "checksum": "sha256:697b9ef0cb99ea1639a8712ed354dca084402a220c40d4425057c6c304f8358b",
+        "checksum": "sha256:b2f83b97ddbf6e4afe18c42122ffe5c40db31fa98df156c93e74c31344188a31",
         "supersedes": null,
         "metadata": {}
       },
@@ -161,7 +161,7 @@
         "slug": "presentation-engineer",
         "file": "agents/presentation-engineer.md",
         "version": "1.0.0",
-        "checksum": "sha256:f7cfeee4d00baf2f4efe2ab32bef21830c3d9bbc1d8c3100fe92230792f01408",
+        "checksum": "sha256:315304c540811affd7af0e03ac3175be0ed3b0496e2d1262558f2156d01f90fd",
         "supersedes": null,
         "metadata": {}
       },
@@ -299,7 +299,7 @@
         "slug": "ciclo-lane-dispatch",
         "file": "skills/ciclo-lane-dispatch/SKILL.md",
         "version": "1.0.0",
-        "checksum": "sha256:302ae98bd77fcad12e96f70ab3609f0662c403687c11a5aee0eb602a3b34349e",
+        "checksum": "sha256:36bcca4483a1170ea30e2478337f819bc755f6fbe60a954ef12f50e95c0becfc",
         "supersedes": null,
         "metadata": {}
       },
@@ -331,7 +331,7 @@
         "slug": "fase-1b-projecao",
         "file": "skills/fase-1b-projecao/SKILL.md",
         "version": "1.0.0",
-        "checksum": "sha256:22bd537c35f354a39fe51ad5ea436fbf462099aa683dd19e27fe115d45e148a6",
+        "checksum": "sha256:efac5331273dc543d33c6ce1779ec860b7d3f80ba80bd17a431c09f4ce694f8d",
         "supersedes": null,
         "metadata": {}
       },
@@ -367,6 +367,14 @@
         "supersedes": null,
         "metadata": {}
       },
+      {
+        "slug": "lane-1-entrevista",
+        "file": "skills/lane-1-entrevista/SKILL.md",
+        "version": "1.0.0",
+        "checksum": "sha256:19f10164a2f69b4675f2ac251a327a9187eaa1c8c4151904a54eb030849494c7",
+        "supersedes": null,
+        "metadata": {}
+      },
       {
         "slug": "orchestrator",
         "file": "skills/orchestrator/SKILL.md",
@@ -553,11 +561,19 @@
         "supersedes": null,
         "metadata": {}
       },
+      {
+        "slug": "security-gate-honest",
+        "file": "hooks/security-gate-honest.mjs",
+        "version": "1.0.0",
+        "checksum": "sha256:ddb7690d673fd98640e4ae18bd91ce425a3e135ab1ed5c89c683a17ad48f5e24",
+        "supersedes": null,
+        "metadata": {}
+      },
       {
         "slug": "session-start",
         "file": "hooks/session-start.mjs",
         "version": "1.0.0",
-        "checksum": "sha256:0342dd3e07d0dae5ad11d74ba843e4b3096035bc8ef9c393a58c68a99e3978bb",
+        "checksum": "sha256:f397e654327305c08e4a88853c45991924071f88195124f1e25cca7fd4c5f911",
         "supersedes": null,
         "metadata": {}
       },
@@ -573,7 +589,7 @@
         "slug": "subagent-start",
         "file": "hooks/subagent-start.mjs",
         "version": "1.0.0",
-        "checksum": "sha256:0404e7edd4da46a5893048f74f1e01bb76479c18e5649636232a7a256a100230",
+        "checksum": "sha256:abfc51ee72c7d016ff31c57616e84a15fa5ab11a209827d87d29f5d1d8edc7e8",
         "supersedes": null,
         "metadata": {}
       },

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@orchestrator-claude/definitions",
-  "version": "3.37.1",
+  "version": "3.37.3",
   "description": "Built-in definitions (agents, skills, hooks, workflows, KB seeds) for the Orchestrator ecosystem",
   "type": "module",
   "main": "dist/index.js",

package/skills/ciclo-lane-dispatch/SKILL.md

@@ -1,9 +1,9 @@
 ---
 name: ciclo-lane-dispatch
-description: Use BEFORE delegating a lane 2A run to ciclo-engineer (PRD do cliente → Ciclo modelado + protótipo navegável). Triggers on "delegar lane 2A", "rodar o ciclo-engineer", "PRD para protótipo", "run de medição do charter", "modelar o ciclo do cliente". Carries the orchestrator side of the lane: pré-voo, prompt de despacho, e — o essencial — como julgar o relatório que volta re-medindo em vez de acreditar. Do NOT use to BUILD the artifact (that is the agent's charter, which it carries itself) nor for lane 2B (ciclo sem tela — captura não fechada).
+description: Use BEFORE delegating a lane 2A run to ciclo-engineer (PRD do cliente → Ciclo modelado + protótipo navegável). Triggers on "delegar lane 2A", "rodar o ciclo-engineer", "PRD para protótipo", "run de medição do charter", "modelar o ciclo do cliente". Carries the orchestrator side of the lane: pré-voo, prompt de despacho, e — o essencial — como julgar o relatório que volta re-medindo em vez de acreditar. Do NOT use to BUILD the artifact (that is the agent's charter, which it carries itself). Covers both lane 2A and lane 2B (ciclo sem tela) — in 2B the pre-flight carries eight inputs instead of five (§1.3-B) and judgment uses the modeling auditor (§3.6) instead of Playwright.
 ---
 
-# Ciclo Lane Dispatch — o lado do orquestrador da lane 2A
+# Ciclo Lane Dispatch — o lado do orquestrador da lane 2 (2A e 2B)
 
 O `ciclo-engineer` carrega o **executável** (fases 0–6, dez armadilhas, disciplina de token). Esta
 skill carrega o que **não** cabe nele: o que fazer antes de despachar, e o que fazer com o que
@@ -15,12 +15,11 @@ usuário · `[L]` lacuna aberta.
 
 ## Quando usar
 
-USE quando for delegar uma corrida da lane 2A: um PRD de cliente vira **Ciclo modelado** (sempre) e
-**protótipo navegável** (quando o PRD tem superfície).
+USE quando for delegar uma corrida da lane 2A **ou 2B**: um PRD de cliente vira **Ciclo modelado** (sempre) e
+**protótipo navegável** (quando o PRD tem superfície). Em 2B o pré-voo tem **nove** insumos (§1.3-B) e o julgamento usa o auditor de modelagem (§3.6).
 
 NÃO use para:
 - **construir** o artefato — é a fase do agente, e ele traz o procedimento próprio;
-- **lane 2B** (ciclo sem tela) — não tem doc de procedimento; o agente recusa por construção;
 - deck Slidev (`presentation-engineer`) ou React app code (`frontend-engineer`).
 
 ---
@@ -36,7 +35,7 @@ de processo não chega ao delegado. Se a sessão anterior "corrigiu o charter",
 `agents/ciclo-engineer.md` pelos termos da correção antes de rodar um teste que depende dela —
 senão o run mede o charter velho e tu credita o resultado ao novo.
 
-**1.3 Meça os cinco insumos do contrato, não os presuma.** São: caminho do PRD · caminho do design
+**1.3 (2A) Meça os cinco insumos do contrato, não os presuma.** São: caminho do PRD · caminho do design
 system · repo-alvo · escopo (quais US) · ator-alvo. O **ator sai do PRD com linha citada**, nunca de
 memória. `[M]` Na S420 cinco das seis correções ao orquestrador foram da mesma família: afirmação
 sobre artefato externo sem probe — o Invariante 6 escrito e não aplicado.
@@ -46,6 +45,9 @@ insumo *quais US* não é servido pelo PRD: é servido pela **projeção** (a fa
 projeção só vale se for re-derivável, e o contrato da lane 1 exige três itens juntos no registro
 dela — commit, `sha256` da fonte e o pedido literal (`J4`, §5 do contrato). Antes de despachar:
 
+`[S]` **Em modo 2B, um quarto campo.** O escopo não é "a projeção" — é o **corte humano congelado**,
+com o seu próprio `sha256`. Leve os três de sempre **e** o caminho do arquivo do corte com o `sha`.
+
 ```bash
 # 1. o sha256 que a projecao DECLARA ter derivado (Anexo A.1 dela)
 grep -A1 'sha256.*fonte' <projecao>
@@ -62,16 +64,34 @@ preenche** (cláusula *Marca `client` proibida sem registro*, no §2 abaixo, e S
 > Referência por conteúdo e não por número de linha, de propósito: esta própria inserção deslocou
 > em +21 as linhas que a versão anterior citava como `:57-59`.
 
+**1.3-B (2B) Os insumos da 2B não são os cinco da 2A — são nove, com papel diferente em três.**
+`[M]` Os cinco da 2A contra o teste do contrato §2.4 (*"campo que só faz sentido para um tipo de
+escopo captura substrato"*), re-medidos:
+
+| insumo 2A | na 2B | marca | referente |
+|---|---|---|---|
+| caminho do PRD | **exigido**, igual | `[M]` | Fase 0 é agnóstica |
+| escopo (quais US) | **exigido — como corte humano congelado com `sha`**, nunca "a projeção" | `[U]` **B6, PM** | `ORCAMENTO…:175`; ruído medido 33·66·55·78·74·80·75·75 |
+| ator-alvo | **exigido, com linha citada** do PRD | `[M]` | §1.3 (*o ator sai do PRD com linha citada*); a projeção current tem 12 rótulos, o PRD nove posições (§1.2) — o despacho diz **qual** |
+| caminho do design system | **exigido com outro papel**: contrato de renderização do trilho | `[S]` D6 | Ciclo 01 e os nove Ciclos da partição D-022 inlinam verbatim (os seis da geração 1, hoje em `deliverables/lane-2a/superados/`, também inlinavam); `design-system/od-format/system/` existe |
+| repo-alvo | **dissolvido** → *onde o artefato mora* (`deliverables/lane-2b/`) | `[M]` TD-293 | `ORCAMENTO…` C.3 |
+| **novo:** `modo = 2B` | **exigido, declarado** | `[S]` D2 | contrato §2.4 `:197`: inferir é ambíguo |
+| *(sem equivalente 2A — é 2B-only, como `modo`)* | **novo:** `reflexivo = sim/não`, declarado no despacho quando o PRD descreve o harness que executa a lane | `[S]` D4 | `PROPOSTA-EQUIPAMENTO-LANE2B-S515.md` §5.3 :266-267 (Detecção); `ciclo-engineer.md:137` (F10 — a sonda obrigatória que o campo dispara) |
+| **novo:** registro da conversa do cliente (se houver) | opcional; **sem ele a marca `client` não existe** | `[M]` | `ciclo-engineer.md:107`; §2, cláusula *Marca `client` proibida sem registro* |
+| **novo:** caminho do auditor de modelagem | **exigido** — pré-condição de o agente aceitar 2B | `[S]` F4 | `ciclo-engineer.md`, *Fora de escopo* (recusa 2B sem o auditor em disco) |
+
+Rótulos B·/D·/F· e "contrato" referem-se à `PROPOSTA-EQUIPAMENTO-LANE2B-S515.md` e ao `LANE1-CONTRATO-SAIDA-S473.md`.
+
 **1.4 Se for run de medição, retire a referência E prove que ela não cobre o alvo.** `[M]` (S420)
 Antes de escrever o prompt, `grep -c` no artefato de referência pelo escopo pretendido. Se ele já
 cobre o alvo, o run mede cópia, não transferência. Quando a referência cobre todo o espaço de
-alvos, a restrição vira ativo: retire-a do agente e **use-a depois como ground truth**.
+alvos, a restrição vira ativo: retire-a do agente e **use-a depois como ground truth**. `[S]` Em 2B a referência a vedar são os **nove Ciclos da partição D-022** (mesmo PRD-001: `ciclo-agente-fase-dispatch-s516.html`, `ciclo-continuidade-handoff-s516.html`, `ciclo-define-gate-s515.html`, `ciclo-emenda-constituicao-s516.html`, `ciclo-instrumento-varredura-s515.html`, `ciclo-opera-sessao-s515.html`, `ciclo-orquestrador-workflow-s516.html`, `ciclo-ratifica-s515-run2.html`, `ciclo-time-cliente-curva-s516.html`) e o **Ciclo 01** (`CICLO-01-TOKEN-EXTRACTION-S417.md`), **e também os três protótipos** `prototipo-app-canvas.html`, `prototipo-app-canvas-v2.html`, `prototipo-app-canvas-v3.html` (`deliverables/lane-2a/`) — telas 2A sobre o mesmo PRD-001; a 2B existe para não ver tela; o próximo protótipo, por superfície, nasce depois do run 2B como unidade separada. Os seis Ciclos da geração 1 (pré-partição, movidos para `deliverables/lane-2a/superados/` na S517) não contam — não são a referência ativa.
 
 ---
 
 ## 2 · O prompt de despacho
 
-Entregue os cinco insumos e mais estas cláusulas:
+Entregue os cinco insumos (nove em 2B, §1.3-B) e mais estas cláusulas:
 
 - **Vedação de referência** (em run de medição): *não leia o conteúdo de artefatos anteriores desta
   lane; listar o diretório para escolher nome livre é permitido.*
@@ -85,6 +105,9 @@ Entregue os cinco insumos e mais estas cláusulas:
   commita depois de ler o relatório.
 - **Cláusula de escape.** `[M]` (S420) *"Se o protocolo te obrigar a abrir o arquivo vedado, não
   abra — registre o conflito."* Produziu duas declarações honestas e espontâneas.
+- **Em modo 2B, quatro campos a mais.** `[S]` *"modo = 2B; auditor em `scripts/audit-ciclo-modelagem.py`;
+  reflexivo = sim/não; corte = <arquivo> sha <x>."* A **neutralidade** abaixo continua valendo: não
+  diga ao agente que se mede c6/c7 (§5.4 da proposta).
 
 **Neutralidade do dispatch — regra dura.** `[S]` Se o run existe para medir alguma dimensão
 (interatividade, densidade, fidelidade), **não conte isso ao agente**. Dizer "estou medindo teus
@@ -122,6 +145,13 @@ mesma US nos quatro runs):
 `[M]` O baseline opus **não é comparável no eixo de telas**: ele usa vocabulário próprio
 (`ws-step`, `spine-step`). Compare runs entre si, que compartilham o charter.
 
+`[M]` (S513) A coluna de telas sai **particionada por vocabulário**, `Ns/Mv` — `s` é token de classe
+`screen`/`*-screen`, `v` é container com token `view` (a forma dos artefatos do app, `<main
+class="view" data-view=…>`). Antes disso o contador deu **0 na v1 e na v2** do protótipo do app,
+que têm 6 telas cada (S512 contou por grep) — segundo falso zero da família do §3.3, noventa e duas sessões e
+um vocabulário depois. Um zero de um lado nunca mais se disfarça de zero de superfície: `0s/6v` é
+leitura, `0s/0v` é o achado grave. `[S]` Em 2B este instrumento (`audit-prototype-interactivity.sh`) imprime `0s/0v` **por definição** — não é veredito de nada; o veredito de 2B é o do auditor de modelagem (§3.6).
+
 ### 3.2 Fidelidade do contrato de tokens — a checagem que o auditor NÃO faz
 
 `[M]` (S420) O auditor valida o **grafo de referências** (`var(--x)` aponta para algo declarado).
@@ -155,6 +185,61 @@ Duas regras saem disso:
 **corrobora** que os gates são estruturais e não decorativos; não substitui percorrer o fluxo no
 browser e ver o botão travar e liberar. Se tu não abriu o browser, diga que não abriu.
 
+### 3.5 O que nenhum dos três lê: a CSSOM — regra escrita e não aplicada
+
+`[M]` (S512) `ciclo-registro-estrutural.html`, **mergeado em main**, tinha em `:335` um `/*` que
+documentava o conserto do overflow da S511 e não tinha `*/`. O próximo `*/` estava em `:365`, dentro
+de outro comentário; como comentário CSS não aninha, ele fechou o de 335 — e **vinte regras entre
+345-364 viraram texto** (`.chip` inclusive o `white-space:normal` que a memória S507 prescreve,
+`.edge-head`, `.edge-title`, `.edge-open`). Segundo caso em `:391→:402`. Confirmado no render com
+controle positivo: 24 `.chip` com borda 0, padding 0, Montserrat em vez de mono; `.edge-card
+{min-width:0}`, que está **antes** do comentário, vivo.
+
+**Por que passou pelos três instrumentos:** o auditor de tokens valida o *grafo de referências* no
+texto — `var(--x)` dentro de comentário é texto e aponta para token declarado. O diff de pares
+(§3.2) olha declarações `--x: v;`, que não estavam no span. O auditor de interatividade (§3.1)
+conta listeners e JS. **Nenhum lê a CSSOM.** E o 375×375 da S511 passou plausivelmente *por causa*
+do defeito: chip sem padding é mais estreito. É a lição da S511 em outra roupa — documentar o
+**conserto** matou vinte regras vizinhas.
+
+Dois passos, o segundo é o veredito:
+
+```bash
+# 1. detector barato — por bloco <style>, máquina de estados; imprime cada span de
+#    comentário com `/*` aninhado E linhas com forma de regra CSS dentro dele.
+scripts/audit-css-dead-by-comment.py <artefato.html> [outros.html ...]
+```
+
+`[M]` Calibrado na S513 com **um defeituoso e sete controles**: o registro-estrutural dá 2 `SUSPEITO`
+(`:335→:365` com 17 linhas com forma de regra; `:391→:402` com 1), exit 1; os sete irmãos dão 1
+`AVISO` cada e exit 0 — é o `/*` do glob `fonts/*.woff2` em prosa dentro do comentário das fontes,
+que um balanço cru `/*` contra `*/` acusaria como defeito. **Balanço por arquivo dá falso positivo;
+máquina de estados simples dá falso negativo** (o `/*` de 335 *é* fechado, pelo `*/` errado). O
+sinal é a conjunção: aninhamento **e** regra engolida.
+
+```js
+// 2. o juiz — Playwright browser_evaluate. Um seletor de DENTRO do span suspeito e um
+//    de FORA (controle positivo). Regra escrita no arquivo e ausente aqui é CSS morto.
+(() => {
+  const live = new Set();
+  for (const sh of document.styleSheets) for (const r of sh.cssRules) if (r.selectorText) live.add(r.selectorText);
+  const probe = (sel) => ({ sel, naCSSOM: live.has(sel), el: document.querySelector(sel) && getComputedStyle(document.querySelector(sel)).padding });
+  return [probe('.chip'), probe('.edge-card')];   // troque pelos seletores do span e do controle
+})()
+```
+
+Suspeita do passo 1 sem o passo 2 é suspeita; passo 2 sem controle positivo é leitura de um
+instrumento que pode estar cego. Em despacho de agente, a cláusula "zero token novo" **não** protege
+disto — se for pedir, peça o balanço por bloco no relatório, e re-meça.
+
+### 3.6 Julgar um Ciclo 2B
+
+`[S]` Em modo 2B não há Playwright para dirigir gate nem interatividade para contar (§3.1 dá
+`0s/0v` **por definição** — não é veredito). §3.2, §3.3 e §3.5 continuam valendo para o trilho. O julgamento é: rode `scripts/audit-ciclo-modelagem.py`,
+cole a tabela de saída inteira, **e** confira por leitura duas coisas que o instrumento não lê:
+**(i)** um `open` ao acaso — o PRD realmente não diz aquilo? **(ii)** um `prd` ao acaso — a linha
+citada existe de fato no PRD?
+
 ---
 
 ## 4 · Artefato falho é evidência — não conserte