Documentation

This reference indexes public interfaces and internal implementation packages across Tiny.

Inspecting public contracts

• Interface signatures and contracts: Does the operation accept an explicit allocator, or does it rely on package-managed state such as phase-sealed allocators? Do returned buffers borrow from arguments, or must the caller free them? What failure modes appear in the declared error set?
• Syntactic dependency graphs: Module pages display static syntax references extracted by the semantic graph. These maps reflect lexical imports and package coupling. They do not assert compiler-verified types or dynamic reachability.
• Verification evidence: When a build includes verification catalogs, module pages link declarations to tests, property suites, and Lean 4 models. Each record is bounded by its stated premises. Formal proofs verify specific theorems under explicit assumptions rather than asserting whole-implementation correctness.

Package catalog

Memory and allocators

• tiny.alloc: Coordinates process memory lifecycle phases and enforces explicit allocation limits.
• tiny.gpalloc: General-purpose memory allocator with segregated size classes and thread-local caching.
• tiny.deadalloc: Fault-isolating memory allocator that randomizes slot placement to detect and mitigate memory corruption.

Compilers and runtimes

• tiny.choir: Multi-level compiler intermediate representation with extensible dialects and transformation pipelines.
• tiny.accy: Tensor compiler that validates symbolic dimension extents and lowers operations into loop dialects.
• tiny.mprompt: Delimited continuations and typed effect handlers for suspendable control flow.

Layout and text

• tiny.pretty: Width-aware document layout algebra that formats structured text to fit target margins with continuation lookahead.

Probabilistic computing

• tiny.pluck: Discrete probabilistic programming engine supporting exact inference via decision diagrams and approximate sampling.

Analysis, profiling, and testing

• tiny.smg: Static syntax property graph for repository-wide dependency auditing and architectural boundary checks.
• tiny.hypothesis: Property-based testing framework with automated test-case generation and counterexample shrinking.
• tiny.coz: Causal profiler that measures throughput impact at progress points to identify high-value optimization targets.

Internal implementation

Internal packages provide subsystem machinery within Tiny. They are not exported as root namespace packages, but their interfaces, lifetime invariants, and failure modes are indexed here for contributors and researchers.

• alloc_fixed: Fixed-capacity, chunked, and recycling memory allocation strategies over caller-provided backing buffers.
• alloc_arena: Lifetime-scoped memory owners that serve grouped allocations from a caller-supplied backing allocator and return those buffers at deinit.
• alloc_observe: Instrumented allocators joined through one shared callback, separating a caller's logical request from the backing acquisition underneath it.
• alloc_phase: Runtime phase allocators, reusable input regions, and compile-time capacity declarations for work that obtains storage before it runs.

Browse every registered package in the API reference.