# oracle/1 — conformance

Test vectors for any implementation claiming to implement the
JouleClaw Oracle closure-gate. The reference `AlwaysPassOracle`,
`AlwaysFailOracle`, and `CompositeOracle` in this crate pass every
vector; any other implementation is conformant iff it produces the
same `Verdict` (byte-equal under serde_json's snake_case-tagged
enum serialization) for every input fixture.

## Files

- `vectors.json` — the canonical fixture set. 5 vectors covering
  always-pass, always-fail, composite all-pass with chain de-
  duplication, composite short-circuit on first fail, and the
  empty-composite trivial-pass edge case.

## Verifier

```
cargo test -p jouleclaw-oracle --test conformance
```

The `oracle_program` field encodes a tree. A leaf is
`{"kind": "always_pass"}` or
`{"kind": "always_fail", "reason": "..."}`. A composite is
`{"kind": "composite", "id": "..."}` followed by its member nodes
in the same array. The verifier reads the array left-to-right and
constructs the oracle accordingly.

## Adding a vector

Add an entry to `vectors`, bump `vector_count`, and re-run the
verifier.