Layout & Slotting
activeCP-SAT optimisation: SKU→location and vehicle→dock assignment.
- Model COI/ABC, one SKU per slot
- Limit ignores the location's capacity
Modules
Each is an independent service: if one falls, the others stay up.
Digital Twin
stubPhysical site assets with geometric lineage, CAD export for the layout.
- State contract defined, logic still to be ported
Geometry acquisition
stubTwo interchangeable strategies: ArUco markers and radial markers (LiDAR).
- Choice no convergence on a single method
Simulation & Analytics
stubDiscrete-event engine; theoretical versus observed movement comparison.
- Ready movement contract (planned/executed/detected)
Contracts between layers
Il minimo perché due moduli si capiscano senza leggere il codice dell'altro.
| Contract | What it guarantees | State |
|---|---|---|
| Identità | tenant / cliente / proprietario / sito, versione dell'aggregato | in code |
| Busta eventi | business time ≠ recorded time; causal chain | in code |
| Errore | one shape for every 4xx/5xx, with retryable | in code |
| Provenienza | nessun valore senza lineage; un'assunzione senza nota è rifiutata | in code |
| Movimento | planned / executed / detected kept apart | in code |
| CAD as-is | geometry transfer from the Digital Twin | to decide |