leg-01 reproduction
Public source retained with the related article. Generated results, dependency directories, runtime storage, secrets, and oversized binary artifacts are intentionally excluded.
README
# LEG-01 characterization boundary reproduction
This synthetic Laravel 13 fixture compares a mixed legacy postage quote with
an extracted implementation across a selected caller-visible behavior matrix.
It does not represent a Brian-owned production system.
Run the current behavior, brittle-recording, and mutation controls with:
```sh
./run.sh
```
The fixture establishes raw observations, selected characterization
assertions, public-result parity, brittle diagnostic and call-order controls,
seven behavioral mutations, two happy-path survivors, two harmless-refactor
controls, and an explicit review signal for unresolved zero-value behavior.
Structural analysis, semantic verification, source provenance, and the clean
committed-tree export are part of the drafting gate. After committing fixture
changes, verify the retained evidence with:
```sh
./bin/run-clean-export.sh HEAD
```
Retained files
- .dockerignore
- analyze.php
- bin/observe.php
- bin/run-clean-export.sh
- bin/versions.php
- composer.json
- composer.lock
- Dockerfile
- mutate.php
- phpunit.xml
- primary-sources.json
- README.md
- run.sh
- source-evidence.php
- source-manifest.php
- src/BasePrice.php
- src/BasePriceCalculator.php
- src/DiscountCalculator.php
- src/ExtractedPostageQuote.php
- src/InsurancePrice.php
- src/InsurancePriceCalculator.php
- src/LegacyPostageQuote.php
- src/LoyaltyDiscount.php
- src/MapZoneLookup.php
- src/QuoteOutcome.php
- src/QuoteRequest.php
- src/RemoteAreaPrice.php
- src/RemoteAreaSurcharge.php
- src/Zone.php
- src/ZoneLookup.php
- tests/CharacterizationTest.php
- tests/Fixture.php
- tests/HappyPathOnlyTest.php
- tests/ParityTest.php
- tests/RecordingTest.php
- verify-results.php