community
/
idea117-tradescript-a-verifiable
17
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
idea117-tradescript-a-verif.../README.md

1.1 KiB
Raw Blame History

TradeScript: Verifiable DSL Compiler (MVP)

This repository contains a minimal, production-oriented MVP of TradeScript, a compiler-driven DSL for auditable investment strategies.

  • Language: Python
  • Core IR: PortfolioObject, ObjectiveGraph, ConstraintGraph, PlanDelta
  • Parser: a small DSL subset that expresses assets, objective, risk budgets, and constraints
  • Verifiable rewrite: a lightweight, hash-based provenance for each rewrite step
  • Backends: Python simulator (deterministic), with a placeholder for cross-backend adapters
  • Registry: lightweight Graph-of-Contracts adapter registry
  • Tests: basic unit tests and packaging checks

Getting started

  • Run tests: ./test.sh
  • Build package: python -m build

This project aims to be production-ready, with a strong focus on reproducibility and auditability, while keeping the MVP small and approachable.

Note: The full TradeScript platform described in the initial plan is a multi-frontend, multi-backend system. This MVP demonstrates the core that enables verifiable rewrites and a portable IR, serving as a foundation for the complete system.