# 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.