pers-03 reproduction

Public source retained with the related article. Generated results, dependency directories, runtime storage, secrets, and oversized binary artifacts are intentionally excluded.

README

# PERS-03 concurrency reproduction

This fixture tests one narrow claim: a stored version becomes optimistic
concurrency control only when the repository atomically requires the loaded
version and handles a failed comparison as a conflict.

The digest-pinned PHP 8.4.12 and PostgreSQL 18.3 experiment begins with a
capacity pool of ten units. Two stale aggregates each accept a six-unit
allocation. The naive repository loses an acknowledged allocation. The
optimistic repository rejects the stale save, rolls back its child changes,
and preserves the committed allocation.

Run the retained behavior, mutation, source-analysis, and verification controls
with:

```bash
./run.sh
```

Reproduce the complete experiment from the committed evidence tree with:

```bash
./bin/run-clean-export.sh bae94b7
```

The capacity policy and allocation data are synthetic. They are not Brian's
production rules or evidence about conflict frequency, retry cost, or lock
performance.

Retained files