fix(doctrine-v10): correct serve.py header + reinstill honesty narrative to 749/14/163

cursor_reinstill.json

@@ -34,7 +34,7 @@
       "status": "already-reflected (serve.py + sidecar carry SPDX Apache-2.0 headers)"
     }
   ],
-  "honesty": "No 'zero sorry' claim. lutar-lean has 6 real tracked sorries. thm:unique-aggregator/pac-bayes-main/no-nchv/quantum-lambda are NOT fully PROVEN (sorried/axiomatized).",
+  "honesty": "No 'zero sorry' claim. lutar-lean has 163 real tracked sorries (112 baseline + 51 Putnam). thm:unique-aggregator/pac-bayes-main/no-nchv/quantum-lambda are NOT fully PROVEN (sorried/axiomatized). \u039b uniqueness is a Conjecture (open CAUCHY_ND sorry + missing symmetry axiom).",
   "preserved": "7 chakras, 6 console routes, reasoner UI, 42/42 Watunakuy. ADDITIVE only.",
   "ip_hold_excluded": [
     "amaru#46"

serve.py

@@ -1,8 +1,8 @@
 # SPDX-License-Identifier: Apache-2.0
 # © 2026 Lutar, Stephen P. — SZL Holdings
 # ORCID: 0009-0001-0110-4173
-# Doctrine v9 (DOCTRINE_V9_LOCKED_2026-05-31_2210) — honest canonical numbers:
-#   456 declarations / 14 unique axioms / 6 tracked sorries / 12 MCP tools / 46 policy gates.
+# Doctrine v10 (DOCTRINE_V10_LOCKED_2026-05-31_2355) — honest canonical numbers:
+#   749 declarations / 14 unique axioms (15 raw, 1 dup) / 163 tracked sorries (112 baseline + 51 Putnam) / 12 MCP tools / 46 policy gates.
 #   No "zero sorry" claim. thm:unique-aggregator / thm:pac-bayes-main / thm:no-nchv /
 #   thm:quantum-lambda are NOT fully PROVEN (sorried/axiomatized).
 """Unified server for Hugging Face Spaces — serves the Amaru API, the memory-cortex