3 Commits

Author	SHA1	Message	Date
johndoe6345789	862cc29457	various changes	2026-03-09 22:30:41 +00:00
JohnDoe6345789	cfa1e5bfee	feat: add new icon components including Envelope, ChatCircle, HardDrives, WarningCircle, CheckCircle, XCircle, TrendUp, ShieldWarning, LockKey, Crown, Sparkle, BookOpen, Tree, Broom, Export, UploadSimple, Funnel, FunnelSimple, MapTrifold, PushPinSimple, Buildings, GithubLogo, and GoogleLogo	2025-12-30 12:21:15 +00:00
copilot-swe-agent[bot]	cbb257d914	Add formal TLA+ specification for MetaBuilder ... - Created spec/metabuilder.tla with comprehensive formal specification - Modeled 6-level permission system (Public → User → Moderator → Admin → God → Supergod) - Defined multi-tenant data isolation invariants - Specified DBAL state machine with security properties - Included package management operations - Added safety properties: TenantIsolation, PermissionEnforcement, DataConsistency - Added liveness properties: EventualProcessing, EventualRecovery - Created spec/metabuilder.cfg for TLC model checker configuration - Added spec/README.md with comprehensive documentation and usage guide Co-authored-by: johndoe6345789 <224850594+johndoe6345789@users.noreply.github.com>	2025-12-27 01:59:07 +00:00