@semacode/cli 2.3.1 → 3.0.0

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (250) hide show
  1. package/README.md +265 -217
  2. package/dist/agentContextPack.js +14 -10
  3. package/dist/agentEntryPoints.d.ts +5 -0
  4. package/dist/agentEntryPoints.js +567 -557
  5. package/dist/angular-consumer-standalone.js +1 -1
  6. package/dist/bin.d.ts +6 -0
  7. package/dist/bin.js +130 -0
  8. package/dist/cliArgs.js +4 -4
  9. package/dist/cliControlError.d.ts +12 -0
  10. package/dist/cliControlError.js +47 -0
  11. package/dist/cliGrammar.d.ts +11 -0
  12. package/dist/cliGrammar.js +551 -0
  13. package/dist/cliHelp.d.ts +13 -0
  14. package/dist/cliHelp.js +19 -0
  15. package/dist/cliHelpTexto.d.ts +3 -0
  16. package/dist/cliHelpTexto.js +168 -0
  17. package/dist/cliRuntime.d.ts +2 -0
  18. package/dist/cliRuntime.js +31 -0
  19. package/dist/comandos.js +9 -22
  20. package/dist/contexto.js +5 -5
  21. package/dist/dev/index.d.ts +1 -0
  22. package/dist/dev/index.js +51 -9
  23. package/dist/discovery/catalog.js +3 -3
  24. package/dist/distribuicao/filesystemGlobal.d.ts +63 -0
  25. package/dist/distribuicao/filesystemGlobal.js +701 -0
  26. package/dist/distribuicao/index.d.ts +7 -0
  27. package/dist/distribuicao/index.js +227 -0
  28. package/dist/distribuicao/launcherGlobal.d.ts +53 -0
  29. package/dist/distribuicao/launcherGlobal.js +643 -0
  30. package/dist/distribuicao/launcherWindows.d.ts +28 -0
  31. package/dist/distribuicao/launcherWindows.js +326 -0
  32. package/dist/distribuicao/lockContextGlobal.d.ts +10 -0
  33. package/dist/distribuicao/lockContextGlobal.js +17 -0
  34. package/dist/distribuicao/lockGlobal.d.ts +6 -0
  35. package/dist/distribuicao/lockGlobal.js +520 -0
  36. package/dist/distribuicao/skillGlobal.d.ts +48 -0
  37. package/dist/distribuicao/skillGlobal.js +652 -0
  38. package/dist/distribuicao/skillIntentPolicy.d.ts +21 -0
  39. package/dist/distribuicao/skillIntentPolicy.js +115 -0
  40. package/dist/distribuicao/tipos.d.ts +50 -0
  41. package/dist/distribuicao/tipos.js +10 -0
  42. package/dist/distribuicao/versaoSemantica.d.ts +3 -0
  43. package/dist/distribuicao/versaoSemantica.js +62 -0
  44. package/dist/drift.part01.d.ts +26 -24
  45. package/dist/drift.part01.js +2 -1
  46. package/dist/drift.part04.d.ts +12 -3
  47. package/dist/drift.part04.js +88 -17
  48. package/dist/drift.part05.d.ts +2 -2
  49. package/dist/drift.part05.js +8 -6
  50. package/dist/drift.part06.d.ts +2 -2
  51. package/dist/drift.part06.js +113 -26
  52. package/dist/drift.part07.d.ts +11 -11
  53. package/dist/drift.part07.js +261 -265
  54. package/dist/drift.part08.d.ts +2 -2
  55. package/dist/drift.part08.js +35 -26
  56. package/dist/drift.part11.js +238 -56
  57. package/dist/drift.part12.d.ts +1 -1
  58. package/dist/drift.part12.js +193 -21
  59. package/dist/drift.part13.d.ts +20 -39
  60. package/dist/drift.part13.js +601 -647
  61. package/dist/drift.part14.js +21 -7
  62. package/dist/driftCacheCas.d.ts +43 -0
  63. package/dist/driftCacheCas.js +351 -0
  64. package/dist/driftCacheFilesystem.d.ts +64 -0
  65. package/dist/driftCacheFilesystem.js +313 -0
  66. package/dist/driftCacheModes.d.ts +38 -0
  67. package/dist/driftCacheModes.js +147 -0
  68. package/dist/driftCacheStore.d.ts +80 -0
  69. package/dist/driftCacheStore.js +603 -0
  70. package/dist/driftCatalogo.d.ts +2 -28
  71. package/dist/driftCatalogo.js +143 -284
  72. package/dist/driftEscopo.d.ts +1 -3
  73. package/dist/driftEscopo.js +235 -151
  74. package/dist/driftEscopoReferencias.d.ts +5 -1
  75. package/dist/driftEscopoReferencias.js +375 -28
  76. package/dist/driftOrcamento.d.ts +0 -6
  77. package/dist/driftOrcamento.js +2 -1
  78. package/dist/execucoesExternas.js +19 -5
  79. package/dist/geracaoCore.js +4 -6
  80. package/dist/iaPrompts.d.ts +3 -3
  81. package/dist/iaPrompts.js +312 -313
  82. package/dist/index.d.ts +4 -1
  83. package/dist/index.js +6 -25
  84. package/dist/index.part01.d.ts +20 -28
  85. package/dist/index.part01.js +16 -237
  86. package/dist/index.part02.js +36 -22
  87. package/dist/index.part03.d.ts +24 -2
  88. package/dist/index.part03.js +83 -19
  89. package/dist/index.part04.d.ts +10 -2
  90. package/dist/index.part04.js +142 -120
  91. package/dist/index.part05.js +80 -78
  92. package/dist/index.part06.js +34 -17
  93. package/dist/index.part07.js +7 -3
  94. package/dist/index.part08.d.ts +1 -1
  95. package/dist/index.part08.js +22 -27
  96. package/dist/initCommand.js +5 -1
  97. package/dist/initTemplatesBase.js +81 -79
  98. package/dist/pipelineConteudo/command.d.ts +1 -0
  99. package/dist/pipelineConteudo/command.js +9 -2
  100. package/dist/pipelineConteudo/help.d.ts +2 -0
  101. package/dist/pipelineConteudo/help.js +33 -0
  102. package/dist/profileAuthorCommand.js +3 -7
  103. package/dist/profileCommand.js +3 -7
  104. package/dist/projetoCarregar.js +35 -17
  105. package/dist/projetoCatalogo.d.ts +1 -0
  106. package/dist/projetoCatalogo.js +64 -25
  107. package/dist/projetoOrigens.d.ts +2 -0
  108. package/dist/projetoOrigens.js +65 -9
  109. package/dist/projetoTipos.d.ts +1 -0
  110. package/dist/resultadoCli.d.ts +20 -0
  111. package/dist/resultadoCli.js +57 -0
  112. package/dist/saidaCli.d.ts +35 -0
  113. package/dist/saidaCli.js +118 -0
  114. package/dist/sistemasInterativos/acceptanceEvidence.d.ts +22 -0
  115. package/dist/sistemasInterativos/acceptanceEvidence.js +345 -0
  116. package/dist/sistemasInterativos/engineObservation.d.ts +12 -0
  117. package/dist/sistemasInterativos/engineObservation.js +438 -0
  118. package/dist/sistemasInterativos/jobOrchestration.d.ts +2 -0
  119. package/dist/sistemasInterativos/jobOrchestration.js +204 -0
  120. package/dist/sistemasInterativos/operationPrimitives.d.ts +21 -0
  121. package/dist/sistemasInterativos/operationPrimitives.js +194 -0
  122. package/dist/sistemasInterativos/operations.d.ts +4 -39
  123. package/dist/sistemasInterativos/operations.js +5 -1164
  124. package/dist/skillCommand.d.ts +5 -0
  125. package/dist/skillCommand.js +88 -0
  126. package/docs/README.md +34 -30
  127. package/docs/ai-integration.md +25 -12
  128. package/docs/ai-onboarding.md +37 -18
  129. package/docs/ai-workflow.md +9 -7
  130. package/docs/cli.md +125 -7
  131. package/docs/commands.md +41 -20
  132. package/docs/deploy.md +21 -8
  133. package/docs/descoberta-capacidades.md +106 -106
  134. package/docs/documentation.md +49 -39
  135. package/docs/drift-cache.md +108 -0
  136. package/docs/getting-started.md +43 -18
  137. package/docs/pipeline-conteudo.md +246 -246
  138. package/docs/profiles.md +54 -54
  139. package/docs/repositories.md +19 -2
  140. package/docs/rollback.md +15 -8
  141. package/docs/security.md +25 -3
  142. package/docs/sistemas-interativos.md +379 -374
  143. package/docs/testing.md +139 -40
  144. package/exemplos/pipeline-conteudo/README.md +44 -44
  145. package/exemplos/pipeline-conteudo/alvos.json +23 -23
  146. package/exemplos/pipeline-conteudo/definicao.json +136 -136
  147. package/exemplos/profile_simulation.sema +211 -211
  148. package/exemplos/sistemas-interativos/README.md +100 -100
  149. package/exemplos/sistemas-interativos/advanced/acceptance-context-evaluate-valid.json +5 -5
  150. package/exemplos/sistemas-interativos/advanced/acceptance-lock-valid.json +16 -16
  151. package/exemplos/sistemas-interativos/advanced/asset-provenance-valid.json +32 -32
  152. package/exemplos/sistemas-interativos/advanced/autonomy-repair-valid.json +93 -93
  153. package/exemplos/sistemas-interativos/advanced/control-run-definition-valid.json +78 -78
  154. package/exemplos/sistemas-interativos/advanced/control-run-valid.json +27 -27
  155. package/exemplos/sistemas-interativos/advanced/distributed-workers-valid.json +79 -79
  156. package/exemplos/sistemas-interativos/advanced/editor-state-valid.json +42 -42
  157. package/exemplos/sistemas-interativos/advanced/engine-snapshot-after-valid.json +32 -32
  158. package/exemplos/sistemas-interativos/advanced/engine-snapshot-before-valid.json +23 -23
  159. package/exemplos/sistemas-interativos/advanced/job-orchestration-valid.json +39 -39
  160. package/exemplos/sistemas-interativos/advanced/multimodal-evidence-valid.json +46 -46
  161. package/exemplos/sistemas-interativos/advanced/multiplayer-authority-valid.json +39 -39
  162. package/exemplos/sistemas-interativos/advanced/playtest-fuzz-valid.json +37 -37
  163. package/exemplos/sistemas-interativos/advanced/portability-valid.json +104 -104
  164. package/exemplos/sistemas-interativos/advanced/temporal-evidence-valid.json +27 -27
  165. package/exemplos/sistemas-interativos/advanced/temporal-valid.json +118 -118
  166. package/exemplos/sistemas-interativos/experience-ir-valid.json +459 -459
  167. package/exemplos/sistemas-interativos/game-2d.json +83 -83
  168. package/exemplos/sistemas-interativos/game-3d-human.json +81 -81
  169. package/exemplos/sistemas-interativos/game-pixel-16-bit.json +97 -97
  170. package/exemplos/sistemas-interativos/game-pixel-8-bit.json +94 -94
  171. package/exemplos/sistemas-interativos/game-xr-human.json +80 -80
  172. package/exemplos/sistemas-interativos/hybrid-2-5d.json +108 -108
  173. package/exemplos/sistemas-interativos/protocol-mutating-rollback-valid.json +75 -75
  174. package/exemplos/sistemas-interativos/protocol-read-only-valid.json +58 -58
  175. package/exemplos/sistemas-interativos/simulation-2d-controlled.json +97 -97
  176. package/exemplos/sistemas-interativos/simulation-3d-calibrated-autonomous.json +141 -141
  177. package/exemplos/sistemas-interativos/simulation-headless-autonomous-batch.json +112 -112
  178. package/exemplos/sistemas-interativos/simulation-pixel-16-bit.json +103 -103
  179. package/exemplos/sistemas-interativos/simulation-text-controlled.json +95 -95
  180. package/node_modules/@sema/gerador-cpp/package.json +1 -1
  181. package/node_modules/@sema/gerador-dotnet/package.json +1 -1
  182. package/node_modules/@sema/gerador-lua/dist/index.js +51 -51
  183. package/node_modules/@sema/gerador-php/dist/index.js +113 -113
  184. package/node_modules/@sema/nucleo/dist/semantico/analisador.d.ts +1 -0
  185. package/node_modules/@sema/nucleo/dist/semantico/analisador.js +1 -0
  186. package/package.json +9 -4
  187. package/scripts/postinstall.mjs +148 -0
  188. package/skills/sema/SKILL.md +199 -0
  189. package/skills/sema/agents/openai.yaml +4 -0
  190. package/dist/driftCache.d.ts +0 -49
  191. package/dist/driftCache.js +0 -311
  192. package/dist/driftCacheIncremental.d.ts +0 -98
  193. package/dist/driftCacheIncremental.js +0 -596
  194. package/dist/driftCatalogoPersistente.d.ts +0 -8
  195. package/dist/driftCatalogoPersistente.js +0 -77
  196. package/node_modules/@sema/gerador-cpp/dist/index.js.map +0 -1
  197. package/node_modules/@sema/gerador-css/dist/index.js.map +0 -1
  198. package/node_modules/@sema/gerador-css/dist/index.part01.js.map +0 -1
  199. package/node_modules/@sema/gerador-css/dist/index.part02.js.map +0 -1
  200. package/node_modules/@sema/gerador-dart/dist/index.js.map +0 -1
  201. package/node_modules/@sema/gerador-dotnet/dist/index.js.map +0 -1
  202. package/node_modules/@sema/gerador-html/dist/index.js.map +0 -1
  203. package/node_modules/@sema/gerador-javascript/dist/index.js.map +0 -1
  204. package/node_modules/@sema/gerador-lua/dist/index.js.map +0 -1
  205. package/node_modules/@sema/gerador-php/dist/index.js.map +0 -1
  206. package/node_modules/@sema/gerador-python/dist/index.js.map +0 -1
  207. package/node_modules/@sema/gerador-python/dist/index.part01.js.map +0 -1
  208. package/node_modules/@sema/gerador-python/dist/index.part02.js.map +0 -1
  209. package/node_modules/@sema/gerador-typescript/dist/index.js.map +0 -1
  210. package/node_modules/@sema/gerador-typescript/dist/index.part01.js.map +0 -1
  211. package/node_modules/@sema/gerador-typescript/dist/index.part02.js.map +0 -1
  212. package/node_modules/@sema/gerador-typescript/dist/index.part03.js.map +0 -1
  213. package/node_modules/@sema/nucleo/dist/ast/tipos.js.map +0 -1
  214. package/node_modules/@sema/nucleo/dist/diagnosticos/index.js.map +0 -1
  215. package/node_modules/@sema/nucleo/dist/diagnosticos/melhorador.js.map +0 -1
  216. package/node_modules/@sema/nucleo/dist/diagnosticos/snippets.js.map +0 -1
  217. package/node_modules/@sema/nucleo/dist/formatador/index.js.map +0 -1
  218. package/node_modules/@sema/nucleo/dist/formatador/index.part01.js.map +0 -1
  219. package/node_modules/@sema/nucleo/dist/formatador/index.part02.js.map +0 -1
  220. package/node_modules/@sema/nucleo/dist/index.js.map +0 -1
  221. package/node_modules/@sema/nucleo/dist/ir/conversor.js.map +0 -1
  222. package/node_modules/@sema/nucleo/dist/ir/conversor.part01.js.map +0 -1
  223. package/node_modules/@sema/nucleo/dist/ir/conversor.part02.js.map +0 -1
  224. package/node_modules/@sema/nucleo/dist/ir/conversor.part03.js.map +0 -1
  225. package/node_modules/@sema/nucleo/dist/ir/modelos.js.map +0 -1
  226. package/node_modules/@sema/nucleo/dist/lexer/lexer.js.map +0 -1
  227. package/node_modules/@sema/nucleo/dist/lexer/tokens.js.map +0 -1
  228. package/node_modules/@sema/nucleo/dist/parser/parser.declaracoes.js.map +0 -1
  229. package/node_modules/@sema/nucleo/dist/parser/parser.js.map +0 -1
  230. package/node_modules/@sema/nucleo/dist/parser/parser.modulo.js.map +0 -1
  231. package/node_modules/@sema/nucleo/dist/parser/parser.part01.js.map +0 -1
  232. package/node_modules/@sema/nucleo/dist/parser/parser.part02.js.map +0 -1
  233. package/node_modules/@sema/nucleo/dist/parser/parser.part03.js.map +0 -1
  234. package/node_modules/@sema/nucleo/dist/persistencia/contratos.js.map +0 -1
  235. package/node_modules/@sema/nucleo/dist/semantico/analisador.js.map +0 -1
  236. package/node_modules/@sema/nucleo/dist/semantico/analisador.part01.js.map +0 -1
  237. package/node_modules/@sema/nucleo/dist/semantico/analisador.part02.js.map +0 -1
  238. package/node_modules/@sema/nucleo/dist/semantico/analisador.part03.js.map +0 -1
  239. package/node_modules/@sema/nucleo/dist/semantico/analisador.part04.js.map +0 -1
  240. package/node_modules/@sema/nucleo/dist/semantico/analisador.part05.js.map +0 -1
  241. package/node_modules/@sema/nucleo/dist/semantico/analisador.part06.js.map +0 -1
  242. package/node_modules/@sema/nucleo/dist/semantico/analisador.part07.js.map +0 -1
  243. package/node_modules/@sema/nucleo/dist/semantico/analisador.part08.js.map +0 -1
  244. package/node_modules/@sema/nucleo/dist/semantico/estruturas.js.map +0 -1
  245. package/node_modules/@sema/nucleo/dist/semantico/estruturas.part01.js.map +0 -1
  246. package/node_modules/@sema/nucleo/dist/semantico/estruturas.part02.js.map +0 -1
  247. package/node_modules/@sema/nucleo/dist/semantico/orcamentoSemantico.js.map +0 -1
  248. package/node_modules/@sema/nucleo/dist/semantico/seguranca.js.map +0 -1
  249. package/node_modules/@sema/nucleo/dist/util/arquivos.js.map +0 -1
  250. package/node_modules/@sema/padroes/dist/index.js.map +0 -1
@@ -120,43 +120,43 @@ function coletarTiposExternos(modulo) {
120
120
  function gerarClasseDados(nome, campos) {
121
121
  const classe = paraPascalCase(nome);
122
122
  if (campos.length === 0) {
123
- return `final class ${classe}
124
- {
125
- public function __construct()
126
- {
127
- }
128
- }
123
+ return `final class ${classe}
124
+ {
125
+ public function __construct()
126
+ {
127
+ }
128
+ }
129
129
  `;
130
130
  }
131
131
  const parametros = ordenarCamposConstrutor(campos).map((campo) => {
132
132
  const tipo = tipoParametroPhp(campo);
133
133
  const padrao = campo.modificadores.includes("required") ? "" : ` = ${valorPadraoPhp(campo)}`;
134
- return ` /** @var ${tipoDocPhp(campo)} */
134
+ return ` /** @var ${tipoDocPhp(campo)} */
135
135
  public ${tipo} $${campo.nome}${padrao}`;
136
136
  }).join(",\n");
137
- return `final class ${classe}
138
- {
139
- public function __construct(
140
- ${parametros}
141
- ) {
142
- }
143
- }
137
+ return `final class ${classe}
138
+ {
139
+ public function __construct(
140
+ ${parametros}
141
+ ) {
142
+ }
143
+ }
144
144
  `;
145
145
  }
146
146
  function gerarEnum(enumeracao) {
147
147
  const constantes = enumeracao.valores.map((valor) => ` public const ${paraConstantePhp(valor)} = ${literalPhp(valor)};`).join("\n");
148
- return `final class ${paraPascalCase(enumeracao.nome)}
149
- {
150
- ${constantes || " public const VAZIO = \"\";"}
151
- }
148
+ return `final class ${paraPascalCase(enumeracao.nome)}
149
+ {
150
+ ${constantes || " public const VAZIO = \"\";"}
151
+ }
152
152
  `;
153
153
  }
154
154
  function gerarLiteralCamposPhp(campos) {
155
155
  if (campos.length === 0) {
156
156
  return "[]";
157
157
  }
158
- return `[
159
- ${campos.map((campo) => ` ["nome" => ${literalPhp(campo.nome)}, "tipo" => ${literalPhp(campo.tipo)}, "obrigatorio" => ${campo.modificadores.includes("required") ? "true" : "false"}],`).join("\n")}
158
+ return `[
159
+ ${campos.map((campo) => ` ["nome" => ${literalPhp(campo.nome)}, "tipo" => ${literalPhp(campo.tipo)}, "obrigatorio" => ${campo.modificadores.includes("required") ? "true" : "false"}],`).join("\n")}
160
160
  ]`;
161
161
  }
162
162
  function gerarArrayStringsPhp(valores) {
@@ -170,8 +170,8 @@ function gerarMapaErrosPhp(erros) {
170
170
  if (entradas.length === 0) {
171
171
  return "[]";
172
172
  }
173
- return `[
174
- ${entradas.map(([codigo, mensagem]) => ` ${literalPhp(codigo)} => ${literalPhp(mensagem)},`).join("\n")}
173
+ return `[
174
+ ${entradas.map(([codigo, mensagem]) => ` ${literalPhp(codigo)} => ${literalPhp(mensagem)},`).join("\n")}
175
175
  ]`;
176
176
  }
177
177
  function resolverReferenciaPhp(referencia, variavel) {
@@ -248,15 +248,15 @@ function gerarValidacoes(task) {
248
248
  const linhas = [
249
249
  ...task.input
250
250
  .filter((campo) => campo.modificadores.includes("required"))
251
- .map((campo) => ` if ($entrada->${campo.nome} === null) {
252
- throw new \\InvalidArgumentException(${literalPhp(`Campo obrigatorio ausente: ${campo.nome}`)});
251
+ .map((campo) => ` if ($entrada->${campo.nome} === null) {
252
+ throw new \\InvalidArgumentException(${literalPhp(`Campo obrigatorio ausente: ${campo.nome}`)});
253
253
  }`),
254
254
  ...task.regrasEstruturadas.map((regra) => {
255
255
  if (regra.tipo === "predicado") {
256
256
  return ` // Predicado declarado em Sema: ${regra.textoOriginal}`;
257
257
  }
258
- return ` if (!(${resolverExpressaoPhp(regra, camposEntrada, "entrada")})) {
259
- throw new \\InvalidArgumentException(${literalPhp(`Regra violada: ${regra.textoOriginal}`)});
258
+ return ` if (!(${resolverExpressaoPhp(regra, camposEntrada, "entrada")})) {
259
+ throw new \\InvalidArgumentException(${literalPhp(`Regra violada: ${regra.textoOriginal}`)});
260
260
  }`;
261
261
  }),
262
262
  ...task.rules
@@ -276,8 +276,8 @@ function gerarGarantias(task) {
276
276
  if (!garantiaComparacaoExecutavel(garantia, camposSaidaMap)) {
277
277
  return ` // Garantia condicional declarada em Sema: ${garantia.textoOriginal}`;
278
278
  }
279
- return ` if (!(${resolverExpressaoPhp(garantia, camposSaida, "saida")})) {
280
- throw new \\RuntimeException(${literalPhp(`Garantia violada: ${garantia.textoOriginal}`)});
279
+ return ` if (!(${resolverExpressaoPhp(garantia, camposSaida, "saida")})) {
280
+ throw new \\RuntimeException(${literalPhp(`Garantia violada: ${garantia.textoOriginal}`)});
281
281
  }`;
282
282
  }),
283
283
  ...task.guarantees
@@ -300,33 +300,33 @@ function classeErroTask(task, codigo) {
300
300
  return `${paraPascalCase(task.nome)}${paraPascalCase(codigo)}Erro`;
301
301
  }
302
302
  function gerarClassesErro(task) {
303
- return [...coletarErrosTask(task).entries()].map(([codigo, mensagem]) => `final class ${classeErroTask(task, codigo)} extends \\RuntimeException
304
- {
305
- public string $codigo = ${literalPhp(codigo)};
306
-
307
- public function __construct()
308
- {
309
- parent::__construct(${literalPhp(mensagem)});
310
- }
311
- }
303
+ return [...coletarErrosTask(task).entries()].map(([codigo, mensagem]) => `final class ${classeErroTask(task, codigo)} extends \\RuntimeException
304
+ {
305
+ public string $codigo = ${literalPhp(codigo)};
306
+
307
+ public function __construct()
308
+ {
309
+ parent::__construct(${literalPhp(mensagem)});
310
+ }
311
+ }
312
312
  `).join("\n");
313
313
  }
314
314
  function gerarMetadadosTask(task) {
315
315
  const nome = normalizarNomeParaSimbolo(task.nome);
316
316
  const efeitos = task.efeitosEstruturados.map((efeito) => `${efeito.categoria}:${efeito.alvo}${efeito.detalhe ? `:${efeito.detalhe}` : ""}`);
317
317
  const impl = task.implementacoesExternas.map((item) => `${item.origem}:${item.caminho}[${item.statusImpl ?? "nao_verificado"}]`);
318
- return `function contrato_${nome}(): array
319
- {
320
- return [
321
- "nome" => ${literalPhp(task.nome)},
322
- "input" => ${gerarLiteralCamposPhp(task.input)},
323
- "output" => ${gerarLiteralCamposPhp(task.output)},
324
- "effects" => ${gerarArrayStringsPhp(efeitos)},
325
- "impl" => ${gerarArrayStringsPhp(impl)},
326
- "errors" => ${gerarMapaErrosPhp(Object.fromEntries(coletarErrosTask(task)))},
327
- "guarantees" => ${gerarArrayStringsPhp(task.guarantees)},
328
- ];
329
- }
318
+ return `function contrato_${nome}(): array
319
+ {
320
+ return [
321
+ "nome" => ${literalPhp(task.nome)},
322
+ "input" => ${gerarLiteralCamposPhp(task.input)},
323
+ "output" => ${gerarLiteralCamposPhp(task.output)},
324
+ "effects" => ${gerarArrayStringsPhp(efeitos)},
325
+ "impl" => ${gerarArrayStringsPhp(impl)},
326
+ "errors" => ${gerarMapaErrosPhp(Object.fromEntries(coletarErrosTask(task)))},
327
+ "guarantees" => ${gerarArrayStringsPhp(task.guarantees)},
328
+ ];
329
+ }
330
330
  `;
331
331
  }
332
332
  function gerarPreparacaoSaida(task) {
@@ -348,37 +348,37 @@ function gerarPreparacaoSaida(task) {
348
348
  function gerarTask(task) {
349
349
  const nome = normalizarNomeParaSimbolo(task.nome);
350
350
  const erros = [...coletarErrosTask(task).keys()];
351
- const blocosErroContexto = erros.map((codigo) => ` if (($contexto["erro_esperado"] ?? null) === ${literalPhp(codigo)}) {
352
- throw new ${classeErroTask(task, codigo)}();
351
+ const blocosErroContexto = erros.map((codigo) => ` if (($contexto["erro_esperado"] ?? null) === ${literalPhp(codigo)}) {
352
+ throw new ${classeErroTask(task, codigo)}();
353
353
  }`).join("\n");
354
354
  const efeitos = task.efeitosEstruturados.length > 0
355
355
  ? task.efeitosEstruturados.map((efeito) => ` // Efeito estruturado: categoria=${efeito.categoria} alvo=${efeito.alvo}${efeito.detalhe ? ` detalhe=${efeito.detalhe}` : ""}${efeito.criticidade ? ` criticidade=${efeito.criticidade}` : ""}`).join("\n")
356
356
  : task.effects.map((efeito) => ` // Efeito declarado: ${efeito}`).join("\n") || " // Nenhum efeito declarado.";
357
- return `
358
- ${gerarClasseDados(`${task.nome}_entrada`, task.input)}
359
- ${gerarClasseDados(`${task.nome}_saida`, task.output)}
360
- ${gerarClassesErro(task)}
361
- ${gerarMetadadosTask(task)}
362
-
363
- function validar_${nome}(${paraPascalCase(`${task.nome}_entrada`)} $entrada): void
364
- {
365
- ${gerarValidacoes(task)}
366
- }
367
-
368
- function verificar_garantias_${nome}(${paraPascalCase(`${task.nome}_saida`)} $saida): void
369
- {
370
- ${gerarGarantias(task)}
371
- }
372
-
373
- function executar_${nome}(${paraPascalCase(`${task.nome}_entrada`)} $entrada, array $contexto = []): ${paraPascalCase(`${task.nome}_saida`)}
374
- {
375
- ${blocosErroContexto ? `${blocosErroContexto}\n` : ""} validar_${nome}($entrada);
376
- ${task.stateContract ? ` // Vinculo de estado: ${task.stateContract.nomeEstado ?? "nao_definido"}\n // Transicoes declaradas: ${task.stateContract.transicoes.map((transicao) => `${transicao.origem}->${transicao.destino}`).join(", ") || "nenhuma"}\n` : ""}${task.implementacoesExternas.map((impl) => ` // Implementacao externa: origem=${impl.origem} caminho=${impl.caminho} status=${impl.statusImpl ?? "nao_verificado"}`).join("\n")}
377
- ${efeitos}
378
- ${gerarPreparacaoSaida(task)}
379
- verificar_garantias_${nome}($saida);
380
- return $saida;
381
- }
357
+ return `
358
+ ${gerarClasseDados(`${task.nome}_entrada`, task.input)}
359
+ ${gerarClasseDados(`${task.nome}_saida`, task.output)}
360
+ ${gerarClassesErro(task)}
361
+ ${gerarMetadadosTask(task)}
362
+
363
+ function validar_${nome}(${paraPascalCase(`${task.nome}_entrada`)} $entrada): void
364
+ {
365
+ ${gerarValidacoes(task)}
366
+ }
367
+
368
+ function verificar_garantias_${nome}(${paraPascalCase(`${task.nome}_saida`)} $saida): void
369
+ {
370
+ ${gerarGarantias(task)}
371
+ }
372
+
373
+ function executar_${nome}(${paraPascalCase(`${task.nome}_entrada`)} $entrada, array $contexto = []): ${paraPascalCase(`${task.nome}_saida`)}
374
+ {
375
+ ${blocosErroContexto ? `${blocosErroContexto}\n` : ""} validar_${nome}($entrada);
376
+ ${task.stateContract ? ` // Vinculo de estado: ${task.stateContract.nomeEstado ?? "nao_definido"}\n // Transicoes declaradas: ${task.stateContract.transicoes.map((transicao) => `${transicao.origem}->${transicao.destino}`).join(", ") || "nenhuma"}\n` : ""}${task.implementacoesExternas.map((impl) => ` // Implementacao externa: origem=${impl.origem} caminho=${impl.caminho} status=${impl.statusImpl ?? "nao_verificado"}`).join("\n")}
377
+ ${efeitos}
378
+ ${gerarPreparacaoSaida(task)}
379
+ verificar_garantias_${nome}($saida);
380
+ return $saida;
381
+ }
382
382
  `;
383
383
  }
384
384
  function formatarLiteralTestePhp(valor, tipoDeclarado) {
@@ -453,45 +453,45 @@ function gerarTestesPhp(modulo, arquivoModulo) {
453
453
  const entrada = gerarInstanciaEntradaTeste(task, caso.given);
454
454
  const tipoErro = caso.error?.campos.find((campo) => campo.nome === "tipo")?.tipo ?? caso.error?.campos[0]?.tipo;
455
455
  if (tipoErro) {
456
- return `function ${nomeTeste}(): void
457
- {
458
- try {
459
- executar_${normalizarNomeParaSimbolo(task.nome)}(${entrada}, ["erro_esperado" => ${literalPhp(tipoErro)}]);
460
- } catch (${classeErroTask(task, tipoErro)} $erro) {
461
- assert_sema($erro->codigo === ${literalPhp(tipoErro)}, "codigo de erro inesperado");
462
- return;
463
- }
464
- throw new \\RuntimeException(${literalPhp(`Caso ${caso.nome} deveria falhar com ${tipoErro}`)});
456
+ return `function ${nomeTeste}(): void
457
+ {
458
+ try {
459
+ executar_${normalizarNomeParaSimbolo(task.nome)}(${entrada}, ["erro_esperado" => ${literalPhp(tipoErro)}]);
460
+ } catch (${classeErroTask(task, tipoErro)} $erro) {
461
+ assert_sema($erro->codigo === ${literalPhp(tipoErro)}, "codigo de erro inesperado");
462
+ return;
463
+ }
464
+ throw new \\RuntimeException(${literalPhp(`Caso ${caso.nome} deveria falhar com ${tipoErro}`)});
465
465
  }`;
466
466
  }
467
- return `function ${nomeTeste}(): void
468
- {
469
- $resultado = executar_${normalizarNomeParaSimbolo(task.nome)}(${entrada});
470
- assert_sema($resultado !== null, ${literalPhp(`Caso ${caso.nome} nao retornou resultado`)});
467
+ return `function ${nomeTeste}(): void
468
+ {
469
+ $resultado = executar_${normalizarNomeParaSimbolo(task.nome)}(${entrada});
470
+ assert_sema($resultado !== null, ${literalPhp(`Caso ${caso.nome} nao retornou resultado`)});
471
471
  }`;
472
472
  });
473
473
  const lista = testes.map(({ task, caso, indice }) => ` [${literalPhp(caso.nome)}, "test_${normalizarNomeParaSimbolo(task.nome)}_${indice + 1}"],`).join("\n");
474
- return `${gerarCabecalhoSemaPhp(modulo, "teste")}require_once __DIR__ . "/${path.posix.basename(arquivoModulo)}";
475
-
476
- function assert_sema(bool $condicao, string $mensagem): void
477
- {
478
- if (!$condicao) {
479
- throw new \\RuntimeException($mensagem);
480
- }
481
- }
482
-
483
- ${funcoes.join("\n\n")}
484
-
485
- $testes = [
486
- ${lista}
487
- ];
488
-
489
- foreach ($testes as [$nome, $funcao]) {
490
- fwrite(STDOUT, "test " . $nome . PHP_EOL);
491
- $funcao();
492
- }
493
-
494
- fwrite(STDOUT, "ok " . count($testes) . " testes" . PHP_EOL);
474
+ return `${gerarCabecalhoSemaPhp(modulo, "teste")}require_once __DIR__ . "/${path.posix.basename(arquivoModulo)}";
475
+
476
+ function assert_sema(bool $condicao, string $mensagem): void
477
+ {
478
+ if (!$condicao) {
479
+ throw new \\RuntimeException($mensagem);
480
+ }
481
+ }
482
+
483
+ ${funcoes.join("\n\n")}
484
+
485
+ $testes = [
486
+ ${lista}
487
+ ];
488
+
489
+ foreach ($testes as [$nome, $funcao]) {
490
+ fwrite(STDOUT, "test " . $nome . PHP_EOL);
491
+ $funcao();
492
+ }
493
+
494
+ fwrite(STDOUT, "ok " . count($testes) . " testes" . PHP_EOL);
495
495
  `;
496
496
  }
497
497
  function gerarCabecalhoSemaPhp(modulo, tipo = "contrato") {
@@ -516,9 +516,9 @@ export function gerarPhp(modulo) {
516
516
  const nomeBase = normalizarNomeModulo(modulo.nome).replace(/\./g, "_");
517
517
  const estrutura = descreverEstruturaModulo(modulo.nome);
518
518
  const interops = modulo.interoperabilidades.map((interop) => `// Interop externo ${interop.origem}: ${interop.caminho}`).join("\n");
519
- const tiposExternos = coletarTiposExternos(modulo).map((tipo) => `final class ${paraPascalCase(tipo)}
520
- {
521
- }
519
+ const tiposExternos = coletarTiposExternos(modulo).map((tipo) => `final class ${paraPascalCase(tipo)}
520
+ {
521
+ }
522
522
  `).join("\n");
523
523
  const tipos = modulo.types.map((tipo) => gerarClasseDados(tipo.nome, tipo.definicao.campos)).join("\n");
524
524
  const entidades = modulo.entities.map((entity) => gerarClasseDados(entity.nome, entity.campos)).join("\n");
@@ -1,3 +1,4 @@
1
1
  export { SimboloSemantico, CampoSemantico, ErroSemanticoTask, ResumoTaskSemantico, InteropSemantico, ImplementacaoTaskSemantica, ContextoSemantico, ResultadoSemantico, OpcoesAnaliseSemantica } from "./analisador.part01.js";
2
2
  export { criarContextoLocal, validarTesteSemanticoForte, emitirDiagnosticosContratoFrouxo } from "./analisador.part07.js";
3
+ export { listarCandidatosUseRelativo } from "./analisador.part04.js";
3
4
  export { analisarSemantica } from "./analisador.part08.js";
@@ -1,3 +1,4 @@
1
1
  export { criarContextoLocal, validarTesteSemanticoForte, emitirDiagnosticosContratoFrouxo } from "./analisador.part07.js";
2
+ export { listarCandidatosUseRelativo } from "./analisador.part04.js";
2
3
  export { analisarSemantica } from "./analisador.part08.js";
3
4
  //# sourceMappingURL=analisador.js.map
package/package.json CHANGED
@@ -1,6 +1,6 @@
1
1
  {
2
2
  "name": "@semacode/cli",
3
- "version": "2.3.1",
3
+ "version": "3.0.0",
4
4
  "description": "Codex-native local semantic governance CLI for contracts, drift, impact, documentation gates, and code generation.",
5
5
  "type": "module",
6
6
  "icon": "logo.png",
@@ -34,7 +34,7 @@
34
34
  "access": "public"
35
35
  },
36
36
  "bin": {
37
- "sema": "dist/index.js"
37
+ "sema": "dist/bin.js"
38
38
  },
39
39
  "main": "dist/index.js",
40
40
  "types": "dist/index.d.ts",
@@ -45,10 +45,15 @@
45
45
  "default": "./dist/index.js"
46
46
  }
47
47
  },
48
+ "scripts": {
49
+ "postinstall": "node scripts/postinstall.mjs"
50
+ },
48
51
  "files": [
49
52
  "dist",
50
53
  "docs",
51
54
  "exemplos",
55
+ "skills",
56
+ "scripts/postinstall.mjs",
52
57
  "logo.png",
53
58
  "README.md",
54
59
  "LICENSE"
@@ -63,8 +68,8 @@
63
68
  "@sema/gerador-html": "1.5.53",
64
69
  "@sema/gerador-css": "1.5.53",
65
70
  "@sema/gerador-php": "1.5.55",
66
- "@sema/gerador-dotnet": "2.3.1",
67
- "@sema/gerador-cpp": "2.3.1",
71
+ "@sema/gerador-dotnet": "2.1.0",
72
+ "@sema/gerador-cpp": "2.1.0",
68
73
  "@sema/padroes": "1.5.53",
69
74
  "typescript": "^5.8.3"
70
75
  },
@@ -0,0 +1,148 @@
1
+ #!/usr/bin/env node
2
+ // SEMA-GOVERNED: sema.produto.fronteira_repositorios.empacotamento, sema.produto.fronteira_repositorios.empacotamento.postinstall
3
+ // Consulte contratos/sema/fronteira_repositorios_empacotamento_postinstall.sema antes de editar.
4
+ // Descricao: sincroniza launcher e skill globais somente no lifecycle npm --global.
5
+ import os from "node:os";
6
+ import path from "node:path";
7
+ import { fileURLToPath } from "node:url";
8
+
9
+ const raizPacotePadrao = path.resolve(fileURLToPath(new URL("../", import.meta.url)));
10
+ const moduloDistribuicao = new URL("../dist/distribuicao/index.js", import.meta.url);
11
+ const ERROS_PUBLICOS = {
12
+ FALHA_CARREGAR_DISTRIBUICAO: "não foi possível carregar a distribuição global Sema",
13
+ API_DISTRIBUICAO_INVALIDA: "a API compilada de distribuição global Sema é inválida",
14
+ DIRETORIO_USUARIO_INVALIDO: "o diretório de usuário da distribuição global Sema é inválido",
15
+ RAIZ_PACOTE_INVALIDA: "a raiz do pacote da distribuição global Sema é inválida",
16
+ FALHA_SINCRONIZAR_DISTRIBUICAO: "não foi possível sincronizar a distribuição global Sema",
17
+ DISTRIBUICAO_NAO_PRONTA: "a distribuição global Sema não atingiu o estado READY",
18
+ };
19
+
20
+ function erroPublico(codigo) {
21
+ return new Error(`${codigo}: ${ERROS_PUBLICOS[codigo]}.`);
22
+ }
23
+
24
+ export function mensagemErroPostinstallPublica(erro) {
25
+ const mensagem = erro instanceof Error ? erro.message : "";
26
+ return Object.keys(ERROS_PUBLICOS).some((codigo) => mensagem.startsWith(`${codigo}:`))
27
+ ? mensagem
28
+ : "FALHA_POSTINSTALL_GLOBAL: a distribuição global Sema não foi concluída.";
29
+ }
30
+
31
+ export function instalacaoGlobalSolicitada(ambiente = process.env) {
32
+ const valor = ambiente.npm_config_global ?? ambiente.NPM_CONFIG_GLOBAL;
33
+ return /^(?:1|true)$/iu.test(String(valor ?? "").trim());
34
+ }
35
+
36
+ function caminhoAbsolutoOuErro(valor) {
37
+ const candidato = valor?.trim();
38
+ if (!candidato) return undefined;
39
+ if (!path.isAbsolute(candidato)) {
40
+ throw erroPublico("DIRETORIO_USUARIO_INVALIDO");
41
+ }
42
+ return path.resolve(candidato);
43
+ }
44
+
45
+ export function resolverDiretorioUsuario(ambiente, plataforma) {
46
+ if (plataforma === "win32") {
47
+ const perfil = caminhoAbsolutoOuErro(ambiente.USERPROFILE);
48
+ if (perfil) {
49
+ return perfil;
50
+ }
51
+ const unidade = ambiente.HOMEDRIVE?.trim();
52
+ const caminho = ambiente.HOMEPATH?.trim();
53
+ if (unidade && caminho) {
54
+ return caminhoAbsolutoOuErro(`${unidade}${caminho}`);
55
+ }
56
+ } else {
57
+ const diretorio = caminhoAbsolutoOuErro(ambiente.HOME);
58
+ if (diretorio) {
59
+ return diretorio;
60
+ }
61
+ }
62
+ const fallback = caminhoAbsolutoOuErro(os.homedir());
63
+ if (!fallback) throw erroPublico("DIRETORIO_USUARIO_INVALIDO");
64
+ return fallback;
65
+ }
66
+
67
+ function resolverRaizPacote(valor) {
68
+ if (typeof valor !== "string" || !valor.trim() || !path.isAbsolute(valor)) {
69
+ throw erroPublico("RAIZ_PACOTE_INVALIDA");
70
+ }
71
+ return path.resolve(valor);
72
+ }
73
+
74
+ export async function executarPostinstall({
75
+ ambiente = process.env,
76
+ plataforma = process.platform,
77
+ executavelNode = process.execPath,
78
+ raizPacote = raizPacotePadrao,
79
+ importar = (referencia) => import(referencia),
80
+ } = {}) {
81
+ if (!instalacaoGlobalSolicitada(ambiente)) {
82
+ return {
83
+ estado: "no_op",
84
+ motivo: "install_scope_local",
85
+ instalacao_local_no_op: true,
86
+ distribuicao_pronta: false,
87
+ alterado: false,
88
+ };
89
+ }
90
+
91
+ const diretorioUsuario = resolverDiretorioUsuario(ambiente, plataforma);
92
+ const raizPacoteAbsoluta = resolverRaizPacote(raizPacote);
93
+
94
+ let api;
95
+ try {
96
+ api = await importar(moduloDistribuicao.href);
97
+ } catch {
98
+ throw erroPublico("FALHA_CARREGAR_DISTRIBUICAO");
99
+ }
100
+ if (typeof api.sincronizarDistribuicaoGlobal !== "function") {
101
+ throw erroPublico("API_DISTRIBUICAO_INVALIDA");
102
+ }
103
+
104
+ let resultado;
105
+ try {
106
+ resultado = await api.sincronizarDistribuicaoGlobal({
107
+ plataforma,
108
+ diretorioUsuario,
109
+ executavelNode,
110
+ raizPacote: raizPacoteAbsoluta,
111
+ });
112
+ } catch {
113
+ throw erroPublico("FALHA_SINCRONIZAR_DISTRIBUICAO");
114
+ }
115
+ if (
116
+ resultado?.estado !== "READY" ||
117
+ resultado.launcher?.estado !== "READY" ||
118
+ resultado.skill?.estado !== "READY" ||
119
+ typeof resultado.alterado !== "boolean"
120
+ ) {
121
+ throw erroPublico("DISTRIBUICAO_NAO_PRONTA");
122
+ }
123
+ return {
124
+ estado: "READY",
125
+ motivo: "distribution_ready",
126
+ instalacao_local_no_op: false,
127
+ distribuicao_pronta: true,
128
+ alterado: resultado.alterado,
129
+ };
130
+ }
131
+
132
+ function executadoDiretamente() {
133
+ return Boolean(process.argv[1]) && path.resolve(process.argv[1]) === fileURLToPath(import.meta.url);
134
+ }
135
+
136
+ if (executadoDiretamente()) {
137
+ executarPostinstall()
138
+ .then((resultado) => {
139
+ if (resultado?.estado !== "no_op") {
140
+ console.log("Sema global launcher and AI skill synchronized.");
141
+ }
142
+ })
143
+ .catch((erro) => {
144
+ console.error("Failed to synchronize the global Sema distribution.");
145
+ console.error(mensagemErroPostinstallPublica(erro));
146
+ process.exitCode = 1;
147
+ });
148
+ }