@semacode/cli 2.3.1 → 3.5.0

package/exemplos/sistemas-interativos/simulation-pixel-16-bit.json

@@ -1,103 +1,103 @@
-{
-  "schemaVersion": "1.0",
-  "systemId": "example.simulation.pixel-16-bit.uncontrolled",
-  "version": "1.0.0",
-  "kind": "SIMULATION",
-  "spatialModel": "TWO_D",
-  "renderMode": "VISUAL",
-  "visualProfile": "PIXEL_16_BIT",
-  "fidelity": "SYSTEMIC",
-  "controlModes": [
-    "UNCONTROLLED"
-  ],
-  "timeModel": "EVENT_DRIVEN",
-  "determinism": "BEST_EFFORT",
-  "capabilities": [
-    "interactive.control.uncontrolled",
-    "interactive.determinism.best_effort",
-    "interactive.fidelity.systemic",
-    "interactive.kind.simulation",
-    "interactive.render.visual",
-    "interactive.spatial.two_d",
-    "interactive.state.model",
-    "interactive.time.event_driven",
-    "interactive.visual.pixel_16_bit",
-    "interactive.world.model",
-    "simulation.hazard.model",
-    "simulation.model",
-    "simulation.outputs.observe",
-    "simulation.recovery.plan",
-    "simulation.scenario.define",
-    "simulation.stop.validate"
-  ],
-  "pipelines": [
-    "simulation.scenario",
-    "simulation.safety"
-  ],
-  "adapterTargets": [
-    "engine.tic80",
-    "simulation.runner.generic",
-    "telemetry.trace.local",
-    "validator.replay.local"
-  ],
-  "world": {
-    "identity": "uncontrolled cellular ecosystem visualisation",
-    "state": {
-      "generation": 0,
-      "population": 64
-    },
-    "time": {
-      "advance": "next scheduled ecosystem event"
-    },
-    "events": [
-      "organism.birth",
-      "organism.consume",
-      "organism.expire"
-    ],
-    "initialConditions": {
-      "population": 64,
-      "resourceCells": 256
-    },
-    "grid": "160x90 logical cells rendered as 2x2 pixels",
-    "model": "event-driven predator-resource cellular system",
-    "assumptions": [
-      "all interactions are local to neighbouring cells"
-    ],
-    "boundaryConditions": {
-      "topology": "toroidal",
-      "maximumPopulation": 2048
-    },
-    "outputs": [
-      "populationBySpecies",
-      "resourceCoverage",
-      "extinctionEvents"
-    ],
-    "validation": {
-      "method": "check event and population invariants independently of pixel rendering",
-      "invariants": ["population remains non-negative", "events reference existing cells"]
-    },
-    "stopCriteria": [
-      "generation reaches 10000",
-      "all species become extinct"
-    ],
-    "safetyConstraints": [
-      "population allocation never exceeds 2048 entities",
-      "event queue never exceeds 65536 entries"
-    ]
-  },
-  "budgets": {
-    "paletteColors": 256,
-    "baseResolution": "320x180",
-    "tileSize": "2x2",
-    "spriteSize": "2x2 to 8x8",
-    "memoryBudgetBytes": 524288,
-    "audioProfile": "optional four-voice event sonification"
-  },
-  "acceptance": {
-    "invariants": [
-      "population counts remain non-negative",
-      "every event references an existing cell"
-    ],
-    "visualisation": "pixel styling does not alter the model state or event order"
-  }
-}
+{
+  "schemaVersion": "1.0",
+  "systemId": "example.simulation.pixel-16-bit.uncontrolled",
+  "version": "1.0.0",
+  "kind": "SIMULATION",
+  "spatialModel": "TWO_D",
+  "renderMode": "VISUAL",
+  "visualProfile": "PIXEL_16_BIT",
+  "fidelity": "SYSTEMIC",
+  "controlModes": [
+    "UNCONTROLLED"
+  ],
+  "timeModel": "EVENT_DRIVEN",
+  "determinism": "BEST_EFFORT",
+  "capabilities": [
+    "interactive.control.uncontrolled",
+    "interactive.determinism.best_effort",
+    "interactive.fidelity.systemic",
+    "interactive.kind.simulation",
+    "interactive.render.visual",
+    "interactive.spatial.two_d",
+    "interactive.state.model",
+    "interactive.time.event_driven",
+    "interactive.visual.pixel_16_bit",
+    "interactive.world.model",
+    "simulation.hazard.model",
+    "simulation.model",
+    "simulation.outputs.observe",
+    "simulation.recovery.plan",
+    "simulation.scenario.define",
+    "simulation.stop.validate"
+  ],
+  "pipelines": [
+    "simulation.scenario",
+    "simulation.safety"
+  ],
+  "adapterTargets": [
+    "engine.tic80",
+    "simulation.runner.generic",
+    "telemetry.trace.local",
+    "validator.replay.local"
+  ],
+  "world": {
+    "identity": "uncontrolled cellular ecosystem visualisation",
+    "state": {
+      "generation": 0,
+      "population": 64
+    },
+    "time": {
+      "advance": "next scheduled ecosystem event"
+    },
+    "events": [
+      "organism.birth",
+      "organism.consume",
+      "organism.expire"
+    ],
+    "initialConditions": {
+      "population": 64,
+      "resourceCells": 256
+    },
+    "grid": "160x90 logical cells rendered as 2x2 pixels",
+    "model": "event-driven predator-resource cellular system",
+    "assumptions": [
+      "all interactions are local to neighbouring cells"
+    ],
+    "boundaryConditions": {
+      "topology": "toroidal",
+      "maximumPopulation": 2048
+    },
+    "outputs": [
+      "populationBySpecies",
+      "resourceCoverage",
+      "extinctionEvents"
+    ],
+    "validation": {
+      "method": "check event and population invariants independently of pixel rendering",
+      "invariants": ["population remains non-negative", "events reference existing cells"]
+    },
+    "stopCriteria": [
+      "generation reaches 10000",
+      "all species become extinct"
+    ],
+    "safetyConstraints": [
+      "population allocation never exceeds 2048 entities",
+      "event queue never exceeds 65536 entries"
+    ]
+  },
+  "budgets": {
+    "paletteColors": 256,
+    "baseResolution": "320x180",
+    "tileSize": "2x2",
+    "spriteSize": "2x2 to 8x8",
+    "memoryBudgetBytes": 524288,
+    "audioProfile": "optional four-voice event sonification"
+  },
+  "acceptance": {
+    "invariants": [
+      "population counts remain non-negative",
+      "every event references an existing cell"
+    ],
+    "visualisation": "pixel styling does not alter the model state or event order"
+  }
+}

package/exemplos/sistemas-interativos/simulation-text-controlled.json

@@ -1,95 +1,95 @@
-{
-  "schemaVersion": "1.0",
-  "systemId": "example.simulation.text.controlled",
-  "version": "1.0.0",
-  "kind": "SIMULATION",
-  "spatialModel": "NON_SPATIAL",
-  "renderMode": "TEXT",
-  "visualProfile": "NONE",
-  "fidelity": "SYSTEMIC",
-  "controlModes": [
-    "SCRIPTED"
-  ],
-  "timeModel": "TURN_BASED",
-  "determinism": "STRICT",
-  "capabilities": [
-    "interactive.control.scripted",
-    "interactive.determinism.strict",
-    "interactive.event.log",
-    "interactive.fidelity.systemic",
-    "interactive.kind.simulation",
-    "interactive.render.text",
-    "interactive.replay.compare",
-    "interactive.seed.bind",
-    "interactive.snapshot.capture",
-    "interactive.spatial.non_spatial",
-    "interactive.state.model",
-    "interactive.time.turn_based",
-    "interactive.visual.none",
-    "interactive.world.model",
-    "simulation.invariants.validate",
-    "simulation.model",
-    "simulation.outputs.compare",
-    "simulation.outputs.observe",
-    "simulation.scenario.define",
-    "simulation.validity.report"
-  ],
-  "pipelines": [
-    "simulation.scenario",
-    "simulation.validate",
-    "interactive.replay"
-  ],
-  "adapterTargets": [
-    "runtime.text.generic",
-    "simulation.runner.generic",
-    "telemetry.trace.local",
-    "validator.replay.local"
-  ],
-  "world": {
-    "identity": "turn-based queueing simulation with a text surface",
-    "state": {
-      "turn": 0,
-      "queueLength": 0
-    },
-    "time": {
-      "turnDurationMinutes": 1
-    },
-    "events": [
-      "request.arrive",
-      "request.complete",
-      "capacity.change"
-    ],
-    "initialConditions": {
-      "servers": 4,
-      "queueLength": 0
-    },
-    "model": "finite-capacity discrete queue",
-    "assumptions": [
-      "one turn represents one minute"
-    ],
-    "boundaryConditions": {
-      "maximumQueueLength": 1000,
-      "turns": 1440
-    },
-    "outputs": [
-      "meanWaitTurns",
-      "maximumQueueLength",
-      "completedRequests"
-    ],
-    "validation": {
-      "method": "compare seeded turns with queue invariants and expected outputs",
-      "invariants": ["queue length remains non-negative", "completed requests do not exceed arrivals"]
-    },
-    "seed": 2026071905,
-    "snapshot": "queue, servers, counters, and random stream",
-    "replay": "ordered scripted arrivals and capacity events",
-    "step": "one declared turn"
-  },
-  "acceptance": {
-    "textSurface": "every turn can be inspected without a graphical renderer",
-    "invariants": [
-      "queue length is never negative",
-      "completed requests never exceed arrivals"
-    ]
-  }
-}
+{
+  "schemaVersion": "1.0",
+  "systemId": "example.simulation.text.controlled",
+  "version": "1.0.0",
+  "kind": "SIMULATION",
+  "spatialModel": "NON_SPATIAL",
+  "renderMode": "TEXT",
+  "visualProfile": "NONE",
+  "fidelity": "SYSTEMIC",
+  "controlModes": [
+    "SCRIPTED"
+  ],
+  "timeModel": "TURN_BASED",
+  "determinism": "STRICT",
+  "capabilities": [
+    "interactive.control.scripted",
+    "interactive.determinism.strict",
+    "interactive.event.log",
+    "interactive.fidelity.systemic",
+    "interactive.kind.simulation",
+    "interactive.render.text",
+    "interactive.replay.compare",
+    "interactive.seed.bind",
+    "interactive.snapshot.capture",
+    "interactive.spatial.non_spatial",
+    "interactive.state.model",
+    "interactive.time.turn_based",
+    "interactive.visual.none",
+    "interactive.world.model",
+    "simulation.invariants.validate",
+    "simulation.model",
+    "simulation.outputs.compare",
+    "simulation.outputs.observe",
+    "simulation.scenario.define",
+    "simulation.validity.report"
+  ],
+  "pipelines": [
+    "simulation.scenario",
+    "simulation.validate",
+    "interactive.replay"
+  ],
+  "adapterTargets": [
+    "runtime.text.generic",
+    "simulation.runner.generic",
+    "telemetry.trace.local",
+    "validator.replay.local"
+  ],
+  "world": {
+    "identity": "turn-based queueing simulation with a text surface",
+    "state": {
+      "turn": 0,
+      "queueLength": 0
+    },
+    "time": {
+      "turnDurationMinutes": 1
+    },
+    "events": [
+      "request.arrive",
+      "request.complete",
+      "capacity.change"
+    ],
+    "initialConditions": {
+      "servers": 4,
+      "queueLength": 0
+    },
+    "model": "finite-capacity discrete queue",
+    "assumptions": [
+      "one turn represents one minute"
+    ],
+    "boundaryConditions": {
+      "maximumQueueLength": 1000,
+      "turns": 1440
+    },
+    "outputs": [
+      "meanWaitTurns",
+      "maximumQueueLength",
+      "completedRequests"
+    ],
+    "validation": {
+      "method": "compare seeded turns with queue invariants and expected outputs",
+      "invariants": ["queue length remains non-negative", "completed requests do not exceed arrivals"]
+    },
+    "seed": 2026071905,
+    "snapshot": "queue, servers, counters, and random stream",
+    "replay": "ordered scripted arrivals and capacity events",
+    "step": "one declared turn"
+  },
+  "acceptance": {
+    "textSurface": "every turn can be inspected without a graphical renderer",
+    "invariants": [
+      "queue length is never negative",
+      "completed requests never exceed arrivals"
+    ]
+  }
+}

package/node_modules/@sema/gerador-cpp/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@sema/gerador-cpp",
-  "version": "2.3.1",
+  "version": "2.1.0",
   "type": "module",
   "main": "dist/index.js",
   "types": "dist/index.d.ts"

package/node_modules/@sema/gerador-dotnet/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@sema/gerador-dotnet",
-  "version": "2.3.1",
+  "version": "2.1.0",
   "type": "module",
   "main": "dist/index.js",
   "types": "dist/index.d.ts"

package/node_modules/@sema/gerador-lua/dist/index.js

@@ -292,32 +292,32 @@ function gerarTestesLua(modulo, arquivoModulo) {
         const tiposDeclarados = gerarTabelaTiposDeclarados(task);
         const tipoErro = caso.error?.campos.find((campo) => campo.nome === "tipo")?.tipo ?? caso.error?.campos[0]?.tipo;
         if (tipoErro) {
-            return `local function ${nomeTeste}()
-  local entrada = ${converterBlocoTesteParaLua(caso.given, tiposDeclarados)}
-  local ok, erro = pcall(function()
-    modulo.executar_${normalizarNomeParaSimbolo(task.nome)}(entrada)
-  end)
-  if ok or not string.find(tostring(erro), ${JSON.stringify(tipoErro)}, 1, true) then
-    error("Caso ${caso.nome} nao produziu o erro esperado ${tipoErro}.")
-  end
+            return `local function ${nomeTeste}()
+  local entrada = ${converterBlocoTesteParaLua(caso.given, tiposDeclarados)}
+  local ok, erro = pcall(function()
+    modulo.executar_${normalizarNomeParaSimbolo(task.nome)}(entrada)
+  end)
+  if ok or not string.find(tostring(erro), ${JSON.stringify(tipoErro)}, 1, true) then
+    error("Caso ${caso.nome} nao produziu o erro esperado ${tipoErro}.")
+  end
 end`;
         }
         const falhaSemSaida = caso.expect.campos.some((campo) => campo.nome === "sucesso" && campo.tipo === "falso")
             && caso.expect.campos.every((campo) => campo.nome === "sucesso")
             && caso.expect.linhas.length === 0
             && caso.expect.blocos.length === 0;
-        return `local function ${nomeTeste}()
-  local entrada = ${converterBlocoTesteParaLua(caso.given, tiposDeclarados)}
-  local saida = modulo.executar_${normalizarNomeParaSimbolo(task.nome)}(entrada)
-  if ${falhaSemSaida ? "saida ~= nil" : "saida == nil"} then
-    error("Caso ${caso.nome} nao respeitou expectativa basica de execucao.")
-  end
+        return `local function ${nomeTeste}()
+  local entrada = ${converterBlocoTesteParaLua(caso.given, tiposDeclarados)}
+  local saida = modulo.executar_${normalizarNomeParaSimbolo(task.nome)}(entrada)
+  if ${falhaSemSaida ? "saida ~= nil" : "saida == nil"} then
+    error("Caso ${caso.nome} nao respeitou expectativa basica de execucao.")
+  end
 end`;
     });
     const lista = testes.map(({ task, caso, indice }) => `{ nome = ${JSON.stringify(caso.nome)}, fn = test_${normalizarNomeParaSimbolo(task.nome)}_${indice + 1} }`).join(",\n  ");
-    return `${gerarCabecalhoSemaLua(modulo, "teste")}local origem = debug.getinfo(1, "S").source:sub(2)
-local base = origem:match("^(.*[/\\\\])") or "./"
-local modulo = assert(loadfile(base .. ${JSON.stringify(nomeArquivo)}))()
+    return `${gerarCabecalhoSemaLua(modulo, "teste")}local origem = debug.getinfo(1, "S").source:sub(2)
+local base = origem:match("^(.*[/\\\\])") or "./"
+local modulo = assert(loadfile(base .. ${JSON.stringify(nomeArquivo)}))()
 
 ${funcoes.join("\n\n")}
 
@@ -376,20 +376,20 @@ function gerarFuncoesTask(task) {
                 : valorPadraoLua(campo);
             return `      ${campo.nome} = ${valor},`;
         }).join("\n");
-        return `  if igual_profundo(entrada, ${converterBlocoTesteParaLua(caso.given, tiposDeclarados)}) then
-    return {
-${saida}
-    }
+        return `  if igual_profundo(entrada, ${converterBlocoTesteParaLua(caso.given, tiposDeclarados)}) then
+    return {
+${saida}
+    }
   end`;
     })
         .join("\n");
-    return `${gerarMetadadosTask(task)}
+    return `${gerarMetadadosTask(task)}
 
 ${garantias}
 
-function M.executar_${simbolo}(entrada)
-  entrada = entrada or {}
-${cenariosErro ? `${cenariosErro}\n` : ""}${cenariosFalhaEstruturada ? `${cenariosFalhaEstruturada}\n` : ""}${validacoes ? `${validacoes}\n` : ""}${preparacaoSaida}
+function M.executar_${simbolo}(entrada)
+  entrada = entrada or {}
+${cenariosErro ? `${cenariosErro}\n` : ""}${cenariosFalhaEstruturada ? `${cenariosFalhaEstruturada}\n` : ""}${validacoes ? `${validacoes}\n` : ""}${preparacaoSaida}
   verificar_garantias_${simbolo}(saida)
   return saida
 end`;
@@ -405,39 +405,39 @@ export function gerarLua(modulo) {
     const tasks = modulo.tasks.map((task) => gerarFuncoesTask(task)).join("\n\n");
     const flows = modulo.flows.map((flow) => `-- Flow ${flow.nome}: etapas=${flow.etapasEstruturadas.length} tasks=${flow.tasksReferenciadas.join(", ") || "nenhuma"}`).join("\n");
     const routes = modulo.routes.map((route) => `-- Route ${route.nome}: metodo=${route.metodo ?? "nao_definido"} caminho=${route.caminho ?? "nao_definido"} task=${route.task ?? "nao_definida"}`).join("\n");
-    const codigo = `${gerarCabecalhoSemaLua(modulo)}
-${interops ? `${interops}\n` : ""}${tiposExternos ? `${tiposExternos}\n\n` : ""}local M = {}
+    const codigo = `${gerarCabecalhoSemaLua(modulo)}
+${interops ? `${interops}\n` : ""}${tiposExternos ? `${tiposExternos}\n\n` : ""}local M = {}
 
-local function contem(lista, valor)
+local function contem(lista, valor)
   for _, item in ipairs(lista) do
     if item == valor then
       return true
     end
   end
   return false
-end
-
-local function igual_profundo(esquerda, direita)
-  if esquerda == direita then
-    return true
-  end
-  if type(esquerda) ~= "table" or type(direita) ~= "table" then
-    return false
-  end
-  for chave, valor in pairs(esquerda) do
-    if not igual_profundo(valor, direita[chave]) then
-      return false
-    end
-  end
-  for chave, _ in pairs(direita) do
-    if esquerda[chave] == nil then
-      return false
-    end
-  end
-  return true
-end
-
-${tipos ? `${tipos}\n\n` : ""}${entidades ? `${entidades}\n\n` : ""}${enums ? `${enums}\n\n` : ""}${tasks}${flows ? `\n\n${flows}` : ""}${routes ? `\n${routes}` : ""}
+end
+
+local function igual_profundo(esquerda, direita)
+  if esquerda == direita then
+    return true
+  end
+  if type(esquerda) ~= "table" or type(direita) ~= "table" then
+    return false
+  end
+  for chave, valor in pairs(esquerda) do
+    if not igual_profundo(valor, direita[chave]) then
+      return false
+    end
+  end
+  for chave, _ in pairs(direita) do
+    if esquerda[chave] == nil then
+      return false
+    end
+  end
+  return true
+end
+
+${tipos ? `${tipos}\n\n` : ""}${entidades ? `${entidades}\n\n` : ""}${enums ? `${enums}\n\n` : ""}${tasks}${flows ? `\n\n${flows}` : ""}${routes ? `\n${routes}` : ""}
 
 return M
 `;