Система управления предприятием нового поколения на Haskell с формальной верификацией

# Build project
stack build Surypus

# Run tests
stack test

• Surypus.CoreTypes - Business types
• Surypus.JWT - Authentication tokens
• Surypus.RBAC - Role-based access control (33 permissions)

• DAL.Database - Connection pool management (Hasql)
• DAL.EventStore - Event sourcing
• DAL.Types - Shared data types

• Inventory.Goods - Product catalog
• Inventory.Stock - Stock levels
• Inventory.Location - Warehouses

• Finance.Accounting - General ledger
• Finance.Ledger - Journal entries
• Finance.Tax - Tax calculations

• Surypus.WebSocket - Real-time notifications
• Infrastructure.Encryption - Password hashing

• Haskell (GHC 9.8.4)
• Hasql 1.10 + PostgreSQL
• Scotty/Servant REST API
• LiquidHaskell (optional verification)

Last autonomous cycle: 11/12 phases complete