mirror of
https://github.com/johndoe6345789/metabuilder.git
synced 2026-04-24 13:54:57 +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.
23 lines
559 B
JSON
23 lines
559 B
JSON
{
|
|
"$schema": "https://metabuilder.dev/schemas/package-styles.schema.json",
|
|
"schemaVersion": "2.0.0",
|
|
"colors": {
|
|
"statUsers": "#2196f3",
|
|
"statSchemas": "#4caf50",
|
|
"statPackages": "#ff9800",
|
|
"statTenants": "#00bcd4",
|
|
"dangerZone": "#f44336",
|
|
"exportSuccess": "#4caf50",
|
|
"importWarning": "#ff9800"
|
|
},
|
|
"spacing": {
|
|
"panelPadding": "24px",
|
|
"cardGap": "16px",
|
|
"statCardPadding": "20px"
|
|
},
|
|
"shadows": {
|
|
"statsCard": "0 2px 8px rgba(0, 0, 0, 0.1)",
|
|
"operationCard": "0 1px 4px rgba(0, 0, 0, 0.08)"
|
|
}
|
|
}
|