25 lines
1.4 KiB
Markdown
25 lines
1.4 KiB
Markdown
# 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.
|