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.
91 lines
2.2 KiB
JSON
91 lines
2.2 KiB
JSON
{
|
|
"$schema": "https://metabuilder.dev/schemas/package-storybook.schema.json",
|
|
"featured": true,
|
|
"title": "Theme Editor Components",
|
|
"description": "Theme customization with colors, fonts, and preview",
|
|
"stories": [
|
|
{
|
|
"name": "ColorPaletteEditor",
|
|
"render": "palette",
|
|
"description": "Color palette with light/dark mode",
|
|
"args": {
|
|
"colorMode": "light",
|
|
"colorGroups": [
|
|
{
|
|
"name": "Primary Colors",
|
|
"colors": [
|
|
{ "key": "primary", "label": "Primary", "value": "#1976d2" },
|
|
{ "key": "secondary", "label": "Secondary", "value": "#9c27b0" }
|
|
]
|
|
},
|
|
{
|
|
"name": "Status Colors",
|
|
"colors": [
|
|
{ "key": "success", "label": "Success", "value": "#2e7d32" },
|
|
{ "key": "error", "label": "Error", "value": "#d32f2f" },
|
|
{ "key": "warning", "label": "Warning", "value": "#ed6c02" }
|
|
]
|
|
}
|
|
]
|
|
}
|
|
},
|
|
{
|
|
"name": "ColorPicker",
|
|
"render": "picker",
|
|
"description": "Single color picker input",
|
|
"args": {
|
|
"label": "Primary Color",
|
|
"value": "#1976d2"
|
|
}
|
|
},
|
|
{
|
|
"name": "FontSelector",
|
|
"render": "fonts",
|
|
"description": "Typography configuration",
|
|
"args": {
|
|
"fonts": {
|
|
"body": "IBM Plex Sans",
|
|
"heading": "Space Grotesk",
|
|
"code": "JetBrains Mono"
|
|
},
|
|
"borderRadius": 8
|
|
}
|
|
},
|
|
{
|
|
"name": "ThemePreview",
|
|
"render": "preview",
|
|
"description": "Live theme preview",
|
|
"args": {
|
|
"compact": false
|
|
}
|
|
}
|
|
],
|
|
"renders": {
|
|
"palette": {
|
|
"description": "Color palette editor",
|
|
"featured": true
|
|
},
|
|
"picker": {
|
|
"description": "Color picker"
|
|
},
|
|
"fonts": {
|
|
"description": "Font selector"
|
|
},
|
|
"preview": {
|
|
"description": "Theme preview"
|
|
}
|
|
},
|
|
"defaultContext": {
|
|
"user": {
|
|
"id": "moderator-user",
|
|
"username": "moderator",
|
|
"level": 3,
|
|
"email": "mod@example.com"
|
|
},
|
|
"tenant": {
|
|
"id": "demo-tenant",
|
|
"name": "Demo Organization"
|
|
}
|
|
}
|
|
}
|