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