[hyperpolymath]

Summary

Re-mints the package UUID as a v8 so the package can be re-registered in julia-professional-registry (JPR) at 0.1.1.

• uuid: f9e8c2e0-8b4a-4d5f-9a3c-1e2d3c4b5a6f (patterned placeholder) → 01a11d29-d894-81ed-be3f-5f3acc80d59a (ADR-008 profile T, minted with standards/scripts/uuid-v8.js t). Owner ruling 2026-10-08, which extends D320.
• version: 0.1.0 → 0.1.1 (owner ruling: patch bump under the new UUID).

⚠ Registration drift: the JPR entry will register this PR's merged tree. That tree carries every change on main since the 0.1.0 registration (registered tree 345582a2da, main tree 8e13067597), not only these lines.

Type of change

• 🐛 Bug fix: n/a
• ✨ New feature: n/a
• 💥 Breaking change: the package identity changes, so existing installs must Pkg.rm("ZeroProb") then Pkg.add again. InvestigativeJournalism.jl and Hyperpolymath.jl depend on this package and move to the new UUID in their own PRs.
• 🕳️ Soundness fix: n/a
• 📖 Documentation: n/a
• 🧹 Refactor: n/a
• ⚡ Performance: n/a
• 🔧 Build/CI: n/a

📌 New pins

• Head SHA: 25bda21d8bd26a24a2d52ea26717b3b12ebf21f3 (tree c5629bbb028c20aa7e139c5adb5dd2e393c87ff4)
• No action, lockfile or container pins are added or changed.

How has this been verified?

• Pkg.Types.read_project("Project.toml") returns name ZeroProb, uuid 01a11d29-d894-81ed-be3f-5f3acc80d59a, version 0.1.1.
• Import-vs-deps pre-check: every using in src is declared, apart from Axiom (only inside a docstring example) and Plots (loaded lazily through @eval, test-only extra). No [deps] change is needed.
• julia --project=. -e 'using Pkg; Pkg.test()' (Julia 1.12.6): 607/607 passed, ZeroProb tests passed.

Checklist

• Commits are signed (G) and signed off
• Checks run locally (as above)
• SPDX headers on new files: no new files
• Docs updated: no doc names the UUID or version
• No soundness hole introduced

Notes for reviewers

Merge this PR before the JPR PR that re-registers the package. The JPR PR needs BDFL review plus an ADR, per docs/REGISTRY-POLICY.adoc. After the squash merge, tag the merge commit v0.1.1 (signed).

🤖 Generated with Claude Code

https://claude.ai/code/session_01WPSJ7fBhVAMcpSffCBWUDo

[coderabbitai]

No actionable comments were generated in the recent review. 🎉

ℹ️ Recent review info

⚙️ Run configuration

• Configuration used: Organization UI
• Review profile: ASSERTIVE
• Plan: Advanced
• Run ID: d9b401bf-f65e-434d-89e7-553e482730be

📥 Commits

Reviewing files that changed from the base of the PR and between 14c6f3f and 25bda21.

📒 Files selected for processing (1)

• Project.toml

Included review availability: This review used your included allowance. Your plan provides up to 1 included review per hour; 0 remain after this review.

📜 Recent review details

⏰ Context from checks skipped due to timeout. (13)

• GitHub Check: Dogfooding compliance summary
• GitHub Check: semgrep-cloud-platform/scan
• GitHub Check: governance / Security policy checks
• GitHub Check: governance / Workflow security linter
• GitHub Check: governance / Guix primary / Nix fallback policy
• GitHub Check: governance / Trusted-base reduction policy
• GitHub Check: governance / Language / package anti-pattern policy
• GitHub Check: hypatia / Hypatia Neurosymbolic Analysis
• GitHub Check: Julia 1.11 - ubuntu-latest
• GitHub Check: Julia 1.11 - macos-latest
• GitHub Check: Julia 1.10 - ubuntu-latest
• GitHub Check: analyze (actions, none)
• GitHub Check: Validate K9 contracts

🔇 Additional comments (1)

Project.toml (1)

2-2: LGTM!

---

📝 Summary

Summary by CodeRabbit

• Chores
  • Updated the package version to 0.1.1.
  • This release does not change user-facing functionality or public interfaces.

Walkthrough

The package UUID changed in Project.toml. The package version increased from 0.1.0 to 0.1.1.

Changes

Package metadata

Layer / File(s)	Summary
Update package metadata Project.toml	The package UUID changed, and the version increased from 0.1.0 to 0.1.1.

Priority: ➖ Normal

Estimated code review effort: 2 (Simple) | ~5 minutes

Change: Other

Merge Risk: ⚪ Minimal · up to 25bda

The package identity change is intentional, and the described migration is planned. No unresolved current-head failure remains.

Architecture Summary

Architecture risk: 🔵 Low · up to 25bda

The change affects 1 system.

Changed systems: Project.toml

Architecture concerns
No architecture-level concerns identified.

Review details

Systems and components

• observed — Project.toml (service) was modified; 1 changed file maps to changed impact.

Before / after behavior

• observed — Modified behavior in Project.toml: The package UUID changed from f9e8c2e0-8b4a-4d5f-9a3c-1e2d3c4b5a6f to 01a11d29-d894-81ed-be3f-5f3acc80d59a, and the version increased from 0.1.0 to 0.1.1.

🚥 Pre-merge checks | ✅ 5

✅ Passed checks (5 passed)

Check name	Status	Explanation
Description check	✅ Passed	The description clearly explains the UUID re-mint and version bump, including the breaking package identity change and verification results.
Title check	✅ Passed	The title is concise and accurately identifies the UUID re-mint and version bump as the main changes.
Docstring Coverage	✅ Passed	No functions found in the changed files to evaluate docstring coverage. Skipping docstring coverage check. Docstring coverage is scoped to functions touched by this diff. Analyzed 0 functions across 0…
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.

• Autopilot · 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

_{A rabbit checks the version line,
The UUID takes a new design.
One small update, neat and clear,
A fresh release is written here.
Then off it hops, content and serene.}

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