Interoperability Overview - EnergiBridge: Canonical bridge mapping NovaPlan primitives to a CatOpt-like interoperability IR. Enables adapters from grids, space robotics, and orbital domains to plug in with minimal rewiring. - Objects: LocalProblems (per-asset tasks) - Morphisms: SharedVariables/DualVariables (versioned signals and priors) - PlanDelta: incremental plan changes with metadata (timestamp, author, contract_id, signature) - PrivacyBudget/AuditLog blocks for governance and provenance - Time monoid for rounds and delta-sync on reconnects - Graph-of-Contracts (GoC) registry for versioned adapters and data schemas - Replay protection via per-message versioning/timestamp/nonce - Minimal DSL seeds for interoperability: - LocalProblem { id, domain, assets, objective, constraints } - SharedVariables { forecasts, priors, version } - PlanDelta { delta, timestamp, author, contract_id, signature } - DualVariables { multipliers } - PrivacyBudget { signal, budget, expiry } - AuditLog { entry, signer, timestamp, contract_id, version } - PolicyBlock { safety/exposure controls } - MVP wiring (2–3 agents to start, 8–12 weeks): - Phase 0: protocol skeleton + two starter adapters over TLS; lightweight ADMM-lite local solver; deterministic delta-sync with islanding replay; toy joint objective - Phase 1: governance ledger scaffold; identity layer (DID/short-lived certs); secure aggregation defaults for SharedVariables - Phase 2: cross-domain demo (simulated satellite-ground domain); publish NovaPlan SDK bindings; tiny contract example; reference transport - Phase 3: hardware-in-the-loop (Gazebo/ROS) across 2–3 devices; KPI dashboards for convergence speed, delta-sync latency, auditability - Security, governance and adapters marketplace: - DID-based identities or short-lived certs; per-message crypto-tags; tamper-evident governance logs; policy hooks for data exposure - Conformance harness and starter adapters to accelerate onboarding - Cross-domain reuse: - Canonical EnergiBridge to enable interoperability with GridVerse/Open-EnergyMesh ecosystems; seed a minimal 1-page contract example to invite adapters - Metrics to track: - Time-to-convergence under simulated latency, delta-size per exchange, reconciliation determinism on reconnects, adapter conformance, governance audit coverage This repository already includes: LocalProblem DSL, adapters stubs, and a test-aware bridge.