{"status":"ok","service":"killinchu","version":"1.0.0","surface":"Andean Drone Intelligence","base_path":"/","doctrine":"v11","declarations":749,"experimental_scope":{"kernel_commit":"7885fd9","lean":"v4.18.0","declarations":1304,"axioms_unique":22,"theorems_ci_green":36,"note":"CI-green, kernel-verified (Wave5-8 + agentic P1-P6 + airtight Λ + coder); NOT folded into the locked count of 8; Λ stays Conjecture 1"},"axioms":14,"axioms_raw":15,"sorries":163,"trust_axes":13,"lambda_floor":0.9,"lambda_uniqueness":"Conjecture 1 (OPEN) unconditionally — NOT a Theorem (open CAUCHY_ND sorry + missing symmetry axiom); CONDITIONAL uniqueness = Theorem U (TheoremU_LambdaUnique, corollaries U₁ separable / U₂ factorization; CI-green, axiom-clean) modulo the kernel Decidable ≈Λ relation (instDecidableLambdaEquiv), strict = only under the Anchored/Normalized gauge","slsa":"L1 (honest; L2 in roadmap via Wire D)","receipt_signature":"REAL — ECDSA-P256-SHA256 DSSE; live at /khipu/sign + /api/killinchu/khipu/sign (Wire D shipped)","signing_available":true,"numbers":{"declarations":749,"axioms":14,"sorries":163,"putnam_sorries":51,"baseline_sorries":112,"experimental_scope":{"kernel_commit":"7885fd9","lean":"v4.18.0","declarations":1304,"axioms_unique":22,"theorems_ci_green":36,"note":"CI-green, kernel-verified (Wave5-8 + agentic P1-P6 + airtight Λ + coder); NOT folded into the locked count of 8; Λ stays Conjecture 1"}},"drones_in_database":53,"khipu_root":"188399c7e7d96b5b96b237178dcff356ec25303496d649905d5c15811de23f89","khipu_nodes":30,"ledger":{"schema":"szl.killinchu.ledger-readiness/v1","durability_state":"EPHEMERAL","requested_mode":"EPHEMERAL","ready":true,"production_ready":false,"startup_state":"READY","adapter_configured":false,"adapter_state":"NOT_APPLICABLE","integrity":{"state":"VERIFIED","verified":true,"nodes":30,"root":"188399c7e7d96b5b96b237178dcff356ec25303496d649905d5c15811de23f89"},"replay":{"state":"NOT_APPLICABLE","nodes":29},"recovery":{"attempts":0,"retry_after_s":0.0},"reason":"ephemeral ledger is available for this process only"},"decoders":["OpenDroneID/ASTM F3411","ADS-B Mode-S 1090ES (pyModeS v3)","MAVLink v1/v2 (pymavlink)"],"hatun_willay":true,"pivoted_from":"vessels","uptime_seconds":19019.4,"db":{"backend":"sqlite","durable":true,"postgres_first":true,"dsn_kind":"sqlite:/data/killinchu_backend.sqlite3","ping_ok":true,"ping_ms":0.03,"last_ping_at":"2026-09-01T10:27:00.733542+00:00","init_error":null}}