Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
14 changes: 10 additions & 4 deletions docs/Encoding_Protocol_v0_2.md
Original file line number Diff line number Diff line change
Expand Up @@ -603,10 +603,16 @@ timestamped. Ten ledgers were read; ten orderings held.
condition pins 10/10 read `same` — a trial of the frozen condition
voids 1 (tool-surface breach), replaced; ledgered in the report

Pre-registered before the first counted run in
`credenza/docs/donetest/C_SERIES_PREREGISTRATION.md`; reported in
`credenza/docs/donetest/C_SERIES_REPORT.md` with the composition table, the void ledger and the
verification transcripts.
Pre-registered before the first counted run; reported with the composition table, the void
ledger and the verification transcripts. **The packages, the pre-registration, the report and
the per-run notes are published at `studies/c-series/` and archived at https://doi.org/10.5281/zenodo.22167996**, so every
citation here resolves for a reader outside this project.

Each package verifies from the anchors it ships:

pip install uofa
uofa verify uofa.jsonld --pubkey keys/uofa-issuer.pub \
--decision-pubkey keys/demo-reviewer.pub

**What the rate does and does not say.** The signatures attest completion of the governed review
**with dispositions recorded where evidence was unrecoverable** — nine of ten packages explicitly
Expand Down
10 changes: 10 additions & 0 deletions studies/c-series/README.md
Original file line number Diff line number Diff line change
Expand Up @@ -3,6 +3,16 @@
The artifacts behind Chapter 4 §4.6 and the Validation Record appendix of
`docs/Encoding_Protocol_v0_2.md`.

**Archived: https://doi.org/10.5281/zenodo.22167996** (deposit version
`c-series-v1`). Cite the DOI for the manuscript; cite this directory for a reader
who wants to run the checks.

**Two DOIs, and which to cite.** `10.5281/zenodo.22167996` is the **version
DOI** — this release, these exact bytes, and what a manuscript should cite so
the reference cannot move under it. `10.5281/zenodo.22167995` is the **concept
DOI**, which always resolves to the latest version of this supplement; cite it
only where "the supplement, whatever its current version" is what is meant.

**These are published so a stranger can check the claim without asking anyone.**
Each package verifies from the anchors it ships, against the wheel on PyPI, on a
machine that has never seen this repository.
Expand Down
7 changes: 5 additions & 2 deletions studies/ch4_numbers/LEDGER.md
Original file line number Diff line number Diff line change
Expand Up @@ -520,8 +520,11 @@ Frozen set: pv1, prompt hash `35033e4b…`, application `716d92d9`,
| Messages per run, range | 783 – 1345 | " | " | " |

**Both escalations CLOSED, 2026-08-29, venue: this repository,
`studies/c-series/`** (commit `793470e4`; a Zenodo deposit for the manuscript
DOI is minted from these same bytes).
`studies/c-series/`** (commit `793470e4`, release `c-series-v1`), archived at
**https://doi.org/10.5281/zenodo.22167996** — the **version DOI**, minted from
these same bytes and the citable form for the manuscript, because a version DOI
cannot move under a reference. The concept DOI `10.5281/zenodo.22167995`
resolves to the latest version and is *not* what a results chapter should cite.

- *The primary artifacts were uncommitted.* The ten signed zips lived only in a
local run directory. They are now committed, with `SHA256SUMS` matching the
Expand Down
Loading