Rental accounts
Demo snapshot — build-time-generated from vehiclerentalops.store via vehiclerentalops.render-html (clojure -M:dev:render-html), regenerated nightly.
| Account | Name | Roster status | Last op status |
|---|---|---|---|
| account-1 | Kanda Motors Rental -- Branch 1 (fleet desk account) | registered & verified | HARD hold · scope-excluded |
| account-2 | Shibuya Branch -- Branch 2 (fleet desk account) | registered & verified | HARD hold · effect-not-propose |
| account-3 | Ikebukuro Branch -- pending ID/insurance verification | registered, unverified | HARD hold · account-unverified |
Action gate (Vehicle Rental Governor)
HARD holds cannot be overridden. Finalizing a driver-eligibility override or a vehicle-safety-clearance decision is permanently out of scope -- see governor scope-exclusion.
| Op | Gate |
|---|---|
:log-rental-record | phase-3 auto when clean |
:schedule-fleet-operation | phase-3 auto when clean |
:coordinate-fleet-restock | phase-3 auto when clean |
:flag-vehicle-safety-concern | ALWAYS human approval · never auto, any phase |
Audit ledger (this run)
Append-only decision-fact log — every proposal, hold and commit this scenario produced.
| Fact | Op | Account | Basis |
|---|---|---|---|
| committed | log-rental-record | account-1 | account-1 |
| committed | log-rental-record | account-1 | account-1 |
| committed | schedule-fleet-operation | account-2 | account-2 |
| committed | coordinate-fleet-restock | account-1 | account-1 |
| committed | flag-vehicle-safety-concern | account-1 | account-1 |
| governor-hold | log-rental-record | account-3 | account-unverified |
| governor-hold | schedule-fleet-operation | account-2 | effect-not-propose |
| governor-hold | log-rental-record | account-1 | scope-excluded |