A contradiction is visible where it sits (B2b)

[WaylandYang]

Implements B2b of 0017 §3: disputed facts are visible where they sit. Follows #238 (B2a).

Graph (GET /kbs/{id}/graph): edges gain contested (an open axiom violation or temporal conflict points at the assertion — existing kinds wired in along the way) and a third class of edge with blocked: true: ghost edges for derivations that did not land, read from axiom_violations.detail. A contested edge switches to the alert colour, edge and all, with a ⚠ label prefix; a ghost edge is the same hue mixed toward EDGE_DIM, thinner, no pulse, follows the Derived toggle. Clicking a ghost edge opens its subject's panel at the Derived tab with that row expanded.

Entity panel (GET /kbs/{id}/entities/{id}): facts[].contested = { kind, ref_id, derived? } renders a "disputed" chip (row not dimmed); clicking it lands on the matching Review queue with that card ringed (/review?queue=…&item=…). blocked: [...] renders a "Did not land" section on the Derived tab naming what blocked each derivation, expanding to its proof chain via the new GET /kbs/{id}/violations/{id}/proof. The Derived tab now shows when only blocked derivations exist.

Store: proof and the new blocked_proof share one steps_for(premises); blocked_for_entity reads the queue's detail. The integration test from #238 now also asserts the contested flag, the ghost edge, the blocked list and its proof.

Decision records: 0017 status line → implemented; index row and 0016 B2 note updated.

Verified in the isolated environment: contested edge in coral, ghost edge beside the CEO-of edge, the chip and the "Did not land" row with its proof, and the chip → Review jump with the card ringed.

🤖 Generated with Claude Code