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.