# CHG-05 behavior-ledger reproduction

This deterministic fixture demonstrates the argument in “A Rewrite Needs a
Behavior Ledger.”

It contains:

- a synthetic source application;
- a correct and a mutated replacement;
- a broad feature-presence check;
- preserve, equivalent, change, discard, and unresolved ledger rows; and
- a verifier which keeps external physical-output proof open.

Run:

```sh
node experiment.mjs
```

All features, behavior, values, and evidence names are synthetic. The fixture
does not reproduce a private application, print workflow, repository, or
production result, and it does not perform physical output.