Skip to content

lance-graph-r2il joins the workspace; OGAR by git main (D-FOLD-CORE-a) - #1534

Merged
AdaWorldAPI merged 1 commit into
mainfrom
ccr-9f3b8075-74u47l-r2il-member
Oct 13, 2026
Merged

AdaWorldAPI merged 1 commit into
mainfrom
ccr-9f3b8075-74u47l-r2il-member

Conversation

@AdaWorldAPI

Copy link
Copy Markdown
Owner

First step of D-FOLD-CORE, which makes the fold path a core capability: R2IL becomes a workspace member.

Changes

  • lance-graph-r2il moves from exclude to members, and its own [workspace] and [patch] sections are removed.
  • R2IL takes ogar-loco and ogar-r2il by git main instead of ../../../OGAR paths. That is the coordinate lance-graph-ogar already uses. There are two reasons:
  • lance-graph-nal and r2il-mask-abi-probe (both excluded, each with its own workspace) take the same git coordinate, so each of them still sees one ogar-loco.
  • The root adds [patch."https://github.com/AdaWorldAPI/lance-graph"] lance-graph-contract = { path = "crates/lance-graph-contract" }. The OGAR crates take the contract by git main, and this keeps one contract in the graph.
  • STATUS_BOARD gets a new D-FOLD-CORE section with rows a, b and c.

Verified here

  • cargo metadata: exactly one lance-graph-contract (the member), one ogar-loco and one ogar-r2il.
  • Tests: lance-graph-r2il 19/19 as a member, lance-graph-nal 8/8, r2il-mask-abi-probe 40/40.
  • cargo clippy -p lance-graph-r2il --all-targets -D warnings and cargo fmt --check are clean.

Note: this replaces an earlier plan to make OGAR a required sibling checkout. With git dependencies, no sibling is needed.

🤖 Generated with Claude Code

https://claude.ai/code/session_011BMJnDBAfzcuQh5HeT39Rh


Generated by Claude Code

R2IL is the procedure executor NAL lowers through; it was excluded only
because it path-depped the OGAR sibling. It now takes ogar-loco/ogar-r2il
by git main, the coordinate lance-graph-ogar already uses, so:
- the workspace holds one ogar-loco and one ogar-r2il (path and git copies
  were about to coexist once r2il joined);
- a repo that pulls lance-graph by git can resolve it (a ../../../OGAR
  path escapes the fetched repository, the medcare-rs #565 failure).
lance-graph-nal and r2il-mask-abi-probe follow, so each of their own
workspaces still sees one ogar-loco. The root patches the contract's git
URL to the member, since the OGAR crates take the contract from git main.

Verified: cargo metadata shows one lance-graph-contract, one ogar-loco,
one ogar-r2il; tests r2il 19/19 (member), nal 8/8, probe 40/40; clippy
-D warnings and fmt clean for lance-graph-r2il.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_011BMJnDBAfzcuQh5HeT39Rh
@coderabbitai

coderabbitai Bot commented Oct 13, 2026 •

Copy link
Copy Markdown

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 57 minutes.

Check out review usage here.

View limit details

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

Learn how review limits work.

Review configuration:

⚙️ Run configuration
  • Configuration used: Organization UI
  • Review profile: CHILL
  • Plan: Essentials
  • Run ID: 62a95a9e-4e14-43ec-8ead-cc7553c22fcf
📥 Commits

Reviewing files that changed from the base of the PR and between 86e3174 and 196eb2e.

📒 Files selected for processing (5)
  • .claude/board/STATUS_BOARD.md
  • Cargo.toml
  • crates/lance-graph-nal/Cargo.toml
  • crates/lance-graph-r2il/Cargo.toml
  • crates/r2il-mask-abi-probe/Cargo.toml
  • 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.

@AdaWorldAPI
AdaWorldAPI marked this pull request as ready for review October 13, 2026 12:28
@chatgpt-codex-connector

chatgpt-codex-connector Bot commented Oct 13, 2026 •

Copy link
Copy Markdown

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-13T12:32:05.958684Z 196eb2e 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.

@AdaWorldAPI
AdaWorldAPI merged commit 0a6708b into main Oct 13, 2026
12 checks passed
AdaWorldAPI added a commit that referenced this pull request Oct 13, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants