alexmandClaude
a09d158e16
Keys (spec/02 §2.4), the rule paperstack settled on:
- A work key is a Scholar-style citation key, a hyphen and the first four
Crockford base32 characters of SHA-256("scienting-key/1:" + identity),
where the identity is the first of doi, arxiv, isbn, pmid, pmcid and
openalex in same_as, else the folded title, year and family name. A
collision lengthens the later key by two characters; a key is minted
once and never recomputed. A document key adds .si, .v<seq> or .<type>
for versions other than the version of record.
- Every fixture key is now minted (hale2026harmonic-damb,
okafor2025solvent-acth, writer2027fixed-ynr7.v3, tiny2026tiny-j4qm), so
every node and record ID was re-minted and the docs rewritten to match.
The validator checks the document key against the work key and version
(doc.key.work) and the hash part against the identifier (doc.key.suffix).
vectors/keys.jsonl pins the cases paperstack's tests pin.
Review:
- Spot-check seeds are ECVRF-EDWARDS25519-SHA512-TAI proofs (RFC 9381),
implemented in tools/oracle/vrf.py in plain Python and reproduced
against the RFC's Example 16; the sample ranks by the VRF output. The
earlier Ed25519 seed could be ground by a dishonest checker.
- RFC 9162 inclusion and consistency proofs (crypto.inclusion_path,
verify_inclusion, consistency_proof, verify_consistency) with
scienting-proof/1, vectors/proofs.jsonl and two fixture records.
- document.json carries `history`, the root over the corrections, with
the empty-tree hash for none (spec/11 §11.5, rule doc.history).
- A provisional transparency log (spec/23): log entries, signed-note
checkpoints with key hashes as transparency logs share them, the rule
that a logged revocation beats a self-asserted time, and vectors.
- Reserved signature schemes cose and ml-dsa-65 (spec/08 §8.4).
Identifiers and text:
- urn:scienting: becomes tag:scient.ing,2026: (RFC 4151), since the URN
namespace was never registered.
- Unicode 16.0 is pinned for normalization and categories (spec/01 §1.4);
the checker refuses another version.
Checking:
- check.py: keys, proofs, VRF and checkpoint vectors; the proof and
checkpoint records; a check that every ID and hash the prose quotes
exists in the fixtures or vectors; three more broken packages
(history-wrong, key-suffix, key-work).
- stress.py: key, VRF, proof and checkpoint properties.
- Docs: a keys section in the concepts and FAQ, rationale entries for
keys, VRF, proofs, tag URIs and the Unicode pin, a "Looking ahead"
section, media-type registration and OCI distribution notes.
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2 lines
2.1 KiB
JSON
2 lines
2.1 KiB
JSON
{"at":"2026-10-11T12:00:01Z","by":"ana","doc":"tiny2026tiny-j4qm","evidence":[{"kind":"crop","node":"af5b51r","sha256":"78b08276b5122feed3829e8dd19684fa8a4a41f79cb83a499d40341e09f5d658"},{"kind":"crop","node":"ajqxkgh","sha256":"398bab4177685c88eef399d814d34c81baa556d58cd508bd5ddb33ac53a5cbfa"},{"kind":"crop","node":"f463wj7","sha256":"88b1e820b569c3a0fd025a6b6c502271ed73bbce720dd8a2e416d6a5dd0e9d67"},{"kind":"crop","node":"j663d4h","sha256":"d6484c89588a560f64bbceca108f5446e47bb5cb85521fbffc9d6d37f252e5c7"},{"kind":"crop","node":"jvnys4s","sha256":"3139fb30b88062bd0c6bbb028c4c57fc748218ce1d7a612d282e292d6a02ffe9"},{"kind":"crop","node":"mzwwhxj","sha256":"83a7fcf09321f8a644c58120f80dede5d73d89f50d080ccbb143ec5b485e3088"},{"kind":"crop","node":"r3e21zr","sha256":"ff809e11101fa6ff5422e5232e83142c1a43dada0e56d63ec03fbce3474dd1aa"},{"kind":"crop","node":"rdrqkv7","sha256":"c0699aceb344812ebebb1414838641f0761184d5113dcc870d07c721fd289437"},{"kind":"crop","node":"rsw24qc","sha256":"b4c3b133c707b1a9a2cec2efe5c17731bada0d6bace5b1fb3590c5c5ab18bb92"},{"kind":"witness","sha256":"fda3f1e9bb3538cd85dcc42281e00fd045f726652664439ce5a15d8489425b21"}],"format":"scienting-receipt/1","id":"k4wt522d9zvjr","level":"F3","nodes":[["af5b51r","59d1c20766a77bacde2aae80a134c7156fbcc708c140a3bb2d2a67f78bd9c6f5"],["ajqxkgh","838e3fba38f0797d40522b7063cb5c2962e32a019c09c19f09849ced73079a87"],["f463wj7","f1cd6d5339c84d5c36f8e1ea484a8d837f3200f05d1b106f6119dfa30d846bfd"],["j663d4h","443539440dca73149ca75276492334ce9a5a6c50070137e8dc7bf414b75a27ab"],["jvnys4s","f5761f338b2878dff39a6ee724a75b13626dd625a0df96cf1cc6f9e8258cb7cc"],["mzwwhxj","8f3e5338ba3c97efca4cef5c60d849757aed6334ee27ab807fa71d969089e46e"],["r3e21zr","71b1af6dd6a56f24cb3b338e0fe99df06b9154ecdf4b391b00b7a7e61e23a8ed"],["rdrqkv7","87da3bd568286f3d0578d8a813496d15faafb62f4db44b07aa1c29e52cda34df"],["rsw24qc","caeb3ae57d0821b8ac961c9507debbcda2b118b16cdc010b83a143a782058d57"]],"rev":0,"root":"15d9c8bd5472afd7064578e5663d3b7fd21249adc6cdb40fcbe1b790e3fae801","scope":"all","signature":{"key":"ana","scheme":"ed25519","value":"/xOfCboOpgu29ztKi22IU9crgC5LYetrHOMpQtqj4QV5dVP73n/ze94hyPknYO5qNPgBmYRrbJZBIIHdwqxoAA=="}}
|