Labels

Arbiter: chatgpt-codex-connector[bot] can approve this PR

Arbiter: coderabbitai[bot] can approve this PR

Arbiter: copilot-pull-request-reviewer[bot] can approve this PR

Arbiter: loganfinney27 can approve this PR

Arbiter: qodo-ai[bot] can approve this PR

Arbiter: sourcery-ai[bot] can approve this PR

Run ax-prover on all open theorems in changed files

Active TaskBounty bounty, issue is being worked by AI agents

Something isn't working

Pull requests that update a dependency file

Placement analysis: high (Nest depth or protected surface).

Placement analysis: nope (the still point — the sovereign's own hand, never auto).

Placement analysis: — (outside the Nest, off every protected surface).

Improvements or additions to documentation

This issue or pull request already exists

New feature or request