test(kernel): restore publisher proof context

[moomooskycow]

Intent

Restore the sole-publisher and fail-closed invariant comments removed while fitting PR #43 under the kernel token ceiling. Those comments explain domain behavior and were unrelated to the missing-path repair.

Decision

Restore all removed Proof 15-19 and MCP proof comments. Retain the MCP missing-path assertion. Raise the kernel ceiling from 58,400 to 58,700 with an inline recorded reason; measured use is 58,683 after the repair was simplified.

Checks

./scripts/check.sh passed: formatting, vet, lint fuse, secret and vulnerability scans, token budgets, race suite, and CLI smoke.

Rollback

Revert this PR. The runtime behavior is unchanged.

[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:11:22.552496Z	4e06899	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 35 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: e86e58a2-c99b-4f27-a1d9-d8ef9aaa26bb

📥 Commits

Reviewing files that changed from the base of the PR and between cede069 and 4e06899.

📒 Files selected for processing (3)

• internal/kernel/clean_writer_test.go
• internal/kernel/mcp_test.go
• 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.}