`examples/patch-tenancy-clause.umsg`

%unimsg 0 patch/tenancy-clause-2/v0 · 14 lines · 850 bytes of text · 583 bytes canonical · the raw file

Point at anything below — a sigil, a literal, a brace — and the card says what it is. Keyboard: tab through the document. Every explanation is also printed in full beneath the source.

%unimsg 0 patch/tenancy-clause-2/v0

patch @patch/tenancy-clause-2/v0 {
  at     2026-09-04T07:09:13Z
  base   #sha256:26985cc9e7022c245a0d66a73ae5d2b457c4cb7ba5b041d3e31ca02945f6e74c
  intent "reword the parties clause heading, and expand the AST definition to name the Act"
  result #sha256:f8b2c0b12ef52d5eb7d506fa2382d5416337faa738f0c529a3fbcfb36c262684
  ops    [
    | now                                                       op   path                                                                   was
    | "an assured shorthold tenancy under the Housing Act 1988" :set "tenancy-agreement.content[@parties].children[0].content[1].expansion" "assured shorthold tenancy"
    | "The parties and the property"                            :set "tenancy-agreement.content[@parties].name[0].text"                     "Parties and property"
  ]
}

The canonical encoding

Produced by the reference encoder when this page was built. Decoding these bytes and printing them in the text form returns the document above, byte for byte — that round trip is the claim the whole format rests on.

a1 65 70 61 74 63 68 da 00 01 11 d5 82 81 da 00 01 11 d6 78 19 70 61 74
63 68 2f 74 65 6e 61 6e 63 79 2d 63 6c 61 75 73 65 2d 32 2f 76 30 a5 62
61 74 da 00 01 11 da 74 32 30 32 36 2d 30 39 2d 30 34 54 30 37 3a 30 39
3a 31 33 5a 63 6f 70 73 82 a4 62 6f 70 da 00 01 11 d4 63 73 65 74 63 6e
6f 77 78 37 61 6e 20 61 73 73 75 72 65 64 20 73 68 6f 72 74 68 6f 6c 64
20 74 65 6e 61 6e 63 79 20 75 6e 64 65 72 20 74 68 65 20 48 6f 75 73 69
6e 67 20 41 63 74 20 31 39 38 38 63 77 61 73 78 19 61 73 73 75 72 65 64
20 73 68 6f 72 74 68 6f 6c 64 20 74 65 6e 61 6e 63 79 64 70 61 74 68 78
44 74 65 6e 61 6e 63 79 2d 61 67 72 65 65 6d 65 6e 74 2e 63 6f 6e 74 65
6e 74 5b 40 70 61 72 74 69 65 73 5d 2e 63 68 69 6c 64 72 65 6e 5b 30 5d
2e 63 6f 6e 74 65 6e 74 5b 31 5d 2e 65 78 70 61 6e 73 69 6f 6e a4 62 6f
70 da 00 01 11 d4 63 73 65 74 63 6e 6f 77 78 1c 54 68 65 20 70 61 72 74
69 65 73 20 61 6e 64 20 74 68 65 20 70 72 6f 70 65 72 74 79 63 77 61 73
74 50 61 72 74 69 65 73 20 61 6e 64 20 70 72 6f 70 65 72 74 79 64 70 61
74 68 78 30 74 65 6e 61 6e 63 79 2d 61 67 72 65 65 6d 65 6e 74 2e 63 6f
6e 74 65 6e 74 5b 40 70 61 72 74 69 65 73 5d 2e 6e 61 6d 65 5b 30 5d 2e
74 65 78 74 64 62 61 73 65 da 00 01 11 d8 82 66 73 68 61 32 35 36 58 20
26 98 5c c9 e7 02 2c 24 5a 0d 66 a7 3a e5 d2 b4 57 c4 cb 7b a5 b0 41 d3
e3 1c a0 29 45 f6 e7 4c 66 69 6e 74 65 6e 74 78 50 72 65 77 6f 72 64 20
74 68 65 20 70 61 72 74 69 65 73 20 63 6c 61 75 73 65 20 68 65 61 64 69
6e 67 2c 20 61 6e 64 20 65 78 70 61 6e 64 20 74 68 65 20 41 53 54 20 64
65 66 69 6e 69 74 69 6f 6e 20 74 6f 20 6e 61 6d 65 20 74 68 65 20 41 63
74 66 72 65 73 75 6c 74 da 00 01 11 d8 82 66 73 68 61 32 35 36 58 20 f8
b2 c0 b1 2e f5 2d 5e b7 d5 06 fa 23 82 d5 41 63 37 fa a7 38 f0 c5 29 a3
fb cf b3 6c 26 26 84

canonical CBOR for examples/patch-tenancy-clause.umsg 583 bytes

Every construct on this page

The formal columns are read from the specification when this page is generated. The last column is this site's plain-language gloss and is not normative — where they differ, the specification is right.

construct	glyph	carries	example	gloss
:annotation	—	—	—	A bare name qualifying the value after it—for example a language tag or a unit such as `kg`. It is not a value itself; a bare name with nothing after it is an error, not a guess.
:array	`^`	type, or type:shape; then [ elements ]	`^f64 [ 1.5, 2.5 ] or ^i16:2x3 [ … ]`	A packed, homogeneous numeric array. The `^` marker gives every element its type and may also give the row-major shape: `^f64:2x3 [ … ]`.
:array-element	—	—	—	One element of a typed array. Its type comes from the `^` marker, so `1.5` inside `^f64` is binary64 rather than an exact decimal.
:array-missing	—	—	—	A missing position in a typed array. `null` here is not an element value: it adds a validity mask while preserving the array's shape.
:block	—	—	—	A block: named pairs, in braces. Its keys are sorted in the encoding and shown here as written.
:bytes	`~`	encoding:data	`~hex:ff00 or ~b64:iVBORw0KGgo=`	Raw octets, carried as octets. No base64 tax, no pretending they are text.
:comment	`--`	to end of line	`-- a note`	A note for people. It travels with the pair it precedes and never reaches the bytes.
:decimal	—	—	—	An exact decimal. 19.99 is nineteen and ninety-nine hundredths, not the nearest double to it.
:extension	`!`	name, then value	`!acme/hint { zone 4 }`	A qualifier this reader may not know. It survives the round trip intact, and stays legible on the way past — the rule that separates an extension from a private convention.
:float	—	—	—	A binary float, marked so it can never be mistaken for the exact decimal beside it.
:hash	`#`	algorithm:hex	`#sha256:deadbeef`	The digest of some content, with the algorithm said out loud so it is still meaningful in ten years.
:header	`%`	unimsg only	`%unimsg 0 label`	Declares the format version and what this document is. Optional, and useful exactly when a file arrives without context.
:identifier	`@`	word	`@ord-88213`	Gives this value a name, so another document can point at it without copying it.
:integer	—	—	—	A whole number of any size. Past 2^53 it is still exact, which is the whole reason this is not JSON.
:key	—	—	—	A field name: the first thing in a pair. It is bare when possible and quoted when needed, and names the content without becoming part of the value.
:reference	`->`	an identifier or a path	`-> @cust-4471, -> @lexicon.entries.kitāb`	Points at a name. Nothing follows it while reading — resolution is somebody else's job, deliberately.
:reserved-literal	—	—	—	One of six bare words that are values rather than names. The list is fixed, so no value is coerced by what it looks like.
:sequence	—	—	—	An ordered list. Order is preserved and is meaning.
:string	—	—	—	Text. May span lines, so prose does not have to be escaped into one.
:symbol	`:`	word	`:dispatched`	A name from a fixed vocabulary, not free text. `:high` is a value someone chose; "high" is a phrase someone typed.
:table-row	`\|`	cells	`\| sku qty`	One record of a table. A table is sugar for a sequence of blocks with the same keys, and encodes identically to the longhand.
:timestamp	—	—	—	A temporal value at the precision written. `2026-08` stays a month, and `03:52` stays a wall-clock time; neither is widened into an invented instant.