docs(rust): phase 12 — the leases (PLAN.md §27, PROTOCOL.md §14) #267
Reference in New Issue
Block a user
No description provided.
Delete Branch "docs/rust-phase-12"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
Plan of record (committed before code) and as-built record for module-rust phase 12.
core.leasecarries no scope, scheduled runs always have the empty scope);Raised for a decision (§27.6):
owner = this, which makes every grant of another plugin's permission a silent no-op on Oxide.orphanedlease rows. After a later run took and released the same target, that wrote an old baseline over the world.core.leasedrops the module'sretry: false.core.leaseruns two module calls under the default 10 s budget.Code PRs: Rust-Plugins, Rust-Link and Module-Rust
feat/phase-12-leases→edge.🤖 Generated with Claude Code
https://claude.ai/code/session_01E14m6SuuY6i1vASFeGDBeY