Bytes & Hash¶

Bytes¶

Module: Bytes — byte sequence manipulation.

Defines a binary type: ByteArray (a sequence of bytes).

Construction¶

Verb	Signature	Description
`creates`	`byte(values List<Integer>) ByteArray`	Create byte array from list of integers
`validates`	`byte(data ByteArray)`	True if byte array is empty

Slicing¶

Verb	Signature	Description
`reads`	`slice(data ByteArray, start Integer, length Integer) ByteArray`	Extract a sub-range of bytes
`creates`	`slice(first ByteArray, second ByteArray) ByteArray`	Concatenate two byte arrays

Hex Encoding¶

Verb	Signature	Description
`reads`	`hex(data ByteArray) String`	Encode byte array as hex string
`creates`	`hex(source String) ByteArray`	Decode hex string to byte array
`validates`	`hex(source String)`	True if string is valid hex

Access¶

Verb	Signature	Description
`reads`	`at(data ByteArray, index Integer) Integer`	Read byte at index
`validates`	`at(data ByteArray, index Integer)`	True if index is within bounds

  Bytes creates byte hex reads slice hex at validates hex

reads first_byte_hex(data ByteArray) String
from
    single as ByteArray = Bytes.slice(data, 0, 1)
    Bytes.hex(single)

Hash¶

Module: Hash — cryptographic hashing and verification.

Defines a binary type: Algorithm (hash algorithm selector).

No external crypto dependency — all algorithms are implemented in the runtime.

SHA-256¶

Verb	Signature	Description
`creates`	`sha256(data ByteArray) ByteArray`	Hash bytes to SHA-256 digest
`reads`	`sha256(data String) String`	Hash string to SHA-256 hex string
`validates`	`sha256(data ByteArray, expected ByteArray)`	Verify data matches expected SHA-256 hash

SHA-512¶

Verb	Signature	Description
`creates`	`sha512(data ByteArray) ByteArray`	Hash bytes to SHA-512 digest
`reads`	`sha512(data String) String`	Hash string to SHA-512 hex string
`validates`	`sha512(data ByteArray, expected ByteArray)`	Verify data matches expected SHA-512 hash

BLAKE3¶

Verb	Signature	Description
`creates`	`blake3(data ByteArray) ByteArray`	Hash bytes to BLAKE3 digest
`reads`	`blake3(data String) String`	Hash string to BLAKE3 hex string
`validates`	`blake3(data ByteArray, expected ByteArray)`	Verify data matches expected BLAKE3 hash

HMAC¶

Verb	Signature	Description
`creates`	`hmac(data ByteArray, key ByteArray) ByteArray`	Create HMAC-SHA256 signature
`validates`	`hmac(data ByteArray, key ByteArray, signature ByteArray)`	Verify HMAC-SHA256 signature

  Hash reads sha256 creates sha256 hmac validates hmac
  Bytes creates byte types ByteArray

reads checksum(content String) String
from
    Hash.sha256(content)