Skip to content

docs(manabrew-compat): correct the capability-registry counts - #6704

Merged
matthewevans merged 1 commit into
mainfrom
ship/mb-registry-count
Jul 27, 2026
Merged

docs(manabrew-compat): correct the capability-registry counts#6704
matthewevans merged 1 commit into
mainfrom
ship/mb-registry-count

Conversation

@matthewevans

@matthewevans matthewevans commented Jul 27, 2026

Copy link
Copy Markdown
Member

The guide claimed 78 declared / 65 emitted. Four codes were added when the
generic interaction path shipped (#6700) — simultaneous-decisions,
schema-response, and aggregate-bound refusals, plus a narrowed
prompt-unsupported — so the live figures are 82 and 69. The 13 documentary-only
entries are unchanged, as is the invariant that matters: zero emitted codes are
undeclared.

Recomputed against this tree rather than carried over from the earlier count:

declared 82 · emitted 69 · documentary-only 13 · undeclared emitted 0

which also agrees with the array's own type, [UnsupportedCapability; 82].

Summary by CodeRabbit

  • Documentation
    • Updated capability registry documentation with revised declared and emitted capability-code counts.
    • Clarified that registry exhaustiveness is enforced through verification checks.
    • Added guidance to rerun the verification command when results are uncertain.

The guide claimed 78 declared / 65 emitted. Four codes were added when the
generic interaction path shipped (#6700) — simultaneous-decisions,
schema-response, and aggregate-bound refusals, plus a narrowed
prompt-unsupported — so the live figures are 82 and 69. The 13 documentary-only
entries are unchanged, as is the invariant that matters: zero emitted codes are
undeclared.

Recomputed against this tree rather than carried over from the earlier count:

    declared 82 · emitted 69 · documentary-only 13 · undeclared emitted 0

which also agrees with the array's own type, `[UnsupportedCapability; 82]`.
@matthewevans
matthewevans enabled auto-merge July 27, 2026 20:28
@coderabbitai

coderabbitai Bot commented Jul 27, 2026

Copy link
Copy Markdown
Contributor

Review Change Stack

📝 Walkthrough

Walkthrough

The capability-registry documentation updates declared and emitted capability-code counts and explains that no_emitted_capability_code_is_undeclared enforces registry exhaustiveness.

Changes

Capability registry documentation

Layer / File(s) Summary
Update registry exhaustiveness documentation
crates/manabrew-compat/CLAUDE.md
Updates the declared/emitted capability-code counts and documents the exhaustiveness check and verification command.

Estimated code review effort: 1 (Trivial) | ~2 minutes

Possibly related PRs

  • phase-rs/phase#6696: Updates the same capability-registry exhaustiveness documentation and related completeness checks.
🚥 Pre-merge checks | ✅ 5
✅ Passed checks (5 passed)
Check name Status Explanation
Description Check ✅ Passed Check skipped - CodeRabbit’s high-level summary is enabled.
Title check ✅ Passed The title accurately reflects the main change: correcting the capability-registry counts in the Manabrew compatibility docs.
Docstring Coverage ✅ Passed No functions found in the changed files to evaluate docstring coverage. Skipping docstring coverage check.
Linked Issues check ✅ Passed Check skipped because no linked issues were found for this pull request.
Out of Scope Changes check ✅ Passed Check skipped because no linked issues were found for this pull request.
✨ Finishing Touches
🧪 Generate unit tests (beta)
  • Create PR with unit tests
  • Commit unit tests in branch ship/mb-registry-count

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

@coderabbitai coderabbitai Bot left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Actionable comments posted: 1

🤖 Prompt for all review comments with AI agents
Verify each finding against current code. Fix only still-valid issues, skip the
rest with a brief reason, keep changes minimal, and validate.

Inline comments:
In `@crates/manabrew-compat/CLAUDE.md`:
- Line 60: Update the documentation around
no_emitted_capability_code_is_undeclared to avoid claiming manual audits are
unnecessary; describe only the guarantee the test actually enforces.
Alternatively, strengthen that test with exact assertions for the 69 emitted
codes, 82 registry entries, and 13 documentary-only entries, then retain the
claim only if those counts are enforced.
🪄 Autofix (Beta)

Fix all unresolved CodeRabbit comments on this PR:

  • Push a commit to this branch (recommended)
  • Create a new PR with the fixes

ℹ️ Review info
⚙️ Run configuration

Configuration used: Path: .coderabbit.yaml

Review profile: CHILL

Plan: Pro Plus

Run ID: 5949b8fb-9eb8-4ce8-b50a-6c6bde81c305

📥 Commits

Reviewing files that changed from the base of the PR and between ec42e88 and b7f406a.

📒 Files selected for processing (1)
  • crates/manabrew-compat/CLAUDE.md

Compare emitted codes against declared entries. Divergence is a defect, not a backlog item.

The registry is now **exhaustive** over emitted codes (78 declared; 65 emitted at live call sites, plus 13 documentary entries that describe a gap without a code path). `no_emitted_capability_code_is_undeclared` scans the production half of `lib.rs` and fails on any new undeclared code, so this no longer needs a manual audit — but re-run the command above if you doubt the test.
The registry is now **exhaustive** over emitted codes (82 declared; 69 emitted at live call sites, plus 13 documentary entries that describe a gap without a code path). `no_emitted_capability_code_is_undeclared` scans the production half of `lib.rs` and fails on any new undeclared code, so this no longer needs a manual audit — but re-run the command above if you doubt the test.

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

📐 Maintainability & Code Quality | 🟠 Major | ⚡ Quick win

Do not claim that manual auditing is no longer needed.

no_emitted_capability_code_is_undeclared only verifies that scanned emitted literals are declared; its distinct.len() >= 50 floor does not enforce 69 emitted codes, 82 registry entries, or 13 documentary-only entries. The documented counts can therefore drift while the test remains green. Either narrow this sentence to the guarantee actually enforced, or add exact count assertions in crates/manabrew-compat/src/lib.rs:8294-8357.

🤖 Prompt for AI Agents
Verify each finding against current code. Fix only still-valid issues, skip the
rest with a brief reason, keep changes minimal, and validate.

In `@crates/manabrew-compat/CLAUDE.md` at line 60, Update the documentation around
no_emitted_capability_code_is_undeclared to avoid claiming manual audits are
unnecessary; describe only the guarantee the test actually enforces.
Alternatively, strengthen that test with exact assertions for the 69 emitted
codes, 82 registry entries, and 13 documentary-only entries, then retain the
claim only if those counts are enforced.

Source: Path instructions

@matthewevans
matthewevans added this pull request to the merge queue Jul 27, 2026
Merged via the queue into main with commit ac18940 Jul 27, 2026
15 checks passed
@matthewevans
matthewevans deleted the ship/mb-registry-count branch July 27, 2026 20:54
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant