Documents & Knowledge

Everything, in one place

Start with the essentials, then search and filter the full library — every guide, research note, architecture decision, and report Keystone OS ships.

Start here

The essentials

Four quick ways in. You don't need an account or an API key to try it.

Live internals

Watch the system think

Interactive views of the architecture as it runs — not documents, but the best way to see how the pieces fit.

Library

Documents

Every guide, research note, architecture decision (ADR), and report — markdown and PDF together. Type to filter live, or pick a category. Press Enter to ask Keystone's grounding search for an answer instead of a document.

Filtering searches every document below. No match? Press Ask to search Keystone's guides, or just ask in Keystone Chat.
🤖 Agents GuideHow AI agents and the per-agent workstream lanes work. GuidesMD 🔌 AI ProvidersEvery AI provider, how to configure them, and the fallback chain. GuidesMD 🛠️ SkillsAvailable capabilities, persona routing, and the provider chain. GuidesMD 🎨 Brand GuidelinesKeystone Chat's voice, colors, type, and UI components. GuidesMD 🚩 Feature FlagsAdmin guide — feature flags & per-page nav visibility. GuidesMD 🔌 Keystone ↔ MCPChat linked to live project tools — GitHub issues + PRs and MCP tools. GuidesMD 🔒 SecurityPolicies, vulnerability guidelines, and responsible disclosure. GuidesMD 🤝 ContributingGuidelines for pull requests and issues. GuidesMD 💡 Code of ConductCommunity standards and expectations. GuidesMD 🏛️ Architecture Decision RecordsThe append-only decision log — why the system is the way it is. Index + approval gate. ADR · IndexMD 📜 ADR-0001 · Record architecture decisionsAdopt ADRs as the canonical decision log, with an owner-approval gate.Proposed ADRMD 🧩 ADR-0002 · Single Convergence CoreOne native core loop — reject architectural sprawl across components.Proposed ADRMD 🗄️ ADR-0003 · One canonical CSF moduleA single CSF serialization module — no parallel forks of the format.Proposed ADRMD ♻️ ADR-0004 · Append-only memoryJSONL + CSF archive as the only memory systems — append, never mutate.Proposed ADRMD 🔁 ADR-0005 · Interchangeable model providersModels are interchangeable — a provider abstraction with fallback.Proposed ADRMD 🥾 ADR-0006 · Dual-boot worktree topologyThe 4177/4178 dual-boot worktree topology for safe parallel work.Proposed ADRMD 🛤️ ADR-0007 · MonoworkstreamOne open PR lane per agent — sovereign workstream lanes, no shared pool.Proposed ADRMD 🌀 Σ₀ Ouro CoderThe single source of truth for the local coder — Ouro-1.4B + Σ₀ QLoRA + adaptive Q-exit depth. ResearchMD ♻️ Σ₀ Continual-Training LoopThe closed flywheel — harvest → execution-verify → train → eval-gated promote. ResearchMD 📊 Progress Report — Shareholder Edition2026-06-19 — what shipped, the real metrics, the honest ceiling, and the roadmap. ResearchMD 📐 Σ₀ Collapse CertificateLyapunov-collapse theorem, the Σ₀ trigger, and the anti-collapse operator. Freeze-prevention now proven for all A (normal & non-normal); Theorem 1 contraction still scoped to normal A. ResearchMD 🧊 Σ₀ Anti-Freeze Theorem (C3)Proof that Σ₀⁻¹ prevents permanent freeze — now closed for all A (normal & non-normal) via the L2′ alignment-free Frobenius bound. ResearchMD 🧭 Σ₀ Non-Normal Contraction (T1 — draft)Spectral-dichotomy route to Theorem 1 for non-normal A: collapse vs diverge. In progress — core confirmed numerically, full proof pending. ResearchMD 🗺️ Collapse Certificate — Plain-Language GuideWhat Σ₀ is and why grounding is the safety mechanism — no control-theory background needed. ResearchMD 🌌 Quantum-Relativity AnalysisCompanion essay — the QM/GR mapping, explicitly framed as metaphor, not a physics result. ResearchMD 🔄 Tesseract Convergence LoopThe 20-step convergence method — 4D status cube, Bayesian beliefs, and receipts. ResearchMD 📚 Research CanonLiving references organized by Convergence-12 component — the grounding for each loop stage. ResearchMD 🛡️ IP Register & 2-Year BuildoutDefensive-publication IP register + full enabling specs, mapped onto the buildout plan. ResearchMD 🌙 Overfitted Brain — why we dreamHoel's hypothesis: dreams = noise injection for generalization. Grounds the no-dream-engine rule. ResearchMD 🧭 Convergence plan — 2026 frontier refinementOpen build-order steps re-grounded against 2026 research: Brier confidence, verifier gate, live canary. ResearchMD 🧭 Kernel model frontierOuro LoopLM vs the 2026 dense small-model frontier — primary-source-verified, with a benchmark plan. ResearchMD 🌀 Convergence-exit spiralRecasts Ouro's Q-exit as convergence-exit (loop until ‖Δh‖/‖h‖<ε), then loop→spiral→tesseract. ResearchMD 🧩 Convergence Core spineThe four core objects, the six-stage loop, and the write-back closure in code — verified file-by-file. ResearchMD 🧊 Frozen-weights grounding loopThe on-canon online convergence loop: weights frozen, adapt via memory + retrieval + calibration. ResearchMD Sub-Quadratic Attention — Ouro UTThe O(n²×T) training-cost problem mapped across the stack — SDPA fix shipped, SWA as next lever. ResearchMD 📄 Collapse Certificate — LaTeX sourceTeX source for the certificate — for typesetting and print. ResearchTEX 🧩 Convergence IO — Stack overviewIndex + how the primitives compose — the P1–P10 map and the gate order. Convergence IOMD 🏷️ DCF — Data ClassificationP1 — every datum carries a class label; labels propagate through transformations. Convergence IOMD NAP — Negative AuthorityP2 — what agents are explicitly denied; hard denials can't be overridden by a capability claim. Convergence IOMD 🧾 AAPF — Action ProvenanceP3 — every action emits a reproducible, hashed record into an append-only ledger. Convergence IOMD 🔌 PCSF — Provider CapacityP4 — provider availability, fallback chain, circuit breakers, and per-tier quota. Convergence IOMD CCF — Capability ClaimP4 — an agent must prove a claimed capability at action time; honesty floor enforced. Convergence IOMD 🕸️ CEG — Execution GraphThe substrate — typed nodes + edges, an optimizer returning a constraint-satisfying plan. Convergence IOMD D — Time-Dilation FieldSlows uncertain regions, speeds confident ones — maps to how much grounding to buy. Convergence IOMD
Project

Project & releases