# idea176_goc_synth_automated

Automated DSL-to-Adapter synthesis for Graph-of-Contracts cross-domain optimization.

## What it does
- Validates a compact DSL for `LocalProblem`, `SharedVariables`, `PlanDelta`, `DualVariables`, `PrivacyBudget`, `AuditLog`, `PolicyBlock`, and `GraphOfContractsSeed`.
- Generates Energy and Robotics adapter skeletons with TLS setup, manifest export, deterministic delta application, OpenAPI specs, and protobuf service stubs.
- Emits a deterministic delta-sync simulator and a conformance harness that checks adapter shape and replay stability.
- Persists a registry entry with DID binding, governance anchor metadata, and artifact paths.

## Layout
- `idea176_goc_synth_automated/` core Python package
- `adapters/` generated adapter code and specs
- `registry/` persisted GoC registry entry
- `tests/` package tests

## Usage
- Install and test: `bash test.sh`
- Generate artifacts from Python:
```python
from idea176_goc_synth_automated import GraphOfContractsSeed, LocalProblem, generate_mvp_adapters

seed = GraphOfContractsSeed(
    name="demo",
    seeds={"LocalProblem": LocalProblem(domain="Energy", objective="minimize_cost")},
)
generate_mvp_adapters(seed)
```

## Packaging
- Python package name: `idea176_goc_synth_automated`
- Build metadata lives in `pyproject.toml`
- `README.md` is wired into the package metadata for publishing

## Notes
- The current codebase focuses on a reproducible foundation for synthesis, registry persistence, and deterministic replay.
- See `AGENTS.md` for architectural constraints and testing expectations.