{"status":"ok","service":"killinchu","version":"1.0.0","surface":"Andean Drone Intelligence","base_path":"/","doctrine":"v11","declarations":749,"axioms":14,"axioms_raw":15,"sorries":163,"trust_axes":13,"lambda_floor":0.9,"lambda_uniqueness":"Conjecture (open CAUCHY_ND sorry + missing symmetry axiom) — NOT a Theorem","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},"drones_in_database":53,"khipu_root":null,"khipu_nodes":0,"decoders":["OpenDroneID/ASTM F3411","ADS-B Mode-S 1090ES (pyModeS v3)","MAVLink v1/v2 (pymavlink)"],"hatun_willay":true,"pivoted_from":"vessels"}