Move Focus chips and Mark-orphans toggle to the side panel

The topbar got cramped between the title, focus chips, orphan
toggle, and the search input. Moves these two pieces — the focus
chips block and the orphan-marker checkbox — into the side panel,
restyled as panel blocks with consistent borders. The topbar keeps
just back, title, and search.

Co-Authored-By: Claude Opus 4.7 (1M context) <[email protected]>

Show tyvars on class node labels

Class nodes now read "BftCrypto c" / "Bar a b" instead of just the
class name, in both the classes view (Render.hs's classNodes) and
the instance-view ensureClassNode helpers. External classes — for
which we don't know the tyvars — still fall back to the bare name.

Edge labels (the positional substitution into a superclass's args)
keep using the *origin* class's tyvar names via edgeLabel, so an
arrow `Bar a b ──(b)──► Foo b` reads consistently — same letter on
edge and target node.

Co-Authored-By: Claude Opus 4.7 (1M context) <[email protected]>

Document the synthetic Family args = ? placeholder

New section covering when the placeholder fires (broader than just
"family is external" — anywhere unification fails), the conditional
chain edge to the originating predicate, the per-(family, args)
dedup key, the implementation as a fake FamInstInfo with
_unresolved/unresolved flags, and the matching grey-dashed styling
shared with external family diamonds.

Co-Authored-By: Claude Opus 4.7 (1M context) <[email protected]>

Mark external families and synthesise unresolved-fam-instance nodes

External families (referenced via FamilyApp but absent from
pdTypeFamilies) now render as grey dashed diamonds, matching the
external-class styling.

When a context predicate or unmatched superclass mentions a
FamilyApp that no real fam-instance can resolve — typically because
the family is external — synthesise a placeholder fam-instance node
"Family args = ?" for each distinct use site. The chain then reads:

    SigDSIGN ──► SigDSIGN Ed448DSIGN = ?  ╶╶►  NoThunks (SigDSIGN Ed448DSIGN)

(the dashed leg is the fam-resolves edge to the originating predicate
node). Side panel for these placeholders explains they're use sites,
not equations. Help legend grows two new rows: external family +
unresolved fam-instance.

addFamilyLinksFromArgs gained two parameters (boundTvs, originPredId)
to render the placeholder labels in the right tyvar context and to
chain placeholders back to the predicate that needed them. The
superclass call site reorders so the unmatched-pred node id is
available before the call.

Co-Authored-By: Claude Opus 4.7 (1M context) <[email protected]>

Show class→assoc-family links in the instance view

Until now the assoc-family edges only appeared in the classes view;
the instance view of, say, BftCrypto would show its families
(BftDSIGN, BftHash, …) only as descendants of the *individual*
fam-instances surfaced for each instance. Add an `assoc` arrow
straight from the focused class node to each entry of
`ciAssocTypes`, so the user can see what families the class
declares without having to find an instance that exercises them.

Co-Authored-By: Claude Opus 4.7 (1M context) <[email protected]>

Document predicate-node dedup caveats in INTERNALS.md

New section between the resolution-chain determinism notes and the
"viewer is not doing" wrap-up, covering the structural-hash dedup,
the context-vs-superclass reduction asymmetry, tyvar-index aliasing
across instances, the role-sticky-to-context behaviour, and the
fact that predicate nodes are view-scoped (not persisted).

Co-Authored-By: Claude Opus 4.7 (1M context) <[email protected]>

Unify unmatched superclass with context predicate node

Was: unmatched superclass → class node, edge "needs Foo a b (no
local match)".
Now: unmatched superclass → predicate node (the same one created
from a context constraint when the predicate happens to match,
otherwise a fresh role='extern' grey node), edge labelled
"superclass constraint".

This collapses the case where a constraint appears in *both* the
context and as an unmatched superclass — the user sees one node
with two edges ("instance context" + "superclass constraint")
instead of two disconnected nodes saying the same thing. When the
constraint is purely an external superclass, the grey 'extern'
predicate node makes "must exist somewhere outside this project"
visible at a glance.

Co-Authored-By: Claude Opus 4.7 (1M context) <[email protected]>

Render instance context constraints as predicate nodes

Was: instance → class node, edge labelled "ctx: <args>".
Now: instance → predicate node ("Foo a b" rendered like a constraint),
edge labelled "instance context".

The new node kind 'predicate' deduplicates on a structural id
(class qid + JSON-stringified args), so the same constraint surfaces
once even when it appears in multiple superclass / context slots —
the next commit relies on this to merge unmatched-superclass
requirements with overlapping context predicates.

Side panel grows a renderPredicatePanel that explains the node's role
and links to the underlying class.

Co-Authored-By: Claude Opus 4.7 (1M context) <[email protected]>

Shorten "superclass needed Foo a b" edge label to "superclass constraint"

The class + arg shape is already on the target node (matched instance,
or — after the next commit — a predicate node), so spelling it out on
the edge label was redundant. Plain "superclass constraint" describes
the relationship the edge depicts and lets the eye stay on the nodes.

Co-Authored-By: Claude Opus 4.7 (1M context) <[email protected]>

Don't draw the predicate-class node alongside fam-resolves matches

The "fam-resolves" chain pulled the predicate class into the instance
view as a separate node and connected it to the matched instance with
a green "defines" edge — duplicating information already on the
matched-instance label. Drop the class anchor + defines edge here, the
same way commit 3a8e0ac handled the matched-superclass case.

Co-Authored-By: Claude Opus 4.7 (1M context) <[email protected]>

Drop the instance → fam-instance "= (Rhs)" edge

The dotted-purple edge from a focused instance to its associated
fam-instance carried only the RHS label, which the fam-instance
node's own label already shows in full. Removing it cleans up the
instance view; the fam-instance still surfaces because the family
node points at it via fam-defines, which is enough to indicate the
context relevance.

Also drop the now-dead cytoscape style rule and the legend row.

Co-Authored-By: Claude Opus 4.7 (1M context) <[email protected]>

Drop the "satisfies Foo" label on fam-resolves chain edges

The teal-dotted edge between a fam-instance and the matched class
instance already speaks for itself — its endpoints (and the side
panel on click) carry the same information the inline label was
trying to add. The label was just visual noise.

Co-Authored-By: Claude Opus 4.7 (1M context) <[email protected]>

Remove the "via Bar" instance → family edge

The dashed light-purple arrow connecting an instance to a referenced
type family was visually opaque — readers couldn't tell what
relationship it depicted. Drop it from addFamilyLinksFromArgs along
with its cytoscape style rule and the help-legend row.

The fam-instance nodes the function surfaces and the fam-resolves
chain edges remain — those are the meaningful continuations from the
matched-superclass-instance node.

Co-Authored-By: Claude Opus 4.7 (1M context) <[email protected]>

Don't draw the superclass class node when an instance matches locally

Previously every "superclass needed" arrow pulled in both the matched
instance node *and* a class node for the superclass — joined to the
matched instance by an extra "defines" edge. The class node duplicated
information already on the matched-instance label, just adding clutter.
Restrict the class-node side to the no-local-match branch, which still
needs somewhere for its needs-external edge to terminate.

Co-Authored-By: Claude Opus 4.7 (1M context) <[email protected]>

Relabel "needs Foo" superclass edges to "superclass needed Foo"

The plain "needs Foo …" edge label in the instance view glossed
which kind of constraint we were displaying (context vs. superclass
vs. ambient). Make it explicit: this edge represents a *superclass*
requirement.

Co-Authored-By: Claude Opus 4.7 (1M context) <[email protected]>

Add docs/INTERNALS.md (with neutral examples)

The internals walkthrough was sitting uncommitted from an earlier
session. Adding it now, with the Cardano-flavoured examples
(Ticked / Shelley / Byron / TxOut/LedgerState) swapped for neutral
Wrap / Foo Int / Element shapes — the doc explains classgraph
internals, not any particular downstream project's vocabulary.

Co-Authored-By: Claude Opus 4.7 (1M context) <[email protected]>

Document setup for the two Emacs editor-link schemes

Step-by-step org-protocol setup (init.el snippet + xdg-mime desktop
entry + macOS pointer) plus a DIY emacs:// scheme path with a sample
emacsclient wrapper script. Both end with the "pick from dropdown"
step so the user can see the loop close.

Co-Authored-By: Claude Opus 4.7 (1M context) <[email protected]>

Add two Emacs editor-link schemes

emacs://: a freeform URL the user maps to emacsclient via xdg-mime.
emacs-org://: the canonical org-protocol://open-source URL handler
that ships with Emacs once (require 'org-protocol) is loaded.

Co-Authored-By: Claude Opus 4.7 (1M context) <[email protected]>

Don't recolor the focused type-family node

The [?focused] cytoscape rule used to paint every focused node dark
blue, which on the amber family node left dark-on-dark text that
couldn't be read. Split the rule: class nodes still go navy; family
nodes keep their amber palette and indicate focus via a thicker brown
border and larger text.

Co-Authored-By: Claude Opus 4.7 (1M context) <[email protected]>

Rename Pin to Focus in the side-panel UI

Side-panel button is now "🎯 Focus" / "🎯 Unfocus" (was "📌 Pin" /
"📌 Unpin"). Hint text, help legend, counts line, and README all
updated. Internal identifiers (focusSet, pinClass, the panel-btn.pin
CSS class, data-action="toggle-pin") stay as-is — they're invisible
to users and changing them invites bigger churn.

Co-Authored-By: Claude Opus 4.7 (1M context) <[email protected]>

Render type-level lists as [a, b, c] not (: a (: b []))

renderArg now special-cases GHC's promoted cons (`:`) / nil (`[]`)
TyCons and the unapplied list TyCon, unfolding nested cons chains
into Haskell list syntax. Demo gets a Bagful + BagList exhibit so
the path is exercised.

Co-Authored-By: Claude Opus 4.7 (1M context) <[email protected]>

Infer per-package source roots from classgraph-view --input

Add a --source-root PKG=PATH override and infer a default per-package
root from each --input dir's parent. Schema gains iiDefinedIn /
fiDefinedIn (filled in at merge time from the dump's mdPackage), so
orphan instances resolve under the *defining* package, not the
class's. Render embeds the resulting map; viewer's editor links look
up the per-package root before falling back to the localStorage
override.

Co-Authored-By: Claude Opus 4.7 (1M context) <[email protected]>

Fix render of tuples and add source-code links

Add haddocks to side panel if compiled with -haddock

WIP

Add README.md

Add classgraph-plugin-flag.sh for unintrusive plugin usage

Mark top-level classes (no subclasses) and render them at the top

Data families: (data) label, hide synthetic RHS, per-family filter; fix instance source spans

Normalise package ids when merging dumps

Support multiple --input directories

Side panel: subclass index, pin/mute buttons; search now locates rather than drills in

Resolve family-instance chains to matching class instances; treat (~) as equality class

demo: cover equality, family-in-context, greetings, and multi-param instance cases

viewer: search bar, pin/mute/filter panels, splitter, equality preds, clean type printing

First commit