Remove dead code in render.py, claims.py and the REPL server #113

Problem

Four functions, one config field, one method and one constant have no caller or reader on main. Two of the functions are near-copies of live ones, so a reader has to work out which of each pair is real.

render.py also has two leftovers from earlier edits:

• a stray empty f"" inside the returned string at :1335;
• eight consecutive blank lines at :716-723.

Line numbers are at 0ea4b99.

How this was checked

• Each symbol was searched for across autoform_cli/, servers/, tests/, skills/ and the Markdown docs on main. The only match for each is its own definition.
• vulture autoform_cli servers reports the same seven symbols.
• The same search on the execution branch finds no caller either. ClaimBoard.gc is called only on archived branches, from autoform_worker/cli.py, which does not exist on main or execution.
• Every LeanReplConfig(...) construction passes keyword arguments, so removing a field does not shift any other argument.

Proposed change

Delete the seven symbols, the stray f"" and the extra blank lines. No behaviour or output changes.

A removal of the four render.py functions, the f"" and the blank lines, together with mem_interval_check, was tried in a working copy at an earlier commit: lint and the test suite passed, make check-example passed, and the rendered site and audit output for the example blueprint were byte-identical.

Not dead

ClaimBoard.holds, ClaimBoard.heartbeat and Heartbeat look unused from autoform_cli/ alone, but tests/test_claims.py exercises them and the execution branch's scheduler calls heartbeat. They should stay.

Overlap with open pull requests

• Replace custom Lean servers with managed Lean Beam #76 replaces the custom Lean servers and already deletes mem_interval_check and DEFAULT_PORT. If Replace custom Lean servers with managed Lean Beam #76 is expected to land soon, the two servers/repl lines can be left to it.
• Isolate and validate public REPL calls #105 and Validate REPL imports with the selected Lean toolchain #106 edit servers/repl/core.py (Isolate and validate public REPL calls #105 also pool.py), Add session-fenced collaborative claims #72 edits claims.py, and Publish blueprint sites transactionally #73, Add verified statement-review bundles #75, Scale roadmap inventories and the full DAG explorer #90 and Bind Lean source snapshots to filesystem generations #95 edit render.py. None of them removes the code listed here, so a cleanup may need a rebase against whichever lands first. The deletions are small and local, so conflicts should be easy to resolve.

Out of scope

• Code that only tests call, such as DeclarationSkeleton.defines and LeanLspProjects. Removing those changes a public surface and is a separate decision.
• Duplicated helpers that are still in use.