Skip to content

fix: bound ledger backlog reconciliation - #22

Merged
GQAdonis merged 1 commit into
mainfrom
codex/finish-operation-ledger-recovery
Sep 21, 2026
Merged

GQAdonis merged 1 commit into
mainfrom
codex/finish-operation-ledger-recovery

Conversation

@GQAdonis

Copy link
Copy Markdown
Contributor

The deployed operation-ledger recovery still timed out on startup because discovery used a NOT IN predicate that bypassed the ledger's state index, then repeated the full scan after every commit. This change queries each indexed nonterminal state under its own deadline, sorts and deduplicates the results, and rescans once per completed dependency wave.

Local validation:

  • cargo fmt --all --check
  • strict OpenSpec validation for all three active operation-ledger changes
  • cargo test --locked --test operation_query_deadline --no-default-features --features server-only (2 passed)
  • cargo test --locked --test executor_recovery (4 passed)
  • Rust auditor enforce, format, inventory, and partition phases (no blocking findings)

@GQAdonis
GQAdonis merged commit 3711a77 into main Sep 21, 2026
1 check failed
@GQAdonis
GQAdonis deleted the codex/finish-operation-ledger-recovery branch September 21, 2026 05:14
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.

1 participant