Vehicles (coaches)
Demo snapshot — build-time-generated from intercitycoachops.store via intercitycoachops.render-html (clojure -M:dev:render-html), regenerated nightly.
| Vehicle | Name | Route | Operator license | Registered | Verified | Last op status |
|---|---|---|---|---|---|---|
| coach-1 | Highline Express Coach 12 | City A <-> City B intercity express | OL-2201 | yes | yes | committed |
| coach-2 | Summit Charter Coach 7 | Charter / on-demand | OL-2340 | yes | yes | HARD hold · provider-unverified |
| coach-3 | Northline Coach 3 (pending route certification) | City C <-> City D | OL-2399 | yes | no | HARD hold · vehicle-unverified |
Maintenance providers
| Provider | Name | Registered | Verified |
|---|---|---|---|
| provider-1 | Trailhead Coach Maintenance Depot | yes | yes |
| provider-2 | Unverified Roadside Garage Co. | yes | no |
Action gate (Intercity Coach Governor)
HARD holds cannot be overridden. Vehicle/route/operator-license and maintenance-provider status is independently re-derived from the store, never trusted from a proposal. Directly finalizing a dispatch-safety-clearance or driver-fitness-to-drive determination is permanently out of scope.
| Op | Gate |
|---|---|
:log-service-record | auto-commit when clean, phase 3 |
:schedule-dispatch-operation | auto-commit when clean · vehicle/route/operator-license independently verified |
:coordinate-maintenance-order | auto-commit below cost threshold · provider independently verified · ALWAYS human approval above cost threshold |
:flag-safety-concern | ALWAYS human approval, any phase |
Audit ledger (this run)
Append-only decision-fact log — every proposal, hold and commit this scenario produced.
| Fact | Op | Vehicle | Basis |
|---|---|---|---|
| committed | log-service-record | coach-1 | coach-1 |
| committed | schedule-dispatch-operation | coach-1 | coach-1 |
| committed | coordinate-maintenance-order | coach-1 | coach-1 |
| committed | coordinate-maintenance-order | coach-1 | coach-1 |
| committed | flag-safety-concern | coach-1 | coach-1 |
| governor-hold | log-service-record | coach-99 | vehicle-unverified |
| governor-hold | log-service-record | coach-3 | vehicle-unverified |
| governor-hold | coordinate-maintenance-order | coach-2 | provider-unverified |