Mine sites
Demo snapshot — build-time-generated from coalops.store via coalops.render-html (clojure -M:dev:render-html), regenerated nightly.
| Site | Name | Registration status | Last coordination status |
|---|---|---|---|
| coal-mine-1 | Northern Coal Mine | registered & verified | committed |
| coal-mine-2 | Eastern Coal Mine | registered & verified | HARD hold · scope-excluded |
| coal-mine-3 | Southern Coal Mine (permit lapsed) | registered, unverified | HARD hold · unverified site |
Action gate (CoalMiningGovernor)
HARD holds cannot be overridden. Extraction sequencing, blasting/drilling/cutting schedules, ventilation/gas-monitoring control and mine-safety-authority decisions are permanently out of scope — see governor scope-exclusion.
| Op | Gate |
|---|---|
:log-production-record | phase-3 auto when clean |
:schedule-maintenance | phase-3 auto when clean |
:coordinate-shipment | phase-3 auto when clean |
:flag-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 | Site | Basis |
|---|---|---|---|
| committed | log-production-record | coal-mine-1 | coal-mine-1 |
| committed | schedule-maintenance | coal-mine-1 | coal-mine-1 |
| committed | coordinate-shipment | coal-mine-1 | coal-mine-1 |
| committed | flag-safety-concern | coal-mine-1 | coal-mine-1 |
| governor-hold | coordinate-shipment | coal-mine-2 | effect-not-propose |
| governor-hold | schedule-maintenance | coal-mine-2 | scope-excluded |
| governor-hold | log-production-record | coal-mine-3 | site-unverified |