Repository navigation
Conversation
MeasuredClaim joins the ProgressClaim family: what a report ran and the count it printed. CommsOrderDoneTool compares every claim against the order's declared Check, so a report quoting another command or count is refused with both shown. Src-Budget: 31 Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
There was a problem hiding this comment.
Copilot was unable to review this pull request because the user who requested the review has reached their quota limit.
An organization owner can choose the repository organization as the billing source for reviews requested by members with a paid Copilot license. Learn about Copilot code review billing.
…recorded Revert MeasuredClaim: it restated the order's Check only to compare it. OrderDelivery.verified now records what the order's Check printed when Core verified the delivery, and a delivered order's board line shows it. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
The delivery stays as recorded, so a record from before the split still round-trips; DeliverTodo carries the printed result to the delivered order whose board line shows it. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
…nted DeliverTodo's verified delivery is now CheckedCommitDelivery or CheckedOperationDelivery, carrying printed as its own field; saved deliveries without a print decode as their declared member and the board says no print was recorded. No tuple and no empty-string defaults. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Src-Budget: 15 Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
…6 removed) Src-Budget: 46 Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
This was referenced Oct 19, 2026
Contributor
Author
|
superseded by main; reopen with a rebase if still needed (P197 now lives in #1955) |
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.
CommsOrderDoneToolcarries no measure, so a report cannot choose its own.MeasuredClaimis deleted.OrderDelivery.verifiednow returns what the order's Check printed when Core verified the delivery.DeliverTodostores that result onDeliveredProblemOrder.printed, andprogress_line()(src/agent_comms/todos.py:1031) shows it on the board:P1: Delivered, waiting on install · Check printed '1'. Deliveries keep their recorded shape, so a delivery record from before the split still round-trips unchanged.Family test:
test_done_declares_no_wrong_measure_and_the_board_shows_the_recorded_check_result.🤖 Generated with Claude Code