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

879 B

Raw Permalink Blame History

View Raw