Back to migration parity
PARITY RECEIPT · FLOW_09_LEASE_BROKERPROOF.md
# Flow 09 - Paid-tool lease broker

**Verdict: PASS**

Observed: `2026-07-17T08:56:38+00:00`  
Owner: `infra`  
Test: `python3 /Users/macstudio4/vault-studio2/operations/clean-hermes-home-20260716/parity-evidence/flow_09_lease_broker/test_and_build.py`

## Proven

- All 9 listed providers pass the isolated transactional core contract: missing lease, expiry, replay, cancellation, identity binding, fractional units, concurrent reservation, budget stop, HTTP 402/429 halt, one cost event per commit, and idempotent incident outbox.
- Lease state, cost events, and incident requests commit in one SQLite transaction. Temporary test databases were removed.
- No provider call, provider spend, production ledger write, credential read, or ALZO action occurred.
- Native clean Board incident `t_ae82ede7` was created once and returned by the same idempotency key twice; its triage readback is captured in `board-incident-readback.json`.

## Runtime adapter verdicts

- `DataForSEO`: `runtime_adapter_reference_found_core_contract_passed` at `/Users/macstudio4/.hermes-tnmc/skills/tnmc-paid-tools/scripts/provider_adapter.py`
- `ElevenLabs`: `runtime_adapter_reference_found_core_contract_passed` at `/Users/macstudio4/.hermes-tnmc/skills/tnmc-paid-tools/scripts/provider_adapter.py`
- `Firecrawl`: `runtime_adapter_reference_found_core_contract_passed` at `/Users/macstudio4/.hermes/scripts/cpg_grounding_fetch.py`
- `Gemini`: `runtime_adapter_reference_found_core_contract_passed` at `/Users/macstudio4/.hermes/scripts/seo_geo_experiment_cycle.py`
- `HeyGen`: `runtime_adapter_reference_found_core_contract_passed` at `/Users/macstudio4/.hermes-tnmc/skills/tnmc-paid-tools/scripts/provider_adapter.py`
- `Higgsfield`: `runtime_adapter_reference_found_core_contract_passed` at `/Users/macstudio4/.hermes-tnmc/skills/tnmc-paid-tools/scripts/provider_adapter.py`
- `Hunter`: `runtime_adapter_reference_found_core_contract_passed` at `/Users/macstudio4/.hermes/scripts/hunter_adapter.py`
- `Mobbin`: `runtime_adapter_reference_found_core_contract_passed` at `/Users/macstudio4/.hermes/scripts/mobbin_design_reference_mcp.py`
- `Places`: `runtime_adapter_reference_found_core_contract_passed` at `/Users/macstudio4/.hermes-tnmc/skills/tnmc-paid-tools/scripts/provider_adapter.py`

## Exact missing acceptance


All local deterministic acceptance criteria, including the independent native Inspector receipt, are satisfied. The native Board readback is proven; it is not a provider-call canary.

## Rollback

Disable only the clean SQLite candidate and any unsupported clean adapters. Production ledgers, budgets, subscriptions, and Board history remain untouched.