Guides & internals
Topic deep-dives and compiler internals. New to Sky? Take the tour first. Looking up a module? See the API reference.
Guides
How to build things — the runtime, data, UI, auth, tooling, deployment.
- Attribution run — where the interaction cost and the session memory go
- CI Corpus Proposal — what the regression corpus should actually be
- CI/test overhaul — Phase 2 and Phase 3 results
- CI/test overhaul — Phase 4 results (Layer 1, the combinatorial corpus)
- CI/test overhaul — Phase 7 + 8 results (the coverage ledger, and the migration)
- CLI reference
- Configuration architecture — build manifest, typed config, environment
- Coverage ledger
- Does Sky.Live's throughput scale with cores?
- Embedded PostgreSQL
- Embedded PostgreSQL — local end-to-end delivery proof (2026-08-16)
- Forum re-baseline — the interaction cost on an application, at HEAD
- Getting started
- HOF dispatch — A/B for the `coerce_if_needed` eta-expansion
- Is `GOGC` a shippable default, or a trap?
- Known limitations (v0.18.x)
- Language Server
- Language syntax
- Layer 2 — the real-world projects
- Method — verifying the shipped GC default
- Modules
- Observability — tracing & spans (user guide)
- Pattern matching
- Raw data — Sky.Live under load on x86 GCE, 2026-08-15
- Raw data — embedded PostgreSQL under load on x86 GCE, 2026-08-15
- Render-pipeline optimization — Html→VNode reflect de-boxing
- Render-pipeline optimization — Std.Ui `renderNodeAs` append-on-empty
- Sky CI/CD + Test Architecture
- Sky CI/CD + Test Architecture — v2 (reconciled)
- Sky.Live architecture
- Sky.Live capacity on x86 GCE — the mandate's number, measured
- Sky.Live input authority protocol
- Sky.Live overview
- Sky.Live production-resilience — hidden silent-failure class (2026-08-01)
- Sky.Live pub/sub
- Sky.Live topic-based pub/sub — design doc
- Sky.Tui overview
- Sky.Webview
- Stage 1 — runtime constant factors on the interaction hot path
- Stage 2 — the erased list-helper round trip, removed where it is provable
- Stage 3 — a provable `List.foldl` / `List.any` call stops widening its list
- Stage 4 — a provable `++`, and a provable length read, stop widening their lists
- Standard library reference
- Std.Auth overview
- Std.Db overview
- Std.Ui overview
- Streaming HTTP responses (`Sky.Core.Http.Stream`)
- Testing Sky projects
- The four contended locks: contention removed, throughput unchanged — a null
- The gate harness (`xtask harness`)
- The shipped GC default: does the bound actually hold?
- Tiered session cache — bounded RAM working set + disk backing
- Typed list destructuring — `rt.SkyLenT` / `SkyElemT` / `SkyTailSliceT`
- Types
- Validating the Sky.Live numbers on real x86 hardware
- What a Sky.Live interaction actually costs
- What an interaction costs on an application
- `sky.toml` — project manifest reference
Compiler & contributing
For contributors: the Rust compiler architecture, the FFI boundary, stdlib correctness, and how to work in the repo.
- 00 — Goals & Principles
- 01 — Architecture Overview
- 02 — Workspace & Crates
- 03 — Language Reference (the compat contract)
- 04 — Syntax: Lexer, Lossless CST, Layout & Recovery
- 05 — Name Resolution (the `hir` crate)
- 06 — Type System (the `ty` crate)
- 07 — Lowering & the Typed Go-IR
- 08 — Go Codegen
- 09 — Runtime & FFI
- 10 — LSP & Tooling
- 11 — Testing & Verification
- 13 — Change verification & the edge-case matrix
- 14 — Runtime-Narrowing Taxonomy (origins, floor, levers)
- Development
- Error system
- FFI boundary philosophy
- FFI design
- Go interop
- Known divergences — the Rust-vs-oracle ledger
- Sky Compiler — Rust Rewrite (architecture-first)
- Sky stdlib — Canonical correctness reference