soma.cell

Programs: logistics

15 verified Soma programs in the logistics domain. Each page shows the source and what soma check, soma test, soma verify and soma run printed on it.

ProgramLinesUses
Bonded warehouse — no duty, no exit125a state machine, a memory invariant, try / catch
Cold-chain custody — a warm vaccine never gets cold again105a state machine, a memory invariant, try / catch
Container seal — a broken seal cannot be quietly replaced108a state machine, a memory invariant, match, try / catch
Container weight — the misdeclared box that breaks the ship97a state machine, a memory invariant, try / catch
Customs clearance — no release without an examination verdict112a state machine, a memory invariant, try / catch
Dock door interlock — the trailer that drives off with the forklift86a state machine, try / catch
Gate appointments — a dock door cannot be double-booked100a memory invariant
Hazmat bay segregation — Beirut, as a state that cannot exist120a state machine, a memory invariant, try / catch
Inventory conservation — stock never teleports, never goes negative92a memory invariant, pipes (|>), try / catch, lambdas
Package tracking — delivered is FOREVER84a state machine, a memory invariant, try / catch
Proof of delivery — no signature, no "delivered"105a state machine, try / catch
Rack slot capacity — the pallet that brings down the aisle85a memory invariant, try / catch
Recall quarantine — the recalled lot that ships anyway110a state machine, a memory invariant, try / catch
Reefer setpoint — the typo that thaws forty tonnes of tuna111a state machine, a memory invariant, try / catch
Uld loadmaster — National Airlines 102, refused at the manifest111a state machine, a memory invariant, try / catch