Grzegorz MartensandClaude Opus 5.5 1d0c303466 M2.6: the redaction proof reads /DecodeParms given by reference ...

The proof that came with #5557 decodes every stream it sweeps through `Ctx::decode`, which called
`decode_strict` with the stream alone. This PR's `decode_strict` also takes the document, to read
`/DecodeParms` given by reference, so the branch merged with main no longer built. `Ctx::decode`
now takes the document, and each of its callers passes the one it reads, so the proof reads such
a stream as redaction reads page content and forms. Before, it decoded the stream with the
parameters' defaults: a PNG predictor's rows kept their tag bytes, and a copy of the removed text
split by them went unreported (`a_survivor_behind_parameters_given_by_reference_is_found`). The
test helpers' streams are direct, so they pass an empty document.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01AmsdeUCdTaD72jkDw2pJKY

2026-11-07 13:15:45 +01:00

..

extract.rs

…

geometry.rs

…

limits.rs

…

mod.rs

…

search_tests.rs

…

snapshot.rs

…

sweep.rs

…

util.rs

…