glove-parity: refuse two populations of one relation target concept (#1514 follow-up)

[AdaWorldAPI]

What

This carries the Codex finding on #1514 into main. The fix (74f4be9) was pushed seconds after #1514 merged, so it never landed.

The bug: a method can read two relations whose targets are the same concept in different populations. Preparation kept only the first population. A call that named that population passed the check, but the program still read the second relation's planes, so data from two populations could mix.

The fix: preparation now refuses the method with PrepareError::ConflictingUniverse(concept). A call names one population per concept, so the conflict can't be resolved at call time and is refused up front.

Evidence

• New test two_populations_of_one_target_concept_are_refused, with a silence twin: the same population reached through both relations still prepares.
• Before the fix the test failed: the method prepared and kept only universe 8.
• Disabling the check turns it red again.
• tests/relation.rs passes 8/8; the crate's full suite and clippy (-D warnings) were green when the fix commit was made, and clippy is clean again on this branch.

Board

• STATUS_BOARD.md and plan gremlin-composable-algebra-v1.md: D-CMH-G1-4a marked Shipped (glove-parity: functional relation carrier — out(rel) as a method (D-CMH-G1-4a) #1514).
• Plan §8 gets the ConflictingUniverse rule.

🤖 Generated with Claude Code

https://claude.ai/code/session_011BMJnDBAfzcuQh5HeT39Rh

---

Generated by Claude Code

[coderabbitai]

Warning

Review limit reached

Your organization has reached its usage spending cap. Adjust your spending cap in the billing tab.

Next included review available in 50 minutes.

Check out review usage here.

View limit details

Limit details: You’ve used the included review currently available. Your 62 included PR review attempts over the past 7 days set your current allowance at 1 review per hour.

Learn how review limits work.

Review configuration:

⚙️ Run configuration

• Configuration used: Organization UI
• Review profile: CHILL
• Plan: Essentials
• Run ID: 571c273e-b70e-4ed5-ad91-6ad6eca196a0

---

📥 Commits

Reviewing files that changed from the base of the PR and between 10325b3 and d746905.

---

📒 Files selected for processing (4)

• .claude/board/STATUS_BOARD.md
• .claude/plans/gremlin-composable-algebra-v1.md
• crates/lance-graph-glove-parity/src/method.rs
• crates/lance-graph-glove-parity/tests/relation.rs

---

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

Warning

Billing warning: we have not been able to collect payment for this subscription for more than 72 hours. Please update the payment method or pay any pending invoices in Billing to avoid service interruption.

---

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

[chatgpt-codex-connector]

Codex Review Summary

This comment shows the latest Codex review activity on this pull request.

Review	Status	Commit	Review trigger
📝 Code Review	✅ Completed 2026-10-12T19:34:27.365638Z	d746905	Draft marked ready

ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

• Open a pull request for review
• Mark a draft as ready
• Comment "@codex review" or "@codex security review".

Codex reacts with 👀 while any review is running, comments if it has suggestions, and reacts with 👍 once all reviews finish with no findings.