{"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":"9ad458fa2924795f281b450cdafaee880e03380c9227726be9281797144aa9ce","khipu_nodes":344,"ledger":{"schema":"szl.killinchu.ledger-readiness/v1","durability_state":"EPHEMERAL","requested_mode":"EPHEMERAL","ready":true,"production_ready":false,"production_readiness_basis":"NOT_APPLICABLE","persistence_scope":"PROCESS_MEMORY","startup_state":"READY","adapter_configured":false,"adapter_state":"NOT_APPLICABLE","integrity":{"state":"VERIFIED","verified":true,"nodes":344,"root":"9ad458fa2924795f281b450cdafaee880e03380c9227726be9281797144aa9ce"},"replay":{"state":"NOT_APPLICABLE","nodes":343},"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":61562.0,"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-20T17:37:44.766109+00:00","init_error":null}}