L1 — Invariant Aggregate

L1 denotes a committed invariant aggregate: a value maintained across a stream of L0 events by exactly one writer, with strict ordering and an explicit causal chain to the atoms it reflects. A real-time account balance updated synchronously on each transaction is the canonical example — one aggregation step from L0, yet authoritative when epistemic uncertainty is low and the writer is certified.

The single writer principle is the architectural expression of L1. Multiple writers to the same invariant domain without coordination produces the diffuse write authority anti-pattern: software and organisations where invariants are enforced by locking or hope rather than by designated ownership.

L1 sits between atomic commitments and compound derivations. It is the level at which many operational decisions safely depend — provided epistemic uncertainty is characterised and the reservation pattern handles race conditions without restoring global locks.