- Added 3 admin user management components to user_manager package:
* user_list_admin: Table with search, filter, pagination, and CRUD actions
* user_form: Create/edit form with role-based permission levels
* user_detail: Detailed user view with profile info and action buttons
- Added 2 admin package manager components to package_manager package:
* package_list_admin: Table of all packages with install/uninstall/enable/disable
* package_detail_modal: Modal dialog with full package metadata
All components use fakemui Material Design components and follow declarative
JSON pattern with template expressions. Enables admin-level functionality for
user and package management at /admin/users and /admin/packages routes.
Co-Authored-By: Claude Haiku 4.5 <noreply@anthropic.com>
- 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.
