novaplan-decentralized-priv.../INTEROP_README.md

2.4 KiB
Raw Permalink Blame History

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 (23 agents to start, 812 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 23 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.