What problem does it solve? Verifying a change in the limen repository is error-prone: the installed CLI runs pinned merged code rather than your worktree, local board state diverges from the keeper's canonical projection, and dozens of measured traps (stale diffs, orphaned worktrees, load-sensitive tests) make a false verification look identical to a real one. This Skill records the exact commands, drive paths, and gotchas so a change is verified against the surface it actually touches. ## Core Features & Use Cases - Runtime rail disambiguation: Distinguishes the SHA-pinned installed CLI from live-checkout scripts, and shows how to shadow the installed package with PYTHONPATH to drive your own code through the real entrypoint. - Surface-specific drive paths: Maps each changed component (dispatch, conduct relay, liveness probes, Cloudflare Worker, board projection, beat sensors) to the exact command that exercises it. - Fleet health probing: Uses enactment-audit and beat-rung ledgers to find rungs failing on every beat before any other investigation. - Use Case: After fixing a bug in cli/src, an agent uses the PYTHONPATH shadowing recipe to confirm the fix runs through the real limen entrypoint, then runs the A/B comparison against the parent commit's module to prove the behavioral change. ## Quick Start Ask the agent to verify your limen change at runtime using the verify skill, stating which file or surface you modified.