UP-022 · Persistence and World · WITNESSED CHECKABLE RUNNABLE EXECUTED STAGED

Meaning Is a Hash

The meaning of a WRL world is its SemanticArtifactID.

Standing

WITNESSED CHECKABLE RUNNABLE EXECUTED STAGED PUBLISHED REPRODUCED

Last checked

2026-09-11 15:25:45 UTC

Source

WRL/test/conformance.mjs @ 32160fec77a1 · bytes e1f1e313eefe0001…

Limit

Unison, IPFS and Nix are direct prior art and the hashing is not the contribution. What the build establishes is that this tree's seal is stable under comment changes and moves under a topology change — one property of one sealer.

Next rung

live_local — sealWorld exposed to the page, so a reader supplies source and watches the id move under a topology change and hold under a comment change. The build does this 33 times; nothing yet lets the page do it once.

Intent

A WRL program is a network of durable identities joined by textured routes and separated by boundaries, and the whole network is one content address. Change the meaning and the hash changes; keep the hash and the meaning is kept, on every host, forever. There is no version flag beside it to consult.

Problem

Meaning lives in prose and version numbers, both of which are asserted rather than computed. Two implementations disagree about what a document means and there is nothing either can recompute to settle it.

Solution

Specify the canonical form. Seal it. Pin fixtures. Put the sealed id on the wire and let receivers recompute it (Refusable Divergence). Run a second implementation in a second language against the same vectors.

Real-world analogy

A recipe written so precisely that any two kitchens produce the same dish, and the dish's name is a fingerprint of the recipe. Change the salt and it is, by name, a different dish.

Structure — on the surface

An illustration on a compute surface: loci above, carriers below. Press Play or Step; the takeaways collect as you go. Nothing here is evidence — the witness section is.

The chapter in WRL — and the chain so far

Chapter 22 of 32 — the fragment _patterns/wrl/chain/meaning-is-a-hash.wrl, sealed alone by wrl.js

; MEANING IS A HASH — its OWN clock domain and a door; the variant beside this changes `every 3` to `every 4`
; and seals to a different id. There is no version number to consult.
[pulser:mh_clock](every 3){sig_out}
[door:mh_gate]{sig_in}

[mh_clock] --sig--> [mh_gate]

module + bench seal to → sem-c66fd7afc7b435c992b6439068982a95ee11777c2dd38ece148efeed76c71565

Reduced by the native reducer (ic32); the reference reducer reproduces every epoch's film hash (0.002s).

FILM v0.7
t=1
pulser:mh_clock:mode=periodic,p=3,phase=0,armed=0,done=0,nf=1
door:mh_gate:open=0,next_open=0
wire:w__mh_clock__mh_gate:cur=0,nxt=0
admit:policy=admit_candidate_min_firstreceipt_v1,fact_capacity_fault=0,receipt_capacity_fault=0,capacity_fault=0

FILM v0.7
t=2
pulser:mh_clock:mode=periodic,p=3,phase=0,armed=0,done=0,nf=3
door:mh_gate:open=0,next_open=0
wire:w__mh_clock__mh_gate:cur=0,nxt=1
admit:policy=admit_candidate_min_firstreceipt_v1,fact_capacity_fault=0,receipt_capacity_fault=0,capacity_fault=0

FILM v0.7
t=3
pulser:mh_clock:mode=periodic,p=3,phase=0,armed=0,done=0,nf=2
door:mh_gate:open=0,next_open=1
wire:w__mh_clock__mh_gate:cur=1,nxt=0
admit:policy=admit_candidate_min_firstreceipt_v1,fact_capacity_fault=0,receipt_capacity_fault=0,capacity_fault=0

FILM v0.7
t=4
pulser:mh_clock:mode=periodic,p=3,phase=0,armed=0,done=0,nf=1
door:mh_gate:open=1,next_open=0
wire:w__mh_clock__mh_gate:cur=0,nxt=0
admit:policy=admit_candidate_min_firstreceipt_v1,fact_capacity_fault=0,receipt_capacity_fault=0,capacity_fault=0

A variant beside it _patterns/wrl/meaning-is-a-hash.variant.wrl

profile forge.world.core.v1

; the same world with one period changed — a different meaning, a different id
[pulser:p0](every 3){sig_out}
[relay:r0]{sig_in, sig_out}
[spinner:sp](w=16, n=8, rotor=quarter_turn_z, configurable){sig_in, socket}
[orb:ob]{pose}

[p0] --sig--> [r0]
[r0] --sig--> [sp]
[sp] --socket--> [ob]

→ sem-4b46880e9a7ebe17586dfa39c6d05c7e83674182e21a6d6202369f9b0300ab80

Composes with the 21 chapters before it

The chain through this chapter — every earlier fragment, this one, and the links — seals to sem-c592c564b68bf8e458d01477c65cdff547d1b367f30ce5c484fc956773c4e0f1: 78 objects, 69 edges (was 76 / 68; every earlier object and edge is still present — checked, or the build refuses).

The board so far: one band per Part, signal flowing left to right; relays that fan out are routers, doors are switches, pulsers are clock domains. Hover an object — or click the board and walk it with the arrow keys — for its role, its Part and what it is wired to. This board is the chain’s sealed shape; no Film drives it, so it has no state to report, and the whole board in the conclusion is where every object’s state is read epoch by epoch. Wheel zooms · drag pans · double-click fits.

Syntax — quoted from the tree at build time

WRL in one sentence (WRL/README.md) WRL/README.md:3

**An executable topology language whose meaning is a hash.**

The world that seals to sem-67e954cf… WRL/README.md:16

profile forge.world.core.v1

[pulser:p0](every 2){sig_out}
[relay:r0]{sig_in, sig_out}
[spinner:sp](w=16, n=8, rotor=quarter_turn_z, configurable){sig_in, socket}
[orb:ob]{pose}

[p0] --sig--> [r0]
[r0] --sig--> [sp]
[sp] --socket--> [ob]

Forces

A hash of the source is not enough — whitespace is not meaning — so a canonical form has to be defined and both implementations have to produce it identically. The cost is a canonicalizer as carefully specified as the language; the benefit is that cross-implementation agreement becomes a vector file rather than a meeting.

Applicability

Any language or format whose documents must mean the same thing in two places: world descriptions, manifests, contracts, projections.

Transformations

A refusing transformation is not one that is discouraged: it is one that, applied, makes the invariant above false. The word is the tree's, and it is the same word the join uses.

Consequences

Meaning becomes portable and checkable. Unison did this for functions and Nix for packages; the prior-art field credits both, because the contribution here is the executable topology and the refusal names, not the hashing.

Failure mode it answers

Replica Theater — Calling independent mutable copies 'the same thing'. Paid for at: CLAUDE.md: the served box-and-box copy is a MANUAL COPY and nothing syncs it

Witness

Source identity: WRL/test/conformance.mjs · shape side-effect · evidence kind constructive_witness · rung in_tree (WRL/README.md: the starter world seals to sem-67e954cf… on every host)

Execution identity: 2026-09-11T15:25:45.285Z on PX13 · bytes e1f1e313eefe0001… · repo HEAD 32160fec77a1

Not staged on this site: the page cannot run this witness. It runs from the command line: node test/conformance.mjs in WRL.

Counterexample

Fixture WRL/test/projection-negative-vectors.json: 15 vectors, each expected REFUSED.

What to take away

1. from the animationTwo hosts computed the same id from the same canonical form, and a different one after a single edit.
2. from the syntaxNine lines of source are the whole world; the sem- id below them is its meaning.
3. from the literatureUnison identifies every definition by the hash of its syntax tree; IPFS and Nix by content. Direct prior art, credited.
4. from the witness924 conformance checks ran today under a receipt; the suite is not staged on this page and the page says so.

Prior art — and what is not claimed

Novelty not claimed. The hashing is not the contribution and this page says so twice. What the tree adds is an executable topology and a fixed set of refusal names — and only the first of those is witnessed.

Realizations in the tree

• WRL/README.md:1-40

Relations with other patterns

Confidentiality Under Content Addressing STATED^↩ · Exact Replay STATED^↩ · Identity Is a Seal WITNESSED · Refusable Divergence WITNESSED

A ^↩ marks a relation named on the other page. Relations are symmetric here and the reverse is derived, so neither side can go missing by being written once.