Fix docs stale after Cut 1's teardown (PA.f15)

Cut 1 (d69e9d4) deleted the tick driver and the Active elaboration sweep, and
the ignored live smoke that exercised them. These passages still described
that machine as live:

- notes/local-live-smoke.md was a runbook for the deleted smoke and its
  command now runs zero tests. Trimmed to what is still true: connector and
  Claude SDK sidecar bring-up, which the seed lane still depends on. Fixed
  the references to its deleted sections in notes/fresh-workspace-handoff.md.
- docs/architecture/ghostlight-dungeon-mvp.md's Verification contract named
  the live smoke as the road's one proof point; it now says none exists until
  the play agent's own gate.
- notes/ghostlight-implementation-plan.md's Interruption section named
  ControllerHttpResult::Interrupted and run_cover_tick as live; both are
  deleted, and reporting an interruption to the play agent is Cut 8's.
- docs/architecture/ghostlight-stock-lenses.md gets one added sentence: the
  concurrent-elaboration claim holds as a library capability, and Dungeon
  runs none of it since Cut 1. The verdict is unchanged.
- notes/fresh-workspace-handoff.md's concurrent-elaboration and
  tick-driver lines now say what Dungeon actually runs today.

Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com>

docs/architecture/ghostlight-dungeon-mvp.md

@@ -581,19 +581,17 @@ boundaries.
 
 ## Verification contract
 
-Focused tests prove the machine under fixture inference ports. The one place
-the road is exercised against a real controller is the local live smoke
-(`notes/local-live-smoke.md`): the production tick driver, cover, Persona
-membrane, operational lane, clock, and elaboration sweep against a
-CodexConnector on a genesis world. Its first run (2026-09-05) proved the path
-end to end and showed that a three-subject, one-room genesis yields thin
-prose; a seed producer is the gap that finding names. Step 8 landed that seed
-producer: `world.create` v2 carries the scale intent at genesis, `world.seed`
-runs one `SeedRunner` session per invocation against a `VaultEvidenceSource`,
-and the extended live smoke seeds a world before it ticks. Creation's current
-payload is `world_create.v4`: title, brief, targets, jurisdiction roots and
-lens weights are required, and Dungeon's create surface offers uniform weights
-as its editable default.
+Focused tests prove the machine under fixture inference ports. No live smoke
+exists: the play agent's Cut 1 (`d69e9d4`) deleted the tick driver, cover and
+Active elaboration sweep it exercised, along with the ignored test itself, to
+clear the ground for the play agent's own owner. `notes/local-live-smoke.md`
+now documents only connector and Claude SDK sidecar bring-up, which the seed
+lane still uses. Exercising the road against a real controller again is the
+play agent's own gate (`ghostlight-play-agent.md`), not this contract.
+`world.create`'s current payload is `world_create.v4`: title, brief, targets,
+jurisdiction roots and lens weights are required, and Dungeon's create surface
+offers uniform weights as its editable default. `world.seed` runs one
+`SeedRunner` session per invocation against a `VaultEvidenceSource`.
 
 Focused tests must prove:
 

docs/architecture/ghostlight-stock-lenses.md

@@ -60,7 +60,9 @@ detail rules", which separates what L1 implemented from what L2 to L4 owe.
    (L1-Q4). Elaboration draws from its own pool, a ceiling
    (`GHOSTLIGHT_ELABORATION_MAX_CONCURRENT`, default 2), separate from the
    simulation budget, and saturating either pool never delays the other.
-   Holds.
+   Dungeon runs no Active elaboration since the play agent's Cut 1
+   (`d69e9d4`) deleted its sweep and pool; the claim stands as a library
+   capability. Holds.
 6. **The lens is recorded and resume reads state.** The drawn lens and its
    instruction text are persisted on the session (`controller_work.v16`,
    L1-Q7). A resumed session keeps both even if the weights or the lens's