# Examples Ledger Template
Use this ledger to track every public or review-facing example. Each example must name the claims it demonstrates, the evidence it depends on, and the validation result that keeps it trustworthy.
## Status legend
| Status | Meaning | May appear in public RFC text? |
| --- | --- | --- |
| `candidate` | Captured but not yet validated. | No |
| `validated` | Inputs, outputs, and claim links were checked. | Yes |
| `needs-rewrite` | Useful example, but framing or outputs are wrong. | No |
| `mismatch` | Example contradicts source, claims, or validation output. | No |
| `rejected` | Do not use in this packet. | No |
## Example ledger
| Example ID | Artifact | Section | Origin | Purpose | Claim Refs | Capability Refs | Evidence Refs | Validation Ref | Status | Notes |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| `EX-0001` | `<draft-or-packet>` | `<section>` | `source-derived` | `<what this demonstrates>` | `CLM-0001` | `CAP-0001` | `SRC-0001` | `VAL-EX-0001` | `candidate` | `<notes>` |
### Origin values
- `source-derived`
- `synthetic`
- `mixed`
- `clean-room`
## Example inputs and outputs
| Block ID | Example ID | Kind | Format | Location | Normalization |
| --- | --- | --- | --- | --- | --- |
| `IN-EX-0001` | `EX-0001` | `input` | `<format>` | `<path-or-inline-ref>` | `<none>` |
| `OUT-EX-0001` | `EX-0001` | `expected-output` | `<format>` | `<path-or-inline-ref>` | `<none>` |
## Example validation
| Validation ID | Example ID | Method | Probe / Command | Result | Evidence Ref | Notes |
| --- | --- | --- | --- | --- | --- | --- |
| `VAL-EX-0001` | `EX-0001` | `manual-review` | `<probe-or-command>` | `not-run` | `<path-or-row>` | `<notes>` |
## Exit checks
| Check | Required Result | Actual Result | Notes |
| --- | --- | --- | --- |
| Every public example appears in this ledger. | Yes | `<pass/fail>` | `<notes>` |
| Every example cites the claims it demonstrates. | Yes | `<pass/fail>` | `<notes>` |
| Failed or blocked examples are excluded from final public prose. | Yes | `<pass/fail>` | `<notes>` |