mirror of
https://github.com/johndoe6345789/metabuilder.git
synced 2026-04-24 22:04:56 +00:00
johndoe6345789
3ec49cfe8c
- 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.
40 lines
934 B
JSON
40 lines
934 B
JSON
{
|
|
"$schema": "https://metabuilder.dev/schemas/package-metadata.schema.json",
|
|
"packageId": "package_manager",
|
|
"name": "Package Manager",
|
|
"version": "1.0.0",
|
|
"description": "Package lifecycle management including install, uninstall, enable/disable, and dependency visualization",
|
|
"author": "MetaBuilder",
|
|
"license": "MIT",
|
|
"category": "tools",
|
|
"icon": "static_content/icon.svg",
|
|
"minLevel": 4,
|
|
"primary": true,
|
|
"keywords": ["packages", "install", "dependencies", "management", "registry"],
|
|
"dependencies": {
|
|
"data_table": "*",
|
|
"ui_permissions": "*"
|
|
},
|
|
"devDependencies": {
|
|
"testing": "*"
|
|
},
|
|
"exports": {
|
|
"components": [
|
|
"PackageManager",
|
|
"PackageBrowser",
|
|
"PackageCard",
|
|
"PackageDetails",
|
|
"DependencyViewer"
|
|
],
|
|
"scripts": [
|
|
"packages",
|
|
"dependencies"
|
|
]
|
|
},
|
|
"tests": {
|
|
"suites": [
|
|
"tests/metadata.test.json"
|
|
]
|
|
}
|
|
}
|