Boxology
Boxology is an early-stage framework for building software as independent boxes that humans define and agents implement. Humans own box boundaries, typed interfaces, data models, and allowed connections; implementations can evolve behind compatible contracts.
V0 was completed on 2026-08-09. The accepted stream specs describe its delivered boundary. Applications built with Boxology are separate products and are not included in this repository.
The first public tool release is planned as version 0.1.0 on crates.io, but it has not been
published yet. Building this checkout requires Rust 1.97.1.
Quick start
Until the crates.io release is published, install the initializer and checker from this repository,
then initialize an existing empty target directory (a lone .git is allowed):
After 0.1.0 is published, the registry installation commands will be:
At that point, update with cargo install --force boxology-init --locked and
cargo install --force boxology-cli --locked; add --version 0.1.0 to pin the release.
The generated project README owns that project's invocation contract.
Release procedure
Run cargo xtask ci --base origin/main, then cargo xtask release preflight. Preflight checks the
exact 0.1.0 closure and order, inspects every crate's planned file inventory (including README and
both licenses), and creates, verifies, and inspects the real dependency-free root .crate. It does
not claim to package dependent crates: Cargo requires their predecessors to be visible on crates.io.
Configure Cargo's crates.io credentials securely, then publish exactly the next crate shown by the
order using BOXOLOGY_RELEASE_PUBLISH=1 cargo xtask release publish <crate-name>. Each invocation
recognizes the already-visible prefix, rejects gaps or an out-of-order name, runs a real crates.io
publish dry-run, and publishes only that crate. Wait for it to become visible before invoking the
next. After the sequence, prove fresh registry installs with the Quick start commands and smoke-test
boxology --help plus an initialized project. Tests and preflight never publish.
Documentation
See the changelog for release preparation and known boundaries. Start with the concise white paper, then use its linked sections to open the detailed documents. The product contract separates long-term direction from the completed foundation milestone.
- Boxes
- Packages, providers, and compositions
- Runtime
- Contract evolution and deprecation
- Software factory
- Quality and authority
- Product contract and foundation milestone
- Rust build topology
- Canonical capability contract
- V0 streams
License
Boxology is dual-licensed under MIT or Apache License 2.0, at your option.
Contributing and security
See CONTRIBUTING.md before proposing a change and SECURITY.md before reporting a vulnerability. Community participation is governed by the Contributor Covenant.