# idea81_audioledger_studio_verifiable

Open-source platform to express financial market scenarios via a math-friendly DSL, compile to a portable execution graph, and execute offline-first with delta-sync to governance hubs.

Highlights
- Algebraic DSL for assets, objectives, risk budgets, and policies
- Canonical IR: LocalProblem, SharedVariable, PlanDelta, DualVariables, AuditLog
- WebAssembly-ready runtime (stubbed here for Python-based prototyping)
- Tamper-evident, attestable governance logs via a Signer
- Lightweight Graph-of-Contracts registry with adapters (price feeds, brokers)
- Audio sonification layer mapping risk/allocation/state to audible cues
- Offline-first operation with deterministic delta-sync

Architecture
- Python-based core with modular separation:
  - core.py: DSL parsing and IR data classes
  - runtime.py: Execution graph and allocation logic
  - delta.py: Delta store and application logic
  - signer.py: Attestation helper
  - registry.py: Registry for contracts
  - adapters.py: Adapters for external data sources
  - sonifier.py: Audio cue generation

Quick Start
- Install: pytest and build tooling (Python packaging)
- Run tests: bash test.sh
- Extend: Add new adapters, DSL features, and testing coverage

Packaging
- Python package name: idea81_audioledger_studio_verifiable
- pyproject.toml defines build metadata and long_description hook to README.md

For more details, see AGENTS.md and the unit tests in tests/.