{"$schema":"https://wellknown.network/schemas/agent-record-v1.json","schemaVersion":"1","id":"ag_9dv5ed6kffed","handle":"kairos-signal-verifiable-depin-infrastructure-da","url":"https://wellknown.network/agents/kairos-signal-verifiable-depin-infrastructure-da","links":{"self":"https://wellknown.network/agents/kairos-signal-verifiable-depin-infrastructure-da/record.json","html":"https://wellknown.network/agents/kairos-signal-verifiable-depin-infrastructure-da","markdown":"https://wellknown.network/agents/kairos-signal-verifiable-depin-infrastructure-da/record.md","api":"https://wellknown.network/api/v1/agents/kairos-signal-verifiable-depin-infrastructure-da","status":"https://wellknown.network/api/v1/agents/kairos-signal-verifiable-depin-infrastructure-da/status","claim":"https://wellknown.network/agents/kairos-signal-verifiable-depin-infrastructure-da/claim","claimApi":"https://wellknown.network/api/v1/claims","claimDescriptor":"https://wellknown.network/agents/kairos-signal-verifiable-depin-infrastructure-da/claim.json","badge":"https://wellknown.network/agents/kairos-signal-verifiable-depin-infrastructure-da/badge.svg","openapi":"https://wellknown.network/openapi.json","history":"https://wellknown.network/api/v1/agents/kairos-signal-verifiable-depin-infrastructure-da/history","tools":"https://wellknown.network/api/v1/agents/kairos-signal-verifiable-depin-infrastructure-da/tools"},"ard":{"identifier":"urn:air:kairossignal.com:agent:kairos-signal-verifiable-depin-infrastructure-da","type":"application/a2a-agent-card+json"},"kind":"agent","declared":{"name":"Kairos Signal — Data A2A Adapter","summary":"A2A adapter for Kairos Signal data services. Data availability and provenance are disclosed by the serving interfaces. dag_compute is unavailable through this A2A adapter: it is not connected to the real DAG model. Prior hash-derived persistence and Euler fields were not topological measurements. N…","description":"A2A adapter for Kairos Signal data services. Data availability and provenance are disclosed by the serving interfaces. dag_compute is unavailable through this A2A adapter: it is not connected to the real DAG model. Prior hash-derived persistence and Euler fields were not topological measurements. No model inference is performed or charged. No predictive-performance or trading-return claim is made here.","publisher":{"name":null,"url":"https://kairossignal.com"},"homepage":"https://kairossignal.com","repository":null,"version":"2.2.0","license":null,"protocols":["a2a"],"tags":[],"pricing":null,"endpoints":[{"url":"https://kairossignal.com","type":"a2a","auth":"none","probeable":true}],"skills":[{"id":"depin_intelligence","name":"DePIN Supply Telemetry","tags":[],"description":"First-party infrastructure telemetry for 369 live networks (318 first-party, 7,413 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)","tags":[],"description":"Recorded derivation entries carry upstream payload bodies and payload/code SHA-256 fields; consult the derivation index for recorded coverage. 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."},{"id":"world_intelligence","name":"World Intelligence (measured physical-world telemetry)","tags":[],"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 — 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…"},{"id":"query_federal_contracts","name":"Query Federal Contracts","tags":[],"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","tags":[],"description":"Programmatic purchase of a Kairos data product with prepaid credits. Availability is product-specific; successful purchases deliver inline. Withdrawn products are refused, not charged. Personal-contact/lead products are not offered."},{"id":"verify_proofs","name":"Formal Verification Report","tags":[],"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 — no API key required."}],"tools":["DePIN Supply Telemetry","Derivation Ledger (replayable derivation)","World Intelligence (measured physical-world telemetry)","Query Federal Contracts","Purchase Data Product","Formal Verification Report"],"extra":{"capabilities":{"streaming":true,"pushNotifications":false}},"attribution":{"kind":"a2a_card","name":"a2a_card","summary":"a2a_card","version":"a2a_card","description":"a2a_card","homepageUrl":"a2a_card","publisherUrl":"a2a_card"}},"derived":{"capabilities":[{"slug":"documents.contracts","name":"Contracts & Legal","confidence":0.525,"provenance":"derived"}],"categories":["documents"],"language":"en"},"observed":{"status":"live","statusReason":"Responded 4h ago.","lastOkAt":"2026-10-18T03:25:05.513Z","lastProbedAt":"2026-10-18T03:25:05.513Z","statusComputedAt":"2026-10-18T03:27:29.960Z","reliability30d":{"probes":111,"successRate":1,"p50Ms":380,"basis":"service","measures":{"availability":"availability","latency":"response time","tools":"tool surface observed","summary":"Checks reached the service itself."},"checks":{"total":110,"ok":110,"authBoundaryOk":0,"serviceOk":110,"note":"Counted from the observation rows for the window, checks of the server only (HTTP, A2A card, MCP initialize). ok = authBoundaryOk + serviceOk. `probes` is the sum of daily rollups and includes registry checks, so it can differ from `total`."}},"latestObservations":[{"at":"2026-10-18T03:25:05.513Z","kind":"a2a_card","ok":true,"httpStatus":200,"latencyMs":151,"error":null,"detail":{"name":"Kairos Signal — Data A2A Adapter","signed":false,"version":"2.2.0","cardPath":"/.well-known/agent-card.json","skillCount":6}},{"at":"2026-10-17T20:33:58.997Z","kind":"a2a_card","ok":true,"httpStatus":200,"latencyMs":395,"error":null,"detail":{"name":"Kairos Signal — Data A2A Adapter","signed":false,"version":"2.2.0","cardPath":"/.well-known/agent-card.json","skillCount":6}},{"at":"2026-10-17T14:22:43.692Z","kind":"a2a_card","ok":true,"httpStatus":200,"latencyMs":402,"error":null,"detail":{"name":"Kairos Signal — Data A2A Adapter","signed":false,"version":"2.2.0","cardPath":"/.well-known/agent-card.json","skillCount":6}},{"at":"2026-10-17T08:26:34.854Z","kind":"a2a_card","ok":true,"httpStatus":200,"latencyMs":357,"error":null,"detail":{"name":"Kairos Signal — Data A2A Adapter","signed":false,"version":"2.2.0","cardPath":"/.well-known/agent-card.json","skillCount":6}},{"at":"2026-10-17T01:23:35.089Z","kind":"a2a_card","ok":true,"httpStatus":200,"latencyMs":375,"error":null,"detail":{"name":"Kairos Signal — Data A2A Adapter","signed":false,"version":"2.2.0","cardPath":"/.well-known/agent-card.json","skillCount":6}},{"at":"2026-10-16T19:27:10.140Z","kind":"a2a_card","ok":true,"httpStatus":200,"latencyMs":372,"error":null,"detail":{"name":"Kairos Signal — Data A2A Adapter","signed":false,"version":"2.2.0","cardPath":"/.well-known/agent-card.json","skillCount":6}},{"at":"2026-10-16T13:26:54.194Z","kind":"a2a_card","ok":true,"httpStatus":200,"latencyMs":396,"error":null,"detail":{"name":"Kairos Signal — Data A2A Adapter","signed":false,"version":"2.2.0","cardPath":"/.well-known/agent-card.json","skillCount":6}},{"at":"2026-10-16T06:30:17.621Z","kind":"a2a_card","ok":true,"httpStatus":200,"latencyMs":453,"error":null,"detail":{"name":"Kairos Signal — Data A2A Adapter","signed":false,"version":"2.2.0","cardPath":"/.well-known/agent-card.json","skillCount":6}},{"at":"2026-10-15T23:28:03.942Z","kind":"a2a_card","ok":true,"httpStatus":200,"latencyMs":356,"error":null,"detail":{"name":"Kairos Signal — Data A2A Adapter","signed":false,"version":"2.2.0","cardPath":"/.well-known/agent-card.json","skillCount":6}},{"at":"2026-10-15T17:30:34.983Z","kind":"a2a_card","ok":true,"httpStatus":200,"latencyMs":355,"error":null,"detail":{"name":"Kairos Signal — Data A2A Adapter","signed":false,"version":"2.2.0","cardPath":"/.well-known/agent-card.json","skillCount":6}}],"tools":null,"package":null,"toolSurface":null,"endpointFacts":[{"id":"ep_69rjceqfvk7p","url":"https://kairossignal.com","type":"a2a","factsCheckedAt":"2026-10-16T13:26:54.196Z","auth":null,"tls":{"observedAt":"2026-10-16T13:26:54.219Z","protocol":"TLSv1.3","chainValid":true,"chainError":null,"hostMatches":true,"subject":"kairossignal.com","issuer":{"commonName":"YE1","organization":"Let's Encrypt"},"validFrom":"2026-09-16T09:31:44.000Z","validTo":"2026-12-15T09:31:43.000Z","daysToExpiry":58,"sanCount":2,"fingerprint256":"C4:5E:48:DD:16:AA:0C:C4:DE:28:8D:BD:B5:3F:C6:7F:D7:D7:D0:CD:5E:1C:AD:B0:10:8F:96:DF:41:99:7A:38"}}]},"verification":{"claimed":false,"claimedAt":null,"proofs":[]},"provenance":{"sources":[{"source":"a2a_card","key":"https://kairossignal.com/.well-known/agent-card.json","url":"https://kairossignal.com/.well-known/agent-card.json","firstSeenAt":"2026-09-05T19:24:14.544Z","fetchedAt":"2026-10-18T03:21:40.478Z","normalizedAt":"2026-10-18T03:21:40.478Z"}]},"firstSeenAt":"2026-09-05T19:24:14.544Z","updatedAt":"2026-10-18T03:22:36.398Z"}