-
Notifications
You must be signed in to change notification settings - Fork 0
All issues
Issue creation is restricted in this repository
- #19 · federicopfund opened
on Jun 20, 2026 2
Issues
is:issue state:open
is:issue state:open
Search results
[DOCS-0001] Panel notebook interactivo + documentacion publica completa (SPEC §10.3, §13.5 Fase 4)
documentationImprovements or additions to documentationImprovements or additions to documentationStatus: Open.#48 In federicopfund/hva-framework;[DSL-0002] RunSystem + DefineCausalModel + Reactivity — orquestacion y modelo causal DSL (SPEC §10.1)
enhancementNew feature or requestNew feature or requestStatus: Open.#47 In federicopfund/hva-framework;[RT-0006] Transporte distribuido RemoteEvaluate + adaptadores OPC-UA/MQTT (SPEC §13.4 Fase 3)
enhancementNew feature or requestNew feature or requestStatus: Open.#46 In federicopfund/hva-framework;[SIM-0003] MultiAgentScheduler — simulacion concurrente de multiples agentes (FORM Def. 3.1)
enhancementNew feature or requestNew feature or requestStatus: Open.#45 In federicopfund/hva-framework;[EXAMPLE-0002] 3 casos de estudio multi-agente: planta de agua, microgrid, brazo robotico (SPEC §13.3)
enhancementNew feature or requestNew feature or requestStatus: Open.#44 In federicopfund/hva-framework;[RT-0005] Dispatcher + MessageEnvelope — dispatch simbolico por pattern matching
enhancementNew feature or requestNew feature or requestStatus: Open.#43 In federicopfund/hva-framework;[SUP-0005] 3 escenarios canonicos supervisor (claro/ambiguo/desconocido) — criterio MVP SPEC §15.1
enhancementNew feature or requestNew feature or requestStatus: Open.#42 In federicopfund/hva-framework;[EXAMPLE-0001] 5 ejemplos canonicos: termostato, deposito, pendulo, bateria, semaforo (SPEC §13.2)
enhancementNew feature or requestNew feature or requestStatus: Open.#41 In federicopfund/hva-framework;[VER-0004] Certificate + VectorFieldAnalysis — emision de certificados y analisis de bien-formacion
enhancementNew feature or requestNew feature or requestStatus: Open.#40 In federicopfund/hva-framework;[DSL-0001] SystemCommands + DefineAgent + DefineContract + ExportCertificate — fachada DSL completa
enhancementNew feature or requestNew feature or requestStatus: Open.#39 In federicopfund/hva-framework;[VER-0003] ContractChecker — verificacion composicional Gi => Aj (Teorema C.7)
enhancementNew feature or requestNew feature or requestStatus: Open.#38 In federicopfund/hva-framework;[EX-0001] EventDetector — deteccion de guardas y violaciones de invariante sobre trayectorias NDSolve
enhancementNew feature or requestNew feature or requestStatus: Open.#37 In federicopfund/hva-framework;