mirror of
https://github.com/johndoe6345789/metabuilder.git
synced 2026-04-25 14:25:02 +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.
112 lines
3.0 KiB
JSON
112 lines
3.0 KiB
JSON
{
|
|
"$schema": "https://metabuilder.dev/schemas/json-script.schema.json",
|
|
"schemaVersion": "2.2.0",
|
|
"package": "database_manager",
|
|
"description": "Database management functions for export, import, statistics, and operations",
|
|
"functions": [
|
|
{
|
|
"id": "db_get_statistics",
|
|
"name": "getStatistics",
|
|
"exported": true,
|
|
"description": "Retrieve database statistics including record counts for all entities",
|
|
"category": "statistics",
|
|
"luaScript": "statistics.lua"
|
|
},
|
|
{
|
|
"id": "db_get_entity_count",
|
|
"name": "getEntityCount",
|
|
"exported": true,
|
|
"description": "Get record count for a specific entity",
|
|
"category": "statistics",
|
|
"luaScript": "statistics.lua"
|
|
},
|
|
{
|
|
"id": "db_export_all",
|
|
"name": "exportDatabase",
|
|
"exported": true,
|
|
"description": "Export all database data to JSON format",
|
|
"category": "export",
|
|
"luaScript": "export.lua"
|
|
},
|
|
{
|
|
"id": "db_export_entity",
|
|
"name": "exportEntity",
|
|
"exported": true,
|
|
"description": "Export a specific entity's data to JSON",
|
|
"category": "export",
|
|
"luaScript": "export.lua"
|
|
},
|
|
{
|
|
"id": "db_import_all",
|
|
"name": "importDatabase",
|
|
"exported": true,
|
|
"description": "Import database data from JSON format",
|
|
"category": "import",
|
|
"luaScript": "import.lua"
|
|
},
|
|
{
|
|
"id": "db_validate_import",
|
|
"name": "validateImportData",
|
|
"exported": true,
|
|
"description": "Validate import data before applying",
|
|
"category": "import",
|
|
"luaScript": "import.lua"
|
|
},
|
|
{
|
|
"id": "db_initialize",
|
|
"name": "initializeDatabase",
|
|
"exported": true,
|
|
"description": "Initialize database with default schema and seed data",
|
|
"category": "operations",
|
|
"luaScript": "operations.lua"
|
|
},
|
|
{
|
|
"id": "db_clear",
|
|
"name": "clearDatabase",
|
|
"exported": true,
|
|
"description": "Clear all data from the database",
|
|
"category": "operations",
|
|
"luaScript": "operations.lua"
|
|
},
|
|
{
|
|
"id": "db_vacuum",
|
|
"name": "vacuumDatabase",
|
|
"exported": true,
|
|
"description": "Optimize database by reclaiming unused space",
|
|
"category": "operations",
|
|
"luaScript": "operations.lua"
|
|
},
|
|
{
|
|
"id": "db_get_entities",
|
|
"name": "getEntities",
|
|
"exported": true,
|
|
"description": "Get list of all database entities with metadata",
|
|
"category": "schema",
|
|
"luaScript": "schema.lua"
|
|
},
|
|
{
|
|
"id": "db_get_entity_schema",
|
|
"name": "getEntitySchema",
|
|
"exported": true,
|
|
"description": "Get schema definition for a specific entity",
|
|
"category": "schema",
|
|
"luaScript": "schema.lua"
|
|
}
|
|
],
|
|
"exports": {
|
|
"functions": [
|
|
"getStatistics",
|
|
"getEntityCount",
|
|
"exportDatabase",
|
|
"exportEntity",
|
|
"importDatabase",
|
|
"validateImportData",
|
|
"initializeDatabase",
|
|
"clearDatabase",
|
|
"vacuumDatabase",
|
|
"getEntities",
|
|
"getEntitySchema"
|
|
]
|
|
}
|
|
}
|