obj-01 reproduction
Public source retained with the related article. Generated results, dependency directories, runtime storage, secrets, and oversized binary artifacts are intentionally excluded.
README
# OBJ-01 construction-boundary reproduction
This synthetic PHP 8.4 and Laravel 13 fixture separates four roles:
- a complete internal constructor establishes usable domain state;
- named constructors express trial, paid, and reconstitution policies;
- an external factory resolves plan, identity, time, and failures; and
- an Eloquent-compatible row hydrates before a mapper reconstitutes the domain.
Run the complete evidence suite with:
```sh
./run.sh
```
The runner retains environment details, 15 positive tests, 13 targeted
counterfactuals, source observations, static boundary checks, provenance, and
a semantic verification report under `results/`.
After committing that evidence, reproduce its deterministic claims from an
archive of the committed tree with:
```sh
./bin/run-clean-export.sh <commit>
```
Retained files
- .dockerignore
- analyze.php
- bin/normalize-phpunit-output.sh
- 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/Clock.php
- src/CustomerId.php
- src/InvalidSubscriptionState.php
- src/MutableSubscription.php
- src/PlanCatalog.php
- src/PlanCatalogUnavailable.php
- src/PlanCode.php
- src/PlanDefinition.php
- src/RequiredConstructorSubscriptionRow.php
- src/Subscription.php
- src/SubscriptionCreationFailed.php
- src/SubscriptionFactory.php
- src/SubscriptionId.php
- src/SubscriptionIdGenerator.php
- src/SubscriptionMapper.php
- src/SubscriptionMappingFailed.php
- src/SubscriptionRow.php
- src/SubscriptionStarted.php
- src/SubscriptionStatus.php
- src/UnknownPlan.php
- tests/CountingClock.php
- tests/CountingIdGenerator.php
- tests/EloquentHydrationTest.php
- tests/normalize-phpunit-output-test.sh
- tests/ScriptedPlanCatalog.php
- tests/SubscriptionConstructionTest.php
- tests/SubscriptionFactoryTest.php
- verify-results.php