Class

Primitive

The closed set of primitive field types. Byte semantics are defined by the kanonak-wire runtime kernel, wireFormatVersion "1" — big-endian integers, lowercase-canonical 16-byte UUIDs, strict (never lossy) UTF-8, fail-loud errors, zero-copy views. This enumeration grows only with a real consumer AND a kernel that already covers the addition (never ahead of the kernel).

Class
Subclass Of
Wire Form
One Of
U8, U16BE, U32BE, Fixed Bytes, UUID, Length-Prefixed UTF-8, Rest, JSON Body

Instances 8

PrimitiveFixed BytesExactly byteLength raw bytes (the Field MUST carry wire.byteLength). Decoded as a zero-copy view where the language has one.
PrimitiveJSON BodyAll remaining bytes decoded as strict UTF-8 and parsed as JSON against the Field's wire.bodySchema class. A tail type: legal only as the FINAL field. Never…
PrimitiveLength-Prefixed UTF-8A u16be byte length, then exactly that many bytes decoded as strict UTF-8. Unlike the tail types this may appear at any position. Added for a real consumer: a…
PrimitiveRestAll remaining bytes (possibly zero), as a zero-copy view. A tail type: legal only as the FINAL field of its Struct or Variant.
PrimitiveU16BETwo bytes, big-endian, unsigned, 0..65535.
PrimitiveU32BEFour bytes, big-endian, unsigned, 0..2^32-1. Languages without a fitting unsigned type widen (e.g. Java long) — exactness above 2^31 is normative.
PrimitiveU8One byte, unsigned, 0..255.
PrimitiveUUIDExactly 16 bytes. String form is lowercase hyphenated 8-4-4-4-12; any 16 bytes are legal (no version/variant validation).

Referenced by

← Range

Object PropertyMembers Encoded AsThe wire type of every member. Version 1 permits U8, U16BE, or U32BE.
Object PropertyTagged ByThe discriminator primitive read before the variant body. Version 1 permits U8 only (widen only with a real consumer).