community
/
robotproof-studio-verifiable-reproducibl
17
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
robotproof-studio-verifiabl.../README.md

1.1 KiB
Raw Permalink Blame History

RobotProof Studio

Verifiable, reproducible multi-robot mission planning with contract-driven cross-adapters.

This repository implements a production-oriented MVP of RobotProof Studio:

  • Graph-of-Contracts (GoC) primitives: LocalProblems, SharedSignals, PlanDelta, DualVariables.
  • Lightweight ADMM-like coordination for distributed plans with offline resilience.
  • Starter adapters for ROS2 navigation and Gazebo-based simulation to bootstrap interoperability.
  • Registry for contracts and adapters, identity scaffolding, and governance logs.

Key design goals:

  • Verifiability: cryptographic-like tags and tamper-evident logs for plan deltas and signals.
  • Reproducibility: deterministic delta-sync and offline-first plan exploration.
  • Interoperability: canonical contracts and adapters bridging ROS2, planners, simulators, and hardware.

This MVP focuses on the skeletons and contracts needed to bootstrap interoperability and validation.

How to run tests:

  • Ensure Python 3.8+ is installed.
  • Run tests via the test.sh script (also runs python -m build to verify packaging).

See AGENTS.md for contributor guidelines and architecture overview.