dpd-verify-edgelisted

# /dpd-verify-edge — External verification of necessary edges (#42, v0.6) Announce: "Using dpd-verify-edge skill." This skill implements the verification half of **proof-tree discipline** (see the main `/dpd` skill, "Proof-tree discipline" section). It checks edges classified `layer='necessary'` — the claim "these premises *necessarily* imply this conclusion" — by handing a **context-stripped** prompt to an independent verifier. It is the opposite-incentive companion to `/fcot`: `/fcot` *constructs* an argument using full context; this skill *checks* one necessary step in isolation, skeptically. **Compose them, don't merge** — run `/fcot` while building, `/dpd-verify-edge` after, on the necessary edges that resulted. ## When to invoke - User invokes `/dpd-verify-edge [edge_id?]`. - Claude MAY suggest it at a natural pause when `list_unverified_edges` returns a non-empty set — custodially ("necessary edge が N 本未検証です。verify する?"), never auto-firing the external call. ## Step 1 — Select the target edge(s) - If `edge_id` is given, use it (confirm it is `layer='necessary'`; if not, ask whether to proceed anyway). - Otherwise call `list_unverified_edges(session_id)` (necessary edges with no verification record, ordered critical→standard→low→unset). Present the queue and confirm which edge to verify. Default to the highest-priority one. ## Step 2 — Build the context-stripped prompt (the core asset) Fetch the edge and its endpoints (`list_edges` / `get_node`). Build a prompt