evt-04 reproduction
Public source retained with the related article. Generated results, dependency directories, runtime storage, secrets, and oversized binary artifacts are intentionally excluded.
README
# EVT-04 Process Manager test-boundary reproduction
This fixture tests one narrow claim: Process Manager behavior is a durable
state transition plus newly owed work, not a script of repository, queue, and
inbox calls.
The pinned PHP 8.4.12 and SQLite experiment retains fourteen behavior cases:
- an executable eight-row transition table;
- accepted payment with state, version, inbox, and outbox evidence;
- exact and semantic duplicate delivery;
- stale and active timeouts;
- compensation failure and late shipment handling;
- atomic rollback and stale-version refusal;
- accepted and stale operator repair; and
- a strict mock which misses wrong saved state plus a harmless reorder which
preserves durable rows but fails the call script.
Ten isolated mutations prove the checks detect stale persistence, split inbox
or outbox transactions, missing version protection, duplicate handling,
timeout, compensation, repair, and call-order coupling defects.
Run the complete retained experiment with:
```bash
./run.sh
```
After committing the evidence, verify its exact tree with:
```bash
./bin/run-clean-export.sh HEAD
```
The clean export compares its semantic verifier, transition table, mock blind
spot, and harmless-reorder evidence to the retained results.
The fulfilment rules and mock comparison are synthetic controls. They are not
Brian's production history or measurements of test maintenance.