5 Commits

Author	SHA1	Message	Date
johndoe6345789	862cc29457	various changes	2026-03-09 22:30:41 +00:00
johndoe6345789	3ec49cfe8c	feat: Introduce schema-driven package system specification ... - Added `package_system.tla` to model the schema-driven package system, including multi-source loading, validation, dependency resolution, and permission filtering. - Created `package_system.cfg` for TLC model checker configuration, defining constants and invariants for bounded model checking. - Updated `metabuilder.tla` to reflect the core specification of MetaBuilder, emphasizing the package lifecycle and related specifications.	2026-01-02 21:59:59 +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
johndoe6345789	919f8f2948	fix: guard package consistency quantifier	2025-12-27 15:27:21 +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