# Documentation

## Getting Started

- [Installation](installation.md): npm, Git, source, tarball, development snapshot, and Desktop installation, plus upgrades, troubleshooting, and Session format migration.
- [Global binding guide](user-bindings.en.md) ([中文](user-bindings.md)): author, review, save, configure, and test reusable helpers.
- [Runtime Reference](runtime-reference.md): cell behavior, capability discovery, configuration, diagnostics, and limits.
- [Evaluation](evaluation.md): paired ordinary-task protocol, metrics, configuration, and limitations.
- [Command Goat / DeepSeek V4.1 Flash evaluation](evaluations/command-goat-deepseek-v4.1-flash.md): paid main/child acceptance, two retained A/B cohorts, independent audits, measured benefits and limits.

## Design

- [Architecture](architecture.md): ownership boundaries, prompt-prefix stability, runtime lifecycle, journals, and recovery.
- [Context management](context-management.md): model-facing layers, evidence limits, progressive disclosure, and measured optimization rules.
- [Capability page contract](capability-surface.md): the capability page's concept contract — its two addresses, columns, words, receipt, single renderer, and its stated limitations.
- [Capability Surface](capability-projection.md): typed program bindings and progressive discovery.
- [Program Data Plane](program-data-plane.md): canonical values and result completeness.
- [Durable / Volatile Recovery](durability-design.md): replay model and external-input boundaries.
- [PTC Value Graph V1](value-wire.md): supported JavaScript value encoding.
- [Global User Bindings](adr/0023-global-user-bindings.md): persistent helper ownership, model projection, runtime activation, recovery, and Agent-assisted authoring.
- [Binding Review Placement](binding-review-placement-design.md): the implemented full draft panel above the current composer, using the published input dock and one review controller.
- [Logical Binding Identities](adr/0025-use-versioned-logical-binding-identities.md): stateful declarations, scope, candidate publication and language generations.
- [Stateful Binding Updates](stateful-binding-updates-proposal.md): target stateful-computation semantics and their acceptance boundaries.
- [Architecture Decisions](adr/): stable design constraints and their consequences.

## Maintenance

- [Verification selection](verification.md): documentation checks, selection-required diagnostics and complete behavioral validation; read the applicable procedure before its action as routed by [the agent contract](../AGENTS.md).
- [Findings and independent review](review-procedure.md): findings lifecycle, lane evidence, source proof and commit authorization.
- [Release coverage](release-coverage.md): release-only coverage commands and verification implementation details.
- [Client Visual Contract](client-visual-contract.md): browser prerequisites, control and state coverage, fault counterexamples, and packed Host evidence boundaries.
- [Incremental Review Verdict](adr/0026-persist-the-delivery-verdict-against-the-verified-candidate.md): predeclared parallel lanes, dependency-scoped invalidation, and the composite commit verdict.
- [Focused Verification](verification-optimization-work.md): bounded coverage diagnostics during new-version release preparation.
- [Semantic Validation](semantic-validation.md): pinned Test262 cases, dialect contracts, native differential matrices and their limits.
- [Publishing](publishing.md): release checks, package contents, permissions, and platform validation.
- [GitHub Release Notes](release-notes.md): user-perspective priority order, required sections, bilingual style, and a worked example for release notes.
- [Client UI](client-ui.md): current UI boundary and reevaluation criteria.