@vibe2founder/tests2dialects 0.1.0 → 0.2.0

package/examples/polyglot-shopping-cart.spec.ts

@@ -1,212 +0,0 @@
-/**
- * 🛒 Shopping Cart - Exemplo Poliglota
- *
- * Este arquivo demonstra como usar os 3 dialetos de forma semântica e coerente
- * para testar diferentes camadas de uma mesma funcionalidade: um carrinho de compras.
- *
- * - 📐 Matemático: Testa a lógica PURA de cálculo (descontos, totais)
- * - 📖 Narrativo: Testa a JORNADA do usuário (adicionar, remover, finalizar)
- * - 🛡️ Imperativo: Testa a INTEGRAÇÃO com API (gateway de pagamento)
- */
-
-import {
-  // 📐 Matemático - para lógica pura
-  axiom,
-  proof,
-  implies,
-  arbitrary,
-  given,
-  // 📖 Narrativo - para jornada do usuário
-  intend,
-  scenario,
-  to,
-  standIn,
-  background,
-  // 🛡️ Imperativo - para integração de sistema
-  ensure,
-  check,
-  that,
-  stub,
-  initAll,
-  reset,
-  clear,
-} from "../src/index.js";
-
-// =============================================================================
-// 📐 CAMADA MATEMÁTICA: Lógica Pura de Preços
-// =============================================================================
-// Aqui provamos verdades universais sobre cálculos financeiros.
-// Não há dependências externas, não há estado. Apenas matemática.
-
-axiom("Teoria de Cálculo de Preços", () => {
-  let calcDiscount: (price: number, percent: number) => number;
-  let calcTotal: (items: { price: number; qty: number }[]) => number;
-  let applyTax: (subtotal: number, rate: number) => number;
-
-  given(() => {
-    // Funções puras - determinísticas, sem side effects
-    calcDiscount = (price, percent) => price - price * (percent / 100);
-    calcTotal = (items) => items.reduce((sum, i) => sum + i.price * i.qty, 0);
-    applyTax = (subtotal, rate) =>
-      Math.round(subtotal * (1 + rate) * 100) / 100;
-  });
-
-  proof("Desconto de 10% em R$100 implica R$90", () => {
-    implies(calcDiscount(100, 10)).is(90);
-  });
-
-  proof("Desconto de 0% preserva o valor original", () => {
-    implies(calcDiscount(250, 0)).is(250);
-  });
-
-  proof("Desconto de 100% anula o preço", () => {
-    implies(calcDiscount(500, 100)).is(0);
-  });
-
-  proof("Total de carrinho vazio converge para zero", () => {
-    implies(calcTotal([])).is(0);
-  });
-
-  proof("Total de 3 itens a R$10 cada (qty=2) implica R$60", () => {
-    const items = [
-      { price: 10, qty: 2 },
-      { price: 10, qty: 2 },
-      { price: 10, qty: 2 },
-    ];
-    implies(calcTotal(items)).is(60);
-  });
-
-  proof("Imposto de 10% sobre R$100 resulta em R$110", () => {
-    implies(applyTax(100, 0.1)).is(110);
-  });
-});
-
-// =============================================================================
-// 📖 CAMADA NARRATIVA: Jornada do Usuário
-// =============================================================================
-// Aqui contamos histórias que o PM pode ler e entender.
-// Descrevemos a experiência do usuário em linguagem natural.
-
-intend("Jornada de Compra do Usuário", () => {
-  const cart = standIn(); // Dublê do serviço de carrinho
-  const user = standIn(); // Dublê do usuário
-
-  background(() => {
-    // Preparação do cenário
-    cart.respondsWith({ items: [], total: 0 });
-    user.respondsWith({ name: "João", loggedIn: true });
-  });
-
-  scenario("Usuário adiciona primeiro produto ao carrinho", () => {
-    cart.add({ name: "Camiseta", price: 49.9 });
-    cart.respondsWith({
-      items: [{ name: "Camiseta", price: 49.9 }],
-      total: 49.9,
-    });
-
-    to(cart).wasCalled();
-    to(cart.items).have("length");
-  });
-
-  scenario("Usuário aplica cupom de desconto", () => {
-    const coupon = standIn();
-    coupon.respondsWith({ valid: true, discount: 15 });
-
-    // Link the mock logic for the purpose of this example
-    cart.applyCoupon.actsLike(() => coupon("DESCONTO15"));
-
-    cart.applyCoupon("DESCONTO15");
-    cart.respondsWith({ total: 42.42 }); // 49.9 - 15%
-
-    to(coupon).wasCalled();
-    to(cart.total).be(42.42);
-  });
-
-  scenario("Usuário remove item e carrinho fica vazio", () => {
-    cart.remove("Camiseta");
-    cart.respondsWith({ items: [], total: 0 });
-
-    to(cart.items).have("length");
-    to(cart.total).be(0);
-  });
-
-  scenario("Usuário não logado tenta finalizar compra", () => {
-    user.respondsWith({ loggedIn: false });
-    const checkout = standIn();
-    checkout.respondsWith({ error: "LOGIN_REQUIRED", status: 401 });
-
-    to(checkout.status).be(401);
-  });
-});
-
-// =============================================================================
-// 🛡️ CAMADA IMPERATIVA: Integração com Gateway de Pagamento
-// =============================================================================
-// Aqui verificamos contratos rígidos com sistemas externos.
-// A linguagem é autoritária: ensure, verify, check.
-
-ensure("Conformidade com Gateway de Pagamento v2.1", () => {
-  const paymentGateway = stub();
-  const transactionLogger = stub();
-
-  initAll(() => {
-    // Setup de infraestrutura
-    paymentGateway.process.forceReturn({
-      status: 200,
-      transactionId: "tx_abc123",
-      timestamp: "2026-01-01T00:00:00Z",
-    });
-    transactionLogger.log.forceReturn(true);
-  });
-
-  reset(() => {
-    // Limpa estado entre testes para garantir contagens precisas
-    paymentGateway.clear();
-    transactionLogger.clear();
-  });
-
-  check("Transação bem-sucedida retorna status 200", () => {
-    const response = paymentGateway.process({
-      amount: 99.9,
-      currency: "BRL",
-      cardToken: "tok_visa_xxxx",
-    });
-
-    that(response.status).is(200);
-    that(response.transactionId).matches(/^tx_[a-z0-9]+$/);
-  });
-
-  check("TransactionId segue padrão RFC do contrato", () => {
-    const response = paymentGateway.process({ amount: 50 });
-
-    // Validação rigorosa do formato do ID
-    that(response.transactionId).matches(/^tx_[a-z0-9]{6,}$/);
-    that(response.timestamp).matches(/^\d{4}-\d{2}-\d{2}T/);
-  });
-
-  check("Toda transação deve ser logada para auditoria", () => {
-    paymentGateway.process({ amount: 100 });
-    transactionLogger.log({ event: "PAYMENT_PROCESSED" });
-
-    that(transactionLogger).triggered();
-    that(transactionLogger).calledWith({ event: "PAYMENT_PROCESSED" });
-  });
-
-  check("Gateway deve ser acionado exatamente uma vez por request", () => {
-    paymentGateway.process({ amount: 100 });
-    that(paymentGateway).triggeredCount(1);
-  });
-});
-
-// =============================================================================
-// 🎭 RESUMO: Por que usar os 3 dialetos?
-// =============================================================================
-//
-// | Camada       | Dialeto     | Por quê?                                     |
-// |--------------|-------------|----------------------------------------------|
-// | Cálculos     | Matemático  | Provas de verdades universais, sem estado    |
-// | UX/Jornada   | Narrativo   | Documentação viva legível por PMs            |
-// | Integração   | Imperativo  | Contratos rígidos, conformidade, auditoria   |
-//
-// Cada dialeto expressa a NATUREZA do problema que está resolvendo.
-// A linguagem do teste espelha a linguagem do domínio.

package/examples/sanity.spec.ts

@@ -1,54 +0,0 @@
-import {
-  MathDialect,
-  NarrativeDialect,
-  ImperativeDialect,
-} from "../src/index.js";
-
-console.log("---------------------------------------------------");
-console.log("🚀 INICIANDO TEST SUITE POLIGLOTA TEMPLATE");
-console.log("---------------------------------------------------");
-
-// 1. Teste Matemático
-const { axiom, proof, implies, arbitrary } = MathDialect;
-
-axiom("Teoria dos Conjuntos (Dialeto Matemático)", () => {
-  const f = arbitrary();
-  f.yields(10); // Configuração usando nome matemático
-
-  proof("f deve mapear para 10", () => {
-    const res = f();
-    implies(res).is(10);
-    implies(f).wasEvaluated();
-  });
-});
-
-// 2. Teste Narrativo
-const { intend, detail, to, standIn } = NarrativeDialect;
-
-intend("Autenticação de Usuário (Dialeto Narrativo)", () => {
-  const login = standIn();
-  login.respondsWith(true); // Configuração narrativa
-
-  detail("login bem sucedido", () => {
-    login("user", "pass");
-    to(login).received("user", "pass");
-    to(login).wasCalled();
-  });
-});
-
-// 3. Teste Imperativo
-const { ensure, check, that, stub } = ImperativeDialect;
-
-ensure("Serviço de Pagamento (Dialeto Imperativo)", () => {
-  const api = stub();
-  api.forceReturn(200); // Configuração imperativa
-
-  check("status da API é 200", () => {
-    const status = api();
-    that(status).is(200);
-    that(api).triggeredCount(1);
-  });
-});
-
-console.log("\n---------------------------------------------------");
-console.log("🏁 FIM DA EXECUÇÃO");

package/examples/showcase-api.spec.ts

@@ -1,70 +0,0 @@
-import { ApiSpec } from "../packages/api-test-dialect/index.js";
-
-/**
- * 🌐 Teste de Showcase do Dialeto de API
- * Mostrando todas as funcionalidades integradas:
- * - GET, POST, PUT, DELETE
- * - Headers customizados
- * - Validação de Status Code
- * - Validação de Schema (Nominal/Semântica)
- */
-
-async function runShowcase() {
-  const BASE_URL = "https://jsonplaceholder.typicode.com";
-
-  console.log("\n--- 🚀 INICIANDO SHOWCASE DE FUNCIONALIDADES API ---");
-
-  try {
-    // 1. Teste GET Simples
-    await ApiSpec.define("1. Buscar Post Único (GET)")
-      .from(BASE_URL)
-      .get("/posts/1")
-      .shouldReturn(200)
-      .matchingSchema({
-        id: 1,
-        userId: 1,
-        title: "string",
-        body: "string"
-      })
-      .run();
-
-    // 2. Teste POST com Body e Header
-    await ApiSpec.define("2. Criar Novo Recurso (POST)")
-      .from(BASE_URL)
-      .header("Content-Type", "application/json; charset=UTF-8")
-      .header("X-Custom-Header", "vibe2founderPower")
-      .post("/posts", {
-        title: "Showcase Test",
-        body: "Testando todas as features do dialeto",
-        userId: 1
-      })
-      .shouldReturn(201)
-      .run();
-
-    // 3. Teste PUT (Atualização)
-    await ApiSpec.define("3. Atualizar Recurso (PUT)")
-      .from(BASE_URL)
-      .put("/posts/1", {
-        id: 1,
-        title: "Título Atualizado",
-        body: "Conteúdo atualizado via PUT",
-        userId: 1
-      })
-      .shouldReturn(200)
-      .run();
-
-    // 4. Teste DELETE 
-    await ApiSpec.define("4. Remover Recurso (DELETE)")
-      .from(BASE_URL)
-      .delete("/posts/1")
-      .shouldReturn(200)
-      .run();
-
-    console.log("\n--- ✅ SHOWCASE FINALIZADO COM SUCESSO ---");
-  } catch (err: any) {
-    console.error("\n--- ❌ SHOWCASE FALHOU ---");
-    // O erro já é logado pelo dialeto no .run()
-  }
-}
-
-runShowcase();

package/examples/test-api.ts

@@ -1,36 +0,0 @@
-import { ApiSpec } from "../packages/api-test-dialect/index.js";
-
-// Simulating a test run against a public placeholder API (JSONPlaceholder)
-async function runExample() {
-  try {
-    console.log("--- Starting API Dialect Test Example ---");
-
-    await ApiSpec.define("Get Single Post")
-      .from("https://jsonplaceholder.typicode.com")
-      .get("/posts/1")
-      .shouldReturn(200)
-      .matchingSchema({
-        id: 1,
-        userId: 1,
-        title: "string",
-        body: "string",
-      })
-      .run();
-
-    await ApiSpec.define("Create New Post")
-      .from("https://jsonplaceholder.typicode.com")
-      .post("/posts", {
-        title: "vibe2founder Test",
-        body: "Building dialects is fun",
-        userId: 1,
-      })
-      .shouldReturn(201)
-      .run();
-
-    console.log("--- All tests finished successfully ---");
-  } catch (error) {
-    // Error is already logged by the dialect
-  }
-}
-
-runExample();

package/landing-page/README.md

@@ -1,38 +0,0 @@
-# 🚀 Engineering the "One Proof 4 All" Landing Page
-
-## The Vision
-The objective was to create a landing page that reflects the **Poliglota** and **Additive** philosophy of the `one-spec-4-all` testing framework. We wanted a design that screams "State of the Art" while being informative and accessible.
-
-## How it was built
-We used a modern tech stack centered around performance and developer experience:
-- **Vite + React**: For an ultra-fast development cycle and efficient rendering.
-- **Tailwind CSS**: For a tailored, utility-first design system. We defined custom semantic colors for each testing dialect:
-  - 📐 **Math**: Indigo
-  - 📖 **Narrative**: Emerald
-  - 🛡️ **Imperative**: Amber
-  - 🚀 **API Spec**: Rose
-- **Framer Motion**: To create "Elastic" and smooth transitions that make the page feel alive and responsive.
-- **Lucide Icons**: For clean and modern visual cues.
-
-## How it works
-The page is built as a single-page application with several strategic sections:
-1. **The Hero**: A bold, high-contrast entrance emphasizing the "One Proof" message.
-2. **The "Zero Risk" Pillar**: Communicating the additive nature of the framework—compatible with legacy Jest.
-3. **The Interactive Dialect Studio**: Users can switch between dialects to see how the syntax changes to fit the domain.
-4. **Targeted Value Propositions**: Specific sections for Data Scientists, Architects, and PMs.
-
-## Design Aesthetics
-We opted for a **Deep Dark** theme (`#0a0a0a`) with:
-- **Glassmorphism**: Using `backdrop-blur` and semi-transparent borders to create depth.
-- **Glow Effects**: Radial gradients in the background to prevent a "flat" look.
-- **Typography**: Inter for the body and JetBrains Mono for code snippets, ensuring high legibility.
-
-## How to Test
-1. Make sure you have **Bun** installed.
-2. Enter the directory: `cd landing-page`
-3. Install dependencies: `bun install`
-4. Start development: `bun run dev`
-5. Experience the future of testing.
-
----
-*Created by Antigravity - Advanced Agentic Coding @ Google Deepmind*