@semacode/cli 2.0.1 → 2.1.0

package/dist/initTemplatesBase.js

@@ -8,54 +8,54 @@ export function arquivosBaseIniciar() {
     return [
         {
             caminhoRelativo: "contratos/pedidos.sema",
-            conteudo: `module app.pedidos {
-  entity Pedido {
-    fields {
-      id: Id
-      status: Texto
-      total: Decimal
-    }
-  }
-
-  task criar_pedido {
-    input {
-      cliente_id: Id required
-      total: Decimal required
-    }
-    output {
-      pedido_id: Id
-      status: Texto
-    }
-    rules {
-      total > 0
-    }
-    effects {
-      persistencia Pedido criticidade=alta
-      auditoria pedidos
-    }
-    guarantees {
-      pedido_id existe
-      status existe
-    }
-    tests {
-      caso "pedido valido" {
-        given {
-          cliente_id: "cli-1"
-          total: 10
-        }
-        expect {
-          sucesso: verdadeiro
-        }
-      }
-    }
-  }
-
-  route criar_pedido_publico {
-    metodo: POST
-    caminho: /pedidos
-    task: criar_pedido
-  }
-}
+            conteudo: `module app.pedidos {
+  entity Pedido {
+    fields {
+      id: Id
+      status: Texto
+      total: Decimal
+    }
+  }
+
+  task criar_pedido {
+    input {
+      cliente_id: Id required
+      total: Decimal required
+    }
+    output {
+      pedido_id: Id
+      status: Texto
+    }
+    rules {
+      total > 0
+    }
+    effects {
+      persistencia Pedido criticidade=alta
+      auditoria pedidos
+    }
+    guarantees {
+      pedido_id existe
+      status existe
+    }
+    tests {
+      caso "pedido valido" {
+        given {
+          cliente_id: "cli-1"
+          total: 10
+        }
+        expect {
+          sucesso: verdadeiro
+        }
+      }
+    }
+  }
+
+  route criar_pedido_publico {
+    metodo: POST
+    caminho: /pedidos
+    task: criar_pedido
+  }
+}
 `,
         },
     ];
@@ -64,38 +64,38 @@ function arquivosApoioIaIniciar() {
     return [
         {
             caminhoRelativo: "README.md",
-            conteudo: `# Projeto Sema
-
-Este projeto foi inicializado com Sema.
-
-## Entrada oficial do Codex
-
-Antes de alterar codigo, contrato ou documentacao:
-
-1. leia \`AGENTS.md\`;
-2. rode \`sema --version\`;
-3. rode \`sema resumo\`;
-4. rode \`sema docs-impacto --intencao "<acao>" --json\`;
-5. leia \`docs/commands.md\` antes de escolher comando ou interpretar \`--saida\`;
-6. use \`exemplos/\` e \`docs/syntax.md\` antes de criar ou corrigir \`.sema\`.
-
-## Estrutura criada
-
-- \`contratos/\`: contratos semanticamente governados.
-- \`AGENTS.md\`: entrypoint oficial do Codex.
-- \`exemplos/\`: exemplos oficiais da DSL Sema.
-- \`docs/commands.md\`: catalogo de comandos, gates e regra de \`--saida\`.
-- \`docs/syntax.md\`: referencia curta para escrever \`.sema\`.
-- \`docs/ai-workflow.md\`: fluxo minimo para agentes.
-- \`SEMA_BOOT.md\`, \`SEMA_SMALL_MODEL.md\`, \`AGENT_CONTEXT_PACK.json\` e \`SEMA_INDEX.json\`: contexto IA-first.
-
-## Geracao
-
-O template base ja declara alvo JavaScript. Exemplo:
-
-\`\`\`bash
-sema compilar contratos/pedidos.sema --alvo javascript --saida ./generated/javascript
-\`\`\`
+            conteudo: `# Projeto Sema
+
+Este projeto foi inicializado com Sema.
+
+## Entrada oficial do Codex
+
+Antes de alterar codigo, contrato ou documentacao:
+
+1. leia \`AGENTS.md\`;
+2. rode \`sema --version\`;
+3. rode \`sema resumo\`;
+4. rode \`sema docs-impacto --intencao "<acao>" --json\`;
+5. leia \`docs/commands.md\` antes de escolher comando ou interpretar \`--saida\`;
+6. use \`exemplos/\` e \`docs/syntax.md\` antes de criar ou corrigir \`.sema\`.
+
+## Estrutura criada
+
+- \`contratos/\`: contratos semanticamente governados.
+- \`AGENTS.md\`: entrypoint oficial do Codex.
+- \`exemplos/\`: exemplos oficiais da DSL Sema.
+- \`docs/commands.md\`: catalogo de comandos, gates e regra de \`--saida\`.
+- \`docs/syntax.md\`: referencia curta para escrever \`.sema\`.
+- \`docs/ai-workflow.md\`: fluxo minimo para agentes.
+- \`SEMA_BOOT.md\`, \`SEMA_SMALL_MODEL.md\`, \`AGENT_CONTEXT_PACK.json\` e \`SEMA_INDEX.json\`: contexto IA-first.
+
+## Geracao
+
+O template base ja declara alvo JavaScript. Exemplo:
+
+\`\`\`bash
+sema compilar contratos/pedidos.sema --alvo javascript --saida ./generated/javascript
+\`\`\`
 `,
         },
     ];
@@ -116,7 +116,7 @@ export function arquivosTemplateIniciar(template) {
         ?? [
             {
                 caminhoRelativo: "sema.config.json",
-                conteudo: "{\n  \"origens\": [\"./contratos\"],\n  \"saida\": \"./generated\",\n  \"alvos\": [\"typescript\", \"javascript\", \"python\", \"php\", \"dart\", \"lua\", \"html\", \"css\"],\n  \"alvoPadrao\": \"typescript\",\n  \"estruturaSaida\": \"modulos\",\n  \"framework\": \"base\",\n  \"modoEstrito\": true,\n  \"diretoriosSaidaPorAlvo\": {\n    \"typescript\": \"./generated/typescript\",\n    \"javascript\": \"./generated/javascript\",\n    \"python\": \"./generated/python\",\n    \"php\": \"./generated/php\",\n    \"dart\": \"./generated/dart\",\n    \"lua\": \"./generated/lua\",\n    \"html\": \"./generated/html\",\n    \"css\": \"./generated/css\"\n  },\n  \"convencoesGeracaoPorProjeto\": \"base\"\n}\n",
+                conteudo: "{\n  \"origens\": [\"./contratos\"],\n  \"saida\": \"./generated\",\n  \"alvos\": [\"typescript\", \"javascript\", \"python\", \"php\", \"dart\", \"lua\", \"html\", \"css\"],\n  \"alvoPadrao\": \"typescript\",\n  \"estruturaSaida\": \"modulos\",\n  \"framework\": \"base\",\n  \"modoEstrito\": true,\n  \"diretoriosSaidaPorAlvo\": {\n    \"typescript\": \"./generated/typescript\",\n    \"javascript\": \"./generated/javascript\",\n    \"python\": \"./generated/python\",\n    \"php\": \"./generated/php\",\n    \"dart\": \"./generated/dart\",\n    \"lua\": \"./generated/lua\",\n    \"html\": \"./generated/html\",\n    \"css\": \"./generated/css\",\n    \"dotnet\": \"./generated/dotnet\",\n    \"cpp\": \"./generated/cpp\"\n  },\n  \"convencoesGeracaoPorProjeto\": \"base\"\n}\n",
             },
             ...arquivosBase,
         ];

package/dist/initTemplatesFlutter.js

@@ -8,171 +8,171 @@ export function arquivosInitTemplatesFlutter(template, arquivosBase) {
         arquivos = [
             {
                 caminhoRelativo: "sema.config.json",
-                conteudo: `{
-    "origens": ["./contratos"],
-    "saida": "./generated",
-    "alvos": ["dart"],
-    "alvoPadrao": "dart",
-    "estruturaSaida": "modulos",
-    "framework": "base",
-    "modoEstrito": true,
-    "diretoriosCodigo": ["./lib"],
-    "fontesLegado": ["flutter-consumer", "dart"],
-    "diretoriosSaidaPorAlvo": {
-      "dart": "./generated/dart"
-    },
-    "convencoesGeracaoPorProjeto": "base"
-  }
+                conteudo: `{
+    "origens": ["./contratos"],
+    "saida": "./generated",
+    "alvos": ["dart"],
+    "alvoPadrao": "dart",
+    "estruturaSaida": "modulos",
+    "framework": "base",
+    "modoEstrito": true,
+    "diretoriosCodigo": ["./lib"],
+    "fontesLegado": ["flutter-consumer", "dart"],
+    "diretoriosSaidaPorAlvo": {
+      "dart": "./generated/dart"
+    },
+    "convencoesGeracaoPorProjeto": "base"
+  }
   `,
             },
             {
                 caminhoRelativo: "pubspec.yaml",
-                conteudo: `name: sema_flutter_consumer
-  description: Starter Flutter consumer IA-first com Sema
-  publish_to: "none"
-
-  environment:
-    sdk: ">=3.3.0 <4.0.0"
-
-  dependencies:
-    flutter:
-      sdk: flutter
-    go_router: ^14.0.0
+                conteudo: `name: sema_flutter_consumer
+  description: Starter Flutter consumer IA-first com Sema
+  publish_to: "none"
+
+  environment:
+    sdk: ">=3.3.0 <4.0.0"
+
+  dependencies:
+    flutter:
+      sdk: flutter
+    go_router: ^14.0.0
   `,
             },
             {
                 caminhoRelativo: "contratos/showroom_consumer.sema",
-                conteudo: `module showroom.consumer {
-    task fetch_showroom_ranking {
-      input {
-      }
-      output {
-        resultado: Json
-      }
-      impl {
-        dart: lib.sema_consumer_bridge.semaFetchShowroomRanking
-      }
-      vinculos {
-        arquivo: "lib/sema_consumer_bridge.dart"
-        simbolo: lib.sema_consumer_bridge.semaFetchShowroomRanking
-        superficie: "/ranking"
-        arquivo: "lib/router.dart"
-        arquivo: "lib/screens/ranking_screen.dart"
-      }
-      guarantees {
-        resultado existe
-      }
-    }
-  }
+                conteudo: `module showroom.consumer {
+    task fetch_showroom_ranking {
+      input {
+      }
+      output {
+        resultado: Json
+      }
+      impl {
+        dart: lib.sema_consumer_bridge.semaFetchShowroomRanking
+      }
+      vinculos {
+        arquivo: "lib/sema_consumer_bridge.dart"
+        simbolo: lib.sema_consumer_bridge.semaFetchShowroomRanking
+        superficie: "/ranking"
+        arquivo: "lib/router.dart"
+        arquivo: "lib/screens/ranking_screen.dart"
+      }
+      guarantees {
+        resultado existe
+      }
+    }
+  }
   `,
             },
             {
                 caminhoRelativo: "lib/sema_consumer_bridge.dart",
-                conteudo: `Future<Map<String, dynamic>> semaFetchShowroomRanking() async {
-    return {
-      "ranking": [
-        {"clube": "Tigres do Norte", "pontos": 33},
-        {"clube": "Porto Azul", "pontos": 31},
-        {"clube": "Galo de Ouro", "pontos": 28},
-      ],
-    };
-  }
+                conteudo: `Future<Map<String, dynamic>> semaFetchShowroomRanking() async {
+    return {
+      "ranking": [
+        {"clube": "Tigres do Norte", "pontos": 33},
+        {"clube": "Porto Azul", "pontos": 31},
+        {"clube": "Galo de Ouro", "pontos": 28},
+      ],
+    };
+  }
   `,
             },
             {
                 caminhoRelativo: "lib/router.dart",
-                conteudo: `import "package:go_router/go_router.dart";
-  import "package:flutter/widgets.dart";
-  import "screens/ranking_screen.dart";
-
-  final appRouter = GoRouter(
-    routes: [
-      GoRoute(
-        path: "/ranking",
-        builder: (BuildContext context, GoRouterState state) => const RankingScreen(),
-      ),
-    ],
-  );
+                conteudo: `import "package:go_router/go_router.dart";
+  import "package:flutter/widgets.dart";
+  import "screens/ranking_screen.dart";
+
+  final appRouter = GoRouter(
+    routes: [
+      GoRoute(
+        path: "/ranking",
+        builder: (BuildContext context, GoRouterState state) => const RankingScreen(),
+      ),
+    ],
+  );
   `,
             },
             {
                 caminhoRelativo: "lib/screens/ranking_screen.dart",
-                conteudo: `import "package:flutter/widgets.dart";
-  import "../sema_consumer_bridge.dart";
-
-  class RankingScreen extends StatefulWidget {
-    const RankingScreen({super.key});
-
-    @override
-    State<RankingScreen> createState() => _RankingScreenState();
-  }
-
-  class _RankingScreenState extends State<RankingScreen> {
-    List<Map<String, dynamic>> ranking = const [];
-
-    @override
-    void initState() {
-      super.initState();
-      semaFetchShowroomRanking().then((payload) {
-        final itens = (payload["ranking"] as List<dynamic>? ?? const [])
-            .whereType<Map<String, dynamic>>()
-            .toList();
-        if (!mounted) return;
-        setState(() {
-          ranking = itens;
-        });
-      });
-    }
-
-    @override
-    Widget build(BuildContext context) {
-      return ListView(
-        children: [
-          const Padding(
-            padding: EdgeInsets.all(16),
-            child: Text("Ranking showroom"),
-          ),
-          ...ranking.map((item) => Padding(
-            padding: const EdgeInsets.symmetric(horizontal: 16, vertical: 8),
-            child: Text("\${item["clube"]} - \${item["pontos"]} pts"),
-          )),
-        ],
-      );
-    }
-  }
+                conteudo: `import "package:flutter/widgets.dart";
+  import "../sema_consumer_bridge.dart";
+
+  class RankingScreen extends StatefulWidget {
+    const RankingScreen({super.key});
+
+    @override
+    State<RankingScreen> createState() => _RankingScreenState();
+  }
+
+  class _RankingScreenState extends State<RankingScreen> {
+    List<Map<String, dynamic>> ranking = const [];
+
+    @override
+    void initState() {
+      super.initState();
+      semaFetchShowroomRanking().then((payload) {
+        final itens = (payload["ranking"] as List<dynamic>? ?? const [])
+            .whereType<Map<String, dynamic>>()
+            .toList();
+        if (!mounted) return;
+        setState(() {
+          ranking = itens;
+        });
+      });
+    }
+
+    @override
+    Widget build(BuildContext context) {
+      return ListView(
+        children: [
+          const Padding(
+            padding: EdgeInsets.all(16),
+            child: Text("Ranking showroom"),
+          ),
+          ...ranking.map((item) => Padding(
+            padding: const EdgeInsets.symmetric(horizontal: 16, vertical: 8),
+            child: Text("\${item["clube"]} - \${item["pontos"]} pts"),
+          )),
+        ],
+      );
+    }
+  }
   `,
             },
             {
                 caminhoRelativo: "lib/main.dart",
-                conteudo: `import "package:flutter/material.dart";
-  import "router.dart";
-
-  void main() {
-    runApp(const ShowroomApp());
-  }
-
-  class ShowroomApp extends StatelessWidget {
-    const ShowroomApp({super.key});
-
-    @override
-    Widget build(BuildContext context) {
-      return MaterialApp.router(
-        routerConfig: appRouter,
-      );
-    }
-  }
+                conteudo: `import "package:flutter/material.dart";
+  import "router.dart";
+
+  void main() {
+    runApp(const ShowroomApp());
+  }
+
+  class ShowroomApp extends StatelessWidget {
+    const ShowroomApp({super.key});
+
+    @override
+    Widget build(BuildContext context) {
+      return MaterialApp.router(
+        routerConfig: appRouter,
+      );
+    }
+  }
   `,
             },
             {
                 caminhoRelativo: "README.md",
-                conteudo: `# Starter Flutter Consumer + Sema
-
-  - Contratos em \`contratos/\`
-  - Bridge consumer canonico em \`lib/sema_consumer_bridge.dart\`
-  - Rotas consumer em \`lib/router.dart\`
-  - Superficies consumer em \`lib/screens/\`
-  - O slice oficial desta fase e \`consumer bridge + router/screen surfaces\`
-  - \`drift\` valida \`impl\`, \`vinculos\`, bridge e superficies, sem prometer visual diff
+                conteudo: `# Starter Flutter Consumer + Sema
+
+  - Contratos em \`contratos/\`
+  - Bridge consumer canonico em \`lib/sema_consumer_bridge.dart\`
+  - Rotas consumer em \`lib/router.dart\`
+  - Superficies consumer em \`lib/screens/\`
+  - O slice oficial desta fase e \`consumer bridge + router/screen surfaces\`
+  - \`drift\` valida \`impl\`, \`vinculos\`, bridge e superficies, sem prometer visual diff
   `,
             },
         ];