UP-020 · Persistence and World · STATED CHECKABLE RUNNABLE EXECUTED STAGED

Three Sizes of World

WORLD, WORLD VERSION and WRL GRAPH are three sizes with three names; a head is always qualified.

Standing

STATED CHECKABLE RUNNABLE EXECUTED STAGED PUBLISHED REPRODUCED

Last checked

never run

Source

none — this record cites no check

Limit

A vocabulary ruling (R11), frozen in CLOUD_V1.md §2. It establishes which word means which size. It does not establish that any system respects the distinction — WORLD_SIZE.md §11 records one occasion where this tree did not.

Next rung

in_tree — a lint that refuses a sentence using 'world' where the size is ambiguous, the way IDENTITY_ASSERTED refuses its class.

Intent

Three things are called 'world' in this stack and they differ by six orders of magnitude. The WORLD is the machine, ten gigabytes to ten terabytes. A WORLD VERSION is a content-addressed root describing that machine at an instant — kilobytes. The WRL GRAPH is the semantic layer inside a world, with its own head. Conflating them once produced a measurement of 0.21 % reported as the whole.

Problem

One word, three referents. A backup plan sized for the graph; a benchmark run against the manifest and reported for the machine; a 'current head' that meant different things in two files. Every one of these happened here.

Solution

Name each size. Forbid the bare word in technical copy. Qualify every head. Record the scope error where it happened so the next reader finds it before repeating it.

Real-world analogy

A city, a map of the city, and the map's legend. Each has a size; a plan to move the city that was budgeted from the map is the §11 error.

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 20 of 32 — the fragment _patterns/wrl/chain/three-sizes-of-world.wrl, sealed alone by wrl.js

; THREE SIZES OF WORLD — this fragment is a WRL GRAPH (the smallest size). ts_version fires ONCE at epoch 3:
; a version is a root taken at an instant. The chain so far is the graph; its seal is a wrl_head.
[pulser:ts_version](once at 3){sig_out}
[door:ts_root]{sig_in}

[ts_version] --sig--> [ts_root]

module + bench seal to → sem-2ca883ccac604098eb7e4a10da1ad4fa41a1260a95105351f87453e76716ba84

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

FILM v0.7
t=1
pulser:ts_version:mode=once,p=3,phase=3,armed=0,done=0,nf=1
door:ts_root:open=0,next_open=0
wire:w__ts_version__ts_root: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:ts_version:mode=once,p=3,phase=3,armed=0,done=1,nf=-1
door:ts_root:open=0,next_open=0
wire:w__ts_version__ts_root: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:ts_version:mode=once,p=3,phase=3,armed=0,done=1,nf=-1
door:ts_root:open=0,next_open=1
wire:w__ts_version__ts_root: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:ts_version:mode=once,p=3,phase=3,armed=0,done=1,nf=-1
door:ts_root:open=1,next_open=0
wire:w__ts_version__ts_root:cur=0,nxt=0
admit:policy=admit_candidate_min_firstreceipt_v1,fact_capacity_fault=0,receipt_capacity_fault=0,capacity_fault=0

Composes with the 19 chapters before it

The chain through this chapter — every earlier fragment, this one, and the links — seals to sem-ee97f22c94ad2b4e46a26aa642db76fd92e280edee1872b3f3553b80a511e373: 76 objects, 68 edges (was 74 / 67; 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

The frozen table row (CLOUD_V1.md §2) CLOUD_V1.md:48

| **WORLD VERSION** | a content-addressed description of that machine state at one instant | KB (it is a *root*) | Pigsty holds `manifest_root`; R2 holds the manifest |

The anti-relapse rule CLOUD_V1.md:52

**The rule that prevents the relapse:** there is no `current_head` field anywhere. A head is always

Forces

Short names are convenient and the three things are genuinely nested, so 'the world' will always be reached for. Freezing the vocabulary costs a sentence per use; it buys measurements that mean what they say.

Applicability

Any system with a machine-sized state, a snapshot format and a semantic layer — which is every backup, every VM image with a manifest, every document store with a graph in it.

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

Sizes and heads become unambiguous. This is A Number in Two Places, prevented at the vocabulary rather than at the number.

Failure mode it answers

A Number in Two Places — A count or definition typed where it is displayed instead of derived from its source; the two drift. Paid for at: STACK_COMPLETION.md corrections §1 (law counts 129→116→118); UNBOXED_PATTERNS.md v0.1 (32 labels over 30 rows; 890 vs 924)

Witness

No witness. This pattern is STATED — the tree has no check for its invariant.

Counterexample

No counterexample shipped (required only when WITNESSED).

What to take away

1. from the animationThree rings, three sizes; the inner ring taken for the outer is the recorded error.
2. from the syntaxNo current_head anywhere: manifest_root or wrl_head, always.
3. from the literatureGit's object / ref / worktree split makes the same three-way distinction.
4. from the witnessSTATED: frozen vocabulary; the witness is the retraction record in WORLD_SIZE.md §11.

Prior art — and what is not claimed

Novelty not claimed. The structure is git's. The vocabulary is frozen in CLOUD_V1.md §2 for one reason: WORLD_SIZE.md §11 mistook 0.21 % of the thing for the whole thing, and a frozen word is cheaper than that mistake.

Realizations in the tree

• CLOUD_V1.md:37

Relations with other patterns

Orthogonal Persistence STATED · World Boundary PROPOSED