Repository navigation
Renewable rows and larger record histories (Pod 0.21.12) - #112
Merged
Merged
Conversation
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
A recorded route mismatch no longer releases a review's reserved capacity or its renewal hold, because Pod still accepts a later report whose route matches. The case stays an accepted limitation already held by the route decision. An own-report overflow now names the remaining route instead of asking the write to consume itself. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Remove the own-report overflow advice, which also fired for implementation and reserved reports with false causes, and return the exact renewal request when no other serving report is pending. Align scenario A502 with R150's route-mismatch limitation and keep test comments neutral. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
6 tasks done
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Pod 0.21.12: the records milestone of #109. Bookkeeping limits no longer strand a live objective: receipt histories hold 64, any row can be renewed identically, and a full map can still record its next required finding.
Closure without the owner (#109 R4, PoD#4) is the next milestone (0.21.13) and is not in this PR. This PR does not close #109.
What changes
renewentry replaces any row of any kind or provenance with an identical copy: a fresh id, arenewslineage and no owner decision. The old row becomesrenewed, a terminal state, and keeps every receipt, finding, acceptance and decision. Waits, effective parents, correction order and the PoD mapping follow the new row. Renewal never copies proof, never ticks or unticks a PoD, and refuses any changed definition field. Renewal waits until every serving result is consumed or dispositioned.updateis normalized before triage, so a large map records a finding group from a small request. The physical 512 KiB context bound is unchanged.Accepted limitation
A review whose report Pod keeps refusing for route mismatch still holds its reserved slots and the renewal hold. The existing route-decision rule already holds that objective, so this adds no new stranding. That route-decision hold is pre-existing and will be tracked separately.
Evidence (separate facts)
tools/gates.pyon the exact head passed on Python 3.13 (411 s) and 3.14 (423 s). Each run had 3107 tests with 0 failures, and all 11 gates passed.🤖 Generated with Claude Code