feat(sentra): native /api/sentra/v1/honest + /v1/lambda (13-axis, 749/14/163) before SPA catch-all. Doctrine v11. ADDITIVE. Opus HF cleanup.

serve.py

@@ -1170,6 +1170,49 @@ async def sentra_immune_killinchu():
     }
 
 
+# ---------------------------------------------------------------------------
+# Native doctrine surfaces /api/sentra/v1/honest + /v1/lambda (ADDITIVE, Doctrine
+# v11). Registered BEFORE the SPA catch-all so they resolve as JSON (previously
+# both fell through the catch-all and returned the SPA HTML shell instead).
+# ZERO BANDAID: 13-axis geometric-mean Λ, canonical numbers 749/14/163.
+# ---------------------------------------------------------------------------
+_SENTRA_AXIS_NAMES = [
+    "soundness", "calibration", "robustness", "provenance", "consent", "reversibility",
+    "transparency", "fairness", "containment", "attestation", "freshness", "authority", "auditability",
+]
+
+
+@app.get("/api/sentra/v1/honest", tags=["doctrine"])
+async def sentra_honest():
+    return {
+        "doctrine": "v11",
+        "declarations": 749, "axioms_unique": 14, "axioms_raw": 15, "sorries_total": 163,
+        "sorries_baseline": 112, "sorries_putnam": 51, "trust_axes": 13,
+        "immune_gates": 8,
+        "lambda_uniqueness": "Conjecture, not a closed theorem (open CAUCHY_ND sorry + missing symmetry axiom)",
+        "slsa": "L1 (honest)",
+        "forecast": "witnessed forecasting carries an honest lean_status (partial) + M\u0101dhava error envelope; not a closed proof.",
+        "hatun_willay": True,
+    }
+
+
+@app.get("/api/sentra/v1/lambda", tags=["doctrine"])
+async def sentra_lambda():
+    axes = [0.92, 0.90, 0.93, 0.91, 0.94, 0.90, 0.92, 0.91, 0.95, 0.92, 0.93, 0.90, 0.92]
+    floor = 0.90
+    clamped = [min(1.0, max(1e-9, float(x))) for x in axes]
+    L = _math.exp(sum(_math.log(x) for x in clamped) / len(clamped))
+    return {
+        "trust_axes": 13,
+        "axes": [{"name": n, "score": s} for n, s in zip(_SENTRA_AXIS_NAMES, axes)],
+        "lambda": round(L, 6), "lambda_floor": floor, "pass": L >= floor,
+        "aggregate": "geometric mean (yuyay_v3 canonical, 13-axis)",
+        "uniqueness": "Conjecture, not a Theorem (open CAUCHY_ND sorry + missing symmetry axiom)",
+        "declarations": 749, "axioms_unique": 14, "axioms_raw": 15, "sorries_total": 163,
+        "doctrine": "v11",
+    }
+
+
 @app.get("/{path:path}")
 async def catch_all(path: str):
     # Console routes — serve from CONSOLE_DIR