Module logs 

Application log records carried over the semantic channel.

A TUI cannot print diagnostics to the screen without corrupting the render, so applications write them to a logger instead. The logs capability forwards those records to the driver, where they become assertable test state rather than invisible side effects.

Records are bounded exactly like snapshots: measured against a byte ceiling and rejected wholesale on any violation, so a misbehaving logger degrades into dropped records rather than unbounded driver memory.

Structs

LogRecord

One application log record.

Enums

AttrValue

A structured attribute value. Scalars only: nested values make a record’s size unbounded and depth-dependent, so bridges flatten before they send.

LogLevel

One rung of the severity ladder.

Constants

LOG_LEVELS

The ladder in order, least to most severe.

MAX_LOG_ATTRS

Maximum number of attribute keys on one record.

Functions

validate_log_record

Validate an untrusted log record against limits.