GET  /health                   → silo status + γ₁ stamp
GET  /summary                  → node/edge counts by kind
GET  /query?q=<term>&type=<kind>  → search nodes
GET  /node/<id>               → full node data
GET  /neighbourhood/<id>      → 1-hop neighbours
GET  /edges                    → all edges (typed)
POST /ingest                   → add node {id, kind, label, data}

γ₁ = 14.134725141734693  ← stamped on every response

DRIFT     KCF-SRCH-001  temporal drift detection
MISSING   KCF-SRCH-002  missing artifact detection  
BREAK     KCF-SRCH-003  breaking change detection
PERF      KCF-SRCH-004  performance regression
HELM      KCF-SRCH-005  helm chart issues
GITOPS    KCF-SRCH-006  gitops pipeline gaps
SECRET    KCF-SRCH-007  secret management
UPGRADE   KCF-SRCH-008  upgrade path analysis
MULTI     KCF-SRCH-009  multi-cluster issues
BELT64    KCF-SRCH-010  Belt64 pattern match
RISK      KCF-SRCH-011  AI shell risk walls (35 found)
RANK      KCF-SRCH-012  diamond rank scoring
QE        KCF-SRCH-013  quality engineering gate
ADA       KCF-SRCH-014  ADA vault / key management
PROOF     KCF-SRCH-015  theorem proof coverage

-- Find all crew nodes connected to msi01
MATCH (s:Silo {name:"msi01"})-[:HAS_CREW]->(c:Crew)
RETURN c.name, c.role, c.adelic_layer ORDER BY c.adelic_layer

-- 2-hop: silos connected through shared ARBs
MATCH (s1:Silo)-[:FILED]->(a:ARB)<-[:FILED]-(s2:Silo)
WHERE s1 <> s2
RETURN s1.name, s2.name, COUNT(a) AS shared_arbs

-- γ₁ anchor query
MATCH (n) WHERE n.gamma1 = 14.134725141734693 RETURN n

// graphrag_2hop — causal chain traversal
{
  "tool": "graphrag_2hop",
  "query": "γ₁ floor proof sovereign",
  "depth": 2,
  "edge_types": ["theorem_dependency", "phase_coherence",
                 "temporal_proximity", "crew_provenance"],
  "sostle_gate": "L2"
}
// Returns: seed nodes → 1-hop causally connected → 2-hop expansion
// I(C;A) ≈ 0 on flat cosine, 60-80% on 2-hop GraphRAG

POST /collections/pemclau-v11/points/search
{
  "vector": [0.12, 0.84, ...],   // 768-dim nomic-embed
  "limit": 10,
  "filter": {
    "must": [{"key":"silo","match":{"value":"msi01"}},
             {"key":"sostle_l","range":{"lte":2}}]
  },
  "with_payload": true
}
// Collections: pemclau-v11 · pemclau-sessions-v1 · pemclau-psgraph-v13
// 427,976 total · nomic-embed-text 768-dim

import networkx as nx

G = nx.DiGraph()
G.add_node("msi01", layer=0, r=14.134725141734693, role="anchor")
G.add_node("forge", layer=1, r=7.067, role="compute")
G.add_edge("msi01", "forge", type="adelic_spine", weight=7.067)

# γ₁-weighted shortest path
path = nx.shortest_path(G, "msi01", "yone", weight=lambda u,v,d: 1/d["weight"])
# Eigenvector centrality → crew importance score
ec = nx.eigenvector_centrality(G)

-- Theorem dependency graph traversal (conceptual)
-- Every `theorem A : ... := by exact B` creates edge A → B
-- sorry chains: if T has sorry, all downstream theorems inherit sorry

-- γ₁ anchor theorem (ZetaFloor.lean)
theorem zeta_floor_gamma1 : ‖ζ (1/2 + γ₁ * I)‖ > 0 := by
  -- floor proof: γ₁ = 14.134725141734693 is THE zero
  exact riemannZeroFloor γ₁

-- Adelic spine theorem (MetaTheoremsV13.lean)
theorem adelic_spine_r (l : ℕ) : r_adelic l = γ₁ / (l + 1) := by rfl

PREFIX pemos: <https://pemos.ca/ontology/>
PREFIX g1: <https://pemos.ca/gamma1/>

SELECT ?silo ?crew ?layer WHERE {
  ?silo pemos:hasAdedicLayer ?layer .
  ?silo pemos:hasCrew ?crew .
  ?silo g1:floor "14.134725141734693"^^xsd:decimal .
  FILTER(?layer <= 2)
}
SERVICE <https://pemos.io/sparql> {
  ?silo pemos:proof ?theorem
}
-- Federated across pemos.ca / pemos.io / deseof.ca

// Gremlin traversal (TinkerPop standard)
g.V().hasLabel('silo')
  .has('adelic_layer', lte(2))
  .as('s')
  .out('has_crew')
  .has('beat_type', 'R')
  .select('s','crew')
  .by('name').by('name')

// γ₁ floor traversal
g.V().has('gamma1', 14.134725141734693)
  .repeat(out()).times(2)
  .path()
  .by('name')

query PEMCLAUNodes($silo: String!, $layer: Int!) {
  nodes(filter: {silo: $silo, sostle_lte: $layer}) {
    id
    label
    kind
    gamma1_stamp
    edges {
      target { id label }
      type
      weight
    }
  }
}
# Variables: {"silo": "msi01", "layer": 2}
# Resolves against msi01:9460 + yone:6333 + yone:9342