std

Package algebra is the Go+ algebraic hierarchy: eight classes from Magma to Group, related by embedding, with each structure's laws declared exactly where the structure earns them.

Package canonical defines law-bearing normalization: reducing values to a deterministic representative without changing their semantic equivalence.

Package cas provides a typed compare-and-swap vocabulary for stores whose values may change between observation and mutation.

Package cbor provides RFC 8949 CBOR serialization for Go and Go+.

Package clock is a time-source seam for deterministic fake-time testing of time-driven components.

Package closeonce makes Close idempotent: the first Close runs the teardown and caches its error; every later Close returns that same error without re-running teardown.

Package config layers defaults, decoding, and semantic validation while retaining field paths in diagnostics.

Package dagcbor provides strict, deterministic DAG-CBOR serialization.

Package decimal implements immutable arbitrary-precision base-10 decimals.

Package deepmap is a generic two-level map — the (outer key, inner key) → value shape that shows up wherever state is namespaced per owner (per-filter metadata, per-tenant settings, per-connection registries).

Package fsatomic safely replaces files by writing, syncing, renaming, and syncing the containing directory.

Package guarded makes locking discipline structural: a Guarded[T] owns both the mutex and the value it protects, so the value is reachable only through With/Get — there is no way to touch it outside the lock.

Package http provides HTTP transport capabilities that complement net/http.

Package http3 contains optimized HTTP/3 wire primitives used by the Go+ HTTP transport.

Package iter is Go+'s lazy sequence algebra: a Seq[T] wraps the standard library's stditer.Seq[T] and carries fluent, allocation-light combinators.

Package kleene is Kleene's strong three-valued logic (K3): the truth value of a proposition that may be undetermined — a header not yet seen, a stream half not yet observed, a sensor not yet read.

Package latch is a one-shot quiescence rendezvous: an in-flight counter and a trip switch.

Package memo is a concurrent compute-once cache: the first Get for a key runs the compute function OUTSIDE any lock, then publishes with first-writer-wins pointer identity — every caller for a key observes the SAME value, and a losing concurrent compute is discarded.

Package memory provides explicit region lifetime, ownership, clearing, and reuse.

Package nonempty provides an owned sequence which statically contains at least one value.

Package option is the presence type of Go+: a value that is there (Some) or absent (None).

Derived combinators and the lexeme layer, built on the consumed/empty core — sequencing, repetition, separators, operator chains, and whitespace handling.

Package pathquery supplies format-neutral matching primitives for dynamic path evaluators.

Package process runs external commands while preserving structured failure information and allowing output to be captured, streamed, or both.

Package registry is a freeze-after-boot name registry: Register during initialization, Freeze exactly once when wiring is complete, Lookup forever after.

Package result is the railway type of Go+: a computation that either produced a value (Ok) or failed (Err).

Package retry is a bounded, context-aware retry loop with exponential backoff: attempt, wait base·2^n capped at cap, honor ctx cancellation mid-wait, and surface the LAST error when attempts are exhausted — the loop every fetcher hand-rolls.

Package schedule provides immutable grammar-indexed calendar schedules.

Package semver parses, compares, and increments Semantic Versioning 2.0.0 versions without imposing a leading-v convention.

Package serde defines the small common surface shared by Go+ standard library serializers.

Package smt provides the essential sorted-term and incremental-solver core shared by native Go+ theorem provers.

Package smtlib provides the solver-neutral SMT-LIB 2 syntax and command boundary used by native Go+ solvers.

Package validate provides typed, composable validation rules whose predicates survive successful validation as erased dependent indices.

Package vec is a length-indexed sequence: Vec[T, n] carries its length in its type, so First and Rest exist only for non-empty vectors — the checker proves it, erasure drops it, and the generated Go stays a plain cons-list any Go program can use (guarded at the exported boundary).

Package websocket implements RFC 6455 and RFC 7692 WebSocket clients, servers, framing, masking, message assembly, close validation, and bounded decompression.

Terminal task/step lifecycle outcomes.