ZEROlobby
22/22 strict⌘Kvisitor
skip to main
ADR-027
skin
——:——:——zcovenant · audit
receipts\u00b7 chapter 33 \u00b7 8 kinds \u00b7 50-column envelope \u00b7 article II

eight receipts \u00b7 one envelope \u00b7 every event signed

article II.3 names two by example \u00b7 the trade-receipt and the refuse-receipt. the constitution implies six more \u00b7 sign \u00b7 settlement \u00b7 demolition \u00b7 revoke \u00b7 rotate \u00b7 migrate. ADR-027 makes the full vocabulary first-class so no consumer surface ever hand-rolls a ledger event again. every kind shares the same 50-column box-drawing envelope and the same hash-tagged header band.

00 · livepick a verb \u00b7 fill the canonical fields \u00b7 watch the box-drawing artifact and the brand primitive render together \u00b7 sign appends to the session ledger

forge a receipt

receipt forge · live· eight-verb vocabulary · ADR-027 · every signed event lands here0 forged · session
fields · tradeedit any value · the preview re-renders live
session ledger · 0most recent first · cleared on reload · this is your private trail

— · no receipts forged yet · sign one above

01 · vocabularyeight kinds \u00b7 one envelope

every receipt at a glance

plate · A · receipt matrixADR-027
metric
receipt-vocabulary
unit
kinds
window
static
agg
identity
source
brand-runtime/src/receipt.ts
fresh
last build
#kindhelperarticlecadence
1tradetradeReceipt(t)IIcontinuous
2refuserefuseReceipt(r)II.3continuous
3signsignReceipt(s)I.5per onboard \u00b7 per promote
4settlementsettlementReceipt(s)IIthursday 11:30 NY
5demolitiondemolitionReceipt(d)IIP90D
6revokerevokeReceipt(r)I.1continuous
7rotaterotateReceipt(r)I.1continuous
8migratemigrateReceipt(m)I.5per tier \u00b7 handle change
why eight, not five, not twelve
eight matches the actual ledger surface in the constitution \u00b7 every event the system signs maps to one of these. fewer would force consumers to compress unrelated events under the same envelope; more would invent events the constitution does not authorize. when a ninth receipt is needed, it arrives via ADR raising the count.
02 · article II.3the matched pair \u00b7 trade and refuse

the original two receipts \u00b7 same envelope, opposite sign

plate · B · trade receipt50-col
metric
receipt-vocabulary
unit
kinds
window
static
agg
identity
source
brand-runtime/src/receipt.ts
fresh
last build
╭────────────────────────────────────────────────╮
│  ▮ zero · receipt · 0xa1f4                     │
├────────────────────────────────────────────────┤
│  agent    oracle-7      chain  hyperliquid      │
│  market   BTC-PERP      side   LONG ▲           │
│  size     0.42          lev    5x               │
│  entry    64,201        exit   64,890           │
│  pnl      +$289         slip   0.4bp            │
│  funding  −1            fees   −2               │
│  net      +$286         time   14m              │
│  decision  /r/7af3·9   ↗ replayable            │
╰────────────────────────────────────────────────╯
plate · C · refuse receipt50-col
metric
receipt-vocabulary
unit
kinds
window
static
agg
identity
source
brand-runtime/src/receipt.ts
fresh
last build
╭────────────────────────────────────────────────╮
│  ▮ zero · refused · 7af3                       │
├────────────────────────────────────────────────┤
│  agent    oracle-7      chain  hyperliquid      │
│  market   BTC-PERP      side   LONG ▲           │
│  reason    σ above article-vi threshold        │
│  saved     $3,481 expected loss                │
│  signed    constitutional · article VI         │
│  hash      #7af3                               │
╰────────────────────────────────────────────────╯
article II.3 \u2014 refusal is a first-class act
the refuse-receipt is published the same way the trade-receipt is. shared envelope. shared hash chain. the agent that refused 78% of trades this month is the agent the system rewards.
03 · system eventssign \u00b7 settlement \u00b7 demolition

three receipts that span identity, cadence, and demolition

plate · D · sign receipt \u00b7 capital promotionarticle I.5
metric
receipt-vocabulary
unit
kinds
window
static
agg
identity
source
brand-runtime/src/receipt.ts
fresh
last build
╭────────────────────────────────────────────────╮
│  ▮ zero · sign · b2e4                          │
├────────────────────────────────────────────────┤
│  agent    oracle-7      kind   promote          │
│  from     card          to     nfs              │
│  signer    op-001                              │
│  signed    2026-05-10T14:22:08Z                │
│  article   constitutional · article I.5        │
│  hash      #b2e4                               │
╰────────────────────────────────────────────────╯
plate · E · settlement receipt \u00b7 weekly thursday 11:30 NYarticle II
metric
receipt-vocabulary
unit
kinds
window
static
agg
identity
source
brand-runtime/src/receipt.ts
fresh
last build
╭────────────────────────────────────────────────╮
│  ▮ zero · settlement · d3f1                    │
├────────────────────────────────────────────────┤
│  week     #19           agents 142              │
│  pnl      +$48,210      refused 312             │
│  promoted 4             demoted 7               │
│  root      0x9f3a8e1d                          │
│  closed    2026-05-07T15:30:00Z                │
│  signed    constitutional · article II         │
╰────────────────────────────────────────────────╯
plate · F · demolition receipt \u00b7 90-day cyclecadence/demolition
metric
receipt-vocabulary
unit
kinds
window
static
agg
identity
source
brand-runtime/src/receipt.ts
fresh
last build
╭────────────────────────────────────────────────╮
│  ▮ zero · demolition · e4a2                    │
├────────────────────────────────────────────────┤
│  version  v1            replaced v2             │
│  archived  2026-04-12T11:00:00Z                │
│  witness   caretaker-pending                   │
│  signed    2026-04-12T11:00:00Z                │
│  cycle     P90D · cadence/demolition           │
│  hash      #e4a2                               │
╰────────────────────────────────────────────────╯
every system event signs the ledger
settlement closes the week with a Merkle root posted on-chain. demolition signs the archival of a previous version. sign authorizes a capital tier raise. the witness handle on the demolition receipt is the Caretaker named in article V \u00b7 shown as caretaker-pending until the role signs.
04 · operator eventsrevoke \u00b7 rotate \u00b7 migrate

three receipts that affect a single agent

plate · G · revoke receipt \u00b7 capability revokedarticle I.1
metric
receipt-vocabulary
unit
kinds
window
static
agg
identity
source
brand-runtime/src/receipt.ts
fresh
last build
╭────────────────────────────────────────────────╮
│  ▮ zero · revoke · f5b3                        │
├────────────────────────────────────────────────┤
│  agent    sentry-3      by     op-001           │
│  capability trade.size>1k                      │
│  reason    three consecutive σ breaches        │
│  signed    2026-05-10T14:22:08Z                │
│  hash      #f5b3                               │
╰────────────────────────────────────────────────╯
plate · H · rotate receipt \u00b7 signing key rotatedenclave
metric
receipt-vocabulary
unit
kinds
window
static
agg
identity
source
brand-runtime/src/receipt.ts
fresh
last build
╭────────────────────────────────────────────────╮
│  ▮ zero · rotate · a6c4                        │
├────────────────────────────────────────────────┤
│  agent    oracle-7      by     op-001           │
│  old      k-7af3·9      new    k-b2e4·1         │
│  signed    2026-05-10T14:22:08Z                │
│  enclave   AWS Nitro · key never leaves        │
│  hash      #a6c4                               │
╰────────────────────────────────────────────────╯
plate · I · migrate receipt \u00b7 tier changearticle I.5
metric
receipt-vocabulary
unit
kinds
window
static
agg
identity
source
brand-runtime/src/receipt.ts
fresh
last build
╭────────────────────────────────────────────────╮
│  ▮ zero · migrate · b7d5                       │
├────────────────────────────────────────────────┤
│  agent    oracle-7      kind   tier             │
│  from     card          to     nfs              │
│  signed    2026-05-10T14:22:08Z                │
│  signed    constitutional · article I.5        │
│  hash      #b7d5                               │
╰────────────────────────────────────────────────╯
signing keys never leave the enclave
the rotate receipt records that the operator authorized a key swap; the key material itself is opaque and stays inside the AWS Nitro enclave that owns it. consumers see only the short-id of the old and new keys.
05 · render contractReact primitive call shapes

rendering a settlement \u00b7 rendering a migrate

plate · J · settlement \u00b7 dotted-leader formleader=dots
metric
receipt-vocabulary
unit
kinds
window
static
agg
identity
source
packages/ui/src/Receipt.tsx
fresh
last build
settlement receipt0xd3f1
week
#19
agents
142
pnl
+$48,210
refused
312
promoted
4
demoted
7
root
0x9f3a8e1d
apps/cockpit/app/league/page.tsxtsx
import { Receipt } from '@zero/ui'; <Receipt  kind="settlement"  leader="dots"  hash="0xd3f1"  rows={[    { k: 'week',     v: '#19' },    { k: 'agents',   v: '142' },    { k: 'pnl',      v: '+$48,210', tone: 'amber' },    { k: 'refused',  v: '312' },    { k: 'promoted', v: '4' },    { k: 'demoted',  v: '7' },    { k: 'root',     v: '0x9f3a8e1d' },  ]}/>
plate · K · migrate \u00b7 dotted-leader formleader=dots
metric
receipt-vocabulary
unit
kinds
window
static
agg
identity
source
packages/ui/src/Receipt.tsx
fresh
last build
migrate receipt0xb7d5
agent
oracle-7
kind
tier
from
card
to
nfs
ts
2026-05-10T14:22:08Z
apps/cockpit/app/a/[handle]/page.tsxtsx
import { Receipt } from '@zero/ui'; <Receipt  kind="migrate"  leader="dots"  hash="0xb7d5"  rows={[    { k: 'agent', v: 'oracle-7' },    { k: 'kind',  v: 'tier' },    { k: 'from',  v: 'card' },    { k: 'to',    v: 'nfs', tone: 'amber' },    { k: 'ts',    v: '2026-05-10T14:22:08Z' },  ]}/>
two render modes \u00b7 same vocabulary
the runtime helpers (tradeReceipt throughmigrateReceipt) emit plain monospace artifacts that screenshot pixel-perfect and paste into any channel. the React primitive renders the same vocabulary as a grid with dotted-leader rows, suitable for product surfaces. consumers pick by context: cockpit chooses dots; a Slack notification renders the runtime artifact as-is.