- Added `jsonScript` property to metadata schema for JSON script entry points.
- Refactored `generate-package.ts` to replace Lua scripts with JSON scripts for lifecycle hooks.
- Updated test generation to use JSON format for metadata validation.
- Modified documentation and comments to reflect the transition from Lua to JSON scripting.
- Adjusted Storybook configuration and mock data to align with new JSON script structure.
- Renamed relevant files and references from Lua to JSON for consistency across the project.
- Revised architecture alignment in README.md to reference JSON package format.
- Enhanced SUMMARY.md with detailed specifications for workflow, collaboration, and integration systems.
- Updated package_system.tla to include JSON package format and manifest path.
- Modified validate-specs.sh to include package_system.tla in validation checks.
- 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.
- 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>
