docket 0.17.1

Added

• docket graph --format csv --out DIR writes nodes.csv and edges.csv for
  Gephi, or for anything else that reads a node table and an edge table. Two
  files, because Gephi imports each separately. Nodes carry kind, state,
  retired, scope and the full text as attributes, so a partition or a
  filter works on the imported graph. Edges name the relation in Label. The
  set join node for a record with more than one support set appears here
  too, carrying kind set.

Fixed

• just release now rolls the changelog, and refuses to release while
  ## [Unreleased] is empty. 0.13.0 shipped with its entry still under that
  heading and nothing reported it. scripts/roll_changelog.py moves the
  section under a dated version heading and moves the compare links with it.
  (#20)
• just release now publishes the GitHub release as well, through a new
  just publish it calls at the end. A tag alone reaches nobody: docket update reads releases/latest, and v0.16.0 was tagged and pushed while
  every installed copy was still offered 0.15.0. The release body comes from
  the changelog section, so the page and the file never disagree.

Documentation

• docs/recording.md and docs/ledger.md now state the two tiers 0.14.0
  introduced: a repeated --alternative or a restated --rationale is
  refused, four reasoning fields hint and record anyway, and both checks run
  at write time so an older ledger still reads. (#18)
• docs/north-star.md, docs/agent-context-goals.md and docs/definitions.md
  now separate the exercised parts of the schema from the provisional ones,
  with the counts from this ledger. No decision has ever derived as blocked,
  one record carries more than one support set, and nine declare a
  prerequisite. (#19)
• docs/installation.md covers running setup again on a machine that already
  has Docket, which is how a second harness or a construct provider gets
  added. It names what carries forward, what must be repeated, and what
  --dry-run shows. (#21)