lenso-cli
The authoring CLI for Lenso App Plans and Modules.
This repository also owns the lenso-authoring library extracted from
LioRael/lenso under ADR 0064. The library validates authoring inputs,
resolves immutable ResolvedAppPlan artifacts, and assembles the selected
Runtime Driver and Execution Adapters when a plan is run.
Project-wide agent workflows live in the
LioRael/lenso skill pack.
Install
# or
Module authoring golden path
Ordinary Module authors use one intent-level workflow:
Users upgrading from the legacy nested and Plan-oriented commands should read the 0.4 / 0.12 migration guide.
The Rust starter uses the public lenso facade. Its business source contains
#[module] and #[provides(...)]; Capability lowering, endpoints, the native
factory, link-time registration, and the package-owned Module Descriptor are
generated. Because the starter defines a new Capability, its locked portable
contract lives in a separate capability crate rather than beside Module
behavior. check emits fast authoring diagnostics, dev resolves and starts a
fresh development generation, and verify records behavior and removal
evidence. Descriptor, binding, Plan, and Runner stages stay behind those
commands.
Source-derived App Definitions
Modules authored by a derivation macro embed a package-owned Module Descriptor in their compiled Cargo artifact. An App Definition selects packages and keyed Instances without repeating Capability IDs, operation tables, bindings, execution classes, or lifecycle policy:
# Remove only this App-local Instance; the Host may keep the dependency.
# Remove the dependency too when no other Instance uses it.
app add delegates dependency and lock ownership to Cargo, discovers the
runtime package id from the package-owned Descriptor, chooses a useful default
Instance key, and updates the small App Definition. Use --path for a local
package or --git with --rev, --branch, or --tag for Git. --dry-run
performs the complete build and resolution check, reports touched files, and
then restores them byte-for-byte.
Every edit is transactional: dependency files and the App Definition are
restored when Descriptor discovery or composition fails. The CLI builds only
the selected locked Cargo packages, reads Descriptor bytes from their artifacts
without executing package code, derives unambiguous bindings, and writes the
same immutable Plan format consumed by the Kernel.
one and optional ambiguities require an explicit App Definition decision;
many providers are ordered deterministically.
dev infers the execution class from the generated project. Native Rust
scaffolds include a development Runner; production Runner composition remains
App-owned. verify records behavior probes and a real removal-resolution
proof in .lenso/module-verification.json.
Use --recipe stateless, stateful, web-console, or managed-work to
seed the generated MODULE.md card.
Scope
The CLI exposes user intent rather than its internal check, resolution, recipe, Plan execution, and Adapter assembly stages:
lenso new
lenso dev
lenso check
lenso verify
lenso app add
lenso app remove
lenso app check
lenso app resolve
app check and app resolve remain explicit advanced commands for App owners
and Hosts that exchange canonical Plan bytes. They are not ordinary Module
authoring steps.
Runtime extensions, product Modules, deployment systems, and Console operations belong to their owning repositories rather than this authoring CLI.