Skip to content

feat(art): draw what a wiring edge settles and what it only repeats - #8

Merged
HarperZ9 merged 1 commit into
mainfrom
feat/art-record-card
Sep 3, 2026
Merged

feat(art): draw what a wiring edge settles and what it only repeats#8
HarperZ9 merged 1 commit into
mainfrom
feat/art-record-card

Conversation

@HarperZ9

@HarperZ9 HarperZ9 commented Sep 3, 2026

Copy link
Copy Markdown
Owner

The README already says an edge is declared and never probed. Nothing drew it,
so a reader had to carry that sentence through every key plexus discover
returns and decide for themselves which ones it applies to.

docs/art/edge-evidence.svg draws the six keys an edge comes back with and says,
per key, what settled it.

key
producer COMPUTED the organ whose emitted port satisfied the name
consumer COMPUTED the organ that named the capability as an input
capability COMPUTED matched by equality or through consumable_as
self_loop COMPUTED true when both ends are the same organ
via COPIED the producer's own pointer, never resolved
evidence CONSTANT always declared

The hot mark sits on via. It is the field that looks like a citation and is the
one plexus never follows, which is exactly the claim mesh.py makes about itself
in its own docstring.

Held to the code, not to the picture

The existing gates settle whether the card fits its columns. Whether it is TRUE
of mesh.py and cli.py is a different question, and tests/test_repo_art.py
now drives a real mesh to answer it:

  • the drawn keys are compared to the keys _mesh_json actually returns, in
    order, so a key added or renamed on either side fails
  • every edge in the live mesh is checked to carry evidence == "declared"
  • self_loop is checked to follow from the two ends, and checked to survive
    into the output rather than being dropped, because the note claims both
  • via is proven copied by building a manifest whose module points at a path
    that is not in this repository, then watching the edge form with that string
    intact and evidence still declared
  • the footnote says the edge holds a second pointer, the consumer's own module,
    which discover keeps and never serializes. Both halves are checked, because
    a field quietly added to the receipt would make the footnote wrong.

What came in with it

The card class: repo_card.py, check_repo_card.py, and the flow budget
helpers split out into check_repo_flow.py so no one file outgrows what a
reader can hold at once. Three card gates are registered, plus a fourth:

art.card_alt_reaches_the_readme binds the README's alt attribute to the alt in
the spec. GitHub draws the card as an <img>, and an <img> hides whatever
description the SVG carries inside it, so the README alt is the whole of what a
reader who cannot see the card gets. It is proven twice: the built-in control
card carries a description that appears in no README, and a one-word mutation of
this repository's own README was run through the gate, caught, and restored
byte-identical.

Measured

Against the 916px rule, with the canon face loaded: widest drawn text 913.4,
zero of thirty-two elements over. Rendered as a standalone document, where no
webfont loads and the fallback face is narrower, which is what a GitHub reader
gets from an <img>: 909.0, zero over.

80 tests pass. Sixteen art gates green.

Not done here

The three flow drawings still carry short README alts that do not match their
longer spec alts. On GitHub those are weaker than they should be. Rewriting them
across the fleet is its own change.

The renderer is a copy of the same files that live in eleven sibling
repositories rather than a shared package. That is a known duplication, carried
so each repository stays standalone.

🤖 Generated with Claude Code

The README says an edge is declared, never probed, and then asks the reader to
carry that sentence through every JSON key the tool returns. docs/art/
edge-evidence.svg draws the six keys plexus discover hands back for one edge and
says, per key, whether discovery settled it or copied it out of a manifest.

Four are computed: producer, consumer, capability, self_loop. One is a constant:
evidence, always the word declared. One is copied and carries the hot mark: via,
the producer's own pointer at the code behind the port, which plexus never
imports or resolves. That is the field a reader would take for a citation, so it
is the field the accent sits on.

The rows are held to the code rather than to the picture. tests/test_repo_art.py
now drives a real mesh: the drawn keys are compared to the keys discover
actually returns, every edge's evidence is checked to be the constant, self_loop
is checked to follow from the two ends and to survive into the output, and via
is proven copied by pointing a manifest at a path that is not in the repository
and watching the edge form with that string intact. The footnote's claim that
the edge holds a second pointer it never returns is checked on both halves.

The card class comes in with it: repo_card.py, check_repo_card.py, and the flow
budgets split out to check_repo_flow.py so no file outgrows what a reader can
hold. art.card_alt_reaches_the_readme comes too, binding the README's alt
attribute to the spec's, because GitHub draws the card as an img and an img
hides whatever description the SVG carries inside it.

Measured against the 916px rule with the canon face loaded: widest drawn text
913.4, zero of thirty-two elements over. As a standalone document, where no
webfont loads and the fallback face is narrower: 909.0, zero over.

Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
@HarperZ9
HarperZ9 merged commit 1ed1037 into main Sep 3, 2026
10 checks passed
@HarperZ9
HarperZ9 deleted the feat/art-record-card branch September 3, 2026 15:12
HarperZ9 added a commit that referenced this pull request Sep 3, 2026
The README already said an edge is declared and never probed. Nothing drew it,
so a reader had to carry that sentence through every key `plexus discover`
returns and decide for themselves which ones it applied to.

`docs/art/edge-evidence.svg` draws the six keys an edge comes back with and says
what settled each one. Four are computed by discovery: producer, consumer,
capability, self_loop. One is a constant: evidence, always the word declared.
One is copied and carries the hot mark: via, the producer's own pointer at the
code behind the port, which plexus never imports or resolves. That is the field
a reader would take for a citation and the one plexus never follows.

The rows are held to the code rather than to the picture. The art test now
drives a real mesh: the drawn keys are compared to the keys discover actually
returns, in order; every edge is checked to carry evidence declared; self_loop
is checked to follow from the two ends and to survive into the output; and via
is proven copied by pointing a manifest at a path that is not in this repository
and watching the edge form with that string intact. The footnote's claim that
the edge holds a second pointer it never returns is checked on both halves.

The card class comes in with it, along with art.card_alt_reaches_the_readme,
which binds the README's alt attribute to the spec's. GitHub draws the card as
an img and an img hides whatever description the SVG carries inside it, so the
README alt is the whole of what a reader who cannot see the card gets. Proven
twice: by the built-in control card, and by a one-word mutation of this
repository's own README, caught and then restored byte-identical.

Measured against the 916px rule with the canon face loaded: widest drawn text
913.4, zero of thirty-two elements over. As a standalone document, where no
webfont loads, which is what a GitHub reader gets: 909.0, zero over.

Not done here: the three flow drawings still carry short README alts that do not
match their longer spec alts. Rewriting those across the fleet is its own change.

🤖 Generated with [Claude Code](https://claude.com/claude-code)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant