Skip to content

board: EXO-129 result into the ledgers (re-landed onto main after #1729 merged first) - #1734

Merged
AdaWorldAPI merged 6 commits into
mainfrom
board/exo129-ledgers-onto-main-20261023
Oct 23, 2026
Merged

AdaWorldAPI merged 6 commits into
mainfrom
board/exo129-ledgers-onto-main-20261023

Conversation

@AdaWorldAPI

Copy link
Copy Markdown
Owner

Why

#1729 merged before its last commit (6023172a5) was pushed, so that commit never reached main. It is the exact failure GOLDSTAUB G-2026-10-23-5 (EXO-136) describes, caught here on its own author. This PR re-applies it onto main.

What

Order with #1730 / #1732

All three PRs prepend to BREADCRUMBS.md, so whichever merges later needs a prepend rebase that keeps both sides. Their crumbs BC-5 and BC-6 on T-CLOSURE will be regraded once #1730 is on main.

Checks

  • fruits_index.py --check passes.
  • append_only_gate.py: none of the 11 protected files shrank.

Generated by Claude Code

… named)

TORQUE T-2026-10-23-1 -> KILLED (#1731). BREADCRUMBS gains BC-5 and a
naming attempt for T-CLOSURE (lumpability; named, not adopted). IDEAS gains
an Open row with its next probe and kill condition. FRUITS regenerated.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01G22yT6htkcdyXsihxxXdrg
#1729 merged before this commit was pushed, so it never reached main
(GOLDSTAUB G-2026-10-23-5, EXO-136, caught on its own author). Re-applied
onto main: TORQUE T-2026-10-23-1 -> KILLED (#1731); crumb renumbered to
BC-2026-10-23-14 because #1730 / #1732 hold BC-5..13; T-CLOSURE naming
attempt (lumpability, not adopted) with #1730's scope limit (closure decides
correctness, not cost); IDEAS Open row; FRUITS regenerated.

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

coderabbitai Bot commented Oct 23, 2026 •

Copy link
Copy Markdown

Important

  • 🔍 Trigger review

This repository does not receive automatic reviews because it has fewer than 10 stars.

⚙️ Run configuration
  • Source mode: Auto
  • Repository: Unavailable
  • Branch: Unavailable
  • File: No configuration file from this repository applied
  • Commit: Unavailable
  • Layers: Organization UI
  • Review profile: CHILL
  • Plan: Advanced
  • Run ID: 516f9a3b-e58c-4aa6-8605-4868ee54a7d1
  • 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.

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

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

@chatgpt-codex-connector

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 🔄 Running since 2026-10-23T08:49:13.076671Z fd85816 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.

BREADCRUMBS and IDEAS: both sides kept; BC-14 and the lumpability IDEA sit
beside #1730's crumbs 5-12 and DRMC ideas. Crumbs BC-5/BC-6 regraded
RHYME -> NAMED now that #1730 is on main. FRUITS.md regenerated, not merged.
append_only_gate: no protected file shrank.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01G22yT6htkcdyXsihxxXdrg
BREADCRUMBS and IDEAS: both sides kept (BC-13 and #1732's two ideas beside
BC-14 and the lumpability idea). FRUITS.md regenerated, not merged.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01G22yT6htkcdyXsihxxXdrg
…ic, commutation, crumbs 2/3)

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

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01G22yT6htkcdyXsihxxXdrg
@AdaWorldAPI
AdaWorldAPI merged commit f4175d3 into main Oct 23, 2026
3 checks passed
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