feat(c2pa-oracle): differential oracle against c2pa-rs, both directions - #535

Open

justin13888 wants to merge 39 commits into

feat/444-avif-c2pa-reservefrom

feat/447-c2pa-oracle

Commits on Sep 9, 2026

feat(c2pa-oracle): add a differential oracle over c2pa-rs
justin13888
committed
5936154
test(c2pa-oracle): pin both directions against c2pa-rs
justin13888
committed
c6bc972

Commits on Sep 10, 2026

fix(c2pa-oracle): read the two reserved JUMBF LBox values, and keep searching
justin13888
committed
e0a0f9f
test(c2pa-oracle): assert the located range, and tolerate a padded slot
justin13888
committed
71bcd86
build(c2pa-oracle): pin c2pa exactly and stop the manifest escaping its directory
justin13888
committed
126ba1c
test(c2pa-oracle): drive the copy-forward refusal through C2paPolicy
justin13888
committed
19e24f8
docs(c2pa-oracle): say what the crate's automated reach actually is
justin13888
committed
429c540
fix(c2pa-oracle): refuse an XLBox shorter than the header it counts
justin13888
committed
c0f8b21
test(c2pa-oracle): drop the Reject duplicate and pin the model it needed
justin13888
committed
6cbc377
test(c2pa-oracle): guard the offsets read ahead of the update store
justin13888
committed
721097e
docs(c2pa-oracle): record the header minimums and the span's unchecked bound
justin13888
committed
8417845
docs(c2pa-oracle): stop the root manifest claiming CI runs the oracle
justin13888
committed
f87c08a
Merge branch 'feat/444-avif-c2pa-reserve' into feat/447-c2pa-oracle
justin13888
committed
4daeda8
refactor(c2pa-oracle): follow gamut-avif's renamed C2PA read accessors
justin13888
committed
c587591
Merge branch 'feat/444-avif-c2pa-reserve' into feat/447-c2pa-oracle
justin13888
committed
91e099f
fix(c2pa-oracle): report an overrunning length as a length, not as absence
justin13888
committed
06bc874
fix(c2pa-oracle): refuse a to-end-of-buffer length below its own header
justin13888
committed
400c10f
test(c2pa-oracle): compare the model's store against the parent's bytes
justin13888
committed
5cda4bb
docs(c2pa-oracle): cite the vendored specification for only what it says
justin13888
committed
f9895c4
Merge remote-tracking branch 'origin/feat/444-avif-c2pa-reserve' into feat/447-c2pa-oracle
justin13888
committed
cbd3e30
test(c2pa-oracle): pin both sides of every JUMBF header refusal
justin13888
committed
1677990
test(c2pa-oracle): drive the reserved-slot length guard instead of restating it
justin13888
committed
6d8e733
test(c2pa-oracle): compare the carried store without assuming no padding
justin13888
committed
67a5a25
build(c2pa-oracle): commit the lockfile the resolved-graph check reads
justin13888
committed
805f10b
docs(c2pa-oracle): point the pinned-refusal claim at its enumeration
justin13888
committed
a1f6a61
test(c2pa-oracle): name the span row for the span it pins
justin13888
committed
447ab4b
docs(c2pa-oracle): say what the refusal tests assert, exactly
justin13888
committed
3d47fb6
build(c2pa-oracle): pass --locked so the committed lockfile is the one used
justin13888
committed
124eea9
docs(c2pa-oracle): name the panic ComposedBox::store can raise
justin13888
committed
09de2a4
test(c2pa-oracle): refuse the nearest length that runs past the buffer
justin13888
committed
f4ff9ae
test(c2pa-oracle): enumerate every discriminating branch, not only refusals
justin13888
committed
d28fd70
test(c2pa-oracle): check the enumeration against the functions it names
justin13888
committed
aa6340d
docs(c2pa-oracle): keep the README's claims level with the code
justin13888
committed
0eb7b1b
docs(c2pa-oracle): derive the transitive-package count, and say what it counts
justin13888
committed
fa83a8a
docs(c2pa-oracle): name the enumerated functions instead of glossing a rule
justin13888
committed
82bd447
docs(c2pa-oracle): say why no row can point at an integration test
justin13888
committed
c542bcb
docs(c2pa-oracle): count the duplicated package names correctly
justin13888
committed
93b8b54
style(c2pa-oracle): re-wrap the three comments the figure change left ragged
justin13888
committed
722c5ba

Commits on Sep 25, 2026

docs(c2pa-oracle): document the path-crate lockfile hazard and its refresh step
justin13888
committed
c5b48e2