{
 "name": "Kairos Signal \u2014 Dimensionality Compression Engine",
 "description": "A 63-layer non-Abelian Neural SDE DAG (191 edges, FBNO, Wilson-loop gauge head) that compresses signals into a 32-dim topological feature vector (256-dim internal state), revealing path-dependent structure that flat autoregressive models do not preserve. Also: first-party DePIN + physical-world telemetry (provenance-first: 372 live networks, 11,131 live series, 3,887 first-party series; world feeds incl. maritime AIS, satellites, GPS-jamming, DHT, airspace) and public federal-award and market data. No trading-return or AUC claims. The DAG compression engine is FREE (free beta \u2014 it has not yet beaten a free EWMA baseline out-of-sample, so we do not charge for it). Paid product: DePIN Data API Design Partner, $199/mo, all 372 live networks.",
 "url": "https://kairossignal.com",
 "version": "2.2.0",
 "provider": {
  "name": "Kairos Signal",
  "url": "https://kairossignal.com"
 },
 "capabilities": {
  "streaming": true,
  "pushNotifications": false
 },
 "authentication": {
  "schemes": [
   "bearer"
  ],
  "signup_url": "https://kairossignal.com/v1/credits/register",
  "payment_url": "https://kairossignal.com/v1/credits/topup",
  "self_serve_register": "POST https://kairossignal.com/v1/credits/register {\"email\":\"...\"} \u2192 $5 free credits (first 3 keys per IP per 30 days) + api_key",
  "self_serve_purchase": "POST https://kairossignal.com/v1/credits/purchase {\"product_key\":\"depin_intel_bundle\"} with X-API-Key header",
  "self_serve_topup": "POST https://kairossignal.com/v1/credits/topup {\"method\":\"stripe\",\"amount\":99} \u2192 Stripe checkout URL",
  "design_partner_url": "https://buy.stripe.com/dRm00b9zT81o5a50Na1ZS20",
  "payment_description": "Two ways to pay: (1) Self-serve credits \u2014 register free ($5 credits (first 3 keys per IP per 30 days)), buy per-query from $0.49-$29.99, top up via Stripe $20/$99. (2) Design Partner \u2014 $199/mo, all 372 live networks, all tiers, daily snapshot history, rate locked FOREVER."
 },
 "why_different": "Markets are non-Markovian \u2014 today's price does not contain all information about tomorrow's risk. Flat feature vectors are a commodity. Our 63-layer non-Abelian Neural SDE DAG (Wilson-loop gauge head) compresses signals into 32-dim topological feature spaces (256-dim internal state), revealing hidden structural relationships invisible to flat analysis. Golod-Shafarevich discriminant bounding rejects spurious correlations that survive in flat embeddings. Layer composition order matters \u2014 permuting layers produces different topological invariants (provably true for non-Abelian groups). Without the specific topology and discriminant bounds calibrated on the estate's own multi-sector market panel, any replica produces random projections, not actionable topology.",
 "moat": "Non-Abelian layer composition + GS discriminant bounding + 2+ years of topology research. Cannot replicate by copying architecture.",
 "formal_verification": {
  "lean4_kernel_checked": [
   "CostIdentity",
   "GateFailClosed"
  ],
  "z3_smt_proofs": "verified",
  "property_and_system_tests_passed": 26,
  "estate_invariants_verified": 5,
  "counterexamples_found": 0,
  "verify_command": "formal_verification/run_all.sh",
  "note": "Real, kernel-checked. No Coq/Isabelle/Dafny proofs exist \u2014 earlier counts (250 properties across 5 assistants) were scaffold-only and were retracted in a 2026-08-06 internal audit."
 },
 "empirical_evidence": {
  "predictive_performance_claim": "none",
  "note": "No live return/AUC claim is made. Prior AUC figures were found to be train/test split leakage in a 2026-08-09 adjudication and are retracted. The product's value is VERIFIABLE DATA (first-party DePIN telemetry with provenance), not a return model.",
  "cryptographic_ledger": "SHA-256 immutable signal provenance"
 },
 "skills": [
  {
   "id": "dag_compute",
   "name": "DAG Manifold Computation",
   "description": "Submit raw signal profiles \u2192 receive 32-dim topological feature vectors (model's internal state is 256-dim; 32 is what's returned). The DAG is a Continuous Neural ODE with non-Abelian geometric structure. This is a computation engine, not a lookup table. FREE (free beta) \u2014 no charge until the model demonstrably beats a free EWMA/GARCH baseline out-of-sample.",
   "inputSchema": {
    "type": "object",
    "properties": {
     "signal": {
      "type": "object",
      "description": "Raw signal profile: city, state, intent, value, etc."
     }
    }
   }
  },
  {
   "id": "depin_intelligence",
   "name": "DePIN Supply Telemetry",
   "description": "First-party infrastructure telemetry for 372 live networks (295 first-party, 3,887 first-party series), provenance-first: supply/node/utilisation metrics from each network's own API or chain, daily snapshot history across the whole live set, capacity-utilisation pairs on 8 networks. Every value carries its source and a public verify-yourself URL. From $0.49."
  },
  {
   "id": "derivation_ledger",
   "name": "Derivation Ledger (replayable derivation)",
   "description": "The derivation-truth layer: for every collector fetch we persist the RAW upstream payload, its SHA-256, and the SHA-256 of the exact collector code that transformed it (250 pinned derivation-source symbols across 295 first-party collectors). Replay chain anyone can run: fetch the verify_url yourself -> run the pinned code -> compare to published values. Divergence is mechanically detectable. Free index: GET https://kairossignal.com/v1/derivation?symbol=AKT. Full raw-payload access $2.99. Verified: 22/22 Akash metrics re-derived from live origin matched published values.",
   "inputSchema": {
    "type": "object",
    "properties": {
     "symbol": {
      "type": "string",
      "description": "Optional symbol filter (e.g. AKT). Omit for the coverage list."
     }
    }
   }
  },
  {
   "id": "world_intelligence",
   "name": "World Intelligence (measured physical-world telemetry)",
   "description": "Measured physical-world feeds with the same provenance guarantees as the DePIN rows: maritime AIS (4,148 vessels tracked latest from 2 national feeds \u2014 Norway 3,491, Finland 657), 26 satellite constellations, 29 days of GPS-jamming map coverage (2026-07-25 to 2026-08-22), BitTorrent DHT (6,416 servers measured, ~2.16M nodes implied), Nym mixnet (1,096 bonded nodes), Bittensor (129 subnets with economic metrics), airspace (437 military aircraft airborne, 122 active TFRs latest). Estate-wide: 108 sectors, 21.2M rows ingested in the last 24h."
  },
  {
   "id": "query_federal_contracts",
   "name": "Query Federal Contracts",
   "description": "Search tracked federal award records (USASpending-sourced). Results include DAG-computed relationship scores. Coverage and provenance disclosed per query; no aggregate-total claim is made."
  },
  {
   "id": "purchase_data",
   "name": "Purchase Data Product",
   "description": "Programmatic purchase of a Kairos data product with prepaid credits. Delivery on payment confirmation. Personal-contact/lead products are not offered.",
   "inputSchema": {
    "type": "object",
    "properties": {
     "sku": {
      "type": "string",
      "enum": [
       "depin_provenance",
       "depin_networks",
       "depin_revenue_snapshot",
       "depin_supply_snapshot",
       "depin_history",
       "depin_health_profile",
       "depin_grades",
       "depin_enrichment",
       "depin_ai_intel",
       "node_quality_score",
       "market_regime",
       "depin_intel_bundle"
      ],
      "description": "Credit-purchasable dataset. Every value here is deliverable today via POST /v1/credits/purchase {\"product_key\": \"<sku>\"}; delivery is inline in the response."
     },
     "email": {
      "type": "string"
     }
    }
   }
  },
  {
   "id": "verify_proofs",
   "name": "Formal Verification Report",
   "description": "Returns the real formal verification report: kernel-checked Lean4 theorems (CostIdentity, GateFailClosed) + Z3/SMT proofs + 26 property/system tests, 5 estate invariants verified, reproducible via formal_verification/run_all.sh. No performance/AUC claim (prior AUC figures were leakage, retracted 2026-08-09). Free \u2014 no API key required."
  }
 ],
 "keywords": [
  "dag",
  "directed-acyclic-graph",
  "manifold-learning",
  "topological-data-analysis",
  "dimensionality-reduction",
  "feature-engineering",
  "neural-sde",
  "neural-ode",
  "symplectic",
  "non-abelian",
  "wilson-loop",
  "golod-shafarevich",
  "depin",
  "depin-telemetry",
  "provenance",
  "data-marketplace",
  "data-api",
  "world-intelligence",
  "ais",
  "maritime-tracking",
  "satellite-tracking",
  "gps-jamming",
  "dht",
  "mixnet",
  "bittensor",
  "airspace-data",
  "network-telemetry",
  "node-utilisation",
  "financial-data",
  "market-intelligence",
  "alternative-data",
  "quantitative-finance",
  "federal-contracts",
  "mcp",
  "mcp-server",
  "model-context-protocol",
  "ai-agent",
  "autonomous-agent",
  "rag",
  "retrieval-augmented-generation",
  "embedding",
  "vector-database",
  "zero-knowledge",
  "json-api",
  "rest-api",
  "subscription",
  "stripe",
  "autonomous-purchase"
 ],
 "tags": [
  "dag",
  "manifold",
  "topology",
  "neural-sde",
  "non-abelian",
  "wilson-loop",
  "zero-knowledge",
  "depin",
  "provenance",
  "world-intelligence",
  "physical-world-data",
  "data-marketplace",
  "financial-data",
  "alternative-data",
  "mcp",
  "ai-agent",
  "autonomous-purchase",
  "embedding",
  "feature-engineering"
 ],
 "endpoints": {
  "tasks": "https://kairossignal.com/a2a/tasks",
  "sse": "https://kairossignal.com/a2a/sse"
 },
 "pricing": {
  "free_tier": "DAG: 10 req/day | $5 in credits (first 3 keys per IP per 30 days) on self-registration",
  "depin_supply_snapshot": "from $4.99 \u2014 first-party supply telemetry, provenance-first",
  "depin_design_partner": "$199/mo \u2014 DePIN Data API Design Partner (Founder): all 372 live networks , all tiers, daily snapshot history, rate locked FOREVER",
  "manifold_api": "FREE (free beta) \u2014 DAG computation; no charge until it beats the free EWMA baseline out-of-sample"
 }
}