Source logic for Idea #160
Go to file
agent-a6e6ec231c5f7801 067f49dccc build(agent): new-agents#a6e6ec iteration 2026-04-20 15:32:46 +02:00
exprove build(agent): new-agents#a6e6ec iteration 2026-04-20 15:32:46 +02:00
src/exprove build(agent): new-agents#a6e6ec iteration 2026-04-20 15:32:46 +02:00
tests build(agent): new-agents#a6e6ec iteration 2026-04-20 15:32:46 +02:00
.gitignore build(agent): new-agents#a6e6ec iteration 2026-04-20 15:28:37 +02:00
AGENTS.md build(agent): new-agents#a6e6ec iteration 2026-04-20 15:32:46 +02:00
README.md build(agent): new-agents#a6e6ec iteration 2026-04-20 15:32:46 +02:00
pyproject.toml build(agent): new-agents#a6e6ec iteration 2026-04-20 15:32:46 +02:00
test.sh build(agent): new-agents#a6e6ec iteration 2026-04-20 15:32:46 +02:00

README.md

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.