gennady 0.8.4-next.9 → 0.9.0-next.1

package/ai/directives/coding/result-conventions.xml

@@ -59,6 +59,35 @@
     </Axiom>
   </BeliefState>
 
+  <AntiPatterns>
+    <AntiPattern id="AP_RESULT_AS_INTERNAL_BRANCHING">
+      <Bad>Return `Result` from every private helper and branch on `isErr` or `.ok` at each call site.</Bad>
+      <WhyBad>It mixes transport and control-flow concerns, duplicates error propagation, and bypasses the guarded public boundary.</WhyBad>
+      <Good>Private I/O helpers throw, pure helpers return honest scalar/error values, and the public boundary converts failures to `Result` once.</Good>
+    </AntiPattern>
+    <AntiPattern id="AP_UNGUARDED_MUST_AT_BOUNDARY">
+      <Bad>An exported `Result`-returning function calls `must()` outside a try/catch and lets the contained error escape.</Bad>
+      <WhyBad>The declared Result boundary can throw instead of returning `fail(error)`.</WhyBad>
+      <Good>Guard `must()` in the public boundary and return `fail(TessellError.cast(...))` from catch.</Good>
+    </AntiPattern>
+    <AntiPattern id="AP_MANUAL_RESULT_SHAPE">
+      <Bad>Construct `{ ok, data, error }` manually or pin a concrete second Result generic.</Bad>
+      <WhyBad>The code bypasses canonical constructors and promises an error surface the runtime cannot guarantee.</WhyBad>
+      <Good>Use `success(value)`, `fail(error)`, and `Result&lt;T&gt;`.</Good>
+    </AntiPattern>
+  </AntiPatterns>
+
+  <VerificationHooks>
+    <Hook id="HOOK_RESULT_LINT_RULES">
+      <Command>npm run lint</Command>
+      <Expected>Exit 0; R1–R7 report no violations in changed Result-bearing code.</Expected>
+    </Hook>
+    <Hook id="HOOK_RESULT_RULE_TESTS">
+      <Command>npm test</Command>
+      <Expected>Exit 0; each custom Result rule keeps positive, negative, and edge-case coverage.</Expected>
+    </Hook>
+  </VerificationHooks>
+
   <RewardCriteria>
     - R1 flags `Result<T, DataStorageError>`, autofixes to `Result<T>`. Does NOT flag `Result<T, E>` where E is a type parameter of the enclosing generic.
     - R2 flags `{ ok: true, data: x, error: null }`, autofixes to `success(x)`.

package/ai/directives/coding/uikit-spec-drafting.xml

@@ -220,6 +220,21 @@
     </AntiPattern>
   </AntiPatterns>
 
+  <VerificationHooks>
+    <Hook id="HOOK_EXTRACTION_HAS_REQUIRED_INPUT">
+      <Command>jq -e '.variants | length &gt; 0' &lt;extraction-result.json&gt;</Command>
+      <Expected>Exit 0; the extraction contains at least one variant before drafting starts.</Expected>
+    </Hook>
+    <Hook id="HOOK_DRAFT_PRESERVES_REVIEW_MARKER">
+      <Command>rg -n '&lt;!-- DRAFT: generated from figma-utils extract\.' &lt;component.ui.spec.md&gt;</Command>
+      <Expected>Exactly one DRAFT marker is present before operator review.</Expected>
+    </Hook>
+    <Hook id="HOOK_DRAFT_REQUIRED_SECTIONS">
+      <Command>rg -n '^## (Vision|Variants|Token Mapping|Element Structure|A11y Requirements|BDD Scenarios)$' &lt;component.ui.spec.md&gt;</Command>
+      <Expected>All six required section headings are present; missing extraction data is represented explicitly, not omitted.</Expected>
+    </Hook>
+  </VerificationHooks>
+
   <RewardCriteria>
     ✅ Draft содержит все 6 обязательных секций (Vision, Variants, Token Mapping, Element Structure, A11y, BDD).
     ✅ Variants — closed-world таблица, все комбинации size × appearance × mode перечислены.

package/ai/directives/sdd/README.md

@@ -17,6 +17,7 @@ flowchart LR
     E --> F["sdd-execute / sdd-execute-batch"]
     F --> G[audit]
     G -->|FAIL| F
+    G -->|PASS + insights| H["operator reviews canonical backflow"]
 ```
 
 ```
@@ -32,22 +33,28 @@ setup ──► discovery ──► module-decomposition? ──► scaffold ─
 
 ## Директивы
 
-| Директива                            | Что делает                                                                          | Входные данные              | Выходные данные                                 |
-| ------------------------------------ | ----------------------------------------------------------------------------------- | --------------------------- | ----------------------------------------------- |
-| `setup.directive.xml`                | Создаёт/обновляет портал проекта — Vision и Scope Graph (sole owner)                | Намерение оператора         | `specs/README.md`                               |
-| `discovery.directive.xml`            | Проектирует scope: vision, архитектура, инструменты; режимы greenfield/refine/pivot | Название scope + scope-type | `specs/<scope>/<scope>.spec.md`                 |
-| `module-decomposition.directive.xml` | Декомпозирует scope на модули (только library/product)                              | scope-spec                  | `specs/<scope>/<module>/<module>.spec.md`       |
-| `scaffold.directive.xml`             | Строит DAG task-тикетов с Phases Overview, BDD, правилами per phase                 | Все scope-specs             | `tasks/README.md`, `tasks/<scope>/*.task-NN.md` |
-| `phase-execution-protocol.xml`       | Выполняет ОДНУ фазу одного тикета (диспетчится `sdd-execute` оркестратором)         | Phase ID + ticket + Handoff | Изменения в Target Files фазы + лог-блок        |
-| `audit.directive.xml`                | Проверяет выравнивание: spec ↔ тикет ↔ код; маппит finding-ы на фазы                | Закрытый Round + код        | Вердикт + `phases_to_fix`                       |
-| `critic.directive.xml`               | Оркестратор многораундовой критики спек/тасков (min 3 / max 5 раундов)              | Артефакт (спека/таск)       | Доработанный артефакт / вердикт CLEAN           |
-| `critic-protocol.xml`                | Изолированный критик-сабагент: read-only, только артефакт + родительская спека      | Артефакт                    | Находки (отчёт)                                 |
-| `fix.directive.xml`                  | Findings → классификация → план → фиксы → reopen → execute → verify                 | Находки (ревью/аудит/check) | Исправления + переоткрытые тикеты               |
-| `interview-protocol.xml`             | Движок интервью оператора: coverage map, один вопрос за сообщение                   | scope-type + focus          | Закрытая карта покрытия + ответы                |
-| `visual-vocabulary.xml`              | Cheat-sheet диаграмм: ASCII в чате / mermaid в спеках                               | Контекст авторинга          | Выбор диаграммы                                 |
-| `svelte-ui-discovery.directive.xml`  | Компонент-спека `.ui.spec.md` из Figma SVG (component-level, дополняет flow)        | Имя компонента + SVG        | `specs/<scope>/components/<name>.ui.spec.md`    |
+| Директива                            | Что делает                                                                            | Входные данные              | Выходные данные                                 |
+| ------------------------------------ | ------------------------------------------------------------------------------------- | --------------------------- | ----------------------------------------------- |
+| `setup.directive.xml`                | Создаёт/обновляет портал проекта — Vision и Scope Graph (sole owner)                  | Намерение оператора         | `specs/README.md`                               |
+| `discovery.directive.xml`            | Проектирует scope: vision, архитектура, инструменты; режимы greenfield/refine/pivot   | Название scope + scope-type | `specs/<scope>/<scope>.spec.md`                 |
+| `module-decomposition.directive.xml` | Декомпозирует scope на модули (только library/product)                                | scope-spec                  | `specs/<scope>/<module>/<module>.spec.md`       |
+| `scaffold.directive.xml`             | Строит DAG task-тикетов с Phases Overview, BDD, правилами per phase                   | Все scope-specs             | `tasks/README.md`, `tasks/<scope>/*.task-NN.md` |
+| `phase-execution-protocol.xml`       | Выполняет одну фазу; безопасные расхождения фиксирует обычным `decision` и продолжает | Phase ID + ticket + Handoff | Target Files + лог-блок + typed Handoff         |
+| `audit.directive.xml`                | Проверяет spec ↔ тикет ↔ код; каждый finding называет владельца исправления           | Закрытый Round + код        | PASS / FAIL + маршрутизация                     |
+| `critic.directive.xml`               | Baseline → узкая проверка правок; сохраняет компактный итог CLEAN                     | Артефакт (спека/таск)       | Закрытые пробелы / проверяемый вердикт          |
+| `critic-protocol.xml`                | Изолированный критик-сабагент: read-only, только артефакт + родительская спека        | Артефакт                    | Находки (отчёт)                                 |
+| `fix.directive.xml`                  | Findings → классификация → план → фиксы → reopen → execute → verify                   | Находки (ревью/аудит/check) | Исправления + переоткрытые тикеты               |
+| `interview-protocol.xml`             | Движок интервью оператора: coverage map, один вопрос за сообщение                     | scope-type + focus          | Закрытая карта покрытия + ответы                |
+| `visual-vocabulary.xml`              | Cheat-sheet диаграмм: ASCII в чате / mermaid в спеках                                 | Контекст авторинга          | Выбор диаграммы                                 |
+| `svelte-ui-discovery.directive.xml`  | Компонент-спека `.ui.spec.md` из Figma SVG (component-level, дополняет flow)          | Имя компонента + SVG        | `specs/<scope>/components/<name>.ui.spec.md`    |
 
-Оркестрация — через SKILL-ы (`sdd-execute`, `sdd-execute-batch`). Они читают только заголовок тикета + Phases Overview и диспетчат phase-subagent-ов; никогда не выполняют сами.
+Оркестрация — через SKILL-ы: `sdd-execute` владеет единственным per-task lifecycle, а
+`sdd-execute-batch` только планирует dependency-очередь и последовательно делегирует ему готовые
+TODO/IN_PROGRESS тикеты. Они читают planning surface и никогда не выполняют фазы сами. Нештатные
+решения переносятся существующим Handoff до fresh-eyes аудита. Диспатчи наследуют настроенную модель. Аудит подтверждает
+runtime-утверждения выполненной командой или probe, продолжает исправления до PASS либо доказанного
+no-progress и возвращает обычные `INSIGHT_BACKFLOW` предложения; оператор получает их одним блоком
+после исполнения.
 
 ## Scope Model