feat(art): draw what a wiring edge settles and what it only repeats - #8
Merged
Conversation
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
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)
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
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 discoverreturns and decide for themselves which ones it applies to.
docs/art/edge-evidence.svgdraws the six keys an edge comes back with and says,per key, what settled it.
producerconsumercapabilityconsumable_asself_loopviaevidencedeclaredThe hot mark sits on
via. It is the field that looks like a citation and is theone plexus never follows, which is exactly the claim
mesh.pymakes about itselfin 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.pyandcli.pyis a different question, andtests/test_repo_art.pynow drives a real mesh to answer it:
_mesh_jsonactually returns, inorder, so a key added or renamed on either side fails
evidence == "declared"self_loopis checked to follow from the two ends, and checked to surviveinto the output rather than being dropped, because the note claims both
viais proven copied by building a manifest whose module points at a paththat is not in this repository, then watching the edge form with that string
intact and
evidencestilldeclaredwhich
discoverkeeps and never serializes. Both halves are checked, becausea 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 budgethelpers split out into
check_repo_flow.pyso no one file outgrows what areader can hold at once. Three card gates are registered, plus a fourth:
art.card_alt_reaches_the_readmebinds the README's alt attribute to the alt inthe spec. GitHub draws the card as an
<img>, and an<img>hides whateverdescription 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