chore(sync): mirror backend .py + Dockerfile to Space (hf-sync-backend)

Automated backend sync from szl-holdings/a11oy main via hf-sync-backend.
Updated (differed from the Space): serve.py
Deleted (gone from the repo + Dockerfile COPY set): (none)

Keeps the Space-built backend (serve.py + the Dockerfile-COPY'd .py
modules) identical to GitHub main so the Space never rebuilds from a
stale backend, new endpoints don't 404 there, and orphaned modules
removed from the repo don't linger in the Space tree.

serve.py

@@ -192,6 +192,19 @@ try:
 except Exception as _szl_scaling_e:  # pragma: no cover
     print(f"[a11oy] Scaling formulas NOT registered: {_szl_scaling_e!r}", file=__import__("sys").stderr)
 
+# ── SZL Allodial AI sovereignty formulas (allodial-formula-patch) — control as a
+# Denning(1976) lattice (⊤ = allodial), Goguen-Meseguer(1982) non-interference,
+# EU-CSF SovScore + HHI/DCI sovereignty scoring. Every formula cites its real
+# author; SZL claims none as its own. EXPERIMENTAL/PROPOSED — adds NOTHING to the
+# locked 8; Λ stays Conjecture 1; trust never 100%. Shared module byte-identical
+# a11oy↔killinchu. Additive, try/except-guarded.
+try:
+    import szl_allodial as _szl_allodial
+    _szl_allodial.register(app, ns="a11oy")
+    print("[a11oy] Allodial formulas registered: /api/a11oy/v1/allodial/*", file=__import__("sys").stderr)
+except Exception as _szl_allodial_e:  # pragma: no cover
+    print(f"[a11oy] Allodial formulas NOT registered: {_szl_allodial_e!r}", file=__import__("sys").stderr)
+
 
 # ── Open-Problem Bounty Board (bounties-tab-patch) — OPEN proof bounties
 # (Conjecture 1 Λ-aggregator uniqueness, Conjecture 2 Khipu BFT safety) rendered