[hyperpolymath]

Changes Project.toml version from 0.1.0-DEV to 0.1.0, so a downstream compat entry such as "0.1" (statistikles' upcoming BHFamily extension) resolves. Julia sorts 0.1.0-DEV below 0.1.0, so it falls outside "0.1".

No tag: v0.1.0 is tagged after the Agda proofs (Step 3).

Tested: Julia 1.12.x locally, 587 tests with the R oracle (R 4.5.0). No bun.

🤖 Generated with Claude Code

https://claude.ai/code/session_01JbuR75us3eDRtw4MBN7ReD

[coderabbitai]

Navigate logical layers of code changes, visualize relationships, and explore their blast radius.

Note

Currently processing new changes in this PR. This may take a few minutes, please wait...

⚙️ Run configuration

Configuration used: Organization UI

Review profile: ASSERTIVE

Plan: Advanced

Run ID: 12b955ed-246e-4c2a-872e-a44462a2c0bf

📥 Commits

Reviewing files that changed from the base of the PR and between 2cbae66 and c56a9ec.

📒 Files selected for processing (1)

• Project.toml

 ________________________________________________________________
< This is the kind of code that makes on-call believe in ghosts. >
 ----------------------------------------------------------------
  \
   \   (\__/)
       (•ㅅ•)
       / 　 づ

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

Autopilot is currently an internal CodeRabbit preview.

---

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.}