@semacode/cli 2.2.0 → 2.3.1

package/exemplos/sistemas-interativos/simulation-3d-calibrated-autonomous.json

@@ -0,0 +1,141 @@
+{
+  "schemaVersion": "1.0",
+  "systemId": "example.simulation.3d.calibrated-autonomous",
+  "version": "1.0.0",
+  "kind": "SIMULATION",
+  "spatialModel": "THREE_D",
+  "renderMode": "VISUAL",
+  "visualProfile": "REALISTIC",
+  "fidelity": "CALIBRATED",
+  "controlModes": [
+    "AUTONOMOUS"
+  ],
+  "timeModel": "FIXED_STEP",
+  "determinism": "STRICT",
+  "capabilities": [
+    "interactive.control.autonomous",
+    "interactive.determinism.strict",
+    "interactive.event.log",
+    "interactive.fidelity.calibrated",
+    "interactive.kind.simulation",
+    "interactive.render.visual",
+    "interactive.replay.compare",
+    "interactive.seed.bind",
+    "interactive.snapshot.capture",
+    "interactive.spatial.three_d",
+    "interactive.state.model",
+    "interactive.time.fixed_step",
+    "interactive.visual.realistic",
+    "interactive.world.model",
+    "simulation.calibrate",
+    "simulation.hazard.model",
+    "simulation.invariants.validate",
+    "simulation.model",
+    "simulation.outputs.compare",
+    "simulation.outputs.observe",
+    "simulation.recovery.plan",
+    "simulation.reference.bind",
+    "simulation.scenario.define",
+    "simulation.stop.validate",
+    "simulation.telemetry.observe",
+    "simulation.uncertainty.measure",
+    "simulation.validity.report"
+  ],
+  "pipelines": [
+    "simulation.scenario",
+    "simulation.calibrate",
+    "simulation.validate",
+    "simulation.safety",
+    "interactive.replay"
+  ],
+  "adapterTargets": [
+    "engine.godot",
+    "telemetry.trace.local",
+    "validator.replay.local"
+  ],
+  "world": {
+    "identity": "autonomous warehouse vehicle calibration scene",
+    "state": {
+      "vehicle": "idle",
+      "payloadKg": 250
+    },
+    "time": {
+      "fixedStepSeconds": 0.01
+    },
+    "events": [
+      "route.assigned",
+      "obstacle.detected",
+      "emergency.stop"
+    ],
+    "initialConditions": {
+      "vehiclePose": [
+        0,
+        0,
+        0
+      ],
+      "batteryPercent": 100
+    },
+    "units": "SI",
+    "scale": "1 unit = 1 metre",
+    "coordinateSystem": "right-handed Z-up",
+    "model": "rigid-body vehicle with measured acceleration and braking curves",
+    "assumptions": [
+      "floor friction remains inside the calibrated interval",
+      "sensor timestamps are monotonic"
+    ],
+    "boundaryConditions": {
+      "maximumSpeedMetresPerSecond": 2.5,
+      "workspace": "40m x 20m x 6m"
+    },
+    "outputs": [
+      "stoppingDistanceMetres",
+      "routeTimeSeconds",
+      "minimumObstacleClearanceMetres"
+    ],
+    "validation": {
+      "method": "compare calibrated outputs with the reference dataset and tolerances",
+      "invariants": ["speed remains bounded", "obstacle clearance remains positive"]
+    },
+    "seed": 2026071901,
+    "snapshot": "complete physical and controller state at tick zero",
+    "replay": "ordered sensor frames and controller decisions",
+    "step": "fixed 0.01 second integration step",
+    "stopCriteria": [
+      "scenario duration reaches 300 seconds",
+      "emergency stop is raised"
+    ],
+    "safetyConstraints": [
+      "speed never exceeds 2.5 metres per second",
+      "obstacle clearance never falls below 0.25 metres"
+    ]
+  },
+  "acceptance": {
+    "reference": {
+      "datasetId": "fixture.warehouse-braking-v1",
+      "provenance": "declared external measurement fixture"
+    },
+    "calibration": {
+      "method": "bounded least squares",
+      "parameters": [
+        "rollingResistance",
+        "brakeResponseDelay"
+      ]
+    },
+    "tolerances": {
+      "stoppingDistanceMetres": 0.05,
+      "routeTimePercent": 2
+    },
+    "uncertainty": {
+      "method": "bootstrap confidence interval",
+      "confidence": 0.95
+    },
+    "telemetry": {
+      "sampleRateHz": 100,
+      "requiredSignals": [
+        "pose",
+        "velocity",
+        "brakeCommand"
+      ]
+    }
+  }
+}

package/exemplos/sistemas-interativos/simulation-headless-autonomous-batch.json

@@ -0,0 +1,112 @@
+{
+  "schemaVersion": "1.0",
+  "systemId": "example.simulation.headless.autonomous-batch",
+  "version": "1.0.0",
+  "kind": "SIMULATION",
+  "spatialModel": "NON_SPATIAL",
+  "renderMode": "HEADLESS",
+  "visualProfile": "NONE",
+  "fidelity": "SYSTEMIC",
+  "controlModes": [
+    "AUTONOMOUS"
+  ],
+  "timeModel": "BATCH",
+  "determinism": "STRICT",
+  "capabilities": [
+    "interactive.control.autonomous",
+    "interactive.determinism.strict",
+    "interactive.event.log",
+    "interactive.fidelity.systemic",
+    "interactive.kind.simulation",
+    "interactive.render.headless",
+    "interactive.replay.compare",
+    "interactive.seed.bind",
+    "interactive.snapshot.capture",
+    "interactive.spatial.non_spatial",
+    "interactive.state.model",
+    "interactive.time.batch",
+    "interactive.visual.none",
+    "interactive.world.model",
+    "simulation.batch.aggregate",
+    "simulation.batch.plan",
+    "simulation.batch.seed",
+    "simulation.hazard.model",
+    "simulation.invariants.validate",
+    "simulation.model",
+    "simulation.outputs.compare",
+    "simulation.outputs.observe",
+    "simulation.recovery.plan",
+    "simulation.scenario.define",
+    "simulation.stop.validate",
+    "simulation.validity.report"
+  ],
+  "pipelines": [
+    "simulation.scenario",
+    "simulation.batch_run",
+    "simulation.validate",
+    "simulation.safety",
+    "interactive.replay"
+  ],
+  "adapterTargets": [
+    "simulation.runner.generic",
+    "telemetry.trace.local",
+    "validator.replay.local"
+  ],
+  "world": {
+    "identity": "autonomous headless supply-network batch",
+    "state": {
+      "scenarioIndex": 0,
+      "completedRuns": 0
+    },
+    "time": {
+      "horizonDays": 365,
+      "batchRuns": 1000
+    },
+    "events": [
+      "shipment.dispatch",
+      "shipment.arrive",
+      "facility.disrupt"
+    ],
+    "initialConditions": {
+      "inventoryDataset": "fixture.inventory-baseline-v1",
+      "scenarioMatrix": "fixture.disruption-matrix-v1"
+    },
+    "model": "discrete-event multi-echelon supply network",
+    "assumptions": [
+      "lead-time distributions are stationary within a scenario"
+    ],
+    "boundaryConditions": {
+      "maximumFacilities": 500,
+      "horizonDays": 365
+    },
+    "outputs": [
+      "serviceLevel",
+      "stockoutDays",
+      "totalCost"
+    ],
+    "validation": {
+      "method": "validate every batch member before deterministic aggregation",
+      "invariants": ["inventory is finite", "completed runs do not exceed matrix size"]
+    },
+    "seed": 2026071903,
+    "snapshot": "model state and random stream before each batch member",
+    "replay": "scenario parameters, seed, and ordered discrete events",
+    "step": "advance to the next discrete event",
+    "stopCriteria": [
+      "all 1000 batch members complete",
+      "a declared invariant fails"
+    ],
+    "safetyConstraints": [
+      "a run cannot allocate more than 500 facilities",
+      "a failed invariant terminates only its current batch member"
+    ]
+  },
+  "acceptance": {
+    "determinism": "each scenario and seed pair reproduces its result digest",
+    "aggregation": "aggregate output reports sample count and failed-run count",
+    "invariants": [
+      "inventory is never NaN",
+      "completed run count never exceeds the matrix size"
+    ]
+  }
+}

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

@@ -0,0 +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"
+  }
+}

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

@@ -0,0 +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"
+    ]
+  }
+}

package/exemplos/testes_embutidos.sema

@@ -42,4 +42,4 @@ module exemplos.testes.embutidos {
       }
     }
   }
-}
+}

package/exemplos/tratamento_erro.sema

@@ -154,4 +154,4 @@ module exemplos.tratamento.erro {
     etapa registrar_falha usa registrar_auditoria_falha com chave = chave depende_de tentar
     etapa concluir usa registrar_sucesso com protocolo = tentar.protocolo depende_de tentar
   }
-}
+}

package/exemplos/upload_arquivo.sema

@@ -90,4 +90,4 @@ module exemplos.upload.arquivo {
       }
     }
   }
-}
+}

package/exemplos/webhook.sema

@@ -91,4 +91,4 @@ module exemplos.webhook {
       }
     }
   }
-}
+}