What problem does it solve? Turning approved plans into work that a separate, cheaper agent session can execute unattended requires packaging every slice with self-contained prompts, autonomy boundaries, proof requirements, and dependencies. Doing this by hand is error-prone and produces bundles that fail at runtime. ## Core Features & Use Cases - Envelope authoring: Drafts one execution-envelope-v0 per AFK-candidate slice with autonomy allow/ask/deny lists, proof requirements, pause conditions, dependencies, and a self-contained runner prompt. - AFK eligibility rubric: Judges every slice against a versioned rubric (bounded scope, probed gate commands, resolved dependencies, mechanical success criteria, no design decisions, git-reversibility) and demotes unverifiable slices to human-in-the-loop. - Approval and export: Collects explicit per-envelope human verdicts, then writes, validates (beislid export validate), checkpoints, and commits an approved-slice-plan-export-v0 bundle under .beislid/exports/ for rondo run-once to execute. - Revision mode: Rewrites an existing bundle in place as version N+1 with a supersedes hash chain and delta-only re-approval when delivery feedback arrives. - Use Case: After breaking a multi-ticket feature into slices, run /envelope in a strong-model session to produce a validated, repo-committed bundle that a cheaper runner session executes later with zero additional context. ## Quick Start Invoke /envelope with a ticket id, an approved Work Contract or spec file path, or a batch of tickets to author and export execution envelopes.