decoder-bundle-minimization/README.md

# Decoder-bundle minimization evidence (agent 67)

This artifact tree contains the recipes and measurements, not just binaries.

## Start here

- [REPORT.md](REPORT.md): method, exact build/packing commands, per-variant results, proof scope, and fallback ladder.
- [bundle67.json](bundle67.json): machine-readable sizes, SHA-256 identities, and per-variant binary/bundle PASS or not-run status.
- [out/variant_table.json](out/variant_table.json): per-variant size/hash/proof table.
- [out/codec_compare.json](out/codec_compare.json): payload-codec measurements with extractor overhead included where needed.
- [test/decode_proof.tsv](test/decode_proof.tsv), [test/e2e_dyn_Os.json](test/e2e_dyn_Os.json), and [test/final_verify.json](test/final_verify.json): independent-binary, packed-chain, inverse, and ZIP-integrity receipts.

The minimized no-`-T` package is [out/bundle_dyn_Os/decompressor.zip](out/bundle_dyn_Os/decompressor.zip): **204,244 B**, SHA-256 `7a3899220efe888bd0d0e3affed875094afaea382ef1eda67eb1268a15b0071a`. Its launcher and inverse are unchanged from the 766,308-byte baseline. These compatibility receipts do not by themselves certify the ongoing full-corpus flagship archive.

## Reusing the recipes outside the original workspace

The pinned paq8px source is included in `work/paq8px-src` (upstream commit `29237fb44cb1995690e3eb72c6c3b1e4aede5791`). Build recipe: `work/build_variant.sh`. Deterministic packer: `work/make_bundle.py`. Baseline package members are included in `work/p5zip`; `out/baseline_rebuilt.zip` is the byte-identical baseline reproduction.

The original scripts retain absolute workspace paths as provenance. In a downloaded copy, replace the fixed `/root/hutter67/swarm67/B6-bundle` prefix in those recipes with your extracted artifact directory before running them; the builder has that prefix in both variables and compiler arguments. Keep the included `work/p5zip` directory, so the packer does not need the original external P5 workspace. Use a new output name/directory if preserving the supplied evidence.

After that path adjustment, from the extracted root:

```sh
bash work/build_variant.sh reproduce dyn_Os
python3 work/make_bundle.py --binary out/build/reproduce --out out/reproduced --label reproduce
python3 work/make_bundle.py --verify-baseline
```

Requirements include GCC/G++ with C++17 support, GNU linker/strip/time tools, and Python 3 with `lzma`. Match the recorded toolchain for byte-identical binary reproduction; a different compiler may change packed size. Compare the resulting sizes and hashes and run the documented decode checks, rather than assuming compatibility from a successful compile. The dynamic winner also requires the documented host runtime libraries.

Fallback package sizes are `dyn_O3` 443,156 B, `static_Os` 486,328 B, then the original 766,308 B package. Always count the actual package used. All full-corpus score claims remain conditional on a candidate-specific verifier certificate; no organizer validation is implied by this evidence set.