# ExProve Open-Source Execution Provenance Engine

ExProve provides cryptographically verifiable provenance primitives for cross-venue execution decisions in equity trading. This repository implements core data contracts and a deterministic planning primitive suitable for testing, backtesting, and regulatory review workflows.

Key Primitives
- LocalExecutionTask: per instrument/venue planning unit
- SharedMarketContext: privacy-safe, versioned market signals
- PlanDelta: incremental routing/size/timing decisions with metadata
- Attestation/AuditLog: cryptographic attestations and an append-only log
- GraphOfContracts: registry for adapters and data-contract schemas

How to use
- Install dependencies and run tests via the provided test script (test.sh).
- The core models are defined under exprove.contracts and can be composed by a solver.

Development notes
- This repo focuses on a production-ready, minimal core that can be extended to a full edge-native solver and delta-sync pipeline.