wai.edge.derivation: the deriving edge — derive, publish under its own receipts, chain to the source, carry provenance #379

Merged

dcharlot merged 11 commits from wai/deriving-edge into main 2026-10-21 10:18:45 -04:00

Conversation 0 Commits 11 Files changed 30 +22901 -583

2026-10-21

Transaction Science

registry export: regenerated after merging main (live provenance + deriving edge) ...

Co-Authored-By: Claude Opus 5.5 <[email protected]>

ab4ce0c64e

• View at this point in history

2026-10-21 07:18:15 -04:00

Transaction Science

Merge remote-tracking branch 'origin/main' into wai/deriving-edge ...

# Conflicts:
#	.github/workflows/wai-conformance.yml
#	wai/CHANGELOG.md
#	wai/REGISTRY.md
#	wai/SPEC.md
#	wai/registry/capabilities.json
#	wai/wai-rs/Cargo.toml
#	wai/wai-rs/src/codecs/registry.rs
#	wai/wai-rs/src/lib.rs

deaf39c126

• View at this point in history

2026-10-21 07:15:22 -04:00

Transaction Science

edge-conformance: the README states its provenance (corpus_provenance) ...

Co-Authored-By: Claude Opus 5.5 <[email protected]>

75060d97f5

• View at this point in history

2026-10-21 07:14:58 -04:00

Transaction Science

deriving edge: cite C2PA 2.4 (§A.3.2, §18.15 actions); edge-conformance in the decoded-output exclusion list ...

C2 (#381) reads C2PA 2.4; actions moved from §18.14 to §18.15 there, and PNG embedding stays
§A.3.2. A new *-conformance directory must state a SHA-256 or be listed with its reason in
int_kernels_vectors.rs, which only the cargo-class corpora job runs.

Co-Authored-By: Claude Opus 5.5 <[email protected]>

3d98199668

• View at this point in history

2026-10-21 05:11:25 -04:00

Transaction Science

Merge origin/main into wai/deriving-edge ...

Co-Authored-By: Claude Opus 5.5 <[email protected]>

32395df216

• View at this point in history

2026-10-21 05:03:08 -04:00

Transaction Science

deriving edge: AI-origin labels take the origin claim's terms (assist, generate) ...

The label a record carries is the top of the order an origin claim
gives its steps (capture < convert < assist < generate), so one
vocabulary serves both; every derivation this revision pins is a convert
step and raises no label.

Co-Authored-By: Claude Opus 5.5 <[email protected]>

033265f8e6

• View at this point in history

2026-10-21 04:58:07 -04:00

Transaction Science

deriving edge: clippy-clean reference edge and corpus ...

Co-Authored-By: Claude Opus 5.5 <[email protected]>

f2393399e2

• View at this point in history

2026-10-21 04:53:44 -04:00

Transaction Science

deriving edge: provenance carried forward, compartments, AI-origin label ...

A derivation makes a new object, and nothing its input carried is in it
unless the edge puts it there. Each record now lists, by digest, every
provenance item of every input: the claims about it, the C2PA Manifest
Stores bound to it or embedded in it (a PNG's caBX chunk, which the
still reader now admits), and every item the records below it carry,
each in the system or personal compartment of California Business and
Professions Code §22757.1 (AB 853, Statutes of 2025, Chapter 674). A hop
that leaves one out is refused (provenance_stripped). Each input and
output carries an AI-origin label (assisted, partial, generated) that
may rise along a chain and never fall (synthesis_dropped).

Personal items are carried by digest like system ones in this revision;
the redaction rule (a stated rule and a salted commitment) is to come.

Co-Authored-By: Claude Opus 5.5 <[email protected]>

f5f62d17d6

• View at this point in history

2026-10-21 04:52:24 -04:00

Transaction Science

deriving edge: second implementation, CI step, registry, SPEC §5 and CHANGELOG ...

edge-conformance/edge_verify.py verifies the corpus from the extension's
text alone: it reads receipts and writes stills itself, re-executes every
replicate hop, requires every mutated copy of the corpus to fail and the
corpus to catch it with each of its own checks dropped. Two controls are
added so that every one of its checks is caught (a JPEG output naming no
encoder, a grid stated over more inputs than its cells).

The registry lists wai.edge.derivation and the document kind
wai-derivation; jwp-receipts §4.2 and §7.5 register what an edge may do
and its authority edge/derive; derived-tracks and energy-measurement say
where the receipt and the group receipts now come from.

Co-Authored-By: Claude Opus 5.5 <[email protected]>

258fd918ec

• View at this point in history

2026-10-21 04:38:26 -04:00

Transaction Science

wai.edge.derivation: the deriving edge — record, verifier, reference edge, corpus ...

extensions/deriving-edge.md registers the record an edge signs for an
object it derived from delivered objects: a wai.derive.* operation over
8-bit RGB samples, a frame of a wai.video.int_motion clip rebuilt as a
still or a JPEG picture, a WAI2 component exploded. The record names each
input by content hash, delivery receipt and the record that derived it,
the derivation and its parameters, the output by content hash and
receipt, the energy with its acquisition class, and its check: replicate
(re-executed byte for byte) or attest (the edge's signature).

wai-rs feature derive_edge: the record (read under §5.3, JCS, signed and
identified), the derivations' arithmetic, the verifier that follows a
derived object hop by hop to its source, the reference edge's derive, the
wai_edge tool and the edge-conformance corpus (wai_edge_vectors).

Co-Authored-By: Claude Opus 5.5 <[email protected]>

b7483d94ff

• View at this point in history

2026-10-21 04:28:04 -04:00

Transaction Science

wai-rs: the still of packaging §5.7 moves from wai-pack into wai-rs (png_still) ...

The writer every byte of whose output is a pure function of the frame, and
the reader with its own inflater, now live in the standard's crate behind
the feature png_still (no dependency), so the deriving edge can read and
write stills with the code the packager uses. wai-pack's src/png.rs
re-exports them and keeps its tests; nothing it calls changes.

Co-Authored-By: Claude Opus 5.5 <[email protected]>

18e2bba12c

• View at this point in history

2026-10-21 04:28:04 -04:00