zos_dashboard_config.json

{
  "dashboard": {
    "name": "zkPrologML",
    "version": "0.1.0",
    "description": "Monster Group Knowledge System",
    "icon": "\ud83d\udd2e"
  },
  "widgets": [
    {
      "id": "stats",
      "type": "stats-grid",
      "title": "System Statistics",
      "data": {
        "files_indexed": 8017192,
        "monster_shards": 71,
        "entities_unified": 42,
        "theorems_proven": 10,
        "master_parquet_mb": 250,
        "prediction_accuracy": 99.6
      }
    },
    {
      "id": "graph",
      "type": "image",
      "title": "Monster Group Visualization",
      "src": "/data/proofs/monster_graph.png",
      "description": "Graph partitioned along Monster Group shards"
    },
    {
      "id": "theorems",
      "type": "list",
      "title": "Proven Theorems",
      "items": [
        {
          "name": "eigenvector_in_monster",
          "system": "Lean4",
          "status": "proven"
        },
        {
          "name": "transform_preserves_monster",
          "system": "Lean4",
          "status": "proven"
        },
        {
          "name": "eigenvector_is_automorphic",
          "system": "Lean4",
          "status": "proven"
        },
        {
          "name": "classify_total",
          "system": "Lean4",
          "status": "proven"
        },
        {
          "name": "classify_deterministic",
          "system": "Lean4",
          "status": "proven"
        },
        {
          "name": "classes_disjoint",
          "system": "Lean4",
          "status": "proven"
        },
        {
          "name": "all_godel_valid",
          "system": "Prolog",
          "status": "proven"
        },
        {
          "name": "godel_equals_shard",
          "system": "Prolog",
          "status": "proven"
        },
        {
          "name": "usage_graph_acyclic",
          "system": "Prolog",
          "status": "proven"
        },
        {
          "name": "table_complete",
          "system": "Prolog",
          "status": "proven"
        }
      ]
    },
    {
      "id": "classes",
      "type": "table",
      "title": "Natural Classes Distribution",
      "columns": [
        "Class",
        "Files",
        "Sum Range",
        "Percentage"
      ],
      "rows": [
        [
          "very_low",
          "2,019,433",
          "3-49",
          "25.19%"
        ],
        [
          "low",
          "2,029,679",
          "50-85",
          "25.32%"
        ],
        [
          "medium",
          "1,976,504",
          "86-120",
          "24.65%"
        ],
        [
          "high",
          "1,635,690",
          "121-149",
          "20.40%"
        ],
        [
          "very_high",
          "355,886",
          "150-173",
          "4.44%"
        ]
      ]
    },
    {
      "id": "systems",
      "type": "list",
      "title": "Knowledge Systems",
      "items": [
        {
          "name": "OEIS",
          "shard": 0,
          "description": "Integer Sequences"
        },
        {
          "name": "LMFDB",
          "shard": 1,
          "description": "Modular Forms"
        },
        {
          "name": "Zoo",
          "shard": 2,
          "description": "Complexity Theory"
        },
        {
          "name": "GitHub",
          "shard": 3,
          "description": "Source Code"
        },
        {
          "name": "HuggingFace",
          "shard": 4,
          "description": "ML Models"
        },
        {
          "name": "Wikidata",
          "shard": 5,
          "description": "Knowledge Base"
        },
        {
          "name": "UML",
          "shard": 6,
          "description": "Modeling"
        },
        {
          "name": "C4",
          "shard": 7,
          "description": "Architecture"
        },
        {
          "name": "ITIL",
          "shard": 8,
          "description": "Service Management"
        },
        {
          "name": "Monster",
          "shard": 9,
          "description": "Group Theory"
        }
      ]
    }
  ],
  "endpoints": [
    {
      "path": "/api/stats",
      "method": "GET",
      "description": "Get system statistics"
    },
    {
      "path": "/api/query",
      "method": "POST",
      "description": "Query unified knowledge base",
      "params": [
        "language",
        "shard",
        "type"
      ]
    },
    {
      "path": "/api/theorems",
      "method": "GET",
      "description": "List all proven theorems"
    },
    {
      "path": "/api/partition",
      "method": "POST",
      "description": "Run METIS partitioning",
      "params": [
        "num_parts"
      ]
    }
  ],
  "data_sources": [
    {
      "name": "master_parquet",
      "path": "/data/proofs/master.parquet",
      "type": "parquet",
      "size_mb": 250,
      "rows": 8017192
    },
    {
      "name": "unified_kb",
      "path": "/data/proofs/unified_kb.pl",
      "type": "prolog",
      "entities": 42
    },
    {
      "name": "global_objects",
      "path": "/data/proofs/global_objects.pl",
      "type": "prolog",
      "objects": 8023000
    }
  ]
}