# Full House specifications

> Published specification of the Full House exchange, built from engine commit 7d7b037dd644ef8ee8c4f024d92ecaa761510fe5.

That commit is the version of these docs. Fetch the text files below. The HTML pages are the same chapters in a reading layout.

## Chapters

- [Allocation Market — the vault-capacity epoch, read by the engine](https://docs.fullhouse.sh/raw/allocation-market.md): Companion to architecture.md (the Allocation Layer in the Level-3 DAG), state-layers.md (§12, the epoch state machine), flows.md (Flow 8), event-catalog.md (§6.16–§6.17, the epoch log and the allocation stream) and...
- [Dust2 Live Kill Market — Architecture (C4)](https://docs.fullhouse.sh/raw/architecture.md): The system is a DAG of append-only, offset-addressed logs ("streams") connected by deterministic transformers. Every runtime component obeys one contract:
- [Event Catalog & Canonical Serialization](https://docs.fullhouse.sh/raw/event-catalog.md): Companion to architecture.md (stream store, lineage), state-layers.md (every transition names an event from this catalog), and flows.md. This doc resolves the storage contradiction (JSONL vs canonical bytes), defines...
- [Dust2 Live Kill Market — Execution Flows (C4 Dynamic Diagrams)](https://docs.fullhouse.sh/raw/flows.md): Companion to architecture.md. Each diagram traces real data through the stream DAG. Offsets, state_version, and the spec's worked example ($0.47 entry, 3 final kills, $60 settlement) are used throughout.
- [Gateway Wire Protocol](https://docs.fullhouse.sh/raw/gateway-protocol.md): The byte-level contract between the gateway and every external client — the retail interface consumer and the Python SDK's quoting clients alike. This document is to the WebSocket boundary what event-catalog.md is to...
- [Matching Engine — Specification](https://docs.fullhouse.sh/raw/matching-engine.md): The third "genuinely hard node." Companion to architecture.md (Exchange Layer), state-layers.md §5–§6 (quote and order state machines — owned there, not duplicated here), event-catalog.md (§6.5–§6.7 — every emitted...
- [Model Plug-and-Play Layer — In-Depth Design](https://docs.fullhouse.sh/raw/model-plugin-layer.md): Companion to architecture.md (Pricing Layer), flows.md (Flows 0, 1, 6). This is the engineering specification for how probabilistic models plug into the pricing layer without touching the spine, while preserving the...
- [Settlement Contract — Decision Record](https://docs.fullhouse.sh/raw/settlement-contract.md): The binding definition of what settles every Dust2 kill market (SC-1..SC-6), the match-winner claim family LoL, Dota2 and the synthetic synth title settle on (SC-7), the race-to-kills line family LoL and Dota2 settle...
- [Layer State Model — C4 State Diagrams per Layer](https://docs.fullhouse.sh/raw/state-layers.md): Companion to architecture.md (Level 3 layers), flows.md (the events that drive every transition), and model-plugin-layer.md (§9 lifecycle). This is the C4 state level: one section per architecture layer, each showing...

## Agent skill

- [full-house-docs](https://docs.fullhouse.sh/agents/full-house-docs/SKILL.md): fetch llms.txt, then the chapter files, and treat the engine commit as the version.