> For the complete documentation index, see [llms.txt](https://dsg-3.gitbook.io/dsg-docs/llms.txt). Markdown versions of documentation pages are available by appending `.md` to page URLs; this page is available as [Markdown](https://dsg-3.gitbook.io/dsg-docs/agi-simulation/dsg-aimo-deterministic-shard-integration.md).

# DSG AIMO deterministic shard integration

This repository is the deterministic finite-search layer in the DSG AIMO pipeline:

`dsg-one-v1 -> dsg-agi-simulation -> DSG-Cinema-Proof-Agent`

`POST /v1/aimo/solve-shard` accepts a canonical problem envelope containing a finite `qubo-v1` or `ising-v1` encoding and a deterministic shard descriptor. Each shard enumerates its fixed assignment partition, returns exact integer-energy candidates, and reports whether that shard search is complete.

A shard result is candidate evidence, not final mathematical truth. Final proof authority belongs to DSG Cinema Proof Agent, which independently recomputes the finite encoding and can certify `VERIFIED_GLOBAL_OPTIMUM` with Z3. Fidelity between an Olympiad problem statement and its finite encoding remains a separate proof obligation.

Production solve requests are fail-closed and require `DSG_AGI_SIMULATION_API_KEY`.