# Export Module — Codex (per FVW v8 §22)

**Module ID:** `oscar.export`
**Per FVW v8 v0.10.0 §22:** C1-C9 contract items.
**Status:** Constitutional behaviour contract.

---

## C1 — Behaviour Inventory

### Files

| File | Purpose |
|---|---|
| `app/src/export/pdf.ts` | PDF generation via pdfmake |
| `app/src/export/docx.ts` | DOCX generation |

---

## C2 — State Machine with Transitions

States: idle → rendering → done | error

---

## C3 — Side Effect List

Downloads to user's machine

---

## C4 — Input Validation Contract

Per app/src/export/ module-specific validation.

---

## C5 — Failure Modes

Per coverage-matrix.md.

---

## C6 — User Simulation List

5+ representative flows. See `pact/recipes/export/coverage-matrix.md`.

---

## C7 — Reproducibility Test

Per module.

---

## C8 — Shape Matrix (per FVW v8 §30)

Per-surface × per-mode × per-chip × per-state.

| Surface | Modes | Chips | States |
|---|---|---|---|
| (per module) | |  | |

---

## C9 — State Shape Inventory

### C9.1 localStorage

```
none
```

### C9.2 In-memory

Per module files.

### C9.3 IDB

none (exports read from IDB but don't write)

---

## END OF EXPORT CODEX