UP-026 · Agency · definition CHECKABLE RUNNABLE EXECUTED STAGED

Established, Not Known

Establish, never know or detect: an observation can be stale, forged or partial, and establishing is what survives that.

Standing

definition CHECKABLE RUNNABLE EXECUTED STAGED PUBLISHED REPRODUCED

Last checked

never run

Source

none — this record cites no check

Limit

A definition. It carries no rung (AGENCY.md §6) and establishes only what the book means by 'established'. STALE ≠ UNESTABLISHED is the Super bot spec's, and it is cited, not derived here.

Next rung

in_tree — Definitions do not climb. The test is whether the agency chapters can state their invariants using this word without needing a second one.

Intent

Operational state is established, not known. To establish is to take an observation through freshness, provenance and completeness before it becomes state a locus acts on. A stale observation is still established — it was once true and is marked old. An unestablished one was never an observation at all. 'Position' is deprecated as the technical term; say established operational state.

Problem

'The agent detected that the door is locked' reads as fact and is a reading of a reading. Copy written with know and detect grants observations a certainty they never earned, and systems built on that copy act on forgeries with the same confidence as on truths.

Solution

Vocabulary: establish, established operational state, stale, unestablished. Retire know, detect, position. Run the lint.

Real-world analogy

A ship's log entry versus a rumour on deck. The log entry can be old; the rumour was never an observation.

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 26 of 32 — the fragment _patterns/wrl/chain/established-not-known.wrl, sealed alone by wrl.js

; ESTABLISHED, NOT KNOWN — an observation (en_in) passes through en_established before it can act on the
; Door. en_established is Part V's router: chapters 27 and 28 draw from it.
[relay:en_in]{sig_in, sig_out}
[relay:en_established]{sig_in, sig_out}
[door:en_act]{sig_in}

[en_in] --sig--> [en_established]
[en_established] --sig--> [en_act]

Its test bench _patterns/wrl/chain/established-not-known.bench.wrl — drives the entry for this chapter's own film; never part of the chain

; TEST BENCH — drives this chapter's entry alone; the chain replaces it with a wire from an earlier chapter
[pulser:en_bench](every 1){sig_out}
[en_bench] --sig--> [en_in]

module + bench seal to → sem-c1bc7910128802b84f243a616499d7b5ea6471947bcab071285055c77d55d793

Run inputs — a ScenarioV1, the forge's own document, bound to this world's id and never part of it (D3) · ScenarioDigest scen-886cdaf007dc64a8089… (the run inputs' own identity, computed by the forge)

No claims: the world runs on its clocks alone for 7 epochs.

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

FILM v0.7
t=1
pulser:en_bench:mode=periodic,p=1,phase=0,armed=0,done=0,nf=1
door:en_act:open=0,next_open=0
relay:en_established:cur_out=0,next_out=0
relay:en_in:cur_out=0,next_out=1
wire:w__en_bench__en_in:cur=1,nxt=1
wire:w__en_established__en_act:cur=0,nxt=0
wire:w__en_in__en_established: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:en_bench:mode=periodic,p=1,phase=0,armed=0,done=0,nf=1
door:en_act:open=0,next_open=0
relay:en_established:cur_out=0,next_out=0
relay:en_in:cur_out=1,next_out=1
wire:w__en_bench__en_in:cur=1,nxt=1
wire:w__en_established__en_act:cur=0,nxt=0
wire:w__en_in__en_established: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:en_bench:mode=periodic,p=1,phase=0,armed=0,done=0,nf=1
door:en_act:open=0,next_open=0
relay:en_established:cur_out=0,next_out=1
relay:en_in:cur_out=1,next_out=1
wire:w__en_bench__en_in:cur=1,nxt=1
wire:w__en_established__en_act:cur=0,nxt=0
wire:w__en_in__en_established:cur=1,nxt=1
admit:policy=admit_candidate_min_firstreceipt_v1,fact_capacity_fault=0,receipt_capacity_fault=0,capacity_fault=0

FILM v0.7
t=4
pulser:en_bench:mode=periodic,p=1,phase=0,armed=0,done=0,nf=1
door:en_act:open=0,next_open=0
relay:en_established:cur_out=1,next_out=1
relay:en_in:cur_out=1,next_out=1
wire:w__en_bench__en_in:cur=1,nxt=1
wire:w__en_established__en_act:cur=0,nxt=1
wire:w__en_in__en_established:cur=1,nxt=1
admit:policy=admit_candidate_min_firstreceipt_v1,fact_capacity_fault=0,receipt_capacity_fault=0,capacity_fault=0

FILM v0.7
t=5
pulser:en_bench:mode=periodic,p=1,phase=0,armed=0,done=0,nf=1
door:en_act:open=0,next_open=1
relay:en_established:cur_out=1,next_out=1
relay:en_in:cur_out=1,next_out=1
wire:w__en_bench__en_in:cur=1,nxt=1
wire:w__en_established__en_act:cur=1,nxt=1
wire:w__en_in__en_established:cur=1,nxt=1
admit:policy=admit_candidate_min_firstreceipt_v1,fact_capacity_fault=0,receipt_capacity_fault=0,capacity_fault=0

FILM v0.7
t=6
pulser:en_bench:mode=periodic,p=1,phase=0,armed=0,done=0,nf=1
door:en_act:open=1,next_open=1
relay:en_established:cur_out=1,next_out=1
relay:en_in:cur_out=1,next_out=1
wire:w__en_bench__en_in:cur=1,nxt=1
wire:w__en_established__en_act:cur=1,nxt=1
wire:w__en_in__en_established:cur=1,nxt=1
admit:policy=admit_candidate_min_firstreceipt_v1,fact_capacity_fault=0,receipt_capacity_fault=0,capacity_fault=0

FILM v0.7
t=7
pulser:en_bench:mode=periodic,p=1,phase=0,armed=0,done=0,nf=1
door:en_act:open=1,next_open=1
relay:en_established:cur_out=1,next_out=1
relay:en_in:cur_out=1,next_out=1
wire:w__en_bench__en_in:cur=1,nxt=1
wire:w__en_established__en_act:cur=1,nxt=1
wire:w__en_in__en_established:cur=1,nxt=1
admit:policy=admit_candidate_min_firstreceipt_v1,fact_capacity_fault=0,receipt_capacity_fault=0,capacity_fault=0

Composes with the 25 chapters before it

The chain through this chapter — every earlier fragment, this one, and the links — seals to sem-00fb7b692dc62f574e1bfd5d4341c279f7eed9acdf1b28e2c8f845b17a307c54: 90 objects, 80 edges (was 87 / 77; every earlier object and edge is still present — checked, or the build refuses).

Links only the chain carries

[cx_machine0] --sig--> [en_in]

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

Where the vocabulary is set (AGENCY.md §4) AGENCY.md:172

### State does not grant authority — the ambient-authority trap

Forces

Establish is a longer word and a longer process, and it produces a state that can go stale — which readers experience as the system being unsure. Know is shorter and never unsure, which is the problem.

Applicability

Every technical sentence about what an agent has observed.

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

The system's confidence becomes a property of its evidence rather than its prose.

Witness

No witness. A definition carries no evidence rung (AGENCY.md §6).

Counterexample

No counterexample shipped (required only when WITNESSED).

What to take away

1. from the animationThe naive reader knew the stale reading and the forgery alike; the establishing reader marked one stale and refused the other.
2. from the syntaxTwo words retired, one adopted; the difference is whether the sentence can be wrong.
3. from the literatureByzantine observation; Gettier's problem, if you like — a true belief with the wrong provenance.
4. from the witnessA definition; no rung; the lint on the neighbouring pattern is the falsifier.

Prior art — and what is not claimed

Novelty not claimed. Epistemic caution about observation is not new. This is a definition, and definitions carry no rung.

Realizations in the tree

• AGENCY.md §4

Relations with other patterns

Active Locus definition · Understanding Boundary STATED