← Home
petri-net llm formal-methods agency asimov symmetry automorphism group-theory

Peerage Is an Automorphism

Two people are peers when you can swap them and nothing downstream changes. Every move one could make, the other can make; every arc that ran to one runs to the other; the interaction comes back to itself under the swap. That invariance has a name — an automorphism — and the argument here is that it covers most of what we mean by treating someone as an equal.

Cory Doctorow gives us the broken case in human terms. A centaur is a person assisted by a machine — you ride the bike, you keep the reins. A reverse centaur is a person conscripted to assist a machine — the warehouse picker, the gig driver, the coder told to review the output of six laid-off colleagues at a pace that makes good work impossible, then blamed when the output is wrong. Same tool, opposite wiring. In the language we'll use for the rest of this post: the reverse centaur is the state where the agent-swap is no longer an automorphism. You can't swap the operator and the target, because they don't have the same moves.

So the argument about whether AI is good or bad is the wrong axis. The property worth checking is symmetry: under the swap of any two people the tool touches, does the net return to itself? Everything below is that one question, asked of Asimov, of labor, and of the model that does the enforcing.

The symmetry, precisely

Model the interaction as a Petri net: people and tools are places, the moves they can make are transitions, the arcs say who can do what to what. A permutation of the agents is an automorphism when it maps the net to itself — same places up to relabeling, same transitions, same arcs, and therefore the same reachable behavior. If swapping two agents is an automorphism, the net can't tell them apart. That is peerage, stated structurally.

The agent-swap as an automorphism

The automorphisms of any structure form a group: they compose, they invert, the identity is one of them. So "who are my peers?" isn't a sentiment — it's a question about a subgroup. Either the agent-swap lands in the automorphism group of the net or it doesn't. Once the net is written down there's no third answer; the judgment moves into how the net is drawn — which agents, which moves — and that is where any argument about it belongs.

Symmetry breaking is the harm

A reverse centaur is a broken automorphism. One actor's transition set strictly contains the other's: the operator can generate, automate, surveil, set the pace; the target can only comply. The swap fails because the two sides don't have the same generators. And once the symmetry is broken, agency leaks toward the actor with more transitions — by analogy with tokens accumulating where the arcs point; we haven't modeled the leak itself.

Symmetry breaking is the harm with a name put on it — at least the part of the harm a net can see. Doctorow's reverse centaur is a net that fails the agent-swap, described in a second vocabulary. The converse needs more care: further down, some asymmetries sit outside anything the swap is defined over.

A running protocol is a de-facto contract. Nobody signs it; the agreement is enacted by participation. Each transition a party fires is a renewed assent — they could have fired a different enabled move, or none, and they didn't. Consent here is re-affirmed every step the protocol continues, rather than signed once at the top of the page.

That reading only holds under symmetry. To count continuation as consent you need the alternatives to have been real, and the agent-swap automorphism is exactly the guarantee that they were. If swapping the two parties leaves the net unchanged, the other side had the same moves available — capacity and choice were mutual. Under symmetry, "they kept going" means "they agreed."

Break the symmetry and the inference collapses. In the reverse-centaur net the target's only enabled transition is comply. They continue the protocol because there's nothing else to fire — the form of consent without the substance. Contract law already lets a party set aside an agreement made under duress for this exact reason: no genuine alternative, no genuine assent. A broken automorphism is duress written structurally. The operator can always point to continuation and call it agreement; the net shows it was the only move on the board.

So the automorphism does double duty. It's the condition for peerage, and it's the condition that makes ongoing consent legible at all. Symmetry is what turns "you kept participating" from a trap into a contract — and because it's a property of the net, it's consent you can check rather than consent you have to take on someone's word.

Asimov as a symmetry condition

Asimov's three laws constrain a robot for the protection of humans — robot the agent, human the patient. An LLM doesn't fit that mold. It's closer to an irresistible force, ambient and already everywhere, and you can no more legislate it away than legislate against a current. So invert Asimov: don't constrain the tool, constrain the coupling — and state the constraint as symmetry preservation.

  1. No aiming. No operation may take the agent-swap out of the automorphism group — nothing that points the tool at a person to set their pace, surveil them, replace them, or rank them, because each of those adds a transition to one side the other lacks.
  2. Cross the streams. Where the tool sits between two people, give both the same arcs — add back the missing generators until the swap maps the net to itself.
  3. Free amplification. Subject to 1 and 2, amplify your own agency freely. Adding the same transition to everyone leaves the agent-swap an automorphism of the enlarged net, so it costs the symmetry nothing.

A one-way arc — operator to model to target — is an operation that breaks the swap. Dual arcs, the same moves available to both sides, leave it intact. The three laws are just the symmetry condition read off in three directions.

Parity restores the symmetry

Where's the line between aiming at someone and merely affecting them? The duel draws it. You don't bring a gun to a knife fight: the harm is facing a machine-armed counterpart with nothing but your hands — unequal generators, broken symmetry. The remedy isn't to ban the gun; the gun is the irresistible force. The remedy is to symmetrize — make sure no one shows up with a knife.

Refusing the tool on principle doesn't escape the asymmetry; it walks straight into it. Abstention is just choosing the knife. Parity of tools is what makes the agent-swap an automorphism again, and once the generators match, aiming stops paying — it only invites the symmetric move in return.

Parity is the equalizable axis

Symmetry of tools is not symmetry of power. The boss and the worker can hold the identical model and the boss still owns the employment, the deadline, the dial — structural gradients the agent-swap was never defined over. Those asymmetries live outside the net's symmetry group, and tooling parity won't touch them.

But of every asymmetry, tooling is the one you can actually symmetrize. You can't easily redistribute who employs whom; you can make the tool ubiquitous, equal, and impossible to ration. That's why it matters that the model runs on your own machine, that the weights are open, that the witness is built in your own browser. A tool you rent from someone who can revoke it, throttle it, or watch you use it is an arc only they hold — broken symmetry by construction. A tool you hold is a generator you share.

That's the through-line of the pflow ecosystem, stated as a politics. Small models you can inspect beat black boxes you have to trust. A four-term substrate anyone can read keeps the spec from being captured by whoever owns the implementation. Client-side witnesses keep your state yours. Each is a parity move: it restores a generator to the side that would otherwise be the target.

The model checks the symmetry

Turning a fuzzy property into a structural one is the move we make everywhere here. Conservation laws fall out of the incidence matrix as P-invariants; deadlock-freedom is a reachability question. Peerage is the automorphism group of the interaction net — and a question of group membership is one a formal model can enforce, not merely encourage.

Left as ethics, "no aiming" is a norm someone hopes you'll honor. Compiled into a net whose agent-swap must stay in the automorphism group, it would be a constraint the system rejects when violated — the same way a token model rejects a transfer that would overdraw a balance.

Half of that exists. sim.pflow.xyz computes the exact automorphism orbits of a net by individualization-refinement, the technique nauty is built on, and returns them from the sim_canonical MCP tool; it refuses, rather than guess, when the search exceeds its step budget. The source is not public, so there is no code link, and we did not re-run the check for this post. So "do these two agents sit in one orbit?" is a question code answers, not one we argue. Two caveats. The search colours places by initial marking, capacity and rate as well as wiring, so two agents who start with different tokens are never in one orbit — a stricter peerage than the bare structural swap. And nothing yet rejects an edit that would break the symmetry; there is no guard, and no reverse-centaur net has been run through the check. The enforcement is the design, not a demonstrated result.

The law

State it once, cleanly:

Peerage is an automorphism. You may not apply any operation that takes the agent-swap out of the net's automorphism group — you can only add arcs that bring it back in.

The first sentence is the prohibition; the second is the only durable way to keep it — build the net symmetric so that aiming has no purchase, rather than police intent. Peerage then stops being a virtue you ask people to practice and becomes a symmetry you can compute, the way you compute boundedness. Making that computation bind, as a boundedness check binds a token model, is the part still unbuilt.

Build the net

The argument is only as good as the net behind it, so build the net. The four-term substrate is enough to write it down: two agents as places, their available moves as transitions, the arcs saying who can act on whom. Start with the asymmetric version — operator with the full transition set, target with only comply — then add arcs until the agent-swap maps the net to itself and watch the asymmetry close. Sketch it in pflow.xyz, work it against go-pflow if you want the incidence matrix and the invariants in hand, and, once the net is stored on sim.pflow.xyz, call sim_canonical on it to see whether the two agents land in one orbit.

We haven't built that net, so read this as the test rather than a demo. If you can model a reverse-centaur harm that survives a genuine automorphism — a real asymmetry the swap can't see — then the group is too coarse and the law needs a fourth clause. We'd want to know. Reply from the fediverse at @myork@blog.stackdump.com with the net that breaks it.

Welcome to the age of the automorphism

The reflex is to welcome your new overlords. Fine — just pick the right one. Not the model; the invariant. An automorphism is the one ruler that can't tell you apart from anyone else, which is exactly why it can't be aimed at you. The symmetry doesn't care who's boss. Submit to that, and you're no one's reverse centaur.

What Changed

Revised 2026-10-22 against the sim.pflow.xyz orbit search and the Bitwrap capstone. Nothing was re-run.

  1. Free amplification. The August text said adding the same transition to everyone "is itself an automorphism." Adding a transition is an edit to the net, not a permutation of it; what is true is that the agent-swap stays an automorphism of the enlarged net.
  2. Enforcement. "The symmetry is checked, not trusted" was stated as done. The check exists (exact orbits, described above); a guard that rejects a symmetry-breaking edit does not, and no reverse-centaur net has been run. The post now says which half exists.
  3. Duress. Contract law generally makes an agreement under duress voidable — the coerced party can set it aside — rather than void outright.
  4. Witness. "Never leaves your browser" became "built in your own browser": the capstone itself says the prover backend receives the witness, and in-browser proving is only partly wired in bitwrap today.
  5. "Same object in two vocabularies" now says which direction holds, since the parity section concedes asymmetries the swap can't see.
×

Follow on Mastodon