docs(rust): phase 12 — the leases (PLAN.md §27, PROTOCOL.md §14) #267

Merged
whitlocktech merged 2 commits from docs/rust-phase-12 into main 2026-09-24 04:02:48 +00:00
Member

Plan of record (committed before code) and as-built record for module-rust phase 12.

  • PLAN.md §27:
    • D73–D79;
    • the three §9 claims the rig disproved (no gather/craft/smelt convar in vanilla Rust, core.lease carries no scope, scheduled runs always have the empty scope);
    • §27.5 as built and walked on Oxide and Carbon;
    • §27.6 two defects fixed and four raised outside the phase;
    • §27.7 not proven;
    • a correction note on §9 and the phase row.
  • rust-link/PROTOCOL.md §14: protocol 8. Also the version, the website API table and the timeout note in §4.4.

Raised for a decision (§27.6):

  1. The phase-7 permission mirror grants with owner = this, which makes every grant of another plugin's permission a silent no-op on Oxide.
  2. Core's cleanup restores orphaned lease rows. After a later run took and released the same target, that wrote an old baseline over the world.
  3. core.lease drops the module's retry: false.
  4. core.lease runs two module calls under the default 10 s budget.

Code PRs: Rust-Plugins, Rust-Link and Module-Rust feat/phase-12-leasesedge.

  • AI-assisted: Claude Code (Claude Opus 5.5)

🤖 Generated with Claude Code

https://claude.ai/code/session_01E14m6SuuY6i1vASFeGDBeY

Plan of record (committed before code) and as-built record for module-rust phase 12. - **PLAN.md §27**: - D73–D79; - the three §9 claims the rig disproved (no gather/craft/smelt convar in vanilla Rust, `core.lease` carries no scope, scheduled runs always have the empty scope); - §27.5 as built and walked on Oxide and Carbon; - §27.6 two defects fixed and **four raised outside the phase**; - §27.7 not proven; - a correction note on §9 and the phase row. - **rust-link/PROTOCOL.md §14**: protocol 8. Also the version, the website API table and the timeout note in §4.4. **Raised for a decision (§27.6):** 1. The phase-7 permission mirror grants with `owner = this`, which makes every grant of another plugin's permission a silent no-op on Oxide. 2. Core's cleanup restores `orphaned` lease rows. After a later run took and released the same target, that wrote an old baseline over the world. 3. `core.lease` drops the module's `retry: false`. 4. `core.lease` runs two module calls under the default 10 s budget. Code PRs: Rust-Plugins, Rust-Link and Module-Rust `feat/phase-12-leases` → `edge`. - [x] AI-assisted: Claude Code (Claude Opus 5.5) 🤖 Generated with [Claude Code](https://claude.com/claude-code) https://claude.ai/code/session_01E14m6SuuY6i1vASFeGDBeY
wtclaude added 2 commits 2026-09-24 02:15:01 +00:00
The rig disproved three of §9's rows: vanilla Rust has no gather, craft
or smelt rate convar. core.lease never tells a module which server, so
the target names it. And every scheduled run has the empty scope, so
"caps are per server" holds only for runs an admin starts by hand.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01E14m6SuuY6i1vASFeGDBeY
Walked on both rigs through real core: 21 keys observed live, the game's own deadline with core stopped, drift, reload and restart mid-hold, and the switch. Records two defects fixed in the phase and four found outside it and raised: the phase-7 grant owner bug, core restoring orphaned lease rows over a later run, core.lease dropping retry:false, and the 10s budget squeeze.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01E14m6SuuY6i1vASFeGDBeY
whitlocktech merged commit 68989c247b into main 2026-09-24 04:02:48 +00:00
whitlocktech deleted branch docs/rust-phase-12 2026-09-24 04:02:48 +00:00
Sign in to join this conversation.
No description provided.