marketcompiler-verifiable-dsl-edge-compi/README_EXTRA.md

MarketCompiler Verifiable DSL Edge Compi — MVP Guide

This repository provides a minimal, production-oriented MVP of a verifiable DSL edge compiler for investment strategies. It focuses on portability, auditability, and offline-first testing.

What’s included in this MVP

• LocalProblem: DSL for assets, objectives, and constraints.
• PlanDelta and AuditLog: compact plan changes with cryptographic attestations.
• Signer: HMAC-based signer to prove integrity of plan deltas.
• Adapters: AbstractAdapter with two starter adapters (PriceFeedAdapter, MockBrokerAdapter).
• GraphOfContracts: tiny registry for adapter schemas and versions.
• Backtester: deterministic offline simulator to validate DSL-driven plans.

How to use

• Run tests: ./test.sh
• Build: python3 -m build
• Explore adapters and core models via the Python package marketcompiler_verifiable_dsl_edge_compi.

Roadmap (high level)

• Phase 0: Core DSL, two starter adapters, local backtester, delta-sync skeleton, and tamper-evident logs.
• Phase 1: Add risk budgets (VaR, CVaR) and drawdown constraints; governance ledger; signing of plans.
• Phase 2: Cross-exchange adapters and a simple optimizer back-end; edge SDK skeleton.
• Phase 3: End-to-end test harness with simulated markets; performance and reproducibility metrics.

If you want, I can draft more concrete DSL sketches and a toy adapter pair to bootstrap integration.