fix(a11oy): COPY szl_wave910_proofs.py into image (per-file Dockerfile) so /proven-formulas + proven/* + governance matrix-health resolve

Dockerfile uses per-file COPY (no COPY . .); the new Wave9/10 module was committed to the repo but not copied into the image, so its routes 404 to the SPA and matrix-health reported the module missing. Add the COPY line.

Dockerfile

@@ -404,6 +404,17 @@ COPY szl_consensus_clusters.py ./szl_consensus_clusters.py
 COPY szl_mission_ledger.py ./szl_mission_ledger.py
 COPY szl_budget_router.py ./szl_budget_router.py
 
+# ADDITIVE (WAVE9/10 INSTILLATION, 2026-06): the "Proven Formulas (experimental)"
+# surface wiring a11oy-targeted lutar-lean Wave9+Wave10 theorems as honest cards with
+# verbatim #print axioms + real in-image checks (Gershgorin matrix-health, Ville
+# anytime-alarm, replay-determinism+tamper-localize, quorum-intersection, DSSE
+# injectivity). Stdlib-only (no torch/numpy/CDN). Per-file COPY (this Dockerfile never
+# uses `COPY . .`) -- without this the import fails and /proven-formulas +
+# /api/a11oy/v1/proven/* fall through to the SPA shell, and the governance-gateway
+# matrix-health pre-flight reports the module missing. serve.py + szl_governance_gateway
+# import it try/except-guarded. LOCKED-proven stays EXACTLY 5; Lambda=Conjecture 1.
+COPY szl_wave910_proofs.py ./szl_wave910_proofs.py
+
 CMD ["python", "serve.py"]