Routes
Demo snapshot — build-time-generated from transitops.store via transitops.render-html (clojure -M:dev:render-html), regenerated nightly.
| Route | Name | Registered | Verified | Last op status |
|---|---|---|---|---|
| route-1 | Route 12 - Downtown Loop (city bus) | yes | yes | committed |
| route-2 | Suburban Tram Line B | yes | yes | HARD hold · operator-unverified |
| route-3 | Pilot BRT Corridor (in intake) | yes | no | HARD hold · route-unverified |
Vehicles
| Vehicle | Name | Registered | Verified (roadworthiness) |
|---|---|---|---|
| vehicle-1 | Bus Unit 204 | yes | yes |
| vehicle-2 | Tram Unit 12 (roadworthiness inspection expired) | yes | no |
Operators (drivers)
| Operator | Name | Registered | Verified (license) |
|---|---|---|---|
| operator-1 | Driver A. Tanaka | yes | yes |
| operator-2 | Driver B. Ishikawa (license renewal pending) | yes | no |
Action gate (Urban Transit Dispatch Governor)
HARD holds cannot be overridden. Route/vehicle/operator status is independently re-derived from the store, never trusted from a proposal. Directly finalizing a dispatch-safety-clearance decision or determining driver fitness-to-drive is permanently out of scope.
| Op | Gate |
|---|---|
:log-service-record | auto-commit when clean, phase 3 |
:schedule-dispatch-operation | auto-commit when clean · vehicle + operator independently verified |
:coordinate-maintenance-order | auto-commit below cost threshold · ALWAYS human approval above it |
: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 | Route | Basis |
|---|---|---|---|
| committed | log-service-record | route-1 | route-1 |
| committed | schedule-dispatch-operation | route-1 | route-1 |
| committed | coordinate-maintenance-order | route-1 | route-1 |
| committed | coordinate-maintenance-order | route-1 | route-1 |
| committed | flag-safety-concern | route-1 | route-1 |
| governor-hold | log-service-record | route-99 | route-unverified |
| governor-hold | log-service-record | route-3 | route-unverified |
| governor-hold | schedule-dispatch-operation | route-2 | vehicle-unverified |
| governor-hold | schedule-dispatch-operation | route-2 | operator-unverified |