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/modules/reach-graph/guides/function-level-evidence.mddocs/api/signals/reachability-contract.mddocs/contracts/richgraph-v1.md
Verification
Validate a richgraph-v1 sample:
# 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