reduction

The reduction owner searches for a smaller input that still produces the fingerprint carried by one refused trial report.

Every candidate descends under the reducer that authored it and reaches one shared admission law: the report-bound probe must reproduce the same fingerprint. Owner-semantic candidates run before the generic byte search, and a finite probe budget bounds the complete road.

The retained evidence keeps the reducers that actually ran, the work they offered, the reached input, the fingerprint it preserved, the stopping posture, and the replay ceiling earned across those participants. A replay capsule can be minted only from that completed evidence.

This home does not interpret input bytes, choose semantic candidates, execute a subject, or claim that the reached input is globally minimal. The exact plan fields, reducer contracts, refusal order, and evidence seats live with their public items.