# The Emergent Law — Machine-Readable Proof Navigator
# Version: 4.3 (v97, keyword discovery search)
# Entities: 407
# Relations: 711
# Theorems: 87
# Experiments: 14 (C1-C9 sigma-continuum + 6 galactic kinematics probes)
#
# ── Modular Data Architecture ──
# Source of truth:
#   proof-data-manifest.json    Shared config, types, macros, citations, synonyms, branch registry
#   proof-data-core.json        Part I: Superspace Diffusion (30 entities, 64 relations)
#   proof-data-gk.json          Part II: Galactic Kinematics (377 entities, 644 relations)
#
# ── Discovery Search ──
# Each entity has TF-IDF + anchor-text keywords (kw field, ~25 per entity).
# The manifest contains a 54-entry synonym table for query expansion.
# search_entities uses scored ranking: keyword(3x) > title(2x) > stmt(1x).
# Example: "dark energy" expands via synonyms to also match "cosmological",
# "vacuum", "hubble", "accelerating", "expansion".
#
# Crown theorems (13):
#   SEST, B_T6, C_T2, D_T4, E_T4, F_T4, G_T1, H_T2, I_T1, J_T5, K_T7, L_T14, M_T1
#
# Verification engines:
#   SymPy — algebraic verification (103 entities with scripts)
#   Lean Lite — CIC type-theoretic structural verification (407 entities, 4376 checks)
#
# Citation: Garcia, Perea Duran, Venezia & Conradie (2026)
# DOI: https://doi.org/10.48550/arXiv.2603.20423
#
# ── API Endpoints ──
# Modular: /proof-data-manifest.json, /proof-data-core.json, /proof-data-gk.json
# REST:    /api/entity?id=SEST  /api/chain?id=T1  /api/search?q=dark+energy  /api/meta  /api/citation
# Merged:  /api/proof-data (dynamically merges all branches)
#
# ── MCP Server (Model Context Protocol) ──
# Endpoint: https://www.emergentlaw.org/mcp (Streamable HTTP transport)
# All responses include citation and licence provenance.
#
# Tools (13):
#   get_overview            — navigator statistics and structure
#   search_entities         — scored keyword search with synonym expansion
#   get_entity              — full entity details with dependencies
#   get_dependency_chain    — topological derivation chain from axioms
#   list_by_type            — list entities by type (axiom, theorem, etc.)
#   get_axioms              — foundational axioms A1-A4
#   get_verification_status — SymPy + Lean Lite verification summary
#   get_crown_theorems      — major results at top of hierarchy
#   get_experiments         — sigma-continuum and galactic probes
#   get_citation            — citation in multiple formats
#   get_sympy_script        — full executable SymPy verification script for an entity
#   get_lean_lite           — Lean Lite metadata + generated verification script
#   get_experiment_results  — experiment script, pipeline manifest, and raw data file paths
#
# ── Connecting to this MCP Server from Claude ──
#
# Any Claude user (Free, Pro, Max, Team, or Enterprise) can connect:
#   1. Open Claude at claude.ai (or Claude Desktop / Claude mobile)
#   2. Click the "+" button in the lower-left corner of the chat
#   3. Select "Connectors", then click "Add custom connector"
#   4. Enter the URL: https://www.emergentlaw.org/mcp
#   5. Click "Add" — no authentication required
#   6. In any conversation, click "+" → Connectors and enable "emergent-law-navigator"
#
# Once connected, try:
#   "What are the axioms of the stochastic spacetime framework?"
#   "Trace the derivation of the Hawking temperature from first principles"
#   "Search for entities related to dark energy"
#   "What experiments validate the MOND scale derivation?"
#
# For Claude Code, Cursor, or Windsurf:
#   {
#     "mcpServers": {
#       "emergent-law": {
#         "command": "npx",
#         "args": ["-y", "mcp-remote", "https://www.emergentlaw.org/mcp"]
#       }
#     }
#   }
#
# Copyright: University College London (2026). All rights reserved.