Rental fleet units
Demo snapshot — build-time-generated from recreationalrentalops.store via recreationalrentalops.render-html (clojure -M:dev:render-html), regenerated nightly.
| Unit | Name | Registration status | Last coordination status |
|---|---|---|---|
| unit-1 | Downhill ski set, 170cm, adjustable bindings | registered & verified | committed |
| unit-2 | Aluminum-frame trail bike, medium | registered & verified | committed |
| unit-3 | Inflatable kayak w/ paddle, awaiting post-return inspection | registered, unverified | HARD hold · asset-unverified |
Action gate (Recreational Rental Governor)
HARD holds cannot be overridden. Certifying a returned unit safe to re-rent without inspection, and overriding equipment-safety-authority decisions, are 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 and under cost threshold · ALWAYS human approval above threshold |
:flag-equipment-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 | Unit | Basis |
|---|---|---|---|
| governor-hold | schedule-fleet-operation | unit-1 | effect-not-propose |
| governor-hold | log-rental-record | unit-2 | scope-excluded |
| governor-hold | log-rental-record | unit-3 | asset-unverified |
| committed | log-rental-record | unit-1 | unit-1 |
| committed | schedule-fleet-operation | unit-1 | unit-1 |
| committed | coordinate-fleet-restock | unit-1 | unit-1 |
| committed | flag-equipment-safety-concern | unit-2 | unit-2 |