mirror of
https://github.com/johndoe6345789/metabuilder.git
synced 2026-04-25 06:14:59 +00:00
- 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.
92 lines
2.1 KiB
JSON
92 lines
2.1 KiB
JSON
{
|
|
"$schema": "https://metabuilder.dev/schemas/test-parameters.schema.json",
|
|
"schemaVersion": "2.0.0",
|
|
"package": "component_editor",
|
|
"description": "Parameterized test data for component editor tests",
|
|
|
|
"parameters": {
|
|
"sampleTrees": [
|
|
{
|
|
"id": "simple",
|
|
"name": "Simple Tree",
|
|
"tree": {
|
|
"id": "root",
|
|
"type": "Box",
|
|
"props": {},
|
|
"children": [
|
|
{
|
|
"id": "child1",
|
|
"type": "Typography",
|
|
"props": { "variant": "h5" },
|
|
"children": []
|
|
}
|
|
]
|
|
}
|
|
},
|
|
{
|
|
"id": "nested",
|
|
"name": "Nested Tree",
|
|
"tree": {
|
|
"id": "root",
|
|
"type": "Box",
|
|
"props": {},
|
|
"children": [
|
|
{
|
|
"id": "level1",
|
|
"type": "Paper",
|
|
"props": {},
|
|
"children": [
|
|
{
|
|
"id": "level2",
|
|
"type": "Stack",
|
|
"props": {},
|
|
"children": [
|
|
{
|
|
"id": "level3",
|
|
"type": "Button",
|
|
"props": {},
|
|
"children": []
|
|
}
|
|
]
|
|
}
|
|
]
|
|
}
|
|
]
|
|
}
|
|
}
|
|
],
|
|
"componentCatalog": [
|
|
{
|
|
"name": "Layout",
|
|
"components": ["Box", "Grid", "Stack", "Container"]
|
|
},
|
|
{
|
|
"name": "Surfaces",
|
|
"components": ["Paper", "Card", "Accordion"]
|
|
},
|
|
{
|
|
"name": "Inputs",
|
|
"components": ["TextField", "Button", "Checkbox", "Select"]
|
|
},
|
|
{
|
|
"name": "Display",
|
|
"components": ["Typography", "Icon", "Avatar", "Chip"]
|
|
}
|
|
],
|
|
"moveOperations": [
|
|
{
|
|
"fromId": "child1",
|
|
"toParentId": "root",
|
|
"position": 0,
|
|
"expectedSuccess": true
|
|
},
|
|
{
|
|
"fromId": "nonexistent",
|
|
"toParentId": "root",
|
|
"position": 0,
|
|
"expectedSuccess": false
|
|
}
|
|
]
|
|
}
|
|
}
|