open-standards/wai/live-conformance/synthesis

live-conformance/synthesis — synthesis provenance

The corpus of extensions/synthesis.md §13, in one file, vectors.json: the EU icons §10.2 pins (eu_icons, each its file and sha256), and the vectors, each a case of §11.1 and what a verifier gives it.

A case holds its policy (dual_layer, assistive, second_layer); its records as JSON texts, list by list: claims (origin claims), markings, detections, reviews, label_policy (a text or null) and player (the log's entries); the objects it holds, each a WAI1 envelope in hexadecimal; the decoded samples it holds, each the content hash of the object decoded and its canonical samples in hexadecimal; the priors it holds, each the bytes of a WSR1 prior (exact-upscale §3.1) in hexadecimal; the unmarked frames it holds (§7.6), each the content hash of the marked object and its samples in hexadecimal; and a room or null: its descriptor, grants, key_log and chains as live-rooms' corpus gives them.

Synthesis equivalence. For each vector, a conforming verifier reaches the outcome it states:

• refuse: the reason and where, at: ["claim", i], ["marking", i], ["detection", i], ["review", i], ["label_policy"], ["player", i], or ["room", …] with the room verifier's own place (["room", "record", c, i] for record i of chain c);
• accept: the statements of §11.3: claims, each its link, class, source, c2pa (the statement of §6, exactly as written) and assistive (proved, not-recomputed, asserted, or null for a claim that is not an assist); detections, each its subject and result; ai_tracks, each its track and claim; reviews_presented, each its log entry and review; labels, each its log entry, trigger and the shown entry that met it; visual_icon, the file of §10.2 the label policy's visual is, or null; and room, the room's own outcome or null.

A verifier that reaches another outcome, reason, place or statement does not conform.

Provenance. wai_synthesis_vectors gen writes vectors.json from records authored in code: every key is SHA-256 of the corpus's label and an index, every sample buffer and envelope payload is SHA-256 output of a label, the one prior is drawn from SHA-256 of a label (int_sr::seeded_prior) and trained on nothing, every time is a constant, and Ed25519 signing is deterministic, so the file is the same bytes on every machine. The watermark scheme the markings and detections name, wai-mark:conformance, names no algorithm (§7.4): the corpus exercises the records and the agreement of the two layers, not a watermark.

python3 -I ../synthesis_verify.py .