# Reachability Evidence Samples

This directory contains sample payloads for reachability evidence chain documentation.

## Contents

| File | Description |
|------|-------------|
| `richgraph-v1-sample.json` | Sample richgraph-v1 callgraph with `code_id`, `symbol_id`, and `graph_hash` |
| `openvex-affected-sample.json` | OpenVEX statement with `stellaops:reachability` extension for affected status |
| `openvex-not-affected-sample.json` | OpenVEX statement with unreachability evidence for not_affected status |
| `replay-manifest-v2-sample.json` | Replay manifest v2 with BLAKE3 hashes and `code_id_coverage` |
| `runtime-facts-sample.ndjson` | Runtime observation events in NDJSON format |

## Usage

These samples demonstrate the function-level evidence chain described in:
- `docs/reachability/function-level-evidence.md`
- `docs/api/signals/reachability-contract.md`
- `docs/contracts/richgraph-v1.md`

## Verification

Validate a richgraph-v1 sample:

```bash
# Compute graph hash
stella graph verify --graph ./richgraph-v1-sample.json

# Verify against manifest
stella replay verify --manifest ./replay-manifest-v2-sample.json --verbose
```

## Schema References

- richgraph-v1: `docs/contracts/richgraph-v1.md`
- OpenVEX: https://openvex.dev/spec/v0.2.0
- Replay manifest: `docs/reachability/function-level-evidence.md#6-replay-manifest-v2`