docs(budget): state measured kernel ceiling

[moomooskycow]

Intent

Make the kernel budget rationale match the evidence.

Decision

State that the restored tree measured 58,683 tokens against a 58,700 ceiling. Explain that the retained proof comments encode non-obvious sole-publisher and fail-closed invariants. Remove the unsupported claim that this state followed a delete-or-split.

Checks

./scripts/check.sh passed, including the measured budget, race suite, and CLI smoke.

Rollback

Revert this documentation-only correction.

[chatgpt-codex-connector]

Codex Review Summary

This comment shows the latest Codex review activity on this pull request.

Review	Status	Commit	Review trigger
📝 Code Review	✅ Completed 2026-09-01T23:17:31.645443Z	222b3cb	PR opened

ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

• Open a pull request for review
• Mark a draft as ready
• Comment "@codex review" or "@codex security review".

Codex reacts with 👀 while any review is running, comments if it has suggestions, and reacts with 👍 once all reviews finish with no findings.

[coderabbitai]

Warning

Review limit reached

Next included review available in 29 minutes.

Check out review usage here.

View limit details

Limit details: You’ve used the included review currently available.

You've used all free OSS reviews for now. Wait for the free limit to reset to keep reviewing this public repository.

Learn how review limits work.

Review configuration:

⚙️ Run configuration

Configuration used: defaults

Review profile: CHILL

Plan: Team

Run ID: 40daa2db-334d-4e85-9665-d02c2fb0c6bf

📥 Commits

Reviewing files that changed from the base of the PR and between 3f41a98 and 222b3cb.

📒 Files selected for processing (1)

• modules.budget

---

Thanks for using CodeRabbit! It's free for OSS, and your support helps us grow. If you like it, consider giving us a shout-out.

❤️ Share

• X
• Mastodon
• Reddit
• LinkedIn

_{Comment @coderabbitai help to get the list of available commands.}