Facilities
Demo snapshot — build-time-generated from facility.store via facility.render-html (clojure -M:dev:render-html), regenerated nightly.
| Facility | Name | Jurisdiction | Current occupancy | Maximum capacity | Inspection | Authorization | Last op status |
|---|---|---|---|---|---|---|---|
| facility-1 | Sakura Community Gymnasium | JPN | 500 | 1000 | passed | authorized · JPN-AUT-000000 | committed |
| facility-2 | Unregistered Arena | ATL | 500 | 1000 | passed | not authorized | HARD hold · no-spec-basis |
| facility-3 | Overcrowded Stadium | JPN | 1200 | 1000 | passed | not authorized | HARD hold · occupancy-exceeds-capacity |
| facility-4 | Inspection-Flagged Pool | JPN | 500 | 1000 | not passed | not authorized | HARD hold · inspection-not-passed |
Draft facility-use-authorization records
Unsigned drafts only — the venue operator's own act of signing is outside this actor's authority (see README Actuation).
| Record id | Facility | Jurisdiction | Status |
|---|---|---|---|
| JPN-AUT-000000 | facility-1 | JPN | immutable draft |
Action gate (Facility Safety Governor)
HARD holds cannot be overridden by a human approver. Jurisdiction spec-basis, safety-evidence completeness, occupancy-vs-capacity and post-hold inspection status are independently recomputed, never trusted from the advisor's proposal; a real facility-use authorization is always a human venue operator's call, at every rollout phase.
| Op | Gate |
|---|---|
:facility/intake | phase-3 auto-commit when clean, no capital risk yet -- the ONLY auto-eligible op in this domain |
:jurisdiction/assess | ALWAYS human approval · spec-basis independently checked against facility.facts, never fabricated |
:inspection/screen | ALWAYS human approval when clean · a not-passed post-hold inspection (reported now, or already on file) is a HARD, un-overridable hold instead |
:facility/authorize-use | ALWAYS human approval · real public-safety-critical act (actuation/authorize-facility-use) · evidence-completeness + independently recomputed occupancy-vs-capacity + double-authorization guard enforced, never auto at any phase |
Audit ledger (this run)
Append-only decision-fact log — every proposal, hold and commit this scenario produced.
| Fact | Op | Subject | Basis |
|---|---|---|---|
| committed | intake | facility-1 | id, facility-name |
| committed | assess | facility-1 | 消防法 (Fire Service Act), https://www.fdma.go.jp/ |
| committed | screen | facility-1 | safety-check |
| committed | authorize-use | facility-1 | facility-1 |
| governor-hold | assess | facility-2 | no-spec-basis |
| committed | assess | facility-3 | 消防法 (Fire Service Act), https://www.fdma.go.jp/ |
| governor-hold | authorize-use | facility-3 | occupancy-exceeds-capacity |
| governor-hold | screen | facility-4 | inspection-not-passed |