[kixelated]

Problem

AGENTS.md prefers a formally verified source unless another is more than about 10% faster. For bulk encryption, the maintainer decided on 2026-11-05 that performance beats verification outright.

Approach

Amend that rule in place: for AEAD and header protection, the fastest source wins with no margin. The QUIC path quest (#385) already records the decision.

Impact

None on the public API. Agent instructions only.

Decisions

• Add the exception to AGENTS.md ✅ (maintainer, 2026-11-05)
• Keep it in the quest only

Review

Skipped: a one-clause instruction change the maintainer asked for.

(Written by Claude Opus 5.5)

🤖 Generated with Claude Code

[pullfrog]

Your OpenCode Go account is out of credit. Top it up, then re-trigger Pullfrog.

OpenCode Go's response

provider error: Upstream request failed: Insufficient account funds

Top up OpenCode Go →

  ^{｜ Rerun failed job ➔ ｜ View workflow run ｜ via Pullfrog ｜ Using glm-5.3}

[coderabbitai]

Warning

Review limit reached

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

Next included review available in 12 minutes.

Check out review usage here.

View limit details

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

Learn how review limits work.

Review configuration:

Run configuration

• Source mode: Auto
• Repository: Unavailable
• Branch: Unavailable
• File: No configuration file from this repository applied
• Commit: Unavailable
• Layers: Organization UI
• Review profile: CHILL
• Plan: Advanced
• Run ID: c505f92e-417f-4c75-8fa6-2d5edd72578b

Commits

Reviewing files that changed from the base of the PR and between e69a6a1 and 097f270.

Files selected for processing: 1

• AGENTS.md

• Autofix · Keep fixing CodeRabbit findings and required CI, and resolving merge conflicts

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

[kixelated]

Automated review by review (OpenAI)

Reviewed head: 097f270

No actionable findings in this one-line documentation change. The AEAD/header-protection exception matches the decision recorded in #385, while the surrounding permissive-license, constant-time, correctness-argument, differential-test, and benchmarking requirements remain intact. The ~10% preference still applies to other primitives.

Direction: the scoped policy change is consistent with the stated intent; no revision suggested.

Verification limits: GitHub-only inspection of the complete diff, AGENTS.md, and #385's plan. No code or tests changed; no builds, tests, or benchmarks were run. The head's returned workflow list contains only a skipped Queue run, so this is not a CI pass claim.