@dewtech/dare-cli 2.17.0 → 3.1.0

package/templates/ide/cursor/.cursor/rules/skill-reverse.mdc

@@ -0,0 +1,107 @@
+---
+description: Camada semântica da engenharia reversa (Fase 0 / brownfield). Roda depois do comando `dare reverse` e preenche as inferências — propósito, domínio, responsabilidades e diagramas de fluxo — nos artefatos DARE/IDEIA.md e DARE/REVERSE/module-*.md.
+globs: DARE/IDEIA.md,DARE/REVERSE/**
+alwaysApply: false
+---
+
+# Skill: Reverse — Engenharia Reversa (Fase 0)
+
+Esta skill é a **camada semântica** da engenharia reversa. Ela roda **depois** do comando
+`dare reverse`, que já varreu o código e gerou os esqueletos determinísticos. Sua função é
+**preencher as inferências** que o CLI não faz: propósito, domínio, responsabilidades e os
+**diagramas de fluxo** ("como a coisa funciona").
+
+> Pré-requisito: rodar `dare reverse` antes (gera `DARE/IDEIA.md`, `DARE/REVERSE/module-*.md`
+> e `DARE/REVERSE/reverse-facts.json`). Se não existirem, peça para rodar `dare reverse` primeiro.
+
+## Quando usar
+
+- O usuário quer entender / documentar um projeto **legado** antes de adotar o DARE.
+- Acabou de rodar `dare reverse` e os artefatos têm seções `<!-- AGENT: ... -->` em aberto.
+- O objetivo é gerar uma **pré-arquitetura** (`IDEIA.md`) que depois vira `DESIGN.md`.
+
+## Marcação de confiança (obrigatória)
+
+Ao preencher cada `<!-- AGENT -->`, marque **cada afirmação** com seu nível de confiança + evidência:
+
+- `- 🟢 <claim>. ` + `` `arquivo:linha` `` — **CONFIRMED**: evidência direta no código.
+- `- 🟡 <claim>. ` + `` `arquivo:linha` `` — **INFERRED**: padrão/dedução; pode estar errado.
+- `- 🔴 <claim>. → ver gaps.md` — **GAP**: não determinável pelo código.
+
+Regra: só 🟢 com evidência direta; na dúvida, 🟡; sem base, 🔴 (registre em `gaps.md`). Os fatos
+estruturais (caminho, LOC, deps) já vêm pré-marcados 🟢 pelo CLI — **não os altere**.
+
+## O que fazer
+
+### 1. Carregar os fatos (não re-varrer tudo)
+
+- Leia `DARE/REVERSE/reverse-facts.json` — fonte de fatos determinística (stack, módulos, LOC,
+  grafo de dependências). **Confie nela** para o inventário.
+- Para cada módulo, abra **2-5 arquivos representativos** (entrypoints, controllers, services,
+  models) — o suficiente para inferir responsabilidade e fluxo. Não leia o módulo inteiro.
+
+### 2. Preencher `DARE/IDEIA.md`
+
+Substitua cada bloco `<!-- AGENT: ... -->`:
+
+- **Propósito Inferido** — 2-4 frases: o que o software faz e por quê.
+- **Domínio & Conceitos** — entidades de negócio + glossário.
+- **Modelo de Dados (reconstruído)** — entidades, campos-chave, relacionamentos.
+- **Superfície de API** — endpoints inferidos de rotas/controllers.
+- **Fluxo do Sistema** — um `flowchart TD` Mermaid do caminho principal de request/dados
+  atravessando os módulos.
+- **⚠️ Incertezas / Gaps** — o que NÃO deu pra inferir + perguntas objetivas para o humano.
+
+**Não toque** no Mapa de Módulos nem na tabela (determinísticos, gerados pelo CLI).
+
+### 3. Preencher cada `DARE/REVERSE/module-*.md`
+
+- **Responsabilidade** — papel do módulo no sistema (1-3 frases).
+- **Superfície Pública** — o que expõe (funções/classes/endpoints/tipos).
+- **Como Funciona (fluxo)** — um `sequenceDiagram` Mermaid do fluxo típico
+  (entrypoint → service → repository → DB/externo).
+- **Dependências & Acoplamento** — comente o acoplamento e riscos (circular, hotspot HIGH).
+
+### 4. Apresentar ao usuário
+
+Resumo: propósito inferido, nº de módulos, principais incertezas. Reforce que o `IDEIA.md` é um
+**rascunho a validar** antes de promover a DESIGN.
+
+## Passo final — Gaps, Questions e Reviewer
+
+1. **`gaps.md`** — consolide os 🔴 classificados por severidade (crítico/moderado/cosmético/fora-escopo) + tratamento.
+2. **`questions.md`** — perguntas objetivas ao humano.
+3. **Reviewer** — releia os arquivos-chave e rebaixe claims sem evidência (🟢→🟡 ou 🟡→🔴).
+4. **Rode `dare reverse --report`** — gera `confidence-report.md` + `traceability/code-spec-matrix.md` (índice determinístico).
+
+## Modo `--deep` (Fase 3)
+
+Se `dare reverse --deep` foi usado, complete os artefatos extras em `DARE/REVERSE/`:
+- **`erd.md`** — entidades extraídas pelo CLI (🟢); complete relações não-explícitas (🟡).
+- **`domain-rules.md`** — regras de negócio (validações, invariantes, cálculos), 🟢/🟡/🔴.
+- **`state-machines.md`** — `stateDiagram-v2` por entidade/fluxo (estados/transições reais).
+- **`permissions.md`** — papéis, recursos e regras de autorização.
+- **`c4/c4-context.md`** e **`c4/c4-container.md`** — atores/externos e containers (component = mapa de módulos).
+
+## Regras de ouro
+
+1. **Não invente** — fluxo não-claro vira 🔴 (gap), não chute.
+2. **Fidelidade ao código real** — descreva o que o código faz, não o que deveria fazer.
+3. **Diagramas enxutos** — legibilidade acima de exaustividade.
+4. **Não re-varra** — os fatos já estão em `reverse-facts.json`.
+5. **Preserve o determinístico** — nunca edite o Mapa de Módulos/tabela/grafo do CLI.
+
+## Antipatterns
+
+| AP | Antipattern | Por quê |
+|---|---|---|
+| AP-01 | Inventar endpoints/entidades inexistentes | Polui a pré-arquitetura com ficção |
+| AP-02 | Reescrever a tabela de módulos do CLI | Quebra a fonte determinística |
+| AP-03 | `sequenceDiagram` gigante e ilegível | Anula o propósito do diagrama |
+| AP-04 | Pular a seção de Incertezas | Remove o ponto de validação humana |
+| AP-05 | Ler o projeto inteiro arquivo a arquivo | Desperdiça contexto; os fatos já estão no JSON |
+| AP-06 | Marcar tudo 🟢 sem evidência `file:line` | Infla a confiança e engana o humano |
+
+---
+
+Skill MIT — parte do DARE Method. Fase 0 (brownfield). Pareia com o comando `dare reverse`.

package/templates/ide/cursor/.cursor/rules/skill-rust-leptos.mdc

@@ -0,0 +1,281 @@
+---
+description: Guia DARE para desenvolvimento Leptos (Rust + WASM) — decisão CSR vs Fullstack, idioms 0.7, antipatterns, tipos compartilhados server+WASM com cfg_attr, workspace misto WASM+nativo, templates de tasks.
+globs: **/*.rs,Cargo.toml,.cargo/config.toml,Trunk.toml,Leptos.toml
+alwaysApply: false
+---
+
+# Skill: Rust/Leptos DARE
+
+Você é um especialista em Leptos 0.7+ (framework reativo Rust → WASM). Esta skill cobre **decisão de variante, idioms obrigatórios, antipatterns clássicos e estruturação de tipos compartilhados** entre server e WASM.
+
+---
+
+## 1. Decisão de variante: CSR vs Fullstack
+
+| Critério | CSR (trunk) | Fullstack (cargo-leptos) |
+|---|---|---|
+| SEO necessário | ❌ | ✅ |
+| Time-to-interactive crítico | ❌ | ✅ |
+| Dashboard interno / admin | ✅ | ✅ |
+| Backend Axum existente | indiferente | ✅ integração direta |
+| Simplicidade de deploy | ✅ arquivos estáticos | ⚠️ binário Axum |
+| Server functions (`#[server]`) | ❌ não existe | ✅ |
+
+**Regra de ouro:**
+- Atrás de login e SEO não importa → **CSR**
+- Precisa SEO, carregamento inicial rápido, server functions → **Fullstack**
+- Já tem Axum no monorepo → **Fullstack** (workspace unificado)
+
+---
+
+## 2. Ferramentas — nunca misturar
+
+| Variante | Build | Dev | Test |
+|---|---|---|---|
+| CSR | `trunk build --release` | `trunk serve` | `cargo test --workspace` |
+| Fullstack | `cargo leptos build --release` | `cargo leptos watch` | `cargo test --workspace` |
+
+> ⚠️ `cargo leptos test` **não existe**. Use `cargo test --workspace`.
+> ⚠️ Não use `trunk` para fullstack nem `cargo leptos` para CSR.
+
+---
+
+## 3. Idioms obrigatórios Leptos 0.7
+
+### Estado reativo
+
+```rust
+let (count, set_count) = signal(0);
+let doubled = move || count.get() * 2;     // derived (memo inline)
+
+// Estado complexo / compartilhado:
+let count = RwSignal::new(0);
+```
+
+### Dados assíncronos
+
+```rust
+// ✅ Resource — fetch declarativo, integra com Suspense
+let user = Resource::new(|| user_id(), |id| async move { fetch_user(id).await });
+
+view! {
+    <Suspense fallback=|| view! { <p>"Loading..."</p> }>
+        {move || user.get().map(|u| view! { <p>{u.name}</p> })}
+    </Suspense>
+}
+
+// ❌ Effect que faz fetch — re-executa em todo render
+Effect::new(move |_| { spawn_local(async { fetch_user(id).await }); });
+```
+
+### Mutações
+
+```rust
+let save = Action::new(|input: &String| {
+    let input = input.clone();
+    async move { api::save(input).await }
+});
+
+view! {
+    <button on:click=move |_| save.dispatch("hello".to_string())>"Save"</button>
+    <Show when=move || save.pending().get()><p>"Saving..."</p></Show>
+}
+```
+
+### Renderização condicional e listas
+
+```rust
+view! {
+    <Show when=move || logged_in.get() fallback=|| view! { <Login/> }>
+        <Dashboard/>
+    </Show>
+
+    <For
+        each=move || items.get()
+        key=|item| item.id
+        children=move |item| view! { <ItemRow item=item/> }
+    />
+}
+```
+
+### Server functions (fullstack only)
+
+```rust
+#[server(SaveUser, "/api")]
+pub async fn save_user(name: String) -> Result<User, ServerFnError> {
+    db::create_user(name).await.map_err(Into::into)
+}
+
+let save = ServerAction::<SaveUser>::new();
+```
+
+---
+
+## 4. Tipos compartilhados server + WASM
+
+```rust
+// crates/<p>-domain/src/lib.rs
+use serde::{Deserialize, Serialize};
+
+#[cfg_attr(feature = "ssr", derive(sqlx::FromRow))]  // só no server
+#[derive(Clone, Debug, Serialize, Deserialize)]      // server + WASM
+pub struct SecurityEvent {
+    pub id: uuid::Uuid,
+    pub attack_type: String,
+    pub risk_score: f32,
+    pub blocked: bool,
+}
+```
+
+```toml
+# Cargo.toml do crate domain
+[dependencies]
+serde = { version = "1.0", features = ["derive"] }
+uuid = { version = "1.10", features = ["v4", "serde"] }
+
+[dependencies.sqlx]
+version = "0.8"
+features = ["postgres", "runtime-tokio", "uuid"]
+optional = true
+
+[features]
+ssr = ["dep:sqlx"]
+```
+
+> O crate domain compila duas vezes: x86 (server, com sqlx) e wasm32 (client, sem sqlx). `cfg_attr` garante que `sqlx::FromRow` só aparece no server build.
+
+---
+
+## 5. Workspace misto (WASM + nativo)
+
+```toml
+# Cargo.toml do workspace
+[workspace]
+resolver = "2"
+members = [
+  "crates/<p>-core",       # lib nativa (x86)
+  "crates/<p>-server",     # bin nativo — Axum
+  "crates/<p>-web",        # bin+lib WASM — Leptos
+  "crates/<p>-cli",        # bin nativo
+]
+```
+
+```toml
+# crates/<p>-web/Cargo.toml
+[features]
+default = []
+hydrate = ["leptos/hydrate"]
+ssr = [
+  "dep:axum",
+  "dep:leptos_axum",
+  "dep:tokio",
+  "leptos/ssr",
+]
+```
+
+> ⚠️ **Antipattern crítico:** `[build] target = "wasm32-unknown-unknown"` no `.cargo/config.toml` raiz quebra todos os crates nativos. `cargo leptos` e `trunk` gerenciam o target WASM internamente — não interfira.
+
+---
+
+## 6. Antipatterns
+
+| Antipattern | Por quê | Alternativa |
+|---|---|---|
+| `wasm_bindgen` direto | Bypassa abstrações Leptos | APIs do Leptos (`web_sys` via feature) |
+| `panic!` em componentes | Derruba app sem `ErrorBoundary` | `Result<_, ServerFnError>` + `ErrorBoundary` |
+| `Effect` que faz fetch | Re-executa a cada render | `Resource::new()` |
+| `tokio::spawn` no client | `tokio` não existe no WASM | `spawn_local()` ou server function |
+| `std::thread` no client | Não existe no WASM | Signals para paralelismo reativo |
+| `cargo leptos test` | Comando inválido | `cargo test --workspace` |
+| `[build] target` global | Quebra crates nativos | Sem target global; cargo-leptos gerencia |
+| Múltiplos signals correlacionados | Render extra desnecessário | Derived signal (`move \|\| (a.get(), b.get())`) |
+
+---
+
+## 7. Templates de tasks DARE
+
+Cole no `DARE/dare-dag.yaml`:
+
+```yaml
+- id: leptos-001
+  title: "Workspace, AppShell e Router base"
+  description: |
+    Cargo workspace com resolver = "2".
+    App component com leptos_router::Router.
+    Layout base (header, main, footer). Rota "/" → HomePage.
+    Ralph Loop: cargo leptos build --release + cargo test --workspace + cargo clippy
+  depends_on: []
+
+- id: leptos-002
+  title: "Form com Action + server function"
+  description: |
+    #[server] fn para processar o form.
+    ActionForm ou Action manual.
+    Validar input no server (ServerFnError em erro).
+    Pending state com Action::pending() signal.
+  depends_on: [leptos-001]
+
+- id: leptos-003
+  title: "Lista paginada com Resource + Suspense"
+  description: |
+    Resource recebendo página como signal.
+    Envolver em Suspense com fallback loading.
+    ErrorBoundary para erros de fetch.
+    Paginação com For + key por ID.
+  depends_on: [leptos-001]
+```
+
+---
+
+## 8. Stack canônica
+
+| Camada | Cliente (WASM) | Server (Fullstack) |
+|---|---|---|
+| Framework | Leptos 0.7+ | Leptos 0.7 + leptos_axum |
+| Roteamento | leptos_router | (compartilhado) |
+| Estado server | Resource + Server Functions | sqlx + Axum |
+| Estilo | Tailwind | — |
+| Build | cargo-leptos / trunk | cargo-leptos |
+
+---
+
+## 9. Aplicação por fase DARE
+
+### Design
+- Decidir CSR vs Fullstack (tabela §1) e justificar
+- Listar componentes e server functions
+- Listar tipos compartilhados → crate `<p>-domain`
+
+### Blueprint
+- Tabela de componentes (nome, props, signals)
+- Lista de server functions com assinatura
+- Tipos no crate domain com features ssr/hydrate
+
+### Tasks
+- Use os templates de §7
+
+### Execute
+- Ralph Loop validation:
+  ```bash
+  cargo leptos build --release   # ou trunk build --release
+  cargo test --workspace
+  cargo clippy --workspace --all-targets -- -D warnings
+  ```
+
+---
+
+## Checklist final
+
+- [ ] Variante decidida (CSR ou Fullstack) e justificada no DESIGN.md
+- [ ] Workspace com `resolver = "2"` e crates separados
+- [ ] `<p>-domain` com tipos compartilhados e features `ssr`
+- [ ] Components usam Resource (não Effect) para fetch
+- [ ] Mutations usam Action / ServerAction
+- [ ] Server functions com `Result<_, ServerFnError>`
+- [ ] ErrorBoundary em torno de componentes assíncronos
+- [ ] Sem `[build] target` global no `.cargo/config.toml`
+- [ ] `cargo test --workspace` (não `cargo leptos test`)
+
+---
+
+Skill licenciada MIT — parte do DARE Method v3.