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.
72 lines
1.9 KiB
JSON
72 lines
1.9 KiB
JSON
{
|
|
"$schema": "https://metabuilder.dev/schemas/permissions.schema.json",
|
|
"schemaVersion": "1.0.0",
|
|
"package": "database_manager",
|
|
"description": "Database manager access permissions - SuperGod level only",
|
|
"permissions": [
|
|
{
|
|
"id": "database.view",
|
|
"name": "View Database Statistics",
|
|
"description": "View database statistics and schema information",
|
|
"resource": "database",
|
|
"action": "read",
|
|
"scope": "global",
|
|
"minLevel": 5
|
|
},
|
|
{
|
|
"id": "database.export",
|
|
"name": "Export Database",
|
|
"description": "Export database data to JSON",
|
|
"resource": "database",
|
|
"action": "export",
|
|
"scope": "global",
|
|
"minLevel": 5
|
|
},
|
|
{
|
|
"id": "database.import",
|
|
"name": "Import Database",
|
|
"description": "Import database data from JSON",
|
|
"resource": "database",
|
|
"action": "import",
|
|
"scope": "global",
|
|
"minLevel": 5
|
|
},
|
|
{
|
|
"id": "database.initialize",
|
|
"name": "Initialize Database",
|
|
"description": "Initialize database with migrations and seed data",
|
|
"resource": "database",
|
|
"action": "initialize",
|
|
"scope": "global",
|
|
"minLevel": 5
|
|
},
|
|
{
|
|
"id": "database.clear",
|
|
"name": "Clear Database",
|
|
"description": "Clear all data from the database",
|
|
"resource": "database",
|
|
"action": "delete",
|
|
"scope": "global",
|
|
"minLevel": 6
|
|
},
|
|
{
|
|
"id": "database.vacuum",
|
|
"name": "Vacuum Database",
|
|
"description": "Optimize database storage",
|
|
"resource": "database",
|
|
"action": "manage",
|
|
"scope": "global",
|
|
"minLevel": 5
|
|
}
|
|
],
|
|
"resources": [
|
|
{
|
|
"id": "database",
|
|
"name": "Database",
|
|
"type": "system",
|
|
"description": "Database administration resources",
|
|
"actions": ["read", "export", "import", "initialize", "delete", "manage"]
|
|
}
|
|
]
|
|
}
|