| Filename | Latest commit message | Latest commit date |
|---|---|---|
An inpainting whose region does not regenerate, a record whose output samples are not its size, an edit over a held input of another size, a selection whose output is not its member, a crop of the wrong size without its input, a rotation by five quarter turns, and the record's own party, session and signer; a prev that skips its predecessor. state_map gives an operation it cannot read no mapping (unknown) rather than panicking. Co-Authored-By: Claude Opus 5.5 <[email protected]> |
||
| .. | ||
| README.md | ||
| vectors.json | ||
live-conformance/contribution — contribution records
The corpus of extensions/contribution.md §12, in one
file, vectors.json: the model files its sessions generate with (models, each its sha256
and its file as text), and the vectors, each a case of §10.1 and what a verifier gives it.
A case holds its policy (tier); the session record and its memberships, the
contribution record, the disclosed steps (each its step text and its inclusion proof, a
list of siblings in hexadecimal), the authorship map, the prompt openings, each as a JSON
text; the states it holds, each an RGB8 buffer in hexadecimal, named by its SHA-256; the
models it holds, each by the SHA-256 of a file in models; and the origins it holds, each
an origin claim of synthesis §3.1 as a JSON text.
Contribution equivalence. For each vector, a conforming verifier reaches the outcome it states:
refuse: thereasonand where,at:["session"],["session", "party", i],["membership", i],["record"],["step", i],["map"],["map", x, y],["opening", i],["origin", i]or["policy"];accept: thestatementsof §10.4: thetier; the link hashes of thesessionand therecord; each disclosed step'sseq,act,party,checkandstatus; the number of stepscommittedand not disclosed; the shares of thecomputedand thestatedmap, each itssamples, itsmade_byanddirected_bycounts per party, and the counts ofunknownandundisclosedsamples of each set; the record'sestimatesas stated; theoriginagreement (agree,not-checkedornull); and the C2PA statement of §9.2 as its JCS text (c2pa), ornullwhere a step is not disclosed.
A verifier that reaches another outcome, reason, place or statement does not conform.
Provenance. wai_contribution_vectors gen writes vectors.json from records authored in
code: every key is SHA-256 of the corpus's label and an index, every drawn picture and brush
stroke is SHA-256 output of a label, every generated picture is made by wai.generate.spectral
with the model file of its conformance vector (wai-rs/tests/vectors/generate/ generate_spectral_model.json, held here byte for byte in models), every time is a constant,
and Ed25519 signing is deterministic, so the file is the same bytes on every machine. Every
state is named by the SHA-256 of its RGB8 samples.
python3 -I ../contribution_verify.py .