# live-conformance/exploration — exploration and declared taste

The corpus of [`extensions/exploration.md`](../../extensions/exploration.md) §14, in one file,
`vectors.json`:

- `model`: the model file of `wai.generate.spectral` every generation uses, by its `path` below
  `wai/` and its `sha256`;
- `generations`: a `prompt`, `seed`, `steps`, `width` and `height`, and the `sha256` of the
  picture the generator makes (the check of the extension's Appendix A);
- `descriptors`: a buffer, given as `hex` or as a `generate` instruction (`prompt`, `seed`,
  `steps`, `width`, `height`), its `width` and `height`, and its descriptor vector (§3);
- `cases`: each a `policy` (`replay`: `required` or `elites`; `objective`: `required` or
  `optional`), its `records` in order as JSON texts, and what the verifier `held`: `models` (the
  SHA-256 of each model file it holds; the one file above, or none), `priors` (each taste prior
  file's text, held by the SHA-256 of its UTF-8 bytes) and `samples` (each buffer, as `hex` or a
  `generate` instruction, held by its SHA-256).

**Exploration equivalence.** For each case, a conforming verifier reaches the outcome it states:

- `refuse`: the `reason` of §13 and the `record`, the position of the record refused;
- `accept`: the `statements` of §12.3, one per record, exactly as written.

A verifier that reaches another outcome, reason, record or statement does not conform.

**Provenance.** `wai_exploration_vectors gen` writes `vectors.json` from records authored in
code: every key is SHA-256 of the corpus's label and an index, every picture is made by
`wai.generate.spectral` from the committed model file `wai-rs/tests/vectors/generate/generate_spectral_model.json`
or derived from one by a rule written in the generator (a corner inverted), the remaining
buffers (a pixel, a row, a column, flat, a checkerboard, a ramp) are written as formulas there,
every time is a constant, and Ed25519 signing is deterministic, so the file is the same bytes on
every machine. The three taste priors are written in code with hand-set weights; none is trained
on anyone's choices. The generator `urn:example:generator:float-1` and the aesthetic model a pick
names stand for any generator and model that are not exact: nothing in the corpus runs them.

```
python3 -I ../exploration_verify.py .
```