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-derivedsyntheticmixedclean-room
| 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> |