Repository navigation
contract: mirror email (0x0B05, IAM); remove the Mail domain from #1417 - #1419
Conversation
Follow-up to #1417: OGAR replaces the invented mailbox / mail_message with one concept, email (0x0501), read from OGIT ogit:Email. The mirror follows so MirrorDrift stays clean for a plug of 0x0501. lance-graph-ogar parity is green against the OGAR branch. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01G22yT6htkcdyXsihxxXdrg
|
Warning Review limit reachedYour organization has reached its usage spending cap. Adjust your spending cap in the billing tab. Next included review available in 43 minutes. View limit detailsLimit details: You’ve used the included review currently available. Your 65 included PR review attempts over the past 7 days set your current allowance at 1 review per hour. Review configuration: ⚙️ Run configuration
📒 Files selected for processing (1)
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 |
Codex Review SummaryThis comment shows the latest Codex review activity on this pull request.
ℹ️ About Codex in GitHubYour team has set up Codex to review pull requests in this repo. Reviews are triggered when you
Codex reacts with 👀 while any review is running, comments if it has suggestions, and reacts with 👍 once all reviews finish with no findings. |
OGAR puts email (OGIT ogit:Email) in 0x0BXX above the AuthStore profiles. The mirror follows: ConceptDomain::Mail and its 0x05 route are removed (added in #1417, consumed by nothing), and the row is email = 0x0B05. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01G22yT6htkcdyXsihxxXdrg
What
A follow-up to #1417, paired with AdaWorldAPI/OGAR#325.
ogar_codebookgets one row,("email", 0x0B05), right afterauth_ory_keto. OGIT source:ogit:Email.0x05XXrows from contract: mirror the Mail domain (0x05XX: mailbox, mail_message) #1417 (mailbox,mail_message) and theConceptDomain::Mailroute are removed.0x0500routes toUnassignedagain.Why
#1417 mirrored a new Mail domain with two concepts that had no OGIT source. That was a lockstep central mint, which the hot-plug pattern rules out. OGAR now mints the OGIT entity
ogit:Emailin the existing IAM domain, and the mirror follows it so that a plug ofemailbinds withoutMirrorDrift.Nothing consumes the removed rows or the
Mailvariant.ConceptDomainis#[non_exhaustive].Verification
cargo test -p lance-graph-contract --lib ogar_codebookpasses, including0x0500 → Unassignedandcanonical_concept_id("email") == Some(0x0B05).lance-graph-ogarcodebook parity passes against the OGAR branch.emailrow still builds and failsmirror_is_a_faithful_copy_of_ogar_codebook.Merge order
Merge together with OGAR #325. Spear #6 goes after.
🤖 Generated with Claude Code
https://claude.ai/code/session_01G22yT6htkcdyXsihxxXdrg