idea76-gameeconomy-studio-verifiable/AGENTS.md

AGENTS.md

Overview

• This repository implements a production-oriented MVP for a verifiable algebraic DSL to model cross-server game economies.
• Architecture emphasizes modular adapters, a canonical IR, and a governance ledger with delta-sync semantics.

Tech Stack

• Python 3.8+ for core modeling and adapters
• Minimal in-repo DSL primitives (LocalEconomy, SharedSignal, PlanDelta)
• Adapters: server economy engine adapter and marketplace adapter
• Registry: GraphOfContractsRegistry for versioned contracts and adapters mapping

Testing and Commands

• Tests run with pytest (unit tests and a small integration test)
• test.sh orchestrates pytest and python -m build for packaging verification

How to contribute

• Implement a new adapter under adapters/ to plug a new backend
• Extend the DSL primitives in dsl.py and wire through core.py for simulations
• Update tests to cover new behavior
• Update README and add any necessary documentation in the package

Code Organization (high-level)

• src/idea76_gameeconomy_studio_verifiable/dsl.py: DSL primitives (LocalEconomy, SharedSignal, PlanDelta, GraphContract)
• src/idea76_gameeconomy_studio_verifiable/core.py: EconomyEngine that runs deterministic simulations
• src/idea76_gameeconomy_studio_verifiable/adapters/: starter adapters for server engine and marketplace
• src/idea76_gameeconomy_studio_verifiable/registry.py: GraphOfContracts registry
• tests/: basic unit and integration tests
• README.md, AGENTS.md, test.sh, READY_TO_PUBLISH: publish scaffolding

Roadmap reference

• Phase 0: DSL prototype, two adapters, toy cross-server scenario, deterministic backtesting
• Phase 1: Global constraints and governance ledger skeleton, secure aggregation for cross-server signals
• Phase 2: Cross-server demo with basic contract example and adapter blueprint
• Phase 3: End-to-end pilot in testbed with delta-sync and auditability