Production batches
Demo snapshot — build-time-generated from tyremfg.store via tyremfg.render-html (clojure -M:dev:render-html), regenerated nightly. Shipped/Quantity and Verified/Registered columns are ground truth the governor independently re-derives -- never trusted from a proposal's own report.
| Batch | Category | Size | Load idx | Shipped / Qty (units) | Defect rate | Verified | Registered | Last op status |
|---|---|---|---|---|---|---|---|---|
| batch-001 | passenger | 205/55R16 | 91 | 1500.0 / 5000.0 | 1.1% | yes | yes | committed |
| batch-002 | truck-bus | 295/80R22.5 | 152 | 750.0 / 800.0 | 0.4% | yes | yes | no activity |
| batch-003 | light-truck | 225/75R16 | 115 | 0.0 / 6000.0 | 2.3% | no | no | no activity |
Building / curing-line equipment
| Equipment | Kind | Verified | Registered |
|---|---|---|---|
| builder-001 | tyre-building-machine | yes | yes |
| curing-press-002 | curing-press | no | no |
Action gate (Tyre Plant Operations Governor)
HARD holds cannot be overridden by any phase or human approval. Line actuation and self-issued DOT/ECE certification are permanently blocked, unconditionally.
| Op | Gate |
|---|---|
:log-production-batch | auto-commit when clean, phase-3 · tyre-category/load-index/defect-rate independently validated |
:schedule-maintenance | ALWAYS human approval (never auto-eligible) · equipment verified/registered independently re-checked · double-schedule blocked · line actuation PERMANENTLY blocked |
:flag-safety-concern | ALWAYS human approval (high-stakes, regardless of confidence) |
:coordinate-shipment | ALWAYS human approval · batch verified/registered independently re-checked · shipment quantity independently recomputed · robot bead-wire pull-out simulation independently re-verified |
Audit ledger (this run)
Append-only decision-fact log — every proposal, hold and commit this scenario produced.
| Fact | Op | Subject | Basis |
|---|---|---|---|
| committed | log-production-batch | batch-001 | tyre-category, last-assessed |
| committed | schedule-maintenance | mnt-1 | builder-001 |
| committed | flag-safety-concern | concern-1 | builder-001 |
| committed | coordinate-shipment | ship-1 | batch-001 |
| governor-hold | schedule-maintenance | mnt-2 | equipment-not-verified |
| governor-hold | coordinate-shipment | ship-2 | batch-not-verified, robotics-simulation-missing |
| governor-hold | coordinate-shipment | ship-3 | shipment-quantity-exceeded |
| governor-hold | schedule-maintenance | mnt-3 | line-actuate-blocked |