# C832–C931 verification and packaging

These helpers continue the established current-cycle workflow. They were adapted from C732–C831 without rerunning that historical research cycle. No numbered research actions are performed by setup.

The verifier pins C831 record SHA256 `292bb3597ea4fd5cde0c535332220125ca15dd4cd176f97748a9d8ea576c73fb` and latest File52c SHA256 `a5ea84562101158b60d0cf296765d6eff38e7a2abda4e74ad1b353dfd13b9530`. C831's `final_artifacts` list binds the required `C831_checkpoint.md` and `C831_synthesis.md` snapshots by hash and byte count. An included `C831_reading_guide.md` is bound similarly. Source counts are dynamic. The root supplies the journal, live writer, predecessor snapshot, sources, manifest, and optional bindings.

Run between numbered actions from `/workspace/scratch/1b40da62dcbd`:

```bash
python3 c832_c931/evidence/verify.py --through 851 --require-current-sources --output c832_c931/VERIFY_C851.json
python3 c832_c931/evidence/package.py --through 851 --date 20260928
```

The packager's optional `--first` controls only the displayed research-report range; its evidence ZIP retains the full completed C832 prefix. The root is responsible for saving the resulting artifacts.

Before closure, verify the99-step prefix with `--through 930`. After C931 is complete:

```bash
python3 c832_c931/evidence/verify.py --require-current-sources --output c832_c931/VERIFY.json
python3 c832_c931/evidence/package.py --through 931 --date 20260928
```

Final packaging requires a passing100-step verification bound to the exact current journal bytes and no pending step. Final range is C832–C931; C932 is outside this cycle.

In an extracted portable packet, omit `--require-current-sources`. Frozen sources, predecessor identities, exact records, reassessments, script results, and the predecessor chain remain checked even if the original workspace is absent. Use `--workspace` to locate available originals elsewhere. Current originals remain an additional comparison, never a substitute for frozen sources.

Replay uses a read-only replacement for the research module and does not import the live journal writer. It requires exactly one matching begin/finish pair per step, checks true Boolean results and timestamp order, and prevents file writes, filesystem mutation, subprocesses, and network actions. Artifact output is recomputed as hash/byte metadata. Intermediate artifacts may have been superseded; final artifact availability and packaging checks remain separate.

The independent string-based digit reversal preserves trailing-zero placeholders. Static nested-call checks and provenance-tracked inverse values reject a second inverse. As stated in the verifier, this is not a security proof against arbitrary manual reimplementation or deliberate provenance erasure. The packet is trusted research code.

Recorded check counts are bounded validation counts, not independent discoveries or statistical evidence.